// ** This class was generated with DemFGen (vers:06/04/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.demfgen.lib.*;
import edu.neu.ccs.demeterf.demfgen.lib.*;
import edu.neu.ccs.demeterf.demfgen.lib.*;



/** Computes a String representation in CD Syntax, using limited Stack */
public class PrintHeap extends edu.neu.ccs.demeterf.ID{
   /** Static stub method for calling print */
   public static String PrintHeapM(Object o){
      return new edu.neu.ccs.demeterf.stackless.HeapTrav(new PrintHeap(),edu.neu.ccs.demeterf.Control.builtins()).<StringBuffer>traverse(o).toString();
   }

   public StringBuffer combine(byte _h_){ return new StringBuffer(""+_h_); }
   public StringBuffer combine(short _h_){ return new StringBuffer(""+_h_); }
   public StringBuffer combine(int _h_){ return new StringBuffer(""+_h_); }
   public StringBuffer combine(long _h_){ return new StringBuffer(""+_h_); }
   public StringBuffer combine(float _h_){ return new StringBuffer(""+_h_); }
   public StringBuffer combine(double _h_){ return new StringBuffer(""+_h_); }
   public StringBuffer combine(char _h_){ return new StringBuffer("\'"+escape(""+_h_)+"\'"); }
   public StringBuffer combine(boolean _h_){ return new StringBuffer(""+_h_); }
   public StringBuffer combine(String _h_){ return new StringBuffer("\""+escape(""+_h_)+"\""); }
   public StringBuffer combine(ident _h_){ return new StringBuffer(""+_h_); }
   public StringBuffer combine(verbatim _h_){ return new StringBuffer(""+_h_); }

