ExecutableStandardLibrary (MDT-OCL Documentation)

java.lang.Object
- org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement
- - org.eclipse.ocl.pivot.internal.library.executor.ExecutableStandardLibrary

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, CompleteEnvironment, Element, StandardLibrary, StandardLibrary.StandardLibraryExtension, Visitable

Direct Known Subclasses:

ExecutorStandardLibrary, PivotExecutorStandardLibrary
```
public abstract class ExecutableStandardLibrary
extends AbstractExecutorElement
implements CompleteEnvironment, StandardLibrary.StandardLibraryExtension
```

Nested Class Summary
- Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.StandardLibrary
  StandardLibrary.StandardLibraryExtension

Constructor Summary

Constructors
Constructor and Description

ExecutableStandardLibrary()

Constructors
Constructor and Description
`ExecutableStandardLibrary()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected java.util.HashMap<java.lang.Object,StatusCodes.Severity>`	`createValidationKey2severityMap()`
`java.lang.Iterable<? extends CompletePackage>`	`getAllCompletePackages()`
`Class`	`getBagType()` Obtains the generic instance of the BagType metatype, named `Bag(T)`.
`CollectionType`	`getBagType(Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)` Return the instance of the Bag metatype whose elements are of elementType.
`CollectionType`	`getBagType(Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)`
`Class`	`getBooleanType()` Obtains the instance of the PrimitiveType metatype, named `Boolean`.
`Class`	`getCollectionType()` Obtains the generic instance of the CollectionType metatype, named `Collection(T)`.
`CollectionType`	`getCollectionType(Class genericType, Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)` Return the specialized collection type for the containerType for elementType.
`CollectionType`	`getCollectionType(Class genericType, Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)`
`Class`	`getIntegerType()` Obtains the instance of the PrimitiveType metatype, named `Integer`.
`LambdaType`	`getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, TemplateParameterSubstitutions bindings)`
`Class`	`getMapType()`
`MapType`	`getMapType(Class genericType, Type keyType, Type valueType)`
`Class`	`getMetaclass(Type classType)` Return the instance of the Metaclass metatype whose class is classType.
`Type`	`getMetaType(Type instanceType)` Returns the meta-type of a given type.
`Package`	`getNestedPackage(Package parentPackage, java.lang.String name)`
`Class`	`getNestedType(Package parentPackage, java.lang.String name)`
`Class`	`getOclAnyType()` Obtains the single instance of the AnyType metatype, named `OclAny`.
`Class`	`getOclComparableType()` Obtains the single instance of the OclComparable metatype, named `OclAny`.
`Class`	`getOclElementType()` Obtains the single instance of the Class metatype, named `OclElement`.
`Class`	`getOclEnumerationType()` Obtains the single instance of the Class metatype, named `OclEnumeration`.
`Class`	`getOclInvalidType()` Obtains the single instance of the InvalidType metatype, named `OclInvalid`.
`Class`	`getOclMessageType()` Obtains the generic instance of the MessageType metatype, named `OclMessage`.
`Class`	`getOclSelfType()` Obtains the single instance of the OclSelf pseudo-metatype, named `OclSelf`.
`Class`	`getOclStereotypeType()` Obtains the single instance of the OclStereotype metatype, named `OclStereotype`.
`Class`	`getOclSummableType()` Obtains the single instance of the OclSummable metatype, named `OclAny`.
`Class`	`getOclTupleType()` Obtains the single instance of the OclTupleType metatype, named `OclVoid`.
`Class`	`getOclVoidType()` Obtains the single instance of the VoidType metatype, named `OclVoid`.
`Element`	`getOperationTemplateParameter(Operation anOperation, int index)`
`Class`	`getOrderedCollectionType()` Obtains the generic instance of the OrderedCollection metatype, named `OrderedCollection(T)`.
`Class`	`getOrderedSetType()` Obtains the generic instance of the OrderedSetType metatype, named `OrderedSet(T)`.
`CollectionType`	`getOrderedSetType(Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)` Return the instance of the OrderedSet metatype whose elements are of elementType.
`CollectionType`	`getOrderedSetType(Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)`
`CompleteModel`	`getOwnedCompleteModel()` Returns the value of the 'Owned Complete Model' containment reference.
`StandardLibrary`	`getOwnedStandardLibrary()` Returns the value of the 'Owned Standard Library' containment reference.
`CompleteEnvironment`	`getOwningCompleteEnvironment()` Returns the value of the 'Owning Complete Environment' container reference.
`Package`	`getPackage()` Obtains the package containing the library types
`Class`	`getPivotType(java.lang.String className)`
`Type`	`getPrimitiveType(PrimitiveTypeId typeId)`
`Class`	`getRealType()` Obtains the instance of the PrimitiveType metatype, named `Real`.
`Package`	`getRootPackage(java.lang.String name)`
`Class`	`getSequenceType()` Obtains the generic instance of the SequenceType metatype, named `Sequence(T)`.
`CollectionType`	`getSequenceType(Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)` Return the instance of the Sequence metatype whose elements are of elementType.
`CollectionType`	`getSequenceType(Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)`
`Class`	`getSetType()` Obtains the generic instance of the SetType metatype, named `Set(T)`.
`CollectionType`	`getSetType(Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)` Return the instance of the Set metatype whose elements are of elementType.
`CollectionType`	`getSetType(Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)`
`StatusCodes.Severity`	`getSeverity(java.lang.Object validationKey)`
`Type`	`getSpecializedType(Type type, TemplateParameterSubstitutions substitutions)`
`Class`	`getStringType()` Obtains the instance of the PrimitiveType metatype, named `String`.
`Element`	`getTemplateParameter(TemplateParameterId id, Element context)`
`TupleType`	`getTupleType(java.lang.String typeName, java.util.Collection<? extends TypedElement> parts, TemplateParameterSubstitutions bindings)`
`TupleType`	`getTupleType(TupleTypeId typeId)`
`Class`	`getUniqueCollectionType()` Obtains the generic instance of the UniqueCollection metatype, named `Set(T)`.
`Class`	`getUnlimitedNaturalType()` Obtains the instance of the PrimitiveType metatype, named `UnlimitedNatural`.
`void`	`resetSeverities()`
`void`	`setOwnedCompleteModel(CompleteModel value)` Sets the value of the '`Owned Complete Model`' containment reference.
`void`	`setOwnedStandardLibrary(StandardLibrary value)` Sets the value of the '`Owned Standard Library`' containment reference.
`void`	`setOwningCompleteEnvironment(CompleteEnvironment value)` Sets the value of the '`Owning Complete Environment`' container reference.
`protected <K,V> V`	`weakGet(java.util.Map<K,java.lang.ref.WeakReference<V>> map, K key)` Return the map.get(key).get() entry if there is one or null if not, removing any stale entry that may be encountered.

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement
accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.pivot.StandardLibrary
getClassType, getEnumerationType, getInheritance, getNsURIPackage, getOclInvalidOperation, getOclType

