lmf.formula.csp.semantic
Class CspContextualAnalyser

java.lang.Object
  extended by lmf.formula.csp.analysis.AnalysisAdapter
      extended by lmf.formula.csp.analysis.DepthFirstAdapter
          extended by lmf.formula.csp.semantic.CspContextualAnalyser
All Implemented Interfaces:
Analysis, Switch

public final class CspContextualAnalyser
extends DepthFirstAdapter

This class is responsible to do the semantic analysis and type-check the syntax tree.

Author:
Joabe Jesus (jbjj@cin.ufpe.br)

Constructor Summary
CspContextualAnalyser(CspAnalyserListener listener)
          CspSemanticAnalyser constructor.
 
Method Summary
 void caseACspAbstractCallExpr(ACspAbstractCallExpr node)
           
 void caseACspAbstractDefinition(ACspAbstractDefinition node)
           
 void caseACspAbstractType(ACspAbstractType node)
           
 void caseACspAlphabetisedParallelProcess(ACspAlphabetisedParallelProcess node)
           
 void caseACspArgument(ACspArgument node)
           
 void caseACspBaseChannelList(ACspBaseChannelList node)
           
 void caseACspBaseCompositeType(ACspBaseCompositeType node)
           
 void caseACspCall1DotExpr(ACspCall1DotExpr node)
           
 void caseACspCall2DotExpr(ACspCall2DotExpr node)
           
 void caseACspCallExpr(ACspCallExpr node)
           
 void caseACspChannel(ACspChannel node)
           
 void caseACspChannelDefinition(ACspChannelDefinition node)
           
 void caseACspComplexBranch(ACspComplexBranch node)
           
 void caseACspCompositeType(ACspCompositeType node)
           
 void caseACspComprehensionSequence(ACspComprehensionSequence node)
           
 void caseACspComprehensionSet(ACspComprehensionSet node)
           
 void caseACspConstrainedInputComunication(ACspConstrainedInputComunication node)
           
 void caseACspConstraint(ACspConstraint node)
           
 void caseACspConstraintVariable(ACspConstraintVariable node)
           
 void caseACspDatatypeDefinition(ACspDatatypeDefinition node)
           
 void caseACspDefinitionParagraph(ACspDefinitionParagraph node)
           
 void caseACspEvent(ACspEvent node)
           
 void caseACspIfExpr(ACspIfExpr node)
           
 void caseACspIfProcess(ACspIfProcess node)
           
 void caseACspInputComunication(ACspInputComunication node)
           
 void caseACspLambdaExpr(ACspLambdaExpr node)
           
 void caseACspLambdaProcess(ACspLambdaProcess node)
           
 void caseACspLetExpr(ACspLetExpr node)
           
 void caseACspLetProcess(ACspLetProcess node)
           
 void caseACspLink(ACspLink node)
           
 void caseACspLinkedChannelList(ACspLinkedChannelList node)
           
 void caseACspNameCallExpr(ACspNameCallExpr node)
           
 void caseACspNametypeDefinition(ACspNametypeDefinition node)
           
 void caseACspNumberValue(ACspNumberValue node)
           
 void caseACspOutputComunication(ACspOutputComunication node)
           
 void caseACspParam(ACspParam node)
           
 void caseACspPrefixProcess(ACspPrefixProcess node)
           
 void caseACspProductionsSet(ACspProductionsSet node)
           
 void caseACspProjection(ACspProjection node)
           
 void caseACspSequence(ACspSequence node)
           
 void caseACspSet(ACspSet node)
           
 void caseACspSetType(ACspSetType node)
           
 void caseACspSharingParallelProcess(ACspSharingParallelProcess node)
           
 void caseACspSimpleBranch(ACspSimpleBranch node)
           
 void caseACspSourceConstraint(ACspSourceConstraint node)
           
 void caseACspSubstitution(ACspSubstitution node)
           
 void caseACspSubtypeDefinition(ACspSubtypeDefinition node)
           
 void caseACspTuple(ACspTuple node)
           
 void caseACspTupleType(ACspTupleType node)
           
 void caseACspType(ACspType node)
           
 void caseACspVariable(ACspVariable node)
           
 void caseStart(Start node)
           
 void outACspAddMathExpr(ACspAddMathExpr node)
           
 void outACspAlphabetisedReplicatedProcess(ACspAlphabetisedReplicatedProcess node)
           
 void outACspAndLogicalExpr(ACspAndLogicalExpr node)
           
 void outACspBaseEventList(ACspBaseEventList node)
           
 void outACspCatSequenceExpr(ACspCatSequenceExpr node)
           
 void outACspClosedRange(ACspClosedRange node)
           
 void outACspCollectionElement(ACspCollectionElement node)
           
 void outACspDiffMathExpr(ACspDiffMathExpr node)
           
 void outACspDivMath1Expr(ACspDivMath1Expr node)
           
 void outACspEqualRelationalExpr(ACspEqualRelationalExpr node)
           
 void outACspExternalChoiceProcess(ACspExternalChoiceProcess node)
           
 void outACspExternalReplicatedProcess(ACspExternalReplicatedProcess node)
           
 void outACspGteRelationalExpr(ACspGteRelationalExpr node)
           
 void outACspGtRelationalExpr(ACspGtRelationalExpr node)
           
 void outACspGuardedProcess(ACspGuardedProcess node)
           
 void outACspHidingProcess(ACspHidingProcess node)
           
 void outACspInterleaveProcess(ACspInterleaveProcess node)
           
 void outACspInterleaveReplicatedProcess(ACspInterleaveReplicatedProcess node)
           
 void outACspInternalChoiceProcess(ACspInternalChoiceProcess node)
           
 void outACspInternalReplicatedProcess(ACspInternalReplicatedProcess node)
           
 void outACspInterruptProcess(ACspInterruptProcess node)
           
 void outACspLengthExpr(ACspLengthExpr node)
           
 void outACspLinkedEventList(ACspLinkedEventList node)
           
 void outACspLinkedParallelProcess(ACspLinkedParallelProcess node)
           
 void outACspLinkedReplicatedProcess(ACspLinkedReplicatedProcess node)
           
 void outACspLteRelationalExpr(ACspLteRelationalExpr node)
           
 void outACspLtRelationalExpr(ACspLtRelationalExpr node)
           
 void outACspMinusExpr(ACspMinusExpr node)
           
 void outACspMulMath1Expr(ACspMulMath1Expr node)
           
 void outACspNotEqualRelationalExpr(ACspNotEqualRelationalExpr node)
           
 void outACspNotExpr(ACspNotExpr node)
           
 void outACspOpenRange(ACspOpenRange node)
           
 void outACspOrLogicalExpr(ACspOrLogicalExpr node)
           
 void outACspRangeCollectionElement(ACspRangeCollectionElement node)
           
 void outACspRemainderMath1Expr(ACspRemainderMath1Expr node)
           
 void outACspRenamingProcess(ACspRenamingProcess node)
           
 void outACspSequentialProcess(ACspSequentialProcess node)
           
 void outACspSequentialReplicatedProcess(ACspSequentialReplicatedProcess node)
           
 void outACspSharingReplicatedProcess(ACspSharingReplicatedProcess node)
           
 void outACspUntimedTimeoutProcess(ACspUntimedTimeoutProcess node)
           
 void setDebugging(boolean debugging)
           
 void setStopOnError(boolean stopOnError)
           
 
