command_newhs_ok.e

   1 class COMMAND_NEWHS_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.newhs_ok
  15     end
  16 end