   public StringBuffer combine(Type _h_, StringBuffer kind, StringBuffer instances){
      return new StringBuffer("").append("type ").append(kind).append(" [").append(instances).append("]");
   }
   public StringBuffer combine(Kind _h_){
      return new StringBuffer("");
   }
   public StringBuffer combine(Classic _h_){
      return new StringBuffer("").append("classic");
   }
   public StringBuffer combine(Secret _h_){
      return new StringBuffer("").append("secret");
   }
   public StringBuffer combine(TypeInstance _h_, StringBuffer r){
      return new StringBuffer("").append(r);
   }
   public StringBuffer combine(Solution _h_, StringBuffer assignment){
      return new StringBuffer("").append("(assignment:").append(assignment).append(")");
   }
   public StringBuffer combine(ChallengeInstance _h_, StringBuffer cs, StringBuffer secret){
      return new StringBuffer("").append(cs).append(" ").append(secret);
   }
   public StringBuffer combine(SecretOfChallenge _h_, StringBuffer assign, StringBuffer quality){
      return new StringBuffer("").append(assign).append(" ").append(quality);
   }
   public StringBuffer combine(Constraint _h_, StringBuffer w, StringBuffer r, StringBuffer vs){
      return new StringBuffer("").append("\n").append(w).append(r).append(vs);
   }
   public StringBuffer combine(Weight _h_, StringBuffer v){
      return new StringBuffer("").append(v).append(": ");
   }
   public StringBuffer combine(RelationNr _h_, StringBuffer v){
      return new StringBuffer("").append(v).append(" ");
   }
   public StringBuffer combine(Variable _h_, StringBuffer v){
      return new StringBuffer("").append(v).append(" ");
   }
   public StringBuffer combine(Predicate _h_, StringBuffer pred){
      return new StringBuffer("").append(pred);
   }
   public StringBuffer combine(Assignment _h_, StringBuffer literals){
      return new StringBuffer("").append("[").append(literals).append("]");
   }
   public StringBuffer combine(Literal _h_, StringBuffer value, StringBuffer var){
      return new StringBuffer("").append(" ").append(value).append(" ").append(var).append(" ");
   }
   public StringBuffer combine(Sign _h_){
      return new StringBuffer("");
   }
   public StringBuffer combine(Pos _h_){
      return new StringBuffer("");
   }
   public StringBuffer combine(Neg _h_){
      return new StringBuffer("").append("!");
   }
   public StringBuffer combine(Price _h_, StringBuffer val){
      return new StringBuffer("").append(val);
   }
   public StringBuffer combine(Quality _h_, StringBuffer val){
      return new StringBuffer("").append(val);
   }
   public StringBuffer combine(PlayerID _h_, StringBuffer id){
      return new StringBuffer("").append(id);
   }
   public StringBuffer combine(Player _h_, StringBuffer id, StringBuffer name){
      return new StringBuffer("").append("player ").append(id).append(" ").append(name);
   }
   public StringBuffer combine(Challenge _h_, StringBuffer name, StringBuffer seller, StringBuffer optbuyer, StringBuffer price, StringBuffer type, StringBuffer optraw, StringBuffer optfinished){
      return new StringBuffer("").append("challenge[").append(name).append(" ").append(seller).append(" ").append(optbuyer).append(" ").append(price).append(" ").append(type).append(" ").append(optraw).append(" ").append(optfinished).append("]");
   }
   public StringBuffer combine(History _h_, StringBuffer rounds){
      return new StringBuffer("").append("history[\n").append(rounds).append("]");
   }
   public StringBuffer combine(Round _h_, StringBuffer num, StringBuffer ptransactions){
      return new StringBuffer("").append("\nround ").append(num).append(" [").append(ptransactions).append("]");
   }
   public StringBuffer combine(PlayerTransaction _h_, StringBuffer player, StringBuffer transactions){
      return new StringBuffer("").append("\nptrans[").append(player).append(" ").append(transactions).append("]");
   }
   public StringBuffer combine(Transaction _h_, StringBuffer ttype, StringBuffer deriv){
      return new StringBuffer("").append("\ntrans[").append(ttype).append(" ").append(deriv).append("]");
   }
   public StringBuffer combine(TransactionType _h_){
      return new StringBuffer("");
   }
   public StringBuffer combine(Buy _h_){
      return new StringBuffer("").append("BUY");
   }
   public StringBuffer combine(Create _h_){
      return new StringBuffer("").append("CREATE");
   }
   public StringBuffer combine(Reoffer _h_){
      return new StringBuffer("").append("REOFFER");
   }
   public StringBuffer combine(Deliver _h_){
      return new StringBuffer("").append("DELIVER");
   }
   public StringBuffer combine(Finish _h_){
      return new StringBuffer("").append("FINISH");
   }
   public StringBuffer combine(Players _h_, StringBuffer players){
      return new StringBuffer("").append("players[").append(players).append("]");
   }
   public StringBuffer combine(Pair _h_, StringBuffer a, StringBuffer b){
      return new StringBuffer("").append(" ").append(a).append(" ").append(b).append(" ");
   }
   public StringBuffer combine(Accounts _h_, StringBuffer accounts){
      return new StringBuffer("").append("accounts[").append(accounts).append("]");
   }
   public StringBuffer combine(Store _h_, StringBuffer stores){
      return new StringBuffer("").append("store[").append(stores).append("]");
   }
   public StringBuffer combine(PlayerStore _h_, StringBuffer forSale, StringBuffer bought){
      return new StringBuffer("").append("pstore forsale ").append(forSale).append(" bought ").append(bought);
   }
   public StringBuffer combine(Config _h_, StringBuffer Money, StringBuffer Rounds, StringBuffer Time, StringBuffer MPD, StringBuffer MaxCreates, StringBuffer MaxRawMaterialLen){
      return new StringBuffer("").append("Money:").append(Money).append("\nRounds:").append(Rounds).append("\nTime:").append(Time).append("\nMinPriceDecrement:").append(MPD).append("\nMaxCreates:").append(MaxCreates).append("\nMaxRawMaterialLen:").append(MaxRawMaterialLen).append("\n");
   }
   public StringBuffer combine(List _h_){
      return new StringBuffer("");
   }
   public StringBuffer combine(Cons _h_, StringBuffer first, StringBuffer rest){
      return new StringBuffer("").append(first).append(rest);
   }
   public StringBuffer combine(Empty _h_){
      return new StringBuffer("");
   }
   public StringBuffer combine(Option _h_){
      return new StringBuffer("");
   }
   public StringBuffer combine(Some _h_, StringBuffer just){
      return new StringBuffer("").append(just);
   }
   public StringBuffer combine(None _h_){
      return new StringBuffer("");
   }
   public static String escape(String s){
      char str[] = s.toCharArray();
      StringBuffer ret = new StringBuffer("");
      for(char c:str)ret.append(escape(c));
      return ret.toString();
   }
   public static String escape(char c){
      switch(c){
      case '\n':return "\\n";  case '\t':return "\t";
      case '\b':return "\\b";  case '\r':return "\r";
      case '\f':return "\\f";  case '\\':return "\\";
      case '\'':return "\\'"; case '\"':return "\\\"";
      default: return ""+c;
      }
   }

}