Methods inherited from interface org.eclipse.ocl.pivot.Element
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable
eClass

- Constructor Detail
  - ExecutableStandardLibrary
```
public ExecutableStandardLibrary()
```
- Method Detail
  - createValidationKey2severityMap
```
@NonNull
protected java.util.HashMap<java.lang.Object,StatusCodes.Severity> createValidationKey2severityMap()
```
  - getAllCompletePackages
```
@NonNull
public java.lang.Iterable<? extends CompletePackage> getAllCompletePackages()
```
    Specified by:
    
    getAllCompletePackages in interface StandardLibrary
  - getBagType
```
public Class getBagType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the generic instance of the BagType metatype, named Bag(T).
    
    Specified by:
    
    getBagType in interface StandardLibrary
    
    Returns:
    
    the Bag(T) type (an instance of BagType)
  - getBagType
```
@NonNull
public CollectionType getBagType(@NonNull
                                           Type elementType,
                                           @Nullable
                                           IntegerValue lower,
                                           @Nullable
                                           UnlimitedNaturalValue upper)
```
    Specified by:
    
    getBagType in interface CompleteEnvironment
  - getBagType
```
@NonNull
public CollectionType getBagType(@NonNull
                                           Type elementType,
                                           boolean isNullFree,
                                           @Nullable
                                           IntegerValue lower,
                                           @Nullable
                                           UnlimitedNaturalValue upper)
