Method remapPredTxns

csight/src/csight/model/fifosys/gfsm/GFSM.java:579–602 · view source on GitHub ↗

Changes transitions from all predecessors of fstate to transition instead to fstate2.

(FSMState fstate, FSMState fstate2,
            Map<GFSMState, FSMState> stateMap)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

getCFSMMethod · 0.95

mergeSimulatingStatesMethod · 0.95

newSetMethod · 0.95

containsMethod · 0.80

rmTransitionMethod · 0.80

getNextStatesMethod · 0.45

getTransitioningEventsMethod · 0.45

addTransitionMethod · 0.45

no test coverage detected