org.eclipse.ocl.pivot.internal

Class CompleteModelImpl

java.lang.Object

EObjectImpl

org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

org.eclipse.ocl.pivot.internal.ElementImpl

org.eclipse.ocl.pivot.internal.NamedElementImpl

org.eclipse.ocl.pivot.internal.CompleteModelImpl

All Implemented Interfaces:

CompleteModel, Element, CompleteModelInternal, NamedElement, Visitable, Labelable, Nameable, PivotObject

public class CompleteModelImpl
extends NamedElementImpl
implements CompleteModel, CompleteModelInternal

An implementation of the model object 'Complete Model'.

EMF generated code

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> visitor) Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.
void	addPackageURI2completeURI(String packageURI, String newCompleteURI) Partial models such as the OCL Standard Library have their own distinct package URI.
NotificationChain	basicSetOwningCompleteEnvironment(CompleteEnvironment newOwningCompleteEnvironment, NotificationChain msgs)
boolean	conformsTo(Type firstType, TemplateParameterSubstitutions firstSubstitutions, Type secondType, TemplateParameterSubstitutions secondSubstitutions)
void	didAddClass(Class partialClass, CompleteClassInternal completeClass)
void	didAddCompletePackage(CompletePackageInternal completePackage)
void	didAddNestedPackage(Package pivotPackage)
void	didAddPartialModel(Model partialModel)
void	didRemoveClass(Class pivotType)
void	didRemoveCompletePackage(CompletePackageInternal completePackage)
void	didRemoveNestedPackage(Package pivotPackage)
void	didRemovePartialModel(Model partialModel)
void	dispose()
NotificationChain	eBasicRemoveFromContainerFeature(NotificationChain msgs)
Object	eGet(int featureID, boolean resolve, boolean coreType)
NotificationChain	eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs)
NotificationChain	eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
Object	eInvoke(int operationID, <any> arguments)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
void	eUnset(int featureID)
CollectionType	findCollectionType(CompleteClassInternal completeClass, CollectionTypeParameters<Type> typeParameters)
MapType	findMapType(CompleteClassInternal completeClass, MapTypeParameters<Type,Type> typeParameters)
Iterable<CompletePackageInternal>	getAllCompletePackages()
Iterable<? extends CompletePackage>	getAllCompletePackagesWithUris()
CollectionType	getCollectionType(CompleteClassInternal completeClass, CollectionTypeParameters<Type> typeParameters)
CollectionType	getCollectionType(CompleteClassInternal completeClass, Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)
CompleteClassInternal	getCompleteClass(Type pivotType)
CompleteEnvironmentInternal	getCompleteEnvironment()
CompletePackageInternal	getCompletePackage(Package asPackage)
CompletePackageInternal	getCompletePackageByURI(String packageURI)
String	getCompleteURI(String packageURI)
CompleteURIs	getCompleteURIs()
EnvironmentFactoryInternal	getEnvironmentFactory()
LambdaType	getLambdaType(String typeName, Type contextType, List<? extends Type> parameterTypes, Type resultType)
LambdaType	getLambdaType(String typeName, Type contextType, List<? extends Type> parameterTypes, Type resultType, TemplateParameterSubstitutions bindings)
MapType	getMapType(CompleteClassInternal completeClass, MapTypeParameters<Type,Type> typeParameters)
CompletePackage	getMemberPackage(String memberPackageName)
Iterable<? extends CompletePackage>	getMemberPackages()
PivotMetamodelManager	getMetamodelManager()
Orphanage	getOrphanage()
OrphanCompletePackageImpl	getOrphanCompletePackage() Returns the value of the 'Orphan Complete Package' reference.
CompletePackage	getOwnedCompletePackage(String completeURIorName)
List<CompletePackage>	getOwnedCompletePackages()
CompleteEnvironment	getOwningCompleteEnvironment()
PartialModels	getPartialModels()
PrimitiveCompletePackageImpl	getPrimitiveCompletePackage() Returns the value of the 'Primitive Complete Package' reference.
Package	getRootPackage(String completeURIorName)
Type	getSpecializedType(Type type, TemplateParameterSubstitutions substitutions)
StandardLibraryInternal	getStandardLibrary()
TupleTypeManager	getTupleManager()
TupleType	getTupleType(String typeName, Collection<? extends TypedElement> parts, TemplateParameterSubstitutions bindings)
CompleteModelInternal	init(CompleteEnvironmentInternal completeEnvironment)
void	resolveSuperClasses(Class specializedClass, Class unspecializedClass)
void	setOwningCompleteEnvironment(CompleteEnvironment newOwningCompleteEnvironment)