Methods inherited from class lmf.formula.csp.analysis.DepthFirstAdapter
caseACspAddMathExpr, caseACspAlphabetisedReplicatedProcess, caseACspAndLogicalExpr, caseACspArguments, caseACspAssert, caseACspAssertParagraph, caseACspBaseArgumentList, caseACspBaseBranchList, caseACspBaseCallExpr, caseACspBaseCheckExpr, caseACspBaseChoiceProcess, caseACspBaseConstraintList, caseACspBaseDefinitionList, caseACspBaseDotExpr, caseACspBaseElementList, caseACspBaseEventList, caseACspBaseExpr, caseACspBaseExpression, caseACspBaseGuardedProcess, caseACspBaseHidingProcess, caseACspBaseIfHelp, caseACspBaseInterleaveProcess, caseACspBaseInterruptProcess, caseACspBaseLambdaHelp, caseACspBaseLengthExpr, caseACspBaseLetHelp, caseACspBaseLinkList, caseACspBaseLogicalExpr, caseACspBaseMath1Expr, caseACspBaseMathExpr, caseACspBaseMinusExpr, caseACspBaseNameList, caseACspBaseNotExpr, caseACspBaseParallelProcess, caseACspBaseParamList, caseACspBasePrefixProcess, caseACspBaseProcess, caseACspBaseRelationalExpr, caseACspBaseRenamingProcess, caseACspBaseReplicatedHelp, caseACspBaseReplicatedProcess, caseACspBaseSequenceExpr, caseACspBaseSequentialProcess, caseACspBaseSubstitutionList, caseACspBaseTimeoutProcess, caseACspBaseVariableList, caseACspCatSequenceExpr, caseACspCheckCondition, caseACspCheckExpr, caseACspClosedRange, caseACspCollectionElement, caseACspCommentedPrefixProcess, caseACspCommentParagraph, caseACspConstraints, caseACspDiffMathExpr, caseACspDivMath1Expr, caseACspEqualRelationalExpr, caseACspExternalChoiceProcess, caseACspExternalDefinition, caseACspExternalReplicatedProcess, caseACspGteRelationalExpr, caseACspGtRelationalExpr, caseACspGuardedProcess, caseACspHidingProcess, caseACspIfExpression, caseACspInclude, caseACspIncludeParagraph, caseACspInstance, caseACspInstanceParagraph, caseACspInterleaveProcess, caseACspInterleaveReplicatedProcess, caseACspInternalChoiceProcess, caseACspInternalReplicatedProcess, caseACspInterruptProcess, caseACspLambdaExpression, caseACspLengthExpr, caseACspLetExpression, caseACspLineComment, caseACspLinkedArgumentList, caseACspLinkedBranchList, caseACspLinkedConstraintList, caseACspLinkedDefinitionList, caseACspLinkedElementList, caseACspLinkedEventList, caseACspLinkedLinkList, caseACspLinkedNameList, caseACspLinkedParallelProcess, caseACspLinkedParamList, caseACspLinkedReplicatedProcess, caseACspLinkedSubstitutionList, caseACspLinkedVariableList, caseACspLteRelationalExpr, caseACspLtRelationalExpr, caseACspMinusExpr, caseACspModel, caseACspModelReference, caseACspModule, caseACspModuleCall, caseACspModuleEvent, caseACspModuleParagraph, caseACspMulMath1Expr, caseACspMultiLineComment, caseACspNotEqualRelationalExpr, caseACspNotExpr, caseACspOpenRange, caseACspOrLogicalExpr, caseACspParameters, caseACspParenthesedValue, caseACspRangeCollectionElement, caseACspRefinementCheckExpr, caseACspRemainderMath1Expr, caseACspRenamingProcess, caseACspSequenceValue, caseACspSequentialProcess, caseACspSequentialReplicatedProcess, caseACspSetValue, caseACspSharingReplicatedProcess, caseACspSpecification, caseACspTransparentDefinition, caseACspTupleElements, caseACspTupleValue, caseACspTypeSpecifier, caseACspUntimedTimeoutProcess, defaultIn, defaultOut, inACspAbstractCallExpr, inACspAbstractDefinition, inACspAbstractType, inACspAddMathExpr, inACspAlphabetisedParallelProcess, inACspAlphabetisedReplicatedProcess, inACspAndLogicalExpr, inACspArgument, inACspArguments, inACspAssert, inACspAssertParagraph, inACspBaseArgumentList, inACspBaseBranchList, inACspBaseCallExpr, inACspBaseChannelList, inACspBaseCheckExpr, inACspBaseChoiceProcess, inACspBaseCompositeType, inACspBaseConstraintList, inACspBaseDefinitionList, inACspBaseDotExpr, inACspBaseElementList, inACspBaseEventList, inACspBaseExpr, inACspBaseExpression, inACspBaseGuardedProcess, inACspBaseHidingProcess, inACspBaseIfHelp, inACspBaseInterleaveProcess, inACspBaseInterruptProcess, inACspBaseLambdaHelp, inACspBaseLengthExpr, inACspBaseLetHelp, inACspBaseLinkList, inACspBaseLogicalExpr, inACspBaseMath1Expr, inACspBaseMathExpr, inACspBaseMinusExpr, inACspBaseNameList, inACspBaseNotExpr, inACspBaseParallelProcess, inACspBaseParamList, inACspBasePrefixProcess, inACspBaseProcess, inACspBaseRelationalExpr, inACspBaseRenamingProcess, inACspBaseReplicatedHelp, inACspBaseReplicatedProcess, inACspBaseSequenceExpr, inACspBaseSequentialProcess, inACspBaseSubstitutionList, inACspBaseTimeoutProcess, inACspBaseVariableList, inACspCall1DotExpr, inACspCall2DotExpr, inACspCallExpr, inACspCatSequenceExpr, inACspChannel, inACspChannelDefinition, inACspCheckCondition, inACspCheckExpr, inACspClosedRange, inACspCollectionElement, inACspCommentedPrefixProcess, inACspCommentParagraph, inACspComplexBranch, inACspCompositeType, inACspComprehensionSequence, inACspComprehensionSet, inACspConstrainedInputComunication, inACspConstraint, inACspConstraints, inACspConstraintVariable, inACspDatatypeDefinition, inACspDefinitionParagraph, inACspDiffMathExpr, inACspDivMath1Expr, inACspEqualRelationalExpr, inACspEvent, inACspExternalChoiceProcess, inACspExternalDefinition, inACspExternalReplicatedProcess, inACspGteRelationalExpr, inACspGtRelationalExpr, inACspGuardedProcess, inACspHidingProcess, inACspIfExpr, inACspIfExpression, inACspIfProcess, inACspInclude, inACspIncludeParagraph, inACspInputComunication, inACspInstance, inACspInstanceParagraph, inACspInterleaveProcess, inACspInterleaveReplicatedProcess, inACspInternalChoiceProcess, inACspInternalReplicatedProcess, inACspInterruptProcess, inACspLambdaExpr, inACspLambdaExpression, inACspLambdaProcess, inACspLengthExpr, inACspLetExpr, inACspLetExpression, inACspLetProcess, inACspLineComment, inACspLink, inACspLinkedArgumentList, inACspLinkedBranchList, inACspLinkedChannelList, inACspLinkedConstraintList, inACspLinkedDefinitionList, inACspLinkedElementList, inACspLinkedEventList, inACspLinkedLinkList, inACspLinkedNameList, inACspLinkedParallelProcess, inACspLinkedParamList, inACspLinkedReplicatedProcess, inACspLinkedSubstitutionList, inACspLinkedVariableList, inACspLteRelationalExpr, inACspLtRelationalExpr, inACspMinusExpr, inACspModel, inACspModelReference, inACspModule, inACspModuleCall, inACspModuleEvent, inACspModuleParagraph, inACspMulMath1Expr, inACspMultiLineComment, inACspNameCallExpr, inACspNametypeDefinition, inACspNotEqualRelationalExpr, inACspNotExpr, inACspNumberValue, inACspOpenRange, inACspOrLogicalExpr, inACspOutputComunication, inACspParam, inACspParameters, inACspParenthesedValue, inACspPrefixProcess, inACspProductionsSet, inACspProjection, inACspRangeCollectionElement, inACspRefinementCheckExpr, inACspRemainderMath1Expr, inACspRenamingProcess, inACspSequence, inACspSequenceValue, inACspSequentialProcess, inACspSequentialReplicatedProcess, inACspSet, inACspSetType, inACspSetValue, inACspSharingParallelProcess, inACspSharingReplicatedProcess, inACspSimpleBranch, inACspSourceConstraint, inACspSpecification, inACspSubstitution, inACspSubtypeDefinition, inACspTransparentDefinition, inACspTuple, inACspTupleElements, inACspTupleType, inACspTupleValue, inACspType, inACspTypeSpecifier, inACspUntimedTimeoutProcess, inACspVariable, inStart, outACspAbstractCallExpr, outACspAbstractDefinition, outACspAbstractType, outACspAlphabetisedParallelProcess, outACspArgument, outACspArguments, outACspAssert, outACspAssertParagraph, outACspBaseArgumentList, outACspBaseBranchList, outACspBaseCallExpr, outACspBaseChannelList, outACspBaseCheckExpr, outACspBaseChoiceProcess, outACspBaseCompositeType, outACspBaseConstraintList, outACspBaseDefinitionList, outACspBaseDotExpr, outACspBaseElementList, outACspBaseExpr, outACspBaseExpression, outACspBaseGuardedProcess, outACspBaseHidingProcess, outACspBaseIfHelp, outACspBaseInterleaveProcess, outACspBaseInterruptProcess, outACspBaseLambdaHelp, outACspBaseLengthExpr, outACspBaseLetHelp, outACspBaseLinkList, outACspBaseLogicalExpr, outACspBaseMath1Expr, outACspBaseMathExpr, outACspBaseMinusExpr, outACspBaseNameList, outACspBaseNotExpr, outACspBaseParallelProcess, outACspBaseParamList, outACspBasePrefixProcess, outACspBaseProcess, outACspBaseRelationalExpr, outACspBaseRenamingProcess, outACspBaseReplicatedHelp, outACspBaseReplicatedProcess, outACspBaseSequenceExpr, outACspBaseSequentialProcess, outACspBaseSubstitutionList, outACspBaseTimeoutProcess, outACspBaseVariableList, outACspCall1DotExpr, outACspCall2DotExpr, outACspCallExpr, outACspChannel, outACspChannelDefinition, outACspCheckCondition, outACspCheckExpr, outACspCommentedPrefixProcess, outACspCommentParagraph, outACspComplexBranch, outACspCompositeType, outACspComprehensionSequence, outACspComprehensionSet, outACspConstrainedInputComunication, outACspConstraint, outACspConstraints, outACspConstraintVariable, outACspDatatypeDefinition, outACspDefinitionParagraph, outACspEvent, outACspExternalDefinition, outACspIfExpr, outACspIfExpression, outACspIfProcess, outACspInclude, outACspIncludeParagraph, outACspInputComunication, outACspInstance, outACspInstanceParagraph, outACspLambdaExpr, outACspLambdaExpression, outACspLambdaProcess, outACspLetExpr, outACspLetExpression, outACspLetProcess, outACspLineComment, outACspLink, outACspLinkedArgumentList, outACspLinkedBranchList, outACspLinkedChannelList, outACspLinkedConstraintList, outACspLinkedDefinitionList, outACspLinkedElementList, outACspLinkedLinkList, outACspLinkedNameList, outACspLinkedParamList, outACspLinkedSubstitutionList, outACspLinkedVariableList, outACspModel, outACspModelReference, outACspModule, outACspModuleCall, outACspModuleEvent, outACspModuleParagraph, outACspMultiLineComment, outACspNameCallExpr, outACspNametypeDefinition, outACspNumberValue, outACspOutputComunication, outACspParam, outACspParameters, outACspParenthesedValue, outACspPrefixProcess, outACspProductionsSet, outACspProjection, outACspRefinementCheckExpr, outACspSequence, outACspSequenceValue, outACspSet, outACspSetType, outACspSetValue, outACspSharingParallelProcess, outACspSimpleBranch, outACspSourceConstraint, outACspSpecification, outACspSubstitution, outACspSubtypeDefinition, outACspTransparentDefinition, outACspTuple, outACspTupleElements, outACspTupleType, outACspTupleValue, outACspType, outACspTypeSpecifier, outACspVariable, outStart
 
