// ** This file was generated with DemFGen (vers:12/15/2010) options{ STATIC = false; } PARSER_BEGIN(TheParser) package gen; import edu.neu.ccs.demeterf.lib.*; import edu.neu.ccs.demeterf.*; import edu.neu.ccs.demeterf.Fields; import edu.neu.ccs.demeterf.lib.ident; import edu.neu.ccs.demeterf.lib.verbatim; public class TheParser{ public static String unescape(String str){ String retval = ""; int index = 0; char ch, ch1; int ordinal = 0; while (index < str.length()) { if(str.charAt(index) != '\\') { retval += str.charAt(index++); continue; } ch = str.charAt(++index); if(ch == 'b') { retval += '\b'; index++; continue; } if(ch == 't') { retval += '\t'; index++; continue; } if(ch == 'n') { retval += '\n'; index++; continue; } if(ch == 'f') { retval += '\f'; index++; continue; } if(ch == 'r') { retval += '\r'; index++; continue; } if(ch == '"') { retval += '\"'; index++; continue; } if(ch == '\'') { retval += '\''; index++; continue; } if(ch == '\\') { retval += '\\'; index++; continue; } if(ch >= '0' && ch <= '7'){ ordinal = ((int)ch) - ((int)'0'); index++; ch1 = str.charAt(index); if(ch1 >= '0' && ch1 <= '7'){ ordinal = ordinal*8 + ((int)ch1) - ((int)'0'); index++; ch1 = str.charAt(index); if(ch <= '3' && ch1 >= '0' && ch1 <= '7'){ ordinal = ordinal*8 + ((int)ch1) - ((int)'0'); index++; } } retval += (char)ordinal; continue; } if(ch == 'u'){ ordinal = 0; for(int i = 0; i < 4; i++){ index++; ch = str.charAt(index); ordinal = ordinal*16+hexval(ch); } index++; retval += (char)ordinal; continue; } } return retval; } static int hexval(char c){ int r = "0123456789ABCDEF".indexOf(Character.toUpperCase(c)); if(r >= 0)return r; throw new RuntimeException(" ** Bad Escaped Character"); } } PARSER_END(TheParser) byte parse_byte():{ int i; }{ i = parse_int() { return (byte)i; } } Byte parse_Byte():{ byte b; }{ b = parse_byte() { return b; } } short parse_short():{ int i; }{ i = parse_int() { return (short)i; } } Short parse_Short():{ short s; }{ s = parse_short() { return s; } } int parse_int():{ Token t; }{ t = { if(t.image.length() > 1 && Character.toLowerCase(t.image.charAt(1)) == 'x') return Integer.parseInt(t.image.substring(2), 16); return Integer.parseInt(t.image); } } Integer parse_Integer():{ int i; }{ i = parse_int() { return i; } } long parse_long():{ Token t; }{ t = { if(t.image.length() > 1 && Character.toLowerCase(t.image.charAt(1)) == 'x') return Long.parseLong(t.image.substring(2), 16); return Long.parseLong(t.image); } } Long parse_Long():{ long l; }{ l = parse_long() { return l; } } double parse_double():{ Token t; }{ t = { return Double.parseDouble(t.image); } } Double parse_Double():{ double d; }{ d = parse_double() { return d; } } float parse_float():{ Token t; }{ t = { return Float.parseFloat(t.image); } } Float parse_Float():{ float f; }{ f = parse_float() { return f; } } String parse_String():{ Token t; }{ t = { return unescape(t.image.substring(1,t.image.length()-1)); } } boolean parse_boolean():{ Token t; }{ t = { return true; } | t = { return false; } } Boolean parse_Boolean():{ boolean b; }{ b = parse_boolean() { return b; } } char parse_char():{ Token t; }{ t = { return unescape(t.image.substring(1,t.image.length()-1)).charAt(0); } } Character parse_Character():{ char c; }{ c = parse_char() { return c; } } ident parse_ident():{ Token t; }{ t = { return new ident(t.image); } } verbatim parse_verbatim():{ Token t; }{ t = { return new verbatim(t.image.substring(2,t.image.length()-2)); } } public TestClaim parse_TestClaim():{ List claims; }{ claims = parse_List$Claim$() { return new TestClaim(claims); } } public Claim parse_Claim():{ Claim sup = null; }{ ( sup = parse_SimpleClaim() { return sup; } | sup = parse_CompoundClaim() { return sup; } ) } public SimpleClaim parse_SimpleClaim():{ ClaimName cn; Option args; }{ cn = parse_ClaimName() args = parse_Option$Args$() { return new SimpleClaim(cn,args); } } public ClaimName parse_ClaimName():{ ident v; }{ v = parse_ident() { return new ClaimName(v); } } public CompoundClaim parse_CompoundClaim():{ CompoundClaim sup = null; }{ ( sup = parse_AndClaim() { return sup; } | sup = parse_OrClaim() { return sup; } | sup = parse_ImplicationClaim() { return sup; } | sup = parse_NegatedClaim() { return sup; } | sup = parse_ForAllClaim() { return sup; } | sup = parse_ExistsClaim() { return sup; } ) } public AndClaim parse_AndClaim():{ Claim c1; Claim c2; Option args; }{ "(and" c1 = parse_Claim() c2 = parse_Claim() ")" args = parse_Option$Args$() { return new AndClaim(c1,c2,args); } } public OrClaim parse_OrClaim():{ Claim c1; Claim c2; Option args; }{ "(or" c1 = parse_Claim() c2 = parse_Claim() ")" args = parse_Option$Args$() { return new OrClaim(c1,c2,args); } } public ImplicationClaim parse_ImplicationClaim():{ Claim premise; Claim consequent; Option args; }{ "(->" premise = parse_Claim() consequent = parse_Claim() ")" args = parse_Option$Args$() { return new ImplicationClaim(premise,consequent,args); } } public NegatedClaim parse_NegatedClaim():{ Claim c1; Option args; }{ "(not" c1 = parse_Claim() ")" args = parse_Option$Args$() { return new NegatedClaim(c1,args); } } public ForAllClaim parse_ForAllClaim():{ Variable var; VarDomain d; Claim c; Option args; }{ "(ForAll" var = parse_Variable() "in" d = parse_VarDomain() c = parse_Claim() ")" args = parse_Option$Args$() { return new ForAllClaim(var,d,c,args); } } public ExistsClaim parse_ExistsClaim():{ Variable var; VarDomain d; Claim c; Option args; }{ "(Exists" var = parse_Variable() "in" d = parse_VarDomain() c = parse_Claim() ")" args = parse_Option$Args$() { return new ExistsClaim(var,d,c,args); } } public Variable parse_Variable():{ ident v; }{ v = parse_ident() { return new Variable(v); } } public VarDomain parse_VarDomain():{ VarDomain sup = null; }{ ( sup = parse_Instance() { return sup; } | sup = parse_Solution() { return sup; } ) } public Instance parse_Instance():{ }{ "instance" { return new Instance(); } } public Solution parse_Solution():{ }{ "solution" { return new Solution(); } } public Predicate parse_Predicate():{ PredicateName pn; List args; }{ pn = parse_PredicateName() "(" args = parse_List$Variable$() ")" { return new Predicate(pn,args); } } public Args parse_Args():{ List args; }{ "(" args = parse_List$Variable$() ")" { return new Args(args); } } public PredicateName parse_PredicateName():{ ident v; }{ v = parse_ident() { return new PredicateName(v); } } public List parse_List$Variable$():{ List sup = null; }{ ( sup = parse_Cons$Variable$() { return sup; } | sup = parse_Empty$Variable$() { return sup; } ) } public Empty parse_Empty$Variable$():{ }{ { return new Empty(); } } public Cons parse_Cons$Variable$():{ Variable first; List rest; }{ first = parse_Variable() rest = parse_List$Variable$() { return new Cons(first,rest); } } public Option parse_Option$Args$():{ Option sup = null; }{ ( sup = parse_Some$Args$() { return sup; } | sup = parse_None$Args$() { return sup; } ) } public None parse_None$Args$():{ }{ { return new None(); } } public Some parse_Some$Args$():{ Args just; }{ just = parse_Args() { return new Some(just); } } public List parse_List$Claim$():{ List sup = null; }{ ( sup = parse_Cons$Claim$() { return sup; } | sup = parse_Empty$Claim$() { return sup; } ) } public Empty parse_Empty$Claim$():{ }{ { return new Empty(); } } public Cons parse_Cons$Claim$():{ Claim first; List rest; }{ first = parse_Claim() rest = parse_List$Claim$() { return new Cons(first,rest); } } TOKEN: { < INT : ("+" | "-")? ( (["0"-"9"])+ | ("0" ["x","X"]) (["0"-"9","a"-"f","A"-"F"])+ ) > | < DOUBLE : ("-")?(["0"-"9"])+ "." (["0"-"9"])+ ()? | "." (["0"-"9"])+ ()? > | < #EXPON: ["e","E"] (["+","-"])? (["0"-"9"])+ > } SKIP : { " " | "\t" | "\n" | "\r" | "\r\n" } SKIP : { < "//" (~["\n","\r"])* ("\n"|"\r\n") > | < "/*" (~["*"])* "*" (~["/"] (~["*"])* "*")* "/" > } TOKEN: { < TRUE : "true" > | < FALSE : "false" > } TOKEN: { < CHAR: "\'" ( (~["\'","\\","\n","\r"]) | ("\\" ( ["n","t","b","r","f","\\","\'","\""] | ["0"-"7"] ( ["0"-"7"] )? | ["0"-"3"] ["0"-"7"] ["0"-"7"] ) ) ) "\'" > | < STRING : "\"" ( (~["\"","\\","\n","\r"]) | ("\\" ( ["n","t","b","r","f","\\","'","\""] | ["0"-"7"] ( ["0"-"7"] )? | ["0"-"3"] ["0"-"7"] ["0"-"7"] ) ) )* "\"" > | < TEXT : ( "{{" (~["}"])* ( "}" ~["}"] (~["}"])* )* "}}" ) > | < IDENT : ["a"-"z","A"-"Z","$","_"] (["a"-"z","A"-"Z","0"-"9","_","$"])* > }