PivotMetamodelManager

java.lang.Object
- org.eclipse.ocl.pivot.internal.manager.PivotMetamodelManager

All Implemented Interfaces:

MetamodelManagerInternal, MetamodelManagerInternal.MetamodelManagerInternalExtension, MetamodelManagerInternal.MetamodelManagerInternalExtension2, MetamodelManager
```
public class PivotMetamodelManager
extends Object
implements MetamodelManagerInternal.MetamodelManagerInternalExtension2
```

Nested Class Summary

Nested Classes
Modifier and Type	Class and Description
`class`	`PivotMetamodelManager.CompleteClassPropertiesIterable`
`class`	`PivotMetamodelManager.CompleteElementInvariantsIterable`
`class`	`PivotMetamodelManager.CompleteTypeOperationsIterable`

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.internal.manager.MetamodelManagerInternal
MetamodelManagerInternal.MetamodelManagerInternalExtension, MetamodelManagerInternal.MetamodelManagerInternalExtension2

Field Summary

Fields
Modifier and Type	Field and Description
`static List<Constraint>`	`EMPTY_CONSTRAINT_LIST`
`static List<Element>`	`EMPTY_ELEMENT_LIST`
`static List<Operation>`	`EMPTY_OPERATION_LIST`
`static List<Property>`	`EMPTY_PROPERTY_LIST`
`static List<State>`	`EMPTY_STATE_LIST`
`static List<TemplateParameter>`	`EMPTY_TEMPLATE_PARAMETER_LIST`
`static List<Type>`	`EMPTY_TYPE_LIST`
`static TracingOption`	`INSTALL_MODEL`
`static WeakHashMap<PivotMetamodelManager,Object>`	`liveMetamodelManagers` Leak debugging aid.

Constructor Summary