```
    Description copied from interface: CompleteEnvironment
    
    Return the instance of the Bag metatype whose elements are of elementType.
    
    Specified by:
    
    getBagType in interface CompleteEnvironment
  - getBooleanType
```
public Class getBooleanType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the instance of the PrimitiveType metatype, named Boolean.
    
    Specified by:
    
    getBooleanType in interface StandardLibrary
    
    Returns:
    
    the Boolean type (an instance of PrimitiveType)
  - getCollectionType
```
public Class getCollectionType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the generic instance of the CollectionType metatype, named Collection(T).
    
    Specified by:
    
    getCollectionType in interface StandardLibrary
    
    Returns:
    
    the Collection(T) type (an instance of CollectionType)
  - getCollectionType
```
@NonNull
public CollectionType getCollectionType(Class genericType,
                                                  @NonNull
                                                  Type elementType,
                                                  @Nullable
                                                  IntegerValue lower,
                                                  @Nullable
                                                  UnlimitedNaturalValue upper)
```
    Specified by:
    
    getCollectionType in interface CompleteEnvironment
    
    Specified by:
    
    getCollectionType in interface StandardLibrary
  - getCollectionType
```
@NonNull
public CollectionType getCollectionType(Class genericType,
                                                  @NonNull
                                                  Type elementType,
                                                  boolean isNullFree,
                                                  @Nullable
                                                  IntegerValue lower,
                                                  @Nullable
                                                  UnlimitedNaturalValue upper)
```
    Description copied from interface: CompleteEnvironment
    
    Return the specialized collection type for the containerType for elementType.
    
    Specified by:
    
    getCollectionType in interface CompleteEnvironment
    
    Specified by:
    
    getCollectionType in interface StandardLibrary
  - getIntegerType
```
public Class getIntegerType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the instance of the PrimitiveType metatype, named Integer.
    
    Specified by:
    
    getIntegerType in interface StandardLibrary
    
    Returns:
    
    the Integer type (an instance of PrimitiveType)
  - getLambdaType
```
@NonNull
public LambdaType getLambdaType(@NonNull
                                          java.lang.String typeName,
                                          @NonNull
                                          Type contextType,
                                          @NonNull
                                          java.util.List<? extends Type> parameterTypes,
                                          @NonNull
                                          Type resultType,
                                          @Nullable
                                          TemplateParameterSubstitutions bindings)
```
    Specified by:
    
    getLambdaType in interface CompleteEnvironment
  - getMapType
```
public Class getMapType()
```
    Specified by:
    
    getMapType in interface StandardLibrary
  - getMapType
```
@NonNull
public MapType getMapType(Class genericType,
                                    @NonNull
                                    Type keyType,
                                    @NonNull
                                    Type valueType)
```
    Specified by:
    
    getMapType in interface CompleteEnvironment
    
    Specified by:
    
    getMapType in interface StandardLibrary
  - getMetaclass
```
public Class getMetaclass(@NonNull
                          Type classType)
```
    Description copied from interface: StandardLibrary
    
    Return the instance of the Metaclass metatype whose class is classType.
    
    Specified by:
    
    getMetaclass in interface StandardLibrary
  - getMetaType
```
public Type getMetaType(@NonNull
                        Type instanceType)
```
    Description copied from interface: StandardLibrary
    
    Returns the meta-type of a given type.
    
    Specified by:
    
    getMetaType in interface StandardLibrary
  - getNestedPackage
