public class TemplateSpecialisation extends Object
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 and Description |
---|
TemplateSpecialisation(CompleteEnvironment environment) |
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.
|
public TemplateSpecialisation(CompleteEnvironment environment)
public static boolean needsSpecialisation(Type referencedType)
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.