Constructors
Constructor and Description
`PivotMetamodelManager(EnvironmentFactoryInternal environmentFactory, ResourceSet asResourceSet)` Construct a MetamodelManager that will use environmentFactory to create its artefacts such as an asResourceSet to contain pivot copies of meta-models.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods Deprecated Methods
Modifier and Type	Method and Description
`void`	`addClassLoader(ClassLoader classLoader)`
`void`	`addExternal2AS(External2AS es2as)`
`void`	`addGenModel(GenModel genModel)`
`void`	`addGenPackage(GenPackage genPackage)`
`Namespace`	`addGlobalNamespace(String name, Namespace namespace)`
`boolean`	`addGlobalTypes(Collection<Type> types)`
`void`	`addLockedElement(Object lockedElement)`
`void`	`assignLibraryIds(AS2XMIid as2xmIid, Map<String,Object> options)` Deprecated.
`int`	`compareOperationMatches(Operation reference, TemplateParameterSubstitutions referenceBindings, Operation candidate, TemplateParameterSubstitutions candidateBindings)` Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or zero if both matches are of equal validity.
`boolean`	`conformsTo(Type firstType, TemplateParameterSubstitutions firstSubstitutions, Type secondType, TemplateParameterSubstitutions secondSubstitutions)`
`BooleanLiteralExp`	`createBooleanLiteralExp(boolean booleanSymbol)`
`IfExp`	`createIfExp(OCLExpression asCondition, OCLExpression asThen, OCLExpression asElse)`
`IfExp`	`createIfExp(OperationCallExp asCondition, OCLExpression asThen, OCLExpression asElse)`
`IntegerLiteralExp`	`createIntegerLiteralExp(Number integerSymbol)`
`InvalidLiteralExp`	`createInvalidExpression()`
`NullLiteralExp`	`createNullLiteralExp()`
`Orphanage`	`createOrphanage()`
`ParserContext`	`createParserContext(Element element, Object... todoParameters)` Deprecated. not used - use AbstractEnvironmentFactory.createParserContext()
`RealLiteralExp`	`createRealLiteralExp(Number realSymbol)`
`StringLiteralExp`	`createStringLiteralExp(String stringSymbol)`
`UnlimitedNaturalLiteralExp`	`createUnlimitedNaturalLiteralExp(Number unlimitedNaturalSymbol)`
`WildcardType`	`createWildcardType(Class lowerBound, Class upperBound)`
`void`	`dispose()`
`static PivotMetamodelManager`	`findAdapter(ResourceSet asResourceSet)` Return the non-null MetamodelManager for which resourceSet is an AS ResourceSet, or null if not an AS ResourceSet.
`static PivotMetamodelManager`	`getAdapter(ResourceSet asResourceSet)` Return the non-null MetamodelManager for the asResourceSet.
`Iterable<CompletePackageInternal>`	`getAllCompletePackages()`
`Iterable<Constraint>`	`getAllInvariants(Type pivotType)` Return all constraints applicable to a type and its superclasses.
`Iterable<Operation>`	`getAllOperations(Type type, FeatureFilter featureFilter)`
`Iterable<Operation>`	`getAllOperations(Type type, FeatureFilter featureFilter, String name)`
`Iterable<? extends Property>`	`getAllProperties(Property pivotProperty)`
`Iterable<? extends Property>`	`getAllProperties(Type type, FeatureFilter featureFilter)`
`Iterable<? extends Property>`	`getAllProperties(Type type, FeatureFilter featureFilter, String name)`
`Iterable<CompleteClass>`	`getAllSuperCompleteClasses(Type type)`
`Iterable<Class>`	`getAllTypes(Class pivotType)` Deprecated.
`Iterable<Type>`	`getAllTypes(Type pivotType)` Deprecated.
`Class`	`getASClass(String className)` Return the pivot model class for className with the Pivot Model.
`Element`	`getASElement(URI uri)`
`Package`	`getASmetamodel()`
`<T extends Element> T`	`getASOf(Class<T> pivotClass, EObject eObject)` Deprecated.
`<T extends Element> T`	`getASOfEcore(Class<T> pivotClass, EObject eObject)`
`ResourceSet`	`getASResourceSet()`
`ExpressionInOCL`	`getBodyExpression(Operation operation)`
`CollectionType`	`getCollectionType(boolean isOrdered, boolean isUnique)`
`CollectionType`	`getCollectionType(boolean isOrdered, boolean isUnique, Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)`
`Class`	`getCollectionType(String collectionTypeName, Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)`
`Class`	`getCollectionType(String collectionTypeName, Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)` Deprecated. add isNullFree argument
`Type`	`getCommonType(Type leftType, TemplateParameterSubstitutions leftSubstitutions, Type rightType, TemplateParameterSubstitutions rightSubstitutions)`
`CompleteClassInternal`	`getCompleteClass(Type pivotType)`
`CompleteEnvironmentInternal`	`getCompleteEnvironment()`
`CompleteModelInternal`	`getCompleteModel()`
`CompletePackage`	`getCompletePackage(Package asPackage)`
`ExpressionInOCL`	`getDefaultExpression(Property property)`
`<T extends EObject> T`	`getEcoreOfPivot(Class<T> ecoreClass, Element element)`
`ElementExtension`	`getElementExtension(Element asStereotypedElement, Stereotype asStereotype)` Return an ElementExtension for asStereotype reusing any that already exist in asElementExtensions.
`EnvironmentFactoryInternal`	`getEnvironmentFactory()`
`Class`	`getEquivalentClass(Model thisModel, Class thatClass)` Return the equivalent class to thatClass in thisModel, where equivalent is the same class/package name hierarchy.
`External2AS`	`getES2AS(Resource esResource)`
`FinalAnalysis`	`getFinalAnalysis()`
`FlowAnalysis`	`getFlowAnalysis(OCLExpression oclExpression)`
`GenPackage`	`getGenPackage(String nsURI)`
`Set<Map.Entry<String,Namespace>>`	`getGlobalNamespaces()`
`Iterable<Type>`	`getGlobalTypes()`
`LibraryProperty`	`getImplementation(Element asNavigationExp, Object sourceValue, Property property)`
`LibraryFeature`	`getImplementation(Feature feature)`
`LibraryProperty`	`getImplementation(Object sourceValue, Property property)` Deprecated.
`LibraryFeature`	`getImplementation(Operation operation)`
`ImplementationManager`	`getImplementationManager()`
`Precedence`	`getInfixPrecedence(String operatorName)`
`CompleteInheritance`	`getInheritance(Class type)`
`List<Library>`	`getLibraries()`
`Resource`	`getLibraryResource()`
`Class`	`getLibraryType(String string, List<? extends Type> templateArguments)`
`<T extends Class> T`	`getLibraryType(T libraryType, List<? extends Type> templateArguments)`
`Iterable<Constraint>`	`getLocalInvariants(Class type)`
`EObject`	`getLockingObject()`
`Class`	`getMapType(String mapTypeName, Type keyType, Type valueType)`
`Iterable<Operation>`	`getMemberOperations(Class type, boolean selectStatic)`
`Iterable<? extends CompletePackage>`	`getMemberPackages(Package pkg)`
`Iterable<Property>`	`getMemberProperties(Class type, boolean selectStatic)`
`Class`	`getMetaclass(Type domainInstanceType)`
`Type`	`getOclType(String typeName)`
`Iterable<? extends Operation>`	`getOperationOverloads(Operation pivotOperation)`
`Iterable<Class>`	`getPartialClasses(Type pivotType)`
`Iterable<? extends Package>`	`getPartialPackages(Package pkg, boolean loadASmetamodelFirst)`
`Precedence`	`getPrefixPrecedence(String operatorName)`
`Class`	`getPrimaryClass(Class type)`
`<T extends EObject> T`	`getPrimaryElement(T element)`
`Operation`	`getPrimaryOperation(Operation pivotOperation)`
`Package`	`getPrimaryPackage(Package aPackage)` Lookup a primary sub-package.
`Package`	`getPrimaryPackage(String nsURI, String... subPackagePath)` Lookup a primary package by its URI and optionally a sub-package path.
`Property`	`getPrimaryProperty(Property pivotProperty)`
`Class`	`getPrimaryType(String nsURI, String path, String... extraPath)`
`Type`	`getPrimaryType(Type type)`
`ASResource`	`getResource(URI uri, String contentType)`
`StandardLibraryInternal`	`getStandardLibrary()`
`Iterable<CompleteClass>`	`getSuperCompleteClasses(Class pivotType)`
`Iterable<CompleteClass>`	`getSuperCompleteClasses(CompleteClass completeClass)`
`ResourceSet`	`getTarget()`
`void`	`installPropertyDeclaration(Property thisProperty)` Create an implicit opposite property if there is no explicit opposite.
`void`	`installResource(Resource asResource)`
`void`	`installRoot(Model pivotModel)`
`boolean`	`isAdapterForType(Object type)`
`boolean`	`isLibraryLoadInProgress()`
`boolean`	`isSuperClassOf(Class unspecializedFirstType, Class secondType)`
`boolean`	`isSuperCompleteClassOf(CompleteClass unspecializedFirstType, CompleteClass secondType)`
`boolean`	`isTypeServeable(Type type)`
`Resource`	`loadDefaultLibrary(String uri)` Load the Standard Library for a given uri.
`Element`	`loadResource(URI uri, String zzalias, ResourceSet resourceSet)`
`LibraryFeature`	`lookupImplementation(Operation dynamicOperation)`
`void`	`notifyChanged(Notification notification)`
`ExpressionInOCL`	`parseSpecification(LanguageExpression specification)` Deprecated. use EnvironmentFactoryInternalExtension.parseSpecification()
`void`	`removeExternalResource(External2AS external2as)`
`void`	`removeExternalResource(Resource esResource)`
`void`	`resetFinalAnalysis()`
`void`	`resetFlowAnalysis()`
`void`	`setASmetamodel(Package asPackage)`
`void`	`setAutoLoadASmetamodel(boolean autoLoadASmetamodel)`
`void`	`setLibraryLoadInProgress(boolean libraryLoadInProgress)`
`void`	`setMetamodelNsURI(String metaNsURI)`
`void`	`setTarget(Notifier newTarget)`
`Type`	`specializeType(Type type, CallExp callExp, Type selfType, Type selfTypeValue)` Return the specialized form of type analyzing expr to determine the formal to actual parameter mappings using selfType as the value of OclSelf.
`void`	`unsetTarget(Notifier oldTarget)`

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

