org.eclipse.ocl.ecore.parser

Class ValidationVisitor

java.lang.Object

org.eclipse.ocl.parser.ValidationVisitor<EPackage,EClassifier,EOperation,EStructuralFeature,EEnumLiteral,EParameter,EObject,CallOperationAction,SendSignalAction,Constraint,EClass,EObject>

org.eclipse.ocl.ecore.parser.ValidationVisitor

All Implemented Interfaces:

VisitorExtension<Boolean>, Visitor<Boolean,EClassifier,EOperation,EStructuralFeature,EEnumLiteral,EParameter,EObject,CallOperationAction,SendSignalAction,Constraint>

public class ValidationVisitor
extends ValidationVisitor<EPackage,EClassifier,EOperation,EStructuralFeature,EEnumLiteral,EParameter,EObject,CallOperationAction,SendSignalAction,Constraint,EClass,EObject>
implements VisitorExtension<Boolean>

Since:

3.1

Constructor Summary

Constructors

Constructor and Description
ValidationVisitor(Environment<EPackage,EClassifier,EOperation,EStructuralFeature,EEnumLiteral,EParameter,EObject,CallOperationAction,SendSignalAction,Constraint,EClass,EObject> environment)

Method Summary

Modifier and Type	Method and Description
Boolean	visitOppositePropertyCallExp(OppositePropertyCallExp pc) Callback for an PropertyCallExp visit.

Methods inherited from class org.eclipse.ocl.parser.ValidationVisitor

getInstance, visitAssociationClassCallExp, visitBooleanLiteralExp, visitCollectionItem, visitCollectionLiteralExp, visitCollectionRange, visitConstraint, visitEnumLiteralExp, visitExpressionInOCL, visitFeatureCallExp, visitIfExp, visitIntegerLiteralExp, visitInvalidLiteralExp, visitIterateExp, visitIteratorExp, visitLetExp, visitMessageExp, visitNullLiteralExp, visitOperationCallExp, visitPropertyCallExp, visitRealLiteralExp, visitStateExp, visitStringLiteralExp, visitTupleLiteralExp, visitTupleLiteralPart, visitTypeExp, visitUnlimitedNaturalLiteralExp, visitUnspecifiedValueExp, visitVariable, visitVariableExp

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ValidationVisitor

public ValidationVisitor(Environment<EPackage,EClassifier,EOperation,EStructuralFeature,EEnumLiteral,EParameter,EObject,CallOperationAction,SendSignalAction,Constraint,EClass,EObject> environment)

Method Detail

visitOppositePropertyCallExp

public Boolean visitOppositePropertyCallExp(OppositePropertyCallExp pc)

Callback for an PropertyCallExp visit. Well-formedness rule: The type of the PropertyCallExp is the type of the referred EStructuralFeature.

Specified by:

visitOppositePropertyCallExp in interface VisitorExtension<Boolean>

Parameters:

pc - the property call expression

Returns:

Boolean -- true if validated

Since:

3.1