```
public Package getNestedPackage(Package parentPackage,
                                @NonNull
                                java.lang.String name)
```
    Specified by:
    
    getNestedPackage in interface CompleteEnvironment
  - getNestedType
```
public Class getNestedType(Package parentPackage,
                           @NonNull
                           java.lang.String name)
```
    Specified by:
    
    getNestedType in interface CompleteEnvironment
  - getOclAnyType
```
public Class getOclAnyType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the single instance of the AnyType metatype, named OclAny.
    
    Specified by:
    
    getOclAnyType in interface StandardLibrary
    
    Returns:
    
    the OclAny type (an instance of AnyType)
  - getOclComparableType
```
public Class getOclComparableType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the single instance of the OclComparable metatype, named OclAny.
    
    Specified by:
    
    getOclComparableType in interface StandardLibrary
    
    Returns:
    
    the OclAny type (an instance of Class)
  - getOclElementType
```
public Class getOclElementType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the single instance of the Class metatype, named OclElement.
    
    Specified by:
    
    getOclElementType in interface StandardLibrary
    
    Returns:
    
    the OclElement type (an instance of Class)
  - getOclEnumerationType
```
public Class getOclEnumerationType()
```
    Description copied from interface: StandardLibrary.StandardLibraryExtension
    
    Obtains the single instance of the Class metatype, named OclEnumeration.
    
    Specified by:
    
    getOclEnumerationType in interface StandardLibrary.StandardLibraryExtension
    
    Returns:
    
    the OclEnumeration type (an instance of Class)
    
    Since:
    
    1.1
  - getOclInvalidType
```
public Class getOclInvalidType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the single instance of the InvalidType metatype, named OclInvalid.
    
    Specified by:
    
    getOclInvalidType in interface StandardLibrary
    
    Returns:
    
    the OclInvalid type (an instance of InvalidType)
  - getOclMessageType
```
public Class getOclMessageType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the generic instance of the MessageType metatype, named OclMessage.
    
    Specified by:
    
    getOclMessageType in interface StandardLibrary
    
    Returns:
    
    the OclMessage type (an instance of MessageType)
  - getOclSelfType
```
public Class getOclSelfType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the single instance of the OclSelf pseudo-metatype, named OclSelf.
    
    Specified by:
    
    getOclSelfType in interface StandardLibrary
    
    Returns:
    
    the OclSelf type (an instance of SelfType)
  - getOclStereotypeType
```
@NonNull
public Class getOclStereotypeType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the single instance of the OclStereotype metatype, named OclStereotype.
    
    Specified by:
    
    getOclStereotypeType in interface StandardLibrary
    
    Returns:
    
    the OclStereotype type (an instance of Class)
    
    Since:
    
    1.1
  - getOclSummableType
```
public Class getOclSummableType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the single instance of the OclSummable metatype, named OclAny.
    
    Specified by:
    
    getOclSummableType in interface StandardLibrary
    
    Returns:
    
    the OclAny type (an instance of Class)
  - getOclTupleType
```
public Class getOclTupleType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the single instance of the OclTupleType metatype, named OclVoid.
    
    Specified by:
    
    getOclTupleType in interface StandardLibrary
    
    Returns:
    
    the OclTuple type (an instance of Class)
  - getOclVoidType
```
public Class getOclVoidType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the single instance of the VoidType metatype, named OclVoid.
    
    Specified by:
    
    getOclVoidType in interface StandardLibrary
    
    Returns:
    
    the OclVoid type (an instance of VoidType)
  - getOperationTemplateParameter
```
@Nullable
public Element getOperationTemplateParameter(@NonNull
                                                        Operation anOperation,
                                                        int index)
```
    Specified by:
    
    getOperationTemplateParameter in interface StandardLibrary
  - getOrderedCollectionType
