org.eclipse.ocl.pivot.internal.manager

Class PivotMetamodelManager

java.lang.Object

org.eclipse.ocl.pivot.internal.manager.PivotMetamodelManager

All Implemented Interfaces:

org.eclipse.emf.common.notify.Adapter, org.eclipse.emf.common.notify.Adapter.Internal, MetamodelManagerInternal, MetamodelManagerInternal.MetamodelManagerInternalExtension, MetamodelManager

public class PivotMetamodelManager
extends java.lang.Object
implements MetamodelManagerInternal.MetamodelManagerInternalExtension, org.eclipse.emf.common.notify.Adapter.Internal

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

Nested classes/interfaces inherited from interface org.eclipse.emf.common.notify.Adapter

org.eclipse.emf.common.notify.Adapter.Internal

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<Library>	asLibraries All Library packages imported into the current type managed domain.
protected org.eclipse.emf.ecore.resource.Resource	asLibraryResource The resource of the Standard Library defined by loadDefaultLibrary.
protected Package	asMetamodel
protected org.eclipse.emf.ecore.resource.ResourceSet	asResourceSet
static java.util.List<Constraint>	EMPTY_CONSTRAINT_LIST
static java.util.List<Element>	EMPTY_ELEMENT_LIST
static java.util.List<Operation>	EMPTY_OPERATION_LIST
static java.util.List<Property>	EMPTY_PROPERTY_LIST
static java.util.List<State>	EMPTY_STATE_LIST
static java.util.List<TemplateParameter>	EMPTY_TEMPLATE_PARAMETER_LIST
static java.util.List<Type>	EMPTY_TYPE_LIST
protected EnvironmentFactoryInternal	environmentFactory
static java.util.WeakHashMap<PivotMetamodelManager,java.lang.Object>	liveMetamodelManagers Leak debugging aid.

Constructor Summary

Constructors

