org.eclipse.ocl.pivot.internal.manager

Class TupleTypeManager

java.lang.Object

org.eclipse.ocl.pivot.internal.manager.TupleTypeManager

public class TupleTypeManager
extends java.lang.Object

TupleTypeManager encapsulates the knowledge about known tuple types.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	TupleTypeManager.TemplateParameterReferencesVisitor The TemplateParameterReferencesVisitor remembers the formal TemplateParameter for re-uyse during Tuple instantiation.
protected static class	TupleTypeManager.TupleIdResolver
static class	TupleTypeManager.TuplePart TuplePart provides a convenient descriptor for a tuple part complying with the full EMF model protocols.

Field Summary

Fields

Modifier and Type	Field and Description
protected CompleteEnvironmentInternal	completeEnvironment
protected PivotMetamodelManager	metamodelManager
protected Class	oclTupleType

Constructor Summary

Constructors

Constructor and Description
TupleTypeManager(CompleteEnvironmentInternal allCompleteClasses)

Method Summary

Modifier and Type	Method and Description
void	dispose()
Type	getCommonType(TupleType leftType, TemplateParameterSubstitutions leftSubstitutions, TupleType rightType, TemplateParameterSubstitutions rightSubstitutions)
TupleType	getTupleType(IdResolver idResolver, TupleTypeId tupleTypeId)
TupleType	getTupleType(java.lang.String tupleName, java.util.Collection<? extends TypedElement> parts, TemplateParameterSubstitutions usageBindings)
TupleType	getTupleType(java.lang.String tupleName, java.util.Map<java.lang.String,? extends Type> parts) Return the named tuple typeId with the defined parts (which need not be alphabetically ordered).
TupleType	getTupleType(TupleType type, TemplateParameterSubstitutions usageBindings)

Methods inherited from class java.lang.Object

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

Field Detail

completeEnvironment

@NonNull
protected final CompleteEnvironmentInternal completeEnvironment

metamodelManager

@NonNull
protected final PivotMetamodelManager metamodelManager

oclTupleType

protected final Class oclTupleType

Constructor Detail

TupleTypeManager

public TupleTypeManager(@NonNull
                        CompleteEnvironmentInternal allCompleteClasses)

Method Detail

dispose

public void dispose()

getCommonType

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

getTupleType

@NonNull
public TupleType getTupleType(@NonNull
                                        IdResolver idResolver,
                                        @NonNull
                                        TupleTypeId tupleTypeId)

getTupleType

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

getTupleType

@NonNull
public TupleType getTupleType(@NonNull
                                        java.lang.String tupleName,
                                        @NonNull
                                        java.util.Map<java.lang.String,? extends Type> parts)

Return the named tuple typeId with the defined parts (which need not be alphabetically ordered).

getTupleType

@NonNull
public TupleType getTupleType(@NonNull
                                        TupleType type,
                                        @Nullable
                                        TemplateParameterSubstitutions usageBindings)