lmf.formula.csp.analysis
Class ExtendedDepthFirstAdapter

java.lang.Object
  extended by lmf.formula.csp.analysis.AnalysisAdapter
      extended by lmf.formula.csp.analysis.DepthFirstAdapter
          extended by lmf.formula.csp.analysis.ExtendedDepthFirstAdapter
All Implemented Interfaces:
Analysis, Switch
Direct Known Subclasses:
CspNodeLocator

public class ExtendedDepthFirstAdapter
extends DepthFirstAdapter

ExtendedDepthFirstAdapter.

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

Constructor Summary
ExtendedDepthFirstAdapter()
           
 
Method Summary
 void caseACspConstantCallExpr(ACspConstantCallExpr node)
           
 void caseACspConstantDefinition(ACspConstantDefinition node)
           
 void caseACspDotExpr(ACspDotExpr node)
           
 void caseACspFunctionCallExpr(ACspFunctionCallExpr node)
           
 void caseACspFunctionDefinition(ACspFunctionDefinition node)
           
 void caseACspProcessCallExpr(ACspProcessCallExpr node)
           
 void caseACspProcessDefinition(ACspProcessDefinition node)
           
 void inACspConstantCallExpr(ACspConstantCallExpr node)
           
 void inACspConstantDefinition(ACspConstantDefinition node)
           
 void inACspDotExpr(ACspDotExpr node)
           
 void inACspFunctionCallExpr(ACspFunctionCallExpr node)
           
 void inACspFunctionDefinition(ACspFunctionDefinition node)
           
 void inACspProcessCallExpr(ACspProcessCallExpr node)
           
 void inACspProcessDefinition(ACspProcessDefinition node)
           
 void outACspConstantCallExpr(ACspConstantCallExpr node)
           
 void outACspConstantDefinition(ACspConstantDefinition node)
           
 void outACspDotExpr(ACspDotExpr node)
           
 void outACspFunctionCallExpr(ACspFunctionCallExpr node)
           
 void outACspFunctionDefinition(ACspFunctionDefinition node)
           
 void outACspProcessCallExpr(ACspProcessCallExpr node)
           
 void outACspProcessDefinition(ACspProcessDefinition node)
           
 
