org.eclipse.ocl.pivot

Interface CompleteEnvironment

All Superinterfaces:

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

All Known Subinterfaces:

CompleteEnvironmentInternal

All Known Implementing Classes:

CompleteEnvironmentImpl, ExecutableStandardLibrary, ExecutorStandardLibrary, PivotExecutorStandardLibrary

public interface CompleteEnvironment
extends Element

A representation of the model object 'Complete Environment'.

The following features are supported:

• Owned Complete Model
• Owned Standard Library

See Also:

PivotPackage.getCompleteEnvironment()

Generated

Method Summary

Modifier and Type	Method and Description
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) Deprecated. add isNullFree argument
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) Deprecated. add isNullFree argument
LambdaType	getLambdaType(java.lang.String typeName, Type contextType, java.util.List<? extends Type> parameterTypes, Type resultType, TemplateParameterSubstitutions bindings)
MapType	getMapType(Class containerType, Type keyType, Type valueType)
Package	getNestedPackage(Package parentPackage, java.lang.String name)
Type	getNestedType(Package parentPackage, java.lang.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) Deprecated. add isNullFree argument
CompleteModel	getOwnedCompleteModel() Returns the value of the 'Owned Complete Model' containment reference.
StandardLibrary	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) Deprecated. add isNullFree argument
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) Deprecated. add isNullFree argument
Type	getSpecializedType(Type type, TemplateParameterSubstitutions substitutions)
TupleType	getTupleType(java.lang.String typeName, java.util.Collection<? extends TypedElement> parts, TemplateParameterSubstitutions bindings)
void	setOwnedCompleteModel(CompleteModel value) Sets the value of the 'Owned Complete Model' containment reference.
void	setOwnedStandardLibrary(StandardLibrary value) Sets the value of the 'Owned Standard Library' containment reference.

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

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

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

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

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

eAdapters, eDeliver, eNotify, eSetDeliver

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

eClass

Method Detail

getOwnedCompleteModel

@NonNull
CompleteModel getOwnedCompleteModel()

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

Returns:

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

See Also:

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

Generated

setOwnedCompleteModel

void setOwnedCompleteModel(CompleteModel value)

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

Parameters:

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

See Also:

getOwnedCompleteModel()

Generated

getOwnedStandardLibrary

@NonNull
StandardLibrary getOwnedStandardLibrary()

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

Returns:

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

See Also:

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

Generated

setOwnedStandardLibrary

void setOwnedStandardLibrary(StandardLibrary value)

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

Parameters:

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

See Also:

getOwnedStandardLibrary()

Generated

getBagType

@NonNull
CollectionType getBagType(@NonNull
                                    Type elementType,
                                    boolean isNullFree,
                                    @Nullable
                                    IntegerValue lower,
                                    @Nullable
                                    UnlimitedNaturalValue upper)

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

getBagType

@Deprecated
 @NonNull
CollectionType getBagType(@NonNull
                                                  Type elementType,
                                                  @Nullable
                                                  IntegerValue lower,
                                                  @Nullable
                                                  UnlimitedNaturalValue upper)

Deprecated. add isNullFree argument

getCollectionType

@NonNull
CollectionType getCollectionType(Class containerType,
                                           @NonNull
                                           Type elementType,
                                           boolean isNullFree,
                                           @Nullable
                                           IntegerValue lower,
                                           @Nullable
                                           UnlimitedNaturalValue upper)

Return the specialized collection type for the containerType for elementType.

getCollectionType

@Deprecated
 @NonNull
CollectionType getCollectionType(Class containerType,
                                                         @NonNull
                                                         Type elementType,
                                                         @Nullable
                                                         IntegerValue lower,
                                                         @Nullable
                                                         UnlimitedNaturalValue upper)

Deprecated. add isNullFree argument

getLambdaType

@NonNull
LambdaType getLambdaType(@NonNull
                                   java.lang.String typeName,
                                   @NonNull
                                   Type contextType,
                                   @NonNull
                                   java.util.List<? extends Type> parameterTypes,
                                   @NonNull
                                   Type resultType,
                                   @Nullable
                                   TemplateParameterSubstitutions bindings)

getMapType

@NonNull
MapType getMapType(Class containerType,
                             @NonNull
                             Type keyType,
                             @NonNull
                             Type valueType)

getNestedPackage

Package getNestedPackage(Package parentPackage,
                         @NonNull
                         java.lang.String name)

getNestedType

Type getNestedType(Package parentPackage,
                   @NonNull
                   java.lang.String name)

getOrderedSetType

@NonNull
CollectionType getOrderedSetType(@NonNull
                                           Type elementType,
                                           boolean isNullFree,
                                           @Nullable
                                           IntegerValue lower,
                                           @Nullable
                                           UnlimitedNaturalValue upper)

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

getOrderedSetType

@Deprecated
 @NonNull
CollectionType getOrderedSetType(@NonNull
                                                         Type elementType,
                                                         @Nullable
                                                         IntegerValue lower,
                                                         @Nullable
                                                         UnlimitedNaturalValue upper)

Deprecated. add isNullFree argument

getSequenceType

@NonNull
CollectionType getSequenceType(@NonNull
                                         Type elementType,
                                         boolean isNullFree,
                                         @Nullable
                                         IntegerValue lower,
                                         @Nullable
                                         UnlimitedNaturalValue upper)

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

getSequenceType

@Deprecated
 @NonNull
CollectionType getSequenceType(@NonNull
                                                       Type elementType,
                                                       @Nullable
                                                       IntegerValue lower,
                                                       @Nullable
                                                       UnlimitedNaturalValue upper)

Deprecated. add isNullFree argument

getSetType

@NonNull
CollectionType getSetType(@NonNull
                                    Type elementType,
                                    boolean isNullFree,
                                    @Nullable
                                    IntegerValue lower,
                                    @Nullable
                                    UnlimitedNaturalValue upper)

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

getSetType

@Deprecated
 @NonNull
CollectionType getSetType(@NonNull
                                                  Type elementType,
                                                  @Nullable
                                                  IntegerValue lower,
                                                  @Nullable
                                                  UnlimitedNaturalValue upper)

Deprecated. add isNullFree argument

getSpecializedType

@NonNull
Type getSpecializedType(@NonNull
                                  Type type,
                                  @Nullable
                                  TemplateParameterSubstitutions substitutions)

getTupleType

@NonNull
TupleType getTupleType(@NonNull
                                 java.lang.String typeName,
                                 @NonNull
                                 java.util.Collection<? extends TypedElement> parts,
                                 @Nullable
                                 TemplateParameterSubstitutions bindings)