command_quit.e

   1 class COMMAND_QUIT
   2 inherit COMMAND
   3 creation make
   4 feature
   5     main : NETWALK
   6
   7     make(m : like main) is
   8     do
   9         main := m
  10     end
  11
  12     execute is
  13     do
  14         main.quit
  15     end
  16 end