org.eclipse.ocl.pivot.internal

Class CompleteEnvironmentImpl

java.lang.Object

EObjectImpl

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

org.eclipse.ocl.pivot.internal.ElementImpl

org.eclipse.ocl.pivot.internal.CompleteEnvironmentImpl

All Implemented Interfaces:

CompleteEnvironment, Element, CompleteEnvironmentInternal, Visitable, Labelable, PivotObject

public class CompleteEnvironmentImpl
extends ElementImpl
implements CompleteEnvironment, CompleteEnvironmentInternal

An implementation of the model object 'Complete Environment'.

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	addOrphanClass(Class pivotElement)
NotificationChain	basicSetOwnedCompleteModel(CompleteModel newOwnedCompleteModel, NotificationChain msgs)
NotificationChain	basicSetOwnedStandardLibrary(StandardLibrary newOwnedStandardLibrary, NotificationChain msgs)
boolean	conformsTo(Type firstType, TemplateParameterSubstitutions firstSubstitutions, Type secondType, TemplateParameterSubstitutions secondSubstitutions)
void	didAddClass(Class partialClass, CompleteClassInternal completeClass)
void	didRemoveClass(Class pivotType)
void	dispose()
Object	eGet(int featureID, boolean resolve, boolean coreType)
NotificationChain	eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs)
NotificationChain	eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
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)
CollectionType	getBagType(Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper) Return the instance of the Bag metatype whose elements are of elementType.
CollectionType	getBagType(Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)
CollectionType	getCollectionType(Class containerType, Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper) Return the specialized collection type for the containerType for elementType.
CollectionType	getCollectionType(Class containerType, Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)
CollectionType	getCollectionType(CompleteClassInternal completeClass, CollectionTypeParameters<Type> typeParameters)
<T extends CollectionType> T	getCollectionType(T containerType, Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper)
CompleteClassInternal	getCompleteClass(Type pivotType)
EnvironmentFactoryInternal	getEnvironmentFactory()
LambdaTypeManager	getLambdaManager()
LambdaType	getLambdaType(String typeName, Type contextType, List<? extends Type> parameterTypes, Type resultType, TemplateParameterSubstitutions bindings)
MapType	getMapType(Class containerType, Type keyType, Type valueType)
MapType	getMapType(CompleteClassInternal completeClass, MapTypeParameters<Type,Type> typeParameters)
MapType	getMapType(MapType containerType, Type keyType, Type valueType)
Package	getNestedPackage(Package domainPackage, String name)
Class	getNestedType(Package domainPackage, String name)
CollectionType	getOrderedSetType(Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper) Return the instance of the OrderedSet metatype whose elements are of elementType.
CollectionType	getOrderedSetType(Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)
CompleteModelInternal	getOwnedCompleteModel() Returns the value of the 'Owned Complete Model' containment reference.
StandardLibraryInternal	getOwnedStandardLibrary() Returns the value of the 'Owned Standard Library' containment reference.
CollectionType	getSequenceType(Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper) Return the instance of the Sequence metatype whose elements are of elementType.
CollectionType	getSequenceType(Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)
CollectionType	getSetType(Type elementType, boolean isNullFree, IntegerValue lower, UnlimitedNaturalValue upper) Return the instance of the Set metatype whose elements are of elementType.
CollectionType	getSetType(Type elementType, IntegerValue lower, UnlimitedNaturalValue upper)
Type	getSpecializedType(Type type, TemplateParameterSubstitutions substitutions)
TupleTypeManager	getTupleManager()
TupleType	getTupleType(String typeName, Collection<? extends TypedElement> parts, TemplateParameterSubstitutions bindings)
CompleteEnvironmentInternal	init(EnvironmentFactoryInternal environmentFactory)
boolean	isCodeGeneration()
void	setCodeGeneration(boolean isCodeGeneration)
void	setOwnedCompleteModel(CompleteModel newOwnedCompleteModel)
void	setOwnedStandardLibrary(StandardLibrary newOwnedStandardLibrary)

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

allOwnedElements, eInvoke, getAnnotatingComments, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue, toString

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.Element

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

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

eClass

Method Detail

basicSetOwnedCompleteModel

public NotificationChain basicSetOwnedCompleteModel(CompleteModel newOwnedCompleteModel,
                                                    NotificationChain msgs)

EMF generated code

NOT

setOwnedCompleteModel

public void setOwnedCompleteModel(CompleteModel newOwnedCompleteModel)