Methods inherited from class lmf.formula.csp.analysis.AnalysisAdapter
caseEOF, caseTAnd, caseTArrow, caseTAssert, caseTAt, caseTBackslash, caseTBar, caseTBlank, caseTCat, caseTChannel, caseTColon, caseTComma, caseTDatatype, caseTDcolon, caseTDdash, caseTDdot, caseTDefs, caseTDiv, caseTDot, caseTElse, caseTEndModule, caseTEqual, caseTExports, caseTExternal, caseTExternalChoice, caseTExtract, caseTFilename, caseTFree, caseTGeq, caseTGt, caseTGuard, caseTHash, caseTIf, caseTInclude, caseTInput, caseTInstance, caseTInterleave, caseTInternalChoice, caseTInterrupt, caseTLBrace, caseTLBracket, caseTLCheck, caseTLeq, caseTLet, caseTLink, caseTLPar, caseTLParallel, caseTLProds, caseTLSubst, caseTLt, caseTMinus, caseTModule, caseTMult, caseTMultiLineComment, caseTName, caseTNametype, caseTNEqual, caseTNot, caseTNumber, caseTOr, caseTOutput, caseTParallel, caseTPlus, caseTRBrace, caseTRBracket, caseTRemainder, caseTRPar, caseTRParallel, caseTRProds, caseTRSubst, caseTSemicolon, caseTSingleLineComment, caseTSubtype, caseTThen, caseTTransparent, caseTUntimedTimeout, caseTWithin, defaultCase, getIn, getOut, setIn, setOut
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CspContextualAnalyser