Methods inherited from class org.eclipse.ocl.pivot.internal.NamedElementImpl

getName, setName, toString

Methods inherited from class org.eclipse.ocl.pivot.internal.ElementImpl

allOwnedElements, getAnnotatingComments, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

getESObject, getETarget, getImage, getTarget, getText, setESObject, setTarget, unloaded

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

getName, setName

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

allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

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

eClass

Method Detail

eInverseAdd

public NotificationChain eInverseAdd(InternalEObject otherEnd,
                                     int featureID,
                                     NotificationChain msgs)

Overrides:

eInverseAdd in class ElementImpl

EMF generated code

eInverseRemove

public NotificationChain eInverseRemove(InternalEObject otherEnd,
                                        int featureID,
                                        NotificationChain msgs)

Overrides:

eInverseRemove in class ElementImpl

EMF generated code

eBasicRemoveFromContainerFeature

public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs)

EMF generated code

eGet

public Object eGet(int featureID,
                   boolean resolve,
                   boolean coreType)

Overrides:

eGet in class NamedElementImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class NamedElementImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class NamedElementImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class NamedElementImpl

EMF generated code

eInvoke

public Object eInvoke(int operationID,
                      <any> arguments)
               throws InvocationTargetException

Overrides:

eInvoke in class ElementImpl

Throws:

InvocationTargetException

EMF generated code

accept

public <R> R accept(Visitor<R> visitor)

Description copied from interface: Element

Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.

Specified by:

accept in interface Element

Specified by:

accept in interface Visitable

Overrides:

accept in class NamedElementImpl

Returns:

the result of the visit.

addPackageURI2completeURI

public void addPackageURI2completeURI(String packageURI,
                                      String newCompleteURI)

Partial models such as the OCL Standard Library have their own distinct package URI. These partial models are merged by mapping the package URI to a complete URI. DomainConstants.METAMODEL_NAME is the complete URI for all contributions merged as the overall OCL metamodel.

Specified by:

addPackageURI2completeURI in interface CompleteModel

conformsTo

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

Specified by:

conformsTo in interface CompleteModel

didAddClass

public void didAddClass(Class partialClass,
                        CompleteClassInternal completeClass)

Specified by:

didAddClass in interface CompleteModelInternal

didAddCompletePackage

public void didAddCompletePackage(CompletePackageInternal completePackage)

Specified by:

didAddCompletePackage in interface CompleteModelInternal

didAddNestedPackage

public void didAddNestedPackage(Package pivotPackage)

Specified by:

didAddNestedPackage in interface CompleteModelInternal

didAddPartialModel

public void didAddPartialModel(Model partialModel)

Specified by:

didAddPartialModel in interface CompleteModelInternal

didRemoveClass

public void didRemoveClass(Class pivotType)

Specified by:

didRemoveClass in interface CompleteModelInternal

didRemoveCompletePackage

public void didRemoveCompletePackage(CompletePackageInternal completePackage)

Specified by:

didRemoveCompletePackage in interface CompleteModelInternal

didRemoveNestedPackage

public void didRemoveNestedPackage(Package pivotPackage)

Specified by:

didRemoveNestedPackage in interface CompleteModelInternal

didRemovePartialModel

public void didRemovePartialModel(Model partialModel)

Specified by:

didRemovePartialModel in interface CompleteModelInternal

dispose

public void dispose()

Specified by:

