/tutorial/agent/peach.e

http://github.com/tybor/Liberty · Specman e · 12 lines · 9 code · 3 blank · 0 comment · 0 complexity · ddb9687cc6973821eacbe46eb8a0be09 MD5 · raw file

  1. class PEACH
  2. inherit
  3. FRUIT
  4. feature {ANY}
  5. display is
  6. do
  7. std_output.put_string("PEACH%N")
  8. end
  9. end -- class PEACH