kiama.machine
Classes
Machine
Machine.State
Machine.Update