// ** This class was generated with DemFGen (vers:10/20/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(Both _h_, String cl, String pl)
   { return "Both("+cl+","+pl+")"; }
   public String combine(ChallengeLanguage _h_, String e, String ie, String p)
   { return "ChallengeLanguage("+e+","+ie+","+p+")"; }
   public String combine(Equality _h_, String c1, String c2, String c3, String r)
   { return "Equality("+c1+","+c2+","+c3+","+r+")"; }
   public String combine(Inequality _h_, String d1, String d2, String s)
   { return "Inequality("+d1+","+d2+","+s+")"; }
   public String combine(Price _h_, String v)
   { return "Price("+v+")"; }
   public String combine(ProblemInstance _h_, String constraints)
   { return "ProblemInstance("+constraints+")"; }
   public String combine(Constraint _h_, String w, String b)
   { return "Constraint("+w+","+b+")"; }
   public String combine(Weight _h_, String v)
   { return "Weight("+v+")"; }
   public String combine(Eq _h_, String vc1, String vc2, String vc3, String rhs)
   { return "Eq("+vc1+","+vc2+","+vc3+","+rhs+")"; }
   public String combine(Ineq _h_, String vc1, String vc2, String rhs)
   { return "Ineq("+vc1+","+vc2+","+rhs+")"; }
   public String combine(VC _h_, String c, String v)
   { return "VC("+c+","+v+")"; }
   public String combine(Var _h_, String v)
   { return "Var("+v+")"; }
   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;
      }
   }

}