org.eclipse.ocl.pivot.values

Class TemplateParameterSubstitutions.Empty

java.lang.Object

org.eclipse.ocl.pivot.values.TemplateParameterSubstitutions.Empty

All Implemented Interfaces:

TemplateParameterSubstitutions

Enclosing interface:

TemplateParameterSubstitutions

public static class TemplateParameterSubstitutions.Empty
extends java.lang.Object
implements TemplateParameterSubstitutions

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.values.TemplateParameterSubstitutions

TemplateParameterSubstitutions.Empty

Field Summary

Fields inherited from interface org.eclipse.ocl.pivot.values.TemplateParameterSubstitutions

EMPTY

Constructor Summary

Constructors

Constructor and Description
TemplateParameterSubstitutions.Empty()

Method Summary

Methods

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.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TemplateParameterSubstitutions.Empty

public TemplateParameterSubstitutions.Empty()

Method Detail

get

@Nullable
public Type get(@Nullable
                TemplateParameter templateParameter)

Description copied from interface: TemplateParameterSubstitutions

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

Specified by:

get in interface TemplateParameterSubstitutions

isEmpty

public boolean isEmpty()

Description copied from interface: TemplateParameterSubstitutions

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

Specified by:

isEmpty in interface TemplateParameterSubstitutions

put

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

Description copied from interface: TemplateParameterSubstitutions

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

Specified by:

put in interface TemplateParameterSubstitutions

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object