// ** 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 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(TestClaim _h_, String claims, String _d_){
      return ": TestClaim ("+"\n"+_d_+"<claims> "+claims+" )";
   }
   public String combine(SimpleClaim _h_, String cn, String args, String _d_){
      return ": SimpleClaim ("+"\n"+_d_+"<cn> "+cn+"\n"+_d_+"<args> "+args+" )";
   }
   public String combine(ClaimName _h_, String v, String _d_){
      return ": ClaimName ("+"\n"+_d_+"<v> "+v+" )";
   }
   public String combine(AndClaim _h_, String c1, String c2, String args, String _d_){
      return ": AndClaim ("+"\n"+_d_+"<c1> "+c1+"\n"+_d_+"<c2> "+c2+"\n"+_d_+"<args> "+args+" )";
   }
   public String combine(OrClaim _h_, String c1, String c2, String args, String _d_){
      return ": OrClaim ("+"\n"+_d_+"<c1> "+c1+"\n"+_d_+"<c2> "+c2+"\n"+_d_+"<args> "+args+" )";
   }
   public String combine(ImplicationClaim _h_, String premise, String consequent, String args, String _d_){
      return ": ImplicationClaim ("+"\n"+_d_+"<premise> "+premise+"\n"+_d_+"<consequent> "+consequent+"\n"+_d_+"<args> "+args+" )";
   }
   public String combine(NegatedClaim _h_, String c1, String args, String _d_){
      return ": NegatedClaim ("+"\n"+_d_+"<c1> "+c1+"\n"+_d_+"<args> "+args+" )";
   }
   public String combine(ForAllClaim _h_, String var, String d, String c, String args, String _d_){
      return ": ForAllClaim ("+"\n"+_d_+"<var> "+var+"\n"+_d_+"<d> "+d+"\n"+_d_+"<c> "+c+"\n"+_d_+"<args> "+args+" )";
   }
   public String combine(ExistsClaim _h_, String var, String d, String c, String args, String _d_){
      return ": ExistsClaim ("+"\n"+_d_+"<var> "+var+"\n"+_d_+"<d> "+d+"\n"+_d_+"<c> "+c+"\n"+_d_+"<args> "+args+" )";
   }
   public String combine(Variable _h_, String v, String _d_){
      return ": Variable ("+"\n"+_d_+"<v> "+v+" )";
   }
   public String combine(Instance _h_, String _d_){
      return ": Instance ("+" )";
   }
   public String combine(Solution _h_, String _d_){
      return ": Solution ("+" )";
   }
   public String combine(Predicate _h_, String pn, String args, String _d_){
      return ": Predicate ("+"\n"+_d_+"<pn> "+pn+"\n"+_d_+"<args> "+args+" )";
   }
   public String combine(Args _h_, String args, String _d_){
      return ": Args ("+"\n"+_d_+"<args> "+args+" )";
   }
   public String combine(PredicateName _h_, String v, String _d_){
      return ": PredicateName ("+"\n"+_d_+"<v> "+v+" )";
   }

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


}