Field Detail

INSTALL_MODEL

public static final TracingOption INSTALL_MODEL

Since:: 1.3

EMPTY_CONSTRAINT_LIST

public static final List<Constraint> EMPTY_CONSTRAINT_LIST

EMPTY_ELEMENT_LIST

public static final List<Element> EMPTY_ELEMENT_LIST

EMPTY_OPERATION_LIST

public static final List<Operation> EMPTY_OPERATION_LIST

EMPTY_PROPERTY_LIST

public static final List<Property> EMPTY_PROPERTY_LIST

EMPTY_STATE_LIST

public static final List<State> EMPTY_STATE_LIST

EMPTY_TEMPLATE_PARAMETER_LIST

public static final List<TemplateParameter> EMPTY_TEMPLATE_PARAMETER_LIST

EMPTY_TYPE_LIST

public static final List<Type> EMPTY_TYPE_LIST

liveMetamodelManagers
```
public static WeakHashMap<PivotMetamodelManager,Object> liveMetamodelManagers
```
Leak debugging aid. Set non-null to diagnose MetamodelManager construction and finalization.

Constructor Detail
- PivotMetamodelManager
```
public PivotMetamodelManager(EnvironmentFactoryInternal environmentFactory,
                             ResourceSet asResourceSet)
```
  Construct a MetamodelManager that will use environmentFactory to create its artefacts such as an asResourceSet to contain pivot copies of meta-models.

