// ** This class was generated with DemFGen (vers:01/05/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()).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 moves, String _d_){ return ": Start ("+"\n"+_d_+" "+moves+" )"; } String combine(MegaMove _h_, String whoOffers, String offers, String whoBuys, String buys, String whoDelivers, String rawmaterials, String whoFinishes, String finished, String _d_){ return ": MegaMove ("+"\n"+_d_+" "+whoOffers+"\n"+_d_+" "+offers+"\n"+_d_+" "+whoBuys+"\n"+_d_+" "+buys+"\n"+_d_+" "+whoDelivers+"\n"+_d_+" "+rawmaterials+"\n"+_d_+" "+whoFinishes+"\n"+_d_+" "+finished+" )"; } String combine(SymmetricMegaMove _h_, String m1, String m2, String _d_){ return ": SymmetricMegaMove ("+"\n"+_d_+" "+m1+"\n"+_d_+" "+m2+" )"; } String combine(White _h_, String _d_){ return ": White ("+" )"; } String combine(Black _h_, String _d_){ return ": Black ("+" )"; } String combine(Derivative _h_, String n, String _d_){ return ": Derivative ("+"\n"+_d_+" "+n+" )"; } String combine(RawMaterial _h_, String for, String n, String _d_){ return ": RawMaterial ("+"\n"+_d_+" "+for+"\n"+_d_+" "+n+" )"; } String combine(FinishedProduct _h_, String for, String n, String _d_){ return ": FinishedProduct ("+"\n"+_d_+" "+for+"\n"+_d_+" "+n+" )"; } String combine(DerivativeName _h_, String v, String _d_){ return ": DerivativeName ("+"\n"+_d_+" "+v+" )"; } String combine(RawMaterialName _h_, String v, String _d_){ return ": RawMaterialName ("+"\n"+_d_+" "+v+" )"; } String combine(FinishedProductName _h_, String v, String _d_){ return ": FinishedProductName ("+"\n"+_d_+" "+v+" )"; } String combine(Main _h_, String _d_){ return ": Main ("+" )"; } }