Uses of Class
org.eclipse.ocl.examples.domain.library.AbstractOperation

Packages that use AbstractOperation

org.eclipse.ocl.examples.domain.library
org.eclipse.ocl.examples.library.classifier
org.eclipse.ocl.examples.library.collection
org.eclipse.ocl.examples.library.enumeration
org.eclipse.ocl.examples.library.integer
org.eclipse.ocl.examples.library.logical
org.eclipse.ocl.examples.library.numeric
org.eclipse.ocl.examples.library.oclany
org.eclipse.ocl.examples.library.oclinvalid
org.eclipse.ocl.examples.library.oclvoid
org.eclipse.ocl.examples.library.real
org.eclipse.ocl.examples.library.string
org.eclipse.ocl.examples.pivot.bodies
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.library

Uses of AbstractOperation in org.eclipse.ocl.examples.domain.library

Subclasses of AbstractOperation in org.eclipse.ocl.examples.domain.library

class	AbstractBinaryOperation AbstractBinaryOperation dispatches a binary library operation to matching-type-specific call-backs.
class	AbstractTernaryOperation AbstractBinaryOperation dispatches a binary library operation to matching-type-specific call-backs.
class	AbstractUnaryOperation AbstractBinaryOperation dispatches a unary library operation to matching-type-specific call-backs.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.classifier

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.classifier

class	ClassifierAllInstancesOperation ClassifierAllInstancesOperation realises the Classifier::allInstances() library operation.
class	ClassifierOclContainerOperation ClassifierOclContainerOperation realises the Classifier::oclContainer() library operation.
class	ClassifierOclContentsOperation ClassifierOclContentsOperation realises the Classifier::oclContents() library operation.
class	OclTypeConformsToOperation OclTypeConformsToOperation realises the OclType::conformsTo(OclType) library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.collection

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.collection

class	CollectionAsBagOperation CollectionAsBagOperation realises the Collection::asBag() library operation.
class	CollectionAsOrderedSetOperation CollectionAsOrderedSetOperation realises the Collection::asOrderedSet() library operation.
class	CollectionAsSequenceOperation CollectionAsSequenceOperation realises the Collection::asSequence() library operation.
class	CollectionAsSetOperation CollectionAsSetOperation realises the Collection::asSet() library operation.
class	CollectionCountOperation CollectionCountOperation realises the Collection::count() library operation.
class	CollectionExcludesAllOperation CollectionExcludesAllOperation realises the Collection::excludesAll() library operation.
class	CollectionExcludesOperation CollectionExcludesOperation realises the Collection::excludes() library operation.
class	CollectionExcludingOperation CollectionExcludingOperation realises the Collection::excluding() library operation.
class	CollectionFlattenOperation CollectionFlattenOperation realises the Collection::flatten() library operation.
class	CollectionIncludesAllOperation CollectionIncludesAllOperation realises the Collection::includesAll() library operation.
class	CollectionIncludesOperation CollectionIncludesOperation realises the Collection::includes() library operation.
class	CollectionIncludingOperation CollectionIncludingOperation realises the Collection::including() library operation.
class	CollectionIntersectionOperation CollectionIntersectionOperation realises the Collection::intersection() library operation.
class	CollectionIsEmptyOperation CollectionIsEmptyOperation realises the Collection::isEmpty() library operation.
class	CollectionMaxOperation CollectionMaxOperation realises the Collection::max() library operation.
class	CollectionMinOperation CollectionMinOperation realises the Collection::min() library operation.
class	CollectionNotEmptyOperation CollectionNotEmptyOperation realises the Collection::notEmpty() library operation.
class	CollectionProductOperation CollectionProductOperation realises the Collection::product() library operation.
class	CollectionSelectByKindOperation CollectionSelectByKindOperation realises the Collection::selectByType() library operation.
class	CollectionSelectByTypeOperation CollectionSelectByTypeOperation realises the Collection::selectByType() library operation.
class	CollectionSizeOperation CollectionSizeOperation realises the Collection::size() library operation.
class	CollectionSumOperation CollectionSumOperation realises the Collection::sum() library operation.
class	CollectionUnionOperation CollectionUnionOperation realises the Collection::union() library operation.
class	OrderedCollectionAppendOperation OrderedCollectionAppendOperation realises the OrderedCollection::append() library operation.
class	OrderedCollectionAtOperation OrderedCollectionAtOperation realises the OrderedCollection::at() library operation.
class	OrderedCollectionFirstOperation OrderedCollectionFirstOperation realises the OrderedCollection::first() library operation.
class	OrderedCollectionIndexOfOperation OrderedCollectionIndexOfOperation realises the OrderedCollection::indexOf() library operation.
class	OrderedCollectionInsertAtOperation OrderedCollectionInsertAtOperation realises the OrderedCollection::insertAt() library operation.
class	OrderedCollectionLastOperation OrderedCollectionLastOperation realises the OrderedCollection::last() library operation.
class	OrderedCollectionPrependOperation OrderedCollectionPrependOperation realises the OrderedCollection::prepend() library operation.
class	OrderedCollectionReverseOperation OrderedCollectionReverseOperation realises the OrderedCollection::reverse() library operation.
class	OrderedSetSubOrderedSetOperation OrderedSetSubOrderedSetOperation realises the OrderedSet::subOrderedSet() library operation.
class	SequenceSubSequenceOperation SequenceSubSequenceOperation realises the OrderedSet::subSequence() library operation.
class	SetMinusOperation SetMinusOperation realises the Set::-() library operation.
class	SetSymmetricDifferenceOperation SetSymmetricDifferenceOperation realises the Set::symmetricDifference() library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.enumeration

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.enumeration

