CSPM.FiringRules.Trace

A very rudimentary process tracer for debugging and testing. Prints the current process and the possible transitions to stdout and lets the user select a transition by typing to stdin.

Documentation

trace :: forall i e. (FShow i, ShowTTE e, CSP2 i, e ~ TTE i) => Sigma i -> Process i -> IO ()

A simplistic interactive CSP-M tracer. It prints all events offered by a Proccess to stdout and promts the user for the event to perform.