Uses of Interface
org.eclipse.ocl.pivot.library.LibraryOperation.LibraryOperationExtension

Packages that use LibraryOperation.LibraryOperationExtension

Package	Description
org.eclipse.ocl.examples.codegen.library
org.eclipse.ocl.pivot.internal.ecore
org.eclipse.ocl.pivot.internal.library
org.eclipse.ocl.pivot.internal.library.executor
org.eclipse.ocl.pivot.library
org.eclipse.ocl.pivot.library.classifier
org.eclipse.ocl.pivot.library.collection
org.eclipse.ocl.pivot.library.enumeration
org.eclipse.ocl.pivot.library.logical
org.eclipse.ocl.pivot.library.map
org.eclipse.ocl.pivot.library.numeric
org.eclipse.ocl.pivot.library.oclany
org.eclipse.ocl.pivot.library.oclinvalid
org.eclipse.ocl.pivot.library.oclvoid
org.eclipse.ocl.pivot.library.string

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.examples.codegen.library

Classes in org.eclipse.ocl.examples.codegen.library that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	NativeStaticOperation The instance of NativeStaticOperation supports evaluation of an operation using native language facilities (i.e X.operation()) when code generated).
class	NativeVisitorOperation The instance of NativeVisitorOperation supports evaluation of an operation using native language facilities (i.e X.visitorOperation()) when code generated).

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.internal.ecore

Classes in org.eclipse.ocl.pivot.internal.ecore that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	EObjectOperation An EObjectOperation provides the standard LibraryOperation to implement an EOperation defined by an OCL specification.

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.internal.library

Classes in org.eclipse.ocl.pivot.internal.library that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	ConstrainedOperation An instance of ConstrainedOperation supports evaluation of an operation defined by constraints.
class	EInvokeOperation An EInvokeOperation supports evaluation of an operation call by using eInvoke on the underlying eObject.
class	JavaCompareToOperation

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.internal.library.executor

Classes in org.eclipse.ocl.pivot.internal.library.executor that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	AbstractDispatchOperation AbstractDispatchOperation supports evaluation by virtual dispatch to the appropriate operation determined by the class of the source argument.
class	AbstractEvaluationOperation

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library

Subinterfaces of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library

Modifier and Type	Interface and Description
static interface	LibraryBinaryOperation.LibraryBinaryOperationExtension Return the result of evaluating the operation on left and right arguments.
static interface	LibraryOperation.LibraryOperationExtension2
static interface	LibrarySimpleBinaryOperation.LibrarySimpleBinaryOperationExtension
static interface	LibrarySimpleTernaryOperation.LibrarySimpleTernaryOperationExtension
static interface	LibrarySimpleUnaryOperation.LibrarySimpleUnaryOperationExtension
static interface	LibraryTernaryOperation.LibraryTernaryOperationExtension
static interface	LibraryUnaryOperation.LibraryUnaryOperationExtension
static interface	LibraryUntypedBinaryOperation.LibraryUntypedBinaryOperationExtension
static interface	LibraryUntypedTernaryOperation.LibraryUntypedTernaryOperationExtension
static interface	LibraryUntypedUnaryOperation.LibraryUntypedUnaryOperationExtension

Classes in org.eclipse.ocl.pivot.library that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	AbstractBinaryOperation AbstractBinaryOperation defines the default implementation of a binary operation redirecting the call-expression invocation to the return type-id form.
class	AbstractOperation AbstractOperation defines the minimal functionality of all Operation implementations.
class	AbstractPolyOperation AbstractPolyOperation supports arguments with a variety of argument lengths operations.
class	AbstractSimpleBinaryOperation AbstractSimpleBinaryOperation defines the default implementation of a binary operation redirecting the invocation to the argument-only form.
class	AbstractSimpleTernaryOperation AbstractSimpleTernaryOperation defines the default implementation of a ternary operation redirecting the invocation to the argument-only form.
class	AbstractSimpleUnaryOperation AbstractSimpleUnaryOperation defines the default implementation of a unary operation redirecting the invocation to the argument-only form.
class	AbstractTernaryOperation AbstractTernaryOperation defines the default implementation of a ternary operation redirecting the call-expression invocation to the return type-id form.
class	AbstractUnaryOperation AbstractUnaryOperation defines the default implementation of a unary operation redirecting the call-expression invocation to the return type-id form.
class	AbstractUntypedBinaryOperation AbstractUntypedBinaryOperation defines the default implementation of a binary operation redirecting the type-id invocation to the type-id-less form.
class	AbstractUntypedTernaryOperation AbstractUntypedTernaryOperation defines the default implementation of a ternary operation redirecting the type-id invocation to the type-id-less form.
class	AbstractUntypedUnaryOperation AbstractUntypedUnaryOperation defines the default implementation of a unary operation redirecting the type-id invocation to the type-id-less form.
class	UnsupportedOperation UnsupportedOperation realises an unimplemented library operation.

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library.classifier

