// ** This class was generated with DemFGen (vers:09/12/2009)

package gen;

import edu.neu.ccs.demeterf.control.Fields;
import edu.neu.ccs.demeterf.lib.ident;
import edu.neu.ccs.demeterf.lib.verbatim;
import java.io.FileInputStream;
import edu.neu.ccs.demeterf.lib.*;



/** Computes a simple String representation */
public class ToStr extends edu.neu.ccs.demeterf.ID{
   /** Static stub method for calling toStr */
   public static String ToStrM(Object o){
      return new edu.neu.ccs.demeterf.Traversal(new ToStr(),edu.neu.ccs.demeterf.Control.builtins()).<String>traverse(o);
   }

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

   public String combine(Cons _h_, String first, String rest)
   { return "Cons("+first+","+rest+")"; }
   public String combine(Empty _h_)
   { return "Empty("+")"; }
   public String combine(Some _h_, String just)
   { return "Some("+just+")"; }
   public String combine(None _h_)
   { return "None("+")"; }
   public String combine(Outcome _h_, String string)
   { return "Outcome("+string+")"; }
   public String combine(Value _h_)
   { return "Value("+")"; }
   public String combine(Predicate _h_, String pred)
   { return "Predicate("+pred+")"; }
   public String combine(Belief _h_, String predicate, String fraction)
   { return "Belief("+predicate+","+fraction+")"; }
   public String combine(Challenge _h_, String name, String price, String belief)
   { return "Challenge("+name+","+price+","+belief+")"; }
   public String combine(QualifiedProblem _h_, String predicate, String instance)
   { return "QualifiedProblem("+predicate+","+instance+")"; }
   public String combine(Problem _h_, String string)
   { return "Problem("+string+")"; }
   public String combine(SolvedProblem _h_, String rm, String ip, String quality)
   { return "SolvedProblem("+rm+","+ip+","+quality+")"; }
   public String combine(Price _h_, String val)
   { return "Price("+val+")"; }
   public String combine(Quality _h_, String val)
   { return "Quality("+val+")"; }
   public String combine(History _h_, String rounds)
   { return "History("+rounds+")"; }
   public String combine(Round _h_, String ptransactions)
   { return "Round("+ptransactions+")"; }
   public String combine(PlayerTransaction _h_, String playerName, String transactions)
   { return "PlayerTransaction("+playerName+","+transactions+")"; }
   public String combine(Transaction _h_, String ttype, String challenge)
   { return "Transaction("+ttype+","+challenge+")"; }
   public String combine(Buy _h_)
   { return "Buy("+")"; }
   public String combine(Create _h_)
   { return "Create("+")"; }
   public String combine(Reoffer _h_)
   { return "Reoffer("+")"; }
   public String combine(Deliver _h_)
   { return "Deliver("+")"; }
   public String combine(Finish _h_)
   { return "Finish("+")"; }
   public String combine(SCG _h_, String players, String account, String store, String config)
   { return "SCG("+players+","+account+","+store+","+config+")"; }
   public String combine(Player _h_, String id, String name)
   { return "Player("+id+","+name+")"; }
   public String combine(PlayerStore _h_, String forSale, String bought)
   { return "PlayerStore("+forSale+","+bought+")"; }
   public String combine(BoughtDeriv _h_, String d, String seller, String r, String f)
   { return "BoughtDeriv("+d+","+seller+","+r+","+f+")"; }
   public String combine(Config _h_, String init, String maxTurns, String timeslot, String mindec)
   { return "Config("+init+","+maxTurns+","+timeslot+","+mindec+")"; }
   public String combine(Pair _h_, String a, String b)
   { return "Pair("+a+","+b+")"; }
   public String combine(PlayerID _h_, String id)
   { return "PlayerID("+id+")"; }
   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;
      }
   }

}