Method Detail

findAdapter
```
public static PivotMetamodelManager findAdapter(ResourceSet asResourceSet)
```
Return the non-null MetamodelManager for which resourceSet is an AS ResourceSet, or null if not an AS ResourceSet.

getAdapter

public static PivotMetamodelManager getAdapter(ResourceSet asResourceSet)

Return the non-null MetamodelManager for the asResourceSet.

addClassLoader
```
public void addClassLoader(ClassLoader classLoader)
```
Specified by:

addClassLoader in interface MetamodelManagerInternal

addExternal2AS
```
public void addExternal2AS(External2AS es2as)
```
Specified by:

addExternal2AS in interface MetamodelManagerInternal

addGenModel
```
public void addGenModel(GenModel genModel)
```
Specified by:

addGenModel in interface MetamodelManagerInternal

addGenPackage

public void addGenPackage(GenPackage genPackage)

addGlobalNamespace

public Namespace addGlobalNamespace(String name,
                                    Namespace namespace)

Specified by:: addGlobalNamespace in interface MetamodelManagerInternal

addGlobalTypes

public boolean addGlobalTypes(Collection<Type> types)

addLockedElement
```
public void addLockedElement(Object lockedElement)
```
Specified by:

addLockedElement in interface MetamodelManagerInternal

assignLibraryIds

@Deprecated
public void assignLibraryIds(AS2XMIid as2xmIid,
                                         Map<String,Object> options)

Deprecated.

Assign xmi:id values to referenceable elements in the libraries.

compareOperationMatches

public int compareOperationMatches(Operation reference,
                                   TemplateParameterSubstitutions referenceBindings,
                                   Operation candidate,
                                   TemplateParameterSubstitutions candidateBindings)

Return -ve if match1 is inferior to match2, +ve if match2 is inferior to match1, or zero if both matches are of equal validity.

conformsTo

public boolean conformsTo(Type firstType,
                          TemplateParameterSubstitutions firstSubstitutions,
                          Type secondType,
                          TemplateParameterSubstitutions secondSubstitutions)

Specified by:: conformsTo in interface MetamodelManagerInternal

createBooleanLiteralExp

public BooleanLiteralExp createBooleanLiteralExp(boolean booleanSymbol)

createIfExp

public IfExp createIfExp(OperationCallExp asCondition,
                         OCLExpression asThen,
                         OCLExpression asElse)

createIfExp

public IfExp createIfExp(OCLExpression asCondition,
                         OCLExpression asThen,
                         OCLExpression asElse)

Since:: 1.1

createIntegerLiteralExp

public IntegerLiteralExp createIntegerLiteralExp(Number integerSymbol)

createInvalidExpression

public InvalidLiteralExp createInvalidExpression()

createNullLiteralExp

