// ** 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 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(Cons _h_, String first, String rest, String _d_){
      return ": Cons ("+"\n"+_d_+"<first> "+first+"\n"+_d_+"<rest> "+rest+" )";
   }
   String combine(Empty _h_, String _d_){
      return ": Empty ("+" )";
   }
   String combine(Some _h_, String just, String _d_){
      return ": Some ("+"\n"+_d_+"<just> "+just+" )";
   }
   String combine(None _h_, String _d_){
      return ": None ("+" )";
   }
   String combine(Outcome _h_, String name, String _d_){
      return ": Outcome ("+"\n"+_d_+"<name> "+name+" )";
   }
   String combine(Value _h_, String _d_){
      return ": Value ("+" )";
   }
   String combine(Predicate _h_, String pred, String _d_){
      return ": Predicate ("+"\n"+_d_+"<pred> "+pred+" )";
   }
   String combine(Derivative _h_, String name, String price, String predicate, String optraw, String optfinished, String _d_){
      return ": Derivative ("+"\n"+_d_+"<name> "+name+"\n"+_d_+"<price> "+price+"\n"+_d_+"<predicate> "+predicate+"\n"+_d_+"<optraw> "+optraw+"\n"+_d_+"<optfinished> "+optfinished+" )";
   }
   String combine(RawMaterial _h_, String predicate, String instance, String _d_){
      return ": RawMaterial ("+"\n"+_d_+"<predicate> "+predicate+"\n"+_d_+"<instance> "+instance+" )";
   }
   String combine(RawMaterialInstance _h_, String name, String _d_){
      return ": RawMaterialInstance ("+"\n"+_d_+"<name> "+name+" )";
   }
   String combine(FinishedProduct _h_, String rm, String ip, String quality, String _d_){
      return ": FinishedProduct ("+"\n"+_d_+"<rm> "+rm+"\n"+_d_+"<ip> "+ip+"\n"+_d_+"<quality> "+quality+" )";
   }
   String combine(Price _h_, String val, String _d_){
      return ": Price ("+"\n"+_d_+"<val> "+val+" )";
   }
   String combine(Quality _h_, String val, String _d_){
      return ": Quality ("+"\n"+_d_+"<val> "+val+" )";
   }
   String combine(History _h_, String rounds, String _d_){
      return ": History ("+"\n"+_d_+"<rounds> "+rounds+" )";
   }
   String combine(Round _h_, String ptransactions, String _d_){
      return ": Round ("+"\n"+_d_+"<ptransactions> "+ptransactions+" )";
   }
   String combine(PlayerTransaction _h_, String playerName, String transactions, String _d_){
      return ": PlayerTransaction ("+"\n"+_d_+"<playerName> "+playerName+"\n"+_d_+"<transactions> "+transactions+" )";
   }
   String combine(Transaction _h_, String ttype, String deriv, String _d_){
      return ": Transaction ("+"\n"+_d_+"<ttype> "+ttype+"\n"+_d_+"<deriv> "+deriv+" )";
   }
   String combine(Buy _h_, String _d_){
      return ": Buy ("+" )";
   }
   String combine(Create _h_, String _d_){
      return ": Create ("+" )";
   }
   String combine(Reoffer _h_, String _d_){
      return ": Reoffer ("+" )";
   }
   String combine(Deliver _h_, String _d_){
      return ": Deliver ("+" )";
   }
   String combine(Finish _h_, String _d_){
      return ": Finish ("+" )";
   }
   String combine(SDG _h_, String players, String account, String store, String config, String _d_){
      return ": SDG ("+"\n"+_d_+"<players> "+players+"\n"+_d_+"<account> "+account+"\n"+_d_+"<store> "+store+"\n"+_d_+"<config> "+config+" )";
   }
   String combine(Player _h_, String id, String name, String _d_){
      return ": Player ("+"\n"+_d_+"<id> "+id+"\n"+_d_+"<name> "+name+" )";
   }
   String combine(PlayerStore _h_, String forSale, String bought, String _d_){
      return ": PlayerStore ("+"\n"+_d_+"<forSale> "+forSale+"\n"+_d_+"<bought> "+bought+" )";
   }
   String combine(BoughtDeriv _h_, String d, String seller, String r, String f, String _d_){
      return ": BoughtDeriv ("+"\n"+_d_+"<d> "+d+"\n"+_d_+"<seller> "+seller+"\n"+_d_+"<r> "+r+"\n"+_d_+"<f> "+f+" )";
   }
   String combine(Config _h_, String init, String maxTurns, String timeslot, String mindec, String _d_){
      return ": Config ("+"\n"+_d_+"<init> "+init+"\n"+_d_+"<maxTurns> "+maxTurns+"\n"+_d_+"<timeslot> "+timeslot+"\n"+_d_+"<mindec> "+mindec+" )";
   }
   String combine(Pair _h_, String a, String b, String _d_){
      return ": Pair ("+"\n"+_d_+"<a> "+a+"\n"+_d_+"<b> "+b+" )";
   }
   String combine(PlayerID _h_, String id, String _d_){
      return ": PlayerID ("+"\n"+_d_+"<id> "+id+" )";
   }

}