public CspContextualAnalyser(CspAnalyserListener listener)
CspSemanticAnalyser constructor.

Parameters:
listener - The AnalysisListener.
Method Detail

setDebugging

public void setDebugging(boolean debugging)

setStopOnError

public void setStopOnError(boolean stopOnError)

caseStart

public void caseStart(Start node)
Specified by:
caseStart in interface Analysis
Overrides:
caseStart in class DepthFirstAdapter

caseACspDefinitionParagraph

public void caseACspDefinitionParagraph(ACspDefinitionParagraph node)
Specified by:
caseACspDefinitionParagraph in interface Analysis
Overrides:
caseACspDefinitionParagraph in class DepthFirstAdapter

caseACspDatatypeDefinition

public void caseACspDatatypeDefinition(ACspDatatypeDefinition node)
Specified by:
caseACspDatatypeDefinition in interface Analysis
Overrides:
caseACspDatatypeDefinition in class DepthFirstAdapter

caseACspSubtypeDefinition

public void caseACspSubtypeDefinition(ACspSubtypeDefinition node)
Specified by:
caseACspSubtypeDefinition in interface Analysis
Overrides:
caseACspSubtypeDefinition in class DepthFirstAdapter

caseACspNametypeDefinition

public void caseACspNametypeDefinition(ACspNametypeDefinition node)
Specified by:
caseACspNametypeDefinition in interface Analysis
Overrides:
caseACspNametypeDefinition in class DepthFirstAdapter