dispose in interface CompleteModelInternal

findCollectionType

public CollectionType findCollectionType(CompleteClassInternal completeClass,
                                         CollectionTypeParameters<Type> typeParameters)

Specified by:

findCollectionType in interface CompleteModelInternal

findMapType

public MapType findMapType(CompleteClassInternal completeClass,
                           MapTypeParameters<Type,Type> typeParameters)

Specified by:

findMapType in interface CompleteModelInternal

getAllCompletePackages

public Iterable<CompletePackageInternal> getAllCompletePackages()

Specified by:

getAllCompletePackages in interface CompleteModel

Specified by:

getAllCompletePackages in interface CompleteModelInternal

getAllCompletePackagesWithUris

public Iterable<? extends CompletePackage> getAllCompletePackagesWithUris()

Specified by:

getAllCompletePackagesWithUris in interface CompleteModel

getCollectionType

public CollectionType getCollectionType(CompleteClassInternal completeClass,
                                        CollectionTypeParameters<Type> typeParameters)

Specified by:

getCollectionType in interface CompleteModelInternal

getCollectionType

public CollectionType getCollectionType(CompleteClassInternal completeClass,
                                        Type elementType,
                                        boolean isNullFree,
                                        IntegerValue lower,
                                        UnlimitedNaturalValue upper)

getCompleteClass

public CompleteClassInternal getCompleteClass(Type pivotType)

Specified by:

getCompleteClass in interface CompleteModel

Specified by:

getCompleteClass in interface CompleteModelInternal

getCompleteEnvironment

public CompleteEnvironmentInternal getCompleteEnvironment()

Specified by:

getCompleteEnvironment in interface CompleteModel

Specified by:

getCompleteEnvironment in interface CompleteModelInternal

getCompletePackage

public CompletePackageInternal getCompletePackage(Package asPackage)

Specified by:

getCompletePackage in interface CompleteModel

Specified by:

getCompletePackage in interface CompleteModelInternal

getCompletePackageByURI

public CompletePackageInternal getCompletePackageByURI(String packageURI)

Specified by:

getCompletePackageByURI in interface CompleteModel

Specified by:

getCompletePackageByURI in interface CompleteModelInternal

getCompleteURI

public String getCompleteURI(String packageURI)

Specified by:

getCompleteURI in interface CompleteModelInternal

getCompleteURIs

public CompleteURIs getCompleteURIs()

Specified by:

getCompleteURIs in interface CompleteModelInternal

getLambdaType

public LambdaType getLambdaType(String typeName,
                                Type contextType,
                                List<? extends Type> parameterTypes,
                                Type resultType)

Specified by:

getLambdaType in interface CompleteModel

getLambdaType

public LambdaType getLambdaType(String typeName,
                                Type contextType,
                                List<? extends Type> parameterTypes,
                                Type resultType,
                                TemplateParameterSubstitutions bindings)

Specified by:

getLambdaType in interface CompleteModelInternal

getMapType

public MapType getMapType(CompleteClassInternal completeClass,
                          MapTypeParameters<Type,Type> typeParameters)

Specified by:

getMapType in interface CompleteModelInternal

getMemberPackage

public CompletePackage getMemberPackage(String memberPackageName)

getMemberPackages

public Iterable<? extends CompletePackage> getMemberPackages()

getMetamodelManager

public PivotMetamodelManager getMetamodelManager()

Specified by:

getMetamodelManager in interface CompleteModelInternal

getOrphanCompletePackage

public OrphanCompletePackageImpl getOrphanCompletePackage()

Description copied from interface: CompleteModel

Returns the value of the 'Orphan Complete Package' reference.

If the meaning of the 'Orphan Complete Package' reference isn't clear, there really should be more of a description here...

Specified by:

getOrphanCompletePackage in interface CompleteModel

Specified by:

getOrphanCompletePackage in interface CompleteModelInternal

Returns:

the value of the 'Orphan Complete Package' reference.

See Also:

PivotPackage.getCompleteModel_OrphanCompletePackage()

