core:
import java.lang.*;
import java.io.*;
import java.util.*;

import EDU.neu.ccs.demeter.*;
add: abstract class UniversalVisitor {
  public constructor UniversalVisitor() (@
    super();
  @)
  public void start() (@ @)
  public void before(WebScript host) (@ @)
  public void before_service_list(WebScript source, Service_List dest) (@ @)
  public void before(Service host) (@ @)
  public void before(Url host) (@ @)
  public void before_url(Url source, String dest) (@ @)
  public void before(TimeOut host) (@ @)
  public void before_timeout(TimeOut source, float dest) (@ @)
  public void before_service(TimeOut source, Service dest) (@ @)
  public void before(Repeat host) (@ @)
  public void before_service(Repeat source, Service dest) (@ @)
  public void before(Alternative host) (@ @)
  public void before_main(Alternative source, Service dest) (@ @)
  public void before_alternate(Alternative source, Service dest) (@ @)
  public void before(Concurrent host) (@ @)
  public void before_service1(Concurrent source, Service dest) (@ @)
  public void before_service2(Concurrent source, Service dest) (@ @)
  public void before(Main host) (@ @)
  public void before(Service_List host) (@ @)
  public void before_first(Service_List source, Nonempty_Service_List dest) (@ @)
  public void before(Nonempty_Service_List host) (@ @)
  public void before_it(Nonempty_Service_List source, Service dest) (@ @)
  public void before_next(Nonempty_Service_List source, Nonempty_Service_List dest) (@ @)
  public void after(WebScript host) (@ @)
  public void after_service_list(WebScript source, Service_List dest) (@ @)
  public void after(Service host) (@ @)
  public void after(Url host) (@ @)
  public void after_url(Url source, String dest) (@ @)
  public void after(TimeOut host) (@ @)
  public void after_timeout(TimeOut source, float dest) (@ @)
  public void after_service(TimeOut source, Service dest) (@ @)
  public void after(Repeat host) (@ @)
  public void after_service(Repeat source, Service dest) (@ @)
  public void after(Alternative host) (@ @)
  public void after_main(Alternative source, Service dest) (@ @)
  public void after_alternate(Alternative source, Service dest) (@ @)
  public void after(Concurrent host) (@ @)
  public void after_service1(Concurrent source, Service dest) (@ @)
  public void after_service2(Concurrent source, Service dest) (@ @)
  public void after(Main host) (@ @)
  public void after(Service_List host) (@ @)
  public void after_first(Service_List source, Nonempty_Service_List dest) (@ @)
  public void after(Nonempty_Service_List host) (@ @)
  public void after_it(Nonempty_Service_List source, Service dest) (@ @)
  public void after_next(Nonempty_Service_List source, Nonempty_Service_List dest) (@ @)
  public void finish() (@ @)
(@  void universal_trv0_bef(UniversalVisitor _v_) {  }
@)
(@  void universal_trv0_aft(UniversalVisitor _v_) {  }
@)
(@  void universal_trv0(UniversalVisitor _v_) {  }
@)
}