class

EnumerationAllInstancesOperation EnumerationAllInstancesOperation realises the Enumeration::allInstances() library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.integer

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.integer

class	IntegerCompareToOperation IntegerCompareToOperation realises the Integer::compareTo() library operation.
class	IntegerMinusOperation IntegerMinusOperation realizes the Integer::-() library operation.
class	IntegerPlusOperation IntegerPlusOperation realizes the Integer::+() library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.logical

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.logical

class	BooleanAllInstancesOperation BooleanAllInstancesOperation realises the Boolean::allInstances() library operation.
class	BooleanAndOperation AndOperation realises the and() library operation.
class	BooleanImpliesOperation ImpliesOperation realises the implies() library operation.
class	BooleanNotOperation NotOperation realises the not() library operation.
class	BooleanOrOperation OrOperation realises the or() library operation.
class	BooleanXorOperation BooleanXorOperation realises the Boolean::xor() library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.numeric

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.numeric

class	AbstractNumericBinaryOperation AbstractNumericBinaryOperation dispatches a binary library operation to matching-type-specific call-backs.
class	AbstractNumericUnaryOperation AbstractNumericUnaryOperation dispatches a unary library operation to matching-type-specific call-backs.
class	NumericAbsOperation AbsOperation realises the abs() library operation.
class	NumericDivideOperation DivideOperation realises the /() library operation.
class	NumericDivOperation DivOperation realises the div() library operation.
class	NumericFloorOperation FloorOperation realises the floor() library operation.
class	NumericGreaterThanEqualOperation GreaterThanEqualOperation realises the >=() library operation.
class	NumericGreaterThanOperation GreaterThanOperation realises the >() library operation.
class	NumericLessThanEqualOperation LessThanEqualOperation realises the <=() library operation.
class	NumericLessThanOperation LessThanOperation realises the <() library operation.
class	NumericMaxOperation MaxOperation realises the max() library operation.
class	NumericMinOperation MinOperation realises the min() library operation.
class	NumericMinusOperation Deprecated.
class	NumericModOperation ModOperation realises the mod() library operation.
class	NumericNegateOperation NegateOperation realises the unary -() library operation.
class	NumericPlusOperation Deprecated.
class	NumericRoundOperation RoundOperation realises the round() library operation.
class	NumericTimesOperation TimesOperation realises the *() library operation.
class	UnlimitedNaturalOclAsTypeOperation UnlimitedNaturalOclAsTypeOperation realizes the UnlimitedNatural::oclAsType() library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.oclany

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.oclany

