Uses of Interface
org.eclipse.ocl.pivot.library.LibraryFeature

Packages that use LibraryFeature

Package	Description
org.eclipse.ocl.examples.codegen.library
org.eclipse.ocl.pivot
org.eclipse.ocl.pivot.internal
org.eclipse.ocl.pivot.internal.ecore
org.eclipse.ocl.pivot.internal.elements
org.eclipse.ocl.pivot.internal.evaluation
org.eclipse.ocl.pivot.internal.executor
org.eclipse.ocl.pivot.internal.library
org.eclipse.ocl.pivot.internal.library.ecore
org.eclipse.ocl.pivot.internal.library.executor
org.eclipse.ocl.pivot.internal.manager
org.eclipse.ocl.pivot.internal.utilities
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.iterator
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
org.eclipse.ocl.pivot.types
org.eclipse.ocl.pivot.uml.internal.library
org.eclipse.ocl.pivot.util
org.eclipse.ocl.pivot.utilities

Uses of LibraryFeature in org.eclipse.ocl.examples.codegen.library

Classes in org.eclipse.ocl.examples.codegen.library that implement LibraryFeature

Modifier and Type	Class and Description
class	NativeProperty The instance of NativeProperty supports evaluation of a property using native language facilities (i.e X.nativeProperty) when code generated).
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 LibraryFeature in org.eclipse.ocl.pivot

Methods in org.eclipse.ocl.pivot that return LibraryFeature

Modifier and Type	Method and Description
LibraryFeature	Feature.getImplementation() Returns the value of the 'Implementation' attribute.
LibraryFeature	InheritanceFragment.getImplementation(Operation apparentOperation) Return the implementation of the actualOperation within this fragment that has the same signature as apparentOperation.
LibraryFeature	Class.lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.
LibraryFeature	CompleteInheritance.lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.

Methods in org.eclipse.ocl.pivot with parameters of type LibraryFeature

Modifier and Type	Method and Description
void	Feature.setImplementation(LibraryFeature value) Sets the value of the 'Implementation' attribute.

Uses of LibraryFeature in org.eclipse.ocl.pivot.internal

Fields in org.eclipse.ocl.pivot.internal declared as LibraryFeature

Modifier and Type	Field and Description
protected LibraryFeature	FeatureImpl.implementation The cached value of the 'Implementation' attribute.
protected static LibraryFeature	FeatureImpl.IMPLEMENTATION_EDEFAULT The default value of the 'Implementation' attribute.

Methods in org.eclipse.ocl.pivot.internal that return LibraryFeature

Modifier and Type	Method and Description
LibraryFeature	PivotFactoryImpl.createLibraryFeatureFromString(org.eclipse.emf.ecore.EDataType eDataType, java.lang.String initialValue)
LibraryFeature	FeatureImpl.getImplementation()
LibraryFeature	ClassImpl.lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation)

Methods in org.eclipse.ocl.pivot.internal with parameters of type LibraryFeature

Modifier and Type	Method and Description
void	FeatureImpl.setImplementation(LibraryFeature newImplementation)

Uses of LibraryFeature in org.eclipse.ocl.pivot.internal.ecore

Classes in org.eclipse.ocl.pivot.internal.ecore that implement LibraryFeature

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

Uses of LibraryFeature in org.eclipse.ocl.pivot.internal.elements

Methods in org.eclipse.ocl.pivot.internal.elements that return LibraryFeature

Modifier and Type	Method and Description
LibraryFeature	AbstractExecutorFeature.getImplementation()

Methods in org.eclipse.ocl.pivot.internal.elements with parameters of type LibraryFeature

Modifier and Type	Method and Description
void	AbstractExecutorFeature.setImplementation(LibraryFeature value)

Uses of LibraryFeature in org.eclipse.ocl.pivot.internal.evaluation

Methods in org.eclipse.ocl.pivot.internal.evaluation that return LibraryFeature

Modifier and Type	Method and Description
LibraryFeature	BasicEvaluationVisitor.lookupImplementation(Class dynamicType, Operation staticOperation)

Uses of LibraryFeature in org.eclipse.ocl.pivot.internal.executor

Methods in org.eclipse.ocl.pivot.internal.executor that return LibraryFeature

Modifier and Type	Method and Description
LibraryFeature	AbstractSpecializedType.lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation)
LibraryFeature	ExecutorTupleType.lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation)

Uses of LibraryFeature in org.eclipse.ocl.pivot.internal.library

Classes in org.eclipse.ocl.pivot.internal.library that implement LibraryFeature