Classes in org.eclipse.ocl.pivot.library.classifier that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
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 LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library.collection

Classes in org.eclipse.ocl.pivot.library.collection that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
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	CollectionExcludingAllOperation CollectionExcludingAllOperation realises the Collection::excludingAll() 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	CollectionIncludingAllOperation CollectionIncludingAllOperation realises the Collection::includingAll() 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	OrderedCollectionAppendAllOperation OrderedCollectionPrependOperation realises the OrderedCollection::appendAll() 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	OrderedCollectionPrependAllOperation OrderedCollectionPrependOperation realises the OrderedCollection::prependAll() 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 LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library.enumeration

Classes in org.eclipse.ocl.pivot.library.enumeration that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	EnumerationAllInstancesOperation EnumerationAllInstancesOperation realises the Enumeration::allInstances() library operation.

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library.logical

Classes in org.eclipse.ocl.pivot.library.logical that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	BooleanAllInstancesOperation BooleanAllInstancesOperation realises the Boolean::allInstances() library operation.
class	BooleanAndOperation AndOperation realises the and() library operation.
class	BooleanAndOperation2 BooleanAndOperation2 realises the 2-valued and() library operation.
class	BooleanImpliesOperation ImpliesOperation realises the implies() library operation.
class	BooleanImpliesOperation2 BooleanImpliesOperation2 realises the 2-valued implies() library operation.
class	BooleanNotOperation NotOperation realises the not() library operation.
class	BooleanNotOperation2 BooleanNotOperation2 realises the 2-valued not() library operation.
class	BooleanOrOperation OrOperation realises the or() library operation.
class	BooleanOrOperation2 BooleanOrOperation2 realises the 2-valued or() library operation.
class	BooleanXorOperation BooleanXorOperation realises the Boolean::xor() library operation.
class	BooleanXorOperation2 BooleanXorOperation2 realises the 2-valued Boolean::xor() library operation.

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library.map

Classes in org.eclipse.ocl.pivot.library.map that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	MapAtOperation MapAtOperation realises the Map::at(key) library operation.
class	MapExcludesAllOperation MapExcludesAllOperation realises the Map::excludesAll(keys) library operation.
class	MapExcludesMapOperation MapIncludesMapOperation realises the Map::excludesMap(map) library operation.
class	MapExcludesOperation MapExcludesOperation realises the Map::excludes(key) library operation.
class	MapExcludesPairOperation MapExcludesPairOperation realises the Map::excludes(key, value) library operation.
class	MapExcludesValueOperation MapExcludesValueOperation realises the Map::excludesValue(value) library operation.
class	MapExcludingAllOperation MapExcludingAllOperation realises the Map::excludingAll(keys) library operation.
class	MapExcludingMapOperation MapExcludingMapOperation realises the Map::excludingMap(map) library operation.
class	MapExcludingOperation MapExcludingOperation realises the Map::excluding(key) library operation.
class	MapExcludingPairOperation MapExcludingPairOperation realises the Map::excluding(key, value) library operation.
class	MapIncludesAllOperation MapIncludesAllOperation realises the Map::includesAll(keys) library operation.
class	MapIncludesMapOperation MapIncludesMapOperation realises the Map::includesMap(map) library operation.
class	MapIncludesOperation MapIncludesOperation realises the Map::includes(key) library operation.
class	MapIncludesPairOperation MapIncludesPairOperation realises the Map::includes(key, value) library operation.
class	MapIncludesValueOperation MapIncludesValueOperation realises the Map::includesValue(value) library operation.
class	MapIncludingMapOperation MapIncludingMapOperation realises the Map::includingMap(map) library operation.
class	MapIncludingPairOperation MapIncludingPairOperation realises the Map::including(key, value) library operation.
class	MapIsEmptyOperation MapAtOperation realises the Map::isEmpty() library operation.
class	MapKeysOperation MapKeysOperation realises the Map::keys() library operation.
class	MapNotEmptyOperation MapAtOperation realises the Map::notEmpty() library operation.
class	MapSizeOperation MapSizeOperation realises the Map::size() library operation.
class	MapValuesOperation MapValuesOperation realises the Map::values() library operation.

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library.numeric

