// ** 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.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;
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(ProposeClaimExpectation _h_, String forbidden, String _d_){
      return ": ProposeClaimExpectation ("+"\n"+_d_+"<forbidden> "+forbidden+" )";
   }
   public String combine(OpposeOrAgreeClaimExpectation _h_, String claims, String _d_){
      return ": OpposeOrAgreeClaimExpectation ("+"\n"+_d_+"<claims> "+claims+" )";
   }
   public String combine(ProvideInstanceExpectation _h_, String belongsTo, String _d_){
      return ": ProvideInstanceExpectation ("+"\n"+_d_+"<belongsTo> "+belongsTo+" )";
   }
   public String combine(ProvideSolutionExpectation _h_, String toBeSolved, String belongsTo, String _d_){
      return ": ProvideSolutionExpectation ("+"\n"+_d_+"<toBeSolved> "+toBeSolved+"\n"+_d_+"<belongsTo> "+belongsTo+" )";
   }
   public String combine(ClaimReply _h_, String c, String _d_){
      return ": ClaimReply ("+"\n"+_d_+"<c> "+c+" )";
   }
   public String combine(InstanceReply _h_, String i, String _d_){
      return ": InstanceReply ("+"\n"+_d_+"<i> "+i+" )";
   }
   public String combine(SolutionReply _h_, String s, String _d_){
      return ": SolutionReply ("+"\n"+_d_+"<s> "+s+" )";
   }
   public String combine(RefuteReply _h_, String c, String _d_){
      return ": RefuteReply ("+"\n"+_d_+"<c> "+c+" )";
   }
   public String combine(StrengthenReply _h_, String c, String _d_){
      return ": StrengthenReply ("+"\n"+_d_+"<c> "+c+" )";
   }
   public String combine(AgreeReply _h_, String _d_){
      return ": AgreeReply ("+" )";
   }
   public String combine(TestER _h_, String es, String ss, String d, String _d_){
      return ": TestER ("+"\n"+_d_+"<es> "+es+"\n"+_d_+"<ss> "+ss+"\n"+_d_+"<d> "+d+" )";
   }
   public String combine(InstanceSet _h_, String _d_){
      return ": InstanceSet ("+" )";
   }
   public String combine(Claim _h_, String is, String p, String _d_){
      return ": Claim ("+"\n"+_d_+"<is> "+is+"\n"+_d_+"<p> "+p+" )";
   }
   public String combine(Protocol _h_, String state, String _d_){
      return ": Protocol ("+"\n"+_d_+"<state> "+state+" )";
   }
   public String combine(InstanceProvided _h_, String _d_){
      return ": InstanceProvided ("+" )";
   }
   public String combine(InstanceSolved _h_, String _d_){
      return ": InstanceSolved ("+" )";
   }
   public String combine(Start _h_, String _d_){
      return ": Start ("+" )";
   }
   public String combine(End _h_, String _d_){
      return ": End ("+" )";
   }
   public String combine(PlayerProxy _h_, String _d_){
      return ": PlayerProxy ("+" )";
   }
   public String combine(EP _h_, String e, String p, String ok, String _d_){
      return ": EP ("+"\n"+_d_+"<e> "+e+"\n"+_d_+"<p> "+p+"\n"+_d_+"<ok> "+ok+" )";
   }
   public String combine(Expectation _h_, String _d_){
      return ": Expectation ("+" )";
   }
   public String combine(Transaction _h_, String _d_){
      return ": Transaction ("+" )";
   }
   public String combine(Test2 _h_, String i, String s, String d, String c, String _d_){
      return ": Test2 ("+"\n"+_d_+"<i> "+i+"\n"+_d_+"<s> "+s+"\n"+_d_+"<d> "+d+"\n"+_d_+"<c> "+c+" )";
   }
   public String combine(Instance _h_, String _d_){
      return ": Instance ("+" )";
   }
   public String combine(Solution _h_, String _d_){
      return ": Solution ("+" )";
   }
   public String combine(Domain _h_, String _d_){
      return ": Domain ("+" )";
   }
   public String combine(Test1 _h_, String i, String s, String d, String _d_){
      return ": Test1 ("+"\n"+_d_+"<i> "+i+"\n"+_d_+"<s> "+s+"\n"+_d_+"<d> "+d+" )";
   }
   public String combine(RED _h_, String _d_){
      return ": RED ("+" )";
   }
   public String combine(BLACK _h_, String _d_){
      return ": BLACK ("+" )";
   }

   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+" )";
   }


}