Modifier and Type	Class and Description
class	BaseProperty The static instance of ExplicitNavigationProperty supports evaluation of a property call that navigates a relationship.
class	CompositionProperty An instance of ImplicitContainerProperty supports evaluation of a property call that navigates a relationship to a container.
class	ConstrainedOperation An instance of ConstrainedOperation supports evaluation of an operation defined by constraints.
class	ConstrainedProperty An instance of ConstrainedProperty supports evaluation of a relationship defined by constraints.
class	EInvokeOperation An EInvokeOperation supports evaluation of an operation call by using eInvoke on the underlying eObject.
class	ExplicitNavigationProperty An instance of ExplicitNavigationProperty supports evaluation of a property call that navigates a relationship.
class	ExtensionProperty The static instance of ExplicitNavigationProperty supports evaluation of a property call that navigates a relationship.
class	ImplicitNonCompositionProperty The static instance of ImplicitNonCompositionProperty supports evaluation of implicit properties for opposites of non-composition relationships.
class	JavaCompareToOperation
class	StaticProperty The static instance of ExplicitNavigationProperty supports evaluation of a property call that navigates a relationship.
class	StereotypeProperty An instance of StereotypeProperty supports evaluation of a property call that accesses a stereotype extension property.
class	TuplePartProperty
class	UnboxedCompositionProperty
class	UnboxedExplicitNavigationProperty
class	UnboxedOppositeNavigationProperty

Methods in org.eclipse.ocl.pivot.internal.library that return LibraryFeature

Modifier and Type	Method and Description
LibraryFeature	ImplementationManager.loadImplementation(Feature feature) Return the implementation of a feature.

Uses of LibraryFeature in org.eclipse.ocl.pivot.internal.library.ecore

Classes in org.eclipse.ocl.pivot.internal.library.ecore that implement LibraryFeature

Modifier and Type	Class and Description
class	EcoreExecutorProperty
class	EcoreLibraryOppositeProperty An EcoreLibraryOppositeProperty provides the LibraryProperty to implement a PropertyCallExp using the inverse navigation of an EStructuralFeature.
class	EcoreLibraryProperty An EcoreLibraryProperty provides the LibraryProperty to implement a PropertyCallExp using an EStructuralFeature.

Methods in org.eclipse.ocl.pivot.internal.library.ecore that return types with arguments of type LibraryFeature

Modifier and Type	Method and Description
protected java.util.Map<Property,LibraryFeature>	EcoreReflectiveFragment.initProperties()

Uses of LibraryFeature in org.eclipse.ocl.pivot.internal.library.executor

Fields in org.eclipse.ocl.pivot.internal.library.executor declared as LibraryFeature

Modifier and Type	Field and Description
protected LibraryFeature	ExecutorOperation.implementation

Fields in org.eclipse.ocl.pivot.internal.library.executor with type parameters of type LibraryFeature

Modifier and Type	Field and Description
protected java.util.Map<Operation,LibraryFeature>	ReflectiveFragment.operationMap
protected java.util.Map<Property,LibraryFeature>	ReflectiveFragment.propertyMap

Methods in org.eclipse.ocl.pivot.internal.library.executor that return LibraryFeature

Modifier and Type	Method and Description
LibraryFeature	ExecutorOperation.getImplementation()
LibraryFeature	ExecutorFragment.getImplementation(Operation staticOperation)
LibraryFeature	ReflectiveFragment.getImplementation(Operation apparentOperation)
LibraryFeature	ExecutorLambdaType.lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation)
LibraryFeature	ExecutorSpecializedType.lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation)
LibraryFeature	ExecutorTupleType.lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation)
LibraryFeature	JavaType.lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation)

Constructors in org.eclipse.ocl.pivot.internal.library.executor with parameters of type LibraryFeature

Constructor and Description
ExecutorOperation(java.lang.String name, ParameterTypes parameterTypes, Type type, int index, TemplateParameters typeParameters, LibraryFeature implementation)

Uses of LibraryFeature in org.eclipse.ocl.pivot.internal.manager

Methods in org.eclipse.ocl.pivot.internal.manager that return LibraryFeature

Modifier and Type	Method and Description
LibraryFeature	PivotMetamodelManager.getImplementation(Feature feature)
LibraryFeature	PivotMetamodelManager.getImplementation(Operation operation)
LibraryFeature	PivotMetamodelManager.lookupImplementation(Operation dynamicOperation)

Method parameters in org.eclipse.ocl.pivot.internal.manager with type arguments of type LibraryFeature

Modifier and Type	Method and Description
static void	TemplateParameterSubstitutionHelper.addHelper(java.lang.Class<? extends LibraryFeature> className, TemplateParameterSubstitutionHelper helper)
static TemplateParameterSubstitutionHelper	TemplateParameterSubstitutionHelper.getHelper(java.lang.Class<? extends LibraryFeature> className)

Uses of LibraryFeature in org.eclipse.ocl.pivot.internal.utilities

Methods in org.eclipse.ocl.pivot.internal.utilities that return LibraryFeature

