import edu.neu.ccs.demeter.dj.*;
import java.util.*;
import edu.neu.ccs.demeter.*;
 abstract class Term {
  protected Vertex vertex;
  public Vertex get_vertex() { return vertex;   }
  public void set_vertex(Vertex new_vertex) { vertex = new_vertex;   }
  protected Module_name module_name;
  public Module_name get_module_name() { return module_name;   }
  public void set_module_name(Module_name new_module_name) { module_name = new_module_name;   }
  protected Term_Comma_list actual_parameters;
  public Term_Comma_list get_actual_parameters() { return actual_parameters;   }
  public void set_actual_parameters(Term_Comma_list new_actual_parameters) { actual_parameters = new_actual_parameters;   }
  public Term() { super();   }
  public Term(Vertex vertex, Module_name module_name, Term_Comma_list actual_parameters) {
    super();
    set_vertex(vertex);
    set_module_name(module_name);
    set_actual_parameters(actual_parameters);
    }
    void universal_trv0_bef(UniversalVisitor _v_) {
    ((UniversalVisitor) _v_).before(this);
  }

    void universal_trv0_aft(UniversalVisitor _v_) {
    ((UniversalVisitor) _v_).after(this);
  }

    void universal_trv0(UniversalVisitor _v_) {
    ((UniversalVisitor) _v_).before_vertex(this, vertex);
    vertex.universal_trv0(_v_);
    ((UniversalVisitor) _v_).after_vertex(this, vertex);
    if (module_name != null) {
      ((UniversalVisitor) _v_).before_module_name(this, module_name);
      module_name.universal_trv0(_v_);
      ((UniversalVisitor) _v_).after_module_name(this, module_name);
    }
    if (actual_parameters != null) {
      ((UniversalVisitor) _v_).before_actual_parameters(this, actual_parameters);
      actual_parameters.universal_trv0(_v_);
      ((UniversalVisitor) _v_).after_actual_parameters(this, actual_parameters);
    }
  }

    void __trav_display_Cd_graph_trv_bef(DisplayVisitor __v0) {
    ((UniversalVisitor) __v0).before(this);
  }

    void __trav_display_Cd_graph_trv_aft(DisplayVisitor __v0) {
    ((UniversalVisitor) __v0).after(this);
  }

    void __trav_display_Cd_graph_trv(DisplayVisitor __v0) {
    ((DisplayVisitor) __v0).before_vertex(this, vertex);
    vertex.__trav_display_Cd_graph_trv(__v0);
    ((UniversalVisitor) __v0).after_vertex(this, vertex);
    if (module_name != null) {
      ((DisplayVisitor) __v0).before_module_name(this, module_name);
      module_name.__trav_display_Cd_graph_trv(__v0);
      ((UniversalVisitor) __v0).after_module_name(this, module_name);
    }
    if (actual_parameters != null) {
      ((DisplayVisitor) __v0).before_actual_parameters(this, actual_parameters);
      actual_parameters.__trav_display_Cd_graph_trv(__v0);
      ((UniversalVisitor) __v0).after_actual_parameters(this, actual_parameters);
    }
  }

}