deferred class NODE_VISITOR

feature

  visit_a(n: NODE_A): STRING
     deferred
     end;

  visit_b(n: NODE_B): STRING
     deferred
     end;

end -- NODE_VISITOR