caseACspComplexBranch

public void caseACspComplexBranch(ACspComplexBranch node)
Specified by:
caseACspComplexBranch in interface Analysis
Overrides:
caseACspComplexBranch in class DepthFirstAdapter

caseACspSimpleBranch

public void caseACspSimpleBranch(ACspSimpleBranch node)
Specified by:
caseACspSimpleBranch in interface Analysis
Overrides:
caseACspSimpleBranch in class DepthFirstAdapter

caseACspChannelDefinition

public void caseACspChannelDefinition(ACspChannelDefinition node)
Specified by:
caseACspChannelDefinition in interface Analysis
Overrides:
caseACspChannelDefinition in class DepthFirstAdapter

caseACspLinkedChannelList

public void caseACspLinkedChannelList(ACspLinkedChannelList node)
Specified by:
caseACspLinkedChannelList in interface Analysis
Overrides:
caseACspLinkedChannelList in class DepthFirstAdapter

caseACspBaseChannelList

public void caseACspBaseChannelList(ACspBaseChannelList node)
Specified by:
caseACspBaseChannelList in interface Analysis
Overrides:
caseACspBaseChannelList in class DepthFirstAdapter

caseACspChannel

public void caseACspChannel(ACspChannel node)
Specified by:
caseACspChannel in interface Analysis
Overrides:
caseACspChannel in class DepthFirstAdapter

caseACspAbstractDefinition

public void caseACspAbstractDefinition(ACspAbstractDefinition node)
Specified by:
caseACspAbstractDefinition in interface Analysis
Overrides:
caseACspAbstractDefinition in class DepthFirstAdapter

caseACspParam

public void caseACspParam(ACspParam node)
Specified by:
caseACspParam in interface Analysis
Overrides:
caseACspParam in class DepthFirstAdapter

caseACspArgument

public void caseACspArgument(ACspArgument node)
Specified by:
caseACspArgument in interface Analysis
Overrides:
caseACspArgument in class DepthFirstAdapter

caseACspCompositeType

public void caseACspCompositeType(ACspCompositeType node)
Specified by:
caseACspCompositeType in interface Analysis
Overrides:
caseACspCompositeType in class DepthFirstAdapter

caseACspBaseCompositeType

public void caseACspBaseCompositeType(ACspBaseCompositeType node)
Specified by:
caseACspBaseCompositeType in interface Analysis
Overrides:
caseACspBaseCompositeType in class DepthFirstAdapter

