package Ġfrontend Ċ Ċ // Ġour Ġoutputs Ċ sealed Ġclass ĠState { ĊĠĠĠ Ġobject ĠBl ank State : State () Ġ// Ġno Ġcommand Ġissued ĊĠĠĠ Ġobject ĠCommand Iss ued : State () ĊĠĠĠ Ġobject ĠCommand Processing : State () ĊĠĠĠ Ġobject ĠCommand Processed : State () Ġ// Ġfinal Ġstate Ċ } Ċ