net.sourceforge.nrl.parser.type
Class ActionTypeChecker

java.lang.Object
  net.sourceforge.nrl.parser.type.ConstraintTypeChecker
      net.sourceforge.nrl.parser.type.ActionTypeChecker

All Implemented Interfaces:

INRLActionDetailVisitor, INRLConstraintDetailVisitor, ITypeChecker

public class ActionTypeChecker
extends ConstraintTypeChecker
implements INRLActionDetailVisitor

An extension of the type checker for the action language.

Nested Class Summary

Nested classes/interfaces inherited from interface net.sourceforge.nrl.parser.ast.action.INRLActionDetailVisitor

INRLActionDetailVisitor.Stub

Constructor Summary

ActionTypeChecker()

Method Summary

void	visitActionFragmentApplicationActionAfter(IActionFragmentApplicationAction action)
boolean	visitActionFragmentApplicationActionBefore(IActionFragmentApplicationAction action)
void	visitActionFragmentDeclarationAfter(IActionFragmentDeclaration decl)
boolean	visitActionFragmentDeclarationBefore(IActionFragmentDeclaration decl)
void	visitActionRuleDeclarationAfter(IActionRuleDeclaration decl)
boolean	visitActionRuleDeclarationBefore(IActionRuleDeclaration decl)
void	visitAddActionAfter(IAddAction add)
boolean	visitAddActionBefore(IAddAction add)
void	visitCompoundActionAfter(ICompoundAction action)
boolean	visitCompoundActionBefore(ICompoundAction action)
void	visitConditionalActionAfter(IConditionalAction action)
boolean	visitConditionalActionBefore(IConditionalAction action)
void	visitCreateActionAfter(ICreateAction action)
boolean	visitCreateActionBefore(ICreateAction action)
void	visitForEachActionAfter(IForEachAction action)
boolean	visitForEachActionBefore(IForEachAction action)
void	visitOperatorActionAfter(IOperatorAction action)
boolean	visitOperatorActionBefore(IOperatorAction action)
void	visitRemoveActionAfter(IRemoveAction action)
boolean	visitRemoveActionBefore(IRemoveAction action)
void	visitRemoveFromCollectionActionAfter(IRemoveFromCollectionAction action)
boolean	visitRemoveFromCollectionActionBefore(IRemoveFromCollectionAction action)
void	visitRuleSetDeclarationAfter(IRuleSetDeclaration decl)
void	visitSetActionAfter(ISetAction action)
boolean	visitSetActionBefore(ISetAction action)
void	visitVariableDeclarationActionAfter(IVariableDeclarationAction decl)
boolean	visitVariableDeclarationActionBefore(IVariableDeclarationAction action)

Methods inherited from class net.sourceforge.nrl.parser.type.ConstraintTypeChecker

addTypeMapping, check, check, getErrors, isImplicitIterationAllowed, isNumber, setImplicitIterationAllowed, visitArithmeticExpressionAfter, visitArithmeticExpressionBefore, visitBinaryOperatorStatementAfter, visitBinaryOperatorStatementBefore, visitBinaryPredicateAfter, visitBinaryPredicateBefore, visitBooleanLiteral, visitCardinalityConstraint, visitCastExpressionAfter, visitCastExpressionBefore, visitCollectionIndexAfter, visitCollectionIndexBefore, visitCompoundReportAfter, visitCompoundReportBefore, visitConcatenatedReportAfter, visitConcatenatedReportBefore, visitConditionalReportAfter, visitConditionalReportBefore, visitConstraintRuleDeclarationAfter, visitConstraintRuleDeclarationBefore, visitDecimalNumber, visitExistsStatementAfter, visitExistsStatementBefore, visitForallStatementAfter, visitForallStatementBefore, visitFunctionalExpressionAfter, visitFunctionalExpressionBefore, visitGlobalExistsStatementAfter, visitGlobalExistsStatementBefore, visitIfThenStatementAfter, visitIfThenStatementBefore, visitIntegerNumber, visitIsInPredicateAfter, visitIsInPredicateBefore, visitIsNotInPredicateAfter, visitIsNotInPredicateBefore, visitIsSubtypePredicateAfter, visitIsSubtypePredicateBefore, visitLiteralString, visitModelReferenceAfter, visitModelReferenceBefore, visitMultipleExistsStatementAfter, visitMultipleExistsStatementBefore, visitMultipleNotExistsStatementAfter, visitMultipleNotExistsStatementBefore, visitNotExistsStatementAfter, visitNotExistsStatementBefore, visitOperatorInvocationAfter, visitOperatorInvocationBefore, visitRuleFileAfter, visitRuleFileBefore, visitRuleSetDeclarationBefore, visitSelectionExpressionAfter, visitSelectionExpressionBefore, visitValidationFragmentApplicationAfter, visitValidationFragmentApplicationBefore, visitValidationFragmentDeclarationAfter, visitValidationFragmentDeclarationBefore, visitVariableDeclarationAfter, visitVariableDeclarationBefore

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sourceforge.nrl.parser.ast.constraints.INRLConstraintDetailVisitor

