// ** 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 nested String representation with field names and values */
public class Display extends edu.neu.ccs.demeterf.FC{
   /** Static stub method for calling display */
   public static String DisplayM(Object o){
      return new edu.neu.ccs.demeterf.Traversal(new Display(),edu.neu.ccs.demeterf.Control.builtins()).<String>traverse(o,"   ");
   }

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


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

   public String combine(Empty _h_, String _d_){
      return ": Empty ("+" )";
   }
   public String combine(Cons _h_, String first, String rest, String _d_){
      return ": Cons ("+"\n"+_d_+"<first> "+first+"\n"+_d_+"<rest> "+rest+" )";
   }
   public String combine(None _h_, String _d_){
      return ": None ("+" )";
   }
   public String combine(Some _h_, String just, String _d_){
      return ": Some ("+"\n"+_d_+"<just> "+just+" )";
   }


}