// ** 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; /** 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()).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(Config _h_, String scg, String domain, String _d_){ return ": Config ("+"\n"+_d_+" "+scg+"\n"+_d_+" "+domain+" )"; } public String combine(SCGConfig _h_, String tournamentStyle, String turnDuration, String maxNumAvatars, String minStrengthening, String initialReputation, String maxReputation, String reputationFactor, String minProposals, String maxProposals, String numRounds, String proposedClaimMustBeNew, String _d_){ return ": SCGConfig ("+"\n"+_d_+" "+tournamentStyle+"\n"+_d_+" "+turnDuration+"\n"+_d_+" "+maxNumAvatars+"\n"+_d_+" "+minStrengthening+"\n"+_d_+" "+initialReputation+"\n"+_d_+" "+maxReputation+"\n"+_d_+" "+reputationFactor+"\n"+_d_+" "+minProposals+"\n"+_d_+" "+maxProposals+"\n"+_d_+" "+numRounds+"\n"+_d_+" "+proposedClaimMustBeNew+" )"; } public String combine(FullRoundRobin _h_, String _d_){ return ": FullRoundRobin ("+" )"; } public String combine(KnockOut _h_, String _d_){ return ": KnockOut ("+" )"; } public String combine(SwissStyleTournament _h_, String _d_){ return ": SwissStyleTournament ("+" )"; } public String combine(DomainConfig _h_, String maxSize, String _d_){ return ": DomainConfig ("+"\n"+_d_+" "+maxSize+" )"; } public String combine(RED _h_, String _d_){ return ": RED ("+" )"; } public String combine(BLACK _h_, String _d_){ return ": BLACK ("+" )"; } }