(hak) 133> make basic *** Make tidy: *** Tidying up trash (if any) ... *** Make gen: *** Generating the OsfV3 parser... *** This is Jacc: Just another compiler compiler... *** Run of Thu Apr 16 08:03:37 CEST 2015 *** Reading grammar in file ./sources/OsfV3.grm ... *** Including file ./sources\OsfV3Grammar.grm ... *** Including file ./sources\OsfV3Declarations.grm ... *** Defining XML namespace prefix: osf = "http://cedar.liris.cnrs.fr/osf" *** Setting XML root's namespace to osf *** Setting XML root to osf:OsfExpression *** Including file ./sources\OsfV3Ancillary.grm ... *** Including file ./sources\OsfV3NodeClasses.grm ... *** Including file ./sources\OsfV3Rules.grm ... *** ... in 144 ms RULES: [0] $START$ --> $ROOTS$ precedence = 1 [1] $ROOTS$ --> OsfV3Program precedence = 1 [2] $ROOTS$ --> '$OsfV3Program_switch$' OsfV3Program precedence = 1 [3] $ROOTS$ --> '$SortExpression_switch$' SortExpression precedence = 1 [4] $ROOTS$ --> '$OsfExpression_switch$' OsfExpression precedence = 1 [5] OsfV3Program --> Statements_opt precedence = 1 [6] Statements_opt --> precedence = 1 [7] Statements_opt --> Statements_opt Statement precedence = 1 [8] Statement --> StatementType EndOfStatement precedence = 1 [9] $ACTION0$ --> precedence = 1 [10] EndOfStatement --> $ACTION0$ 'EOS' precedence = 1 [11] StatementType --> precedence = 1 [12] StatementType --> Pragma PragmaArguments_opt precedence = 1 [13] StatementType --> SortDeclarationStatement precedence = 1 [14] StatementType --> OsfExpression precedence = 1 [15] StatementType --> 'error' precedence = 1 [16] SortDeclarationStatement --> IsaDeclarationStatement precedence = 1 [17] IsaDeclarationStatement --> SortSymbols 'ISA' SortSymbols precedence = 31 [18] SortSymbol --> 'IDENTIFIER' precedence = 11 [19] SortSymbols --> SortSymbol precedence = 1 [20] SortSymbols --> SortSymbol ',' SortSymbols precedence = 1 [21] OsfExpression --> PsiTerm precedence = 1 [22] PsiTerm --> 'TAG' precedence = 11 XML form = [ nsprefix = "osf" localname = "term" attributes = { tag = 1/value } ] [23] PsiTerm --> UntaggedPsiTerm precedence = 1 [24] PsiTerm --> 'TAG' ':' UntaggedPsiTerm precedence = 1 XML form = [ nsprefix = "osf" localname = "term" attributes = { tag = 1/value } children = ( 3[0] ) ] [25] UntaggedPsiTerm --> SortExpression Body_opt precedence = 1 XML form = [ nsprefix = "osf" localname = "term" children = ( 1 2 ) ] [26] Body_opt --> precedence = 1 [27] Body_opt --> '(' SubTerms ')' precedence = 1 [28] SubTerms --> SubTerm precedence = 1 [29] SubTerms --> SubTerm ',' SubTerms precedence = 1 [30] SubTerm --> PsiTerm precedence = 1 [31] SubTerm --> Feature 'ARROW' PsiTerm precedence = 21 XML form = [ nsprefix = "osf" localname = "feature" attributes = { name = 1/value } children = ( 3 ) ] [32] Feature --> 'INTEGER' precedence = 11 [33] Feature --> 'IDENTIFIER' precedence = 11 [34] SortExpression --> Constant precedence = 1 [35] SortExpression --> Sort precedence = 1 [36] SortExpression --> '{' SortList '}' precedence = 1 XML form = [ nsprefix = "osf" localname = "disjunction" children = ( 2 ) ] [37] SortExpression --> 'NOT' SortExpression precedence = 71 XML form = [ nsprefix = "osf" localname = "not" children = ( 2 ) ] [38] SortExpression --> SortExpression 'AND' SortExpression precedence = 61 XML form = [ nsprefix = "osf" localname = "and" children = ( 1 3 ) ] [39] SortExpression --> SortExpression 'OR' SortExpression precedence = 51 XML form = [ nsprefix = "osf" localname = "or" children = ( 1 3 ) ] [40] SortExpression --> SortExpression 'BUTNOT' SortExpression precedence = 41 XML form = [ nsprefix = "osf" localname = "butnot" children = ( 1 3 ) ] [41] SortExpression --> '(' SortExpression ')' precedence = 1 XML form = [ nsprefix = "osf" localname = "parenthesis" children = ( 2 ) ] [42] Constant --> 'INTEGER' precedence = 11 [43] Constant --> 'CHAR' precedence = 11 [44] Constant --> 'FLOAT' precedence = 11 [45] Constant --> 'STRING' precedence = 11 [46] Constant --> 'BOOLEAN' precedence = 11 [47] Sort --> 'TOP' precedence = 11 [48] Sort --> 'BOTTOM' precedence = 11 [49] Sort --> 'IDENTIFIER' precedence = 11 XML form = [ nsprefix = "osf" localname = "sort" attributes = { symbol = 1/value } ] [50] SortList --> Sort precedence = 1 [51] SortList --> Sort ';' SortList precedence = 1 [52] Pragma --> 'PRAGMA' precedence = 11 [53] PragmaArguments_opt --> precedence = 1 [54] PragmaArguments_opt --> FileList precedence = 1 [55] PragmaArguments_opt --> SortExpression precedence = 1 [56] PragmaArguments_opt --> SortExpression SortExpression precedence = 1 [57] FileList --> 'STRING' precedence = 11 [58] FileList --> 'STRING' FileList precedence = 11 *** Starting grammar analysis ... *** Preprocessing the grammar ... *** ... in 26 ms TERMINALS: ---------- ------------- -------- PRECEDENCE ASSOCIATIVITY TERMINAL ---------- ------------- -------- [0] 1 none '$EMPTY$' [1] 1 none '$E_O_I$' [2] 1 none 'error' [3] 1 none '$OsfV3Program_switch$' [4] 1 none '$SortExpression_switch$' [5] 1 none '$OsfExpression_switch$' [6] 1 none 'EOS' [7] 11 none 'IDENTIFIER' [8] 11 none 'PRAGMA' [9] 11 none 'STRING' [10] 11 none 'TOP' [11] 11 none 'BOTTOM' [12] 11 none 'TAG' [13] 11 none 'INTEGER' [14] 11 none 'CHAR' [15] 11 none 'FLOAT' [16] 11 none 'BOOLEAN' [17] 21 none 'ARROW' [18] 31 none 'ISA' [19] 41 right 'BUTNOT' [20] 51 left 'OR' [21] 61 left 'AND' [22] 71 right 'NOT' [23] 1 none ',' [24] 1 none ':' [25] 1 none '(' [26] 1 none ')' [27] 1 none '{' [28] 1 none '}' [29] 1 none ';' ---------------------------------------- NON TERMINALS: [0] $START$ (nullable) FIRST: {'error', '$OsfV3Program_switch$', '$SortExpression_switch$', '$OsfExpression_switch$', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {$START$, $ROOTS$, OsfV3Program, Statements_opt} [1] $ROOTS$ (nullable) FIRST: {'error', '$OsfV3Program_switch$', '$SortExpression_switch$', '$OsfExpression_switch$', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {$ROOTS$, OsfV3Program, Statements_opt} [2] OsfV3Program (nullable) FIRST: {'error', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {OsfV3Program, Statements_opt} [3] SortExpression FIRST: {'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {SortExpression, Constant, Sort} [4] OsfExpression FIRST: {'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {SortExpression, OsfExpression, Constant, PsiTerm, UntaggedPsiTerm, Sort} [5] IsaDeclarationStatement FIRST: {'IDENTIFIER'} LSet: {IsaDeclarationStatement, SortSymbols, SortSymbol} [6] SortSymbols FIRST: {'IDENTIFIER'} LSet: {SortSymbols, SortSymbol} [7] Constant FIRST: {'STRING', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN'} LSet: {Constant} [8] SortList FIRST: {'IDENTIFIER', 'TOP', 'BOTTOM'} LSet: {SortList, Sort} [9] PsiTerm FIRST: {'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {SortExpression, Constant, PsiTerm, UntaggedPsiTerm, Sort} [10] UntaggedPsiTerm FIRST: {'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {SortExpression, Constant, UntaggedPsiTerm, Sort} [11] Body_opt (nullable) FIRST: {'('} LSet: {Body_opt} [12] SubTerms FIRST: {'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {SortExpression, Constant, PsiTerm, UntaggedPsiTerm, SubTerms, SubTerm, Feature, Sort} [13] SubTerm FIRST: {'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {SortExpression, Constant, PsiTerm, UntaggedPsiTerm, SubTerm, Feature, Sort} [14] Feature FIRST: {'IDENTIFIER', 'INTEGER'} LSet: {Feature} [15] PragmaArguments_opt (nullable) FIRST: {'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {SortExpression, Constant, PragmaArguments_opt, FileList, Sort} [16] FileList FIRST: {'STRING'} LSet: {FileList} [17] Statements_opt (nullable) FIRST: {'error', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {Statements_opt} [18] Statement FIRST: {'error', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {SortExpression, OsfExpression, IsaDeclarationStatement, SortSymbols, Constant, PsiTerm, UntaggedPsiTerm, Statement, StatementType, Pragma, SortDeclarationStatement, SortSymbol, Sort} [19] StatementType (nullable) FIRST: {'error', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} LSet: {SortExpression, OsfExpression, IsaDeclarationStatement, SortSymbols, Constant, PsiTerm, UntaggedPsiTerm, StatementType, Pragma, SortDeclarationStatement, SortSymbol, Sort} [20] EndOfStatement FIRST: {'EOS'} LSet: {EndOfStatement, $ACTION0$} [21] $ACTION0$ (nullable) FIRST: {} LSet: {$ACTION0$} [22] Pragma FIRST: {'PRAGMA'} LSet: {Pragma} [23] SortDeclarationStatement FIRST: {'IDENTIFIER'} LSet: {IsaDeclarationStatement, SortSymbols, SortDeclarationStatement, SortSymbol} [24] SortSymbol FIRST: {'IDENTIFIER'} LSet: {SortSymbol} [25] Sort FIRST: {'IDENTIFIER', 'TOP', 'BOTTOM'} LSet: {Sort} *** Building canonical LR states ... *** ... in 53 ms *** Propagating lookahead symbols ... *** ... in 5 ms *** Grammar analysis completed in 202 ms. *** Building parsing tables ... *** Unresolved R/R conflict: choosing R45 over R57, in state 36, on input 'EOS' !!! WARNING: Rule 45 may compose the non-associative symbol: 'STRING' *** ... in 4 ms ============================= STATE NUMBER: 0 ============================= [0] $START$ --> . $ROOTS$ Preceding states: {0} Follow set: {'$E_O_I$'} Preceding states: {0} [1] $ROOTS$ --> . OsfV3Program Preceding states: {0} [2] $ROOTS$ --> . '$OsfV3Program_switch$' OsfV3Program Preceding states: {0} [3] $ROOTS$ --> . '$SortExpression_switch$' SortExpression Preceding states: {0} [4] $ROOTS$ --> . '$OsfExpression_switch$' OsfExpression Preceding states: {0} [5] OsfV3Program --> . Statements_opt Preceding states: {0} [6] Statements_opt --> . Preceding states: {0} Lookahead set: {'$E_O_I$', 'error', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} [7] Statements_opt --> . Statements_opt Statement Preceding states: {0} ----------------------------- With $ROOTS$, go to state 1 With OsfV3Program, go to state 2 With '$OsfV3Program_switch$', go to state 3 With '$SortExpression_switch$', go to state 4 With '$OsfExpression_switch$', go to state 5 With Statements_opt, go to state 6 ============================= STATE NUMBER: 1 ============================= [0] $START$ --> $ROOTS$ . Preceding states: {0} Lookahead set: {} ----------------------------- ============================= STATE NUMBER: 2 ============================= [1] $ROOTS$ --> OsfV3Program . Preceding states: {0} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 3 ============================= [2] $ROOTS$ --> '$OsfV3Program_switch$' . OsfV3Program Preceding states: {0} Follow set: {'$E_O_I$'} [5] OsfV3Program --> . Statements_opt Preceding states: {3} [6] Statements_opt --> . Preceding states: {3} Lookahead set: {'$E_O_I$', 'error', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} [7] Statements_opt --> . Statements_opt Statement Preceding states: {3} ----------------------------- With OsfV3Program, go to state 81 With Statements_opt, go to state 6 ============================= STATE NUMBER: 4 ============================= [3] $ROOTS$ --> '$SortExpression_switch$' . SortExpression Preceding states: {0} Follow set: {'$E_O_I$'} [34] SortExpression --> . Constant Preceding states: {4} [35] SortExpression --> . Sort Preceding states: {4} [36] SortExpression --> . '{' SortList '}' Preceding states: {4} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {4} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {4} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {4} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {4} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {4} [42] Constant --> . 'INTEGER' Preceding states: {4} [43] Constant --> . 'CHAR' Preceding states: {4} [44] Constant --> . 'FLOAT' Preceding states: {4} [45] Constant --> . 'STRING' Preceding states: {4} [46] Constant --> . 'BOOLEAN' Preceding states: {4} [47] Sort --> . 'TOP' Preceding states: {4} [48] Sort --> . 'BOTTOM' Preceding states: {4} [49] Sort --> . 'IDENTIFIER' Preceding states: {4} ----------------------------- With SortExpression, go to state 80 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With '(', go to state 13 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 5 ============================= [4] $ROOTS$ --> '$OsfExpression_switch$' . OsfExpression Preceding states: {0} Follow set: {'$E_O_I$'} [21] OsfExpression --> . PsiTerm Preceding states: {5} [22] PsiTerm --> . 'TAG' Preceding states: {5} [23] PsiTerm --> . UntaggedPsiTerm Preceding states: {5} [24] PsiTerm --> . 'TAG' ':' UntaggedPsiTerm Preceding states: {5} [25] UntaggedPsiTerm --> . SortExpression Body_opt Preceding states: {5} [34] SortExpression --> . Constant Preceding states: {5} [35] SortExpression --> . Sort Preceding states: {5} [36] SortExpression --> . '{' SortList '}' Preceding states: {5} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {5} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {5} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {5} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {5} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {5} [42] Constant --> . 'INTEGER' Preceding states: {5} [43] Constant --> . 'CHAR' Preceding states: {5} [44] Constant --> . 'FLOAT' Preceding states: {5} [45] Constant --> . 'STRING' Preceding states: {5} [46] Constant --> . 'BOOLEAN' Preceding states: {5} [47] Sort --> . 'TOP' Preceding states: {5} [48] Sort --> . 'BOTTOM' Preceding states: {5} [49] Sort --> . 'IDENTIFIER' Preceding states: {5} ----------------------------- With OsfExpression, go to state 79 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With SortExpression, go to state 12 With '(', go to state 13 With PsiTerm, go to state 14 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TAG', go to state 22 With UntaggedPsiTerm, go to state 23 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 6 ============================= [5] OsfV3Program --> Statements_opt . Preceding states: {0, 3} Lookahead set: {'$E_O_I$'} [7] Statements_opt --> Statements_opt . Statement Preceding states: {0, 3} Follow set: {'$E_O_I$', 'error', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} [8] Statement --> . StatementType EndOfStatement Preceding states: {6} [11] StatementType --> . Preceding states: {6} Lookahead set: {'EOS'} [12] StatementType --> . Pragma PragmaArguments_opt Preceding states: {6} [13] StatementType --> . SortDeclarationStatement Preceding states: {6} [14] StatementType --> . OsfExpression Preceding states: {6} [15] StatementType --> . 'error' Preceding states: {6} [16] SortDeclarationStatement --> . IsaDeclarationStatement Preceding states: {6} [17] IsaDeclarationStatement --> . SortSymbols 'ISA' SortSymbols Preceding states: {6} [18] SortSymbol --> . 'IDENTIFIER' Preceding states: {6} [19] SortSymbols --> . SortSymbol Preceding states: {6} [20] SortSymbols --> . SortSymbol ',' SortSymbols Preceding states: {6} [21] OsfExpression --> . PsiTerm Preceding states: {6} [22] PsiTerm --> . 'TAG' Preceding states: {6} [23] PsiTerm --> . UntaggedPsiTerm Preceding states: {6} [24] PsiTerm --> . 'TAG' ':' UntaggedPsiTerm Preceding states: {6} [25] UntaggedPsiTerm --> . SortExpression Body_opt Preceding states: {6} [34] SortExpression --> . Constant Preceding states: {6} [35] SortExpression --> . Sort Preceding states: {6} [36] SortExpression --> . '{' SortList '}' Preceding states: {6} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {6} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {6} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {6} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {6} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {6} [42] Constant --> . 'INTEGER' Preceding states: {6} [43] Constant --> . 'CHAR' Preceding states: {6} [44] Constant --> . 'FLOAT' Preceding states: {6} [45] Constant --> . 'STRING' Preceding states: {6} [46] Constant --> . 'BOOLEAN' Preceding states: {6} [47] Sort --> . 'TOP' Preceding states: {6} [48] Sort --> . 'BOTTOM' Preceding states: {6} [49] Sort --> . 'IDENTIFIER' Preceding states: {6} [52] Pragma --> . 'PRAGMA' Preceding states: {6} ----------------------------- With Statement, go to state 7 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With SortExpression, go to state 12 With '(', go to state 13 With PsiTerm, go to state 14 With SortSymbols, go to state 15 With SortSymbol, go to state 16 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TAG', go to state 22 With UntaggedPsiTerm, go to state 23 With StatementType, go to state 24 With Pragma, go to state 25 With SortDeclarationStatement, go to state 26 With OsfExpression, go to state 27 With 'error', go to state 28 With 'PRAGMA', go to state 29 With IsaDeclarationStatement, go to state 30 With 'IDENTIFIER', go to state 31 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 ============================= STATE NUMBER: 7 ============================= [7] Statements_opt --> Statements_opt Statement . Preceding states: {0, 3} Lookahead set: {'$E_O_I$', 'error', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} ----------------------------- ============================= STATE NUMBER: 8 ============================= [34] SortExpression --> Constant . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} ----------------------------- ============================= STATE NUMBER: 9 ============================= [35] SortExpression --> Sort . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} ----------------------------- ============================= STATE NUMBER: 10 ============================= [36] SortExpression --> '{' . SortList '}' Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Follow set: {'}'} [47] Sort --> . 'TOP' Preceding states: {10} [48] Sort --> . 'BOTTOM' Preceding states: {10} [49] Sort --> . 'IDENTIFIER' Preceding states: {10} [50] SortList --> . Sort Preceding states: {10} [51] SortList --> . Sort ';' SortList Preceding states: {10} ----------------------------- With SortList, go to state 74 With Sort, go to state 75 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 11 ============================= [34] SortExpression --> . Constant Preceding states: {11} [35] SortExpression --> . Sort Preceding states: {11} [36] SortExpression --> . '{' SortList '}' Preceding states: {11} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {11} [37] SortExpression --> 'NOT' . SortExpression Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Follow set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {11} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {11} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {11} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {11} [42] Constant --> . 'INTEGER' Preceding states: {11} [43] Constant --> . 'CHAR' Preceding states: {11} [44] Constant --> . 'FLOAT' Preceding states: {11} [45] Constant --> . 'STRING' Preceding states: {11} [46] Constant --> . 'BOOLEAN' Preceding states: {11} [47] Sort --> . 'TOP' Preceding states: {11} [48] Sort --> . 'BOTTOM' Preceding states: {11} [49] Sort --> . 'IDENTIFIER' Preceding states: {11} ----------------------------- With SortExpression, go to state 73 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With '(', go to state 13 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 12 ============================= [25] UntaggedPsiTerm --> SortExpression . Body_opt Preceding states: {5, 6, 51, 61, 68, 70} Follow set: {'$E_O_I$', 'EOS', ',', ')'} [26] Body_opt --> . Preceding states: {12} Lookahead set: {'$E_O_I$', 'EOS', ',', ')'} [27] Body_opt --> . '(' SubTerms ')' Preceding states: {12} [38] SortExpression --> SortExpression . 'AND' SortExpression Preceding states: {5, 6, 51, 61, 68, 70} [39] SortExpression --> SortExpression . 'OR' SortExpression Preceding states: {5, 6, 51, 61, 68, 70} [40] SortExpression --> SortExpression . 'BUTNOT' SortExpression Preceding states: {5, 6, 51, 61, 68, 70} ----------------------------- With Body_opt, go to state 60 With 'AND', go to state 41 With 'OR', go to state 42 With 'BUTNOT', go to state 43 With '(', go to state 61 ============================= STATE NUMBER: 13 ============================= [34] SortExpression --> . Constant Preceding states: {13} [35] SortExpression --> . Sort Preceding states: {13} [36] SortExpression --> . '{' SortList '}' Preceding states: {13} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {13} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {13} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {13} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {13} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {13} [41] SortExpression --> '(' . SortExpression ')' Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Follow set: {')'} [42] Constant --> . 'INTEGER' Preceding states: {13} [43] Constant --> . 'CHAR' Preceding states: {13} [44] Constant --> . 'FLOAT' Preceding states: {13} [45] Constant --> . 'STRING' Preceding states: {13} [46] Constant --> . 'BOOLEAN' Preceding states: {13} [47] Sort --> . 'TOP' Preceding states: {13} [48] Sort --> . 'BOTTOM' Preceding states: {13} [49] Sort --> . 'IDENTIFIER' Preceding states: {13} ----------------------------- With SortExpression, go to state 58 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With '(', go to state 13 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 14 ============================= [21] OsfExpression --> PsiTerm . Preceding states: {5, 6} Lookahead set: {'$E_O_I$', 'EOS'} ----------------------------- ============================= STATE NUMBER: 15 ============================= [17] IsaDeclarationStatement --> SortSymbols . 'ISA' SortSymbols Preceding states: {6} ----------------------------- With 'ISA', go to state 56 ============================= STATE NUMBER: 16 ============================= [19] SortSymbols --> SortSymbol . Preceding states: {6, 53, 56} Lookahead set: {'EOS', 'ISA'} [20] SortSymbols --> SortSymbol . ',' SortSymbols Preceding states: {6, 53, 56} ----------------------------- With ',', go to state 53 ============================= STATE NUMBER: 17 ============================= [42] Constant --> 'INTEGER' . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 68} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} ----------------------------- ============================= STATE NUMBER: 18 ============================= [43] Constant --> 'CHAR' . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} ----------------------------- ============================= STATE NUMBER: 19 ============================= [44] Constant --> 'FLOAT' . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} ----------------------------- ============================= STATE NUMBER: 20 ============================= [45] Constant --> 'STRING' . Preceding states: {4, 5, 6, 11, 13, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} ----------------------------- ============================= STATE NUMBER: 21 ============================= [46] Constant --> 'BOOLEAN' . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} ----------------------------- ============================= STATE NUMBER: 22 ============================= [22] PsiTerm --> 'TAG' . Preceding states: {5, 6, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', ',', ')'} [24] PsiTerm --> 'TAG' . ':' UntaggedPsiTerm Preceding states: {5, 6, 61, 68, 70} ----------------------------- With ':', go to state 51 ============================= STATE NUMBER: 23 ============================= [23] PsiTerm --> UntaggedPsiTerm . Preceding states: {5, 6, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', ',', ')'} ----------------------------- ============================= STATE NUMBER: 24 ============================= [8] Statement --> StatementType . EndOfStatement Preceding states: {6} Follow set: {'$E_O_I$', 'error', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} [9] $ACTION0$ --> . Preceding states: {24} Lookahead set: {'EOS'} [10] EndOfStatement --> . $ACTION0$ 'EOS' Preceding states: {24} ----------------------------- With EndOfStatement, go to state 48 With $ACTION0$, go to state 49 ============================= STATE NUMBER: 25 ============================= [12] StatementType --> Pragma . PragmaArguments_opt Preceding states: {6} Follow set: {'EOS'} [34] SortExpression --> . Constant Preceding states: {25} [35] SortExpression --> . Sort Preceding states: {25} [36] SortExpression --> . '{' SortList '}' Preceding states: {25} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {25} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {25} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {25} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {25} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {25} [42] Constant --> . 'INTEGER' Preceding states: {25} [43] Constant --> . 'CHAR' Preceding states: {25} [44] Constant --> . 'FLOAT' Preceding states: {25} [45] Constant --> . 'STRING' Preceding states: {25} [46] Constant --> . 'BOOLEAN' Preceding states: {25} [47] Sort --> . 'TOP' Preceding states: {25} [48] Sort --> . 'BOTTOM' Preceding states: {25} [49] Sort --> . 'IDENTIFIER' Preceding states: {25} [53] PragmaArguments_opt --> . Preceding states: {25} Lookahead set: {'EOS'} [54] PragmaArguments_opt --> . FileList Preceding states: {25} [55] PragmaArguments_opt --> . SortExpression Preceding states: {25} [56] PragmaArguments_opt --> . SortExpression SortExpression Preceding states: {25} [57] FileList --> . 'STRING' Preceding states: {25} [58] FileList --> . 'STRING' FileList Preceding states: {25} ----------------------------- With PragmaArguments_opt, go to state 34 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With SortExpression, go to state 35 With '(', go to state 13 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 36 With 'BOOLEAN', go to state 21 With FileList, go to state 37 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 26 ============================= [13] StatementType --> SortDeclarationStatement . Preceding states: {6} Lookahead set: {'EOS'} ----------------------------- ============================= STATE NUMBER: 27 ============================= [14] StatementType --> OsfExpression . Preceding states: {6} Lookahead set: {'EOS'} ----------------------------- ============================= STATE NUMBER: 28 ============================= [15] StatementType --> 'error' . Preceding states: {6} Lookahead set: {'EOS'} ----------------------------- ============================= STATE NUMBER: 29 ============================= [52] Pragma --> 'PRAGMA' . Preceding states: {6} Lookahead set: {'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} ----------------------------- ============================= STATE NUMBER: 30 ============================= [16] SortDeclarationStatement --> IsaDeclarationStatement . Preceding states: {6} Lookahead set: {'EOS'} ----------------------------- ============================= STATE NUMBER: 31 ============================= [18] SortSymbol --> 'IDENTIFIER' . Preceding states: {6} Lookahead set: {'ISA', ','} [49] Sort --> 'IDENTIFIER' . Preceding states: {6} Lookahead set: {'EOS', 'BUTNOT', 'OR', 'AND', '('} ----------------------------- ============================= STATE NUMBER: 32 ============================= [47] Sort --> 'TOP' . Preceding states: {4, 5, 6, 10, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70, 76} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{', '}', ';'} ----------------------------- ============================= STATE NUMBER: 33 ============================= [48] Sort --> 'BOTTOM' . Preceding states: {4, 5, 6, 10, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70, 76} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{', '}', ';'} ----------------------------- ============================= STATE NUMBER: 34 ============================= [12] StatementType --> Pragma PragmaArguments_opt . Preceding states: {6} Lookahead set: {'EOS'} ----------------------------- ============================= STATE NUMBER: 35 ============================= [34] SortExpression --> . Constant Preceding states: {35} [35] SortExpression --> . Sort Preceding states: {35} [36] SortExpression --> . '{' SortList '}' Preceding states: {35} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {35} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {35} [38] SortExpression --> SortExpression . 'AND' SortExpression Preceding states: {25} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {35} [39] SortExpression --> SortExpression . 'OR' SortExpression Preceding states: {25} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {35} [40] SortExpression --> SortExpression . 'BUTNOT' SortExpression Preceding states: {25} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {35} [42] Constant --> . 'INTEGER' Preceding states: {35} [43] Constant --> . 'CHAR' Preceding states: {35} [44] Constant --> . 'FLOAT' Preceding states: {35} [45] Constant --> . 'STRING' Preceding states: {35} [46] Constant --> . 'BOOLEAN' Preceding states: {35} [47] Sort --> . 'TOP' Preceding states: {35} [48] Sort --> . 'BOTTOM' Preceding states: {35} [49] Sort --> . 'IDENTIFIER' Preceding states: {35} [55] PragmaArguments_opt --> SortExpression . Preceding states: {25} Lookahead set: {'EOS'} [56] PragmaArguments_opt --> SortExpression . SortExpression Preceding states: {25} Follow set: {'EOS'} ----------------------------- With 'AND', go to state 41 With 'OR', go to state 42 With 'BUTNOT', go to state 43 With SortExpression, go to state 44 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With '(', go to state 13 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 36 ============================= This state has conflicts: Unresolved R/R conflict: choosing R45 over R57, on input 'EOS' Resolved E/S conflict: choosing E over S40, on input 'STRING' ----------------------------- [45] Constant --> 'STRING' . Preceding states: {25} Lookahead set: {'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', '(', '{'} [57] FileList --> . 'STRING' Preceding states: {36} [57] FileList --> 'STRING' . Preceding states: {25} Lookahead set: {'EOS'} [58] FileList --> . 'STRING' FileList Preceding states: {36} [58] FileList --> 'STRING' . FileList Preceding states: {25} Follow set: {'EOS'} ----------------------------- With FileList, go to state 39 With 'STRING', go to state 40 ============================= STATE NUMBER: 37 ============================= [54] PragmaArguments_opt --> FileList . Preceding states: {25} Lookahead set: {'EOS'} ----------------------------- ============================= STATE NUMBER: 38 ============================= [49] Sort --> 'IDENTIFIER' . Preceding states: {4, 5, 10, 11, 13, 25, 35, 41, 42, 43, 51, 68, 76} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{', '}', ';'} ----------------------------- ============================= STATE NUMBER: 39 ============================= [58] FileList --> 'STRING' FileList . Preceding states: {25, 36, 40} Lookahead set: {'EOS'} ----------------------------- ============================= STATE NUMBER: 40 ============================= [57] FileList --> . 'STRING' Preceding states: {40} [57] FileList --> 'STRING' . Preceding states: {36, 40} Lookahead set: {'EOS'} [58] FileList --> . 'STRING' FileList Preceding states: {40} [58] FileList --> 'STRING' . FileList Preceding states: {36, 40} Follow set: {'EOS'} ----------------------------- With FileList, go to state 39 With 'STRING', go to state 40 ============================= STATE NUMBER: 41 ============================= [34] SortExpression --> . Constant Preceding states: {41} [35] SortExpression --> . Sort Preceding states: {41} [36] SortExpression --> . '{' SortList '}' Preceding states: {41} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {41} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {41} [38] SortExpression --> SortExpression 'AND' . SortExpression Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Follow set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {41} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {41} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {41} [42] Constant --> . 'INTEGER' Preceding states: {41} [43] Constant --> . 'CHAR' Preceding states: {41} [44] Constant --> . 'FLOAT' Preceding states: {41} [45] Constant --> . 'STRING' Preceding states: {41} [46] Constant --> . 'BOOLEAN' Preceding states: {41} [47] Sort --> . 'TOP' Preceding states: {41} [48] Sort --> . 'BOTTOM' Preceding states: {41} [49] Sort --> . 'IDENTIFIER' Preceding states: {41} ----------------------------- With SortExpression, go to state 47 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With '(', go to state 13 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 42 ============================= [34] SortExpression --> . Constant Preceding states: {42} [35] SortExpression --> . Sort Preceding states: {42} [36] SortExpression --> . '{' SortList '}' Preceding states: {42} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {42} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {42} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {42} [39] SortExpression --> SortExpression 'OR' . SortExpression Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Follow set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {42} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {42} [42] Constant --> . 'INTEGER' Preceding states: {42} [43] Constant --> . 'CHAR' Preceding states: {42} [44] Constant --> . 'FLOAT' Preceding states: {42} [45] Constant --> . 'STRING' Preceding states: {42} [46] Constant --> . 'BOOLEAN' Preceding states: {42} [47] Sort --> . 'TOP' Preceding states: {42} [48] Sort --> . 'BOTTOM' Preceding states: {42} [49] Sort --> . 'IDENTIFIER' Preceding states: {42} ----------------------------- With SortExpression, go to state 46 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With '(', go to state 13 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 43 ============================= [34] SortExpression --> . Constant Preceding states: {43} [35] SortExpression --> . Sort Preceding states: {43} [36] SortExpression --> . '{' SortList '}' Preceding states: {43} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {43} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {43} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {43} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {43} [40] SortExpression --> SortExpression 'BUTNOT' . SortExpression Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Follow set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {43} [42] Constant --> . 'INTEGER' Preceding states: {43} [43] Constant --> . 'CHAR' Preceding states: {43} [44] Constant --> . 'FLOAT' Preceding states: {43} [45] Constant --> . 'STRING' Preceding states: {43} [46] Constant --> . 'BOOLEAN' Preceding states: {43} [47] Sort --> . 'TOP' Preceding states: {43} [48] Sort --> . 'BOTTOM' Preceding states: {43} [49] Sort --> . 'IDENTIFIER' Preceding states: {43} ----------------------------- With SortExpression, go to state 45 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With '(', go to state 13 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 44 ============================= [38] SortExpression --> SortExpression . 'AND' SortExpression Preceding states: {35} [39] SortExpression --> SortExpression . 'OR' SortExpression Preceding states: {35} [40] SortExpression --> SortExpression . 'BUTNOT' SortExpression Preceding states: {35} [56] PragmaArguments_opt --> SortExpression SortExpression . Preceding states: {25} Lookahead set: {'EOS'} ----------------------------- With 'AND', go to state 41 With 'OR', go to state 42 With 'BUTNOT', go to state 43 ============================= STATE NUMBER: 45 ============================= This state has conflicts: Resolved S/R conflict: choosing S43 over R40, on input 'BUTNOT' Resolved S/R conflict: choosing S42 over R40, on input 'OR' Resolved S/R conflict: choosing S41 over R40, on input 'AND' ----------------------------- [38] SortExpression --> SortExpression . 'AND' SortExpression Preceding states: {43} [39] SortExpression --> SortExpression . 'OR' SortExpression Preceding states: {43} [40] SortExpression --> SortExpression . 'BUTNOT' SortExpression Preceding states: {43} [40] SortExpression --> SortExpression 'BUTNOT' SortExpression . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} ----------------------------- With 'AND', go to state 41 With 'OR', go to state 42 With 'BUTNOT', go to state 43 ============================= STATE NUMBER: 46 ============================= This state has conflicts: Resolved R/S conflict: choosing R39 over S42, on input 'OR' Resolved S/R conflict: choosing S41 over R39, on input 'AND' Resolved R/S conflict: choosing R39 over S43, on input 'BUTNOT' ----------------------------- [38] SortExpression --> SortExpression . 'AND' SortExpression Preceding states: {42} [39] SortExpression --> SortExpression . 'OR' SortExpression Preceding states: {42} [39] SortExpression --> SortExpression 'OR' SortExpression . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} [40] SortExpression --> SortExpression . 'BUTNOT' SortExpression Preceding states: {42} ----------------------------- With 'AND', go to state 41 With 'OR', go to state 42 With 'BUTNOT', go to state 43 ============================= STATE NUMBER: 47 ============================= This state has conflicts: Resolved R/S conflict: choosing R38 over S41, on input 'AND' Resolved R/S conflict: choosing R38 over S42, on input 'OR' Resolved R/S conflict: choosing R38 over S43, on input 'BUTNOT' ----------------------------- [38] SortExpression --> SortExpression . 'AND' SortExpression Preceding states: {41} [38] SortExpression --> SortExpression 'AND' SortExpression . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} [39] SortExpression --> SortExpression . 'OR' SortExpression Preceding states: {41} [40] SortExpression --> SortExpression . 'BUTNOT' SortExpression Preceding states: {41} ----------------------------- With 'AND', go to state 41 With 'OR', go to state 42 With 'BUTNOT', go to state 43 ============================= STATE NUMBER: 48 ============================= [8] Statement --> StatementType EndOfStatement . Preceding states: {6} Lookahead set: {'$E_O_I$', 'error', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} ----------------------------- ============================= STATE NUMBER: 49 ============================= [10] EndOfStatement --> $ACTION0$ . 'EOS' Preceding states: {24} ----------------------------- With 'EOS', go to state 50 ============================= STATE NUMBER: 50 ============================= [10] EndOfStatement --> $ACTION0$ 'EOS' . Preceding states: {24} Lookahead set: {'$E_O_I$', 'error', 'EOS', 'IDENTIFIER', 'PRAGMA', 'STRING', 'TOP', 'BOTTOM', 'TAG', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'NOT', '(', '{'} ----------------------------- ============================= STATE NUMBER: 51 ============================= [24] PsiTerm --> 'TAG' ':' . UntaggedPsiTerm Preceding states: {5, 6, 61, 68, 70} Follow set: {'$E_O_I$', 'EOS', ',', ')'} [25] UntaggedPsiTerm --> . SortExpression Body_opt Preceding states: {51} [34] SortExpression --> . Constant Preceding states: {51} [35] SortExpression --> . Sort Preceding states: {51} [36] SortExpression --> . '{' SortList '}' Preceding states: {51} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {51} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {51} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {51} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {51} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {51} [42] Constant --> . 'INTEGER' Preceding states: {51} [43] Constant --> . 'CHAR' Preceding states: {51} [44] Constant --> . 'FLOAT' Preceding states: {51} [45] Constant --> . 'STRING' Preceding states: {51} [46] Constant --> . 'BOOLEAN' Preceding states: {51} [47] Sort --> . 'TOP' Preceding states: {51} [48] Sort --> . 'BOTTOM' Preceding states: {51} [49] Sort --> . 'IDENTIFIER' Preceding states: {51} ----------------------------- With UntaggedPsiTerm, go to state 52 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With SortExpression, go to state 12 With '(', go to state 13 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 52 ============================= [24] PsiTerm --> 'TAG' ':' UntaggedPsiTerm . Preceding states: {5, 6, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', ',', ')'} ----------------------------- ============================= STATE NUMBER: 53 ============================= [18] SortSymbol --> . 'IDENTIFIER' Preceding states: {53} [19] SortSymbols --> . SortSymbol Preceding states: {53} [20] SortSymbols --> . SortSymbol ',' SortSymbols Preceding states: {53} [20] SortSymbols --> SortSymbol ',' . SortSymbols Preceding states: {6, 53, 56} Follow set: {'EOS', 'ISA'} ----------------------------- With SortSymbols, go to state 54 With SortSymbol, go to state 16 With 'IDENTIFIER', go to state 55 ============================= STATE NUMBER: 54 ============================= [20] SortSymbols --> SortSymbol ',' SortSymbols . Preceding states: {6, 53, 56} Lookahead set: {'EOS', 'ISA'} ----------------------------- ============================= STATE NUMBER: 55 ============================= [18] SortSymbol --> 'IDENTIFIER' . Preceding states: {53, 56} Lookahead set: {'EOS', 'ISA', ','} ----------------------------- ============================= STATE NUMBER: 56 ============================= [17] IsaDeclarationStatement --> SortSymbols 'ISA' . SortSymbols Preceding states: {6} Follow set: {'EOS'} [18] SortSymbol --> . 'IDENTIFIER' Preceding states: {56} [19] SortSymbols --> . SortSymbol Preceding states: {56} [20] SortSymbols --> . SortSymbol ',' SortSymbols Preceding states: {56} ----------------------------- With SortSymbols, go to state 57 With SortSymbol, go to state 16 With 'IDENTIFIER', go to state 55 ============================= STATE NUMBER: 57 ============================= [17] IsaDeclarationStatement --> SortSymbols 'ISA' SortSymbols . Preceding states: {6} Lookahead set: {'EOS'} ----------------------------- ============================= STATE NUMBER: 58 ============================= [38] SortExpression --> SortExpression . 'AND' SortExpression Preceding states: {13} [39] SortExpression --> SortExpression . 'OR' SortExpression Preceding states: {13} [40] SortExpression --> SortExpression . 'BUTNOT' SortExpression Preceding states: {13} [41] SortExpression --> '(' SortExpression . ')' Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} ----------------------------- With 'AND', go to state 41 With 'OR', go to state 42 With 'BUTNOT', go to state 43 With ')', go to state 59 ============================= STATE NUMBER: 59 ============================= [41] SortExpression --> '(' SortExpression ')' . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} ----------------------------- ============================= STATE NUMBER: 60 ============================= [25] UntaggedPsiTerm --> SortExpression Body_opt . Preceding states: {5, 6, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', ',', ')'} ----------------------------- ============================= STATE NUMBER: 61 ============================= [22] PsiTerm --> . 'TAG' Preceding states: {61} [23] PsiTerm --> . UntaggedPsiTerm Preceding states: {61} [24] PsiTerm --> . 'TAG' ':' UntaggedPsiTerm Preceding states: {61} [25] UntaggedPsiTerm --> . SortExpression Body_opt Preceding states: {61} [27] Body_opt --> '(' . SubTerms ')' Preceding states: {12} Follow set: {')'} [28] SubTerms --> . SubTerm Preceding states: {61} [29] SubTerms --> . SubTerm ',' SubTerms Preceding states: {61} [30] SubTerm --> . PsiTerm Preceding states: {61} [31] SubTerm --> . Feature 'ARROW' PsiTerm Preceding states: {61} [32] Feature --> . 'INTEGER' Preceding states: {61} [33] Feature --> . 'IDENTIFIER' Preceding states: {61} [34] SortExpression --> . Constant Preceding states: {61} [35] SortExpression --> . Sort Preceding states: {61} [36] SortExpression --> . '{' SortList '}' Preceding states: {61} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {61} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {61} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {61} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {61} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {61} [42] Constant --> . 'INTEGER' Preceding states: {61} [43] Constant --> . 'CHAR' Preceding states: {61} [44] Constant --> . 'FLOAT' Preceding states: {61} [45] Constant --> . 'STRING' Preceding states: {61} [46] Constant --> . 'BOOLEAN' Preceding states: {61} [47] Sort --> . 'TOP' Preceding states: {61} [48] Sort --> . 'BOTTOM' Preceding states: {61} [49] Sort --> . 'IDENTIFIER' Preceding states: {61} ----------------------------- With SubTerms, go to state 62 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With SortExpression, go to state 12 With '(', go to state 13 With 'INTEGER', go to state 63 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TAG', go to state 22 With UntaggedPsiTerm, go to state 23 With SubTerm, go to state 64 With PsiTerm, go to state 65 With Feature, go to state 66 With 'IDENTIFIER', go to state 67 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 ============================= STATE NUMBER: 62 ============================= [27] Body_opt --> '(' SubTerms . ')' Preceding states: {12} ----------------------------- With ')', go to state 72 ============================= STATE NUMBER: 63 ============================= [32] Feature --> 'INTEGER' . Preceding states: {61, 70} Lookahead set: {'ARROW'} [42] Constant --> 'INTEGER' . Preceding states: {61, 70} Lookahead set: {'BUTNOT', 'OR', 'AND', ',', '(', ')'} ----------------------------- ============================= STATE NUMBER: 64 ============================= [28] SubTerms --> SubTerm . Preceding states: {61, 70} Lookahead set: {')'} [29] SubTerms --> SubTerm . ',' SubTerms Preceding states: {61, 70} ----------------------------- With ',', go to state 70 ============================= STATE NUMBER: 65 ============================= [30] SubTerm --> PsiTerm . Preceding states: {61, 70} Lookahead set: {',', ')'} ----------------------------- ============================= STATE NUMBER: 66 ============================= [31] SubTerm --> Feature . 'ARROW' PsiTerm Preceding states: {61, 70} ----------------------------- With 'ARROW', go to state 68 ============================= STATE NUMBER: 67 ============================= [33] Feature --> 'IDENTIFIER' . Preceding states: {61, 70} Lookahead set: {'ARROW'} [49] Sort --> 'IDENTIFIER' . Preceding states: {61, 70} Lookahead set: {'BUTNOT', 'OR', 'AND', ',', '(', ')'} ----------------------------- ============================= STATE NUMBER: 68 ============================= [22] PsiTerm --> . 'TAG' Preceding states: {68} [23] PsiTerm --> . UntaggedPsiTerm Preceding states: {68} [24] PsiTerm --> . 'TAG' ':' UntaggedPsiTerm Preceding states: {68} [25] UntaggedPsiTerm --> . SortExpression Body_opt Preceding states: {68} [31] SubTerm --> Feature 'ARROW' . PsiTerm Preceding states: {61, 70} Follow set: {',', ')'} [34] SortExpression --> . Constant Preceding states: {68} [35] SortExpression --> . Sort Preceding states: {68} [36] SortExpression --> . '{' SortList '}' Preceding states: {68} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {68} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {68} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {68} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {68} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {68} [42] Constant --> . 'INTEGER' Preceding states: {68} [43] Constant --> . 'CHAR' Preceding states: {68} [44] Constant --> . 'FLOAT' Preceding states: {68} [45] Constant --> . 'STRING' Preceding states: {68} [46] Constant --> . 'BOOLEAN' Preceding states: {68} [47] Sort --> . 'TOP' Preceding states: {68} [48] Sort --> . 'BOTTOM' Preceding states: {68} [49] Sort --> . 'IDENTIFIER' Preceding states: {68} ----------------------------- With PsiTerm, go to state 69 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With SortExpression, go to state 12 With '(', go to state 13 With 'INTEGER', go to state 17 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TAG', go to state 22 With UntaggedPsiTerm, go to state 23 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 69 ============================= [31] SubTerm --> Feature 'ARROW' PsiTerm . Preceding states: {61, 70} Lookahead set: {',', ')'} ----------------------------- ============================= STATE NUMBER: 70 ============================= [22] PsiTerm --> . 'TAG' Preceding states: {70} [23] PsiTerm --> . UntaggedPsiTerm Preceding states: {70} [24] PsiTerm --> . 'TAG' ':' UntaggedPsiTerm Preceding states: {70} [25] UntaggedPsiTerm --> . SortExpression Body_opt Preceding states: {70} [28] SubTerms --> . SubTerm Preceding states: {70} [29] SubTerms --> . SubTerm ',' SubTerms Preceding states: {70} [29] SubTerms --> SubTerm ',' . SubTerms Preceding states: {61, 70} Follow set: {')'} [30] SubTerm --> . PsiTerm Preceding states: {70} [31] SubTerm --> . Feature 'ARROW' PsiTerm Preceding states: {70} [32] Feature --> . 'INTEGER' Preceding states: {70} [33] Feature --> . 'IDENTIFIER' Preceding states: {70} [34] SortExpression --> . Constant Preceding states: {70} [35] SortExpression --> . Sort Preceding states: {70} [36] SortExpression --> . '{' SortList '}' Preceding states: {70} [37] SortExpression --> . 'NOT' SortExpression Preceding states: {70} [38] SortExpression --> . SortExpression 'AND' SortExpression Preceding states: {70} [39] SortExpression --> . SortExpression 'OR' SortExpression Preceding states: {70} [40] SortExpression --> . SortExpression 'BUTNOT' SortExpression Preceding states: {70} [41] SortExpression --> . '(' SortExpression ')' Preceding states: {70} [42] Constant --> . 'INTEGER' Preceding states: {70} [43] Constant --> . 'CHAR' Preceding states: {70} [44] Constant --> . 'FLOAT' Preceding states: {70} [45] Constant --> . 'STRING' Preceding states: {70} [46] Constant --> . 'BOOLEAN' Preceding states: {70} [47] Sort --> . 'TOP' Preceding states: {70} [48] Sort --> . 'BOTTOM' Preceding states: {70} [49] Sort --> . 'IDENTIFIER' Preceding states: {70} ----------------------------- With SubTerms, go to state 71 With Constant, go to state 8 With Sort, go to state 9 With '{', go to state 10 With 'NOT', go to state 11 With SortExpression, go to state 12 With '(', go to state 13 With 'INTEGER', go to state 63 With 'CHAR', go to state 18 With 'FLOAT', go to state 19 With 'STRING', go to state 20 With 'BOOLEAN', go to state 21 With 'TAG', go to state 22 With UntaggedPsiTerm, go to state 23 With SubTerm, go to state 64 With PsiTerm, go to state 65 With Feature, go to state 66 With 'IDENTIFIER', go to state 67 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 ============================= STATE NUMBER: 71 ============================= [29] SubTerms --> SubTerm ',' SubTerms . Preceding states: {61, 70} Lookahead set: {')'} ----------------------------- ============================= STATE NUMBER: 72 ============================= [27] Body_opt --> '(' SubTerms ')' . Preceding states: {12} Lookahead set: {'$E_O_I$', 'EOS', ',', ')'} ----------------------------- ============================= STATE NUMBER: 73 ============================= This state has conflicts: Resolved R/S conflict: choosing R37 over S41, on input 'AND' Resolved R/S conflict: choosing R37 over S42, on input 'OR' Resolved R/S conflict: choosing R37 over S43, on input 'BUTNOT' ----------------------------- [37] SortExpression --> 'NOT' SortExpression . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} [38] SortExpression --> SortExpression . 'AND' SortExpression Preceding states: {11} [39] SortExpression --> SortExpression . 'OR' SortExpression Preceding states: {11} [40] SortExpression --> SortExpression . 'BUTNOT' SortExpression Preceding states: {11} ----------------------------- With 'AND', go to state 41 With 'OR', go to state 42 With 'BUTNOT', go to state 43 ============================= STATE NUMBER: 74 ============================= [36] SortExpression --> '{' SortList . '}' Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} ----------------------------- With '}', go to state 78 ============================= STATE NUMBER: 75 ============================= [50] SortList --> Sort . Preceding states: {10, 76} Lookahead set: {'}'} [51] SortList --> Sort . ';' SortList Preceding states: {10, 76} ----------------------------- With ';', go to state 76 ============================= STATE NUMBER: 76 ============================= [47] Sort --> . 'TOP' Preceding states: {76} [48] Sort --> . 'BOTTOM' Preceding states: {76} [49] Sort --> . 'IDENTIFIER' Preceding states: {76} [50] SortList --> . Sort Preceding states: {76} [51] SortList --> . Sort ';' SortList Preceding states: {76} [51] SortList --> Sort ';' . SortList Preceding states: {10, 76} Follow set: {'}'} ----------------------------- With SortList, go to state 77 With Sort, go to state 75 With 'TOP', go to state 32 With 'BOTTOM', go to state 33 With 'IDENTIFIER', go to state 38 ============================= STATE NUMBER: 77 ============================= [51] SortList --> Sort ';' SortList . Preceding states: {10, 76} Lookahead set: {'}'} ----------------------------- ============================= STATE NUMBER: 78 ============================= [36] SortExpression --> '{' SortList '}' . Preceding states: {4, 5, 6, 11, 13, 25, 35, 41, 42, 43, 51, 61, 68, 70} Lookahead set: {'$E_O_I$', 'EOS', 'IDENTIFIER', 'STRING', 'TOP', 'BOTTOM', 'INTEGER', 'CHAR', 'FLOAT', 'BOOLEAN', 'BUTNOT', 'OR', 'AND', 'NOT', ',', '(', ')', '{'} ----------------------------- ============================= STATE NUMBER: 79 ============================= [4] $ROOTS$ --> '$OsfExpression_switch$' OsfExpression . Preceding states: {0} Lookahead set: {'$E_O_I$'} ----------------------------- ============================= STATE NUMBER: 80 ============================= [3] $ROOTS$ --> '$SortExpression_switch$' SortExpression . Preceding states: {0} Lookahead set: {'$E_O_I$'} [38] SortExpression --> SortExpression . 'AND' SortExpression Preceding states: {4} [39] SortExpression --> SortExpression . 'OR' SortExpression Preceding states: {4} [40] SortExpression --> SortExpression . 'BUTNOT' SortExpression Preceding states: {4} ----------------------------- With 'AND', go to state 41 With 'OR', go to state 42 With 'BUTNOT', go to state 43 ============================= STATE NUMBER: 81 ============================= [2] $ROOTS$ --> '$OsfV3Program_switch$' OsfV3Program . Preceding states: {0} Lookahead set: {'$E_O_I$'} ----------------------------- !!! WARNING: unresolved conflicts: 1 reduce/reduce *** Compressing parsing tables ... *** 10 rows eliminated in action table *** 58 rows eliminated in goto table *** Table compression completed in 67 ms ACTION TABLE: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ [0] R6 R6 S3 S4 S5 R6 R6 R6 R6 R6 R6 R6 R6 R6 R6 R6 - - - - - R6 - - R6 - R6 - - [1] A - - - - - - - - - - - - - - - - - - - - - - - - - - - - [2] R1 - - - - - - - - - - - - - - - - - - - - - - - - - - - - [3] R6 R6 - - - R6 R6 R6 R6 R6 R6 R6 R6 R6 R6 R6 - - - - - R6 - - R6 - R6 - - [4] - - - - - - S38 - S20 S32 S33 - S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [5] - - - - - - S38 - S20 S32 S33 S22 S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [6] R5 S28 - - - R11 S31 S29 S20 S32 S33 S22 S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [7] R7 R7 - - - R7 R7 R7 R7 R7 R7 R7 R7 R7 R7 R7 - - - - - R7 - - R7 - R7 - - [8] R34 - - - - R34 R34 - R34 R34 R34 - R34 R34 R34 R34 - - R34 R34 R34 R34 R34 - R34 R34 R34 - - [9] R35 - - - - R35 R35 - R35 R35 R35 - R35 R35 R35 R35 - - R35 R35 R35 R35 R35 - R35 R35 R35 - - [10] - - - - - - S38 - - S32 S33 - - - - - - - - - - - - - - - - - - [11] - - - - - - S38 - S20 S32 S33 - S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [12] R26 - - - - R26 - - - - - - - - - - - - S43 S42 S41 - R26 - S61 R26 - - - [13] - - - - - - S38 - S20 S32 S33 - S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [14] R21 - - - - R21 - - - - - - - - - - - - - - - - - - - - - - - [15] - - - - - - - - - - - - - - - - - S56 - - - - - - - - - - - [16] - - - - - R19 - - - - - - - - - - - R19 - - - - S53 - - - - - - [17] R42 - - - - R42 R42 - R42 R42 R42 - R42 R42 R42 R42 - - R42 R42 R42 R42 R42 - R42 R42 R42 - - [18] R43 - - - - R43 R43 - R43 R43 R43 - R43 R43 R43 R43 - - R43 R43 R43 R43 R43 - R43 R43 R43 - - [19] R44 - - - - R44 R44 - R44 R44 R44 - R44 R44 R44 R44 - - R44 R44 R44 R44 R44 - R44 R44 R44 - - [20] R45 - - - - R45 R45 - R45 R45 R45 - R45 R45 R45 R45 - - R45 R45 R45 R45 R45 - R45 R45 R45 - - [21] R46 - - - - R46 R46 - R46 R46 R46 - R46 R46 R46 R46 - - R46 R46 R46 R46 R46 - R46 R46 R46 - - [22] R22 - - - - R22 - - - - - - - - - - - - - - - - R22 S51 - R22 - - - [23] R23 - - - - R23 - - - - - - - - - - - - - - - - R23 - - R23 - - - [24] - - - - - R9 - - - - - - - - - - - - - - - - - - - - - - - [25] - - - - - R53 S38 - S36 S32 S33 - S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [26] - - - - - R13 - - - - - - - - - - - - - - - - - - - - - - - [27] - - - - - R14 - - - - - - - - - - - - - - - - - - - - - - - [28] - - - - - R15 - - - - - - - - - - - - - - - - - - - - - - - [29] - - - - - R52 R52 - R52 R52 R52 - R52 R52 R52 R52 - - - - - R52 - - R52 - R52 - - [30] - - - - - R16 - - - - - - - - - - - - - - - - - - - - - - - [31] - - - - - R49 - - - - - - - - - - - R18 R49 R49 R49 - R18 - R49 - - - - [32] R47 - - - - R47 R47 - R47 R47 R47 - R47 R47 R47 R47 - - R47 R47 R47 R47 R47 - R47 R47 R47 R47 R47 [33] R48 - - - - R48 R48 - R48 R48 R48 - R48 R48 R48 R48 - - R48 R48 R48 R48 R48 - R48 R48 R48 R48 R48 [34] - - - - - R12 - - - - - - - - - - - - - - - - - - - - - - - [35] - - - - - R55 S38 - S20 S32 S33 - S17 S18 S19 S21 - - S43 S42 S41 S11 - - S13 - S10 - - [36] - - - - - R45 R45 - R45 R45 R45 - R45 R45 R45 R45 - - R45 R45 R45 R45 - - R45 - R45 - - [37] - - - - - R54 - - - - - - - - - - - - - - - - - - - - - - - [38] R49 - - - - R49 R49 - R49 R49 R49 - R49 R49 R49 R49 - - R49 R49 R49 R49 R49 - R49 R49 R49 R49 R49 [39] - - - - - R58 - - - - - - - - - - - - - - - - - - - - - - - [40] - - - - - R57 - - S40 - - - - - - - - - - - - - - - - - - - - [41] - - - - - - S38 - S20 S32 S33 - S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [42] - - - - - - S38 - S20 S32 S33 - S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [43] - - - - - - S38 - S20 S32 S33 - S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [44] - - - - - R56 - - - - - - - - - - - - S43 S42 S41 - - - - - - - - [45] R40 - - - - R40 R40 - R40 R40 R40 - R40 R40 R40 R40 - - S43 S42 S41 R40 R40 - R40 R40 R40 - - [46] R39 - - - - R39 R39 - R39 R39 R39 - R39 R39 R39 R39 - - R39 R39 S41 R39 R39 - R39 R39 R39 - - [47] R38 - - - - R38 R38 - R38 R38 R38 - R38 R38 R38 R38 - - R38 R38 R38 R38 R38 - R38 R38 R38 - - [48] R8 R8 - - - R8 R8 R8 R8 R8 R8 R8 R8 R8 R8 R8 - - - - - R8 - - R8 - R8 - - [49] - - - - - S50 - - - - - - - - - - - - - - - - - - - - - - - [50] R10 R10 - - - R10 R10 R10 R10 R10 R10 R10 R10 R10 R10 R10 - - - - - R10 - - R10 - R10 - - [51] - - - - - - S38 - S20 S32 S33 - S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [52] R24 - - - - R24 - - - - - - - - - - - - - - - - R24 - - R24 - - - [53] - - - - - - S55 - - - - - - - - - - - - - - - - - - - - - - [54] - - - - - R20 - - - - - - - - - - - R20 - - - - - - - - - - - [55] - - - - - R18 - - - - - - - - - - - R18 - - - - R18 - - - - - - [56] - - - - - - S55 - - - - - - - - - - - - - - - - - - - - - - [57] - - - - - R17 - - - - - - - - - - - - - - - - - - - - - - - [58] - - - - - - - - - - - - - - - - - - S43 S42 S41 - - - - S59 - - - [59] R41 - - - - R41 R41 - R41 R41 R41 - R41 R41 R41 R41 - - R41 R41 R41 R41 R41 - R41 R41 R41 - - [60] R25 - - - - R25 - - - - - - - - - - - - - - - - R25 - - R25 - - - [61] - - - - - - S67 - S20 S32 S33 S22 S63 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [62] - - - - - - - - - - - - - - - - - - - - - - - - - S72 - - - [63] - - - - - - - - - - - - - - - - R32 - R42 R42 R42 - R42 - R42 R42 - - - [64] - - - - - - - - - - - - - - - - - - - - - - S70 - - R28 - - - [65] - - - - - - - - - - - - - - - - - - - - - - R30 - - R30 - - - [66] - - - - - - - - - - - - - - - - S68 - - - - - - - - - - - - [67] - - - - - - - - - - - - - - - - R33 - R49 R49 R49 - R49 - R49 R49 - - - [68] - - - - - - S38 - S20 S32 S33 S22 S17 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [69] - - - - - - - - - - - - - - - - - - - - - - R31 - - R31 - - - [70] - - - - - - S67 - S20 S32 S33 S22 S63 S18 S19 S21 - - - - - S11 - - S13 - S10 - - [71] - - - - - - - - - - - - - - - - - - - - - - - - - R29 - - - [72] R27 - - - - R27 - - - - - - - - - - - - - - - - R27 - - R27 - - - [73] R37 - - - - R37 R37 - R37 R37 R37 - R37 R37 R37 R37 - - R37 R37 R37 R37 R37 - R37 R37 R37 - - [74] - - - - - - - - - - - - - - - - - - - - - - - - - - - S78 - [75] - - - - - - - - - - - - - - - - - - - - - - - - - - - R50 S76 [76] - - - - - - S38 - - S32 S33 - - - - - - - - - - - - - - - - - - [77] - - - - - - - - - - - - - - - - - - - - - - - - - - - R51 - [78] R36 - - - - R36 R36 - R36 R36 R36 - R36 R36 R36 R36 - - R36 R36 R36 R36 R36 - R36 R36 R36 - - [79] R4 - - - - - - - - - - - - - - - - - - - - - - - - - - - - [80] R3 - - - - - - - - - - - - - - - - - S43 S42 S41 - - - - - - - - [81] R2 - - - - - - - - - - - - - - - - - - - - - - - - - - - - GOTO TABLE: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] ______________________________________________________________________________________________________________________________________________________________________________________ [0] 1 2 - - - - - - - - - - - - - - 6 - - - - - - - - [1] - - - - - - - - - - - - - - - - - - - - - - - - - [2] - - - - - - - - - - - - - - - - - - - - - - - - - [3] - 81 - - - - - - - - - - - - - - 6 - - - - - - - - [4] - - 80 - - - 8 - - - - - - - - - - - - - - - - - 9 [5] - - 12 79 - - 8 - 14 23 - - - - - - - - - - - - - - 9 [6] - - 12 27 30 15 8 - 14 23 - - - - - - - 7 24 - - 25 26 16 9 [7] - - - - - - - - - - - - - - - - - - - - - - - - - [8] - - - - - - - - - - - - - - - - - - - - - - - - - [9] - - - - - - - - - - - - - - - - - - - - - - - - - [10] - - - - - - - 74 - - - - - - - - - - - - - - - - 75 [11] - - 73 - - - 8 - - - - - - - - - - - - - - - - - 9 [12] - - - - - - - - - - 60 - - - - - - - - - - - - - - [13] - - 58 - - - 8 - - - - - - - - - - - - - - - - - 9 [14] - - - - - - - - - - - - - - - - - - - - - - - - - [15] - - - - - - - - - - - - - - - - - - - - - - - - - [16] - - - - - - - - - - - - - - - - - - - - - - - - - [17] - - - - - - - - - - - - - - - - - - - - - - - - - [18] - - - - - - - - - - - - - - - - - - - - - - - - - [19] - - - - - - - - - - - - - - - - - - - - - - - - - [20] - - - - - - - - - - - - - - - - - - - - - - - - - [21] - - - - - - - - - - - - - - - - - - - - - - - - - [22] - - - - - - - - - - - - - - - - - - - - - - - - - [23] - - - - - - - - - - - - - - - - - - - - - - - - - [24] - - - - - - - - - - - - - - - - - - - 48 49 - - - - [25] - - 35 - - - 8 - - - - - - - 34 37 - - - - - - - - 9 [26] - - - - - - - - - - - - - - - - - - - - - - - - - [27] - - - - - - - - - - - - - - - - - - - - - - - - - [28] - - - - - - - - - - - - - - - - - - - - - - - - - [29] - - - - - - - - - - - - - - - - - - - - - - - - - [30] - - - - - - - - - - - - - - - - - - - - - - - - - [31] - - - - - - - - - - - - - - - - - - - - - - - - - [32] - - - - - - - - - - - - - - - - - - - - - - - - - [33] - - - - - - - - - - - - - - - - - - - - - - - - - [34] - - - - - - - - - - - - - - - - - - - - - - - - - [35] - - 44 - - - 8 - - - - - - - - - - - - - - - - - 9 [36] - - - - - - - - - - - - - - - 39 - - - - - - - - - [37] - - - - - - - - - - - - - - - - - - - - - - - - - [38] - - - - - - - - - - - - - - - - - - - - - - - - - [39] - - - - - - - - - - - - - - - - - - - - - - - - - [40] - - - - - - - - - - - - - - - 39 - - - - - - - - - [41] - - 47 - - - 8 - - - - - - - - - - - - - - - - - 9 [42] - - 46 - - - 8 - - - - - - - - - - - - - - - - - 9 [43] - - 45 - - - 8 - - - - - - - - - - - - - - - - - 9 [44] - - - - - - - - - - - - - - - - - - - - - - - - - [45] - - - - - - - - - - - - - - - - - - - - - - - - - [46] - - - - - - - - - - - - - - - - - - - - - - - - - [47] - - - - - - - - - - - - - - - - - - - - - - - - - [48] - - - - - - - - - - - - - - - - - - - - - - - - - [49] - - - - - - - - - - - - - - - - - - - - - - - - - [50] - - - - - - - - - - - - - - - - - - - - - - - - - [51] - - 12 - - - 8 - - 52 - - - - - - - - - - - - - - 9 [52] - - - - - - - - - - - - - - - - - - - - - - - - - [53] - - - - - 54 - - - - - - - - - - - - - - - - - 16 - [54] - - - - - - - - - - - - - - - - - - - - - - - - - [55] - - - - - - - - - - - - - - - - - - - - - - - - - [56] - - - - - 57 - - - - - - - - - - - - - - - - - 16 - [57] - - - - - - - - - - - - - - - - - - - - - - - - - [58] - - - - - - - - - - - - - - - - - - - - - - - - - [59] - - - - - - - - - - - - - - - - - - - - - - - - - [60] - - - - - - - - - - - - - - - - - - - - - - - - - [61] - - 12 - - - 8 - 65 23 - 62 64 66 - - - - - - - - - - 9 [62] - - - - - - - - - - - - - - - - - - - - - - - - - [63] - - - - - - - - - - - - - - - - - - - - - - - - - [64] - - - - - - - - - - - - - - - - - - - - - - - - - [65] - - - - - - - - - - - - - - - - - - - - - - - - - [66] - - - - - - - - - - - - - - - - - - - - - - - - - [67] - - - - - - - - - - - - - - - - - - - - - - - - - [68] - - 12 - - - 8 - 69 23 - - - - - - - - - - - - - - 9 [69] - - - - - - - - - - - - - - - - - - - - - - - - - [70] - - 12 - - - 8 - 65 23 - 71 64 66 - - - - - - - - - - 9 [71] - - - - - - - - - - - - - - - - - - - - - - - - - [72] - - - - - - - - - - - - - - - - - - - - - - - - - [73] - - - - - - - - - - - - - - - - - - - - - - - - - [74] - - - - - - - - - - - - - - - - - - - - - - - - - [75] - - - - - - - - - - - - - - - - - - - - - - - - - [76] - - - - - - - 77 - - - - - - - - - - - - - - - - 75 [77] - - - - - - - - - - - - - - - - - - - - - - - - - [78] - - - - - - - - - - - - - - - - - - - - - - - - - [79] - - - - - - - - - - - - - - - - - - - - - - - - - [80] - - - - - - - - - - - - - - - - - - - - - - - - - [81] - - - - - - - - - - - - - - - - - - - - - - - - - *** Writing parser file ./sources/OsfV3Parser.java *** Parser generation completed in 1745 ms. *** Total processing time: 2194 ms. *** Make classes: *** Compiling java files... Note: .\sources\OsfV3Parser.java uses unchecked or unsafe operations. Note: Recompile with -Xlint:unchecked for details. *** Wrote class files in ./classes/ (hak) 134>