Constructor and Description
PivotMetamodelManager(EnvironmentFactoryInternal environmentFactory, org.eclipse.emf.ecore.resource.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

Modifier and Type	Method and Description
void	addClassLoader(java.lang.ClassLoader classLoader)
void	addExternal2AS(External2AS es2as)
void	addGenModel(org.eclipse.emf.codegen.ecore.genmodel.GenModel genModel)
void	addGenPackage(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage)
Namespace	addGlobalNamespace(java.lang.String name, Namespace namespace)
boolean	addGlobalTypes(java.util.Collection<Type> types)
void	addLockedElement(java.lang.Object lockedElement)
void	assignLibraryIds(AS2XMIid as2xmIid, java.util.Map<?,?> options) Assign xmi:id values to referenceable elements in the libraries.
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(java.lang.Number integerSymbol)
InvalidLiteralExp	createInvalidExpression()
NullLiteralExp	createNullLiteralExp()
Orphanage	createOrphanage()
ParserContext	createParserContext(Element element, java.lang.Object... todoParameters) Return a parserContext suitable for parsing OCL expressions in the context of a pivot element.
protected PrecedenceManager	createPrecedenceManager()
RealLiteralExp	createRealLiteralExp(java.lang.Number realSymbol)
StringLiteralExp	createStringLiteralExp(java.lang.String stringSymbol)
UnlimitedNaturalLiteralExp	createUnlimitedNaturalLiteralExp(java.lang.Number unlimitedNaturalSymbol)
WildcardType	createWildcardType(Class lowerBound, Class upperBound)
void	dispose()
protected void	finalize()
static PivotMetamodelManager	findAdapter(org.eclipse.emf.ecore.resource.ResourceSet asResourceSet) Return the non-null MetamodelManager for which resourceSet is an AS ResourceSet, or null if not an AS ResourceSet.
static PivotMetamodelManager	getAdapter(org.eclipse.emf.ecore.resource.ResourceSet asResourceSet) Return the non-null MetamodelManager for the asResourceSet.
java.lang.Iterable<CompletePackageInternal>	getAllCompletePackages()
java.lang.Iterable<Constraint>	getAllInvariants(Type pivotType) Return all constraints applicable to a type and its superclasses.
java.lang.Iterable<Operation>	getAllOperations(Type type, FeatureFilter featureFilter)
java.lang.Iterable<Operation>	getAllOperations(Type type, FeatureFilter featureFilter, java.lang.String name)
java.lang.Iterable<? extends Property>	getAllProperties(Property pivotProperty)
java.lang.Iterable<? extends Property>	getAllProperties(Type type, FeatureFilter featureFilter)
java.lang.Iterable<? extends Property>	getAllProperties(Type type, FeatureFilter featureFilter, java.lang.String name)
java.lang.Iterable<CompleteClass>	getAllSuperCompleteClasses(Type type)
java.lang.Iterable<Class>	getAllTypes(Class pivotType) Deprecated.
java.lang.Iterable<Type>	getAllTypes(Type pivotType) Deprecated.
Class	getASClass(java.lang.String className) Return the pivot model class for className with the Pivot Model.
Element	getASElement(org.eclipse.emf.common.util.URI uri)
Package	getASmetamodel()
<T extends Element> T	getASOf(java.lang.Class<T> pivotClass, org.eclipse.emf.ecore.EObject eObject)
<T extends Element> T	getASOfEcore(java.lang.Class<T> pivotClass, org.eclipse.emf.ecore.EObject eObject)
org.eclipse.emf.ecore.resource.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(java.lang.String collectionTypeName, Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)
Class	getCollectionType(java.lang.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 org.eclipse.emf.ecore.EObject> T	getEcoreOfPivot(java.lang.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(org.eclipse.emf.ecore.resource.Resource esResource)
FinalAnalysis	getFinalAnalysis()
org.eclipse.emf.codegen.ecore.genmodel.GenPackage	getGenPackage(java.lang.String nsURI)
java.util.Set<java.util.Map.Entry<java.lang.String,Namespace>>	getGlobalNamespaces()
java.lang.Iterable<Type>	getGlobalTypes()
LibraryProperty	getImplementation(Element asNavigationExp, java.lang.Object sourceValue, Property property)
LibraryFeature	getImplementation(Feature feature)
LibraryProperty	getImplementation(java.lang.Object sourceValue, Property property) Deprecated.
LibraryFeature	getImplementation(Operation operation)
ImplementationManager	getImplementationManager()
Precedence	getInfixPrecedence(java.lang.String operatorName)
CompleteInheritance	getInheritance(Class type)
java.util.List<Library>	getLibraries()
org.eclipse.emf.ecore.resource.Resource	getLibraryResource()
Class	getLibraryType(java.lang.String string, java.util.List<? extends Type> templateArguments)
<T extends Class> T	getLibraryType(T libraryType, java.util.List<? extends Type> templateArguments)
java.lang.Iterable<Constraint>	getLocalInvariants(Class type)
org.eclipse.emf.ecore.EObject	getLockingObject()
Class	getMapType(java.lang.String mapTypeName, Type keyType, Type valueType)
java.lang.Iterable<Operation>	getMemberOperations(Class type, boolean selectStatic)
java.lang.Iterable<? extends CompletePackage>	getMemberPackages(Package pkg)
java.lang.Iterable<Property>	getMemberProperties(Class type, boolean selectStatic)
Class	getMetaclass(Type domainInstanceType)
Type	getOclType(java.lang.String typeName)
java.lang.Iterable<? extends Operation>	getOperationOverloads(Operation pivotOperation)
java.lang.Iterable<Class>	getPartialClasses(Type pivotType)
java.lang.Iterable<? extends Package>	getPartialPackages(Package pkg, boolean loadASmetamodelFirst)
protected PrecedenceManager	getPrecedenceManager()
Precedence	getPrefixPrecedence(java.lang.String operatorName)
Class	getPrimaryClass(Class type)
<T extends org.eclipse.emf.ecore.EObject> T	getPrimaryElement(T element)
Operation	getPrimaryOperation(Operation pivotOperation)
Package	getPrimaryPackage(Package aPackage) Lookup a primary sub-package.
Package	getPrimaryPackage(java.lang.String nsURI, java.lang.String... subPackagePath) Lookup a primary package by its URI and optionally a sub-package path.
Property	getPrimaryProperty(Property pivotProperty)
Class	getPrimaryType(java.lang.String nsURI, java.lang.String path, java.lang.String... extraPath)
Type	getPrimaryType(Type type)
ASResource	getResource(org.eclipse.emf.common.util.URI uri, java.lang.String contentType)
StandardLibraryInternal	getStandardLibrary()
java.lang.Iterable<CompleteClass>	getSuperCompleteClasses(Class pivotType)
java.lang.Iterable<CompleteClass>	getSuperCompleteClasses(CompleteClass completeClass)
org.eclipse.emf.ecore.resource.ResourceSet	getTarget()
protected void	installLibraryContents(Library asLibrary) Merge all types in asLibrary into the overall Standard Library.
void	installPropertyDeclaration(Property thisProperty) Create implicit an opposite property if there is no explicit opposite.
void	installResource(org.eclipse.emf.ecore.resource.Resource asResource)
void	installRoot(Model pivotModel)
boolean	isAdapterForType(java.lang.Object type)
boolean	isLibraryLoadInProgress()
boolean	isSuperClassOf(Class unspecializedFirstType, Class secondType)
boolean	isSuperCompleteClassOf(CompleteClass unspecializedFirstType, CompleteClass secondType)
boolean	isTypeServeable(Type type)
protected boolean	isUnspecialized(java.util.List<TemplateParameter> templateParameters, java.util.List<? extends Type> templateArguments)
protected void	loadASmetamodel(Package asLibrary) Load the Pivot Metamodel of the Pivot Model to accompany a given asLibrary.
org.eclipse.emf.ecore.resource.Resource	loadDefaultLibrary(java.lang.String uri) Load the Standard Library for a given uri.
Element	loadResource(org.eclipse.emf.common.util.URI uri, java.lang.String zzalias, org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
LibraryFeature	lookupImplementation(Operation dynamicOperation)
void	notifyChanged(org.eclipse.emf.common.notify.Notification notification)
ExpressionInOCL	parseSpecification(LanguageExpression specification) Return the compiled query for a specification resolving a String body into a non-null bodyExpression.
void	removeExternalResource(External2AS external2as)
void	removeExternalResource(org.eclipse.emf.ecore.resource.Resource esResource)
void	setASmetamodel(Package asPackage)
void	setAutoLoadASmetamodel(boolean autoLoadASmetamodel)
void	setLibraryLoadInProgress(boolean libraryLoadInProgress)
void	setMetamodelNsURI(java.lang.String metaNsURI)
void	setTarget(org.eclipse.emf.common.notify.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(org.eclipse.emf.common.notify.Notifier oldTarget)

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EMPTY_CONSTRAINT_LIST

@NonNull
public static final java.util.List<Constraint> EMPTY_CONSTRAINT_LIST

EMPTY_ELEMENT_LIST

@NonNull
public static final java.util.List<Element> EMPTY_ELEMENT_LIST

EMPTY_OPERATION_LIST

@NonNull
public static final java.util.List<Operation> EMPTY_OPERATION_LIST

EMPTY_PROPERTY_LIST

@NonNull
public static final java.util.List<Property> EMPTY_PROPERTY_LIST

EMPTY_STATE_LIST

@NonNull
public static final java.util.List<State> EMPTY_STATE_LIST

EMPTY_TEMPLATE_PARAMETER_LIST

@NonNull
public static final java.util.List<TemplateParameter> EMPTY_TEMPLATE_PARAMETER_LIST

EMPTY_TYPE_LIST

@NonNull
public static final java.util.List<Type> EMPTY_TYPE_LIST

liveMetamodelManagers

public static java.util.WeakHashMap<PivotMetamodelManager,java.lang.Object> liveMetamodelManagers

Leak debugging aid. Set non-null to diagnose MetamodelManager construction and finalization.

environmentFactory

@NonNull
protected final EnvironmentFactoryInternal environmentFactory

asMetamodel

protected Package asMetamodel

asResourceSet

@NonNull
protected final org.eclipse.emf.ecore.resource.ResourceSet asResourceSet

asLibraries

@NonNull
protected final java.util.List<Library> asLibraries

All Library packages imported into the current type managed domain.

asLibraryResource

@Nullable
protected org.eclipse.emf.ecore.resource.Resource asLibraryResource

The resource of the Standard Library defined by loadDefaultLibrary. If the URI corresponds to a registered library, the registered library is loaded, else the first library in asLibraries with a matching URI is installed. Once asLibraryResource is determined all types libraries in asLibraries and all future asLibraries are automatically merged into the Standard LIbrary.

Constructor Detail

PivotMetamodelManager

public PivotMetamodelManager(@NonNull
                             EnvironmentFactoryInternal environmentFactory,
                             @NonNull
                             org.eclipse.emf.ecore.resource.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

@Nullable
public static PivotMetamodelManager findAdapter(@NonNull
                                                           org.eclipse.emf.ecore.resource.ResourceSet asResourceSet)

Return the non-null MetamodelManager for which resourceSet is an AS ResourceSet, or null if not an AS ResourceSet.

getAdapter

@NonNull
public static PivotMetamodelManager getAdapter(@NonNull
                                                         org.eclipse.emf.ecore.resource.ResourceSet asResourceSet)

Return the non-null MetamodelManager for the asResourceSet.

addClassLoader

public void addClassLoader(@NonNull
                           java.lang.ClassLoader classLoader)

Specified by:

addClassLoader in interface MetamodelManagerInternal

addExternal2AS

public void addExternal2AS(@NonNull
                           External2AS es2as)

Specified by:

addExternal2AS in interface MetamodelManagerInternal

addGenModel

public void addGenModel(@NonNull
                        org.eclipse.emf.codegen.ecore.genmodel.GenModel genModel)

Specified by:

addGenModel in interface MetamodelManagerInternal

addGenPackage

public void addGenPackage(@NonNull
                          org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage)

addGlobalNamespace

@Nullable
public Namespace addGlobalNamespace(@NonNull
                                               java.lang.String name,
                                               @NonNull
                                               Namespace namespace)

Specified by:

addGlobalNamespace in interface MetamodelManagerInternal

addGlobalTypes

public boolean addGlobalTypes(@NonNull
                              java.util.Collection<Type> types)

addLockedElement

public void addLockedElement(@NonNull
                             java.lang.Object lockedElement)

Specified by:

addLockedElement in interface MetamodelManagerInternal

assignLibraryIds

public void assignLibraryIds(@NonNull
                             AS2XMIid as2xmIid,
                             @Nullable
                             java.util.Map<?,?> options)

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

compareOperationMatches

public int compareOperationMatches(@NonNull
                                   Operation reference,
                                   @NonNull
                                   TemplateParameterSubstitutions referenceBindings,
                                   @NonNull
                                   Operation candidate,
                                   @NonNull
                                   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(@NonNull
                          Type firstType,
                          @NonNull
                          TemplateParameterSubstitutions firstSubstitutions,
                          @NonNull
                          Type secondType,
                          @NonNull
                          TemplateParameterSubstitutions secondSubstitutions)

Specified by:

conformsTo in interface MetamodelManagerInternal

createBooleanLiteralExp

@NonNull
public BooleanLiteralExp createBooleanLiteralExp(boolean booleanSymbol)

createIfExp

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

createIfExp

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

Since:

1.1

createIntegerLiteralExp

@NonNull
public IntegerLiteralExp createIntegerLiteralExp(@NonNull
                                                           java.lang.Number integerSymbol)

createInvalidExpression

@NonNull
public InvalidLiteralExp createInvalidExpression()

createNullLiteralExp

@NonNull
public NullLiteralExp createNullLiteralExp()

createOrphanage

@NonNull
public Orphanage createOrphanage()

createParserContext

@Nullable
public ParserContext createParserContext(@NonNull
                                                    Element element,
                                                    java.lang.Object... todoParameters)

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

Specified by:

createParserContext in interface MetamodelManagerInternal

Throws:

ParserException - if eObject cannot be converted to a Pivot element

createPrecedenceManager

@NonNull
protected PrecedenceManager createPrecedenceManager()

createRealLiteralExp

@NonNull
public RealLiteralExp createRealLiteralExp(@NonNull
                                                     java.lang.Number realSymbol)

createStringLiteralExp

@NonNull
public StringLiteralExp createStringLiteralExp(@NonNull
                                                         java.lang.String stringSymbol)

createUnlimitedNaturalLiteralExp

@NonNull
public UnlimitedNaturalLiteralExp createUnlimitedNaturalLiteralExp(@NonNull
                                                                             java.lang.Number unlimitedNaturalSymbol)

createWildcardType

@NonNull
public WildcardType createWildcardType(Class lowerBound,
                                                 Class upperBound)

dispose

public void dispose()

finalize

protected void finalize()
                 throws java.lang.Throwable

Overrides:

finalize in class java.lang.Object

Throws:

java.lang.Throwable

getASClass

public Class getASClass(@NonNull
                        java.lang.String className)

Return the pivot model class for className with the Pivot Model.

Specified by:

getASClass in interface MetamodelManager

getASElement

@Nullable
public Element getASElement(@NonNull
                                       org.eclipse.emf.common.util.URI uri)

getASOf

@Nullable
public <T extends Element> T getASOf(@NonNull
                                                java.lang.Class<T> pivotClass,
                                                @Nullable
                                                org.eclipse.emf.ecore.EObject eObject)
                                         throws ParserException

Specified by:

getASOf in interface MetamodelManager

Throws:

ParserException

getASOfEcore

@Nullable
public <T extends Element> T getASOfEcore(@NonNull
                                                     java.lang.Class<T> pivotClass,
                                                     @Nullable
                                                     org.eclipse.emf.ecore.EObject eObject)

Specified by:

getASOfEcore in interface MetamodelManager

getASmetamodel

public Package getASmetamodel()

Specified by:

getASmetamodel in interface MetamodelManagerInternal

getASResourceSet

@NonNull
public org.eclipse.emf.ecore.resource.ResourceSet getASResourceSet()

Specified by:

getASResourceSet in interface MetamodelManager

getAllCompletePackages

@NonNull
public java.lang.Iterable<CompletePackageInternal> getAllCompletePackages()

getAllInvariants

@NonNull
public java.lang.Iterable<Constraint> getAllInvariants(@NonNull
                                                                 Type pivotType)

Return all constraints applicable to a type and its superclasses.

Specified by:

getAllInvariants in interface MetamodelManagerInternal

getAllOperations

@NonNull
public java.lang.Iterable<Operation> getAllOperations(@NonNull
                                                                Type type,
                                                                @Nullable
                                                                FeatureFilter featureFilter)

getAllOperations

@NonNull
public java.lang.Iterable<Operation> getAllOperations(@NonNull
                                                                Type type,
                                                                @Nullable
                                                                FeatureFilter featureFilter,
                                                                @NonNull
                                                                java.lang.String name)

getAllProperties

@NonNull
public java.lang.Iterable<? extends Property> getAllProperties(@NonNull
                                                                         Type type,
                                                                         @Nullable
                                                                         FeatureFilter featureFilter)

getAllProperties

@NonNull
public java.lang.Iterable<? extends Property> getAllProperties(@NonNull
                                                                         Type type,
                                                                         @Nullable
                                                                         FeatureFilter featureFilter,
                                                                         @NonNull
                                                                         java.lang.String name)

getAllProperties

@NonNull
public java.lang.Iterable<? extends Property> getAllProperties(@NonNull
                                                                         Property pivotProperty)

getAllSuperCompleteClasses

@NonNull
public java.lang.Iterable<CompleteClass> getAllSuperCompleteClasses(@NonNull
                                                                              Type type)

getAllTypes

@Deprecated
 @NonNull
public java.lang.Iterable<Class> getAllTypes(Class pivotType)

Deprecated.

getAllTypes

@Deprecated
 @NonNull
public java.lang.Iterable<Type> getAllTypes(@NonNull
                                                                    Type pivotType)

Deprecated.

getBodyExpression

@Nullable
public ExpressionInOCL getBodyExpression(@NonNull
                                                    Operation operation)

getCollectionType

@NonNull
public CollectionType getCollectionType(boolean isOrdered,
                                                  boolean isUnique)

getCollectionType

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

getCollectionType

@Deprecated
public Class getCollectionType(@NonNull
                                            java.lang.String collectionTypeName,
                                            @NonNull
                                            Type elementType,
                                            @Nullable
                                            IntegerValue lower,
                                            @Nullable
                                            UnlimitedNaturalValue upper)

Deprecated. add isNullFree argument

getCollectionType

public Class getCollectionType(@NonNull
                               java.lang.String collectionTypeName,
                               @NonNull
                               Type elementType,
                               boolean isNullFree,
                               @Nullable
                               IntegerValue lower,
                               @Nullable
                               UnlimitedNaturalValue upper)

Specified by:

getCollectionType in interface MetamodelManagerInternal

getCommonType

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

getCompleteClass

@NonNull
public CompleteClassInternal getCompleteClass(@NonNull
                                                        Type pivotType)

Specified by:

getCompleteClass in interface MetamodelManagerInternal

getCompleteEnvironment

@NonNull
public CompleteEnvironmentInternal getCompleteEnvironment()

getCompleteModel

@NonNull
public CompleteModelInternal getCompleteModel()

Specified by:

getCompleteModel in interface MetamodelManagerInternal

Specified by:

getCompleteModel in interface MetamodelManager

getCompletePackage

@NonNull
public CompletePackage getCompletePackage(Package asPackage)

Specified by:

getCompletePackage in interface MetamodelManagerInternal

getDefaultExpression

@Nullable
public ExpressionInOCL getDefaultExpression(@NonNull
                                                       Property property)

getEcoreOfPivot

@Nullable
public <T extends org.eclipse.emf.ecore.EObject> T getEcoreOfPivot(@NonNull
                                                                              java.lang.Class<T> ecoreClass,
                                                                              @NonNull
                                                                              Element element)

Specified by:

getEcoreOfPivot in interface MetamodelManager

getElementExtension

@NonNull
public ElementExtension getElementExtension(@NonNull
                                                      Element asStereotypedElement,
                                                      @NonNull
                                                      Stereotype asStereotype)

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

getEnvironmentFactory

@NonNull
public EnvironmentFactoryInternal getEnvironmentFactory()

Specified by:

getEnvironmentFactory in interface MetamodelManagerInternal

Specified by:

getEnvironmentFactory in interface MetamodelManager

getEquivalentClass

public Class getEquivalentClass(@NonNull
                                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

@Nullable
public External2AS getES2AS(@NonNull
                                       org.eclipse.emf.ecore.resource.Resource esResource)

getFinalAnalysis

@NonNull
public FinalAnalysis getFinalAnalysis()

getGenPackage

@Nullable
public org.eclipse.emf.codegen.ecore.genmodel.GenPackage getGenPackage(@NonNull
                                                                                  java.lang.String nsURI)

Specified by:

getGenPackage in interface MetamodelManagerInternal

getGlobalNamespaces

@NonNull
public java.util.Set<java.util.Map.Entry<java.lang.String,Namespace>> getGlobalNamespaces()

getGlobalTypes

@NonNull
public java.lang.Iterable<Type> getGlobalTypes()

getImplementation

@NonNull
public LibraryFeature getImplementation(@NonNull
                                                  Feature feature)
                                           throws java.lang.ClassNotFoundException,
                                                  java.lang.SecurityException,
                                                  java.lang.NoSuchFieldException,
                                                  java.lang.IllegalArgumentException,
                                                  java.lang.IllegalAccessException

Throws:

java.lang.ClassNotFoundException

java.lang.SecurityException

java.lang.NoSuchFieldException

java.lang.IllegalArgumentException

java.lang.IllegalAccessException

getImplementation

@NonNull
public LibraryFeature getImplementation(@NonNull
                                                  Operation operation)

getImplementation

@Deprecated
 @NonNull
public LibraryProperty getImplementation(@Nullable
                                                                 java.lang.Object sourceValue,
                                                                 @NonNull
                                                                 Property property)

Deprecated.

getImplementation

@NonNull
public LibraryProperty getImplementation(@Nullable
                                                   Element asNavigationExp,
                                                   @Nullable
                                                   java.lang.Object sourceValue,
                                                   @NonNull
                                                   Property property)

Specified by:

getImplementation in interface MetamodelManagerInternal.MetamodelManagerInternalExtension

getImplementationManager

@NonNull
public ImplementationManager getImplementationManager()

getInfixPrecedence

@Nullable
public Precedence getInfixPrecedence(@NonNull
                                                java.lang.String operatorName)

getInheritance

@NonNull
public CompleteInheritance getInheritance(Class type)

getLibraries

@NonNull
public java.util.List<Library> getLibraries()

getLibraryResource

@Nullable
public org.eclipse.emf.ecore.resource.Resource getLibraryResource()

getLibraryType

public Class getLibraryType(@NonNull
                            java.lang.String string,
                            @NonNull
                            java.util.List<? extends Type> templateArguments)

getLibraryType

@NonNull
public <T extends Class> T getLibraryType(@NonNull
                                                    T libraryType,
                                                    @NonNull
                                                    java.util.List<? extends Type> templateArguments)

getLocalInvariants

@NonNull
public java.lang.Iterable<Constraint> getLocalInvariants(Class type)

getLockingObject

@Nullable
public org.eclipse.emf.ecore.EObject getLockingObject()

getMapType

public Class getMapType(@NonNull
                        java.lang.String mapTypeName,
                        @NonNull
                        Type keyType,
                        @NonNull
                        Type valueType)

getMemberOperations

@NonNull
public java.lang.Iterable<Operation> getMemberOperations(Class type,
                                                                   boolean selectStatic)

getMemberPackages

@NonNull
public java.lang.Iterable<? extends CompletePackage> getMemberPackages(Package pkg)

getMemberProperties

@NonNull
public java.lang.Iterable<Property> getMemberProperties(Class type,
                                                                  boolean selectStatic)

getMetaclass

public Class getMetaclass(@NonNull
                          Type domainInstanceType)

getOclType

@Nullable
public Type getOclType(@NonNull
                                  java.lang.String typeName)

getOperationOverloads

@NonNull
public java.lang.Iterable<? extends Operation> getOperationOverloads(@NonNull
                                                                               Operation pivotOperation)

getPartialPackages

@NonNull
public java.lang.Iterable<? extends Package> getPartialPackages(Package pkg,
                                                                          boolean loadASmetamodelFirst)

getPartialClasses

@NonNull
public java.lang.Iterable<Class> getPartialClasses(@NonNull
                                                             Type pivotType)

getPrecedenceManager

@NonNull
protected PrecedenceManager getPrecedenceManager()

getPrefixPrecedence

@Nullable
public Precedence getPrefixPrecedence(@NonNull
                                                 java.lang.String operatorName)

getPrimaryElement

@NonNull
public <T extends org.eclipse.emf.ecore.EObject> T getPrimaryElement(@NonNull
                                                                               T element)

getPrimaryOperation

@NonNull
public Operation getPrimaryOperation(@NonNull
                                               Operation pivotOperation)

Specified by:

getPrimaryOperation in interface MetamodelManager

getPrimaryPackage

public Package getPrimaryPackage(@NonNull
                                 java.lang.String nsURI,
                                 java.lang.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

@NonNull
public Property getPrimaryProperty(@NonNull
                                             Property pivotProperty)

Specified by:

getPrimaryProperty in interface MetamodelManager

getPrimaryClass

public Class getPrimaryClass(Class type)

Specified by:

getPrimaryClass in interface MetamodelManager

getPrimaryType

@NonNull
public Type getPrimaryType(@NonNull
                                     Type type)

getPrimaryType

public Class getPrimaryType(@NonNull
                            java.lang.String nsURI,
                            @NonNull
                            java.lang.String path,
                            java.lang.String... extraPath)

Specified by:

getPrimaryType in interface MetamodelManagerInternal

getResource

@NonNull
public ASResource getResource(@NonNull
                                        org.eclipse.emf.common.util.URI uri,
                                        @Nullable
                                        java.lang.String contentType)

getStandardLibrary

@NonNull
public StandardLibraryInternal getStandardLibrary()

Specified by:

getStandardLibrary in interface MetamodelManagerInternal

Specified by:

getStandardLibrary in interface MetamodelManager

getSuperCompleteClasses

public java.lang.Iterable<CompleteClass> getSuperCompleteClasses(Class pivotType)

getSuperCompleteClasses

public java.lang.Iterable<CompleteClass> getSuperCompleteClasses(@NonNull
                                                                 CompleteClass completeClass)

getTarget

public org.eclipse.emf.ecore.resource.ResourceSet getTarget()

Specified by:

getTarget in interface org.eclipse.emf.common.notify.Adapter

installLibraryContents

protected void installLibraryContents(@NonNull
                                      Library asLibrary)

Merge all types in asLibrary into the overall Standard Library.

installPropertyDeclaration

public void installPropertyDeclaration(@NonNull
                                       Property thisProperty)

Create implicit an opposite property if there is no explicit opposite.

installResource

public void installResource(@NonNull
                            org.eclipse.emf.ecore.resource.Resource asResource)

installRoot

public void installRoot(@NonNull
                        Model pivotModel)

Specified by:

installRoot in interface MetamodelManagerInternal

isAdapterForType

public boolean isAdapterForType(java.lang.Object type)

Specified by:

isAdapterForType in interface org.eclipse.emf.common.notify.Adapter

isLibraryLoadInProgress

public boolean isLibraryLoadInProgress()

isSuperClassOf

public boolean isSuperClassOf(Class unspecializedFirstType,
                              Class secondType)

isSuperCompleteClassOf

public boolean isSuperCompleteClassOf(@NonNull
                                      CompleteClass unspecializedFirstType,
                                      @NonNull
                                      CompleteClass secondType)

isTypeServeable

public boolean isTypeServeable(@NonNull
                               Type type)

isUnspecialized

protected boolean isUnspecialized(@NonNull
                                  java.util.List<TemplateParameter> templateParameters,
                                  @NonNull
                                  java.util.List<? extends Type> templateArguments)

loadASmetamodel

protected void loadASmetamodel(Package asLibrary)

Load the Pivot Metamodel of the Pivot Model to accompany a given asLibrary. If this asLibrary has an Element type it is assumed to be a complete custom meta-model and it is used as such. Otherwise the built-in Pivot Metamodel is created with name, nsPrefix and nsURI determined by the given library.

Parameters:

asLibrary -

loadDefaultLibrary

@Nullable
public org.eclipse.emf.ecore.resource.Resource loadDefaultLibrary(@Nullable
                                                                             java.lang.String uri)

Load the Standard Library for a given uri. If the uri corresponds to a registered library, that library is isntalled, otherwise the already loaded asLibraries are examined and the fuirst library with a matching URI is used. Return the resource of tghe library, and merges all types of all libraries into the overall stnadard library.

loadResource

@Nullable
public Element loadResource(@NonNull
                                       org.eclipse.emf.common.util.URI uri,
                                       java.lang.String zzalias,
                                       @Nullable
                                       org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
                                throws ParserException

Specified by:

loadResource in interface MetamodelManagerInternal

Throws:

ParserException

lookupImplementation

@NonNull
public LibraryFeature lookupImplementation(@NonNull
                                                     Operation dynamicOperation)
                                              throws java.lang.SecurityException,
                                                     java.lang.IllegalArgumentException,
                                                     java.lang.ClassNotFoundException,
                                                     java.lang.NoSuchFieldException,
                                                     java.lang.IllegalAccessException

Throws:

java.lang.SecurityException

java.lang.IllegalArgumentException

java.lang.ClassNotFoundException

java.lang.NoSuchFieldException

java.lang.IllegalAccessException

notifyChanged

public void notifyChanged(org.eclipse.emf.common.notify.Notification notification)

Specified by:

notifyChanged in interface org.eclipse.emf.common.notify.Adapter

parseSpecification

@NonNull
public ExpressionInOCL parseSpecification(@NonNull
                                                    LanguageExpression specification)
                                             throws ParserException

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(@NonNull
                                   External2AS external2as)

removeExternalResource

public void removeExternalResource(@NonNull
                                   org.eclipse.emf.ecore.resource.Resource esResource)

setASmetamodel

public void setASmetamodel(Package asPackage)

setAutoLoadASmetamodel

public void setAutoLoadASmetamodel(boolean autoLoadASmetamodel)

setLibraryLoadInProgress

public void setLibraryLoadInProgress(boolean libraryLoadInProgress)

setMetamodelNsURI

public void setMetamodelNsURI(@NonNull
                              java.lang.String metaNsURI)

setTarget

public void setTarget(org.eclipse.emf.common.notify.Notifier newTarget)

Specified by:

setTarget in interface org.eclipse.emf.common.notify.Adapter

specializeType

@NonNull
public Type specializeType(@NonNull
                                     Type type,
                                     @NonNull
                                     CallExp callExp,
                                     @NonNull
                                     Type selfType,
                                     @Nullable
                                     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(org.eclipse.emf.common.notify.Notifier oldTarget)

Specified by:

unsetTarget in interface org.eclipse.emf.common.notify.Adapter.Internal