class	OclAnyEqualOperation OclAnyEqualOperation realises the OCLAny::=() library operation and regular derived implementations since the Value classes exhibit OCL value semantics.
class	OclAnyNotEqualOperation OclAnyNotEqualOperation realises the OCLAny::<>() library operation and regular derived implementations since the Value classes exhibit OCL value semantics.
class	OclAnyOclAsSetOperation OclAnyOclAsSetOperation realises the OclAny::oclAsSet() library operation.
class	OclAnyOclAsTypeOperation OclAnyOclAsTypeOperation realises the OclAny::oclAsType() library operation.
class	OclAnyOclIsInStateOperation OclAnyOclIsInvalidOperation realises the OclAny::oclIsInvalid() library operation.
class	OclAnyOclIsInvalidOperation OclAnyOclIsInvalidOperation realises the OclAny::oclIsInvalid() library operation.
class	OclAnyOclIsKindOfOperation OclAnyOclIsKindOfOperation realises the OclAny::oclIsKindOf() library operation.
class	OclAnyOclIsTypeOfOperation OclAnyOclIsTypeOfOperation realises the OclAny::oclIsTypeOf() library operation.
class	OclAnyOclIsUndefinedOperation OclAnyOclIsUndefinedOperation realises the OclAny::oclIsUndefined() library operation.
class	OclAnyOclTypeOperation OclAnyOclTypeOperation realises the OclAny::oclType() library operation.
class	OclAnyToStringOperation OclAnyToStringOperation realises the OclAny::toString() library operation.
class	OclAnyUnsupportedOperation OclIsUndefinedOperation realises the oclIsUndefined() library operation.
class	OclComparableComparisonOperation OclComparableComparisonOperation provides the abstract support for a comparison operation.
class	OclComparableGreaterThanEqualOperation GreaterThanEqualOperation realises the >=() library operation.
class	OclComparableGreaterThanOperation GreaterThanEqualOperation realises the >() library operation.
class	OclComparableLessThanEqualOperation GreaterThanEqualOperation realises the <=() library operation.
class	OclComparableLessThanOperation GreaterThanEqualOperation realises the <() library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.oclinvalid

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.oclinvalid

class

OclInvalidAllInstancesOperation OclInvalidAllInstancesOperation realises the OclInvalid::allInstances() library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.oclvoid

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.oclvoid

class	OclVoidAllInstancesOperation OclVoidAllInstancesOperation realises the OclVoid::allInstances() library operation.
class	OclVoidAndOperation OclVoidAndOperation realises the OclVoid::and() library operation.
class	OclVoidImpliesOperation OclVoidImpliesOperation realises the OclVoid::implies() library operation.
class	OclVoidOrOperation OclVoidOrOperation realises the OclVoid::or() library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.real

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.real

class	RealCompareToOperation RealCompareToOperation realises the Real::compareTo() library operation.
class	RealMinusOperation RealMinusOperation realizes the Real::-() library operation.
class	RealPlusOperation RealPlusOperation realizes the Real::+() library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.library.string

Subclasses of AbstractOperation in org.eclipse.ocl.examples.library.string