getOrphanage

public Orphanage getOrphanage()

Specified by:

getOrphanage in interface CompleteModelInternal

getOwnedCompletePackages

public List<CompletePackage> getOwnedCompletePackages()

Specified by:

getOwnedCompletePackages in interface CompleteModel

Returns:

the value of the 'Owned Complete Packages' containment reference list.

See Also:

PivotPackage.getCompleteModel_OwnedCompletePackages(), CompletePackage.getOwningCompleteModel()

EMF generated code

NOT

getOwningCompleteEnvironment

public CompleteEnvironment getOwningCompleteEnvironment()

Specified by:

getOwningCompleteEnvironment in interface CompleteModel

Returns:

the value of the 'Owning Complete Environment' container reference.

See Also:

CompleteModel.setOwningCompleteEnvironment(CompleteEnvironment), PivotPackage.getCompleteModel_OwningCompleteEnvironment(), CompleteEnvironment.getOwnedCompleteModel()

EMF generated code

basicSetOwningCompleteEnvironment

public NotificationChain basicSetOwningCompleteEnvironment(CompleteEnvironment newOwningCompleteEnvironment,
                                                           NotificationChain msgs)

EMF generated code

setOwningCompleteEnvironment

public void setOwningCompleteEnvironment(CompleteEnvironment newOwningCompleteEnvironment)

Specified by:

setOwningCompleteEnvironment in interface CompleteModel

Parameters:

newOwningCompleteEnvironment - the new value of the 'Owning Complete Environment' container reference.

See Also:

CompleteModel.getOwningCompleteEnvironment()

EMF generated code

getEnvironmentFactory

public EnvironmentFactoryInternal getEnvironmentFactory()

Specified by:

getEnvironmentFactory in interface CompleteModelInternal

getPartialModels

public PartialModels getPartialModels()

Specified by:

getPartialModels in interface CompleteModel

Specified by:

getPartialModels in interface CompleteModelInternal

Returns:

the value of the 'Partial Models' reference list.

See Also:

PivotPackage.getCompleteModel_PartialModels()

EMF generated code

NOT

getPrimitiveCompletePackage

public PrimitiveCompletePackageImpl getPrimitiveCompletePackage()

Description copied from interface: CompleteModel

Returns the value of the 'Primitive Complete Package' reference.

If the meaning of the 'Primitive Complete Package' reference isn't clear, there really should be more of a description here...

Specified by:

getPrimitiveCompletePackage in interface CompleteModel

Specified by:

getPrimitiveCompletePackage in interface CompleteModelInternal

Returns:

the value of the 'Primitive Complete Package' reference.

See Also:

PivotPackage.getCompleteModel_PrimitiveCompletePackage()

getOwnedCompletePackage

public CompletePackage getOwnedCompletePackage(String completeURIorName)

Specified by:

getOwnedCompletePackage in interface CompleteModel

EMF generated code

NOT

getRootPackage

public Package getRootPackage(String completeURIorName)

Specified by:

getRootPackage in interface CompleteModel

getSpecializedType

public Type getSpecializedType(Type type,
                               TemplateParameterSubstitutions substitutions)

Specified by:

getSpecializedType in interface CompleteModelInternal

getStandardLibrary

public StandardLibraryInternal getStandardLibrary()

Specified by:

getStandardLibrary in interface CompleteModelInternal

getTupleManager

public TupleTypeManager getTupleManager()

Specified by:

getTupleManager in interface CompleteModelInternal

getTupleType

public TupleType getTupleType(String typeName,
                              Collection<? extends TypedElement> parts,
                              TemplateParameterSubstitutions bindings)

Specified by:

getTupleType in interface CompleteModelInternal

init

public CompleteModelInternal init(CompleteEnvironmentInternal completeEnvironment)

Specified by:

init in interface CompleteModelInternal

resolveSuperClasses

public void resolveSuperClasses(Class specializedClass,
                                Class unspecializedClass)

Specified by:

resolveSuperClasses in interface CompleteModelInternal