Classes in org.eclipse.ocl.pivot.library.numeric that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	IntegerToUnlimitedNaturalOperation IntegerToUnlimitedNaturalOperation realises the Integer::toUnlimitedNatural() library operation.
class	NumericAbsOperation NumericAbsOperation realises the abs() library operation.
class	NumericCompareToOperation Deprecated.
class	NumericDivideOperation NumericDivideOperation realises the /() library operation.
class	NumericDivOperation NumericDivOperation realises the div() library operation.
class	NumericFloorOperation NumericFloorOperation realises the floor() library operation.
class	NumericGreaterThanEqualOperation Deprecated.
class	NumericGreaterThanOperation Deprecated.
class	NumericLessThanEqualOperation Deprecated.
class	NumericLessThanOperation Deprecated.
class	NumericMaxOperation NumericMaxOperation realises the max() library operation.
class	NumericMinOperation NumericMinOperation realises the min() library operation.
class	NumericMinusOperation NumericMinusOperation realises the -() library operation.
class	NumericModOperation NumericModOperation realises the mod() library operation.
class	NumericNegateOperation NumericNegateOperation realises the unary -() library operation.
class	NumericPlusOperation NumericPlusOperation realises the +() library operation.
class	NumericRoundOperation NumericRoundOperation realises the round() library operation.
class	NumericTimesOperation NumericTimesOperation realises the *() library operation.
class	UnlimitedNaturalMaxOperation UnlimitedNaturalMaxOperation realises the max() library operation.
class	UnlimitedNaturalMinOperation UnlimitedNaturalMinOperation realises the max() library operation.
class	UnlimitedNaturalOclAsTypeOperation UnlimitedNaturalOclAsTypeOperation realizes the UnlimitedNatural::oclAsType() library operation.
class	UnlimitedNaturalToIntegerOperation UnlimitedNaturalToIntegerOperation realises the UnlimitedNatural::toInteger() library operation.

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library.oclany

Classes in org.eclipse.ocl.pivot.library.oclany that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
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	OclAnyOclLogOperation OclAnyOclLogOperation realises the OclAny::oclLog() library operation.
class	OclAnyOclTypeOperation OclAnyOclTypeOperation realises the OclAny::oclType() library operation.
class	OclAnyOclTypesOperation OclAnyOclTypesOperation realises the OclAny::oclTypes() library operation.
class	OclAnyToStringOperation OclAnyToStringOperation realises the OclAny::toString() library operation.
class	OclAnyUnsupportedOperation OclAnyUnsupportedOperation reports an unsupported operation.
class	OclComparableCompareToOperation OclComparableCompareToOperation realizes the abstract compareTo library operation using intrinsic Java functionality.
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.
class	OclElementOclAsModelTypeOperation OclElementOclAsModelTypeOperation realises the OclElement::oclAsModelType() library operation.
class	OclElementOclIsModelKindOfOperation OclElementOclIsModelKindOfOperation realises the OclElement::oclIsModelKindOf() library operation.
class	OclElementOclModelTypeOperation OclElementOclModelTypeOperation realises the OclElement::oclModelType() library operation.
class	OclElementOclModelTypesOperation OclElementOclModelTypesOperation realises the OclElement::oclModelTypes() library operation.

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library.oclinvalid

Classes in org.eclipse.ocl.pivot.library.oclinvalid that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	OclInvalidAllInstancesOperation OclInvalidAllInstancesOperation realises the OclInvalid::allInstances() library operation.

Uses of LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library.oclvoid

Classes in org.eclipse.ocl.pivot.library.oclvoid that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
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 LibraryOperation.LibraryOperationExtension in org.eclipse.ocl.pivot.library.string

Classes in org.eclipse.ocl.pivot.library.string that implement LibraryOperation.LibraryOperationExtension

Modifier and Type	Class and Description
class	CGStringGetSeverityOperation CGStringGetSeverityOperation realises the String::getSeverity() library operation used as the precursor to a validation.
class	CGStringLogDiagnosticOperation CGStringLogDiagnosticOperation realises the String::logDiagnostic(severity, status) library operation used by the code generator for post validation handling.
class	StringAtOperation StringAtOperation realises the String::at() library operation.
class	StringCharactersOperation StringCharactersOperation realises the String::characters() 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 realizes the String::trim() library operation.