public NullLiteralExp createNullLiteralExp()

createOrphanage
```
public Orphanage createOrphanage()
```

createParserContext
```
@Deprecated
public ParserContext createParserContext(Element element,
                                                     Object... todoParameters)
```
Deprecated. not used - use AbstractEnvironmentFactory.createParserContext()

Return a parserContext suitable for parsing OCL expressions in the context of a pivot element.

Specified by:

createParserContext in interface MetamodelManagerInternal

createRealLiteralExp

public RealLiteralExp createRealLiteralExp(Number realSymbol)

createStringLiteralExp

public StringLiteralExp createStringLiteralExp(String stringSymbol)

createUnlimitedNaturalLiteralExp

public UnlimitedNaturalLiteralExp createUnlimitedNaturalLiteralExp(Number unlimitedNaturalSymbol)

createWildcardType

public WildcardType createWildcardType(Class lowerBound,
                                       Class upperBound)

dispose
```
public void dispose()
```

getASClass
```
public Class getASClass(String className)
```
Return the pivot model class for className with the Pivot Model.

Specified by:

getASClass in interface MetamodelManager

getASElement
```
public Element getASElement(URI uri)
```

getASOf

@Deprecated
public <T extends Element> T getASOf(Class<T> pivotClass,
                                                 EObject eObject)
                                          throws ParserException

Deprecated.

Specified by:: getASOf in interface MetamodelManager
Throws:: ParserException

getASOfEcore

public <T extends Element> T getASOfEcore(Class<T> pivotClass,
                                          EObject eObject)

Specified by:: getASOfEcore in interface MetamodelManager

getASmetamodel
```
public Package getASmetamodel()
```
Specified by:

getASmetamodel in interface MetamodelManagerInternal

getASResourceSet
```
public ResourceSet getASResourceSet()
```
Specified by:

getASResourceSet in interface MetamodelManager

getAllCompletePackages

public Iterable<CompletePackageInternal> getAllCompletePackages()

getAllInvariants
```
public Iterable<Constraint> getAllInvariants(Type pivotType)
```
Return all constraints applicable to a type and its superclasses.

Specified by:

getAllInvariants in interface MetamodelManagerInternal

getAllOperations

public Iterable<Operation> getAllOperations(Type type,
                                            FeatureFilter featureFilter)

getAllOperations

public Iterable<Operation> getAllOperations(Type type,
                                            FeatureFilter featureFilter,
                                            String name)

getAllProperties

public Iterable<? extends Property> getAllProperties(Type type,
                                                     FeatureFilter featureFilter)

getAllProperties

public Iterable<? extends Property> getAllProperties(Type type,
                                                     FeatureFilter featureFilter,
                                                     String name)

getAllProperties

public Iterable<? extends Property> getAllProperties(Property pivotProperty)

getAllSuperCompleteClasses

public Iterable<CompleteClass> getAllSuperCompleteClasses(Type type)

getAllTypes

@Deprecated
public Iterable<Class> getAllTypes(Class pivotType)

Deprecated.

getAllTypes

@Deprecated
public Iterable<Type> getAllTypes(Type pivotType)

Deprecated.

getBodyExpression

public ExpressionInOCL getBodyExpression(Operation operation)

getCollectionType

public CollectionType getCollectionType(boolean isOrdered,
                                        boolean isUnique)

getCollectionType

public CollectionType getCollectionType(boolean isOrdered,
                                        boolean isUnique,
                                        Type elementType,
                                        boolean isNullFree,
                                        IntegerValue lower,
                                        UnlimitedNaturalValue upper)

getCollectionType

@Deprecated
public Class getCollectionType(String collectionTypeName,
                                           Type elementType,
                                           IntegerValue lower,
                                           UnlimitedNaturalValue upper)

Deprecated. add isNullFree argument

getCollectionType

public Class getCollectionType(String collectionTypeName,
                               Type elementType,
                               boolean isNullFree,
                               IntegerValue lower,
                               UnlimitedNaturalValue upper)

Specified by:: getCollectionType in interface MetamodelManagerInternal

getCommonType

