// ** 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(Domain _h_, String p, String s, String valid, String quality)
   { return "Domain("+p+","+s+","+valid+","+quality+")"; }
   public String combine(Instance _h_, String cd)
   { return "Instance("+cd+")"; }
   public String combine(Solution _h_, String cd)
   { return "Solution("+cd+")"; }
   public String combine(ValidPredicate _h_, String body)
   { return "ValidPredicate("+body+")"; }
   public String combine(QualityFunction _h_, String body)
   { return "QualityFunction("+body+")"; }
   public String combine(Claim _h_, String d, String cd, String setOfInstances, String protocol)
   { return "Claim("+d+","+cd+","+setOfInstances+","+protocol+")"; }
   public String combine(InstancePredicate _h_, String body)
   { return "InstancePredicate("+body+")"; }
   public String combine(ValidBody _h_, String v)
   { return "ValidBody("+v+")"; }
   public String combine(QualityBody _h_, String v)
   { return "QualityBody("+v+")"; }
   public String combine(PredicateBody _h_, String v)
   { return "PredicateBody("+v+")"; }
   public String combine(InstanceId _h_, String v)
   { return "InstanceId("+v+")"; }
   public String combine(InstanceStructure _h_)
   { return "InstanceStructure("+")"; }
   public String combine(SolutionStructure _h_)
   { return "SolutionStructure("+")"; }
   public String combine(ClassDictionary _h_, String v)
   { return "ClassDictionary("+v+")"; }
   public String combine(ProtocolTest _h_, String ps)
   { return "ProtocolTest("+ps+")"; }
   public String combine(ProtocolDefinition _h_, String pn, String claimSetName, String variableDeclarations, String protocolSteps, String predicate)
   { return "ProtocolDefinition("+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 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+")"; }


}