lmf.formula.csp.analysis
Interface Analysis
- All Superinterfaces:
- Switch
- All Known Implementing Classes:
- AnalysisAdapter, CspContextualAnalyser, CspNodeLocator, DepthFirstAdapter, ExtendedDepthFirstAdapter, ReversedDepthFirstAdapter
public interface Analysis
- extends Switch
getIn
java.lang.Object getIn(Node node)
setIn
void setIn(Node node,
java.lang.Object o)
getOut
java.lang.Object getOut(Node node)
setOut
void setOut(Node node,
java.lang.Object o)
caseStart
void caseStart(Start node)
caseACspSpecification
void caseACspSpecification(ACspSpecification node)
caseACspCommentParagraph
void caseACspCommentParagraph(ACspCommentParagraph node)
caseACspIncludeParagraph
void caseACspIncludeParagraph(ACspIncludeParagraph node)
caseACspModuleParagraph
void caseACspModuleParagraph(ACspModuleParagraph node)
caseACspInstanceParagraph
void caseACspInstanceParagraph(ACspInstanceParagraph node)
caseACspDefinitionParagraph
void caseACspDefinitionParagraph(ACspDefinitionParagraph node)
caseACspAssertParagraph
void caseACspAssertParagraph(ACspAssertParagraph node)
caseACspLineComment
void caseACspLineComment(ACspLineComment node)
caseACspMultiLineComment
void caseACspMultiLineComment(ACspMultiLineComment node)
caseACspInclude
void caseACspInclude(ACspInclude node)
caseACspModule
void caseACspModule(ACspModule node)
caseACspInstance
void caseACspInstance(ACspInstance node)
caseACspModuleCall
void caseACspModuleCall(ACspModuleCall node)
caseACspAssert
void caseACspAssert(ACspAssert node)
caseACspCheckExpr
void caseACspCheckExpr(ACspCheckExpr node)
caseACspRefinementCheckExpr
void caseACspRefinementCheckExpr(ACspRefinementCheckExpr node)
caseACspBaseCheckExpr
void caseACspBaseCheckExpr(ACspBaseCheckExpr node)
caseACspCheckCondition
void caseACspCheckCondition(ACspCheckCondition node)
caseACspModelReference
void caseACspModelReference(ACspModelReference node)
caseACspModel
void caseACspModel(ACspModel node)
caseACspExternalDefinition
void caseACspExternalDefinition(ACspExternalDefinition node)
caseACspTransparentDefinition
void caseACspTransparentDefinition(ACspTransparentDefinition node)
caseACspDatatypeDefinition
void caseACspDatatypeDefinition(ACspDatatypeDefinition node)
caseACspSubtypeDefinition
void caseACspSubtypeDefinition(ACspSubtypeDefinition node)
caseACspNametypeDefinition
void caseACspNametypeDefinition(ACspNametypeDefinition node)
caseACspChannelDefinition
void caseACspChannelDefinition(ACspChannelDefinition node)
caseACspAbstractDefinition
void caseACspAbstractDefinition(ACspAbstractDefinition node)
caseACspLinkedNameList
void caseACspLinkedNameList(ACspLinkedNameList node)
caseACspBaseNameList
void caseACspBaseNameList(ACspBaseNameList node)
caseACspLinkedBranchList
void caseACspLinkedBranchList(ACspLinkedBranchList node)
caseACspBaseBranchList
void caseACspBaseBranchList(ACspBaseBranchList node)
caseACspComplexBranch
void caseACspComplexBranch(ACspComplexBranch node)
caseACspSimpleBranch
void caseACspSimpleBranch(ACspSimpleBranch node)
caseACspTypeSpecifier
void caseACspTypeSpecifier(ACspTypeSpecifier node)
caseACspCompositeType
void caseACspCompositeType(ACspCompositeType node)
caseACspBaseCompositeType
void caseACspBaseCompositeType(ACspBaseCompositeType node)
caseACspType
void caseACspType(ACspType node)
caseACspAbstractType
void caseACspAbstractType(ACspAbstractType node)
caseACspSetType
void caseACspSetType(ACspSetType node)
caseACspTupleType
void caseACspTupleType(ACspTupleType node)
caseACspLinkedChannelList
void caseACspLinkedChannelList(ACspLinkedChannelList node)
caseACspBaseChannelList
void caseACspBaseChannelList(ACspBaseChannelList node)
caseACspChannel
void caseACspChannel(ACspChannel node)
caseACspParameters
void caseACspParameters(ACspParameters node)
caseACspLinkedParamList
void caseACspLinkedParamList(ACspLinkedParamList node)
caseACspBaseParamList
void caseACspBaseParamList(ACspBaseParamList node)
caseACspParam
void caseACspParam(ACspParam node)
caseACspArguments
void caseACspArguments(ACspArguments node)
caseACspLinkedArgumentList
void caseACspLinkedArgumentList(ACspLinkedArgumentList node)
caseACspBaseArgumentList
void caseACspBaseArgumentList(ACspBaseArgumentList node)
caseACspArgument
void caseACspArgument(ACspArgument node)
caseACspLetExpression
void caseACspLetExpression(ACspLetExpression node)
caseACspLambdaExpression
void caseACspLambdaExpression(ACspLambdaExpression node)
caseACspIfExpression
void caseACspIfExpression(ACspIfExpression node)
caseACspBaseExpression
void caseACspBaseExpression(ACspBaseExpression node)
caseACspLetExpr
void caseACspLetExpr(ACspLetExpr node)
caseACspLinkedDefinitionList
void caseACspLinkedDefinitionList(ACspLinkedDefinitionList node)
caseACspBaseDefinitionList
void caseACspBaseDefinitionList(ACspBaseDefinitionList node)
caseACspLambdaExpr
void caseACspLambdaExpr(ACspLambdaExpr node)
caseACspIfExpr
void caseACspIfExpr(ACspIfExpr node)
caseACspInterleaveProcess
void caseACspInterleaveProcess(ACspInterleaveProcess node)
caseACspBaseInterleaveProcess
void caseACspBaseInterleaveProcess(ACspBaseInterleaveProcess node)
caseACspSharingParallelProcess
void caseACspSharingParallelProcess(ACspSharingParallelProcess node)
caseACspLinkedParallelProcess
void caseACspLinkedParallelProcess(ACspLinkedParallelProcess node)
caseACspAlphabetisedParallelProcess
void caseACspAlphabetisedParallelProcess(ACspAlphabetisedParallelProcess node)
caseACspBaseParallelProcess
void caseACspBaseParallelProcess(ACspBaseParallelProcess node)
caseACspLinkedLinkList
void caseACspLinkedLinkList(ACspLinkedLinkList node)
caseACspBaseLinkList
void caseACspBaseLinkList(ACspBaseLinkList node)
caseACspLink
void caseACspLink(ACspLink node)
caseACspInternalChoiceProcess
void caseACspInternalChoiceProcess(ACspInternalChoiceProcess node)
caseACspExternalChoiceProcess
void caseACspExternalChoiceProcess(ACspExternalChoiceProcess node)
caseACspBaseChoiceProcess
void caseACspBaseChoiceProcess(ACspBaseChoiceProcess node)
caseACspUntimedTimeoutProcess
void caseACspUntimedTimeoutProcess(ACspUntimedTimeoutProcess node)
caseACspBaseTimeoutProcess
void caseACspBaseTimeoutProcess(ACspBaseTimeoutProcess node)
caseACspInterruptProcess
void caseACspInterruptProcess(ACspInterruptProcess node)
caseACspBaseInterruptProcess
void caseACspBaseInterruptProcess(ACspBaseInterruptProcess node)
caseACspSequentialProcess
void caseACspSequentialProcess(ACspSequentialProcess node)
caseACspBaseSequentialProcess
void caseACspBaseSequentialProcess(ACspBaseSequentialProcess node)
caseACspInterleaveReplicatedProcess
void caseACspInterleaveReplicatedProcess(ACspInterleaveReplicatedProcess node)
caseACspSharingReplicatedProcess
void caseACspSharingReplicatedProcess(ACspSharingReplicatedProcess node)
caseACspLinkedReplicatedProcess
void caseACspLinkedReplicatedProcess(ACspLinkedReplicatedProcess node)
caseACspAlphabetisedReplicatedProcess
void caseACspAlphabetisedReplicatedProcess(ACspAlphabetisedReplicatedProcess node)
caseACspInternalReplicatedProcess
void caseACspInternalReplicatedProcess(ACspInternalReplicatedProcess node)
caseACspExternalReplicatedProcess
void caseACspExternalReplicatedProcess(ACspExternalReplicatedProcess node)
caseACspSequentialReplicatedProcess
void caseACspSequentialReplicatedProcess(ACspSequentialReplicatedProcess node)
caseACspBaseReplicatedProcess
void caseACspBaseReplicatedProcess(ACspBaseReplicatedProcess node)
caseACspLinkedVariableList
void caseACspLinkedVariableList(ACspLinkedVariableList node)
caseACspBaseVariableList
void caseACspBaseVariableList(ACspBaseVariableList node)
caseACspVariable
void caseACspVariable(ACspVariable node)
caseACspConstraintVariable
void caseACspConstraintVariable(ACspConstraintVariable node)
caseACspBaseLetHelp
void caseACspBaseLetHelp(ACspBaseLetHelp node)
caseACspBaseLambdaHelp
void caseACspBaseLambdaHelp(ACspBaseLambdaHelp node)
caseACspBaseIfHelp
void caseACspBaseIfHelp(ACspBaseIfHelp node)
caseACspBaseReplicatedHelp
void caseACspBaseReplicatedHelp(ACspBaseReplicatedHelp node)
caseACspLetProcess
void caseACspLetProcess(ACspLetProcess node)
caseACspLambdaProcess
void caseACspLambdaProcess(ACspLambdaProcess node)
caseACspIfProcess
void caseACspIfProcess(ACspIfProcess node)
caseACspPrefixProcess
void caseACspPrefixProcess(ACspPrefixProcess node)
caseACspCommentedPrefixProcess
void caseACspCommentedPrefixProcess(ACspCommentedPrefixProcess node)
caseACspBasePrefixProcess
void caseACspBasePrefixProcess(ACspBasePrefixProcess node)
caseACspEvent
void caseACspEvent(ACspEvent node)
caseACspModuleEvent
void caseACspModuleEvent(ACspModuleEvent node)
caseACspProjection
void caseACspProjection(ACspProjection node)
caseACspInputComunication
void caseACspInputComunication(ACspInputComunication node)
caseACspConstrainedInputComunication
void caseACspConstrainedInputComunication(ACspConstrainedInputComunication node)
caseACspOutputComunication
void caseACspOutputComunication(ACspOutputComunication node)
caseACspGuardedProcess
void caseACspGuardedProcess(ACspGuardedProcess node)
caseACspBaseGuardedProcess
void caseACspBaseGuardedProcess(ACspBaseGuardedProcess node)
caseACspHidingProcess
void caseACspHidingProcess(ACspHidingProcess node)
caseACspBaseHidingProcess
void caseACspBaseHidingProcess(ACspBaseHidingProcess node)
caseACspRenamingProcess
void caseACspRenamingProcess(ACspRenamingProcess node)
caseACspBaseRenamingProcess
void caseACspBaseRenamingProcess(ACspBaseRenamingProcess node)
caseACspLinkedSubstitutionList
void caseACspLinkedSubstitutionList(ACspLinkedSubstitutionList node)
caseACspBaseSubstitutionList
void caseACspBaseSubstitutionList(ACspBaseSubstitutionList node)
caseACspSubstitution
void caseACspSubstitution(ACspSubstitution node)
caseACspConstraints
void caseACspConstraints(ACspConstraints node)
caseACspLinkedConstraintList
void caseACspLinkedConstraintList(ACspLinkedConstraintList node)
caseACspBaseConstraintList
void caseACspBaseConstraintList(ACspBaseConstraintList node)
caseACspSourceConstraint
void caseACspSourceConstraint(ACspSourceConstraint node)
caseACspConstraint
void caseACspConstraint(ACspConstraint node)
caseACspBaseProcess
void caseACspBaseProcess(ACspBaseProcess node)
caseACspBaseExpr
void caseACspBaseExpr(ACspBaseExpr node)
caseACspAndLogicalExpr
void caseACspAndLogicalExpr(ACspAndLogicalExpr node)
caseACspOrLogicalExpr
void caseACspOrLogicalExpr(ACspOrLogicalExpr node)
caseACspBaseLogicalExpr
void caseACspBaseLogicalExpr(ACspBaseLogicalExpr node)
caseACspEqualRelationalExpr
void caseACspEqualRelationalExpr(ACspEqualRelationalExpr node)
caseACspNotEqualRelationalExpr
void caseACspNotEqualRelationalExpr(ACspNotEqualRelationalExpr node)
caseACspGtRelationalExpr
void caseACspGtRelationalExpr(ACspGtRelationalExpr node)
caseACspGteRelationalExpr
void caseACspGteRelationalExpr(ACspGteRelationalExpr node)
caseACspLtRelationalExpr
void caseACspLtRelationalExpr(ACspLtRelationalExpr node)
caseACspLteRelationalExpr
void caseACspLteRelationalExpr(ACspLteRelationalExpr node)
caseACspBaseRelationalExpr
void caseACspBaseRelationalExpr(ACspBaseRelationalExpr node)
caseACspAddMathExpr
void caseACspAddMathExpr(ACspAddMathExpr node)
caseACspDiffMathExpr
void caseACspDiffMathExpr(ACspDiffMathExpr node)
caseACspBaseMathExpr
void caseACspBaseMathExpr(ACspBaseMathExpr node)
caseACspMulMath1Expr
void caseACspMulMath1Expr(ACspMulMath1Expr node)
caseACspDivMath1Expr
void caseACspDivMath1Expr(ACspDivMath1Expr node)
caseACspRemainderMath1Expr
void caseACspRemainderMath1Expr(ACspRemainderMath1Expr node)
caseACspBaseMath1Expr
void caseACspBaseMath1Expr(ACspBaseMath1Expr node)
caseACspCatSequenceExpr
void caseACspCatSequenceExpr(ACspCatSequenceExpr node)
caseACspBaseSequenceExpr
void caseACspBaseSequenceExpr(ACspBaseSequenceExpr node)
caseACspNotExpr
void caseACspNotExpr(ACspNotExpr node)
caseACspBaseNotExpr
void caseACspBaseNotExpr(ACspBaseNotExpr node)
caseACspMinusExpr
void caseACspMinusExpr(ACspMinusExpr node)
caseACspBaseMinusExpr
void caseACspBaseMinusExpr(ACspBaseMinusExpr node)
caseACspLengthExpr
void caseACspLengthExpr(ACspLengthExpr node)
caseACspBaseLengthExpr
void caseACspBaseLengthExpr(ACspBaseLengthExpr node)
caseACspCall1DotExpr
void caseACspCall1DotExpr(ACspCall1DotExpr node)
caseACspCall2DotExpr
void caseACspCall2DotExpr(ACspCall2DotExpr node)
caseACspBaseDotExpr
void caseACspBaseDotExpr(ACspBaseDotExpr node)
caseACspAbstractCallExpr
void caseACspAbstractCallExpr(ACspAbstractCallExpr node)
caseACspNameCallExpr
void caseACspNameCallExpr(ACspNameCallExpr node)
caseACspCallExpr
void caseACspCallExpr(ACspCallExpr node)
caseACspBaseCallExpr
void caseACspBaseCallExpr(ACspBaseCallExpr node)
caseACspNumberValue
void caseACspNumberValue(ACspNumberValue node)
caseACspTupleValue
void caseACspTupleValue(ACspTupleValue node)
caseACspSetValue
void caseACspSetValue(ACspSetValue node)
caseACspSequenceValue
void caseACspSequenceValue(ACspSequenceValue node)
caseACspParenthesedValue
void caseACspParenthesedValue(ACspParenthesedValue node)
caseACspTuple
void caseACspTuple(ACspTuple node)
caseACspTupleElements
void caseACspTupleElements(ACspTupleElements node)
caseACspSet
void caseACspSet(ACspSet node)
caseACspComprehensionSet
void caseACspComprehensionSet(ACspComprehensionSet node)
caseACspProductionsSet
void caseACspProductionsSet(ACspProductionsSet node)
caseACspLinkedElementList
void caseACspLinkedElementList(ACspLinkedElementList node)
caseACspBaseElementList
void caseACspBaseElementList(ACspBaseElementList node)
caseACspCollectionElement
void caseACspCollectionElement(ACspCollectionElement node)
caseACspRangeCollectionElement
void caseACspRangeCollectionElement(ACspRangeCollectionElement node)
caseACspClosedRange
void caseACspClosedRange(ACspClosedRange node)
caseACspOpenRange
void caseACspOpenRange(ACspOpenRange node)
caseACspLinkedEventList
void caseACspLinkedEventList(ACspLinkedEventList node)
caseACspBaseEventList
void caseACspBaseEventList(ACspBaseEventList node)
caseACspSequence
void caseACspSequence(ACspSequence node)
caseACspComprehensionSequence
void caseACspComprehensionSequence(ACspComprehensionSequence node)
caseTInclude
void caseTInclude(TInclude node)
caseTDdash
void caseTDdash(TDdash node)
caseTExternal
void caseTExternal(TExternal node)
caseTTransparent
void caseTTransparent(TTransparent node)
caseTAssert
void caseTAssert(TAssert node)
caseTFree
void caseTFree(TFree node)
caseTLCheck
void caseTLCheck(TLCheck node)
caseTModule
void caseTModule(TModule node)
caseTExports
void caseTExports(TExports node)
caseTEndModule
void caseTEndModule(TEndModule node)
caseTInstance
void caseTInstance(TInstance node)
caseTDcolon
void caseTDcolon(TDcolon node)
caseTSingleLineComment
void caseTSingleLineComment(TSingleLineComment node)
caseTMultiLineComment
void caseTMultiLineComment(TMultiLineComment node)
caseTBlank
void caseTBlank(TBlank node)
caseTDefs
void caseTDefs(TDefs node)
caseTDot
void caseTDot(TDot node)
caseTColon
void caseTColon(TColon node)
caseTComma
void caseTComma(TComma node)
caseTMinus
void caseTMinus(TMinus node)
caseTPlus
void caseTPlus(TPlus node)
caseTMult
void caseTMult(TMult node)
caseTDiv
void caseTDiv(TDiv node)
caseTRemainder
void caseTRemainder(TRemainder node)
caseTEqual
void caseTEqual(TEqual node)
caseTNEqual
void caseTNEqual(TNEqual node)
caseTLeq
void caseTLeq(TLeq node)
caseTGeq
void caseTGeq(TGeq node)
caseTLt
void caseTLt(TLt node)
caseTGt
void caseTGt(TGt node)
caseTNot
void caseTNot(TNot node)
caseTAnd
void caseTAnd(TAnd node)
caseTOr
void caseTOr(TOr node)
caseTNumber
void caseTNumber(TNumber node)
caseTLPar
void caseTLPar(TLPar node)
caseTRPar
void caseTRPar(TRPar node)
caseTLBrace
void caseTLBrace(TLBrace node)
caseTRBrace
void caseTRBrace(TRBrace node)
caseTDdot
void caseTDdot(TDdot node)
caseTCat
void caseTCat(TCat node)
caseTHash
void caseTHash(THash node)
caseTNametype
void caseTNametype(TNametype node)
caseTDatatype
void caseTDatatype(TDatatype node)
caseTSubtype
void caseTSubtype(TSubtype node)
caseTChannel
void caseTChannel(TChannel node)
caseTArrow
void caseTArrow(TArrow node)
caseTGuard
void caseTGuard(TGuard node)
caseTSemicolon
void caseTSemicolon(TSemicolon node)
caseTUntimedTimeout
void caseTUntimedTimeout(TUntimedTimeout node)
caseTInterrupt
void caseTInterrupt(TInterrupt node)
caseTExternalChoice
void caseTExternalChoice(TExternalChoice node)
caseTInternalChoice
void caseTInternalChoice(TInternalChoice node)
caseTLParallel
void caseTLParallel(TLParallel node)
caseTRParallel
void caseTRParallel(TRParallel node)
caseTLBracket
void caseTLBracket(TLBracket node)
caseTRBracket
void caseTRBracket(TRBracket node)
caseTParallel
void caseTParallel(TParallel node)
caseTLink
void caseTLink(TLink node)
caseTInterleave
void caseTInterleave(TInterleave node)
caseTBar
void caseTBar(TBar node)
caseTLSubst
void caseTLSubst(TLSubst node)
caseTRSubst
void caseTRSubst(TRSubst node)
caseTExtract
void caseTExtract(TExtract node)
caseTLProds
void caseTLProds(TLProds node)
caseTRProds
void caseTRProds(TRProds node)
caseTBackslash
void caseTBackslash(TBackslash node)
caseTAt
void caseTAt(TAt node)
caseTIf
void caseTIf(TIf node)
caseTThen
void caseTThen(TThen node)
caseTElse
void caseTElse(TElse node)
caseTLet
void caseTLet(TLet node)
caseTWithin
void caseTWithin(TWithin node)
caseTOutput
void caseTOutput(TOutput node)
caseTInput
void caseTInput(TInput node)
caseTName
void caseTName(TName node)
caseTFilename
void caseTFilename(TFilename node)
caseEOF
void caseEOF(EOF node)