lmf.formula.csp.util
Class CspNodeLocator

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

public final class CspNodeLocator
extends ExtendedDepthFirstAdapter

CspNodeLocator.

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

Constructor Summary
CspNodeLocator(Node targetNode)
           
 
Method Summary
 void defaultCase(Node node)
           
 void defaultIn(Node node)
           
 Token getFirstToken()
           
 Token getLastToken()
           
static Location getLocation(Node node)
           
 
Methods inherited from class lmf.formula.csp.analysis.ExtendedDepthFirstAdapter
caseACspConstantCallExpr, caseACspConstantDefinition, caseACspDotExpr, caseACspFunctionCallExpr, caseACspFunctionDefinition, caseACspProcessCallExpr, caseACspProcessDefinition, inACspConstantCallExpr, inACspConstantDefinition, inACspDotExpr, inACspFunctionCallExpr, inACspFunctionDefinition, inACspProcessCallExpr, inACspProcessDefinition, outACspConstantCallExpr, outACspConstantDefinition, outACspDotExpr, outACspFunctionCallExpr, outACspFunctionDefinition, outACspProcessCallExpr, outACspProcessDefinition
 
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, 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, getIn, getOut, setIn, setOut
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CspNodeLocator

public CspNodeLocator(Node targetNode)
Method Detail

getLocation

public static Location getLocation(Node node)

getFirstToken

public Token getFirstToken()

getLastToken

public Token getLastToken()

defaultIn

public void defaultIn(Node node)
Overrides:
defaultIn in class DepthFirstAdapter

defaultCase

public void defaultCase(Node node)
Overrides:
defaultCase in class AnalysisAdapter