caseACspType

public void caseACspType(ACspType node)
Specified by:
caseACspType in interface Analysis
Overrides:
caseACspType in class DepthFirstAdapter

caseACspAbstractType

public void caseACspAbstractType(ACspAbstractType node)
Specified by:
caseACspAbstractType in interface Analysis
Overrides:
caseACspAbstractType in class DepthFirstAdapter

caseACspSetType

public void caseACspSetType(ACspSetType node)
Specified by:
caseACspSetType in interface Analysis
Overrides:
caseACspSetType in class DepthFirstAdapter

caseACspTupleType

public void caseACspTupleType(ACspTupleType node)
Specified by:
caseACspTupleType in interface Analysis
Overrides:
caseACspTupleType in class DepthFirstAdapter

outACspInterleaveProcess

public void outACspInterleaveProcess(ACspInterleaveProcess node)
Overrides:
outACspInterleaveProcess in class DepthFirstAdapter

caseACspSharingParallelProcess

public void caseACspSharingParallelProcess(ACspSharingParallelProcess node)
Specified by:
caseACspSharingParallelProcess in interface Analysis
Overrides:
caseACspSharingParallelProcess in class DepthFirstAdapter

outACspLinkedParallelProcess

public void outACspLinkedParallelProcess(ACspLinkedParallelProcess node)
Overrides:
outACspLinkedParallelProcess in class DepthFirstAdapter

caseACspLink

public void caseACspLink(ACspLink node)
Specified by:
caseACspLink in interface Analysis
Overrides:
caseACspLink in class DepthFirstAdapter

caseACspAlphabetisedParallelProcess

public void caseACspAlphabetisedParallelProcess(ACspAlphabetisedParallelProcess node)
Specified by:
caseACspAlphabetisedParallelProcess in interface Analysis
Overrides:
caseACspAlphabetisedParallelProcess in class DepthFirstAdapter

outACspInternalChoiceProcess

public void outACspInternalChoiceProcess(ACspInternalChoiceProcess node)
Overrides:
outACspInternalChoiceProcess in class DepthFirstAdapter

outACspExternalChoiceProcess

public void outACspExternalChoiceProcess(ACspExternalChoiceProcess node)
Overrides:
outACspExternalChoiceProcess in class DepthFirstAdapter

outACspUntimedTimeoutProcess

public void outACspUntimedTimeoutProcess(ACspUntimedTimeoutProcess node)
Overrides:
outACspUntimedTimeoutProcess in class DepthFirstAdapter

outACspInterruptProcess

public void outACspInterruptProcess(ACspInterruptProcess node)
Overrides:
outACspInterruptProcess in class DepthFirstAdapter

outACspSequentialProcess

public void outACspSequentialProcess(ACspSequentialProcess node)
Overrides:
outACspSequentialProcess in class DepthFirstAdapter

outACspInterleaveReplicatedProcess

public void outACspInterleaveReplicatedProcess(ACspInterleaveReplicatedProcess node)
Overrides:
outACspInterleaveReplicatedProcess in class DepthFirstAdapter

outACspSharingReplicatedProcess

public void outACspSharingReplicatedProcess(ACspSharingReplicatedProcess node)
Overrides:
outACspSharingReplicatedProcess in class DepthFirstAdapter

outACspLinkedReplicatedProcess

public void outACspLinkedReplicatedProcess(ACspLinkedReplicatedProcess node)
Overrides:
outACspLinkedReplicatedProcess in class DepthFirstAdapter

outACspAlphabetisedReplicatedProcess

public void outACspAlphabetisedReplicatedProcess(ACspAlphabetisedReplicatedProcess node)
Overrides:
outACspAlphabetisedReplicatedProcess in class DepthFirstAdapter

outACspExternalReplicatedProcess

public void outACspExternalReplicatedProcess(ACspExternalReplicatedProcess node)
Overrides:
outACspExternalReplicatedProcess in class DepthFirstAdapter

outACspInternalReplicatedProcess

public void outACspInternalReplicatedProcess(ACspInternalReplicatedProcess node)
Overrides:
outACspInternalReplicatedProcess in class DepthFirstAdapter

outACspSequentialReplicatedProcess

public void outACspSequentialReplicatedProcess(ACspSequentialReplicatedProcess node)
Overrides:
outACspSequentialReplicatedProcess in class DepthFirstAdapter

caseACspVariable

public void caseACspVariable(ACspVariable node)
Specified by:
caseACspVariable in interface Analysis
Overrides:
caseACspVariable in class DepthFirstAdapter

caseACspConstraintVariable

public void caseACspConstraintVariable(ACspConstraintVariable node)
Specified by:
caseACspConstraintVariable in interface Analysis
Overrides:
caseACspConstraintVariable in class DepthFirstAdapter

caseACspPrefixProcess

public void caseACspPrefixProcess(ACspPrefixProcess node)
Specified by:
caseACspPrefixProcess in interface Analysis
Overrides:
caseACspPrefixProcess in class DepthFirstAdapter

caseACspEvent