public Type getCommonType(Type leftType,
                          TemplateParameterSubstitutions leftSubstitutions,
                          Type rightType,
                          TemplateParameterSubstitutions rightSubstitutions)

getCompleteClass
```
public CompleteClassInternal getCompleteClass(Type pivotType)
```
Specified by:

getCompleteClass in interface MetamodelManagerInternal

getCompleteEnvironment

public CompleteEnvironmentInternal getCompleteEnvironment()

getCompleteModel
```
public CompleteModelInternal getCompleteModel()
```
Specified by:

getCompleteModel in interface MetamodelManagerInternal

Specified by:

getCompleteModel in interface MetamodelManager

getCompletePackage
```
public CompletePackage getCompletePackage(Package asPackage)
```
Specified by:

getCompletePackage in interface MetamodelManagerInternal

getDefaultExpression

public ExpressionInOCL getDefaultExpression(Property property)

getEcoreOfPivot

public <T extends EObject> T getEcoreOfPivot(Class<T> ecoreClass,
                                             Element element)

Specified by:: getEcoreOfPivot in interface MetamodelManager

getElementExtension

public ElementExtension getElementExtension(Element asStereotypedElement,
                                            Stereotype asStereotype)

Return an ElementExtension for asStereotype reusing any that already exist in asElementExtensions.

getEnvironmentFactory
```
public EnvironmentFactoryInternal getEnvironmentFactory()
```
Specified by:

getEnvironmentFactory in interface MetamodelManagerInternal

Specified by:

getEnvironmentFactory in interface MetamodelManager

getEquivalentClass
```
public Class getEquivalentClass(Model thisModel,
                                Class thatClass)
```
Return the equivalent class to thatClass in thisModel, where equivalent is the same class/package name hierarchy. This is typically used to create a merge contribution for thatClass in thisModel avoiding the need to modify thatClass.

getES2AS

public External2AS getES2AS(Resource esResource)

getFinalAnalysis
```
public FinalAnalysis getFinalAnalysis()
```
Specified by:

getFinalAnalysis in interface MetamodelManagerInternal.MetamodelManagerInternalExtension2

getFlowAnalysis
```
public FlowAnalysis getFlowAnalysis(OCLExpression oclExpression)
```
Specified by:

getFlowAnalysis in interface MetamodelManagerInternal.MetamodelManagerInternalExtension2

Since:

1.3

getGenPackage
```
public GenPackage getGenPackage(String nsURI)
```
Specified by:

getGenPackage in interface MetamodelManagerInternal

getGlobalNamespaces

public Set<Map.Entry<String,Namespace>> getGlobalNamespaces()

getGlobalTypes

public Iterable<Type> getGlobalTypes()

getImplementation

public LibraryFeature getImplementation(Feature feature)
                                 throws ClassNotFoundException,
                                        SecurityException,
                                        NoSuchFieldException,
                                        IllegalArgumentException,
                                        IllegalAccessException

Throws:: ClassNotFoundException; SecurityException; NoSuchFieldException; IllegalArgumentException; IllegalAccessException

getImplementation

public LibraryFeature getImplementation(Operation operation)

getImplementation

@Deprecated
public LibraryProperty getImplementation(Object sourceValue,
                                                     Property property)

Deprecated.

getImplementation

public LibraryProperty getImplementation(Element asNavigationExp,
                                         Object sourceValue,
                                         Property property)

Specified by:: getImplementation in interface MetamodelManagerInternal.MetamodelManagerInternalExtension

getImplementationManager

public ImplementationManager getImplementationManager()

getInfixPrecedence

public Precedence getInfixPrecedence(String operatorName)

getInheritance

public CompleteInheritance getInheritance(Class type)

getLibraries
```
public List<Library> getLibraries()
```

getLibraryResource
```
public Resource getLibraryResource()
```

getLibraryType

public Class getLibraryType(String string,
                            List<? extends Type> templateArguments)

getLibraryType

public <T extends Class> T getLibraryType(T libraryType,
                                          List<? extends Type> templateArguments)

getLocalInvariants

public Iterable<Constraint> getLocalInvariants(Class type)

getLockingObject
```
public EObject getLockingObject()
```

getMapType