visitArithmeticExpressionAfter, visitArithmeticExpressionBefore, visitBinaryOperatorStatementAfter, visitBinaryOperatorStatementBefore, visitBinaryPredicateAfter, visitBinaryPredicateBefore, visitBooleanLiteral, visitCardinalityConstraint, visitCastExpressionAfter, visitCastExpressionBefore, visitCollectionIndexAfter, visitCollectionIndexBefore, visitCompoundReportAfter, visitCompoundReportBefore, visitConcatenatedReportAfter, visitConcatenatedReportBefore, visitConditionalReportAfter, visitConditionalReportBefore, visitConstraintRuleDeclarationAfter, visitConstraintRuleDeclarationBefore, visitDecimalNumber, visitExistsStatementAfter, visitExistsStatementBefore, visitForallStatementAfter, visitForallStatementBefore, visitFunctionalExpressionAfter, visitFunctionalExpressionBefore, visitGlobalExistsStatementAfter, visitGlobalExistsStatementBefore, visitIfThenStatementAfter, visitIfThenStatementBefore, visitIntegerNumber, visitIsInPredicateAfter, visitIsInPredicateBefore, visitIsNotInPredicateAfter, visitIsNotInPredicateBefore, visitIsSubtypePredicateAfter, visitIsSubtypePredicateBefore, visitLiteralString, visitModelReferenceAfter, visitModelReferenceBefore, visitMultipleExistsStatementAfter, visitMultipleExistsStatementBefore, visitMultipleNotExistsStatementAfter, visitMultipleNotExistsStatementBefore, visitNotExistsStatementAfter, visitNotExistsStatementBefore, visitOperatorInvocationAfter, visitOperatorInvocationBefore, visitRuleFileAfter, visitRuleFileBefore, visitRuleSetDeclarationBefore, visitSelectionExpressionAfter, visitSelectionExpressionBefore, visitValidationFragmentApplicationAfter, visitValidationFragmentApplicationBefore, visitValidationFragmentDeclarationAfter, visitValidationFragmentDeclarationBefore, visitVariableDeclarationAfter, visitVariableDeclarationBefore

Constructor Detail

ActionTypeChecker

public ActionTypeChecker()

Method Detail

visitActionFragmentApplicationActionAfter

public void visitActionFragmentApplicationActionAfter(IActionFragmentApplicationAction action)

Specified by:

visitActionFragmentApplicationActionAfter in interface INRLActionDetailVisitor

visitActionFragmentDeclarationAfter

public void visitActionFragmentDeclarationAfter(IActionFragmentDeclaration decl)

Specified by:

visitActionFragmentDeclarationAfter in interface INRLActionDetailVisitor

visitActionRuleDeclarationAfter

public void visitActionRuleDeclarationAfter(IActionRuleDeclaration decl)

Specified by:

visitActionRuleDeclarationAfter in interface INRLActionDetailVisitor

visitAddActionAfter

public void visitAddActionAfter(IAddAction add)

Specified by:

visitAddActionAfter in interface INRLActionDetailVisitor

visitCompoundActionAfter

public void visitCompoundActionAfter(ICompoundAction action)

Specified by:

visitCompoundActionAfter in interface INRLActionDetailVisitor

visitConditionalActionAfter

public void visitConditionalActionAfter(IConditionalAction action)

