theathibm

Preconditions are handled using "beforeEvent" Postconditions are handled using "afterEvent" State support enterState and leaveState where appropriate state logic occurs I think there needs to support for "doTansition" where the...