/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. 

  2. 

  3. inherit
    4. 

  4. 	FRUIT
    5. 

  5. 

  6. feature {ANY}
    7. 

  7. 	display is
    8. 

  8. 		do
    9. 

  9. 			std_output.put_string("PEACH%N")
    10. 

  10. 		end
    11. 

  11. 

  12. end -- class PEACH
    13.