// ** This class was generated with DemFGen (vers:10/30/2008)

package gen;

import edu.neu.ccs.demeterf.control.Fields;
import edu.neu.ccs.demeterf.demfgen.lib.ident;
import edu.neu.ccs.demeterf.demfgen.lib.verbatim;
import edu.neu.ccs.demeterf.demfgen.lib.*;
import edu.neu.ccs.demeterf.*;



public class Display extends edu.neu.ccs.demeterf.ID{
   public static String DisplayM(Object o){
      return new edu.neu.ccs.demeterf.Traversal(new Display(),edu.neu.ccs.demeterf.Control.builtins()).<String>traverse(o,"   ");
   }

   String combine(byte o){ return ": byte \""+o+"\""; }
   String combine(short o){ return ": short \""+o+"\""; }
   String combine(int o){ return ": int \""+o+"\""; }
   String combine(long o){ return ": long \""+o+"\""; }
   String combine(float o){ return ": float \""+o+"\""; }
   String combine(double o){ return ": double \""+o+"\""; }
   String combine(char o){ return ": char \""+o+"\""; }
   String combine(boolean o){ return ": boolean \""+o+"\""; }
   String combine(String o){ return ": String \""+o+"\""; }
   String combine(ident o){ return ": ident \""+o+"\""; }
   String combine(verbatim o){ return ": verbatim \""+o+"\""; }


   String update(Object o, Fields.any f, String d){ return d+"   "; }
   String _i(int d){ return d==0?"":"   "+_i(d-1); }

   String combine(Cd_graph _h_, String first, String rest, String _d_){
      return ": Cd_graph ("+"\n"+_d_+"<first> "+first+"\n"+_d_+"<rest> "+rest+" )";
   }
   String combine(Adj _h_, String vertex, String ns, String _d_){
      return ": Adj ("+"\n"+_d_+"<vertex> "+vertex+"\n"+_d_+"<ns> "+ns+" )";
   }
   String combine(Product _h_, String c_ns, String _d_){
      return ": Product ("+"\n"+_d_+"<c_ns> "+c_ns+" )";
   }
   String combine(Sum _h_, String first, String second, String _d_){
      return ": Sum ("+"\n"+_d_+"<first> "+first+"\n"+_d_+"<second> "+second+" )";
   }
   String combine(Syntax_vertex _h_, String string, String _d_){
      return ": Syntax_vertex ("+"\n"+_d_+"<string> "+string+" )";
   }
   String combine(Labeled_vertex _h_, String label_name, String class_name, String _d_){
      return ": Labeled_vertex ("+"\n"+_d_+"<label_name> "+label_name+"\n"+_d_+"<class_name> "+class_name+" )";
   }
   String combine(Nany_vertex_list _h_, String first, String rest, String _d_){
      return ": Nany_vertex_list ("+"\n"+_d_+"<first> "+first+"\n"+_d_+"<rest> "+rest+" )";
   }
   String combine(Empty_vl _h_, String _d_){
      return ": Empty_vl ("+" )";
   }
   String combine(Empty_cd_graph _h_, String _d_){
      return ": Empty_cd_graph ("+" )";
   }
   String combine(Vertex _h_, String name, String _d_){
      return ": Vertex ("+"\n"+_d_+"<name> "+name+" )";
   }

}