public interface TypeChecker<C,O,P>
This optional interface is to be implemented by clients that want to add type
checking capabilities to their Environment
.
The AbstractTypeChecker
provides the default implementation for the
OCL type system. Rather than implement this interface, it is suggested that,
if at al possible, clients extend the AbstractTypeChecker
class,
instead.
See the Environment
interface for a description of the generic type
parameters of this class. See the AbstractTypeChecker
class for
classes for implementation details.
AbstractTypeChecker
Modifier and Type | Interface and Description |
---|---|
static interface |
TypeChecker.Cached<C,O,P>
The extended Cached interface supports dynamic dsiaptch and more focussed lookups.
|
Modifier and Type | Method and Description |
---|---|
boolean |
checkMutuallyComparable(Object problemObject,
C type1,
C type2,
int opcode)
Checks whether two types are mutually comparable in the determination of
the applicability of = and <> operations.
|
C |
commonSuperType(Object problemObject,
C type1,
C type2)
Get the common supertype of two types.
|
boolean |
compatibleTypeMatch(C type1,
C type2)
Compare two types.
|
boolean |
exactTypeMatch(C type1,
C type2)
Compare two types.
|
P |
findAttribute(C owner,
String name)
Finds the most specific (re)definition of an attribute in the specified
classifier.
|
O |
findOperationMatching(C owner,
String name,
List<? extends TypedElement<C>> args)
Finds an operation by signature in the specified classifier.
|
C |
findSignalMatching(C receiver,
List<C> signals,
String name,
List<? extends TypedElement<C>> args)
Find a matching signal in the specified list.
|
List<P> |
getAttributes(C owner)
Obtains all of the OCL attributes applicable to the specified owner type,
including any that were defined in the OCL environment as additional
attributes.
|
List<O> |
getOperations(C owner)
Obtains all of the OCL operations applicable to the specified owner type,
including any that were defined in the OCL environment as additional
operations.
|
C |
getPropertyType(C owner,
P property)
Gets the type of a property, accounting for the fact that we may be
navigating to it from an association class (in which the member ends of
an association always have multiplicity 1) or not.
|
int |
getRelationship(C type1,
C type2)
Queries the relationship, according to generalizations, of two types.
|
C |
getResultType(Object problemObject,
C owner,
O operation,
List<? extends TypedElement<C>> args)
Obtains the effective result type of the specified operation, which may
or may not have parameters type by generic type variables.
|
boolean |
isStandardLibraryFeature(C owner,
Object feature)
Queries whether the specified feature (operation or attribute), as
applied to a particular owner classifier, is defined by the
standard library or not (in which case it would, presumably, be
user-defined).
|
boolean |
matchArgs(C owner,
List<?> paramsOrProperties,
List<? extends TypedElement<C>> args)
Compares an actual argument list against the signature of an operation or
a signal.
|
O |
resolveGenericSignature(C owner,
O oper)
Resolves the signature of a generic operation (where it has parameters of
type and/or T or T2) against the source type of the
operation, as appropriate.
|
int getRelationship(C type1, C type2)
UMLReflection.getRelationship(Object, Object)
method does not.type1
- a typetype2
- another typeUMLReflection
interfaceUMLReflection.getRelationship(Object, Object)
C getResultType(Object problemObject, C owner, O operation, List<? extends TypedElement<C>> args)
problemObject
- the context object on which to report any problem that we may
find in computing the result type. Usually this is some
abstract or concrete syntax tree nodeowner
- the owner of the operation (type on which the operation is
called)operation
- the operation signatureargs
- the arguments of the operation call, which are expressions or
variablesC getPropertyType(C owner, P property)
owner
- the source of the navigation of the property, which may be an
association class (the interesting scenario)property
- the property to navigateC commonSuperType(Object problemObject, C type1, C type2)
UMLReflection.getCommonSuperType(Object, Object)
method does not.problemObject
- the object which could have problems.type1
- a typetype2
- another typeUMLReflection.getCommonSuperType(Object, Object)
boolean checkMutuallyComparable(Object problemObject, C type1, C type2, int opcode)
problemObject
- the object which could have problems.type1
- a typetype2
- another typeopcode
- the operation codeboolean exactTypeMatch(C type1, C type2)
type1
- a typetype2
- another typeboolean compatibleTypeMatch(C type1, C type2)
type1
- a typetype2
- another typeList<O> getOperations(C owner)
owner
- the operation owner typeList<P> getAttributes(C owner)
owner
- the attribute owner typeO resolveGenericSignature(C owner, O oper)
owner
- the operation source typeoper
- the generic operationC findSignalMatching(C receiver, List<C> signals, String name, List<? extends TypedElement<C>> args)
receiver
- the type that receives the signalsignals
- the signals to searchname
- name of signal to findargs
- list of arguments to match against the signal signaturenull
if not foundO findOperationMatching(C owner, String name, List<? extends TypedElement<C>> args)
owner
- the classifier to searchname
- the name of the operationargs
- a list of arguments to match against the operation signature,
as either expressions or variablesnull
if not foundboolean matchArgs(C owner, List<?> paramsOrProperties, List<? extends TypedElement<C>> args)
owner
- the type that owns the operationparamsOrProperties
- the operation parameters or signal attributes to match against
the argumentsargs
- a list of OCLExpression
s or Variable
sP findAttribute(C owner, String name)
owner
- the classifier to searchname
- the name of the operationnull
if not foundboolean isStandardLibraryFeature(C owner, Object feature)
owner
- a classifier on which a feature is to be accessedfeature
- the feature to be accessedCopyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.