/tutorial/agent/fruit.e

http://github.com/tybor/Liberty · Specman e · 8 lines · 6 code · 2 blank · 0 comment · 0 complexity · 8b79510b246cb0d25df82bd68556adc5 MD5 · raw file

  1. deferred class FRUIT
  2. feature {ANY}
  3. display is
  4. deferred
  5. end
  6. end -- class FRUIT