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.
- Author:
- Christian Nentwich
| Methods inherited from class net.sourceforge.nrl.parser.type.ConstraintTypeChecker |
addTypeMapping, check, check, error, getErrors, getType, isAssignmentCompatible, 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, visitIsInList, visitIsInPredicateAfter, visitIsInPredicateBefore, visitIsNotInPredicateAfter, visitIsNotInPredicateBefore, visitIsSubtypePredicateAfter, visitIsSubtypePredicateBefore, visitLiteralString, visitModelReferenceAfter, visitModelReferenceBefore, visitMultipleExistsStatementAfter, visitMultipleExistsStatementBefore, visitMultipleNotExistsStatementAfter, visitMultipleNotExistsStatementBefore, visitNotExistsStatementAfter, visitNotExistsStatementBefore, visitOperatorInvocationAfter, visitOperatorInvocationBefore, visitOperatorParameters, visitRuleFileAfter, visitRuleFileBefore, visitRuleSetDeclarationBefore, visitSelectionExpressionAfter, visitSelectionExpressionBefore, visitValidationFragmentApplicationAfter, visitValidationFragmentApplicationBefore, visitValidationFragmentDeclarationAfter, visitValidationFragmentDeclarationBefore, visitVariableDeclarationAfter, visitVariableDeclarationBefore |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, 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 |
ActionTypeChecker
public ActionTypeChecker()
checkRemainingDeclarations
protected void checkRemainingDeclarations(IRuleFile ruleFile)
- Description copied from class:
ConstraintTypeChecker
- Check everything that is not:
- a global variable
- a property
- a rule set
- Overrides:
checkRemainingDeclarations in class ConstraintTypeChecker
- Parameters:
ruleFile - the file
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
Copyright © 2006-2012. All Rights Reserved.