// ** This class was generated with DemFGen (vers:02/11/2009) 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.*; /** Computes a simple String representation */ public class ToStr extends edu.neu.ccs.demeterf.ID{ /** Static stub method for calling toStr */ public static String ToStrM(Object o){ return new edu.neu.ccs.demeterf.Traversal(new ToStr(),edu.neu.ccs.demeterf.Control.builtins()).traverse(o); } public String combine(byte o){ return ""+o; } public String combine(short o){ return ""+o; } public String combine(int o){ return ""+o; } public String combine(long o){ return ""+o; } public String combine(float o){ return ""+o; } public String combine(double o){ return ""+o; } public String combine(char o){ return ""+o; } public String combine(boolean o){ return ""+o; } public String combine(String o){ return "\""+o+"\""; } public String combine(ident o){ return ""+o; } public String combine(verbatim o){ return ""+o; } public String combine(Cd_graph _h_, String cd){ return "Cd_graph("+cd+")"; } public String combine(NAdj_list _h_, String first, String rest){ return "NAdj_list("+first+","+rest+")"; } public String combine(Adj _h_, String vertex, String ns){ return "Adj("+vertex+","+ns+")"; } public String combine(Product _h_, String c_ns){ return "Product("+c_ns+")"; } public String combine(Sum _h_, String first, String second){ return "Sum("+first+","+second+")"; } public String combine(Syntax_vertex _h_, String string){ return "Syntax_vertex("+string+")"; } public String combine(Labeled_vertex _h_, String label_name, String class_name){ return "Labeled_vertex("+label_name+","+class_name+")"; } public String combine(Nany_vertex_list _h_, String first, String rest){ return "Nany_vertex_list("+first+","+rest+")"; } public String combine(Empty_vl _h_){ return "Empty_vl("+")"; } public String combine(Empty_Adj_list _h_){ return "Empty_Adj_list("+")"; } public String combine(Vertex _h_, String name){ return "Vertex("+name+")"; } }