// ** 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 String representation in CD Syntax */ public class Print extends edu.neu.ccs.demeterf.FC{ /** Static stub method for calling print */ public static String PrintM(Object o){ return new edu.neu.ccs.demeterf.Traversal(new Print(),edu.neu.ccs.demeterf.Control.builtins()).traverse(o).toString(); } public _LT combine(byte _h_){ return empty.append(new _S(""+_h_)); } public _LT combine(short _h_){ return empty.append(new _S(""+_h_)); } public _LT combine(int _h_){ return empty.append(new _S(""+_h_)); } public _LT combine(long _h_){ return empty.append(new _S(""+_h_)); } public _LT combine(float _h_){ return empty.append(new _S(""+_h_)); } public _LT combine(double _h_){ return empty.append(new _S(""+_h_)); } public _LT combine(char _h_){ return empty.append(new _S("\'"+escape(""+_h_)+"\'")); } public _LT combine(boolean _h_){ return empty.append(new _S(""+_h_)); } public _LT combine(String _h_){ return empty.append(new _S("\""+escape(""+_h_)+"\"")); } public _LT combine(ident _h_){ return empty.append(new _S(""+_h_)); } public _LT combine(verbatim _h_){ return empty.append(new _S(""+_h_)); } static _LT empty = new _LT(); public static class _LT{ edu.neu.ccs.demeterf.lib.List<_T> l; public _LT(){ l = new edu.neu.ccs.demeterf.lib.Empty<_T>(); } public _LT(edu.neu.ccs.demeterf.lib.List<_T> ll){ l = ll; } public _LT push(_T t){ return new _LT(l.push(t)); } public _LT append(_T t){ return new _LT(l.append(t)); } public _LT append(_LT t){ return new _LT(l.append(t.l)); } public String toString(){ return l.fold(new _F(),""); } public _LT compress(){ return l.isEmpty()?this:compress(new _E(), l); } public static _LT compress(_S s, edu.neu.ccs.demeterf.lib.List<_T> r){ if(r.isEmpty())return (s.isE())?empty:empty.push(s); _T top = r.top(); if(top.isS())return compress(s.append((_S)top), r.pop()); if(s.isE())return compress(s, r.pop()).push(top); return compress(new _E(), r.pop()).push(top).push(s); } } public static class _T{ public boolean isS(){ return false; } public boolean isE(){ return false; } } public static class _P extends _T{ public static _P p = new _P(); } public static class _M extends _T{ public static _M m = new _M(); } public static class _N extends _T{ public static _N n = new _N(); } public static class _R extends _T{ public static _R r = new _R(); } public static class _S extends _T{ public StringBuffer s; public _S(String ss){ s = new StringBuffer(ss); } public _S append(_S ss){ s.append(ss.s); return this; } public boolean isS(){ return true; } } public static class _E extends _S{ public _E(){ super("");} public boolean isS(){ return true; } } public static class _F extends edu.neu.ccs.demeterf.lib.List.Fold<_T,String>{ int idt = 0; public String fold(_T t, String s){ if(t == _P.p)plus(); else if(t == _M.m)minus(); else if(t == _R.r)s += "\r"; else if(t == _N.n)s += "\n"+indent(); else s += ((_S)t).s; return s; } void plus(){ idt++; } void minus(){ idt--; } String indent(){ return indent(idt); } static String indent(int i){ return (i <= 0)?"":" "+indent(i-1); } } 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 _LT combine(Domain _h_, _LT p, _LT s, _LT valid, _LT quality){ return empty.append(p).append(s).append(valid).append(quality).compress(); } public _LT combine(Instance _h_, _LT cd){ return empty.append(cd).compress(); } public _LT combine(Solution _h_, _LT cd){ return empty.append(cd).compress(); } public _LT combine(ValidPredicate _h_, _LT body){ return empty.append(body).compress(); } public _LT combine(QualityFunction _h_, _LT body){ return empty.append(body).compress(); } public _LT combine(Claim _h_, _LT d, _LT cd, _LT setOfInstances, _LT protocol){ return empty.append(d).append(cd).append(setOfInstances).append(protocol).compress(); } public _LT combine(InstancePredicate _h_, _LT body){ return empty.append(body).compress(); } public _LT combine(ValidBody _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(QualityBody _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(PredicateBody _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(InstanceId _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(InstanceStructure _h_){ return empty; } public _LT combine(SolutionStructure _h_){ return empty; } public _LT combine(ClassDictionary _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(ProtocolTest _h_, _LT ps){ return empty.append(ps).compress(); } public _LT combine(ProtocolDefinition _h_, _LT pn, _LT claimSetName, _LT variableDeclarations, _LT protocolSteps, _LT predicate){ return empty.append(new _S("protocol")).append(pn).append(claimSetName).append(new _S("variables")).append(variableDeclarations).append(protocolSteps).append(new _S("predicate")).append(predicate).compress(); } public _LT combine(ProtocolStep _h_, _LT stepName, _LT scholar, _LT variableBindings){ return empty.append(new _S("step")).append(stepName).append(scholar).append(variableBindings).compress(); } public _LT combine(VariableDeclaration _h_, _LT variableType, _LT variableName){ return empty.append(variableType).append(variableName).compress(); } public _LT combine(Predicate _h_, _LT args, _LT code){ return empty.append(args).append(code).compress(); } public _LT combine(SecretBinding _h_, _LT sn, _LT varName){ return empty.append(new _S("secret")).append(new _S("until")).append(sn).append(varName).compress(); } public _LT combine(RegularBinding _h_, _LT varName){ return empty.append(varName).compress(); } public _LT combine(ProtocolName _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(StepName _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(VariableName _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(VariableType _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(JavaCode _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(ScholarName _h_, _LT v){ return empty.append(v).compress(); } public _LT combine(ClaimSetName _h_, _LT v){ return empty.append(new _S("claim")).append(new _S("set")).append(new _S("name")).append(v).compress(); } public _LT combine(Empty _h_){ return empty; } public _LT combine(Cons _h_, _LT first, _LT rest){ return empty.append(first).append(rest).compress(); } public _LT combine(None _h_){ return empty; } public _LT combine(Some _h_, _LT just){ return empty.append(just).compress(); } }