net.sourceforge.nrl.parser.ast.constraints
Interface INRLConstraintDetailVisitor

All Known Subinterfaces:

INRLActionDetailVisitor

All Known Implementing Classes:

ActionTypeChecker, ConstraintTypeChecker, INRLActionDetailVisitor.Stub, INRLConstraintDetailVisitor.Stub

public interface INRLConstraintDetailVisitor

A more complete visitor class with callbacks for each type of node that can be found in the AST for constraint files. INRLActionDetailVisitor extends this to cover the action language.

The class has two methods for each construct:

• The before method is called before the children of the node are processed. You must return a boolean true if you want the children to be processed, or false otherwise.
• The after method is always visited (even if the before method returned false), after the children have been processed.

How to use: To use this interface, do the following:

• Implement this interface, or extend INRLConstraintDetailVisitor.Stub.
• Instantiate ConstraintVisitorDispatcher and pass your instance to it.
• Call INRLAstNode.accept(INRLAstVisitor), passing the dispatcher to it.

Nested Class Summary

static class

INRLConstraintDetailVisitor.Stub Extend from this if you don't want to implement the full interface.

Method Summary

void	visitArithmeticExpressionAfter(IArithmeticExpression expr)
boolean	visitArithmeticExpressionBefore(IArithmeticExpression expr)
void	visitBinaryOperatorStatementAfter(IBinaryOperatorStatement statement)
boolean	visitBinaryOperatorStatementBefore(IBinaryOperatorStatement statement)
void	visitBinaryPredicateAfter(IBinaryPredicate predicate)
boolean	visitBinaryPredicateBefore(IBinaryPredicate predicate)
void	visitBooleanLiteral(IBooleanLiteral bool)
void	visitCardinalityConstraint(ICardinalityConstraint constraint)
void	visitCastExpressionAfter(ICastExpression expr)
boolean	visitCastExpressionBefore(ICastExpression expr)
void	visitCollectionIndexAfter(ICollectionIndex index)
boolean	visitCollectionIndexBefore(ICollectionIndex index)
void	visitCompoundReportAfter(ICompoundReport report)
boolean	visitCompoundReportBefore(ICompoundReport report)
void	visitConcatenatedReportAfter(IConcatenatedReport report)
boolean	visitConcatenatedReportBefore(IConcatenatedReport report)
void	visitConditionalReportAfter(IConditionalReport report)
boolean	visitConditionalReportBefore(IConditionalReport report)
void	visitConstraintRuleDeclarationAfter(IConstraintRuleDeclaration decl)
boolean	visitConstraintRuleDeclarationBefore(IConstraintRuleDeclaration decl)
void	visitDecimalNumber(IDecimalNumber number)
void	visitExistsStatementAfter(IExistsStatement exists)
boolean	visitExistsStatementBefore(IExistsStatement exists)
void	visitForallStatementAfter(IForallStatement forall)
boolean	visitForallStatementBefore(IForallStatement forall)
void	visitFunctionalExpressionAfter(IFunctionalExpression expr)
boolean	visitFunctionalExpressionBefore(IFunctionalExpression expr)
void	visitGlobalExistsStatementAfter(IGlobalExistsStatement exists)
boolean	visitGlobalExistsStatementBefore(IGlobalExistsStatement exists)
void	visitIfThenStatementAfter(IIfThenStatement ifThen)
boolean	visitIfThenStatementBefore(IIfThenStatement ifThen)
void	visitIntegerNumber(IIntegerNumber number)
void	visitIsInPredicateAfter(IIsInPredicate isIn)
boolean	visitIsInPredicateBefore(IIsInPredicate isIn)
void	visitIsNotInPredicateAfter(IIsNotInPredicate isNotIn)
boolean	visitIsNotInPredicateBefore(IIsNotInPredicate isNotIn)
void	visitIsSubtypePredicateAfter(IIsSubtypePredicate subType)
boolean	visitIsSubtypePredicateBefore(IIsSubtypePredicate subType)
void	visitLiteralString(ILiteralString literal)
void	visitModelReferenceAfter(IModelReference ref)
boolean	visitModelReferenceBefore(IModelReference ref)
void	visitMultipleExistsStatementAfter(IMultipleExistsStatement statement)
boolean	visitMultipleExistsStatementBefore(IMultipleExistsStatement statement)
void	visitMultipleNotExistsStatementAfter(IMultipleNotExistsStatement statement)
boolean	visitMultipleNotExistsStatementBefore(IMultipleNotExistsStatement statement)
void	visitNotExistsStatementAfter(INotExistsStatement exists)
boolean	visitNotExistsStatementBefore(INotExistsStatement exists)
void	visitOperatorInvocationAfter(IOperatorInvocation op)
boolean	visitOperatorInvocationBefore(IOperatorInvocation op)
void	visitRuleFileAfter(IRuleFile file)
boolean	visitRuleFileBefore(IRuleFile file)
void	visitRuleSetDeclarationAfter(IRuleSetDeclaration decl)
boolean	visitRuleSetDeclarationBefore(IRuleSetDeclaration decl)
void	visitSelectionExpressionAfter(ISelectionExpression expr)
boolean	visitSelectionExpressionBefore(ISelectionExpression expr)
void	visitValidationFragmentApplicationAfter(IValidationFragmentApplication app)
boolean	visitValidationFragmentApplicationBefore(IValidationFragmentApplication app)
void	visitValidationFragmentDeclarationAfter(IValidationFragmentDeclaration decl)
boolean	visitValidationFragmentDeclarationBefore(IValidationFragmentDeclaration decl)
void	visitVariableDeclarationAfter(IVariableDeclaration decl)
boolean	visitVariableDeclarationBefore(IVariableDeclaration decl)