```
public Class getOrderedCollectionType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the generic instance of the OrderedCollection metatype, named OrderedCollection(T).
    
    Specified by:
    
    getOrderedCollectionType in interface StandardLibrary
    
    Returns:
    
    the OrderedCollection(T) type (an instance of CollectionType)
  - getOrderedSetType
```
public Class getOrderedSetType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the generic instance of the OrderedSetType metatype, named OrderedSet(T).
    
    Specified by:
    
    getOrderedSetType in interface StandardLibrary
    
    Returns:
    
    the OrderedSet(T) type (an instance of OrderedSetType)
  - getOrderedSetType
```
@NonNull
public CollectionType getOrderedSetType(@NonNull
                                                  Type elementType,
                                                  @Nullable
                                                  IntegerValue lower,
                                                  @Nullable
                                                  UnlimitedNaturalValue upper)
```
    Specified by:
    
    getOrderedSetType in interface CompleteEnvironment
  - getOrderedSetType
```
@NonNull
public CollectionType getOrderedSetType(@NonNull
                                                  Type elementType,
                                                  boolean isNullFree,
                                                  @Nullable
                                                  IntegerValue lower,
                                                  @Nullable
                                                  UnlimitedNaturalValue upper)
```
    Description copied from interface: CompleteEnvironment
    
    Return the instance of the OrderedSet metatype whose elements are of elementType.
    
    Specified by:
    
    getOrderedSetType in interface CompleteEnvironment
  - getOwnedCompleteModel
```
@NonNull
public CompleteModel getOwnedCompleteModel()
```
    Description copied from interface: CompleteEnvironment
    
    Returns the value of the 'Owned Complete Model' containment reference. It is bidirectional and its opposite is 'Owning Complete Environment'.
    If the meaning of the 'Owned Complete Model' containment reference isn't clear, there really should be more of a description here...
    
    Specified by:
    
    getOwnedCompleteModel in interface CompleteEnvironment
    
    Returns:
    
    the value of the 'Owned Complete Model' containment reference.
    
    See Also:
    
    CompleteEnvironment.setOwnedCompleteModel(CompleteModel), PivotPackage.getCompleteEnvironment_OwnedCompleteModel(), CompleteModel.getOwningCompleteEnvironment()
  - getOwnedStandardLibrary
```
@NonNull
public StandardLibrary getOwnedStandardLibrary()
```
    Description copied from interface: CompleteEnvironment
    
    Returns the value of the 'Owned Standard Library' containment reference. It is bidirectional and its opposite is 'Owning Complete Environment'.
    If the meaning of the 'Owned Standard Library' containment reference isn't clear, there really should be more of a description here...
    
    Specified by:
    
    getOwnedStandardLibrary in interface CompleteEnvironment
    
    Returns:
    
    the value of the 'Owned Standard Library' containment reference.
    
    See Also:
    
    CompleteEnvironment.setOwnedStandardLibrary(StandardLibrary), PivotPackage.getCompleteEnvironment_OwnedStandardLibrary(), StandardLibrary.getOwningCompleteEnvironment()
  - getOwningCompleteEnvironment
```
public CompleteEnvironment getOwningCompleteEnvironment()
```
    Description copied from interface: StandardLibrary
    
    Returns the value of the 'Owning Complete Environment' container reference. It is bidirectional and its opposite is 'Owned Standard Library'.
    If the meaning of the 'Owning Complete Environment' container reference isn't clear, there really should be more of a description here...
    
    Specified by:
    
    getOwningCompleteEnvironment in interface StandardLibrary
    
    Returns:
    
    the value of the 'Owning Complete Environment' container reference.
    
    See Also:
    
    StandardLibrary.setOwningCompleteEnvironment(CompleteEnvironment), PivotPackage.getStandardLibrary_OwningCompleteEnvironment(), CompleteEnvironment.getOwnedStandardLibrary()
  - getPackage
```
public Package getPackage()
```
    Description copied from interface: StandardLibrary
    
    Obtains the package containing the library types
    
    Specified by:
    
    getPackage in interface StandardLibrary
  - getPivotType
```
public Class getPivotType(@NonNull
                          java.lang.String className)
```
  - getPrimitiveType