Specified by:

visitConditionalActionAfter in interface INRLActionDetailVisitor

visitCreateActionAfter

public void visitCreateActionAfter(ICreateAction action)

Specified by:

visitCreateActionAfter in interface INRLActionDetailVisitor

visitRemoveActionAfter

public void visitRemoveActionAfter(IRemoveAction action)

Specified by:

visitRemoveActionAfter in interface INRLActionDetailVisitor

visitForEachActionAfter

public void visitForEachActionAfter(IForEachAction action)

Specified by:

visitForEachActionAfter in interface INRLActionDetailVisitor

visitOperatorActionAfter

public void visitOperatorActionAfter(IOperatorAction action)

Specified by:

visitOperatorActionAfter in interface INRLActionDetailVisitor

visitRemoveFromCollectionActionAfter

public void visitRemoveFromCollectionActionAfter(IRemoveFromCollectionAction action)

Specified by:

visitRemoveFromCollectionActionAfter in interface INRLActionDetailVisitor

visitRuleSetDeclarationAfter

public void visitRuleSetDeclarationAfter(IRuleSetDeclaration decl)

Specified by:

visitRuleSetDeclarationAfter in interface INRLConstraintDetailVisitor

Overrides:

visitRuleSetDeclarationAfter in class ConstraintTypeChecker

visitSetActionAfter

public void visitSetActionAfter(ISetAction action)

Specified by:

visitSetActionAfter in interface INRLActionDetailVisitor

visitVariableDeclarationActionAfter

public void visitVariableDeclarationActionAfter(IVariableDeclarationAction decl)

Specified by:

visitVariableDeclarationActionAfter in interface INRLActionDetailVisitor

visitVariableDeclarationActionBefore

public boolean visitVariableDeclarationActionBefore(IVariableDeclarationAction action)

Specified by:

visitVariableDeclarationActionBefore in interface INRLActionDetailVisitor

visitActionFragmentApplicationActionBefore

public boolean visitActionFragmentApplicationActionBefore(IActionFragmentApplicationAction action)

Specified by:

visitActionFragmentApplicationActionBefore in interface INRLActionDetailVisitor

visitActionFragmentDeclarationBefore

public boolean visitActionFragmentDeclarationBefore(IActionFragmentDeclaration decl)

Specified by:

visitActionFragmentDeclarationBefore in interface INRLActionDetailVisitor

visitActionRuleDeclarationBefore

public boolean visitActionRuleDeclarationBefore(IActionRuleDeclaration decl)

Specified by:

visitActionRuleDeclarationBefore in interface INRLActionDetailVisitor

visitAddActionBefore

public boolean visitAddActionBefore(IAddAction add)

Specified by:

visitAddActionBefore in interface INRLActionDetailVisitor

visitCompoundActionBefore

public boolean visitCompoundActionBefore(ICompoundAction action)

Specified by:

visitCompoundActionBefore in interface INRLActionDetailVisitor

visitConditionalActionBefore

public boolean visitConditionalActionBefore(IConditionalAction action)

Specified by:

visitConditionalActionBefore in interface INRLActionDetailVisitor

visitCreateActionBefore

public boolean visitCreateActionBefore(ICreateAction action)

Specified by:

visitCreateActionBefore in interface INRLActionDetailVisitor

visitRemoveActionBefore

public boolean visitRemoveActionBefore(IRemoveAction action)

Specified by:

visitRemoveActionBefore in interface INRLActionDetailVisitor

visitForEachActionBefore

public boolean visitForEachActionBefore(IForEachAction action)

Specified by:

visitForEachActionBefore in interface INRLActionDetailVisitor

visitOperatorActionBefore

public boolean visitOperatorActionBefore(IOperatorAction action)

Specified by:

visitOperatorActionBefore in interface INRLActionDetailVisitor

visitRemoveFromCollectionActionBefore

public boolean visitRemoveFromCollectionActionBefore(IRemoveFromCollectionAction action)

Specified by:

visitRemoveFromCollectionActionBefore in interface INRLActionDetailVisitor

visitSetActionBefore

public boolean visitSetActionBefore(ISetAction action)

Specified by:

visitSetActionBefore in interface INRLActionDetailVisitor