Method Detail

visitArithmeticExpressionAfter

void visitArithmeticExpressionAfter(IArithmeticExpression expr)

visitArithmeticExpressionBefore

boolean visitArithmeticExpressionBefore(IArithmeticExpression expr)

visitBinaryOperatorStatementAfter

void visitBinaryOperatorStatementAfter(IBinaryOperatorStatement statement)

visitBinaryOperatorStatementBefore

boolean visitBinaryOperatorStatementBefore(IBinaryOperatorStatement statement)

visitBinaryPredicateAfter

void visitBinaryPredicateAfter(IBinaryPredicate predicate)

visitBinaryPredicateBefore

boolean visitBinaryPredicateBefore(IBinaryPredicate predicate)

visitBooleanLiteral

void visitBooleanLiteral(IBooleanLiteral bool)

visitCardinalityConstraint

void visitCardinalityConstraint(ICardinalityConstraint constraint)

visitCastExpressionAfter

void visitCastExpressionAfter(ICastExpression expr)

visitCastExpressionBefore

boolean visitCastExpressionBefore(ICastExpression expr)

visitCollectionIndexAfter

void visitCollectionIndexAfter(ICollectionIndex index)

visitCollectionIndexBefore

boolean visitCollectionIndexBefore(ICollectionIndex index)

visitCompoundReportAfter

void visitCompoundReportAfter(ICompoundReport report)

visitCompoundReportBefore

boolean visitCompoundReportBefore(ICompoundReport report)

visitConcatenatedReportAfter

void visitConcatenatedReportAfter(IConcatenatedReport report)

visitConcatenatedReportBefore

boolean visitConcatenatedReportBefore(IConcatenatedReport report)

visitConditionalReportAfter

void visitConditionalReportAfter(IConditionalReport report)

visitConditionalReportBefore

boolean visitConditionalReportBefore(IConditionalReport report)

visitConstraintRuleDeclarationAfter

void visitConstraintRuleDeclarationAfter(IConstraintRuleDeclaration decl)

visitConstraintRuleDeclarationBefore

boolean visitConstraintRuleDeclarationBefore(IConstraintRuleDeclaration decl)

visitDecimalNumber

void visitDecimalNumber(IDecimalNumber number)

visitExistsStatementAfter

void visitExistsStatementAfter(IExistsStatement exists)

visitExistsStatementBefore

boolean visitExistsStatementBefore(IExistsStatement exists)

visitForallStatementAfter

void visitForallStatementAfter(IForallStatement forall)