Specified by:

setOwnedCompleteModel in interface CompleteEnvironment

Parameters:

newOwnedCompleteModel - the new value of the 'Owned Complete Model' containment reference.

See Also:

CompleteEnvironment.getOwnedCompleteModel()

EMF generated code

basicSetOwnedStandardLibrary

public NotificationChain basicSetOwnedStandardLibrary(StandardLibrary newOwnedStandardLibrary,
                                                      NotificationChain msgs)

EMF generated code

NOT

setOwnedStandardLibrary

public void setOwnedStandardLibrary(StandardLibrary newOwnedStandardLibrary)

Specified by:

setOwnedStandardLibrary in interface CompleteEnvironment

Parameters:

newOwnedStandardLibrary - the new value of the 'Owned Standard Library' containment reference.

See Also:

CompleteEnvironment.getOwnedStandardLibrary()

EMF generated code

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

eGet

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

Overrides:

eGet in class ElementImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class ElementImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class ElementImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class ElementImpl

EMF generated code

accept

public <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.

Specified by:

accept in interface Element

Specified by:

accept in interface Visitable

Overrides:

accept in class ElementImpl

Returns:

the result of the visit.

EMF generated code

addOrphanClass

public void addOrphanClass(Class pivotElement)

Specified by:

addOrphanClass in interface CompleteEnvironmentInternal

conformsTo

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

Specified by:

conformsTo in interface CompleteEnvironmentInternal

didAddClass

public void didAddClass(Class partialClass,
                        CompleteClassInternal completeClass)

Specified by:

didAddClass in interface CompleteEnvironmentInternal

didRemoveClass

public void didRemoveClass(Class pivotType)

Specified by:

didRemoveClass in interface CompleteEnvironmentInternal

dispose

public void dispose()

Specified by:

dispose in interface CompleteEnvironmentInternal

findCollectionType

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

Specified by:

findCollectionType in interface CompleteEnvironmentInternal

findMapType

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

Specified by:

findMapType in interface CompleteEnvironmentInternal

getBagType

public CollectionType getBagType(Type elementType,
                                 IntegerValue lower,
                                 UnlimitedNaturalValue upper)

Specified by:

getBagType in interface CompleteEnvironment

getBagType

public CollectionType getBagType(Type elementType,
                                 boolean isNullFree,
                                 IntegerValue lower,
                                 UnlimitedNaturalValue upper)

Description copied from interface: CompleteEnvironment

Return the instance of the Bag metatype whose elements are of elementType.

Specified by:

getBagType in interface CompleteEnvironment

getCollectionType

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

Specified by:

getCollectionType in interface CompleteEnvironmentInternal

getCollectionType

public CollectionType getCollectionType(Class containerType,
                                        Type elementType,
                                        boolean isNullFree,
                                        IntegerValue lower,
                                        UnlimitedNaturalValue upper)

Description copied from interface: CompleteEnvironment

Return the specialized collection type for the containerType for elementType.

Specified by:

getCollectionType in interface CompleteEnvironment

getCollectionType

public CollectionType getCollectionType(Class containerType,
                                        Type elementType,
                                        IntegerValue lower,
                                        UnlimitedNaturalValue upper)

Specified by:

getCollectionType in interface CompleteEnvironment

getCollectionType

public <T extends CollectionType> T getCollectionType(T containerType,
                                                      Type elementType,
                                                      boolean isNullFree,
                                                      IntegerValue lower,
                                                      UnlimitedNaturalValue upper)

Specified by:

getCollectionType in interface CompleteEnvironmentInternal

getCompleteClass

public CompleteClassInternal getCompleteClass(Type pivotType)

Specified by:

getCompleteClass in interface CompleteEnvironmentInternal

getOwnedCompleteModel

public CompleteModelInternal getOwnedCompleteModel()

Description copied from interface: CompleteEnvironment

Returns the value of the 'Owned Complete Model' containment reference. It is bidirectional and its opposite is 'Owning Complete Environment'.

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

Specified by:

getOwnedCompleteModel in interface CompleteEnvironment

Specified by:

getOwnedCompleteModel in interface CompleteEnvironmentInternal

Returns:

the value of the 'Owned Complete Model' containment reference.

See Also:

CompleteEnvironment.setOwnedCompleteModel(CompleteModel), PivotPackage.getCompleteEnvironment_OwnedCompleteModel(), CompleteModel.getOwningCompleteEnvironment()

