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

Methods

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(@NonNull
                                       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(@NonNull
                                                  Class containerType,
                                                  @NonNull
                                                  Type elementType,
                                                  @Nullable
                                                  IntegerValue lower,
                                                  @Nullable
                                                  UnlimitedNaturalValue upper)

Deprecated. add isNullFree argument

getMapType

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

getNestedPackage

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

getNestedType

Type getNestedType(@NonNull
                 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

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)

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)