Modifier and Type	Method and Description
static LibraryFeature	PivotUtilInternal.getImplementation(Operation localOperation)

Methods in org.eclipse.ocl.pivot.internal.utilities with parameters of type LibraryFeature

Modifier and Type	Method and Description
protected Iteration	AbstractContents.createIteration(java.lang.String name, Type type, java.lang.String implementationClass, LibraryFeature implementation, TemplateParameter... templateParameters)
protected Operation	AbstractContents.createOperation(java.lang.String name, Type type, java.lang.String implementationClass, LibraryFeature implementation, TemplateParameter... templateParameters)

Uses of LibraryFeature in org.eclipse.ocl.pivot.library

Subinterfaces of LibraryFeature in org.eclipse.ocl.pivot.library

Modifier and Type	Interface and Description
interface	LibraryBinaryOperation LibraryBinaryOperation defines the invocation API of a binary operation using either an evaluator call expression, source and argument array or an evaluator return type id and arguments.
static interface	LibraryBinaryOperation.LibraryBinaryOperationExtension Return the result of evaluating the operation on left and right arguments.
interface	LibraryIteration
static interface	LibraryIteration.LibraryIterationExtension
interface	LibraryOperation
static interface	LibraryOperation.LibraryOperationExtension
interface	LibraryProperty The interface for evaluation a Property Implementation.
static interface	LibraryProperty.LibraryPropertyExtension
interface	LibrarySimpleBinaryOperation LibrarySimpleBinaryOperation extends the invocation API of a binary operation to support using just arguments.
static interface	LibrarySimpleBinaryOperation.LibrarySimpleBinaryOperationExtension
interface	LibrarySimpleOperation LibrarySimpleOperation extends the invocation API of an operation to support using just arguments.
interface	LibrarySimpleTernaryOperation LibrarySimpleTernaryOperation extends the invocation API of a ternary operation to support using just arguments.
static interface	LibrarySimpleTernaryOperation.LibrarySimpleTernaryOperationExtension
interface	LibrarySimpleUnaryOperation LibrarySimpleUnaryOperation extends the invocation API of a unary operation to support using just arguments.
static interface	LibrarySimpleUnaryOperation.LibrarySimpleUnaryOperationExtension
interface	LibraryTernaryOperation LibraryTernaryOperation defines the invocation API of a ternary operation using either an evaluator call expression, source and argument array or an evaluator return type id and arguments.
static interface	LibraryTernaryOperation.LibraryTernaryOperationExtension
interface	LibraryUnaryOperation LibraryUnaryOperation defines the invocation API of a unary operation using either an evaluator call expression, source and argument array or an evaluator return type id and arguments.
static interface	LibraryUnaryOperation.LibraryUnaryOperationExtension
interface	LibraryUntypedBinaryOperation LibraryUntypedBinaryOperation extends the invocation API of a binary operation to support using just an evaluator and arguments.
static interface	LibraryUntypedBinaryOperation.LibraryUntypedBinaryOperationExtension
interface	LibraryUntypedOperation LibraryUntypedOperation extends the invocation API of an operation to support using just an evaluator and arguments.
interface	LibraryUntypedTernaryOperation LibraryUntypedTernaryOperation extends the invocation API of a ternary operation to support using just an evaluator and arguments.
static interface	LibraryUntypedTernaryOperation.LibraryUntypedTernaryOperationExtension
interface	LibraryUntypedUnaryOperation LibraryUntypedUnaryOperation extends the invocation API of a unary operation to support using just an evaluator and arguments.
static interface	LibraryUntypedUnaryOperation.LibraryUntypedUnaryOperationExtension

Classes in org.eclipse.ocl.pivot.library that implement LibraryFeature

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	AbstractFeature
class	AbstractIteration AbstractIteration realizes shared characteristics of library iterations by providing a default iteration algorithm with a call-back at each iteration step.
class	AbstractOperation
class	AbstractPolyOperation AbstractPolyOperation supports arguments with a variety of argument lengths operations.
class	AbstractProperty
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 LibraryFeature in org.eclipse.ocl.pivot.library.classifier

Classes in org.eclipse.ocl.pivot.library.classifier that implement LibraryFeature

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 LibraryFeature in org.eclipse.ocl.pivot.library.collection

Classes in org.eclipse.ocl.pivot.library.collection that implement LibraryFeature

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	CollectionElementTypeProperty CollectionElementTypeProperty realizes the Collection::elementType library property.
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	CollectionLowerProperty CollectionLowerProperty realizes the Collection::lower() library property.
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	CollectionUpperProperty CollectionUpperProperty realizes the Collection::upper() library property.
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 LibraryFeature in org.eclipse.ocl.pivot.library.enumeration

Classes in org.eclipse.ocl.pivot.library.enumeration that implement LibraryFeature

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

