|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ocl.parser.ValidationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
public class ValidationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
Checks the well-formedness rules for the expressions package
| Constructor Summary | |
|---|---|
protected |
ValidationVisitor(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> environment)
Initializes me to validate expressions in the specified environment. |
| Method Summary | ||
|---|---|---|
static
|
getInstance(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> environment)
Obtains an instance of the validation visitor that validates against the specified environment, which presumably was used in parsing the OCL in the first place. |
|
protected C |
getOCLType(Object metaElement)
Obtains the type of a meta-element, ensuring that the result is canonicalized with respect to the current environment (via its type resolver). |
|
protected Boolean |
validatorError(Object problemObject,
String problemMessage,
String problemContext)
Pass a problemMessage generated for a problemObject at some validationContext to env.getErrorHandler(). |
|
Boolean |
visitAssociationClassCallExp(AssociationClassCallExp<C,P> ae)
Callback for an AssociationClassCallExp visit. |
|
Boolean |
visitBooleanLiteralExp(BooleanLiteralExp<C> bl)
Callback for a BooleanLiteralExp visit. |
|
Boolean |
visitCollectionItem(CollectionItem<C> item)
|
|
Boolean |
visitCollectionLiteralExp(CollectionLiteralExp<C> cl)
Callback for a CollectionLiteralExp visit. |
|
Boolean |
visitCollectionRange(CollectionRange<C> range)
|
|
Boolean |
visitConstraint(CT constraint)
Applies well-formedness rules to constraints. |
|
Boolean |
visitEnumLiteralExp(EnumLiteralExp<C,EL> el)
Callback for an EnumLiteralExp visit. |
|
Boolean |
visitExpressionInOCL(ExpressionInOCL<C,PM> expression)
|
|
Boolean |
visitIfExp(IfExp<C> i)
Callback for an IfExp visit. |
|
Boolean |
visitIntegerLiteralExp(IntegerLiteralExp<C> il)
Callback for an IntegerLiteralExp visit. |
|
Boolean |
visitInvalidLiteralExp(InvalidLiteralExp<C> il)
|
|
Boolean |
visitIterateExp(IterateExp<C,PM> ie)
Callback for an IterateExp visit. |
|
Boolean |
visitIteratorExp(IteratorExp<C,PM> ie)
Callback for an IteratorExp visit. |
|
Boolean |
visitLetExp(LetExp<C,PM> l)
Callback for LetExp visit. |
|
Boolean |
visitMessageExp(MessageExp<C,COA,SSA> m)
|
|
Boolean |
visitNullLiteralExp(NullLiteralExp<C> il)
|
|
Boolean |
visitOperationCallExp(OperationCallExp<C,O> oc)
Callback for an OperationCallExp visit. |
|
Boolean |
visitPropertyCallExp(PropertyCallExp<C,P> pc)
Callback for an PropertyCallExp visit. |
|
Boolean |
visitRealLiteralExp(RealLiteralExp<C> rl)
Callback for a RealLiteralExp visit. |
|
Boolean |
visitStateExp(StateExp<C,S> s)
|
|
Boolean |
visitStringLiteralExp(StringLiteralExp<C> sl)
Callback for a StringLiteralExp visit. |
|
Boolean |
visitTupleLiteralExp(TupleLiteralExp<C,P> tl)
Callback for a TupleLiteralExp visit. |
|
Boolean |
visitTupleLiteralPart(TupleLiteralPart<C,P> tp)
|
|
Boolean |
visitTypeExp(TypeExp<C> t)
Callback for a TypeExp visit. |
|
Boolean |
visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<C> unl)
Callback for an UnlimitedNaturalLiteralExp visit. |
|
Boolean |
visitUnspecifiedValueExp(UnspecifiedValueExp<C> uv)
Callback for an UnspecifiedValueExp visit. |
|
Boolean |
visitVariable(Variable<C,PM> vd)
Callback for a VariableDeclaration visit. |
|
Boolean |
visitVariableExp(VariableExp<C,PM> v)
Callback for a VariableExp visit. |
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
protected ValidationVisitor(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> environment)
environment - the environment| Method Detail |
|---|
public static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT> getInstance(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> environment)
environment - an OCL environment (must no be null)
protected Boolean validatorError(Object problemObject,
String problemMessage,
String problemContext)
problemObject - The object being validated, may be null if unknownproblemMessage - The problem with problemObjectvalidationContext - Optional context of the validator, may be null
public Boolean visitOperationCallExp(OperationCallExp<C,O> oc)
visitOperationCallExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>oc - the operation call expression
public Boolean visitEnumLiteralExp(EnumLiteralExp<C,EL> el)
visitEnumLiteralExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>el - the enumeration literal expresion
public Boolean visitVariableExp(VariableExp<C,PM> v)
visitVariableExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>v - the variable expression
public Boolean visitPropertyCallExp(PropertyCallExp<C,P> pc)
visitPropertyCallExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>pc - the property call expression
public Boolean visitAssociationClassCallExp(AssociationClassCallExp<C,P> ae)
visitAssociationClassCallExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>ae - the association end expression
public Boolean visitVariable(Variable<C,PM> vd)
visitVariable in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>vd - --
variable declaration
public Boolean visitIfExp(IfExp<C> i)
visitIfExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>i - -
if expression
public Boolean visitMessageExp(MessageExp<C,COA,SSA> m)
Visitor
visitMessageExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>public Boolean visitUnspecifiedValueExp(UnspecifiedValueExp<C> uv)
visitUnspecifiedValueExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>uv - --
unspecified value expression
public Boolean visitTypeExp(TypeExp<C> t)
visitTypeExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>public Boolean visitIntegerLiteralExp(IntegerLiteralExp<C> il)
visitIntegerLiteralExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>il - -
integer literal expression
public Boolean visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<C> unl)
visitUnlimitedNaturalLiteralExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>unl - -
unlimited literal expression
public Boolean visitRealLiteralExp(RealLiteralExp<C> rl)
visitRealLiteralExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>rl - --
real literal expression
public Boolean visitStringLiteralExp(StringLiteralExp<C> sl)
visitStringLiteralExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>sl - --
string literal expression
public Boolean visitBooleanLiteralExp(BooleanLiteralExp<C> bl)
visitBooleanLiteralExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>bl - -
boolean literal expression
public Boolean visitLetExp(LetExp<C,PM> l)
visitLetExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>l - --
let expression
public Boolean visitIterateExp(IterateExp<C,PM> ie)
visitIterateExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>ie - -
iterate expression
public Boolean visitIteratorExp(IteratorExp<C,PM> ie)
visitIteratorExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>ie - --
iterator expression
public Boolean visitCollectionLiteralExp(CollectionLiteralExp<C> cl)
visitCollectionLiteralExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>cl - --
collection literal expression
public Boolean visitCollectionItem(CollectionItem<C> item)
Visitor
visitCollectionItem in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>public Boolean visitCollectionRange(CollectionRange<C> range)
Visitor
visitCollectionRange in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>public Boolean visitTupleLiteralExp(TupleLiteralExp<C,P> tl)
visitTupleLiteralExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>tl - tuple literal expression
public Boolean visitTupleLiteralPart(TupleLiteralPart<C,P> tp)
Visitor
visitTupleLiteralPart in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>public Boolean visitStateExp(StateExp<C,S> s)
Visitor
visitStateExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>public Boolean visitInvalidLiteralExp(InvalidLiteralExp<C> il)
Visitor
visitInvalidLiteralExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>public Boolean visitNullLiteralExp(NullLiteralExp<C> il)
Visitor
visitNullLiteralExp in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>public Boolean visitExpressionInOCL(ExpressionInOCL<C,PM> expression)
Visitor
visitExpressionInOCL in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>public Boolean visitConstraint(CT constraint)
visitConstraint in interface Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>constraint - the constraint to validateprotected C getOCLType(Object metaElement)
metaElement - a typed meta-element
UMLReflection.getOCLType(Object)
|
Copyright 2002, 2007 IBM Corporation and others. All Rights Reserved. |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||