getEnvironmentFactory

public EnvironmentFactoryInternal getEnvironmentFactory()

Specified by:

getEnvironmentFactory in interface CompleteEnvironmentInternal

getLambdaManager

public LambdaTypeManager getLambdaManager()

getLambdaType

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

Specified by:

getLambdaType in interface CompleteEnvironment

getMapType

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

Specified by:

getMapType in interface CompleteEnvironmentInternal

getMapType

public MapType getMapType(Class containerType,
                          Type keyType,
                          Type valueType)

Specified by:

getMapType in interface CompleteEnvironment

getMapType

public MapType getMapType(MapType containerType,
                          Type keyType,
                          Type valueType)

Specified by:

getMapType in interface CompleteEnvironmentInternal

getNestedPackage

public Package getNestedPackage(Package domainPackage,
                                String name)

Specified by:

getNestedPackage in interface CompleteEnvironment

getNestedType

public Class getNestedType(Package domainPackage,
                           String name)

Specified by:

getNestedType in interface CompleteEnvironment

getOrderedSetType

public CollectionType getOrderedSetType(Type elementType,
                                        boolean isNullFree,
                                        IntegerValue lower,
                                        UnlimitedNaturalValue upper)

Description copied from interface: CompleteEnvironment

Return the instance of the OrderedSet metatype whose elements are of elementType.

Specified by:

getOrderedSetType in interface CompleteEnvironment

getOrderedSetType

public CollectionType getOrderedSetType(Type elementType,
                                        IntegerValue lower,
                                        UnlimitedNaturalValue upper)

Specified by:

getOrderedSetType in interface CompleteEnvironment

getSequenceType

public CollectionType getSequenceType(Type elementType,
                                      boolean isNullFree,
                                      IntegerValue lower,
                                      UnlimitedNaturalValue upper)

Description copied from interface: CompleteEnvironment

Return the instance of the Sequence metatype whose elements are of elementType.

Specified by:

getSequenceType in interface CompleteEnvironment

getSequenceType

public CollectionType getSequenceType(Type elementType,
                                      IntegerValue lower,
                                      UnlimitedNaturalValue upper)

Specified by:

getSequenceType in interface CompleteEnvironment

getSetType

public CollectionType getSetType(Type elementType,
                                 boolean isNullFree,
                                 IntegerValue lower,
                                 UnlimitedNaturalValue upper)

Description copied from interface: CompleteEnvironment

Return the instance of the Set metatype whose elements are of elementType.

Specified by:

getSetType in interface CompleteEnvironment

getSetType

public CollectionType getSetType(Type elementType,
                                 IntegerValue lower,
                                 UnlimitedNaturalValue upper)

Specified by:

getSetType in interface CompleteEnvironment

getSpecializedType

public Type getSpecializedType(Type type,
                               TemplateParameterSubstitutions substitutions)

Specified by:

getSpecializedType in interface CompleteEnvironment

getOwnedStandardLibrary

public StandardLibraryInternal getOwnedStandardLibrary()

Description copied from interface: CompleteEnvironment

Returns the value of the 'Owned Standard Library' containment reference. It is bidirectional and its opposite is 'Owning Complete Environment'.

If the meaning of the 'Owned Standard Library' containment reference isn't clear, there really should be more of a description here...

Specified by:

getOwnedStandardLibrary in interface CompleteEnvironment

Specified by:

getOwnedStandardLibrary in interface CompleteEnvironmentInternal

Returns:

the value of the 'Owned Standard Library' containment reference.

See Also:

CompleteEnvironment.setOwnedStandardLibrary(StandardLibrary), PivotPackage.getCompleteEnvironment_OwnedStandardLibrary(), StandardLibrary.getOwningCompleteEnvironment()

getTupleManager

public TupleTypeManager getTupleManager()

Specified by:

getTupleManager in interface CompleteEnvironmentInternal

getTupleType

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

Specified by:

getTupleType in interface CompleteEnvironment

init

public CompleteEnvironmentInternal init(EnvironmentFactoryInternal environmentFactory)

Specified by:

init in interface CompleteEnvironmentInternal

isCodeGeneration

public boolean isCodeGeneration()

Specified by:

isCodeGeneration in interface CompleteEnvironmentInternal

setCodeGeneration

public void setCodeGeneration(boolean isCodeGeneration)

Specified by:

setCodeGeneration in interface CompleteEnvironmentInternal