org.eclipse.ocl.pivot.values

Interface TemplateParameterSubstitutions

All Known Implementing Classes:

PivotTemplateParameterSubstitutionVisitor, TemplateParameterSubstitutions.Empty, TemplateParameterSubstitutionVisitor, TupleTypeManager.TemplateParameterReferencesVisitor

public interface TemplateParameterSubstitutions

TemplateParameterSubstitutions defines the interaction with the matching of formal TemplateParameters and actual types. Formal template parameters are identified by theit integer intexes in a flattened list starting at the outer-most TemplateableElement. The template parameter indexes in Collection(T1)::product(T2)(...)... are therefore 0 for T1, and 1 for T2.

A derived TemplateParameterSubstitutionVisitor determines the bindings by recursive analysis of a pair of formal and actual expression/type trees.

The EMPTY instance handles the degenerate case of no template parameters.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	TemplateParameterSubstitutions.Empty

Field Summary

Fields

Modifier and Type	Field and Description
static TemplateParameterSubstitutions	EMPTY

Method Summary

Modifier and Type	Method and Description
Type	get(TemplateParameter templateParameter) Return the highest common actual type of the formal templateParameter, returning null if unknown.
boolean	isEmpty() Return true if there are no formal TemplateParameters with actual values.
Type	put(TemplateParameter formalTemplateParameter, Type actualType) Install actualType as the resolutions of formalTemplateParameter, returning the highest common type of actualType and any pre-existing resolution.

Field Detail

EMPTY

@NonNull
static final TemplateParameterSubstitutions EMPTY

Method Detail

get

@Nullable
Type get(@Nullable
                    TemplateParameter templateParameter)

Return the highest common actual type of the formal templateParameter, returning null if unknown.

isEmpty

boolean isEmpty()

Return true if there are no formal TemplateParameters with actual values.

put

@NonNull
Type put(@NonNull
                   TemplateParameter formalTemplateParameter,
                   @NonNull
                   Type actualType)

Install actualType as the resolutions of formalTemplateParameter, returning the highest common type of actualType and any pre-existing resolution.