de.cau.cs.kieler.krep.evalbench.smakc
Class LineScanner

java.lang.Object
  extended by kiel.util.kit.analysis.AnalysisAdapter
      extended by kiel.util.kit.analysis.DepthFirstAdapter
          extended by de.cau.cs.kieler.krep.evalbench.smakc.LineScanner
All Implemented Interfaces:
kiel.util.kit.analysis.Analysis, kiel.util.kit.node.Switch

public class LineScanner
extends kiel.util.kit.analysis.DepthFirstAdapter

Scan assembler generated by smakc, to get correspondence between states and assembler lines.

Rating red

Constructor Summary
LineScanner(HashMap<String,Integer> state2id, HashMap<Integer,Integer> s2l)
           
 
Method Summary
 void defaultIn(kiel.util.kit.node.Node node)
           
 void inACompositeState(kiel.util.kit.node.ACompositeState node)
           
 void inAInitialTransition(kiel.util.kit.node.AInitialTransition node)
           
 void inAOtherTransition(kiel.util.kit.node.AOtherTransition node)
           
 void inASimpleState(kiel.util.kit.node.ASimpleState node)
           
 
Methods inherited from class kiel.util.kit.analysis.DepthFirstAdapter
caseABooleanVarEventType, caseACargument, caseAChart, caseACollapsedSview, caseACompositeState, caseAConditionalTranstype, caseACstate, caseADeclaration, caseADoActionStateargument, caseADoubleVarEventType, caseAEntryActionStateargument, caseAEvent, caseAExitActionStateargument, caseAFalseTBoolean, caseAFinalPseudo, caseAFirstcarguments, caseAFirstrarguments, caseAFirstsarguments, caseAFirsttransarguments, caseAFloatVarEventType, caseAHeightSview, caseAInitialTransition, caseAInitialvalue, caseAInputDeclTyp, caseAIntegerAddVarEventType, caseAIntegerMultVarEventType, caseAIntegerVarEventType, caseAInternalTransitionTranstype, caseAIodeclaration, caseALabelposTview, caseALabelRegionargument, caseALabelStateargument, caseALabelTransargument, caseALastcargument, caseALastrargument, caseALastsargument, caseALasttransargument, caseAModelChartargument, caseANewEventRegionargument, caseANewEventStateargument, caseANewRegionElement, caseANewVariableRegionargument, caseANewVariableStateargument, caseANormalTranstype, caseAOtherTransition, caseAOutputDeclTyp, caseAPathTview, caseAPchoicePseudo, caseAPdeephistoryPseudo, caseAPdynamicPseudo, caseAPforkPseudo, caseAPhistoryPseudo, caseAPinitialPseudo, caseAPjoinPseudo, caseAPjunctionPseudo, caseAPosSview, caseAPrioposTview, caseAPriorityTransargument, caseAPsuspendPseudo, caseAPsyncPseudo, caseARargument, caseARegion, caseASargument, caseASimpleState, caseAStateElement, caseAStrongTranstype, caseASuspensionTranstype, caseATargument, caseATransitionElement, caseATrueTBoolean, caseATypeStateargument, caseATypeTransargument, caseAVarDeclTyp, caseAVariable, caseAVersionChartargument, caseAViewRegionargument, caseAViewStateargument, caseAViewTransargument, caseAVtype, caseAWeakTranstype, caseAWidthSview, caseStart, defaultOut, inABooleanVarEventType, inACargument, inAChart, inACollapsedSview, inAConditionalTranstype, inACstate, inADeclaration, inADoActionStateargument, inADoubleVarEventType, inAEntryActionStateargument, inAEvent, inAExitActionStateargument, inAFalseTBoolean, inAFinalPseudo, inAFirstcarguments, inAFirstrarguments, inAFirstsarguments, inAFirsttransarguments, inAFloatVarEventType, inAHeightSview, inAInitialvalue, inAInputDeclTyp, inAIntegerAddVarEventType, inAIntegerMultVarEventType, inAIntegerVarEventType, inAInternalTransitionTranstype, inAIodeclaration, inALabelposTview, inALabelRegionargument, inALabelStateargument, inALabelTransargument, inALastcargument, inALastrargument, inALastsargument, inALasttransargument, inAModelChartargument, inANewEventRegionargument, inANewEventStateargument, inANewRegionElement, inANewVariableRegionargument, inANewVariableStateargument, inANormalTranstype, inAOutputDeclTyp, inAPathTview, inAPchoicePseudo, inAPdeephistoryPseudo, inAPdynamicPseudo, inAPforkPseudo, inAPhistoryPseudo, inAPinitialPseudo, inAPjoinPseudo, inAPjunctionPseudo, inAPosSview, inAPrioposTview, inAPriorityTransargument, inAPsuspendPseudo, inAPsyncPseudo, inARargument, inARegion, inASargument, inAStateElement, inAStrongTranstype, inASuspensionTranstype, inATargument, inATransitionElement, inATrueTBoolean, inATypeStateargument, inATypeTransargument, inAVarDeclTyp, inAVariable, inAVersionChartargument, inAViewRegionargument, inAViewStateargument, inAViewTransargument, inAVtype, inAWeakTranstype, inAWidthSview, inStart, outABooleanVarEventType, outACargument, outAChart, outACollapsedSview, outACompositeState, outAConditionalTranstype, outACstate, outADeclaration, outADoActionStateargument, outADoubleVarEventType, outAEntryActionStateargument, outAEvent, outAExitActionStateargument, outAFalseTBoolean, outAFinalPseudo, outAFirstcarguments, outAFirstrarguments, outAFirstsarguments, outAFirsttransarguments, outAFloatVarEventType, outAHeightSview, outAInitialTransition, outAInitialvalue, outAInputDeclTyp, outAIntegerAddVarEventType, outAIntegerMultVarEventType, outAIntegerVarEventType, outAInternalTransitionTranstype, outAIodeclaration, outALabelposTview, outALabelRegionargument, outALabelStateargument, outALabelTransargument, outALastcargument, outALastrargument, outALastsargument, outALasttransargument, outAModelChartargument, outANewEventRegionargument, outANewEventStateargument, outANewRegionElement, outANewVariableRegionargument, outANewVariableStateargument, outANormalTranstype, outAOtherTransition, outAOutputDeclTyp, outAPathTview, outAPchoicePseudo, outAPdeephistoryPseudo, outAPdynamicPseudo, outAPforkPseudo, outAPhistoryPseudo, outAPinitialPseudo, outAPjoinPseudo, outAPjunctionPseudo, outAPosSview, outAPrioposTview, outAPriorityTransargument, outAPsuspendPseudo, outAPsyncPseudo, outARargument, outARegion, outASargument, outASimpleState, outAStateElement, outAStrongTranstype, outASuspensionTranstype, outATargument, outATransitionElement, outATrueTBoolean, outATypeStateargument, outATypeTransargument, outAVarDeclTyp, outAVariable, outAVersionChartargument, outAViewRegionargument, outAViewStateargument, outAViewTransargument, outAVtype, outAWeakTranstype, outAWidthSview, outStart
 
