// ** This class was generated with DemFGen (vers:01/09/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.*; 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()).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(Cons _h_, String first, String rest, String _d_){ return ": Cons ("+"\n"+_d_+" "+first+"\n"+_d_+" "+rest+" )"; } String combine(Empty _h_, String _d_){ return ": Empty ("+" )"; } String combine(Start _h_, String sample, String _d_){ return ": Start ("+"\n"+_d_+" "+sample+" )"; } String combine(Pencil _h_, String _d_){ return ": Pencil ("+" )"; } String combine(Apple _h_, String _d_){ return ": Apple ("+" )"; } String combine(Orange _h_, String _d_){ return ": Orange ("+" )"; } String combine(Simple _h_, String s, String _d_){ return ": Simple ("+"\n"+_d_+" "+s+" )"; } String combine(Compound _h_, String l, String _d_){ return ": Compound ("+"\n"+_d_+" "+l+" )"; } String combine(Basket _h_, String items, String _d_){ return ": Basket ("+"\n"+_d_+" "+items+" )"; } String combine(Main _h_, String _d_){ return ": Main ("+" )"; } }