public abstract class AbstractTypeChecker<C,O,P,PM> extends Object implements TypeChecker<C,O,P>
Implementation of the TypeChecker
interface which offers the default
implementation for the type checking system. This class encapsulates the
behaviour of the 1.2 release's TypeUtil
class, in an extensible unit.
This class is not intended to be extended by clients. They should extend
AbstractTypeResolver
instead, so that TypeChecker
can be
successfully adapted by AbstractEnvironment
. However, if an already
implemented TypeResolver
wants to exploit the type checking system
extensibility, it may extend this class.
See Environment
for generic parameters description
AbstractTypeResolver
,
TypeUtil
TypeChecker.Cached<C,O,P>
Constructor and Description |
---|
AbstractTypeChecker(Environment<?,C,O,P,?,PM,?,?,?,?,?,?> env)
Initializes me with my environment.
|
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.
|
public AbstractTypeChecker(Environment<?,C,O,P,?,PM,?,?,?,?,?,?> env)
env
- my environmentpublic int getRelationship(C type1, C type2)
TypeChecker
UMLReflection.getRelationship(Object, Object)
method does not.getRelationship
in interface TypeChecker<C,O,P>
type1
- a typetype2
- another typeUMLReflection
interfaceUMLReflection.getRelationship(Object, Object)
public C getResultType(Object problemObject, C owner, O operation, List<? extends TypedElement<C>> args)
TypeChecker
getResultType
in interface TypeChecker<C,O,P>
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
variablespublic C getPropertyType(C owner, P property)
TypeChecker
getPropertyType
in interface TypeChecker<C,O,P>
owner
- the source of the navigation of the property, which may be an
association class (the interesting scenario)property
- the property to navigatepublic C commonSuperType(Object problemObject, C type1, C type2)
UMLReflection.getCommonSuperType(Object, Object)
method does not.commonSuperType
in interface TypeChecker<C,O,P>
type1
- a typetype2
- another typeproblemObject
- the object which could have problems.UMLReflection.getCommonSuperType(Object, Object)
public boolean checkMutuallyComparable(Object problemObject, C type1, C type2, int opcode)
TypeChecker
checkMutuallyComparable
in interface TypeChecker<C,O,P>
problemObject
- the object which could have problems.type1
- a typetype2
- another typeopcode
- the operation codepublic boolean exactTypeMatch(C type1, C type2)
TypeChecker
exactTypeMatch
in interface TypeChecker<C,O,P>
type1
- a typetype2
- another typepublic boolean compatibleTypeMatch(C type1, C type2)
TypeChecker
compatibleTypeMatch
in interface TypeChecker<C,O,P>
type1
- a typetype2
- another typepublic List<O> getOperations(C owner)
TypeChecker
getOperations
in interface TypeChecker<C,O,P>
owner
- the operation owner typepublic P findAttribute(C owner, String name)
findAttribute
in interface TypeChecker<C,O,P>
owner
- the classifier to searchname
- the name of the operationnull
if not foundpublic List<P> getAttributes(C owner)
TypeChecker
getAttributes
in interface TypeChecker<C,O,P>
owner
- the attribute owner typepublic O resolveGenericSignature(C owner, O oper)
TypeChecker
resolveGenericSignature
in interface TypeChecker<C,O,P>
owner
- the operation source typeoper
- the generic operationpublic boolean matchArgs(C owner, List<?> paramsOrProperties, List<? extends TypedElement<C>> args)
TypeChecker
matchArgs
in interface TypeChecker<C,O,P>
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
spublic C findSignalMatching(C receiver, List<C> signals, String name, List<? extends TypedElement<C>> args)
TypeChecker
findSignalMatching
in interface TypeChecker<C,O,P>
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 foundpublic O findOperationMatching(C owner, String name, List<? extends TypedElement<C>> args)
TypeChecker
findOperationMatching
in interface TypeChecker<C,O,P>
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 foundpublic boolean isStandardLibraryFeature(C owner, Object feature)
TypeChecker
isStandardLibraryFeature
in interface TypeChecker<C,O,P>
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.