public void caseACspEvent(ACspEvent node)
Specified by:
caseACspEvent in interface Analysis
Overrides:
caseACspEvent in class DepthFirstAdapter

caseACspProjection

public void caseACspProjection(ACspProjection node)
Specified by:
caseACspProjection in interface Analysis
Overrides:
caseACspProjection in class DepthFirstAdapter

caseACspInputComunication

public void caseACspInputComunication(ACspInputComunication node)
Specified by:
caseACspInputComunication in interface Analysis
Overrides:
caseACspInputComunication in class DepthFirstAdapter

caseACspConstrainedInputComunication

public void caseACspConstrainedInputComunication(ACspConstrainedInputComunication node)
Specified by:
caseACspConstrainedInputComunication in interface Analysis
Overrides:
caseACspConstrainedInputComunication in class DepthFirstAdapter

caseACspOutputComunication

public void caseACspOutputComunication(ACspOutputComunication node)
Specified by:
caseACspOutputComunication in interface Analysis
Overrides:
caseACspOutputComunication in class DepthFirstAdapter

outACspGuardedProcess

public void outACspGuardedProcess(ACspGuardedProcess node)
Overrides:
outACspGuardedProcess in class DepthFirstAdapter

caseACspLetProcess

public void caseACspLetProcess(ACspLetProcess node)
Specified by:
caseACspLetProcess in interface Analysis
Overrides:
caseACspLetProcess in class DepthFirstAdapter

caseACspLambdaProcess

public void caseACspLambdaProcess(ACspLambdaProcess node)
Specified by:
caseACspLambdaProcess in interface Analysis
Overrides:
caseACspLambdaProcess in class DepthFirstAdapter

caseACspIfProcess

public void caseACspIfProcess(ACspIfProcess node)
Specified by:
caseACspIfProcess in interface Analysis
Overrides:
caseACspIfProcess in class DepthFirstAdapter

outACspHidingProcess

public void outACspHidingProcess(ACspHidingProcess node)
Overrides:
outACspHidingProcess in class DepthFirstAdapter

outACspRenamingProcess

public void outACspRenamingProcess(ACspRenamingProcess node)
Overrides:
outACspRenamingProcess in class DepthFirstAdapter

caseACspSubstitution

public void caseACspSubstitution(ACspSubstitution node)
Specified by:
caseACspSubstitution in interface Analysis
Overrides:
caseACspSubstitution in class DepthFirstAdapter

caseACspLetExpr

public void caseACspLetExpr(ACspLetExpr node)
Specified by:
caseACspLetExpr in interface Analysis
Overrides:
caseACspLetExpr in class DepthFirstAdapter

caseACspLambdaExpr

public void caseACspLambdaExpr(ACspLambdaExpr node)
Specified by:
caseACspLambdaExpr in interface Analysis
Overrides:
caseACspLambdaExpr in class DepthFirstAdapter

caseACspIfExpr

public void caseACspIfExpr(ACspIfExpr node)
Specified by:
caseACspIfExpr in interface Analysis
Overrides:
caseACspIfExpr in class DepthFirstAdapter

outACspAndLogicalExpr

public void outACspAndLogicalExpr(ACspAndLogicalExpr node)
Overrides:
outACspAndLogicalExpr in class DepthFirstAdapter

outACspOrLogicalExpr

public void outACspOrLogicalExpr(ACspOrLogicalExpr node)
Overrides:
outACspOrLogicalExpr in class DepthFirstAdapter

outACspNotExpr

public void outACspNotExpr(ACspNotExpr node)
Overrides:
outACspNotExpr in class DepthFirstAdapter

outACspEqualRelationalExpr

public void outACspEqualRelationalExpr(ACspEqualRelationalExpr node)
Overrides:
outACspEqualRelationalExpr in class DepthFirstAdapter

outACspNotEqualRelationalExpr

public void outACspNotEqualRelationalExpr(ACspNotEqualRelationalExpr node)
Overrides:
outACspNotEqualRelationalExpr in class DepthFirstAdapter

outACspGtRelationalExpr

public void outACspGtRelationalExpr(ACspGtRelationalExpr node)
Overrides:
outACspGtRelationalExpr in class DepthFirstAdapter

outACspGteRelationalExpr

public void outACspGteRelationalExpr(ACspGteRelationalExpr node)
Overrides:
outACspGteRelationalExpr in class DepthFirstAdapter

outACspLtRelationalExpr

public void outACspLtRelationalExpr(ACspLtRelationalExpr node)
Overrides:
outACspLtRelationalExpr in class DepthFirstAdapter

outACspLteRelationalExpr

public void outACspLteRelationalExpr(ACspLteRelationalExpr node)
Overrides:
outACspLteRelationalExpr in class DepthFirstAdapter

outACspAddMathExpr

public void outACspAddMathExpr(ACspAddMathExpr node)
Overrides:
outACspAddMathExpr in class DepthFirstAdapter

outACspDiffMathExpr

public void outACspDiffMathExpr(ACspDiffMathExpr node)
Overrides:
outACspDiffMathExpr in class DepthFirstAdapter

