// ** This class was generated with DemFGen (vers:11/03/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 java.io.FileInputStream; import edu.neu.ccs.demeterf.demfgen.lib.*; public class ToStr extends edu.neu.ccs.demeterf.ID{ public static String ToStrM(Object o){ return new edu.neu.ccs.demeterf.Traversal(new ToStr(),edu.neu.ccs.demeterf.Control.builtins()).traverse(o); } String combine(byte o){ return ""+o; } String combine(short o){ return ""+o; } String combine(int o){ return ""+o; } String combine(long o){ return ""+o; } String combine(float o){ return ""+o; } String combine(double o){ return ""+o; } String combine(char o){ return ""+o; } String combine(boolean o){ return ""+o; } String combine(String o){ return "\""+o+"\""; } String combine(ident o){ return ""+o; } String combine(verbatim o){ return ""+o; } String combine(Cons _h_, String first, String rest){ return "Cons("+first+","+rest+")"; } String combine(Empty _h_){ return "Empty("+")"; } String combine(Some _h_, String just){ return "Some("+just+")"; } String combine(None _h_){ return "None("+")"; } String combine(Outcome _h_, String name){ return "Outcome("+name+")"; } String combine(Value _h_){ return "Value("+")"; } String combine(Predicate _h_, String pred){ return "Predicate("+pred+")"; } String combine(Derivative _h_, String name, String price, String predicate, String optraw, String optfinished){ return "Derivative("+name+","+price+","+predicate+","+optraw+","+optfinished+")"; } String combine(RawMaterial _h_, String predicate, String instance){ return "RawMaterial("+predicate+","+instance+")"; } String combine(RawMaterialInstance _h_, String name){ return "RawMaterialInstance("+name+")"; } String combine(FinishedProduct _h_, String rm, String ip, String quality){ return "FinishedProduct("+rm+","+ip+","+quality+")"; } String combine(Price _h_, String val){ return "Price("+val+")"; } String combine(Quality _h_, String val){ return "Quality("+val+")"; } String combine(History _h_, String rounds){ return "History("+rounds+")"; } String combine(Round _h_, String ptransactions){ return "Round("+ptransactions+")"; } String combine(PlayerTransaction _h_, String playerName, String transactions){ return "PlayerTransaction("+playerName+","+transactions+")"; } String combine(Transaction _h_, String ttype, String deriv){ return "Transaction("+ttype+","+deriv+")"; } String combine(Buy _h_){ return "Buy("+")"; } String combine(Create _h_){ return "Create("+")"; } String combine(Reoffer _h_){ return "Reoffer("+")"; } String combine(Deliver _h_){ return "Deliver("+")"; } String combine(Finish _h_){ return "Finish("+")"; } String combine(SDG _h_, String players, String account, String store, String config){ return "SDG("+players+","+account+","+store+","+config+")"; } String combine(Player _h_, String id, String name){ return "Player("+id+","+name+")"; } String combine(PlayerStore _h_, String forSale, String bought){ return "PlayerStore("+forSale+","+bought+")"; } String combine(BoughtDeriv _h_, String d, String seller, String r, String f){ return "BoughtDeriv("+d+","+seller+","+r+","+f+")"; } String combine(Config _h_, String init, String maxTurns, String timeslot, String mindec){ return "Config("+init+","+maxTurns+","+timeslot+","+mindec+")"; } String combine(Pair _h_, String a, String b){ return "Pair("+a+","+b+")"; } String combine(PlayerID _h_, String id){ return "PlayerID("+id+")"; } }