// ** This file was generated with DemFGen (vers:12/15/2010)

package gen;

import edu.neu.ccs.demeterf.Fields;
import edu.neu.ccs.demeterf.lib.ident;
import edu.neu.ccs.demeterf.lib.verbatim;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;



/** Computes a simple String representation */
public class ToStr extends edu.neu.ccs.demeterf.FC{
   /** 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(HSRTest _h_, String d, String c, String s)
   { return "HSRTest("+d+","+c+","+s+")"; }
   public String combine(Domain _h_, String n, String k)
   { return "Domain("+n+","+k+")"; }
   public String combine(NrRungs _h_, String v)
   { return "NrRungs("+v+")"; }
   public String combine(BudgetToBreak _h_, String v)
   { return "BudgetToBreak("+v+")"; }
   public String combine(PosClaim _h_, String problems, String q, String r)
   { return "PosClaim("+problems+","+q+","+r+")"; }
   public String combine(NegClaim _h_, String problems, String q, String r)
   { return "NegClaim("+problems+","+q+","+r+")"; }
   public String combine(Problem _h_, String singleton)
   { return "Problem("+singleton+")"; }
   public String combine(Quality _h_, String q, String n)
   { return "Quality("+q+","+n+")"; }
   public String combine(Time _h_, String v)
   { return "Time("+v+")"; }
   public String combine(Solution _h_, String t)
   { return "Solution("+t+")"; }
   public String combine(NrQuestions _h_, String v)
   { return "NrQuestions("+v+")"; }
   public String combine(Simple _h_, String highest_safe_rung)
   { return "Simple("+highest_safe_rung+")"; }
   public String combine(HSR _h_, String i)
   { return "HSR("+i+")"; }
   public String combine(Compound _h_, String question, String yes, String no)
   { return "Compound("+question+","+yes+","+no+")"; }
   public String combine(Rung _h_, String i)
   { return "Rung("+i+")"; }
   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;
      }
   }



}