™

Chapter 6 - More Operations for the ATM Example

More Operations for the ATM

  (Already have Enter Card, Cancel, Entering the PIN)
  Selecting a Task
    Account Balance
    Get $20
    Get $200

Extending the State Machine for the ATM

  Operations from READY state

Writing the Support Code

  Tcl/TK

  PE: PreCode
  PE: PostCode
  Event: GuardExpr
  Event: ActionCode

Exercising the New Operations

  "Manage Packages ..." (trc 1.2)
  Event: gui::Message

Where to Go Next

???