Methods inherited from class lmf.formula.csp.analysis.DepthFirstAdapter
caseACspAbstractCallExpr, caseACspAbstractDefinition, caseACspAbstractType, caseACspAddMathExpr, caseACspAlphabetisedParallelProcess, caseACspAlphabetisedReplicatedProcess, caseACspAndLogicalExpr, caseACspArgument, caseACspArguments, caseACspAssert, caseACspAssertParagraph, caseACspBaseArgumentList, caseACspBaseBranchList, caseACspBaseCallExpr, caseACspBaseChannelList, caseACspBaseCheckExpr, caseACspBaseChoiceProcess, caseACspBaseCompositeType, 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, caseACspCall1DotExpr, caseACspCall2DotExpr, caseACspCallExpr, caseACspCatSequenceExpr, caseACspChannel, caseACspChannelDefinition, caseACspCheckCondition, caseACspCheckExpr, caseACspClosedRange, caseACspCollectionElement, caseACspCommentedPrefixProcess, caseACspCommentParagraph, caseACspComplexBranch, caseACspCompositeType, caseACspComprehensionSequence, caseACspComprehensionSet, caseACspConstrainedInputComunication, caseACspConstraint, caseACspConstraints, caseACspConstraintVariable, caseACspDatatypeDefinition, caseACspDefinitionParagraph, caseACspDiffMathExpr, caseACspDivMath1Expr, caseACspEqualRelationalExpr, caseACspEvent, caseACspExternalChoiceProcess, caseACspExternalDefinition, caseACspExternalReplicatedProcess, caseACspGteRelationalExpr, caseACspGtRelationalExpr, caseACspGuardedProcess, caseACspHidingProcess, caseACspIfExpr, caseACspIfExpression, caseACspIfProcess, caseACspInclude, caseACspIncludeParagraph, caseACspInputComunication, caseACspInstance, caseACspInstanceParagraph, caseACspInterleaveProcess, caseACspInterleaveReplicatedProcess, caseACspInternalChoiceProcess, caseACspInternalReplicatedProcess, caseACspInterruptProcess, caseACspLambdaExpr, caseACspLambdaExpression, caseACspLambdaProcess, caseACspLengthExpr, caseACspLetExpr, caseACspLetExpression, caseACspLetProcess, caseACspLineComment, caseACspLink, caseACspLinkedArgumentList, caseACspLinkedBranchList, caseACspLinkedChannelList, caseACspLinkedConstraintList, caseACspLinkedDefinitionList, caseACspLinkedElementList, caseACspLinkedEventList, caseACspLinkedLinkList, caseACspLinkedNameList, caseACspLinkedParallelProcess, caseACspLinkedParamList, caseACspLinkedReplicatedProcess, caseACspLinkedSubstitutionList, caseACspLinkedVariableList, caseACspLteRelationalExpr, caseACspLtRelationalExpr, caseACspMinusExpr, caseACspModel, caseACspModelReference, caseACspModule, caseACspModuleCall, caseACspModuleEvent, caseACspModuleParagraph, caseACspMulMath1Expr, caseACspMultiLineComment, caseACspNameCallExpr, caseACspNametypeDefinition, caseACspNotEqualRelationalExpr, caseACspNotExpr, caseACspNumberValue, caseACspOpenRange, caseACspOrLogicalExpr, caseACspOutputComunication, caseACspParam, caseACspParameters, caseACspParenthesedValue, caseACspPrefixProcess, caseACspProductionsSet, caseACspProjection, caseACspRangeCollectionElement, caseACspRefinementCheckExpr, caseACspRemainderMath1Expr, caseACspRenamingProcess, caseACspSequence, caseACspSequenceValue, caseACspSequentialProcess, caseACspSequentialReplicatedProcess, caseACspSet, caseACspSetType, caseACspSetValue, caseACspSharingParallelProcess, caseACspSharingReplicatedProcess, caseACspSimpleBranch, caseACspSourceConstraint, caseACspSpecification, caseACspSubstitution, caseACspSubtypeDefinition, caseACspTransparentDefinition, caseACspTuple, caseACspTupleElements, caseACspTupleType, caseACspTupleValue, caseACspType, caseACspTypeSpecifier, caseACspUntimedTimeoutProcess, caseACspVariable, caseStart, 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, outACspAddMathExpr, outACspAlphabetisedParallelProcess, outACspAlphabetisedReplicatedProcess, outACspAndLogicalExpr, outACspArgument, outACspArguments, outACspAssert, outACspAssertParagraph, outACspBaseArgumentList, outACspBaseBranchList, outACspBaseCallExpr, outACspBaseChannelList, outACspBaseCheckExpr, outACspBaseChoiceProcess, outACspBaseCompositeType, outACspBaseConstraintList, outACspBaseDefinitionList, outACspBaseDotExpr, outACspBaseElementList, outACspBaseEventList, 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, outACspCatSequenceExpr, outACspChannel, outACspChannelDefinition, outACspCheckCondition, outACspCheckExpr, outACspClosedRange, outACspCollectionElement, outACspCommentedPrefixProcess, outACspCommentParagraph, outACspComplexBranch, outACspCompositeType, outACspComprehensionSequence, outACspComprehensionSet, outACspConstrainedInputComunication, outACspConstraint, outACspConstraints, outACspConstraintVariable, outACspDatatypeDefinition, outACspDefinitionParagraph, outACspDiffMathExpr, outACspDivMath1Expr, outACspEqualRelationalExpr, outACspEvent, outACspExternalChoiceProcess, outACspExternalDefinition, outACspExternalReplicatedProcess, outACspGteRelationalExpr, outACspGtRelationalExpr, outACspGuardedProcess, outACspHidingProcess, outACspIfExpr, outACspIfExpression, outACspIfProcess, outACspInclude, outACspIncludeParagraph, outACspInputComunication, outACspInstance, outACspInstanceParagraph, outACspInterleaveProcess, outACspInterleaveReplicatedProcess, outACspInternalChoiceProcess, outACspInternalReplicatedProcess, outACspInterruptProcess, outACspLambdaExpr, outACspLambdaExpression, outACspLambdaProcess, outACspLengthExpr, outACspLetExpr, outACspLetExpression, outACspLetProcess, outACspLineComment, outACspLink, outACspLinkedArgumentList, outACspLinkedBranchList, outACspLinkedChannelList, outACspLinkedConstraintList, outACspLinkedDefinitionList, outACspLinkedElementList, outACspLinkedEventList, outACspLinkedLinkList, outACspLinkedNameList, outACspLinkedParallelProcess, outACspLinkedParamList, outACspLinkedReplicatedProcess, outACspLinkedSubstitutionList, outACspLinkedVariableList, outACspLteRelationalExpr, outACspLtRelationalExpr, outACspMinusExpr, outACspModel, outACspModelReference, outACspModule, outACspModuleCall, outACspModuleEvent, outACspModuleParagraph, outACspMulMath1Expr, outACspMultiLineComment, outACspNameCallExpr, outACspNametypeDefinition, outACspNotEqualRelationalExpr, outACspNotExpr, outACspNumberValue, outACspOpenRange, outACspOrLogicalExpr, outACspOutputComunication, outACspParam, outACspParameters, outACspParenthesedValue, outACspPrefixProcess, outACspProductionsSet, outACspProjection, outACspRangeCollectionElement, outACspRefinementCheckExpr, outACspRemainderMath1Expr, outACspRenamingProcess, outACspSequence, outACspSequenceValue, outACspSequentialProcess, outACspSequentialReplicatedProcess, outACspSet, outACspSetType, outACspSetValue, outACspSharingParallelProcess, outACspSharingReplicatedProcess, outACspSimpleBranch, outACspSourceConstraint, outACspSpecification, outACspSubstitution, outACspSubtypeDefinition, outACspTransparentDefinition, outACspTuple, outACspTupleElements, outACspTupleType, outACspTupleValue, outACspType, outACspTypeSpecifier, outACspUntimedTimeoutProcess, 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