Uses of LibraryFeature in org.eclipse.ocl.pivot.library.iterator

Classes in org.eclipse.ocl.pivot.library.iterator that implement LibraryFeature

Modifier and Type	Class and Description
class	AnyIteration AnyIteration realizes the Collection::any() library iteration.
class	ClosureIteration ClosureIteration realizes the Collection::closure() library iteration.
class	CollectIteration CollectIteration realizes the Collection::collect() library iteration.
class	CollectNestedIteration CollectNestedIteration realizes the Collection::collectNested() library iteration.
class	ExistsIteration ExistsIteration realises the Collection::exists() library iteration.
class	ForAllIteration ForAllIteration realizes the Collection::forAll() library iteration.
class	IsUniqueIteration IsUniqueIteration realizes the Collection::isUnique() library iteration.
class	IterateIteration IterateIteration realizes the Collection::iterate() library iteration.
class	OneIteration OneIteration realizes the Collection::one() library iteration.
class	OnlyIteration OnlyIteration realizes the Collection::only() library iteration.
class	RejectIteration RejectIteration realizes the Collection::reject() library iteration.
class	SelectIteration SelectIteration realizes the Collection::select() library iteration.
class	SortedByIteration SelectIteration realizes the Collection::sortedBy() library iteration.

Uses of LibraryFeature in org.eclipse.ocl.pivot.library.logical

Classes in org.eclipse.ocl.pivot.library.logical that implement LibraryFeature

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

Classes in org.eclipse.ocl.pivot.library.map that implement LibraryFeature

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	MapKeyTypeProperty MapKeyTypeProperty realizes the Map::keyType library property.
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.
class	MapValueTypeProperty MapValueTypeProperty realizes the Map::valueType library property.

Uses of LibraryFeature in org.eclipse.ocl.pivot.library.numeric

Classes in org.eclipse.ocl.pivot.library.numeric that implement LibraryFeature

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 LibraryFeature in org.eclipse.ocl.pivot.library.oclany

Classes in org.eclipse.ocl.pivot.library.oclany that implement LibraryFeature

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	OclElementOclContainerProperty OclElementOclContainerProperty realizes the OclElement::oclContainer library property.
class	OclElementOclContentsProperty OclElementOclContentsProperty realizes the OclElement::oclContents library property.
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 LibraryFeature in org.eclipse.ocl.pivot.library.oclinvalid

Classes in org.eclipse.ocl.pivot.library.oclinvalid that implement LibraryFeature

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

Uses of LibraryFeature in org.eclipse.ocl.pivot.library.oclvoid

Classes in org.eclipse.ocl.pivot.library.oclvoid that implement LibraryFeature

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 LibraryFeature in org.eclipse.ocl.pivot.library.string

Classes in org.eclipse.ocl.pivot.library.string that implement LibraryFeature

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.

Uses of LibraryFeature in org.eclipse.ocl.pivot.types

Methods in org.eclipse.ocl.pivot.types that return LibraryFeature

Modifier and Type	Method and Description
LibraryFeature	AbstractInheritance.lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation)

Uses of LibraryFeature in org.eclipse.ocl.pivot.uml.internal.library

Classes in org.eclipse.ocl.pivot.uml.internal.library that implement LibraryFeature

Modifier and Type	Class and Description
class	InstanceSlotNavigationProperty An instance of InstanceSlotNavigationProperty supports evaluation of a property call that navigates a relationship to a UML InstanceSpecification slot.
class	UMLBaseProperty The static instance of ExplicitNavigationProperty supports evaluation of a property call that navigates a relationship.
class	UMLExtensionProperty The static instance of ExplicitNavigationProperty supports evaluation of a property call that navigates a relationship.
class	UMLStereotypeProperty An instance of StereotypeProperty supports evaluation of a property call that accesses a stereotype extension property.

Uses of LibraryFeature in org.eclipse.ocl.pivot.util

Methods in org.eclipse.ocl.pivot.util with parameters of type LibraryFeature

Modifier and Type	Method and Description
boolean	PivotValidator.validateLibraryFeature(LibraryFeature libraryFeature, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Uses of LibraryFeature in org.eclipse.ocl.pivot.utilities

Methods in org.eclipse.ocl.pivot.utilities with parameters of type LibraryFeature

Modifier and Type	Method and Description
static Iteration	PivotUtil.createIteration(java.lang.String name, Type type, java.lang.String implementationClass, LibraryFeature implementation)
static Operation	PivotUtil.createOperation(org.eclipse.emf.ecore.EOperation eOperation, Type type, java.lang.String implementationClass, LibraryFeature implementation)
static Operation	PivotUtil.createOperation(java.lang.String name, Type type, java.lang.String implementationClass, LibraryFeature implementation)