public Class getMapType(String mapTypeName,
                        Type keyType,
                        Type valueType)

getMemberOperations

public Iterable<Operation> getMemberOperations(Class type,
                                               boolean selectStatic)

getMemberPackages

public Iterable<? extends CompletePackage> getMemberPackages(Package pkg)

getMemberProperties

public Iterable<Property> getMemberProperties(Class type,
                                              boolean selectStatic)

getMetaclass

public Class getMetaclass(Type domainInstanceType)

getOclType

public Type getOclType(String typeName)

getOperationOverloads

public Iterable<? extends Operation> getOperationOverloads(Operation pivotOperation)

getPartialPackages

public Iterable<? extends Package> getPartialPackages(Package pkg,
                                                      boolean loadASmetamodelFirst)

getPartialClasses

public Iterable<Class> getPartialClasses(Type pivotType)

getPrefixPrecedence

public Precedence getPrefixPrecedence(String operatorName)

getPrimaryElement

public <T extends EObject> T getPrimaryElement(T element)

getPrimaryOperation
```
public Operation getPrimaryOperation(Operation pivotOperation)
```
Specified by:

getPrimaryOperation in interface MetamodelManager

getPrimaryPackage

public Package getPrimaryPackage(String nsURI,
                                 String... subPackagePath)

Lookup a primary package by its URI and optionally a sub-package path.

getPrimaryPackage
```
public Package getPrimaryPackage(Package aPackage)
```
Lookup a primary sub-package. public @Nullable PackageServer getPrimaryPackage(org.eclipse.ocl.pivot.@NonNull Package parentPackage, @NonNull String subPackageName) { PackageTracker packageTracker = packageManager.findPackageTracker(parentPackage); if (packageTracker != null) { return packageTracker.getPackageServer().getMemberPackage(subPackageName); } else { return PivotUtil.getNamedElement(parentPackage.getNestedPackage(), subPackageName); } }

Specified by:

getPrimaryPackage in interface MetamodelManager

getPrimaryProperty
```
public Property getPrimaryProperty(Property pivotProperty)
```
Specified by:

getPrimaryProperty in interface MetamodelManager

getPrimaryClass
```
public Class getPrimaryClass(Class type)
```
Specified by:

getPrimaryClass in interface MetamodelManager

getPrimaryType

public Type getPrimaryType(Type type)

getPrimaryType

public Class getPrimaryType(String nsURI,
                            String path,
                            String... extraPath)

Specified by:: getPrimaryType in interface MetamodelManagerInternal

getResource

public ASResource getResource(URI uri,
                              String contentType)

getStandardLibrary
```
public StandardLibraryInternal getStandardLibrary()
```
Specified by:

getStandardLibrary in interface MetamodelManagerInternal

Specified by:

getStandardLibrary in interface MetamodelManager

getSuperCompleteClasses

public Iterable<CompleteClass> getSuperCompleteClasses(Class pivotType)

getSuperCompleteClasses

public Iterable<CompleteClass> getSuperCompleteClasses(CompleteClass completeClass)

getTarget
```
public ResourceSet getTarget()
```

installPropertyDeclaration
```
public void installPropertyDeclaration(Property thisProperty)
```
Create an implicit opposite property if there is no explicit opposite.

installResource

public void installResource(Resource asResource)

installRoot
```
public void installRoot(Model pivotModel)
```
Specified by:

installRoot in interface MetamodelManagerInternal

isAdapterForType

public boolean isAdapterForType(Object type)

isLibraryLoadInProgress

public boolean isLibraryLoadInProgress()

isSuperClassOf

public boolean isSuperClassOf(Class unspecializedFirstType,
                              Class secondType)

isSuperCompleteClassOf

public boolean isSuperCompleteClassOf(CompleteClass unspecializedFirstType,
                                      CompleteClass secondType)

isTypeServeable

public boolean isTypeServeable(Type type)

loadDefaultLibrary
```
public Resource loadDefaultLibrary(String uri)
```
Load the Standard Library for a given uri. If the uri corresponds to a registered library, that library is installed, otherwise the already loaded asLibraries are examined and the first library with a matching URI is used. Return the resource of the library, and merges all types of all libraries into the overall stnadard library.

