// ** This class was generated with DemFGen (vers:10/21/2008)

package gen;

import edu.neu.ccs.demeterf.control.Fields;
import edu.neu.ccs.demeterf.demfgen.lib.ident;
import edu.neu.ccs.demeterf.demfgen.lib.verbatim;
import edu.neu.ccs.demeterf.demfgen.lib.*;
import edu.neu.ccs.demeterf.*;



public class Display extends edu.neu.ccs.demeterf.ID{
   public static String DisplayM(Object o){
      return new edu.neu.ccs.demeterf.Traversal(new Display(),edu.neu.ccs.demeterf.Control.builtins()).<String>traverse(o,"   ");
   }

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


   String update(Object o, Fields.any f, String d){ return d+"   "; }
   String _i(int d){ return d==0?"":"   "+_i(d-1); }

   String combine(Some _h_, String just, String _d_){
      return ": Some ("+"\n"+_d_+"<just> "+just+" )";
   }
   String combine(None _h_, String _d_){
      return ": None ("+" )";
   }
   String combine(Cons _h_, String first, String rest, String _d_){
      return ": Cons ("+"\n"+_d_+"<first> "+first+"\n"+_d_+"<rest> "+rest+" )";
   }
   String combine(Empty _h_, String _d_){
      return ": Empty ("+" )";
   }
   String combine(Concrete2 _h_, String UNKNOWN1, String UNKNOWN2, String UNKNOWN3, String _d_){
      return ": Concrete2 ("+"\n"+_d_+"<UNKNOWN1> "+UNKNOWN1+"\n"+_d_+"<UNKNOWN2> "+UNKNOWN2+"\n"+_d_+"<UNKNOWN3> "+UNKNOWN3+" )";
   }
   String combine(Y1 _h_, String y2, String _d_){
      return ": Y1 ("+"\n"+_d_+"<y2> "+y2+" )";
   }
   String combine(Y2 _h_, String ya, String _d_){
      return ": Y2 ("+"\n"+_d_+"<ya> "+ya+" )";
   }
   String combine(Z1 _h_, String z2, String _d_){
      return ": Z1 ("+"\n"+_d_+"<z2> "+z2+" )";
   }
   String combine(Z2 _h_, String za, String _d_){
      return ": Z2 ("+"\n"+_d_+"<za> "+za+" )";
   }
   String combine(Concrete1 _h_, String a_link, String _d_){
      return ": Concrete1 ("+"\n"+_d_+"<a_link> "+a_link+" )";
   }
   String combine(UNKNOWN0 _h_, String _d_){
      return ": UNKNOWN0 ("+" )";
   }
   String combine(Pack _h_, String good, String min, String max, String _d_){
      return ": Pack ("+"\n"+_d_+"<good> "+good+"\n"+_d_+"<min> "+min+"\n"+_d_+"<max> "+max+" )";
   }

}