package EDU.neu.ccs.demeter.tools.apstudio.graphedit;
import java.awt.*;
import java.io.*;
import java.util.*;
import EDU.neu.ccs.demeter.*;
import EDU.neu.ccs.demeter.common.tg.*;


import EDU.neu.ccs.demeter.*;
class IntVisitor extends cdStringVisitor {
  protected Hashtable vtable;
  public Hashtable get_vtable() { return vtable; }
  public void set_vtable(Hashtable new_vtable)
    { vtable = new_vtable; }
  protected Hashtable etable;
  public Hashtable get_etable() { return etable; }
  public void set_etable(Hashtable new_etable)
    { etable = new_etable; }
  IntVisitor() { super(); }
  public IntVisitor(String return_val, Hashtable vtable, Hashtable etable) {
    super(return_val);
    set_vtable(vtable);
    set_etable(etable);
  }

	String vname = "";
	String code = null;
	  public void before(UVertex host) {
		vname = "";
	}
  public void before(UVertexName host) {
		vname = host.get_name().toString();
	}
  public void before(JavaCode host) {
		code = host.get_code().toString();
	}
  public void after(UVertex host) {
		return_val = "*interface* " + vname ; 
		if(code !=null)
			return_val += " (" + "@ " + code + " @" + ") ";
		return_val += ".\n";
	}
  void universal_trv0_bef(UniversalVisitor _v_) {
    super.universal_trv0_bef(_v_);
  }
  void universal_trv0_aft(UniversalVisitor _v_) {
    super.universal_trv0_aft(_v_);
  }
  void universal_trv0(UniversalVisitor _v_) {
    universal_trv0_bef(_v_);
    super.universal_trv0(_v_);
    universal_trv0_aft(_v_);
  }
}