outACspMulMath1Expr

public void outACspMulMath1Expr(ACspMulMath1Expr node)
Overrides:
outACspMulMath1Expr in class DepthFirstAdapter

outACspDivMath1Expr

public void outACspDivMath1Expr(ACspDivMath1Expr node)
Overrides:
outACspDivMath1Expr in class DepthFirstAdapter

outACspRemainderMath1Expr

public void outACspRemainderMath1Expr(ACspRemainderMath1Expr node)
Overrides:
outACspRemainderMath1Expr in class DepthFirstAdapter

outACspMinusExpr

public void outACspMinusExpr(ACspMinusExpr node)
Overrides:
outACspMinusExpr in class DepthFirstAdapter

outACspCatSequenceExpr

public void outACspCatSequenceExpr(ACspCatSequenceExpr node)
Overrides:
outACspCatSequenceExpr in class DepthFirstAdapter

outACspLengthExpr

public void outACspLengthExpr(ACspLengthExpr node)
Overrides:
outACspLengthExpr in class DepthFirstAdapter

caseACspCall1DotExpr

public void caseACspCall1DotExpr(ACspCall1DotExpr node)
Specified by:
caseACspCall1DotExpr in interface Analysis
Overrides:
caseACspCall1DotExpr in class DepthFirstAdapter

caseACspCall2DotExpr

public void caseACspCall2DotExpr(ACspCall2DotExpr node)
Specified by:
caseACspCall2DotExpr in interface Analysis
Overrides:
caseACspCall2DotExpr in class DepthFirstAdapter

caseACspNameCallExpr

public void caseACspNameCallExpr(ACspNameCallExpr node)
Specified by:
caseACspNameCallExpr in interface Analysis
Overrides:
caseACspNameCallExpr in class DepthFirstAdapter

caseACspAbstractCallExpr

public void caseACspAbstractCallExpr(ACspAbstractCallExpr node)
Specified by:
caseACspAbstractCallExpr in interface Analysis
Overrides:
caseACspAbstractCallExpr in class DepthFirstAdapter

caseACspCallExpr

public void caseACspCallExpr(ACspCallExpr node)
Specified by:
caseACspCallExpr in interface Analysis
Overrides:
caseACspCallExpr in class DepthFirstAdapter

outACspOpenRange

public void outACspOpenRange(ACspOpenRange node)
Overrides:
outACspOpenRange in class DepthFirstAdapter

outACspClosedRange

public void outACspClosedRange(ACspClosedRange node)
Overrides:
outACspClosedRange in class DepthFirstAdapter

caseACspNumberValue

public void caseACspNumberValue(ACspNumberValue node)
Specified by:
caseACspNumberValue in interface Analysis
Overrides:
caseACspNumberValue in class DepthFirstAdapter

caseACspTuple

public void caseACspTuple(ACspTuple node)
Specified by:
caseACspTuple in interface Analysis
Overrides:
caseACspTuple in class DepthFirstAdapter

caseACspSet

public void caseACspSet(ACspSet node)
Specified by:
caseACspSet in interface Analysis
Overrides:
caseACspSet in class DepthFirstAdapter

caseACspComprehensionSet

public void caseACspComprehensionSet(ACspComprehensionSet node)
Specified by:
caseACspComprehensionSet in interface Analysis
Overrides:
caseACspComprehensionSet in class DepthFirstAdapter

caseACspSourceConstraint

public void caseACspSourceConstraint(ACspSourceConstraint node)
Specified by:
caseACspSourceConstraint in interface Analysis
Overrides:
caseACspSourceConstraint in class DepthFirstAdapter

caseACspConstraint

public void caseACspConstraint(ACspConstraint node)
Specified by:
caseACspConstraint in interface Analysis
Overrides:
caseACspConstraint in class DepthFirstAdapter

caseACspProductionsSet

public void caseACspProductionsSet(ACspProductionsSet node)
Specified by:
caseACspProductionsSet in interface Analysis
Overrides:
caseACspProductionsSet in class DepthFirstAdapter

outACspLinkedEventList

public void outACspLinkedEventList(ACspLinkedEventList node)
Overrides:
outACspLinkedEventList in class DepthFirstAdapter

outACspBaseEventList

public void outACspBaseEventList(ACspBaseEventList node)
Overrides:
outACspBaseEventList in class DepthFirstAdapter

caseACspSequence

public void caseACspSequence(ACspSequence node)
Specified by:
caseACspSequence in interface Analysis
Overrides:
caseACspSequence in class DepthFirstAdapter

caseACspComprehensionSequence

public void caseACspComprehensionSequence(ACspComprehensionSequence node)
Specified by:
caseACspComprehensionSequence in interface Analysis
Overrides:
caseACspComprehensionSequence in class DepthFirstAdapter

outACspCollectionElement

public void outACspCollectionElement(ACspCollectionElement node)
Overrides:
outACspCollectionElement in class DepthFirstAdapter

outACspRangeCollectionElement

public void outACspRangeCollectionElement(ACspRangeCollectionElement node)
Overrides:
outACspRangeCollectionElement in class DepthFirstAdapter