/* Generated By:JavaCC: Do not edit this line. Parser.java */ import java.util.*; import edu.neu.ccs.demeterf.*; import edu.neu.ccs.demeterf.util.*; import edu.neu.ccs.demeter.*; public class Parser implements ParserConstants { // oit is uugly. Why isn't there a Character.valueOf(String)? static char unescapifyChar(String s) { char c = s.charAt(0); if (c == '\\') { switch (s.charAt(1)) { case 'n': c = '\n'; break; case 't': c = '\t'; break; case 'b': c = '\b'; break; case 'r': c = '\r'; break; case 'f': c = '\f'; break; case '\\': c = '\\'; break; case '\'': c = '\''; break; case '\"': c = '\"'; break; default: c = (char) Integer.parseInt(s.substring(1, s.length()), 8); break; } } return c; } // Even uglier... static String unescapify(String s) { char str[] = new char[s.length()]; int i = 0, o = 0; while (i < s.length()) { char c = s.charAt(i++); if (c == '\\') { int j = i + 1; while (j < s.length() && Character.digit(s.charAt(j), 8) != -1) { j++; } c = unescapifyChar(s.substring(i-1, j)); i = j; } str[o++] = c; } return String.valueOf(str, 0, o); } final public Formula _Formula() throws ParseException { Formula it = null; ClauseList _clauses; SatOpt _satopt; UnsatOpt _unsatopt; it=new Formula(); _clauses = _ClauseList(); it.set_clauses(_clauses); _satopt = _SatOpt(); it.set_satopt(_satopt); _unsatopt = _UnsatOpt(); it.set_unsatopt(_unsatopt); jj_consume_token(0); {if (true) return it;} throw new Error("Missing return statement in function"); } final public SatOpt _SatOpt() throws ParseException { SatOpt it = null; switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case 1: it = _SatCount(); break; default: jj_la1[0] = jj_gen; it = _SatAbsent(); } {if (true) return it;} throw new Error("Missing return statement in function"); } final public void common_SatOpt(SatOpt it) throws ParseException { } final public SatCount _SatCount() throws ParseException { SatCount it = null; Integer _sats; it=new SatCount(); jj_consume_token(1); _sats = _Integer(); it.set_sats(_sats); common_SatOpt(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public SatAbsent _SatAbsent() throws ParseException { SatAbsent it = null; it=new SatAbsent(); common_SatOpt(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public UnsatOpt _UnsatOpt() throws ParseException { UnsatOpt it = null; switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case 2: it = _UnsatCount(); break; default: jj_la1[1] = jj_gen; it = _UnsatAbsent(); } {if (true) return it;} throw new Error("Missing return statement in function"); } final public void common_UnsatOpt(UnsatOpt it) throws ParseException { } final public UnsatCount _UnsatCount() throws ParseException { UnsatCount it = null; Integer _unsats; it=new UnsatCount(); jj_consume_token(2); _unsats = _Integer(); it.set_unsats(_unsats); common_UnsatOpt(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public UnsatAbsent _UnsatAbsent() throws ParseException { UnsatAbsent it = null; it=new UnsatAbsent(); common_UnsatOpt(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public Clause _Clause() throws ParseException { Clause it = null; switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case 3: it = _SatClause(); break; case 4: it = _UnsatClause(); break; case DECIMAL_LITERAL: case HEX_LITERAL: case OCTAL_LITERAL: case FLOATING_POINT_LITERAL: it = _ConcreteClause(); break; default: jj_la1[2] = jj_gen; jj_consume_token(-1); throw new ParseException(); } {if (true) return it;} throw new Error("Missing return statement in function"); } final public void common_Clause(Clause it) throws ParseException { } final public SatClause _SatClause() throws ParseException { SatClause it = null; it=new SatClause(); jj_consume_token(3); common_Clause(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public UnsatClause _UnsatClause() throws ParseException { UnsatClause it = null; it=new UnsatClause(); jj_consume_token(4); common_Clause(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public ConcreteClause _ConcreteClause() throws ParseException { ConcreteClause it = null; Weight _weight; Literals _literals; it=new ConcreteClause(); _weight = _Weight(); it.set_weight(_weight); _literals = _Literals(); it.set_literals(_literals); jj_consume_token(5); common_Clause(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public Literals _Literals() throws ParseException { Literals it = null; switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case 6: it = _SatLiteral(); break; case 7: it = _UnsatLiteral(); break; default: jj_la1[3] = jj_gen; it = _LiteralList(); } {if (true) return it;} throw new Error("Missing return statement in function"); } final public void common_Literals(Literals it) throws ParseException { } final public SatLiteral _SatLiteral() throws ParseException { SatLiteral it = null; it=new SatLiteral(); jj_consume_token(6); common_Literals(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public UnsatLiteral _UnsatLiteral() throws ParseException { UnsatLiteral it = null; it=new UnsatLiteral(); jj_consume_token(7); common_Literals(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public Literal _Literal() throws ParseException { Literal it = null; switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case DECIMAL_LITERAL: case HEX_LITERAL: case OCTAL_LITERAL: case FLOATING_POINT_LITERAL: it = _Positive(); break; case 8: it = _Negative(); break; default: jj_la1[4] = jj_gen; jj_consume_token(-1); throw new ParseException(); } {if (true) return it;} throw new Error("Missing return statement in function"); } final public void common_Literal(Literal it) throws ParseException { Variable _variable; _variable = _Variable(); it.set_variable(_variable); } final public Positive _Positive() throws ParseException { Positive it = null; it=new Positive(); common_Literal(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public Negative _Negative() throws ParseException { Negative it = null; it=new Negative(); jj_consume_token(8); common_Literal(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public Variable _Variable() throws ParseException { Variable it = null; Integer _integer; it=new Variable(); _integer = _Integer(); it.set_integer(_integer); {if (true) return it;} throw new Error("Missing return statement in function"); } final public Weight _Weight() throws ParseException { Weight it = null; Integer _v; it=new Weight(); _v = _Integer(); it.set_v(_v); {if (true) return it;} throw new Error("Missing return statement in function"); } final public Main _Main() throws ParseException { Main it = null; String _s; it=new Main(); _s = _String(); it.set_s(_s); {if (true) return it;} throw new Error("Missing return statement in function"); } final public ClauseList _ClauseList() throws ParseException { ClauseList it = null; switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case 3: case 4: case DECIMAL_LITERAL: case HEX_LITERAL: case OCTAL_LITERAL: case FLOATING_POINT_LITERAL: it = _ClauseCons(); break; default: jj_la1[5] = jj_gen; it = _ClauseEmpty(); } {if (true) return it;} throw new Error("Missing return statement in function"); } final public void common_ClauseList(ClauseList it) throws ParseException { } final public ClauseCons _ClauseCons() throws ParseException { ClauseCons it = null; Clause _first; ClauseList _rest; it=new ClauseCons(); _first = _Clause(); it.set_first(_first); _rest = _ClauseList(); it.set_rest(_rest); common_ClauseList(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public ClauseEmpty _ClauseEmpty() throws ParseException { ClauseEmpty it = null; it=new ClauseEmpty(); common_ClauseList(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public LiteralList _LiteralList() throws ParseException { LiteralList it = null; switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case 8: case DECIMAL_LITERAL: case HEX_LITERAL: case OCTAL_LITERAL: case FLOATING_POINT_LITERAL: it = _LiteralCons(); break; default: jj_la1[6] = jj_gen; it = _LiteralEmpty(); } {if (true) return it;} throw new Error("Missing return statement in function"); } final public void common_LiteralList(LiteralList it) throws ParseException { common_Literals(it); } final public LiteralCons _LiteralCons() throws ParseException { LiteralCons it = null; Literal _first; LiteralList _rest; it=new LiteralCons(); _first = _Literal(); it.set_first(_first); _rest = _LiteralList(); it.set_rest(_rest); common_LiteralList(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public LiteralEmpty _LiteralEmpty() throws ParseException { LiteralEmpty it = null; it=new LiteralEmpty(); common_LiteralList(it); {if (true) return it;} throw new Error("Missing return statement in function"); } final public LitCounter _LitCounter() throws ParseException { LitCounter it = null; it=new LitCounter(); {if (true) return it;} throw new Error("Missing return statement in function"); } final public boolean _boolean() throws ParseException { Token t; switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case TRUE: t = jj_consume_token(TRUE); {if (true) return true;} break; case FALSE: t = jj_consume_token(FALSE); {if (true) return false;} break; default: jj_la1[7] = jj_gen; jj_consume_token(-1); throw new ParseException(); } throw new Error("Missing return statement in function"); } final public char _char() throws ParseException { Token t; t = jj_consume_token(CHARACTER_LITERAL); String s = t.image; {if (true) return unescapifyChar(s.substring(1, s.length()-1));} throw new Error("Missing return statement in function"); } final public byte _byte() throws ParseException { int i; i = _int(); {if (true) return (byte) i;} throw new Error("Missing return statement in function"); } final public short _short() throws ParseException { int i; i = _int(); {if (true) return (short) i;} throw new Error("Missing return statement in function"); } final public int _int() throws ParseException { Number num; num = _Number(); {if (true) return num.intValue();} throw new Error("Missing return statement in function"); } final public long _long() throws ParseException { Number num; num = _Number(); {if (true) return num.longValue();} throw new Error("Missing return statement in function"); } final public float _float() throws ParseException { Number num; num = _Number(); {if (true) return num.floatValue();} throw new Error("Missing return statement in function"); } final public double _double() throws ParseException { Number num; num = _Number(); {if (true) return num.doubleValue();} throw new Error("Missing return statement in function"); } final public Boolean _Boolean() throws ParseException { Token t; switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case TRUE: t = jj_consume_token(TRUE); {if (true) return Boolean.TRUE;} break; case FALSE: t = jj_consume_token(FALSE); {if (true) return Boolean.FALSE;} break; default: jj_la1[8] = jj_gen; jj_consume_token(-1); throw new ParseException(); } throw new Error("Missing return statement in function"); } final public Character _Character() throws ParseException { char c; c = _char(); {if (true) return new Character(c);} throw new Error("Missing return statement in function"); } final public Integer _Integer() throws ParseException { int i; i = _int(); {if (true) return new Integer(i);} throw new Error("Missing return statement in function"); } final public Long _Long() throws ParseException { long l; l = _long(); {if (true) return new Long(l);} throw new Error("Missing return statement in function"); } final public Float _Float() throws ParseException { float f; f = _float(); {if (true) return new Float(f);} throw new Error("Missing return statement in function"); } final public Double _Double() throws ParseException { double d; d = _double(); {if (true) return new Double(d);} throw new Error("Missing return statement in function"); } final public Number _Number() throws ParseException { Token t; String s = null; int radix = 0; Number num = null; switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case DECIMAL_LITERAL: case HEX_LITERAL: case OCTAL_LITERAL: switch ((jj_ntk==-1)?jj_ntk():jj_ntk) { case DECIMAL_LITERAL: t = jj_consume_token(DECIMAL_LITERAL); s = t.image; radix = 10; break; case HEX_LITERAL: t = jj_consume_token(HEX_LITERAL); // Strip off the "0x". s = t.image.substring(2, t.image.length()); radix = 16; break; case OCTAL_LITERAL: t = jj_consume_token(OCTAL_LITERAL); s = t.image; radix = 8; break; default: jj_la1[9] = jj_gen; jj_consume_token(-1); throw new ParseException(); } switch (s.charAt(s.length()-1)) { case 'l': case 'L': s = s.substring(0, s.length()-1); num = new Long(new java.math.BigInteger(s, radix).longValue()); break; default: num = new Integer(new java.math.BigInteger(s, radix).intValue()); break; } break; case FLOATING_POINT_LITERAL: t = jj_consume_token(FLOATING_POINT_LITERAL); s = t.image; switch (s.charAt(s.length()-1)) { case 'd': case 'D': num = Double.valueOf(s.substring(0, s.length()-1)); break; case 'f': case 'F': num = Float.valueOf(s.substring(0, s.length()-1)); break; default: num = Float.valueOf(s); break; } break; default: jj_la1[10] = jj_gen; jj_consume_token(-1); throw new ParseException(); } {if (true) return num;} throw new Error("Missing return statement in function"); } final public String _String() throws ParseException { Token t; t = jj_consume_token(STRING_LITERAL); String s = t.image; {if (true) return unescapify(s.substring(1, s.length()-1));} throw new Error("Missing return statement in function"); } final public StringBuffer _StringBuffer() throws ParseException { String s; s = _String(); {if (true) return new StringBuffer(s);} throw new Error("Missing return statement in function"); } final public Ident _Ident() throws ParseException { Token t; t = jj_consume_token(IDENTIFIER); {if (true) return new Ident(t.image);} throw new Error("Missing return statement in function"); } final public Text _Text() throws ParseException { Token t; t = jj_consume_token(TEXT_LITERAL); String s = t.image; {if (true) return new Text(s.substring(2, s.length()-2));} throw new Error("Missing return statement in function"); } final public Line _Line() throws ParseException { Token t; token_source.SwitchTo(1); t = jj_consume_token(LINE); {if (true) return new Line(t.image);} throw new Error("Missing return statement in function"); } final public Word _Word() throws ParseException { Token t; token_source.SwitchTo(2); t = jj_consume_token(WORD); {if (true) return new Word(t.image);} throw new Error("Missing return statement in function"); } public ParserTokenManager token_source; ASCII_UCodeESC_CharStream jj_input_stream; public Token token, jj_nt; private int jj_ntk; private int jj_gen; final private int[] jj_la1 = new int[11]; final private int[] jj_la1_0 = {0x2,0x4,0x78018,0xc0,0x78100,0x78018,0x78100,0x1800000,0x1800000,0x38000,0x78000,}; final private int[] jj_la1_1 = {0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,}; public Parser(java.io.InputStream stream) { jj_input_stream = new ASCII_UCodeESC_CharStream(stream, 1, 1); token_source = new ParserTokenManager(jj_input_stream); token = new Token(); jj_ntk = -1; jj_gen = 0; for (int i = 0; i < 11; i++) jj_la1[i] = -1; } public void ReInit(java.io.InputStream stream) { jj_input_stream.ReInit(stream, 1, 1); token_source.ReInit(jj_input_stream); token = new Token(); jj_ntk = -1; jj_gen = 0; for (int i = 0; i < 11; i++) jj_la1[i] = -1; } public Parser(java.io.Reader stream) { jj_input_stream = new ASCII_UCodeESC_CharStream(stream, 1, 1); token_source = new ParserTokenManager(jj_input_stream); token = new Token(); jj_ntk = -1; jj_gen = 0; for (int i = 0; i < 11; i++) jj_la1[i] = -1; } public void ReInit(java.io.Reader stream) { jj_input_stream.ReInit(stream, 1, 1); token_source.ReInit(jj_input_stream); token = new Token(); jj_ntk = -1; jj_gen = 0; for (int i = 0; i < 11; i++) jj_la1[i] = -1; } public Parser(ParserTokenManager tm) { token_source = tm; token = new Token(); jj_ntk = -1; jj_gen = 0; for (int i = 0; i < 11; i++) jj_la1[i] = -1; } public void ReInit(ParserTokenManager tm) { token_source = tm; token = new Token(); jj_ntk = -1; jj_gen = 0; for (int i = 0; i < 11; i++) jj_la1[i] = -1; } final private Token jj_consume_token(int kind) throws ParseException { Token oldToken; if ((oldToken = token).next != null) token = token.next; else token = token.next = token_source.getNextToken(); jj_ntk = -1; if (token.kind == kind) { jj_gen++; return token; } token = oldToken; jj_kind = kind; throw generateParseException(); } final public Token getNextToken() { if (token.next != null) token = token.next; else token = token.next = token_source.getNextToken(); jj_ntk = -1; jj_gen++; return token; } final public Token getToken(int index) { Token t = token; for (int i = 0; i < index; i++) { if (t.next != null) t = t.next; else t = t.next = token_source.getNextToken(); } return t; } final private int jj_ntk() { if ((jj_nt=token.next) == null) return (jj_ntk = (token.next=token_source.getNextToken()).kind); else return (jj_ntk = jj_nt.kind); } private java.util.Vector jj_expentries = new java.util.Vector(); private int[] jj_expentry; private int jj_kind = -1; final public ParseException generateParseException() { jj_expentries.removeAllElements(); boolean[] la1tokens = new boolean[34]; for (int i = 0; i < 34; i++) { la1tokens[i] = false; } if (jj_kind >= 0) { la1tokens[jj_kind] = true; jj_kind = -1; } for (int i = 0; i < 11; i++) { if (jj_la1[i] == jj_gen) { for (int j = 0; j < 32; j++) { if ((jj_la1_0[i] & (1<