loadResource

public Element loadResource(URI uri,
                            String zzalias,
                            ResourceSet resourceSet)
                     throws ParserException

Specified by:: loadResource in interface MetamodelManagerInternal
Throws:: ParserException

lookupImplementation

public LibraryFeature lookupImplementation(Operation dynamicOperation)
                                    throws SecurityException,
                                           IllegalArgumentException,
                                           ClassNotFoundException,
                                           NoSuchFieldException,
                                           IllegalAccessException

Throws:: SecurityException; IllegalArgumentException; ClassNotFoundException; NoSuchFieldException; IllegalAccessException

notifyChanged

public void notifyChanged(Notification notification)

parseSpecification
```
@Deprecated
public ExpressionInOCL parseSpecification(LanguageExpression specification)
                                               throws ParserException
```
Deprecated. use EnvironmentFactoryInternalExtension.parseSpecification()

Return the compiled query for a specification resolving a String body into a non-null bodyExpression. Throws a ParserException if conversion fails.

Specified by:

parseSpecification in interface MetamodelManager

Throws:

ParserException - if text parsing fails

removeExternalResource

public void removeExternalResource(External2AS external2as)

removeExternalResource

public void removeExternalResource(Resource esResource)

resetFinalAnalysis
```
public void resetFinalAnalysis()
```
Specified by:

resetFinalAnalysis in interface MetamodelManagerInternal.MetamodelManagerInternalExtension2

Since:

1.3

resetFlowAnalysis
```
public void resetFlowAnalysis()
```
Specified by:

resetFlowAnalysis in interface MetamodelManagerInternal.MetamodelManagerInternalExtension2

Since:

1.3

setASmetamodel

public void setASmetamodel(Package asPackage)

setAutoLoadASmetamodel

public void setAutoLoadASmetamodel(boolean autoLoadASmetamodel)

setLibraryLoadInProgress

public void setLibraryLoadInProgress(boolean libraryLoadInProgress)

setMetamodelNsURI

public void setMetamodelNsURI(String metaNsURI)

setTarget

public void setTarget(Notifier newTarget)

specializeType

public Type specializeType(Type type,
                           CallExp callExp,
                           Type selfType,
                           Type selfTypeValue)

Return the specialized form of type analyzing expr to determine the formal to actual parameter mappings using selfType as the value of OclSelf.

unsetTarget

public void unsetTarget(Notifier oldTarget)

Class PivotMetamodelManager

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.internal.manager.MetamodelManagerInternal

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

INSTALL_MODEL

EMPTY_CONSTRAINT_LIST

EMPTY_ELEMENT_LIST

EMPTY_OPERATION_LIST

EMPTY_PROPERTY_LIST

EMPTY_STATE_LIST

EMPTY_TEMPLATE_PARAMETER_LIST

EMPTY_TYPE_LIST

liveMetamodelManagers

Constructor Detail

PivotMetamodelManager

Method Detail

findAdapter

getAdapter

addClassLoader

addExternal2AS

addGenModel

addGenPackage

addGlobalNamespace

addGlobalTypes

addLockedElement

assignLibraryIds

compareOperationMatches

conformsTo

createBooleanLiteralExp

createIfExp

createIfExp

createIntegerLiteralExp

createInvalidExpression

createNullLiteralExp

createOrphanage

createParserContext

createRealLiteralExp

createStringLiteralExp

createUnlimitedNaturalLiteralExp

createWildcardType

dispose

getASClass

getASElement

getASOf

getASOfEcore

getASmetamodel

getASResourceSet

getAllCompletePackages

getAllInvariants

getAllOperations

getAllOperations

getAllProperties

getAllProperties

getAllProperties

getAllSuperCompleteClasses

getAllTypes

getAllTypes

getBodyExpression

getCollectionType

getCollectionType

getCollectionType

getCollectionType

getCommonType

getCompleteClass

getCompleteEnvironment

getCompleteModel

getCompletePackage

getDefaultExpression

getEcoreOfPivot

getElementExtension

getEnvironmentFactory

getEquivalentClass

getES2AS

getFinalAnalysis

getFlowAnalysis

getGenPackage