|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.emf.ocl.expressions.impl.ValidationVisitorImpl
public class ValidationVisitorImpl
| Method Summary | |
|---|---|
protected Environment |
getEnvironment(ASTNode node)
Obtains the current environment, which may be inferred from the context of the constraint that we are validating. |
static Visitor |
getInstance()
Obtains an instance of the validation visitor that assumes an Ecore environment, inferred from the context of the constraint being validated. |
static Visitor |
getInstance(Environment 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. |
Object |
visitAssociationClassCallExp(AssociationClassCallExp ae)
Callback for an AssociationClassCallExp visit. |
Object |
visitBooleanLiteralExp(BooleanLiteralExp bl)
Callback for a BooleanLiteralExp visit. |
Object |
visitCollectionLiteralExp(CollectionLiteralExp cl)
Callback for a CollectionLiteralExp visit. |
Object |
visitConstraint(Constraint constraint)
Applies well-formedness rules to constraints. |
Object |
visitEnumLiteralExp(EnumLiteralExp el)
Callback for an EnumLiteralExp visit. |
Object |
visitIfExp(IfExp i)
Callback for an IfExp visit. |
Object |
visitIntegerLiteralExp(IntegerLiteralExp il)
Callback for an IntegerLiteralExp visit. |
Object |
visitInvalidLiteralExp(InvalidLiteralExp il)
|
Object |
visitIterateExp(IterateExp ie)
Callback for an IterateExp visit. |
Object |
visitIteratorExp(IteratorExp ie)
Callback for an IteratorExp visit. |
Object |
visitLetExp(LetExp l)
Callback for LetExp visit. |
Object |
visitMessageExp(MessageExp m)
|
Object |
visitNullLiteralExp(NullLiteralExp il)
|
Object |
visitOperationCallExp(OperationCallExp oc)
Callback for an OperationCallExp visit. |
Object |
visitPropertyCallExp(PropertyCallExp pc)
Callback for an PropertyCallExp visit. |
Object |
visitRealLiteralExp(RealLiteralExp rl)
Callback for a RealLiteralExp visit. |
Object |
visitStateExp(StateExp s)
|
Object |
visitStringLiteralExp(StringLiteralExp sl)
Callback for a StringLiteralExp visit. |
Object |
visitTupleLiteralExp(TupleLiteralExp tl)
Callback for a TupleLiteralExp visit. |
Object |
visitTupleLiteralPart(TupleLiteralPart tp)
|
Object |
visitTypeExp(TypeExp t)
Callback for a TypeExp visit. |
Object |
visitUnspecifiedValueExp(UnspecifiedValueExp uv)
Callback for an UnspecifiedValueExp visit. |
Object |
visitVariable(Variable vd)
Callback for a VariableDeclaration visit. |
Object |
visitVariableExp(VariableExp v)
Callback for a VariableExp visit. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public static Visitor getInstance()
public static Visitor getInstance(Environment environment)
environment - an OCL environment
protected Environment getEnvironment(ASTNode node)
node - an AST node from which possibly to infer the environment.
If null, it will be assumed that we were initialized
with an environment
public Object visitOperationCallExp(OperationCallExp oc)
visitOperationCallExp in interface Visitoroc - the operation call expression
public Object visitEnumLiteralExp(EnumLiteralExp el)
visitEnumLiteralExp in interface Visitorel - the enumeration literal expresion
public Object visitVariableExp(VariableExp v)
visitVariableExp in interface Visitorv - the variable expression
public Object visitPropertyCallExp(PropertyCallExp pc)
visitPropertyCallExp in interface Visitorpc - the property call expression
public Object visitAssociationClassCallExp(AssociationClassCallExp ae)
visitAssociationClassCallExp in interface Visitorae - the association end expression
public Object visitVariable(Variable vd)
visitVariable in interface Visitorvd - --
variable declaration
public Object visitIfExp(IfExp i)
visitIfExp in interface Visitori - -
if expression
public Object visitMessageExp(MessageExp m)
visitMessageExp in interface Visitorpublic Object visitUnspecifiedValueExp(UnspecifiedValueExp uv)
visitUnspecifiedValueExp in interface Visitoruv - --
unspecified value expression
public Object visitTypeExp(TypeExp t)
visitTypeExp in interface Visitorpublic Object visitIntegerLiteralExp(IntegerLiteralExp il)
visitIntegerLiteralExp in interface Visitoril - -
integer literal expression
public Object visitRealLiteralExp(RealLiteralExp rl)
visitRealLiteralExp in interface Visitorrl - --
real literal expression
public Object visitStringLiteralExp(StringLiteralExp sl)
visitStringLiteralExp in interface Visitorsl - --
string literal expression
public Object visitBooleanLiteralExp(BooleanLiteralExp bl)
visitBooleanLiteralExp in interface Visitorbl - -
boolean literal expression
public Object visitLetExp(LetExp l)
visitLetExp in interface Visitorl - --
let expression
public Object visitIterateExp(IterateExp ie)
visitIterateExp in interface Visitorie - -
iterate expression
public Object visitIteratorExp(IteratorExp ie)
visitIteratorExp in interface Visitorie - --
iterator expression
public Object visitCollectionLiteralExp(CollectionLiteralExp cl)
visitCollectionLiteralExp in interface Visitorcl - --
collection literal expression
public Object visitTupleLiteralExp(TupleLiteralExp tl)
visitTupleLiteralExp in interface Visitortl - tuple literal expression
public Object visitTupleLiteralPart(TupleLiteralPart tp)
visitTupleLiteralPart in interface Visitorpublic Object visitStateExp(StateExp s)
visitStateExp in interface Visitorpublic Object visitConstraint(Constraint constraint)
visitConstraint in interface Visitorconstraint - the constraint to validatepublic Object visitInvalidLiteralExp(InvalidLiteralExp il)
visitInvalidLiteralExp in interface Visitorpublic Object visitNullLiteralExp(NullLiteralExp il)
visitNullLiteralExp in interface Visitor
|
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 | |||||||||