class	StringAtOperation StringAtOperation realises the String::at() library operation.
class	StringCharactersOperation OrderedSetSubOrderedSetOperation realises the OrderedSet::subOrderedSet() library operation.
class	StringCompareToOperation StringCompareToOperation realises the String::compareTo() library operation.
class	StringConcatOperation StringConcatOperation realises the String::concat() library operation.
class	StringEndsWithOperation StringEndsWithOperation realises the String::endsWith() library operation.
class	StringEqualsIgnoreCaseOperation OrderedSetSubOrderedSetOperation realises the OrderedSet::subOrderedSet() library operation.
class	StringGreaterThanEqualOperation StringGreaterThanEqualOperation realises the String::>=() library operation.
class	StringGreaterThanOperation StringGreaterThanOperation realises the String::>() library operation.
class	StringIndexOfOperation StringIndexOfOperation realises the String::indexOf() library operation.
class	StringLastIndexOfOperation StringLastIndexOfOperation realises the String::lastIndexOf() library operation.
class	StringLessThanEqualOperation StringLessThanEqualOperation realises the String::<=() library operation.
class	StringLessThanOperation StringLessThanOperation realises the String::<() library operation.
class	StringMatchesOperation StringMatchesOperation realises the String::matches() library operation.
class	StringReplaceAllOperation StringReplaceAllOperation realises the String::replaceAll() library operation.
class	StringReplaceFirstOperation StringReplaceFirstOperation realises the String::replaceFirst() library operation.
class	StringSizeOperation StringSizeOperation realises the String::size() library operation.
class	StringStartsWithOperation StringStartsWithOperation realises the String::startsWith() library operation.
class	StringSubstituteAllOperation StringSubstituteAllOperation realises the String::substituteAll() library operation.
class	StringSubstituteFirstOperation StringSubstituteFirstOperation realises the String::substituteFirst() library operation.
class	StringSubstringOperation StringSubstringOperation realises the String::substring() library operation.
class	StringToBooleanOperation StringToBooleanOperation realises the String::toBoolean() library operation.
class	StringToIntegerOperation StringToIntegerOperation realises the String::toInteger() library operation.
class	StringTokenizeOperation StringTokenizeOperation realises the String::tokenize() library operations.
class	StringToLowerCaseOperation StringToLowerCaseOperation realises the String::toLowerCase() library operation.
class	StringToRealOperation StringToRealOperation realises the String::toReal() library operation.
class	StringToUpperCaseOperation StringToUpperCaseOperation realises the String::toUpperCase() library operation.
class	StringTrimOperation StringTrimOperation realises the String::trim() library operation.

Uses of AbstractOperation in org.eclipse.ocl.examples.pivot.bodies

Subclasses of AbstractOperation in org.eclipse.ocl.examples.pivot.bodies