Methods inherited from class kiel.util.kit.analysis.AnalysisAdapter
caseEOF, caseTAdd, caseTBind, caseTBlank, caseTBoolean, caseTChoice, caseTCollapsed, caseTColon, caseTCombine, caseTComment, caseTConditional, caseTDeephistory, caseTDim, caseTDo, caseTDot, caseTDouble, caseTDynamicchoice, caseTEdge, caseTEntry, caseTEqual, caseTExit, caseTFalse, caseTFinal, caseTFloat, caseTFork, caseTHeight, caseTHistory, caseTIdentifier, caseTInitial, caseTInput, caseTInt, caseTInteger, caseTInternal, caseTJoin, caseTJunction, caseTLabel, caseTLabelpos, caseTLBrace, caseTLBracket, caseTLocalevent, caseTLocalvariable, caseTLPar, caseTLReg, caseTModel, caseTMult, caseTNormaltermination, caseTNumber, caseTOutput, caseTParallel, caseTPos, caseTPriopos, caseTPriority, caseTRBrace, caseTRBracket, caseTRPar, caseTRReg, caseTSemicolon, caseTStatechart, caseTString, caseTStrongabortion, caseTSuspend, caseTSuspension, caseTSync, caseTTrue, caseTType, caseTVar, caseTVersion, caseTWeakabortion, caseTWidth, caseTWith, defaultCase, getIn, getOut, setIn, setOut
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LineScanner

public LineScanner(HashMap<String,Integer> state2id,
                   HashMap<Integer,Integer> s2l)
Parameters:
state2id - mapping from state-name to id
s2l - mapping from id to assembler line
Method Detail

defaultIn

public void defaultIn(kiel.util.kit.node.Node node)
Overrides:
defaultIn in class kiel.util.kit.analysis.DepthFirstAdapter

inAInitialTransition

public void inAInitialTransition(kiel.util.kit.node.AInitialTransition node)
Overrides:
inAInitialTransition in class kiel.util.kit.analysis.DepthFirstAdapter

inAOtherTransition

public void inAOtherTransition(kiel.util.kit.node.AOtherTransition node)
Overrides:
inAOtherTransition in class kiel.util.kit.analysis.DepthFirstAdapter

inACompositeState

public void inACompositeState(kiel.util.kit.node.ACompositeState node)
Overrides:
inACompositeState in class kiel.util.kit.analysis.DepthFirstAdapter

inASimpleState

public void inASimpleState(kiel.util.kit.node.ASimpleState node)
Overrides:
inASimpleState in class kiel.util.kit.analysis.DepthFirstAdapter