Method GFSM

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

Creates an empty GFSM.

(int numProcesses, List<ChannelId> channelIds)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

nothing calls this directly

newMapMethod · 0.95

newSetMethod · 0.95

addToQueueContentsHashMapMethod · 0.95

traverseAndPartitionMethod · 0.95

checkPartitioningConsistencyMethod · 0.95

recomputeAlphabetMethod · 0.80

getMethod · 0.65

equalsMethod · 0.65

clearMethod · 0.65

addMethod · 0.65

getNumProcessesMethod · 0.45

getChannelIdsMethod · 0.45

no test coverage detected