org.eclipse.ocl.pivot.internal.manager

Class TemplateSpecialisation

java.lang.Object

org.eclipse.ocl.pivot.internal.manager.TemplateSpecialisation

public class TemplateSpecialisation
extends Object

A TemplateSpecialisation supports resolution of template parameter within an element referenced from an OCL expression. For instance a PropertyCallExp.referredProperty references the unspecialised Property and consequently the type and owningType of the referredProperty may have unresolved template parameters. These may be resolved by exploiting the bindings of the ProperyCallExp.source.

Invocation should first invoke needsSpecialisation() to discover whether the cost of constructing a TemplateSpecialisation can be bypassed. If specialisation is needed a TemplateSpecialisation should be constructed for the prevailing OCL Standard Library, and known type equivalences installed by invoking installEquivalence() for each. getSpecialisation may then be used to resolve the type.

Constructor Summary

Constructors

Constructor and Description
TemplateSpecialisation(CompleteEnvironment environment)

Method Summary

Modifier and Type	Method and Description
Class	getSpecialisation(Type referredType)
void	installEquivalence(Type resolvedType, Type referencedType)
static boolean	needsSpecialisation(Type referencedType) Return true if a referencedType needs specialisation to resolve a template parameter.

Methods inherited from class java.lang.Object

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

Constructor Detail

TemplateSpecialisation

public TemplateSpecialisation(CompleteEnvironment environment)

Method Detail

needsSpecialisation

public static boolean needsSpecialisation(Type referencedType)

Return true if a referencedType needs specialisation to resolve a template parameter.

getSpecialisation

public Class getSpecialisation(Type referredType)

installEquivalence

public void installEquivalence(Type resolvedType,
                               Type referencedType)