command_options_ok.e

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