```
@Nullable
public Type getPrimitiveType(@NonNull
                                        PrimitiveTypeId typeId)
```
    Specified by:
    
    getPrimitiveType in interface StandardLibrary
  - getRealType
```
public Class getRealType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the instance of the PrimitiveType metatype, named Real.
    
    Specified by:
    
    getRealType in interface StandardLibrary
    
    Returns:
    
    the Real type (an instance of PrimitiveType)
  - getRootPackage
```
public Package getRootPackage(@NonNull
                              java.lang.String name)
```
    Specified by:
    
    getRootPackage in interface StandardLibrary
  - getSequenceType
```
public Class getSequenceType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the generic instance of the SequenceType metatype, named Sequence(T).
    
    Specified by:
    
    getSequenceType in interface StandardLibrary
    
    Returns:
    
    the Sequence(T) type (an instance of SequenceType)
  - getSequenceType
```
@NonNull
public CollectionType getSequenceType(@NonNull
                                                Type elementType,
                                                @Nullable
                                                IntegerValue lower,
                                                @Nullable
                                                UnlimitedNaturalValue upper)
```
    Specified by:
    
    getSequenceType in interface CompleteEnvironment
  - getSequenceType
```
@NonNull
public CollectionType getSequenceType(@NonNull
                                                Type elementType,
                                                boolean isNullFree,
                                                @Nullable
                                                IntegerValue lower,
                                                @Nullable
                                                UnlimitedNaturalValue upper)
```
    Description copied from interface: CompleteEnvironment
    
    Return the instance of the Sequence metatype whose elements are of elementType.
    
    Specified by:
    
    getSequenceType in interface CompleteEnvironment
  - getSetType
```
public Class getSetType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the generic instance of the SetType metatype, named Set(T).
    
    Specified by:
    
    getSetType in interface StandardLibrary
    
    Returns:
    
    the Set(T) type (an instance of SetType)
  - getSetType
```
@NonNull
public CollectionType getSetType(@NonNull
                                           Type elementType,
                                           @Nullable
                                           IntegerValue lower,
                                           @Nullable
                                           UnlimitedNaturalValue upper)
```
    Specified by:
    
    getSetType in interface CompleteEnvironment
  - getSetType
```
@NonNull
public CollectionType getSetType(@NonNull
                                           Type elementType,
                                           boolean isNullFree,
                                           @Nullable
                                           IntegerValue lower,
                                           @Nullable
                                           UnlimitedNaturalValue upper)
```
    Description copied from interface: CompleteEnvironment
    
    Return the instance of the Set metatype whose elements are of elementType.
    
    Specified by:
    
    getSetType in interface CompleteEnvironment
  - getSeverity
```
public StatusCodes.Severity getSeverity(@Nullable
                                        java.lang.Object validationKey)
```
  - getSpecializedType
```
@NonNull
public Type getSpecializedType(@NonNull
                                         Type type,
                                         @Nullable
                                         TemplateParameterSubstitutions substitutions)
```
    Specified by:
    
    getSpecializedType in interface CompleteEnvironment
  - getStringType
```
public Class getStringType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the instance of the PrimitiveType metatype, named String.
    
    Specified by:
    
    getStringType in interface StandardLibrary
    
    Returns:
    
    the String type (an instance of PrimitiveType)
  - getTemplateParameter
```
@NonNull
public Element getTemplateParameter(@NonNull
                                              TemplateParameterId id,
                                              Element context)
```
  - getTupleType
```
@NonNull
public TupleType getTupleType(@NonNull
                                        TupleTypeId typeId)
```
  - getTupleType
```
@NonNull
public TupleType getTupleType(@NonNull
                                        java.lang.String typeName,
                                        @NonNull
                                        java.util.Collection<? extends TypedElement> parts,
                                        @Nullable
                                        TemplateParameterSubstitutions bindings)
```
    Specified by:
    
    getTupleType in interface CompleteEnvironment
  - getUniqueCollectionType
