// ** 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.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;



/** 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(PG_Instance _h_, String n, String k)
   { return "PG_Instance("+n+","+k+")"; }
   public String combine(PG_Solution _h_, String d)
   { return "PG_Solution("+d+")"; }
   public String combine(PG_DecisionTree _h_)
   { return "PG_DecisionTree("+")"; }
   public String combine(PG_InstancePredicate _h_)
   { return "PG_InstancePredicate("+")"; }
   public String combine(PG_Claim _h_, String n, String k, String q)
   { return "PG_Claim("+n+","+k+","+q+")"; }
   public String combine(PG_ValidFunction _h_)
   { return "PG_ValidFunction("+")"; }
   public String combine(PG_Test _h_, String i, String s, String c, String p)
   { return "PG_Test("+i+","+s+","+c+","+p+")"; }
   public String combine(SCG_Playground _h_, String d, String p, String claim)
   { return "SCG_Playground("+d+","+p+","+claim+")"; }
   public String combine(SCG_Domain _h_, String i, String s, String valid, String quality)
   { return "SCG_Domain("+i+","+s+","+valid+","+quality+")"; }
   public String combine(SCG_Instance _h_)
   { return "SCG_Instance("+")"; }
   public String combine(SCG_Solution _h_)
   { return "SCG_Solution("+")"; }
   public String combine(SCG_Claim _h_, String protocol, String setOfInstances)
   { return "SCG_Claim("+protocol+","+setOfInstances+")"; }
   public String combine(SCG_ProtocolName _h_, String v)
   { return "SCG_ProtocolName("+v+")"; }
   public String combine(SCG_Intensional _h_, String p)
   { return "SCG_Intensional("+p+")"; }
   public String combine(SCG_Extensional _h_, String is)
   { return "SCG_Extensional("+is+")"; }
   public String combine(ProtocolTest _h_, String ps)
   { return "ProtocolTest("+ps+")"; }
   public String combine(SCG_Protocol _h_, String pn, String claimSetName, String variableDeclarations, String protocolSteps, String predicate)
   { return "SCG_Protocol("+pn+","+claimSetName+","+variableDeclarations+","+protocolSteps+","+predicate+")"; }
   public String combine(ProtocolStep _h_, String stepName, String scholar, String variableBindings)
   { return "ProtocolStep("+stepName+","+scholar+","+variableBindings+")"; }
   public String combine(VariableDeclaration _h_, String variableType, String variableName)
   { return "VariableDeclaration("+variableType+","+variableName+")"; }
   public String combine(Predicate _h_, String args, String code)
   { return "Predicate("+args+","+code+")"; }
   public String combine(SecretBinding _h_, String sn, String varName)
   { return "SecretBinding("+sn+","+varName+")"; }
   public String combine(RegularBinding _h_, String varName)
   { return "RegularBinding("+varName+")"; }
   public String combine(ProtocolName _h_, String v)
   { return "ProtocolName("+v+")"; }
   public String combine(StepName _h_, String v)
   { return "StepName("+v+")"; }
   public String combine(VariableName _h_, String v)
   { return "VariableName("+v+")"; }
   public String combine(VariableType _h_, String v)
   { return "VariableType("+v+")"; }
   public String combine(JavaCode _h_, String v)
   { return "JavaCode("+v+")"; }
   public String combine(ScholarName _h_, String v)
   { return "ScholarName("+v+")"; }
   public String combine(ClaimSetName _h_, String v)
   { return "ClaimSetName("+v+")"; }
   public String combine(SCG_InstancePredicate _h_, String belongs)
   { return "SCG_InstancePredicate("+belongs+")"; }
   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;
      }
   }

   public String combine(Empty _h_)
   { return "Empty("+")"; }
   public String combine(Cons _h_, String first, String rest)
   { return "Cons("+first+","+rest+")"; }
   public String combine(None _h_)
   { return "None("+")"; }
   public String combine(Some _h_, String just)
   { return "Some("+just+")"; }


}