// ** 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()).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(Domain _h_, String p, String s, String valid, String quality, String _d_){ return ": Domain ("+"\n"+_d_+"

"+p+"\n"+_d_+" "+s+"\n"+_d_+" "+valid+"\n"+_d_+" "+quality+" )"; } public String combine(Instance _h_, String cd, String _d_){ return ": Instance ("+"\n"+_d_+" "+cd+" )"; } public String combine(Solution _h_, String cd, String _d_){ return ": Solution ("+"\n"+_d_+" "+cd+" )"; } public String combine(ValidPredicate _h_, String body, String _d_){ return ": ValidPredicate ("+"\n"+_d_+" "+body+" )"; } public String combine(QualityFunction _h_, String body, String _d_){ return ": QualityFunction ("+"\n"+_d_+" "+body+" )"; } public String combine(Claim _h_, String d, String cd, String setOfInstances, String protocol, String _d_){ return ": Claim ("+"\n"+_d_+" "+d+"\n"+_d_+" "+cd+"\n"+_d_+" "+setOfInstances+"\n"+_d_+" "+protocol+" )"; } public String combine(InstancePredicate _h_, String body, String _d_){ return ": InstancePredicate ("+"\n"+_d_+" "+body+" )"; } public String combine(ValidBody _h_, String v, String _d_){ return ": ValidBody ("+"\n"+_d_+" "+v+" )"; } public String combine(QualityBody _h_, String v, String _d_){ return ": QualityBody ("+"\n"+_d_+" "+v+" )"; } public String combine(PredicateBody _h_, String v, String _d_){ return ": PredicateBody ("+"\n"+_d_+" "+v+" )"; } public String combine(InstanceId _h_, String v, String _d_){ return ": InstanceId ("+"\n"+_d_+" "+v+" )"; } public String combine(InstanceStructure _h_, String _d_){ return ": InstanceStructure ("+" )"; } public String combine(SolutionStructure _h_, String _d_){ return ": SolutionStructure ("+" )"; } public String combine(ClassDictionary _h_, String v, String _d_){ return ": ClassDictionary ("+"\n"+_d_+" "+v+" )"; } public String combine(ProtocolTest _h_, String ps, String _d_){ return ": ProtocolTest ("+"\n"+_d_+" "+ps+" )"; } public String combine(ProtocolDefinition _h_, String pn, String claimSetName, String variableDeclarations, String protocolSteps, String predicate, String _d_){ return ": ProtocolDefinition ("+"\n"+_d_+" "+pn+"\n"+_d_+" "+claimSetName+"\n"+_d_+" "+variableDeclarations+"\n"+_d_+" "+protocolSteps+"\n"+_d_+" "+predicate+" )"; } public String combine(ProtocolStep _h_, String stepName, String scholar, String variableBindings, String _d_){ return ": ProtocolStep ("+"\n"+_d_+" "+stepName+"\n"+_d_+" "+scholar+"\n"+_d_+" "+variableBindings+" )"; } public String combine(VariableDeclaration _h_, String variableType, String variableName, String _d_){ return ": VariableDeclaration ("+"\n"+_d_+" "+variableType+"\n"+_d_+" "+variableName+" )"; } public String combine(Predicate _h_, String args, String code, String _d_){ return ": Predicate ("+"\n"+_d_+" "+args+"\n"+_d_+""+code+" )"; } public String combine(SecretBinding _h_, String sn, String varName, String _d_){ return ": SecretBinding ("+"\n"+_d_+" "+sn+"\n"+_d_+" "+varName+" )"; } public String combine(RegularBinding _h_, String varName, String _d_){ return ": RegularBinding ("+"\n"+_d_+" "+varName+" )"; } public String combine(ProtocolName _h_, String v, String _d_){ return ": ProtocolName ("+"\n"+_d_+" "+v+" )"; } public String combine(StepName _h_, String v, String _d_){ return ": StepName ("+"\n"+_d_+" "+v+" )"; } public String combine(VariableName _h_, String v, String _d_){ return ": VariableName ("+"\n"+_d_+" "+v+" )"; } public String combine(VariableType _h_, String v, String _d_){ return ": VariableType ("+"\n"+_d_+" "+v+" )"; } public String combine(JavaCode _h_, String v, String _d_){ return ": JavaCode ("+"\n"+_d_+" "+v+" )"; } public String combine(ScholarName _h_, String v, String _d_){ return ": ScholarName ("+"\n"+_d_+" "+v+" )"; } public String combine(ClaimSetName _h_, String v, String _d_){ return ": ClaimSetName ("+"\n"+_d_+" "+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+"\n"+_d_+" "+rest+" )"; } public String combine(None _h_, String _d_){ return ": None ("+" )"; } public String combine(Some _h_, String just, String _d_){ return ": Some ("+"\n"+_d_+" "+just+" )"; } }