MCPcopy Create free account
hub / github.com/ModelInference/synoptic / addFSM

Method addFSM

csight/src/csight/model/fifosys/cfsm/CFSM.java:258–291  ·  view source on GitHub ↗

Adds a new FSM instance to the CFSM. Once all the FSMs have been added, the CFSM is considered initialized. @param fsm

(FSM fsm)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 10

getCFSMMethod · 0.95
isEquivalentCFSMMethod · 0.95
isEquivalentCFSMFalseDiffPidMethod · 0.95
isEquivalentCFSMFalseDiffSizeMethod · 0.95
oneFSMOneStateTestMethod · 0.95
oneFSMTwoStatesTestMethod · 0.95
twoFSMsTwoStatesEachLocalEventsTestMethod · 0.95
twoFSMsTwoStatesEachCommEventsTestMethod · 0.95
verifyEventuallyUnsafe2Method · 0.80
setUpMethod · 0.80

Calls 9

getDstPidMethod · 0.80
getSrcPidMethod · 0.80
getPidMethod · 0.65
getMethod · 0.65
isCommEventMethod · 0.65
getChannelIdMethod · 0.65
setMethod · 0.65
getAlphabetMethod · 0.45
addAllMethod · 0.45

Tested by 9

isEquivalentCFSMMethod · 0.76
isEquivalentCFSMFalseDiffPidMethod · 0.76
isEquivalentCFSMFalseDiffSizeMethod · 0.76
oneFSMOneStateTestMethod · 0.76
oneFSMTwoStatesTestMethod · 0.76
twoFSMsTwoStatesEachLocalEventsTestMethod · 0.76
twoFSMsTwoStatesEachCommEventsTestMethod · 0.76
verifyEventuallyUnsafe2Method · 0.64
setUpMethod · 0.64