static class	BooleanLiteralExpBodies._invariant_TypeIsBoolean Implementation of the BooleanLiteralExp 'TypeIsBoolean' invariant.
static class	CollectionItemBodies._invariant_TypeIsItemType Implementation of the CollectionItem 'TypeIsItemType' invariant.
static class	CollectionLiteralExpBodies._invariant_BagKindIsBag Implementation of the CollectionLiteralExp 'BagKindIsBag' invariant.
static class	CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete Implementation of the CollectionLiteralExp 'CollectionKindIsConcrete' invariant.
static class	CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet Implementation of the CollectionLiteralExp 'OrderedSetKindIsOrderedSet' invariant.
static class	CollectionLiteralExpBodies._invariant_SequenceKindIsSequence Implementation of the CollectionLiteralExp 'SequenceKindIsSequence' invariant.
static class	CollectionLiteralExpBodies._invariant_SetKindIsSet Implementation of the CollectionLiteralExp 'SetKindIsSet' invariant.
static class	ConstraintBodies._invariant_UniqueName Implementation of the Constraint 'UniqueName' invariant.
static class	ElementBodies._allOwnedElements_body_ Implementation of the Element::allOwnedElements '' .
static class	ElementBodies._invariant_not_own_self Implementation of the Element 'not_own_self' invariant.
static class	EnumLiteralExpBodies._invariant_TypeIsEnumerationType Implementation of the EnumLiteralExp 'TypeIsEnumerationType' invariant.
static class	IfExpBodies._invariant_ConditionTypeIsBoolean Implementation of the IfExp 'ConditionTypeIsBoolean' invariant.
static class	IntegerLiteralExpBodies._invariant_TypeIsInteger Implementation of the IntegerLiteralExp 'TypeIsInteger' invariant.
static class	IterateExpBodies._invariant_BodyTypeConformsToResultType Implementation of the IterateExp 'BodyTypeConformsToResultType' invariant.
static class	IterateExpBodies._invariant_OneInitializer Implementation of the IterateExp 'OneInitializer' invariant.
static class	IterateExpBodies._invariant_TypeIsResultType Implementation of the IterateExp 'TypeIsResultType' invariant.
static class	IteratorExpBodies._invariant_AnyBodyTypeIsBoolean Implementation of the IteratorExp 'AnyBodyTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_AnyHasOneIterator Implementation of the IteratorExp 'AnyHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_AnyTypeIsSourceElementType Implementation of the IteratorExp 'AnyTypeIsSourceElementType' invariant.
static class	IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType Implementation of the IteratorExp 'ClosureElementTypeIsSourceElementType' invariant.
static class	IteratorExpBodies._invariant_ClosureHasOneIterator Implementation of the IteratorExp 'ClosureHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType Implementation of the IteratorExp 'ClosureSourceElementTypeIsBodyElementType' invariant.
static class	IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection Implementation of the IteratorExp 'ClosureTypeIsUniqueCollection' invariant.
static class	IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType Implementation of the IteratorExp 'CollectElementTypeIsSourceElementType' invariant.
static class	IteratorExpBodies._invariant_CollectHasOneIterator Implementation of the IteratorExp 'CollectHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_CollectNestedHasOneIterator Implementation of the IteratorExp 'CollectNestedHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_CollectNestedTypeIsBag Implementation of the IteratorExp 'CollectNestedTypeIsBag' invariant.
static class	IteratorExpBodies._invariant_CollectNestedTypeIsBodyType Implementation of the IteratorExp 'CollectNestedTypeIsBodyType' invariant.
static class	IteratorExpBodies._invariant_CollectTypeIsUnordered Implementation of the IteratorExp 'CollectTypeIsUnordered' invariant.
static class	IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean Implementation of the IteratorExp 'ExistsBodyTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_ExistsTypeIsBoolean Implementation of the IteratorExp 'ExistsTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean Implementation of the IteratorExp 'ForAllBodyTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_ForAllTypeIsBoolean Implementation of the IteratorExp 'ForAllTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_IsUniqueHasOneIterator Implementation of the IteratorExp 'IsUniqueHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_IsUniqueTypeIsBoolean Implementation of the IteratorExp 'IsUniqueTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_IteratorTypeIsSourceElementType Implementation of the IteratorExp 'IteratorTypeIsSourceElementType' invariant.
static class	IteratorExpBodies._invariant_OneBodyTypeIsBoolean Implementation of the IteratorExp 'OneBodyTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_OneHasOneIterator Implementation of the IteratorExp 'OneHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_OneTypeIsBoolean Implementation of the IteratorExp 'OneTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_RejectOrSelectHasOneIterator Implementation of the IteratorExp 'RejectOrSelectHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean Implementation of the IteratorExp 'RejectOrSelectTypeIsBoolean' invariant.
static class	IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType Implementation of the IteratorExp 'RejectOrSelectTypeIsSourceType' invariant.
static class	IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType Implementation of the IteratorExp 'SortedByElementTypeIsSourceElementType' invariant.
static class	IteratorExpBodies._invariant_SortedByHasOneIterator Implementation of the IteratorExp 'SortedByHasOneIterator' invariant.
static class	IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered Implementation of the IteratorExp 'SortedByIsOrderedIfSourceIsOrdered' invariant.
static class	LetExpBodies._invariant_TypeIsInType Implementation of the LetExp 'TypeIsInType' invariant.
static class	LoopExpBodies._invariant_NoInitializers Implementation of the LoopExp 'NoInitializers' invariant.
static class	LoopExpBodies._invariant_SourceIsCollection Implementation of the LoopExp 'SourceIsCollection' invariant.
static class	MessageExpBodies._invariant_OneCallOrOneSend Implementation of the MessageExp 'OneCallOrOneSend' invariant.
static class	MessageExpBodies._invariant_TargetIsNotACollection Implementation of the MessageExp 'TargetIsNotACollection' invariant.
static class	MultiplicityElementBodies._includesCardinality_body_ Implementation of the MultiplicityElement::includesCardinality '' .
static class	MultiplicityElementBodies._includesMultiplicity_body_ Implementation of the MultiplicityElement::includesMultiplicity '' .
static class	MultiplicityElementBodies._invariant_lower_ge_0 Implementation of the MultiplicityElement 'lower_ge_0' invariant.
static class	MultiplicityElementBodies._invariant_upper_ge_lower Implementation of the MultiplicityElement 'upper_ge_lower' invariant.
static class	MultiplicityElementBodies._isMultivalued_body_ Implementation of the MultiplicityElement::isMultivalued '' .
static class	MultiplicityElementBodies._lowerBound_body_ Implementation of the MultiplicityElement::lowerBound '' .
static class	MultiplicityElementBodies._upperBound_body_ Implementation of the MultiplicityElement::upperBound '' .
static class	OpaqueExpressionBodies._invariant_language_body_size Implementation of the OpaqueExpression 'language_body_size' invariant.
static class	OperationBodies._invariant_CompatibleReturn Implementation of the Operation 'CompatibleReturn' invariant.
static class	OperationCallExpBodies._invariant_ArgumentCount Implementation of the OperationCallExp 'ArgumentCount' invariant.
static class	ParameterableElementBodies._isCompatibleWith_body_ Implementation of the ParameterableElement::isCompatibleWith '' .
static class	PropertyBodies._invariant_CompatibleInitialiser Implementation of the Property 'CompatibleInitialiser' invariant.
static class	PropertyBodies._isAttribute_body_ Implementation of the Property::isAttribute '' .
static class	SelfTypeBodies._resolveSelfType_body_ Implementation of the SelfType::resolveSelfType '' .
static class	TemplateableElementBodies._isTemplate_body_ Implementation of the TemplateableElement::isTemplate '' .
static class	TemplateableElementBodies._parameterableElements_body_ Implementation of the TemplateableElement::parameterableElements '' .
static class	TemplateBindingBodies._invariant_one_parameter_substitution Implementation of the TemplateBinding 'one_parameter_substitution' invariant.
static class	TemplateBindingBodies._invariant_parameter_substitution_formal Implementation of the TemplateBinding 'parameter_substitution_formal' invariant.
static class	TemplateParameterBodies._invariant_must_be_compatible Implementation of the TemplateParameter 'must_be_compatible' invariant.
static class	TemplateParameterSubstitutionBodies._invariant_must_be_compatible Implementation of the TemplateParameterSubstitution 'must_be_compatible' invariant.
static class	TemplateSignatureBodies._invariant_own_elements Implementation of the TemplateSignature 'own_elements' invariant.
static class	TypeBodies._resolveSelfType_body_ Implementation of the Type::resolveSelfType '' .
static class	TypedMultiplicityElementBodies._CompatibleBody_body_ Implementation of the TypedMultiplicityElement::CompatibleBody '' .
static class	TypedMultiplicityElementBodies._makeParameter_body_ Implementation of the TypedMultiplicityElement::makeParameter '' .
static class	TypeTemplateParameterBodies._invariant_has_constraining_type Implementation of the TypeTemplateParameter 'has_constraining_type' invariant.
static class	ValueSpecificationBodies._booleanValue_body_ Implementation of the ValueSpecification::booleanValue '' .
static class	ValueSpecificationBodies._integerValue_body_ Implementation of the ValueSpecification::integerValue '' .
static class	ValueSpecificationBodies._isComputable_body_ Implementation of the ValueSpecification::isComputable '' .
static class	ValueSpecificationBodies._isNull_body_ Implementation of the ValueSpecification::isNull '' .
static class	ValueSpecificationBodies._stringValue_body_ Implementation of the ValueSpecification::stringValue '' .
static class	ValueSpecificationBodies._unlimitedValue_body_ Implementation of the ValueSpecification::unlimitedValue '' .

Uses of AbstractOperation in org.eclipse.ocl.examples.pivot.ecore

Subclasses of AbstractOperation in org.eclipse.ocl.examples.pivot.ecore

class

EObjectOperation An EObjectOperation provides the standard LibraryOperation to implement an OperationCallExp.

Uses of AbstractOperation in org.eclipse.ocl.examples.pivot.library

Subclasses of AbstractOperation in org.eclipse.ocl.examples.pivot.library

class	ConstrainedOperation An instance of ConstrainedOperation supports evaluation of an operation defined by constraints.
class	JavaCompareToOperation
class	UnimplementedOperation The static instance of UnimplementedOperation supports evaluation of an operation that has not been implemented.