SHARE
TWEET

Untitled

a guest Feb 16th, 2018 103 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. note
  2.     description: ""
  3.     author: ""
  4.     date: "$Date$"
  5.     revision: "$Revision$"
  6.  
  7. deferred class
  8.     ETF_DIE_INTERFACE
  9. inherit
  10.     ETF_COMMAND
  11.         redefine
  12.             make
  13.         end
  14.  
  15. feature {NONE} -- Initialization
  16.  
  17.     make(an_etf_cmd_name: STRING; etf_cmd_args: TUPLE; an_etf_cmd_container: ETF_ABSTRACT_UI_INTERFACE)
  18.         do
  19.             Precursor(an_etf_cmd_name,etf_cmd_args,an_etf_cmd_container)
  20.             etf_cmd_routine := agent die(?)
  21.             etf_cmd_routine.set_operands (etf_cmd_args)
  22.             if
  23.                 attached {INTEGER_64} etf_cmd_args[1] as id
  24.             then
  25.                 out := "die(" + etf_event_argument_out("die", "id", id) + ")"
  26.             else
  27.                 etf_cmd_error := True
  28.             end
  29.         end
  30.  
  31. feature -- command precondition
  32.     die_precond(id: INTEGER_64): BOOLEAN
  33.         do  
  34.             Result :=
  35.                 comment ("ID = INTEGER_64")
  36.         ensure then  
  37.             Result =
  38.                 comment ("ID = INTEGER_64")
  39.         end
  40. feature -- command
  41.     die(id: INTEGER_64)
  42.         require
  43.             die_precond(id)
  44.         deferred
  45.         end
  46. end
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Top