// ** 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;



/** 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(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(ProtocolName _h_, String v, String _d_){
      return ": ProtocolName ("+"\n"+_d_+"<v> "+v+" )";
   }
   public String combine(ProtocolLibrary _h_, String protocols, String _d_){
      return ": ProtocolLibrary ("+"\n"+_d_+"<protocols> "+protocols+" )";
   }
   public String combine(PlayerProxy _h_, String _d_){
      return ": PlayerProxy ("+" )";
   }
   public String combine(AE _h_, String protocolName, String _d_){
      return ": AE ("+"\n"+_d_+"<protocolName> "+protocolName+" )";
   }
   public String combine(EA _h_, String protocolName, String _d_){
      return ": EA ("+"\n"+_d_+"<protocolName> "+protocolName+" )";
   }
   public String combine(PositiveSecret _h_, String protocolName, String _d_){
      return ": PositiveSecret ("+"\n"+_d_+"<protocolName> "+protocolName+" )";
   }
   public String combine(NegativeSecret _h_, String protocolName, String _d_){
      return ": NegativeSecret ("+"\n"+_d_+"<protocolName> "+protocolName+" )";
   }
   public String combine(Renaissance _h_, String protocolName, String _d_){
      return ": Renaissance ("+"\n"+_d_+"<protocolName> "+protocolName+" )";
   }
   public String combine(SecretRenaissance _h_, String protocolName, String _d_){
      return ": SecretRenaissance ("+"\n"+_d_+"<protocolName> "+protocolName+" )";
   }
   public String combine(Test2 _h_, String i, String s, String d, String c, String p, String _d_){
      return ": Test2 ("+"\n"+_d_+"<i> "+i+"\n"+_d_+"<s> "+s+"\n"+_d_+"<d> "+d+"\n"+_d_+"<c> "+c+"\n"+_d_+"<p> "+p+" )";
   }
   public String combine(ClassicProtocol _h_, String protocolName, String proposer, String opposer, String steps, String _d_){
      return ": ClassicProtocol ("+"\n"+_d_+"<protocolName> "+protocolName+"\n"+_d_+"<proposer> "+proposer+"\n"+_d_+"<opposer> "+opposer+"\n"+_d_+"<steps> "+steps+" )";
   }
   public String combine(Alice _h_, String _d_){
      return ": Alice ("+" )";
   }
   public String combine(Bob _h_, String _d_){
      return ": Bob ("+" )";
   }
   public String combine(InstanceStep _h_, String from, String _d_){
      return ": InstanceStep ("+"\n"+_d_+"<from> "+from+" )";
   }
   public String combine(SolutionStep _h_, String step, String from, String _d_){
      return ": SolutionStep ("+"\n"+_d_+"<step> "+step+"\n"+_d_+"<from> "+from+" )";
   }
   public String combine(Reply _h_, String _d_){
      return ": Reply ("+" )";
   }
   public String combine(Expectation _h_, String _d_){
      return ": Expectation ("+" )";
   }
   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+" )";
   }


}