```
public Class getUniqueCollectionType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the generic instance of the UniqueCollection metatype, named Set(T).
    
    Specified by:
    
    getUniqueCollectionType in interface StandardLibrary
    
    Returns:
    
    the Set(T) type (an instance of CollectionType)
  - getUnlimitedNaturalType
```
public Class getUnlimitedNaturalType()
```
    Description copied from interface: StandardLibrary
    
    Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural.
    
    Specified by:
    
    getUnlimitedNaturalType in interface StandardLibrary
    
    Returns:
    
    the UnlimitedNatural type (an instance of PrimitiveType)
  - resetSeverities
```
public void resetSeverities()
```
  - setOwnedCompleteModel
```
public void setOwnedCompleteModel(CompleteModel value)
```
    Description copied from interface: CompleteEnvironment
    
    Sets the value of the 'Owned Complete Model' containment reference.
    
    Specified by:
    
    setOwnedCompleteModel in interface CompleteEnvironment
    
    Parameters:
    
    value - the new value of the 'Owned Complete Model' containment reference.
    
    See Also:
    
    CompleteEnvironment.getOwnedCompleteModel()
  - setOwnedStandardLibrary
```
public void setOwnedStandardLibrary(StandardLibrary value)
```
    Description copied from interface: CompleteEnvironment
    
    Sets the value of the 'Owned Standard Library' containment reference.
    
    Specified by:
    
    setOwnedStandardLibrary in interface CompleteEnvironment
    
    Parameters:
    
    value - the new value of the 'Owned Standard Library' containment reference.
    
    See Also:
    
    CompleteEnvironment.getOwnedStandardLibrary()
  - setOwningCompleteEnvironment
```
public void setOwningCompleteEnvironment(CompleteEnvironment value)
```
    Description copied from interface: StandardLibrary
    
    Sets the value of the 'Owning Complete Environment' container reference.
    
    Specified by:
    
    setOwningCompleteEnvironment in interface StandardLibrary
    
    Parameters:
    
    value - the new value of the 'Owning Complete Environment' container reference.
    
    See Also:
    
    StandardLibrary.getOwningCompleteEnvironment()
  - weakGet
```
@Nullable
protected <K,V> V weakGet(@NonNull
                                     java.util.Map<K,java.lang.ref.WeakReference<V>> map,
                                     @NonNull
                                     K key)
```
    Return the map.get(key).get() entry if there is one or null if not, removing any stale entry that may be encountered.

Class ExecutableStandardLibrary

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.StandardLibrary

Constructor Summary

Method Summary

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

Methods inherited from class java.lang.Object

Methods inherited from interface org.eclipse.ocl.pivot.StandardLibrary

Methods inherited from interface org.eclipse.ocl.pivot.Element

Methods inherited from interface org.eclipse.emf.ecore.EObject

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

Constructor Detail

ExecutableStandardLibrary

Method Detail

createValidationKey2severityMap

getAllCompletePackages

getBagType

getBagType

getBagType

getBooleanType

getCollectionType

getCollectionType

getCollectionType

getIntegerType

getLambdaType

getMapType

getMapType

getMetaclass

getMetaType

getNestedPackage

getNestedType

getOclAnyType

getOclComparableType

getOclElementType

getOclEnumerationType

getOclInvalidType

getOclMessageType

getOclSelfType

getOclStereotypeType

getOclSummableType

getOclTupleType

getOclVoidType

getOperationTemplateParameter

getOrderedCollectionType

getOrderedSetType

getOrderedSetType

getOrderedSetType

getOwnedCompleteModel

getOwnedStandardLibrary

getOwningCompleteEnvironment

getPackage

getPivotType

getPrimitiveType

getRealType

getRootPackage

getSequenceType

getSequenceType

getSequenceType

getSetType

getSetType

getSetType

getSeverity

getSpecializedType

getStringType

getTemplateParameter

getTupleType

getTupleType

getUniqueCollectionType

getUnlimitedNaturalType

resetSeverities

setOwnedCompleteModel

setOwnedStandardLibrary

setOwningCompleteEnvironment

weakGet