deferred class NODE_VISITORS(n: NODE)

feature

  visit1(s: STATE): STRING
     deferred
     end;

  visit2(s: STATE): STRING
     deferred
     end;

end -- NODE_VISITORS