public class ValidationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> extends Object implements Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT>
Constructor and Description |
---|
ValidationVisitor(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> environment)
Initializes me to validate expressions in the specified environment.
|
Modifier and Type | Method and Description |
---|---|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
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.
|
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 |
visitFeatureCallExp(FeatureCallExp<C> exp)
Applies well-formedness rules for model property calls in general.
|
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.
|
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
)public Boolean visitOperationCallExp(OperationCallExp<C,O> oc)
public Boolean visitEnumLiteralExp(EnumLiteralExp<C,EL> el)
public Boolean visitVariableExp(VariableExp<C,PM> v)
public Boolean visitPropertyCallExp(PropertyCallExp<C,P> pc)
public Boolean visitAssociationClassCallExp(AssociationClassCallExp<C,P> ae)
public Boolean visitVariable(Variable<C,PM> vd)
public Boolean visitIfExp(IfExp<C> i)
public Boolean visitMessageExp(MessageExp<C,COA,SSA> m)
Visitor
public Boolean visitUnspecifiedValueExp(UnspecifiedValueExp<C> uv)
public Boolean visitIntegerLiteralExp(IntegerLiteralExp<C> il)
public Boolean visitUnlimitedNaturalLiteralExp(UnlimitedNaturalLiteralExp<C> unl)
public Boolean visitRealLiteralExp(RealLiteralExp<C> rl)
public Boolean visitStringLiteralExp(StringLiteralExp<C> sl)
public Boolean visitBooleanLiteralExp(BooleanLiteralExp<C> bl)
public Boolean visitLetExp(LetExp<C,PM> l)
public Boolean visitIterateExp(IterateExp<C,PM> ie)
public Boolean visitIteratorExp(IteratorExp<C,PM> ie)
public Boolean visitCollectionLiteralExp(CollectionLiteralExp<C> cl)
public Boolean visitCollectionItem(CollectionItem<C> item)
Visitor
public Boolean visitCollectionRange(CollectionRange<C> range)
Visitor
public Boolean visitTupleLiteralExp(TupleLiteralExp<C,P> tl)
public Boolean visitTupleLiteralPart(TupleLiteralPart<C,P> tp)
Visitor
public Boolean visitStateExp(StateExp<C,S> s)
Visitor
public Boolean visitFeatureCallExp(FeatureCallExp<C> exp)
exp
- the model property call expression to validatepublic Boolean visitInvalidLiteralExp(InvalidLiteralExp<C> il)
Visitor
public Boolean visitNullLiteralExp(NullLiteralExp<C> il)
Visitor
public Boolean visitExpressionInOCL(ExpressionInOCL<C,PM> expression)
Visitor
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.