search

oofp / Beseder

Beseder: make impossible state transitions impossible
BSD 3-Clause "New" or "Revised" License
32 stars 0 forks source link

Generated resource definition from state diagram #21

Open oofp opened 4 years ago

oofp commented 4 years ago

Possibly using TH quasiquotes

oofp commented 4 years ago

Example of state diagram: [] --> CardReaderIdle EatingCard --> CardReaderReleased : trans EjectingCard --> CardReaderReleased : trans CardReaderIdle --> CardInserted : trans CardReaderIdle --> CardInvalid : trans CardReaderIdle --> CardReaderReleased : ReleaseReader CardInvalid --> EjectingCard : AckInvalidCard CardInserted --> EatingCard : EatCard CardInserted --> EjectingCard : EjectCard CardReaderReleased --> CardReaderIdle : EnableCardReader CardReaderReleased--> []