ExtendedDepthFirstAdapter

public ExtendedDepthFirstAdapter()
Method Detail

inACspConstantDefinition

public void inACspConstantDefinition(ACspConstantDefinition node)

outACspConstantDefinition

public void outACspConstantDefinition(ACspConstantDefinition node)

caseACspConstantDefinition

public void caseACspConstantDefinition(ACspConstantDefinition node)

inACspFunctionDefinition

public void inACspFunctionDefinition(ACspFunctionDefinition node)

outACspFunctionDefinition

public void outACspFunctionDefinition(ACspFunctionDefinition node)

caseACspFunctionDefinition

public void caseACspFunctionDefinition(ACspFunctionDefinition node)

inACspProcessDefinition

public void inACspProcessDefinition(ACspProcessDefinition node)

outACspProcessDefinition

public void outACspProcessDefinition(ACspProcessDefinition node)

caseACspProcessDefinition

public void caseACspProcessDefinition(ACspProcessDefinition node)

inACspDotExpr

public void inACspDotExpr(ACspDotExpr node)

outACspDotExpr

public void outACspDotExpr(ACspDotExpr node)

caseACspDotExpr

public void caseACspDotExpr(ACspDotExpr node)

inACspConstantCallExpr

public void inACspConstantCallExpr(ACspConstantCallExpr node)

outACspConstantCallExpr

public void outACspConstantCallExpr(ACspConstantCallExpr node)

caseACspConstantCallExpr

public void caseACspConstantCallExpr(ACspConstantCallExpr node)

inACspFunctionCallExpr

public void inACspFunctionCallExpr(ACspFunctionCallExpr node)

outACspFunctionCallExpr

public void outACspFunctionCallExpr(ACspFunctionCallExpr node)

caseACspFunctionCallExpr

public void caseACspFunctionCallExpr(ACspFunctionCallExpr node)

inACspProcessCallExpr

public void inACspProcessCallExpr(ACspProcessCallExpr node)

outACspProcessCallExpr

public void outACspProcessCallExpr(ACspProcessCallExpr node)

caseACspProcessCallExpr

public void caseACspProcessCallExpr(ACspProcessCallExpr node)