visitForallStatementBefore

boolean visitForallStatementBefore(IForallStatement forall)

visitFunctionalExpressionAfter

void visitFunctionalExpressionAfter(IFunctionalExpression expr)

visitFunctionalExpressionBefore

boolean visitFunctionalExpressionBefore(IFunctionalExpression expr)

visitGlobalExistsStatementAfter

void visitGlobalExistsStatementAfter(IGlobalExistsStatement exists)

visitGlobalExistsStatementBefore

boolean visitGlobalExistsStatementBefore(IGlobalExistsStatement exists)

visitIfThenStatementAfter

void visitIfThenStatementAfter(IIfThenStatement ifThen)

visitIfThenStatementBefore

boolean visitIfThenStatementBefore(IIfThenStatement ifThen)

visitIntegerNumber

void visitIntegerNumber(IIntegerNumber number)

visitIsInPredicateAfter

void visitIsInPredicateAfter(IIsInPredicate isIn)

visitIsInPredicateBefore

boolean visitIsInPredicateBefore(IIsInPredicate isIn)

visitIsNotInPredicateAfter

void visitIsNotInPredicateAfter(IIsNotInPredicate isNotIn)

visitIsNotInPredicateBefore

boolean visitIsNotInPredicateBefore(IIsNotInPredicate isNotIn)

visitIsSubtypePredicateAfter

void visitIsSubtypePredicateAfter(IIsSubtypePredicate subType)

visitIsSubtypePredicateBefore

boolean visitIsSubtypePredicateBefore(IIsSubtypePredicate subType)

visitLiteralString

void visitLiteralString(ILiteralString literal)

visitModelReferenceAfter

void visitModelReferenceAfter(IModelReference ref)

visitModelReferenceBefore

boolean visitModelReferenceBefore(IModelReference ref)

visitMultipleExistsStatementAfter

void visitMultipleExistsStatementAfter(IMultipleExistsStatement statement)

visitMultipleExistsStatementBefore

boolean visitMultipleExistsStatementBefore(IMultipleExistsStatement statement)

visitMultipleNotExistsStatementAfter

void visitMultipleNotExistsStatementAfter(IMultipleNotExistsStatement statement)

visitMultipleNotExistsStatementBefore

boolean visitMultipleNotExistsStatementBefore(IMultipleNotExistsStatement statement)

visitNotExistsStatementAfter

void visitNotExistsStatementAfter(INotExistsStatement exists)

visitNotExistsStatementBefore

boolean visitNotExistsStatementBefore(INotExistsStatement exists)

visitOperatorInvocationAfter

void visitOperatorInvocationAfter(IOperatorInvocation op)

visitOperatorInvocationBefore

boolean visitOperatorInvocationBefore(IOperatorInvocation op)

visitRuleFileAfter

void visitRuleFileAfter(IRuleFile file)

visitRuleFileBefore

boolean visitRuleFileBefore(IRuleFile file)

visitRuleSetDeclarationAfter

void visitRuleSetDeclarationAfter(IRuleSetDeclaration decl)

visitRuleSetDeclarationBefore

boolean visitRuleSetDeclarationBefore(IRuleSetDeclaration decl)

visitSelectionExpressionAfter

void visitSelectionExpressionAfter(ISelectionExpression expr)

visitSelectionExpressionBefore

boolean visitSelectionExpressionBefore(ISelectionExpression expr)

visitValidationFragmentApplicationAfter

void visitValidationFragmentApplicationAfter(IValidationFragmentApplication app)

visitValidationFragmentApplicationBefore

boolean visitValidationFragmentApplicationBefore(IValidationFragmentApplication app)

visitValidationFragmentDeclarationAfter

void visitValidationFragmentDeclarationAfter(IValidationFragmentDeclaration decl)

visitValidationFragmentDeclarationBefore

boolean visitValidationFragmentDeclarationBefore(IValidationFragmentDeclaration decl)

visitVariableDeclarationAfter

void visitVariableDeclarationAfter(IVariableDeclaration decl)

visitVariableDeclarationBefore

boolean visitVariableDeclarationBefore(IVariableDeclaration decl)