indexing description: "A concrete state: no card" class StateEmpty inherit AbstractState creation make feature make (ma: Machine) is do mach := ma; end; feature {NONE} mach: Machine; feature {ANY} show_state is do io.put_string ("state: no card%N"); end; add_money (m: integer) is do io.put_string ("No card, rejecting "); io.put_integer (m); io.put_string (".%N"); end; insert_card (c: Card): Boolean is local new_state: StateCard do !! new_state.make (mach, c); mach.set_state (new_state); Result := True; end; end -- class StateEmpty