From cab0263c81f4b3d598849f9cd1f9b38ca1b9a85f Mon Sep 17 00:00:00 2001 From: Daniel Date: Tue, 2 Apr 2024 23:17:15 +0300 Subject: [PATCH] Winx! Now with interfaces and packages --- src/grammars/Winx.g4 | 67 +- src/main/java/org/lumijiez/Main.java | 2 +- src/main/java/org/lumijiez/parser/Winx.interp | 19 +- src/main/java/org/lumijiez/parser/Winx.tokens | 45 +- .../org/lumijiez/parser/WinxBaseListener.java | 36 +- .../org/lumijiez/parser/WinxBaseVisitor.java | 19 +- .../java/org/lumijiez/parser/WinxLexer.interp | 9 +- .../java/org/lumijiez/parser/WinxLexer.java | 404 ++++---- .../java/org/lumijiez/parser/WinxLexer.tokens | 45 +- .../org/lumijiez/parser/WinxListener.java | 58 +- .../java/org/lumijiez/parser/WinxParser.java | 902 +++++++++--------- .../java/org/lumijiez/parser/WinxVisitor.java | 30 +- src/main/resources/TestProgram.txt | 4 +- 13 files changed, 778 insertions(+), 862 deletions(-) diff --git a/src/grammars/Winx.g4 b/src/grammars/Winx.g4 index 19d40f2..7a75336 100644 --- a/src/grammars/Winx.g4 +++ b/src/grammars/Winx.g4 @@ -3,78 +3,51 @@ grammar Winx; // Lexer rules ID : [a-zA-Z]+ ; STRING : '"' ~'"'* '"' ; -DESCRIPTION : '~' ~[~]*? '~' ; +NEWLINE : [\r\n]+ -> skip; +COMMENT : ('~' ~[~]*? '~') | ('//' ~[\r\n]* NEWLINE) ; WS : [ \t\r\n]+ -> skip ; INT : [0-9]+ ; FLOAT : [0-9]+ '.' [0-9]* | '.' [0-9]+ ; // Parser rules -winx : (package | DESCRIPTION)+; +winx : (package | COMMENT)+; -body : ( - interface - | specification - | DESCRIPTION - )+ ; +body : (interface | specification| COMMENT)+ ; // Hierarchies package : 'package' ID '{' body '}' ; -interface : importance? - access_modifiers? - 'interface' - ID '{' interface_body '}' ; +interface : importance? access_modifiers? 'interface' ID '{' spec_body '}' ; -specification : 'specification' - ID ('implements' ID)* - '{' specification_body '}' ; +specification : 'specification' ID ('implements' ID)? '{' spec_body '}' ; -interface_body : (requirementSpec | functionSpec)+ ; +spec_body : (requirement_spec | function_spec)+ ; -specification_body : (requirementSpec | functionSpec)+ ; // Non-functional Requirements -requirementSpec : description? - importance? - ID '{' - req_specification* - result_specification* - '}' ; +requirement_spec : comment? importance? ID '{' req_specification* result_specification* '}' ; -req_specification : importance? '@' ID (logical_op ID)* ';' ; +req_specification : comment? importance? '@' ID (logical_op ID)* ';' ; -result_specification : 'result' importance? ID ';' ; +result_specification : comment? 'result' importance? ID ';' ; logical_op : 'AND' | 'OR' ; // Functional Requirements -functionSpec : description? - importance? - access_modifiers? - ID'(' input_types? ')' - ('implements' ID)* - functionBody - ; +function_spec : comment? importance? access_modifiers? ID'(' input_types? ')' ('implements' ID)? function_body; -functionBody : '{' - specificationEntry* - return_types - '}' - ; +function_body : '{' specification_entry* return_types '}'; -input_types : variable (',' variable)* ; +input_types : variable (',' variable)* ; -return_types : 'return' variable (',' variable)* ';' ; +return_types : 'return' variable (',' variable)* ';' ; -specificationEntry : '@' ID ':' - STRING - ';' - ; +specification_entry : comment? '@' ID ':'STRING';'; // General Rules @@ -89,17 +62,17 @@ type : 'INT' | 'BOOLEAN' | 'CHAR' | 'VOID' - ; + | STRING; access_modifiers : 'public' | 'protected' | 'private' - | 'default' - ; + | 'default'; -description : DESCRIPTION; +comment : COMMENT; -// Symballs + +// Symbols LPAREN : '(' ; RPAREN : ')' ; COLON : ':' ; diff --git a/src/main/java/org/lumijiez/Main.java b/src/main/java/org/lumijiez/Main.java index 4b327c7..17718cf 100644 --- a/src/main/java/org/lumijiez/Main.java +++ b/src/main/java/org/lumijiez/Main.java @@ -31,7 +31,7 @@ public class Main { static class SoftwareReqParseTree extends WinxBaseListener { @Override public void enterWinx(WinxParser.WinxContext ctx) { - System.out.println("Parsed: " + ctx.getText()); + System.out.println("Parsed! \n\n" + ctx.getText()); } } } \ No newline at end of file diff --git a/src/main/java/org/lumijiez/parser/Winx.interp b/src/main/java/org/lumijiez/parser/Winx.interp index 028d943..44bedaf 100644 --- a/src/main/java/org/lumijiez/parser/Winx.interp +++ b/src/main/java/org/lumijiez/parser/Winx.interp @@ -29,6 +29,7 @@ null null null null +null '(' ')' ':' @@ -66,7 +67,8 @@ null null ID STRING -DESCRIPTION +NEWLINE +COMMENT WS INT FLOAT @@ -86,23 +88,22 @@ body package interface specification -interface_body -specification_body -requirementSpec +spec_body +requirement_spec req_specification result_specification logical_op -functionSpec -functionBody +function_spec +function_body input_types return_types -specificationEntry +specification_entry variable importance type access_modifiers -description +comment atn: -[4, 1, 38, 218, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12, 2, 13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 2, 17, 7, 17, 2, 18, 7, 18, 2, 19, 7, 19, 2, 20, 7, 20, 1, 0, 1, 0, 4, 0, 45, 8, 0, 11, 0, 12, 0, 46, 1, 1, 1, 1, 1, 1, 4, 1, 52, 8, 1, 11, 1, 12, 1, 53, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 3, 3, 3, 63, 8, 3, 1, 3, 3, 3, 66, 8, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 4, 1, 4, 1, 4, 1, 4, 5, 4, 78, 8, 4, 10, 4, 12, 4, 81, 9, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 5, 1, 5, 4, 5, 89, 8, 5, 11, 5, 12, 5, 90, 1, 6, 1, 6, 4, 6, 95, 8, 6, 11, 6, 12, 6, 96, 1, 7, 3, 7, 100, 8, 7, 1, 7, 3, 7, 103, 8, 7, 1, 7, 1, 7, 1, 7, 5, 7, 108, 8, 7, 10, 7, 12, 7, 111, 9, 7, 1, 7, 5, 7, 114, 8, 7, 10, 7, 12, 7, 117, 9, 7, 1, 7, 1, 7, 1, 8, 3, 8, 122, 8, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 5, 8, 129, 8, 8, 10, 8, 12, 8, 132, 9, 8, 1, 8, 1, 8, 1, 9, 1, 9, 3, 9, 138, 8, 9, 1, 9, 1, 9, 1, 9, 1, 10, 1, 10, 1, 11, 3, 11, 146, 8, 11, 1, 11, 3, 11, 149, 8, 11, 1, 11, 3, 11, 152, 8, 11, 1, 11, 1, 11, 1, 11, 3, 11, 157, 8, 11, 1, 11, 1, 11, 1, 11, 5, 11, 162, 8, 11, 10, 11, 12, 11, 165, 9, 11, 1, 11, 1, 11, 1, 12, 1, 12, 5, 12, 171, 8, 12, 10, 12, 12, 12, 174, 9, 12, 1, 12, 1, 12, 1, 12, 1, 13, 1, 13, 1, 13, 5, 13, 182, 8, 13, 10, 13, 12, 13, 185, 9, 13, 1, 14, 1, 14, 1, 14, 1, 14, 5, 14, 191, 8, 14, 10, 14, 12, 14, 194, 9, 14, 1, 14, 1, 14, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 16, 1, 16, 3, 16, 206, 8, 16, 1, 16, 1, 16, 1, 17, 1, 17, 1, 18, 1, 18, 1, 19, 1, 19, 1, 20, 1, 20, 1, 20, 0, 0, 21, 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 0, 4, 1, 0, 7, 8, 1, 0, 11, 12, 1, 0, 13, 19, 1, 0, 20, 23, 224, 0, 44, 1, 0, 0, 0, 2, 51, 1, 0, 0, 0, 4, 55, 1, 0, 0, 0, 6, 62, 1, 0, 0, 0, 8, 73, 1, 0, 0, 0, 10, 88, 1, 0, 0, 0, 12, 94, 1, 0, 0, 0, 14, 99, 1, 0, 0, 0, 16, 121, 1, 0, 0, 0, 18, 135, 1, 0, 0, 0, 20, 142, 1, 0, 0, 0, 22, 145, 1, 0, 0, 0, 24, 168, 1, 0, 0, 0, 26, 178, 1, 0, 0, 0, 28, 186, 1, 0, 0, 0, 30, 197, 1, 0, 0, 0, 32, 203, 1, 0, 0, 0, 34, 209, 1, 0, 0, 0, 36, 211, 1, 0, 0, 0, 38, 213, 1, 0, 0, 0, 40, 215, 1, 0, 0, 0, 42, 45, 3, 4, 2, 0, 43, 45, 5, 26, 0, 0, 44, 42, 1, 0, 0, 0, 44, 43, 1, 0, 0, 0, 45, 46, 1, 0, 0, 0, 46, 44, 1, 0, 0, 0, 46, 47, 1, 0, 0, 0, 47, 1, 1, 0, 0, 0, 48, 52, 3, 6, 3, 0, 49, 52, 3, 8, 4, 0, 50, 52, 5, 26, 0, 0, 51, 48, 1, 0, 0, 0, 51, 49, 1, 0, 0, 0, 51, 50, 1, 0, 0, 0, 52, 53, 1, 0, 0, 0, 53, 51, 1, 0, 0, 0, 53, 54, 1, 0, 0, 0, 54, 3, 1, 0, 0, 0, 55, 56, 5, 1, 0, 0, 56, 57, 5, 24, 0, 0, 57, 58, 5, 35, 0, 0, 58, 59, 3, 2, 1, 0, 59, 60, 5, 36, 0, 0, 60, 5, 1, 0, 0, 0, 61, 63, 3, 34, 17, 0, 62, 61, 1, 0, 0, 0, 62, 63, 1, 0, 0, 0, 63, 65, 1, 0, 0, 0, 64, 66, 3, 38, 19, 0, 65, 64, 1, 0, 0, 0, 65, 66, 1, 0, 0, 0, 66, 67, 1, 0, 0, 0, 67, 68, 5, 2, 0, 0, 68, 69, 5, 24, 0, 0, 69, 70, 5, 35, 0, 0, 70, 71, 3, 10, 5, 0, 71, 72, 5, 36, 0, 0, 72, 7, 1, 0, 0, 0, 73, 74, 5, 3, 0, 0, 74, 79, 5, 24, 0, 0, 75, 76, 5, 4, 0, 0, 76, 78, 5, 24, 0, 0, 77, 75, 1, 0, 0, 0, 78, 81, 1, 0, 0, 0, 79, 77, 1, 0, 0, 0, 79, 80, 1, 0, 0, 0, 80, 82, 1, 0, 0, 0, 81, 79, 1, 0, 0, 0, 82, 83, 5, 35, 0, 0, 83, 84, 3, 12, 6, 0, 84, 85, 5, 36, 0, 0, 85, 9, 1, 0, 0, 0, 86, 89, 3, 14, 7, 0, 87, 89, 3, 22, 11, 0, 88, 86, 1, 0, 0, 0, 88, 87, 1, 0, 0, 0, 89, 90, 1, 0, 0, 0, 90, 88, 1, 0, 0, 0, 90, 91, 1, 0, 0, 0, 91, 11, 1, 0, 0, 0, 92, 95, 3, 14, 7, 0, 93, 95, 3, 22, 11, 0, 94, 92, 1, 0, 0, 0, 94, 93, 1, 0, 0, 0, 95, 96, 1, 0, 0, 0, 96, 94, 1, 0, 0, 0, 96, 97, 1, 0, 0, 0, 97, 13, 1, 0, 0, 0, 98, 100, 3, 40, 20, 0, 99, 98, 1, 0, 0, 0, 99, 100, 1, 0, 0, 0, 100, 102, 1, 0, 0, 0, 101, 103, 3, 34, 17, 0, 102, 101, 1, 0, 0, 0, 102, 103, 1, 0, 0, 0, 103, 104, 1, 0, 0, 0, 104, 105, 5, 24, 0, 0, 105, 109, 5, 35, 0, 0, 106, 108, 3, 16, 8, 0, 107, 106, 1, 0, 0, 0, 108, 111, 1, 0, 0, 0, 109, 107, 1, 0, 0, 0, 109, 110, 1, 0, 0, 0, 110, 115, 1, 0, 0, 0, 111, 109, 1, 0, 0, 0, 112, 114, 3, 18, 9, 0, 113, 112, 1, 0, 0, 0, 114, 117, 1, 0, 0, 0, 115, 113, 1, 0, 0, 0, 115, 116, 1, 0, 0, 0, 116, 118, 1, 0, 0, 0, 117, 115, 1, 0, 0, 0, 118, 119, 5, 36, 0, 0, 119, 15, 1, 0, 0, 0, 120, 122, 3, 34, 17, 0, 121, 120, 1, 0, 0, 0, 121, 122, 1, 0, 0, 0, 122, 123, 1, 0, 0, 0, 123, 124, 5, 5, 0, 0, 124, 130, 5, 24, 0, 0, 125, 126, 3, 20, 10, 0, 126, 127, 5, 24, 0, 0, 127, 129, 1, 0, 0, 0, 128, 125, 1, 0, 0, 0, 129, 132, 1, 0, 0, 0, 130, 128, 1, 0, 0, 0, 130, 131, 1, 0, 0, 0, 131, 133, 1, 0, 0, 0, 132, 130, 1, 0, 0, 0, 133, 134, 5, 33, 0, 0, 134, 17, 1, 0, 0, 0, 135, 137, 5, 6, 0, 0, 136, 138, 3, 34, 17, 0, 137, 136, 1, 0, 0, 0, 137, 138, 1, 0, 0, 0, 138, 139, 1, 0, 0, 0, 139, 140, 5, 24, 0, 0, 140, 141, 5, 33, 0, 0, 141, 19, 1, 0, 0, 0, 142, 143, 7, 0, 0, 0, 143, 21, 1, 0, 0, 0, 144, 146, 3, 40, 20, 0, 145, 144, 1, 0, 0, 0, 145, 146, 1, 0, 0, 0, 146, 148, 1, 0, 0, 0, 147, 149, 3, 34, 17, 0, 148, 147, 1, 0, 0, 0, 148, 149, 1, 0, 0, 0, 149, 151, 1, 0, 0, 0, 150, 152, 3, 38, 19, 0, 151, 150, 1, 0, 0, 0, 151, 152, 1, 0, 0, 0, 152, 153, 1, 0, 0, 0, 153, 154, 5, 24, 0, 0, 154, 156, 5, 30, 0, 0, 155, 157, 3, 26, 13, 0, 156, 155, 1, 0, 0, 0, 156, 157, 1, 0, 0, 0, 157, 158, 1, 0, 0, 0, 158, 163, 5, 31, 0, 0, 159, 160, 5, 4, 0, 0, 160, 162, 5, 24, 0, 0, 161, 159, 1, 0, 0, 0, 162, 165, 1, 0, 0, 0, 163, 161, 1, 0, 0, 0, 163, 164, 1, 0, 0, 0, 164, 166, 1, 0, 0, 0, 165, 163, 1, 0, 0, 0, 166, 167, 3, 24, 12, 0, 167, 23, 1, 0, 0, 0, 168, 172, 5, 35, 0, 0, 169, 171, 3, 30, 15, 0, 170, 169, 1, 0, 0, 0, 171, 174, 1, 0, 0, 0, 172, 170, 1, 0, 0, 0, 172, 173, 1, 0, 0, 0, 173, 175, 1, 0, 0, 0, 174, 172, 1, 0, 0, 0, 175, 176, 3, 28, 14, 0, 176, 177, 5, 36, 0, 0, 177, 25, 1, 0, 0, 0, 178, 183, 3, 32, 16, 0, 179, 180, 5, 34, 0, 0, 180, 182, 3, 32, 16, 0, 181, 179, 1, 0, 0, 0, 182, 185, 1, 0, 0, 0, 183, 181, 1, 0, 0, 0, 183, 184, 1, 0, 0, 0, 184, 27, 1, 0, 0, 0, 185, 183, 1, 0, 0, 0, 186, 187, 5, 9, 0, 0, 187, 192, 3, 32, 16, 0, 188, 189, 5, 34, 0, 0, 189, 191, 3, 32, 16, 0, 190, 188, 1, 0, 0, 0, 191, 194, 1, 0, 0, 0, 192, 190, 1, 0, 0, 0, 192, 193, 1, 0, 0, 0, 193, 195, 1, 0, 0, 0, 194, 192, 1, 0, 0, 0, 195, 196, 5, 33, 0, 0, 196, 29, 1, 0, 0, 0, 197, 198, 5, 5, 0, 0, 198, 199, 5, 24, 0, 0, 199, 200, 5, 32, 0, 0, 200, 201, 5, 25, 0, 0, 201, 202, 5, 33, 0, 0, 202, 31, 1, 0, 0, 0, 203, 205, 3, 36, 18, 0, 204, 206, 5, 10, 0, 0, 205, 204, 1, 0, 0, 0, 205, 206, 1, 0, 0, 0, 206, 207, 1, 0, 0, 0, 207, 208, 5, 24, 0, 0, 208, 33, 1, 0, 0, 0, 209, 210, 7, 1, 0, 0, 210, 35, 1, 0, 0, 0, 211, 212, 7, 2, 0, 0, 212, 37, 1, 0, 0, 0, 213, 214, 7, 3, 0, 0, 214, 39, 1, 0, 0, 0, 215, 216, 5, 26, 0, 0, 216, 41, 1, 0, 0, 0, 27, 44, 46, 51, 53, 62, 65, 79, 88, 90, 94, 96, 99, 102, 109, 115, 121, 130, 137, 145, 148, 151, 156, 163, 172, 183, 192, 205] \ No newline at end of file +[4, 1, 39, 213, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12, 2, 13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 2, 17, 7, 17, 2, 18, 7, 18, 2, 19, 7, 19, 1, 0, 1, 0, 4, 0, 43, 8, 0, 11, 0, 12, 0, 44, 1, 1, 1, 1, 1, 1, 4, 1, 50, 8, 1, 11, 1, 12, 1, 51, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 3, 3, 3, 61, 8, 3, 1, 3, 3, 3, 64, 8, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 4, 1, 4, 1, 4, 1, 4, 3, 4, 76, 8, 4, 1, 4, 1, 4, 1, 4, 1, 4, 1, 5, 1, 5, 4, 5, 84, 8, 5, 11, 5, 12, 5, 85, 1, 6, 3, 6, 89, 8, 6, 1, 6, 3, 6, 92, 8, 6, 1, 6, 1, 6, 1, 6, 5, 6, 97, 8, 6, 10, 6, 12, 6, 100, 9, 6, 1, 6, 5, 6, 103, 8, 6, 10, 6, 12, 6, 106, 9, 6, 1, 6, 1, 6, 1, 7, 3, 7, 111, 8, 7, 1, 7, 3, 7, 114, 8, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 5, 7, 121, 8, 7, 10, 7, 12, 7, 124, 9, 7, 1, 7, 1, 7, 1, 8, 3, 8, 129, 8, 8, 1, 8, 1, 8, 3, 8, 133, 8, 8, 1, 8, 1, 8, 1, 8, 1, 9, 1, 9, 1, 10, 3, 10, 141, 8, 10, 1, 10, 3, 10, 144, 8, 10, 1, 10, 3, 10, 147, 8, 10, 1, 10, 1, 10, 1, 10, 3, 10, 152, 8, 10, 1, 10, 1, 10, 1, 10, 3, 10, 157, 8, 10, 1, 10, 1, 10, 1, 11, 1, 11, 5, 11, 163, 8, 11, 10, 11, 12, 11, 166, 9, 11, 1, 11, 1, 11, 1, 11, 1, 12, 1, 12, 1, 12, 5, 12, 174, 8, 12, 10, 12, 12, 12, 177, 9, 12, 1, 13, 1, 13, 1, 13, 1, 13, 5, 13, 183, 8, 13, 10, 13, 12, 13, 186, 9, 13, 1, 13, 1, 13, 1, 14, 3, 14, 191, 8, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 15, 1, 15, 3, 15, 201, 8, 15, 1, 15, 1, 15, 1, 16, 1, 16, 1, 17, 1, 17, 1, 18, 1, 18, 1, 19, 1, 19, 1, 19, 0, 0, 20, 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 0, 4, 1, 0, 7, 8, 1, 0, 11, 12, 2, 0, 13, 19, 25, 25, 1, 0, 20, 23, 221, 0, 42, 1, 0, 0, 0, 2, 49, 1, 0, 0, 0, 4, 53, 1, 0, 0, 0, 6, 60, 1, 0, 0, 0, 8, 71, 1, 0, 0, 0, 10, 83, 1, 0, 0, 0, 12, 88, 1, 0, 0, 0, 14, 110, 1, 0, 0, 0, 16, 128, 1, 0, 0, 0, 18, 137, 1, 0, 0, 0, 20, 140, 1, 0, 0, 0, 22, 160, 1, 0, 0, 0, 24, 170, 1, 0, 0, 0, 26, 178, 1, 0, 0, 0, 28, 190, 1, 0, 0, 0, 30, 198, 1, 0, 0, 0, 32, 204, 1, 0, 0, 0, 34, 206, 1, 0, 0, 0, 36, 208, 1, 0, 0, 0, 38, 210, 1, 0, 0, 0, 40, 43, 3, 4, 2, 0, 41, 43, 5, 27, 0, 0, 42, 40, 1, 0, 0, 0, 42, 41, 1, 0, 0, 0, 43, 44, 1, 0, 0, 0, 44, 42, 1, 0, 0, 0, 44, 45, 1, 0, 0, 0, 45, 1, 1, 0, 0, 0, 46, 50, 3, 6, 3, 0, 47, 50, 3, 8, 4, 0, 48, 50, 5, 27, 0, 0, 49, 46, 1, 0, 0, 0, 49, 47, 1, 0, 0, 0, 49, 48, 1, 0, 0, 0, 50, 51, 1, 0, 0, 0, 51, 49, 1, 0, 0, 0, 51, 52, 1, 0, 0, 0, 52, 3, 1, 0, 0, 0, 53, 54, 5, 1, 0, 0, 54, 55, 5, 24, 0, 0, 55, 56, 5, 36, 0, 0, 56, 57, 3, 2, 1, 0, 57, 58, 5, 37, 0, 0, 58, 5, 1, 0, 0, 0, 59, 61, 3, 32, 16, 0, 60, 59, 1, 0, 0, 0, 60, 61, 1, 0, 0, 0, 61, 63, 1, 0, 0, 0, 62, 64, 3, 36, 18, 0, 63, 62, 1, 0, 0, 0, 63, 64, 1, 0, 0, 0, 64, 65, 1, 0, 0, 0, 65, 66, 5, 2, 0, 0, 66, 67, 5, 24, 0, 0, 67, 68, 5, 36, 0, 0, 68, 69, 3, 10, 5, 0, 69, 70, 5, 37, 0, 0, 70, 7, 1, 0, 0, 0, 71, 72, 5, 3, 0, 0, 72, 75, 5, 24, 0, 0, 73, 74, 5, 4, 0, 0, 74, 76, 5, 24, 0, 0, 75, 73, 1, 0, 0, 0, 75, 76, 1, 0, 0, 0, 76, 77, 1, 0, 0, 0, 77, 78, 5, 36, 0, 0, 78, 79, 3, 10, 5, 0, 79, 80, 5, 37, 0, 0, 80, 9, 1, 0, 0, 0, 81, 84, 3, 12, 6, 0, 82, 84, 3, 20, 10, 0, 83, 81, 1, 0, 0, 0, 83, 82, 1, 0, 0, 0, 84, 85, 1, 0, 0, 0, 85, 83, 1, 0, 0, 0, 85, 86, 1, 0, 0, 0, 86, 11, 1, 0, 0, 0, 87, 89, 3, 38, 19, 0, 88, 87, 1, 0, 0, 0, 88, 89, 1, 0, 0, 0, 89, 91, 1, 0, 0, 0, 90, 92, 3, 32, 16, 0, 91, 90, 1, 0, 0, 0, 91, 92, 1, 0, 0, 0, 92, 93, 1, 0, 0, 0, 93, 94, 5, 24, 0, 0, 94, 98, 5, 36, 0, 0, 95, 97, 3, 14, 7, 0, 96, 95, 1, 0, 0, 0, 97, 100, 1, 0, 0, 0, 98, 96, 1, 0, 0, 0, 98, 99, 1, 0, 0, 0, 99, 104, 1, 0, 0, 0, 100, 98, 1, 0, 0, 0, 101, 103, 3, 16, 8, 0, 102, 101, 1, 0, 0, 0, 103, 106, 1, 0, 0, 0, 104, 102, 1, 0, 0, 0, 104, 105, 1, 0, 0, 0, 105, 107, 1, 0, 0, 0, 106, 104, 1, 0, 0, 0, 107, 108, 5, 37, 0, 0, 108, 13, 1, 0, 0, 0, 109, 111, 3, 38, 19, 0, 110, 109, 1, 0, 0, 0, 110, 111, 1, 0, 0, 0, 111, 113, 1, 0, 0, 0, 112, 114, 3, 32, 16, 0, 113, 112, 1, 0, 0, 0, 113, 114, 1, 0, 0, 0, 114, 115, 1, 0, 0, 0, 115, 116, 5, 5, 0, 0, 116, 122, 5, 24, 0, 0, 117, 118, 3, 18, 9, 0, 118, 119, 5, 24, 0, 0, 119, 121, 1, 0, 0, 0, 120, 117, 1, 0, 0, 0, 121, 124, 1, 0, 0, 0, 122, 120, 1, 0, 0, 0, 122, 123, 1, 0, 0, 0, 123, 125, 1, 0, 0, 0, 124, 122, 1, 0, 0, 0, 125, 126, 5, 34, 0, 0, 126, 15, 1, 0, 0, 0, 127, 129, 3, 38, 19, 0, 128, 127, 1, 0, 0, 0, 128, 129, 1, 0, 0, 0, 129, 130, 1, 0, 0, 0, 130, 132, 5, 6, 0, 0, 131, 133, 3, 32, 16, 0, 132, 131, 1, 0, 0, 0, 132, 133, 1, 0, 0, 0, 133, 134, 1, 0, 0, 0, 134, 135, 5, 24, 0, 0, 135, 136, 5, 34, 0, 0, 136, 17, 1, 0, 0, 0, 137, 138, 7, 0, 0, 0, 138, 19, 1, 0, 0, 0, 139, 141, 3, 38, 19, 0, 140, 139, 1, 0, 0, 0, 140, 141, 1, 0, 0, 0, 141, 143, 1, 0, 0, 0, 142, 144, 3, 32, 16, 0, 143, 142, 1, 0, 0, 0, 143, 144, 1, 0, 0, 0, 144, 146, 1, 0, 0, 0, 145, 147, 3, 36, 18, 0, 146, 145, 1, 0, 0, 0, 146, 147, 1, 0, 0, 0, 147, 148, 1, 0, 0, 0, 148, 149, 5, 24, 0, 0, 149, 151, 5, 31, 0, 0, 150, 152, 3, 24, 12, 0, 151, 150, 1, 0, 0, 0, 151, 152, 1, 0, 0, 0, 152, 153, 1, 0, 0, 0, 153, 156, 5, 32, 0, 0, 154, 155, 5, 4, 0, 0, 155, 157, 5, 24, 0, 0, 156, 154, 1, 0, 0, 0, 156, 157, 1, 0, 0, 0, 157, 158, 1, 0, 0, 0, 158, 159, 3, 22, 11, 0, 159, 21, 1, 0, 0, 0, 160, 164, 5, 36, 0, 0, 161, 163, 3, 28, 14, 0, 162, 161, 1, 0, 0, 0, 163, 166, 1, 0, 0, 0, 164, 162, 1, 0, 0, 0, 164, 165, 1, 0, 0, 0, 165, 167, 1, 0, 0, 0, 166, 164, 1, 0, 0, 0, 167, 168, 3, 26, 13, 0, 168, 169, 5, 37, 0, 0, 169, 23, 1, 0, 0, 0, 170, 175, 3, 30, 15, 0, 171, 172, 5, 35, 0, 0, 172, 174, 3, 30, 15, 0, 173, 171, 1, 0, 0, 0, 174, 177, 1, 0, 0, 0, 175, 173, 1, 0, 0, 0, 175, 176, 1, 0, 0, 0, 176, 25, 1, 0, 0, 0, 177, 175, 1, 0, 0, 0, 178, 179, 5, 9, 0, 0, 179, 184, 3, 30, 15, 0, 180, 181, 5, 35, 0, 0, 181, 183, 3, 30, 15, 0, 182, 180, 1, 0, 0, 0, 183, 186, 1, 0, 0, 0, 184, 182, 1, 0, 0, 0, 184, 185, 1, 0, 0, 0, 185, 187, 1, 0, 0, 0, 186, 184, 1, 0, 0, 0, 187, 188, 5, 34, 0, 0, 188, 27, 1, 0, 0, 0, 189, 191, 3, 38, 19, 0, 190, 189, 1, 0, 0, 0, 190, 191, 1, 0, 0, 0, 191, 192, 1, 0, 0, 0, 192, 193, 5, 5, 0, 0, 193, 194, 5, 24, 0, 0, 194, 195, 5, 33, 0, 0, 195, 196, 5, 25, 0, 0, 196, 197, 5, 34, 0, 0, 197, 29, 1, 0, 0, 0, 198, 200, 3, 34, 17, 0, 199, 201, 5, 10, 0, 0, 200, 199, 1, 0, 0, 0, 200, 201, 1, 0, 0, 0, 201, 202, 1, 0, 0, 0, 202, 203, 5, 24, 0, 0, 203, 31, 1, 0, 0, 0, 204, 205, 7, 1, 0, 0, 205, 33, 1, 0, 0, 0, 206, 207, 7, 2, 0, 0, 207, 35, 1, 0, 0, 0, 208, 209, 7, 3, 0, 0, 209, 37, 1, 0, 0, 0, 210, 211, 5, 27, 0, 0, 211, 39, 1, 0, 0, 0, 28, 42, 44, 49, 51, 60, 63, 75, 83, 85, 88, 91, 98, 104, 110, 113, 122, 128, 132, 140, 143, 146, 151, 156, 164, 175, 184, 190, 200] \ No newline at end of file diff --git a/src/main/java/org/lumijiez/parser/Winx.tokens b/src/main/java/org/lumijiez/parser/Winx.tokens index 217c3c6..811296c 100644 --- a/src/main/java/org/lumijiez/parser/Winx.tokens +++ b/src/main/java/org/lumijiez/parser/Winx.tokens @@ -23,19 +23,20 @@ T__21=22 T__22=23 ID=24 STRING=25 -DESCRIPTION=26 -WS=27 -INT=28 -FLOAT=29 -LPAREN=30 -RPAREN=31 -COLON=32 -SEMICOLON=33 -COMMA=34 -LBRACE=35 -RBRACE=36 -TILDE=37 -EXCLAM=38 +NEWLINE=26 +COMMENT=27 +WS=28 +INT=29 +FLOAT=30 +LPAREN=31 +RPAREN=32 +COLON=33 +SEMICOLON=34 +COMMA=35 +LBRACE=36 +RBRACE=37 +TILDE=38 +EXCLAM=39 'package'=1 'interface'=2 'specification'=3 @@ -59,12 +60,12 @@ EXCLAM=38 'protected'=21 'private'=22 'default'=23 -'('=30 -')'=31 -':'=32 -';'=33 -','=34 -'{'=35 -'}'=36 -'~'=37 -'!'=38 +'('=31 +')'=32 +':'=33 +';'=34 +','=35 +'{'=36 +'}'=37 +'~'=38 +'!'=39 diff --git a/src/main/java/org/lumijiez/parser/WinxBaseListener.java b/src/main/java/org/lumijiez/parser/WinxBaseListener.java index 1e726d8..66df728 100644 --- a/src/main/java/org/lumijiez/parser/WinxBaseListener.java +++ b/src/main/java/org/lumijiez/parser/WinxBaseListener.java @@ -77,37 +77,25 @@ public class WinxBaseListener implements WinxListener { * *

The default implementation does nothing.

*/ - @Override public void enterInterface_body(WinxParser.Interface_bodyContext ctx) { } + @Override public void enterSpec_body(WinxParser.Spec_bodyContext ctx) { } /** * {@inheritDoc} * *

The default implementation does nothing.

*/ - @Override public void exitInterface_body(WinxParser.Interface_bodyContext ctx) { } + @Override public void exitSpec_body(WinxParser.Spec_bodyContext ctx) { } /** * {@inheritDoc} * *

The default implementation does nothing.

*/ - @Override public void enterSpecification_body(WinxParser.Specification_bodyContext ctx) { } + @Override public void enterRequirement_spec(WinxParser.Requirement_specContext ctx) { } /** * {@inheritDoc} * *

The default implementation does nothing.

*/ - @Override public void exitSpecification_body(WinxParser.Specification_bodyContext ctx) { } - /** - * {@inheritDoc} - * - *

The default implementation does nothing.

- */ - @Override public void enterRequirementSpec(WinxParser.RequirementSpecContext ctx) { } - /** - * {@inheritDoc} - * - *

The default implementation does nothing.

- */ - @Override public void exitRequirementSpec(WinxParser.RequirementSpecContext ctx) { } + @Override public void exitRequirement_spec(WinxParser.Requirement_specContext ctx) { } /** * {@inheritDoc} * @@ -149,25 +137,25 @@ public class WinxBaseListener implements WinxListener { * *

The default implementation does nothing.

*/ - @Override public void enterFunctionSpec(WinxParser.FunctionSpecContext ctx) { } + @Override public void enterFunction_spec(WinxParser.Function_specContext ctx) { } /** * {@inheritDoc} * *

The default implementation does nothing.

*/ - @Override public void exitFunctionSpec(WinxParser.FunctionSpecContext ctx) { } + @Override public void exitFunction_spec(WinxParser.Function_specContext ctx) { } /** * {@inheritDoc} * *

The default implementation does nothing.

*/ - @Override public void enterFunctionBody(WinxParser.FunctionBodyContext ctx) { } + @Override public void enterFunction_body(WinxParser.Function_bodyContext ctx) { } /** * {@inheritDoc} * *

The default implementation does nothing.

*/ - @Override public void exitFunctionBody(WinxParser.FunctionBodyContext ctx) { } + @Override public void exitFunction_body(WinxParser.Function_bodyContext ctx) { } /** * {@inheritDoc} * @@ -197,13 +185,13 @@ public class WinxBaseListener implements WinxListener { * *

The default implementation does nothing.

*/ - @Override public void enterSpecificationEntry(WinxParser.SpecificationEntryContext ctx) { } + @Override public void enterSpecification_entry(WinxParser.Specification_entryContext ctx) { } /** * {@inheritDoc} * *

The default implementation does nothing.

*/ - @Override public void exitSpecificationEntry(WinxParser.SpecificationEntryContext ctx) { } + @Override public void exitSpecification_entry(WinxParser.Specification_entryContext ctx) { } /** * {@inheritDoc} * @@ -257,13 +245,13 @@ public class WinxBaseListener implements WinxListener { * *

The default implementation does nothing.

*/ - @Override public void enterDescription(WinxParser.DescriptionContext ctx) { } + @Override public void enterComment(WinxParser.CommentContext ctx) { } /** * {@inheritDoc} * *

The default implementation does nothing.

*/ - @Override public void exitDescription(WinxParser.DescriptionContext ctx) { } + @Override public void exitComment(WinxParser.CommentContext ctx) { } /** * {@inheritDoc} diff --git a/src/main/java/org/lumijiez/parser/WinxBaseVisitor.java b/src/main/java/org/lumijiez/parser/WinxBaseVisitor.java index 4fa9abc..8a5d178 100644 --- a/src/main/java/org/lumijiez/parser/WinxBaseVisitor.java +++ b/src/main/java/org/lumijiez/parser/WinxBaseVisitor.java @@ -53,21 +53,14 @@ public class WinxBaseVisitor extends AbstractParseTreeVisitor implements W *

The default implementation returns the result of calling * {@link #visitChildren} on {@code ctx}.

*/ - @Override public T visitInterface_body(WinxParser.Interface_bodyContext ctx) { return visitChildren(ctx); } + @Override public T visitSpec_body(WinxParser.Spec_bodyContext ctx) { return visitChildren(ctx); } /** * {@inheritDoc} * *

The default implementation returns the result of calling * {@link #visitChildren} on {@code ctx}.

*/ - @Override public T visitSpecification_body(WinxParser.Specification_bodyContext ctx) { return visitChildren(ctx); } - /** - * {@inheritDoc} - * - *

The default implementation returns the result of calling - * {@link #visitChildren} on {@code ctx}.

- */ - @Override public T visitRequirementSpec(WinxParser.RequirementSpecContext ctx) { return visitChildren(ctx); } + @Override public T visitRequirement_spec(WinxParser.Requirement_specContext ctx) { return visitChildren(ctx); } /** * {@inheritDoc} * @@ -95,14 +88,14 @@ public class WinxBaseVisitor extends AbstractParseTreeVisitor implements W *

The default implementation returns the result of calling * {@link #visitChildren} on {@code ctx}.

*/ - @Override public T visitFunctionSpec(WinxParser.FunctionSpecContext ctx) { return visitChildren(ctx); } + @Override public T visitFunction_spec(WinxParser.Function_specContext ctx) { return visitChildren(ctx); } /** * {@inheritDoc} * *

The default implementation returns the result of calling * {@link #visitChildren} on {@code ctx}.

*/ - @Override public T visitFunctionBody(WinxParser.FunctionBodyContext ctx) { return visitChildren(ctx); } + @Override public T visitFunction_body(WinxParser.Function_bodyContext ctx) { return visitChildren(ctx); } /** * {@inheritDoc} * @@ -123,7 +116,7 @@ public class WinxBaseVisitor extends AbstractParseTreeVisitor implements W *

The default implementation returns the result of calling * {@link #visitChildren} on {@code ctx}.

*/ - @Override public T visitSpecificationEntry(WinxParser.SpecificationEntryContext ctx) { return visitChildren(ctx); } + @Override public T visitSpecification_entry(WinxParser.Specification_entryContext ctx) { return visitChildren(ctx); } /** * {@inheritDoc} * @@ -158,5 +151,5 @@ public class WinxBaseVisitor extends AbstractParseTreeVisitor implements W *

The default implementation returns the result of calling * {@link #visitChildren} on {@code ctx}.

*/ - @Override public T visitDescription(WinxParser.DescriptionContext ctx) { return visitChildren(ctx); } + @Override public T visitComment(WinxParser.CommentContext ctx) { return visitChildren(ctx); } } \ No newline at end of file diff --git a/src/main/java/org/lumijiez/parser/WinxLexer.interp b/src/main/java/org/lumijiez/parser/WinxLexer.interp index a548240..c8aa3ba 100644 --- a/src/main/java/org/lumijiez/parser/WinxLexer.interp +++ b/src/main/java/org/lumijiez/parser/WinxLexer.interp @@ -29,6 +29,7 @@ null null null null +null '(' ')' ':' @@ -66,7 +67,8 @@ null null ID STRING -DESCRIPTION +NEWLINE +COMMENT WS INT FLOAT @@ -106,7 +108,8 @@ T__21 T__22 ID STRING -DESCRIPTION +NEWLINE +COMMENT WS INT FLOAT @@ -128,4 +131,4 @@ mode names: DEFAULT_MODE atn: -[4, 0, 38, 312, 6, -1, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12, 2, 13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 2, 17, 7, 17, 2, 18, 7, 18, 2, 19, 7, 19, 2, 20, 7, 20, 2, 21, 7, 21, 2, 22, 7, 22, 2, 23, 7, 23, 2, 24, 7, 24, 2, 25, 7, 25, 2, 26, 7, 26, 2, 27, 7, 27, 2, 28, 7, 28, 2, 29, 7, 29, 2, 30, 7, 30, 2, 31, 7, 31, 2, 32, 7, 32, 2, 33, 7, 33, 2, 34, 7, 34, 2, 35, 7, 35, 2, 36, 7, 36, 2, 37, 7, 37, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 6, 1, 6, 1, 6, 1, 6, 1, 7, 1, 7, 1, 7, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 9, 1, 9, 1, 9, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 12, 1, 12, 1, 12, 1, 12, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 23, 4, 23, 241, 8, 23, 11, 23, 12, 23, 242, 1, 24, 1, 24, 5, 24, 247, 8, 24, 10, 24, 12, 24, 250, 9, 24, 1, 24, 1, 24, 1, 25, 1, 25, 5, 25, 256, 8, 25, 10, 25, 12, 25, 259, 9, 25, 1, 25, 1, 25, 1, 26, 4, 26, 264, 8, 26, 11, 26, 12, 26, 265, 1, 26, 1, 26, 1, 27, 4, 27, 271, 8, 27, 11, 27, 12, 27, 272, 1, 28, 4, 28, 276, 8, 28, 11, 28, 12, 28, 277, 1, 28, 1, 28, 5, 28, 282, 8, 28, 10, 28, 12, 28, 285, 9, 28, 1, 28, 1, 28, 4, 28, 289, 8, 28, 11, 28, 12, 28, 290, 3, 28, 293, 8, 28, 1, 29, 1, 29, 1, 30, 1, 30, 1, 31, 1, 31, 1, 32, 1, 32, 1, 33, 1, 33, 1, 34, 1, 34, 1, 35, 1, 35, 1, 36, 1, 36, 1, 37, 1, 37, 1, 257, 0, 38, 1, 1, 3, 2, 5, 3, 7, 4, 9, 5, 11, 6, 13, 7, 15, 8, 17, 9, 19, 10, 21, 11, 23, 12, 25, 13, 27, 14, 29, 15, 31, 16, 33, 17, 35, 18, 37, 19, 39, 20, 41, 21, 43, 22, 45, 23, 47, 24, 49, 25, 51, 26, 53, 27, 55, 28, 57, 29, 59, 30, 61, 31, 63, 32, 65, 33, 67, 34, 69, 35, 71, 36, 73, 37, 75, 38, 1, 0, 5, 2, 0, 65, 90, 97, 122, 1, 0, 34, 34, 1, 0, 126, 126, 3, 0, 9, 10, 13, 13, 32, 32, 1, 0, 48, 57, 320, 0, 1, 1, 0, 0, 0, 0, 3, 1, 0, 0, 0, 0, 5, 1, 0, 0, 0, 0, 7, 1, 0, 0, 0, 0, 9, 1, 0, 0, 0, 0, 11, 1, 0, 0, 0, 0, 13, 1, 0, 0, 0, 0, 15, 1, 0, 0, 0, 0, 17, 1, 0, 0, 0, 0, 19, 1, 0, 0, 0, 0, 21, 1, 0, 0, 0, 0, 23, 1, 0, 0, 0, 0, 25, 1, 0, 0, 0, 0, 27, 1, 0, 0, 0, 0, 29, 1, 0, 0, 0, 0, 31, 1, 0, 0, 0, 0, 33, 1, 0, 0, 0, 0, 35, 1, 0, 0, 0, 0, 37, 1, 0, 0, 0, 0, 39, 1, 0, 0, 0, 0, 41, 1, 0, 0, 0, 0, 43, 1, 0, 0, 0, 0, 45, 1, 0, 0, 0, 0, 47, 1, 0, 0, 0, 0, 49, 1, 0, 0, 0, 0, 51, 1, 0, 0, 0, 0, 53, 1, 0, 0, 0, 0, 55, 1, 0, 0, 0, 0, 57, 1, 0, 0, 0, 0, 59, 1, 0, 0, 0, 0, 61, 1, 0, 0, 0, 0, 63, 1, 0, 0, 0, 0, 65, 1, 0, 0, 0, 0, 67, 1, 0, 0, 0, 0, 69, 1, 0, 0, 0, 0, 71, 1, 0, 0, 0, 0, 73, 1, 0, 0, 0, 0, 75, 1, 0, 0, 0, 1, 77, 1, 0, 0, 0, 3, 85, 1, 0, 0, 0, 5, 95, 1, 0, 0, 0, 7, 109, 1, 0, 0, 0, 9, 120, 1, 0, 0, 0, 11, 122, 1, 0, 0, 0, 13, 129, 1, 0, 0, 0, 15, 133, 1, 0, 0, 0, 17, 136, 1, 0, 0, 0, 19, 143, 1, 0, 0, 0, 21, 146, 1, 0, 0, 0, 23, 155, 1, 0, 0, 0, 25, 164, 1, 0, 0, 0, 27, 168, 1, 0, 0, 0, 29, 174, 1, 0, 0, 0, 31, 181, 1, 0, 0, 0, 33, 188, 1, 0, 0, 0, 35, 196, 1, 0, 0, 0, 37, 201, 1, 0, 0, 0, 39, 206, 1, 0, 0, 0, 41, 213, 1, 0, 0, 0, 43, 223, 1, 0, 0, 0, 45, 231, 1, 0, 0, 0, 47, 240, 1, 0, 0, 0, 49, 244, 1, 0, 0, 0, 51, 253, 1, 0, 0, 0, 53, 263, 1, 0, 0, 0, 55, 270, 1, 0, 0, 0, 57, 292, 1, 0, 0, 0, 59, 294, 1, 0, 0, 0, 61, 296, 1, 0, 0, 0, 63, 298, 1, 0, 0, 0, 65, 300, 1, 0, 0, 0, 67, 302, 1, 0, 0, 0, 69, 304, 1, 0, 0, 0, 71, 306, 1, 0, 0, 0, 73, 308, 1, 0, 0, 0, 75, 310, 1, 0, 0, 0, 77, 78, 5, 112, 0, 0, 78, 79, 5, 97, 0, 0, 79, 80, 5, 99, 0, 0, 80, 81, 5, 107, 0, 0, 81, 82, 5, 97, 0, 0, 82, 83, 5, 103, 0, 0, 83, 84, 5, 101, 0, 0, 84, 2, 1, 0, 0, 0, 85, 86, 5, 105, 0, 0, 86, 87, 5, 110, 0, 0, 87, 88, 5, 116, 0, 0, 88, 89, 5, 101, 0, 0, 89, 90, 5, 114, 0, 0, 90, 91, 5, 102, 0, 0, 91, 92, 5, 97, 0, 0, 92, 93, 5, 99, 0, 0, 93, 94, 5, 101, 0, 0, 94, 4, 1, 0, 0, 0, 95, 96, 5, 115, 0, 0, 96, 97, 5, 112, 0, 0, 97, 98, 5, 101, 0, 0, 98, 99, 5, 99, 0, 0, 99, 100, 5, 105, 0, 0, 100, 101, 5, 102, 0, 0, 101, 102, 5, 105, 0, 0, 102, 103, 5, 99, 0, 0, 103, 104, 5, 97, 0, 0, 104, 105, 5, 116, 0, 0, 105, 106, 5, 105, 0, 0, 106, 107, 5, 111, 0, 0, 107, 108, 5, 110, 0, 0, 108, 6, 1, 0, 0, 0, 109, 110, 5, 105, 0, 0, 110, 111, 5, 109, 0, 0, 111, 112, 5, 112, 0, 0, 112, 113, 5, 108, 0, 0, 113, 114, 5, 101, 0, 0, 114, 115, 5, 109, 0, 0, 115, 116, 5, 101, 0, 0, 116, 117, 5, 110, 0, 0, 117, 118, 5, 116, 0, 0, 118, 119, 5, 115, 0, 0, 119, 8, 1, 0, 0, 0, 120, 121, 5, 64, 0, 0, 121, 10, 1, 0, 0, 0, 122, 123, 5, 114, 0, 0, 123, 124, 5, 101, 0, 0, 124, 125, 5, 115, 0, 0, 125, 126, 5, 117, 0, 0, 126, 127, 5, 108, 0, 0, 127, 128, 5, 116, 0, 0, 128, 12, 1, 0, 0, 0, 129, 130, 5, 65, 0, 0, 130, 131, 5, 78, 0, 0, 131, 132, 5, 68, 0, 0, 132, 14, 1, 0, 0, 0, 133, 134, 5, 79, 0, 0, 134, 135, 5, 82, 0, 0, 135, 16, 1, 0, 0, 0, 136, 137, 5, 114, 0, 0, 137, 138, 5, 101, 0, 0, 138, 139, 5, 116, 0, 0, 139, 140, 5, 117, 0, 0, 140, 141, 5, 114, 0, 0, 141, 142, 5, 110, 0, 0, 142, 18, 1, 0, 0, 0, 143, 144, 5, 91, 0, 0, 144, 145, 5, 93, 0, 0, 145, 20, 1, 0, 0, 0, 146, 147, 5, 99, 0, 0, 147, 148, 5, 114, 0, 0, 148, 149, 5, 105, 0, 0, 149, 150, 5, 116, 0, 0, 150, 151, 5, 105, 0, 0, 151, 152, 5, 99, 0, 0, 152, 153, 5, 97, 0, 0, 153, 154, 5, 108, 0, 0, 154, 22, 1, 0, 0, 0, 155, 156, 5, 111, 0, 0, 156, 157, 5, 112, 0, 0, 157, 158, 5, 116, 0, 0, 158, 159, 5, 105, 0, 0, 159, 160, 5, 111, 0, 0, 160, 161, 5, 110, 0, 0, 161, 162, 5, 97, 0, 0, 162, 163, 5, 108, 0, 0, 163, 24, 1, 0, 0, 0, 164, 165, 5, 73, 0, 0, 165, 166, 5, 78, 0, 0, 166, 167, 5, 84, 0, 0, 167, 26, 1, 0, 0, 0, 168, 169, 5, 70, 0, 0, 169, 170, 5, 76, 0, 0, 170, 171, 5, 79, 0, 0, 171, 172, 5, 65, 0, 0, 172, 173, 5, 84, 0, 0, 173, 28, 1, 0, 0, 0, 174, 175, 5, 68, 0, 0, 175, 176, 5, 79, 0, 0, 176, 177, 5, 85, 0, 0, 177, 178, 5, 66, 0, 0, 178, 179, 5, 76, 0, 0, 179, 180, 5, 69, 0, 0, 180, 30, 1, 0, 0, 0, 181, 182, 5, 83, 0, 0, 182, 183, 5, 84, 0, 0, 183, 184, 5, 82, 0, 0, 184, 185, 5, 73, 0, 0, 185, 186, 5, 78, 0, 0, 186, 187, 5, 71, 0, 0, 187, 32, 1, 0, 0, 0, 188, 189, 5, 66, 0, 0, 189, 190, 5, 79, 0, 0, 190, 191, 5, 79, 0, 0, 191, 192, 5, 76, 0, 0, 192, 193, 5, 69, 0, 0, 193, 194, 5, 65, 0, 0, 194, 195, 5, 78, 0, 0, 195, 34, 1, 0, 0, 0, 196, 197, 5, 67, 0, 0, 197, 198, 5, 72, 0, 0, 198, 199, 5, 65, 0, 0, 199, 200, 5, 82, 0, 0, 200, 36, 1, 0, 0, 0, 201, 202, 5, 86, 0, 0, 202, 203, 5, 79, 0, 0, 203, 204, 5, 73, 0, 0, 204, 205, 5, 68, 0, 0, 205, 38, 1, 0, 0, 0, 206, 207, 5, 112, 0, 0, 207, 208, 5, 117, 0, 0, 208, 209, 5, 98, 0, 0, 209, 210, 5, 108, 0, 0, 210, 211, 5, 105, 0, 0, 211, 212, 5, 99, 0, 0, 212, 40, 1, 0, 0, 0, 213, 214, 5, 112, 0, 0, 214, 215, 5, 114, 0, 0, 215, 216, 5, 111, 0, 0, 216, 217, 5, 116, 0, 0, 217, 218, 5, 101, 0, 0, 218, 219, 5, 99, 0, 0, 219, 220, 5, 116, 0, 0, 220, 221, 5, 101, 0, 0, 221, 222, 5, 100, 0, 0, 222, 42, 1, 0, 0, 0, 223, 224, 5, 112, 0, 0, 224, 225, 5, 114, 0, 0, 225, 226, 5, 105, 0, 0, 226, 227, 5, 118, 0, 0, 227, 228, 5, 97, 0, 0, 228, 229, 5, 116, 0, 0, 229, 230, 5, 101, 0, 0, 230, 44, 1, 0, 0, 0, 231, 232, 5, 100, 0, 0, 232, 233, 5, 101, 0, 0, 233, 234, 5, 102, 0, 0, 234, 235, 5, 97, 0, 0, 235, 236, 5, 117, 0, 0, 236, 237, 5, 108, 0, 0, 237, 238, 5, 116, 0, 0, 238, 46, 1, 0, 0, 0, 239, 241, 7, 0, 0, 0, 240, 239, 1, 0, 0, 0, 241, 242, 1, 0, 0, 0, 242, 240, 1, 0, 0, 0, 242, 243, 1, 0, 0, 0, 243, 48, 1, 0, 0, 0, 244, 248, 5, 34, 0, 0, 245, 247, 8, 1, 0, 0, 246, 245, 1, 0, 0, 0, 247, 250, 1, 0, 0, 0, 248, 246, 1, 0, 0, 0, 248, 249, 1, 0, 0, 0, 249, 251, 1, 0, 0, 0, 250, 248, 1, 0, 0, 0, 251, 252, 5, 34, 0, 0, 252, 50, 1, 0, 0, 0, 253, 257, 5, 126, 0, 0, 254, 256, 8, 2, 0, 0, 255, 254, 1, 0, 0, 0, 256, 259, 1, 0, 0, 0, 257, 258, 1, 0, 0, 0, 257, 255, 1, 0, 0, 0, 258, 260, 1, 0, 0, 0, 259, 257, 1, 0, 0, 0, 260, 261, 5, 126, 0, 0, 261, 52, 1, 0, 0, 0, 262, 264, 7, 3, 0, 0, 263, 262, 1, 0, 0, 0, 264, 265, 1, 0, 0, 0, 265, 263, 1, 0, 0, 0, 265, 266, 1, 0, 0, 0, 266, 267, 1, 0, 0, 0, 267, 268, 6, 26, 0, 0, 268, 54, 1, 0, 0, 0, 269, 271, 7, 4, 0, 0, 270, 269, 1, 0, 0, 0, 271, 272, 1, 0, 0, 0, 272, 270, 1, 0, 0, 0, 272, 273, 1, 0, 0, 0, 273, 56, 1, 0, 0, 0, 274, 276, 7, 4, 0, 0, 275, 274, 1, 0, 0, 0, 276, 277, 1, 0, 0, 0, 277, 275, 1, 0, 0, 0, 277, 278, 1, 0, 0, 0, 278, 279, 1, 0, 0, 0, 279, 283, 5, 46, 0, 0, 280, 282, 7, 4, 0, 0, 281, 280, 1, 0, 0, 0, 282, 285, 1, 0, 0, 0, 283, 281, 1, 0, 0, 0, 283, 284, 1, 0, 0, 0, 284, 293, 1, 0, 0, 0, 285, 283, 1, 0, 0, 0, 286, 288, 5, 46, 0, 0, 287, 289, 7, 4, 0, 0, 288, 287, 1, 0, 0, 0, 289, 290, 1, 0, 0, 0, 290, 288, 1, 0, 0, 0, 290, 291, 1, 0, 0, 0, 291, 293, 1, 0, 0, 0, 292, 275, 1, 0, 0, 0, 292, 286, 1, 0, 0, 0, 293, 58, 1, 0, 0, 0, 294, 295, 5, 40, 0, 0, 295, 60, 1, 0, 0, 0, 296, 297, 5, 41, 0, 0, 297, 62, 1, 0, 0, 0, 298, 299, 5, 58, 0, 0, 299, 64, 1, 0, 0, 0, 300, 301, 5, 59, 0, 0, 301, 66, 1, 0, 0, 0, 302, 303, 5, 44, 0, 0, 303, 68, 1, 0, 0, 0, 304, 305, 5, 123, 0, 0, 305, 70, 1, 0, 0, 0, 306, 307, 5, 125, 0, 0, 307, 72, 1, 0, 0, 0, 308, 309, 5, 126, 0, 0, 309, 74, 1, 0, 0, 0, 310, 311, 5, 33, 0, 0, 311, 76, 1, 0, 0, 0, 10, 0, 242, 248, 257, 265, 272, 277, 283, 290, 292, 1, 6, 0, 0] \ No newline at end of file +[4, 0, 39, 332, 6, -1, 2, 0, 7, 0, 2, 1, 7, 1, 2, 2, 7, 2, 2, 3, 7, 3, 2, 4, 7, 4, 2, 5, 7, 5, 2, 6, 7, 6, 2, 7, 7, 7, 2, 8, 7, 8, 2, 9, 7, 9, 2, 10, 7, 10, 2, 11, 7, 11, 2, 12, 7, 12, 2, 13, 7, 13, 2, 14, 7, 14, 2, 15, 7, 15, 2, 16, 7, 16, 2, 17, 7, 17, 2, 18, 7, 18, 2, 19, 7, 19, 2, 20, 7, 20, 2, 21, 7, 21, 2, 22, 7, 22, 2, 23, 7, 23, 2, 24, 7, 24, 2, 25, 7, 25, 2, 26, 7, 26, 2, 27, 7, 27, 2, 28, 7, 28, 2, 29, 7, 29, 2, 30, 7, 30, 2, 31, 7, 31, 2, 32, 7, 32, 2, 33, 7, 33, 2, 34, 7, 34, 2, 35, 7, 35, 2, 36, 7, 36, 2, 37, 7, 37, 2, 38, 7, 38, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 4, 1, 4, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 5, 1, 6, 1, 6, 1, 6, 1, 6, 1, 7, 1, 7, 1, 7, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 8, 1, 9, 1, 9, 1, 9, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 10, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 11, 1, 12, 1, 12, 1, 12, 1, 12, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 13, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 14, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 15, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 16, 1, 17, 1, 17, 1, 17, 1, 17, 1, 17, 1, 18, 1, 18, 1, 18, 1, 18, 1, 18, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 19, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 20, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 21, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 22, 1, 23, 4, 23, 243, 8, 23, 11, 23, 12, 23, 244, 1, 24, 1, 24, 5, 24, 249, 8, 24, 10, 24, 12, 24, 252, 9, 24, 1, 24, 1, 24, 1, 25, 4, 25, 257, 8, 25, 11, 25, 12, 25, 258, 1, 25, 1, 25, 1, 26, 1, 26, 5, 26, 265, 8, 26, 10, 26, 12, 26, 268, 9, 26, 1, 26, 1, 26, 1, 26, 1, 26, 1, 26, 5, 26, 275, 8, 26, 10, 26, 12, 26, 278, 9, 26, 1, 26, 3, 26, 281, 8, 26, 1, 27, 4, 27, 284, 8, 27, 11, 27, 12, 27, 285, 1, 27, 1, 27, 1, 28, 4, 28, 291, 8, 28, 11, 28, 12, 28, 292, 1, 29, 4, 29, 296, 8, 29, 11, 29, 12, 29, 297, 1, 29, 1, 29, 5, 29, 302, 8, 29, 10, 29, 12, 29, 305, 9, 29, 1, 29, 1, 29, 4, 29, 309, 8, 29, 11, 29, 12, 29, 310, 3, 29, 313, 8, 29, 1, 30, 1, 30, 1, 31, 1, 31, 1, 32, 1, 32, 1, 33, 1, 33, 1, 34, 1, 34, 1, 35, 1, 35, 1, 36, 1, 36, 1, 37, 1, 37, 1, 38, 1, 38, 1, 266, 0, 39, 1, 1, 3, 2, 5, 3, 7, 4, 9, 5, 11, 6, 13, 7, 15, 8, 17, 9, 19, 10, 21, 11, 23, 12, 25, 13, 27, 14, 29, 15, 31, 16, 33, 17, 35, 18, 37, 19, 39, 20, 41, 21, 43, 22, 45, 23, 47, 24, 49, 25, 51, 26, 53, 27, 55, 28, 57, 29, 59, 30, 61, 31, 63, 32, 65, 33, 67, 34, 69, 35, 71, 36, 73, 37, 75, 38, 77, 39, 1, 0, 6, 2, 0, 65, 90, 97, 122, 1, 0, 34, 34, 2, 0, 10, 10, 13, 13, 1, 0, 126, 126, 3, 0, 9, 10, 13, 13, 32, 32, 1, 0, 48, 57, 343, 0, 1, 1, 0, 0, 0, 0, 3, 1, 0, 0, 0, 0, 5, 1, 0, 0, 0, 0, 7, 1, 0, 0, 0, 0, 9, 1, 0, 0, 0, 0, 11, 1, 0, 0, 0, 0, 13, 1, 0, 0, 0, 0, 15, 1, 0, 0, 0, 0, 17, 1, 0, 0, 0, 0, 19, 1, 0, 0, 0, 0, 21, 1, 0, 0, 0, 0, 23, 1, 0, 0, 0, 0, 25, 1, 0, 0, 0, 0, 27, 1, 0, 0, 0, 0, 29, 1, 0, 0, 0, 0, 31, 1, 0, 0, 0, 0, 33, 1, 0, 0, 0, 0, 35, 1, 0, 0, 0, 0, 37, 1, 0, 0, 0, 0, 39, 1, 0, 0, 0, 0, 41, 1, 0, 0, 0, 0, 43, 1, 0, 0, 0, 0, 45, 1, 0, 0, 0, 0, 47, 1, 0, 0, 0, 0, 49, 1, 0, 0, 0, 0, 51, 1, 0, 0, 0, 0, 53, 1, 0, 0, 0, 0, 55, 1, 0, 0, 0, 0, 57, 1, 0, 0, 0, 0, 59, 1, 0, 0, 0, 0, 61, 1, 0, 0, 0, 0, 63, 1, 0, 0, 0, 0, 65, 1, 0, 0, 0, 0, 67, 1, 0, 0, 0, 0, 69, 1, 0, 0, 0, 0, 71, 1, 0, 0, 0, 0, 73, 1, 0, 0, 0, 0, 75, 1, 0, 0, 0, 0, 77, 1, 0, 0, 0, 1, 79, 1, 0, 0, 0, 3, 87, 1, 0, 0, 0, 5, 97, 1, 0, 0, 0, 7, 111, 1, 0, 0, 0, 9, 122, 1, 0, 0, 0, 11, 124, 1, 0, 0, 0, 13, 131, 1, 0, 0, 0, 15, 135, 1, 0, 0, 0, 17, 138, 1, 0, 0, 0, 19, 145, 1, 0, 0, 0, 21, 148, 1, 0, 0, 0, 23, 157, 1, 0, 0, 0, 25, 166, 1, 0, 0, 0, 27, 170, 1, 0, 0, 0, 29, 176, 1, 0, 0, 0, 31, 183, 1, 0, 0, 0, 33, 190, 1, 0, 0, 0, 35, 198, 1, 0, 0, 0, 37, 203, 1, 0, 0, 0, 39, 208, 1, 0, 0, 0, 41, 215, 1, 0, 0, 0, 43, 225, 1, 0, 0, 0, 45, 233, 1, 0, 0, 0, 47, 242, 1, 0, 0, 0, 49, 246, 1, 0, 0, 0, 51, 256, 1, 0, 0, 0, 53, 280, 1, 0, 0, 0, 55, 283, 1, 0, 0, 0, 57, 290, 1, 0, 0, 0, 59, 312, 1, 0, 0, 0, 61, 314, 1, 0, 0, 0, 63, 316, 1, 0, 0, 0, 65, 318, 1, 0, 0, 0, 67, 320, 1, 0, 0, 0, 69, 322, 1, 0, 0, 0, 71, 324, 1, 0, 0, 0, 73, 326, 1, 0, 0, 0, 75, 328, 1, 0, 0, 0, 77, 330, 1, 0, 0, 0, 79, 80, 5, 112, 0, 0, 80, 81, 5, 97, 0, 0, 81, 82, 5, 99, 0, 0, 82, 83, 5, 107, 0, 0, 83, 84, 5, 97, 0, 0, 84, 85, 5, 103, 0, 0, 85, 86, 5, 101, 0, 0, 86, 2, 1, 0, 0, 0, 87, 88, 5, 105, 0, 0, 88, 89, 5, 110, 0, 0, 89, 90, 5, 116, 0, 0, 90, 91, 5, 101, 0, 0, 91, 92, 5, 114, 0, 0, 92, 93, 5, 102, 0, 0, 93, 94, 5, 97, 0, 0, 94, 95, 5, 99, 0, 0, 95, 96, 5, 101, 0, 0, 96, 4, 1, 0, 0, 0, 97, 98, 5, 115, 0, 0, 98, 99, 5, 112, 0, 0, 99, 100, 5, 101, 0, 0, 100, 101, 5, 99, 0, 0, 101, 102, 5, 105, 0, 0, 102, 103, 5, 102, 0, 0, 103, 104, 5, 105, 0, 0, 104, 105, 5, 99, 0, 0, 105, 106, 5, 97, 0, 0, 106, 107, 5, 116, 0, 0, 107, 108, 5, 105, 0, 0, 108, 109, 5, 111, 0, 0, 109, 110, 5, 110, 0, 0, 110, 6, 1, 0, 0, 0, 111, 112, 5, 105, 0, 0, 112, 113, 5, 109, 0, 0, 113, 114, 5, 112, 0, 0, 114, 115, 5, 108, 0, 0, 115, 116, 5, 101, 0, 0, 116, 117, 5, 109, 0, 0, 117, 118, 5, 101, 0, 0, 118, 119, 5, 110, 0, 0, 119, 120, 5, 116, 0, 0, 120, 121, 5, 115, 0, 0, 121, 8, 1, 0, 0, 0, 122, 123, 5, 64, 0, 0, 123, 10, 1, 0, 0, 0, 124, 125, 5, 114, 0, 0, 125, 126, 5, 101, 0, 0, 126, 127, 5, 115, 0, 0, 127, 128, 5, 117, 0, 0, 128, 129, 5, 108, 0, 0, 129, 130, 5, 116, 0, 0, 130, 12, 1, 0, 0, 0, 131, 132, 5, 65, 0, 0, 132, 133, 5, 78, 0, 0, 133, 134, 5, 68, 0, 0, 134, 14, 1, 0, 0, 0, 135, 136, 5, 79, 0, 0, 136, 137, 5, 82, 0, 0, 137, 16, 1, 0, 0, 0, 138, 139, 5, 114, 0, 0, 139, 140, 5, 101, 0, 0, 140, 141, 5, 116, 0, 0, 141, 142, 5, 117, 0, 0, 142, 143, 5, 114, 0, 0, 143, 144, 5, 110, 0, 0, 144, 18, 1, 0, 0, 0, 145, 146, 5, 91, 0, 0, 146, 147, 5, 93, 0, 0, 147, 20, 1, 0, 0, 0, 148, 149, 5, 99, 0, 0, 149, 150, 5, 114, 0, 0, 150, 151, 5, 105, 0, 0, 151, 152, 5, 116, 0, 0, 152, 153, 5, 105, 0, 0, 153, 154, 5, 99, 0, 0, 154, 155, 5, 97, 0, 0, 155, 156, 5, 108, 0, 0, 156, 22, 1, 0, 0, 0, 157, 158, 5, 111, 0, 0, 158, 159, 5, 112, 0, 0, 159, 160, 5, 116, 0, 0, 160, 161, 5, 105, 0, 0, 161, 162, 5, 111, 0, 0, 162, 163, 5, 110, 0, 0, 163, 164, 5, 97, 0, 0, 164, 165, 5, 108, 0, 0, 165, 24, 1, 0, 0, 0, 166, 167, 5, 73, 0, 0, 167, 168, 5, 78, 0, 0, 168, 169, 5, 84, 0, 0, 169, 26, 1, 0, 0, 0, 170, 171, 5, 70, 0, 0, 171, 172, 5, 76, 0, 0, 172, 173, 5, 79, 0, 0, 173, 174, 5, 65, 0, 0, 174, 175, 5, 84, 0, 0, 175, 28, 1, 0, 0, 0, 176, 177, 5, 68, 0, 0, 177, 178, 5, 79, 0, 0, 178, 179, 5, 85, 0, 0, 179, 180, 5, 66, 0, 0, 180, 181, 5, 76, 0, 0, 181, 182, 5, 69, 0, 0, 182, 30, 1, 0, 0, 0, 183, 184, 5, 83, 0, 0, 184, 185, 5, 84, 0, 0, 185, 186, 5, 82, 0, 0, 186, 187, 5, 73, 0, 0, 187, 188, 5, 78, 0, 0, 188, 189, 5, 71, 0, 0, 189, 32, 1, 0, 0, 0, 190, 191, 5, 66, 0, 0, 191, 192, 5, 79, 0, 0, 192, 193, 5, 79, 0, 0, 193, 194, 5, 76, 0, 0, 194, 195, 5, 69, 0, 0, 195, 196, 5, 65, 0, 0, 196, 197, 5, 78, 0, 0, 197, 34, 1, 0, 0, 0, 198, 199, 5, 67, 0, 0, 199, 200, 5, 72, 0, 0, 200, 201, 5, 65, 0, 0, 201, 202, 5, 82, 0, 0, 202, 36, 1, 0, 0, 0, 203, 204, 5, 86, 0, 0, 204, 205, 5, 79, 0, 0, 205, 206, 5, 73, 0, 0, 206, 207, 5, 68, 0, 0, 207, 38, 1, 0, 0, 0, 208, 209, 5, 112, 0, 0, 209, 210, 5, 117, 0, 0, 210, 211, 5, 98, 0, 0, 211, 212, 5, 108, 0, 0, 212, 213, 5, 105, 0, 0, 213, 214, 5, 99, 0, 0, 214, 40, 1, 0, 0, 0, 215, 216, 5, 112, 0, 0, 216, 217, 5, 114, 0, 0, 217, 218, 5, 111, 0, 0, 218, 219, 5, 116, 0, 0, 219, 220, 5, 101, 0, 0, 220, 221, 5, 99, 0, 0, 221, 222, 5, 116, 0, 0, 222, 223, 5, 101, 0, 0, 223, 224, 5, 100, 0, 0, 224, 42, 1, 0, 0, 0, 225, 226, 5, 112, 0, 0, 226, 227, 5, 114, 0, 0, 227, 228, 5, 105, 0, 0, 228, 229, 5, 118, 0, 0, 229, 230, 5, 97, 0, 0, 230, 231, 5, 116, 0, 0, 231, 232, 5, 101, 0, 0, 232, 44, 1, 0, 0, 0, 233, 234, 5, 100, 0, 0, 234, 235, 5, 101, 0, 0, 235, 236, 5, 102, 0, 0, 236, 237, 5, 97, 0, 0, 237, 238, 5, 117, 0, 0, 238, 239, 5, 108, 0, 0, 239, 240, 5, 116, 0, 0, 240, 46, 1, 0, 0, 0, 241, 243, 7, 0, 0, 0, 242, 241, 1, 0, 0, 0, 243, 244, 1, 0, 0, 0, 244, 242, 1, 0, 0, 0, 244, 245, 1, 0, 0, 0, 245, 48, 1, 0, 0, 0, 246, 250, 5, 34, 0, 0, 247, 249, 8, 1, 0, 0, 248, 247, 1, 0, 0, 0, 249, 252, 1, 0, 0, 0, 250, 248, 1, 0, 0, 0, 250, 251, 1, 0, 0, 0, 251, 253, 1, 0, 0, 0, 252, 250, 1, 0, 0, 0, 253, 254, 5, 34, 0, 0, 254, 50, 1, 0, 0, 0, 255, 257, 7, 2, 0, 0, 256, 255, 1, 0, 0, 0, 257, 258, 1, 0, 0, 0, 258, 256, 1, 0, 0, 0, 258, 259, 1, 0, 0, 0, 259, 260, 1, 0, 0, 0, 260, 261, 6, 25, 0, 0, 261, 52, 1, 0, 0, 0, 262, 266, 5, 126, 0, 0, 263, 265, 8, 3, 0, 0, 264, 263, 1, 0, 0, 0, 265, 268, 1, 0, 0, 0, 266, 267, 1, 0, 0, 0, 266, 264, 1, 0, 0, 0, 267, 269, 1, 0, 0, 0, 268, 266, 1, 0, 0, 0, 269, 281, 5, 126, 0, 0, 270, 271, 5, 47, 0, 0, 271, 272, 5, 47, 0, 0, 272, 276, 1, 0, 0, 0, 273, 275, 8, 2, 0, 0, 274, 273, 1, 0, 0, 0, 275, 278, 1, 0, 0, 0, 276, 274, 1, 0, 0, 0, 276, 277, 1, 0, 0, 0, 277, 279, 1, 0, 0, 0, 278, 276, 1, 0, 0, 0, 279, 281, 3, 51, 25, 0, 280, 262, 1, 0, 0, 0, 280, 270, 1, 0, 0, 0, 281, 54, 1, 0, 0, 0, 282, 284, 7, 4, 0, 0, 283, 282, 1, 0, 0, 0, 284, 285, 1, 0, 0, 0, 285, 283, 1, 0, 0, 0, 285, 286, 1, 0, 0, 0, 286, 287, 1, 0, 0, 0, 287, 288, 6, 27, 0, 0, 288, 56, 1, 0, 0, 0, 289, 291, 7, 5, 0, 0, 290, 289, 1, 0, 0, 0, 291, 292, 1, 0, 0, 0, 292, 290, 1, 0, 0, 0, 292, 293, 1, 0, 0, 0, 293, 58, 1, 0, 0, 0, 294, 296, 7, 5, 0, 0, 295, 294, 1, 0, 0, 0, 296, 297, 1, 0, 0, 0, 297, 295, 1, 0, 0, 0, 297, 298, 1, 0, 0, 0, 298, 299, 1, 0, 0, 0, 299, 303, 5, 46, 0, 0, 300, 302, 7, 5, 0, 0, 301, 300, 1, 0, 0, 0, 302, 305, 1, 0, 0, 0, 303, 301, 1, 0, 0, 0, 303, 304, 1, 0, 0, 0, 304, 313, 1, 0, 0, 0, 305, 303, 1, 0, 0, 0, 306, 308, 5, 46, 0, 0, 307, 309, 7, 5, 0, 0, 308, 307, 1, 0, 0, 0, 309, 310, 1, 0, 0, 0, 310, 308, 1, 0, 0, 0, 310, 311, 1, 0, 0, 0, 311, 313, 1, 0, 0, 0, 312, 295, 1, 0, 0, 0, 312, 306, 1, 0, 0, 0, 313, 60, 1, 0, 0, 0, 314, 315, 5, 40, 0, 0, 315, 62, 1, 0, 0, 0, 316, 317, 5, 41, 0, 0, 317, 64, 1, 0, 0, 0, 318, 319, 5, 58, 0, 0, 319, 66, 1, 0, 0, 0, 320, 321, 5, 59, 0, 0, 321, 68, 1, 0, 0, 0, 322, 323, 5, 44, 0, 0, 323, 70, 1, 0, 0, 0, 324, 325, 5, 123, 0, 0, 325, 72, 1, 0, 0, 0, 326, 327, 5, 125, 0, 0, 327, 74, 1, 0, 0, 0, 328, 329, 5, 126, 0, 0, 329, 76, 1, 0, 0, 0, 330, 331, 5, 33, 0, 0, 331, 78, 1, 0, 0, 0, 13, 0, 244, 250, 258, 266, 276, 280, 285, 292, 297, 303, 310, 312, 1, 6, 0, 0] \ No newline at end of file diff --git a/src/main/java/org/lumijiez/parser/WinxLexer.java b/src/main/java/org/lumijiez/parser/WinxLexer.java index 8c2897f..d5eb849 100644 --- a/src/main/java/org/lumijiez/parser/WinxLexer.java +++ b/src/main/java/org/lumijiez/parser/WinxLexer.java @@ -1,13 +1,12 @@ // Generated from D:/Source/JavaProjects/dsl-formal-requirements/src/grammars/Winx.g4 by ANTLR 4.13.1 package org.lumijiez.parser; -import org.antlr.v4.runtime.Lexer; -import org.antlr.v4.runtime.CharStream; -import org.antlr.v4.runtime.Token; -import org.antlr.v4.runtime.TokenStream; + import org.antlr.v4.runtime.*; -import org.antlr.v4.runtime.atn.*; +import org.antlr.v4.runtime.atn.ATN; +import org.antlr.v4.runtime.atn.ATNDeserializer; +import org.antlr.v4.runtime.atn.LexerATNSimulator; +import org.antlr.v4.runtime.atn.PredictionContextCache; import org.antlr.v4.runtime.dfa.DFA; -import org.antlr.v4.runtime.misc.*; @SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast", "CheckReturnValue", "this-escape"}) public class WinxLexer extends Lexer { @@ -20,8 +19,8 @@ public class WinxLexer extends Lexer { T__0=1, T__1=2, T__2=3, T__3=4, T__4=5, T__5=6, T__6=7, T__7=8, T__8=9, T__9=10, T__10=11, T__11=12, T__12=13, T__13=14, T__14=15, T__15=16, T__16=17, T__17=18, T__18=19, T__19=20, T__20=21, T__21=22, T__22=23, ID=24, STRING=25, - DESCRIPTION=26, WS=27, INT=28, FLOAT=29, LPAREN=30, RPAREN=31, COLON=32, - SEMICOLON=33, COMMA=34, LBRACE=35, RBRACE=36, TILDE=37, EXCLAM=38; + NEWLINE=26, COMMENT=27, WS=28, INT=29, FLOAT=30, LPAREN=31, RPAREN=32, + COLON=33, SEMICOLON=34, COMMA=35, LBRACE=36, RBRACE=37, TILDE=38, EXCLAM=39; public static String[] channelNames = { "DEFAULT_TOKEN_CHANNEL", "HIDDEN" }; @@ -35,8 +34,8 @@ public class WinxLexer extends Lexer { "T__0", "T__1", "T__2", "T__3", "T__4", "T__5", "T__6", "T__7", "T__8", "T__9", "T__10", "T__11", "T__12", "T__13", "T__14", "T__15", "T__16", "T__17", "T__18", "T__19", "T__20", "T__21", "T__22", "ID", "STRING", - "DESCRIPTION", "WS", "INT", "FLOAT", "LPAREN", "RPAREN", "COLON", "SEMICOLON", - "COMMA", "LBRACE", "RBRACE", "TILDE", "EXCLAM" + "NEWLINE", "COMMENT", "WS", "INT", "FLOAT", "LPAREN", "RPAREN", "COLON", + "SEMICOLON", "COMMA", "LBRACE", "RBRACE", "TILDE", "EXCLAM" }; } public static final String[] ruleNames = makeRuleNames(); @@ -47,8 +46,8 @@ public class WinxLexer extends Lexer { "'@'", "'result'", "'AND'", "'OR'", "'return'", "'[]'", "'critical'", "'optional'", "'INT'", "'FLOAT'", "'DOUBLE'", "'STRING'", "'BOOLEAN'", "'CHAR'", "'VOID'", "'public'", "'protected'", "'private'", "'default'", - null, null, null, null, null, null, "'('", "')'", "':'", "';'", "','", - "'{'", "'}'", "'~'", "'!'" + null, null, null, null, null, null, null, "'('", "')'", "':'", "';'", + "','", "'{'", "'}'", "'~'", "'!'" }; } private static final String[] _LITERAL_NAMES = makeLiteralNames(); @@ -56,8 +55,9 @@ public class WinxLexer extends Lexer { return new String[] { null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, - "ID", "STRING", "DESCRIPTION", "WS", "INT", "FLOAT", "LPAREN", "RPAREN", - "COLON", "SEMICOLON", "COMMA", "LBRACE", "RBRACE", "TILDE", "EXCLAM" + "ID", "STRING", "NEWLINE", "COMMENT", "WS", "INT", "FLOAT", "LPAREN", + "RPAREN", "COLON", "SEMICOLON", "COMMA", "LBRACE", "RBRACE", "TILDE", + "EXCLAM" }; } private static final String[] _SYMBOLIC_NAMES = makeSymbolicNames(); @@ -119,7 +119,7 @@ public class WinxLexer extends Lexer { public ATN getATN() { return _ATN; } public static final String _serializedATN = - "\u0004\u0000&\u0138\u0006\uffff\uffff\u0002\u0000\u0007\u0000\u0002\u0001"+ + "\u0004\u0000\'\u014c\u0006\uffff\uffff\u0002\u0000\u0007\u0000\u0002\u0001"+ "\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004"+ "\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007"+ "\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002\u000b"+ @@ -130,189 +130,203 @@ public class WinxLexer extends Lexer { "\u0018\u0007\u0018\u0002\u0019\u0007\u0019\u0002\u001a\u0007\u001a\u0002"+ "\u001b\u0007\u001b\u0002\u001c\u0007\u001c\u0002\u001d\u0007\u001d\u0002"+ "\u001e\u0007\u001e\u0002\u001f\u0007\u001f\u0002 \u0007 \u0002!\u0007"+ - "!\u0002\"\u0007\"\u0002#\u0007#\u0002$\u0007$\u0002%\u0007%\u0001\u0000"+ - "\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000"+ - "\u0001\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001"+ - "\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0002"+ + "!\u0002\"\u0007\"\u0002#\u0007#\u0002$\u0007$\u0002%\u0007%\u0002&\u0007"+ + "&\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000"+ + "\u0001\u0000\u0001\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001"+ + "\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001"+ "\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002"+ "\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002"+ - "\u0001\u0002\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003"+ + "\u0001\u0002\u0001\u0002\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003"+ "\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0003"+ - "\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005"+ - "\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0006\u0001\u0006\u0001\u0006"+ - "\u0001\u0006\u0001\u0007\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001"+ - "\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001\n\u0001"+ - "\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\u000b"+ - "\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b"+ - "\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0001\f\u0001\f\u0001\r\u0001"+ - "\r\u0001\r\u0001\r\u0001\r\u0001\r\u0001\u000e\u0001\u000e\u0001\u000e"+ - "\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000f\u0001\u000f"+ - "\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u0010"+ - "\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0010"+ - "\u0001\u0010\u0001\u0011\u0001\u0011\u0001\u0011\u0001\u0011\u0001\u0011"+ - "\u0001\u0012\u0001\u0012\u0001\u0012\u0001\u0012\u0001\u0012\u0001\u0013"+ - "\u0001\u0013\u0001\u0013\u0001\u0013\u0001\u0013\u0001\u0013\u0001\u0013"+ - "\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0014"+ - "\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0015\u0001\u0015"+ - "\u0001\u0015\u0001\u0015\u0001\u0015\u0001\u0015\u0001\u0015\u0001\u0015"+ - "\u0001\u0016\u0001\u0016\u0001\u0016\u0001\u0016\u0001\u0016\u0001\u0016"+ - "\u0001\u0016\u0001\u0016\u0001\u0017\u0004\u0017\u00f1\b\u0017\u000b\u0017"+ - "\f\u0017\u00f2\u0001\u0018\u0001\u0018\u0005\u0018\u00f7\b\u0018\n\u0018"+ - "\f\u0018\u00fa\t\u0018\u0001\u0018\u0001\u0018\u0001\u0019\u0001\u0019"+ - "\u0005\u0019\u0100\b\u0019\n\u0019\f\u0019\u0103\t\u0019\u0001\u0019\u0001"+ - "\u0019\u0001\u001a\u0004\u001a\u0108\b\u001a\u000b\u001a\f\u001a\u0109"+ - "\u0001\u001a\u0001\u001a\u0001\u001b\u0004\u001b\u010f\b\u001b\u000b\u001b"+ - "\f\u001b\u0110\u0001\u001c\u0004\u001c\u0114\b\u001c\u000b\u001c\f\u001c"+ - "\u0115\u0001\u001c\u0001\u001c\u0005\u001c\u011a\b\u001c\n\u001c\f\u001c"+ - "\u011d\t\u001c\u0001\u001c\u0001\u001c\u0004\u001c\u0121\b\u001c\u000b"+ - "\u001c\f\u001c\u0122\u0003\u001c\u0125\b\u001c\u0001\u001d\u0001\u001d"+ - "\u0001\u001e\u0001\u001e\u0001\u001f\u0001\u001f\u0001 \u0001 \u0001!"+ - "\u0001!\u0001\"\u0001\"\u0001#\u0001#\u0001$\u0001$\u0001%\u0001%\u0001"+ - "\u0101\u0000&\u0001\u0001\u0003\u0002\u0005\u0003\u0007\u0004\t\u0005"+ - "\u000b\u0006\r\u0007\u000f\b\u0011\t\u0013\n\u0015\u000b\u0017\f\u0019"+ - "\r\u001b\u000e\u001d\u000f\u001f\u0010!\u0011#\u0012%\u0013\'\u0014)\u0015"+ - "+\u0016-\u0017/\u00181\u00193\u001a5\u001b7\u001c9\u001d;\u001e=\u001f"+ - "? A!C\"E#G$I%K&\u0001\u0000\u0005\u0002\u0000AZaz\u0001\u0000\"\"\u0001"+ - "\u0000~~\u0003\u0000\t\n\r\r \u0001\u000009\u0140\u0000\u0001\u0001\u0000"+ - "\u0000\u0000\u0000\u0003\u0001\u0000\u0000\u0000\u0000\u0005\u0001\u0000"+ - "\u0000\u0000\u0000\u0007\u0001\u0000\u0000\u0000\u0000\t\u0001\u0000\u0000"+ - "\u0000\u0000\u000b\u0001\u0000\u0000\u0000\u0000\r\u0001\u0000\u0000\u0000"+ - "\u0000\u000f\u0001\u0000\u0000\u0000\u0000\u0011\u0001\u0000\u0000\u0000"+ - "\u0000\u0013\u0001\u0000\u0000\u0000\u0000\u0015\u0001\u0000\u0000\u0000"+ - "\u0000\u0017\u0001\u0000\u0000\u0000\u0000\u0019\u0001\u0000\u0000\u0000"+ - "\u0000\u001b\u0001\u0000\u0000\u0000\u0000\u001d\u0001\u0000\u0000\u0000"+ - "\u0000\u001f\u0001\u0000\u0000\u0000\u0000!\u0001\u0000\u0000\u0000\u0000"+ - "#\u0001\u0000\u0000\u0000\u0000%\u0001\u0000\u0000\u0000\u0000\'\u0001"+ - "\u0000\u0000\u0000\u0000)\u0001\u0000\u0000\u0000\u0000+\u0001\u0000\u0000"+ - "\u0000\u0000-\u0001\u0000\u0000\u0000\u0000/\u0001\u0000\u0000\u0000\u0000"+ - "1\u0001\u0000\u0000\u0000\u00003\u0001\u0000\u0000\u0000\u00005\u0001"+ - "\u0000\u0000\u0000\u00007\u0001\u0000\u0000\u0000\u00009\u0001\u0000\u0000"+ - "\u0000\u0000;\u0001\u0000\u0000\u0000\u0000=\u0001\u0000\u0000\u0000\u0000"+ - "?\u0001\u0000\u0000\u0000\u0000A\u0001\u0000\u0000\u0000\u0000C\u0001"+ - "\u0000\u0000\u0000\u0000E\u0001\u0000\u0000\u0000\u0000G\u0001\u0000\u0000"+ - "\u0000\u0000I\u0001\u0000\u0000\u0000\u0000K\u0001\u0000\u0000\u0000\u0001"+ - "M\u0001\u0000\u0000\u0000\u0003U\u0001\u0000\u0000\u0000\u0005_\u0001"+ - "\u0000\u0000\u0000\u0007m\u0001\u0000\u0000\u0000\tx\u0001\u0000\u0000"+ - "\u0000\u000bz\u0001\u0000\u0000\u0000\r\u0081\u0001\u0000\u0000\u0000"+ - "\u000f\u0085\u0001\u0000\u0000\u0000\u0011\u0088\u0001\u0000\u0000\u0000"+ - "\u0013\u008f\u0001\u0000\u0000\u0000\u0015\u0092\u0001\u0000\u0000\u0000"+ - "\u0017\u009b\u0001\u0000\u0000\u0000\u0019\u00a4\u0001\u0000\u0000\u0000"+ - "\u001b\u00a8\u0001\u0000\u0000\u0000\u001d\u00ae\u0001\u0000\u0000\u0000"+ - "\u001f\u00b5\u0001\u0000\u0000\u0000!\u00bc\u0001\u0000\u0000\u0000#\u00c4"+ - "\u0001\u0000\u0000\u0000%\u00c9\u0001\u0000\u0000\u0000\'\u00ce\u0001"+ - "\u0000\u0000\u0000)\u00d5\u0001\u0000\u0000\u0000+\u00df\u0001\u0000\u0000"+ - "\u0000-\u00e7\u0001\u0000\u0000\u0000/\u00f0\u0001\u0000\u0000\u00001"+ - "\u00f4\u0001\u0000\u0000\u00003\u00fd\u0001\u0000\u0000\u00005\u0107\u0001"+ - "\u0000\u0000\u00007\u010e\u0001\u0000\u0000\u00009\u0124\u0001\u0000\u0000"+ - "\u0000;\u0126\u0001\u0000\u0000\u0000=\u0128\u0001\u0000\u0000\u0000?"+ - "\u012a\u0001\u0000\u0000\u0000A\u012c\u0001\u0000\u0000\u0000C\u012e\u0001"+ - "\u0000\u0000\u0000E\u0130\u0001\u0000\u0000\u0000G\u0132\u0001\u0000\u0000"+ - "\u0000I\u0134\u0001\u0000\u0000\u0000K\u0136\u0001\u0000\u0000\u0000M"+ - "N\u0005p\u0000\u0000NO\u0005a\u0000\u0000OP\u0005c\u0000\u0000PQ\u0005"+ - "k\u0000\u0000QR\u0005a\u0000\u0000RS\u0005g\u0000\u0000ST\u0005e\u0000"+ - "\u0000T\u0002\u0001\u0000\u0000\u0000UV\u0005i\u0000\u0000VW\u0005n\u0000"+ - "\u0000WX\u0005t\u0000\u0000XY\u0005e\u0000\u0000YZ\u0005r\u0000\u0000"+ - "Z[\u0005f\u0000\u0000[\\\u0005a\u0000\u0000\\]\u0005c\u0000\u0000]^\u0005"+ - "e\u0000\u0000^\u0004\u0001\u0000\u0000\u0000_`\u0005s\u0000\u0000`a\u0005"+ - "p\u0000\u0000ab\u0005e\u0000\u0000bc\u0005c\u0000\u0000cd\u0005i\u0000"+ - "\u0000de\u0005f\u0000\u0000ef\u0005i\u0000\u0000fg\u0005c\u0000\u0000"+ - "gh\u0005a\u0000\u0000hi\u0005t\u0000\u0000ij\u0005i\u0000\u0000jk\u0005"+ - "o\u0000\u0000kl\u0005n\u0000\u0000l\u0006\u0001\u0000\u0000\u0000mn\u0005"+ - "i\u0000\u0000no\u0005m\u0000\u0000op\u0005p\u0000\u0000pq\u0005l\u0000"+ - "\u0000qr\u0005e\u0000\u0000rs\u0005m\u0000\u0000st\u0005e\u0000\u0000"+ - "tu\u0005n\u0000\u0000uv\u0005t\u0000\u0000vw\u0005s\u0000\u0000w\b\u0001"+ - "\u0000\u0000\u0000xy\u0005@\u0000\u0000y\n\u0001\u0000\u0000\u0000z{\u0005"+ - "r\u0000\u0000{|\u0005e\u0000\u0000|}\u0005s\u0000\u0000}~\u0005u\u0000"+ - "\u0000~\u007f\u0005l\u0000\u0000\u007f\u0080\u0005t\u0000\u0000\u0080"+ - "\f\u0001\u0000\u0000\u0000\u0081\u0082\u0005A\u0000\u0000\u0082\u0083"+ - "\u0005N\u0000\u0000\u0083\u0084\u0005D\u0000\u0000\u0084\u000e\u0001\u0000"+ - "\u0000\u0000\u0085\u0086\u0005O\u0000\u0000\u0086\u0087\u0005R\u0000\u0000"+ - "\u0087\u0010\u0001\u0000\u0000\u0000\u0088\u0089\u0005r\u0000\u0000\u0089"+ - "\u008a\u0005e\u0000\u0000\u008a\u008b\u0005t\u0000\u0000\u008b\u008c\u0005"+ - "u\u0000\u0000\u008c\u008d\u0005r\u0000\u0000\u008d\u008e\u0005n\u0000"+ - "\u0000\u008e\u0012\u0001\u0000\u0000\u0000\u008f\u0090\u0005[\u0000\u0000"+ - "\u0090\u0091\u0005]\u0000\u0000\u0091\u0014\u0001\u0000\u0000\u0000\u0092"+ - "\u0093\u0005c\u0000\u0000\u0093\u0094\u0005r\u0000\u0000\u0094\u0095\u0005"+ - "i\u0000\u0000\u0095\u0096\u0005t\u0000\u0000\u0096\u0097\u0005i\u0000"+ - "\u0000\u0097\u0098\u0005c\u0000\u0000\u0098\u0099\u0005a\u0000\u0000\u0099"+ - "\u009a\u0005l\u0000\u0000\u009a\u0016\u0001\u0000\u0000\u0000\u009b\u009c"+ - "\u0005o\u0000\u0000\u009c\u009d\u0005p\u0000\u0000\u009d\u009e\u0005t"+ - "\u0000\u0000\u009e\u009f\u0005i\u0000\u0000\u009f\u00a0\u0005o\u0000\u0000"+ - "\u00a0\u00a1\u0005n\u0000\u0000\u00a1\u00a2\u0005a\u0000\u0000\u00a2\u00a3"+ - "\u0005l\u0000\u0000\u00a3\u0018\u0001\u0000\u0000\u0000\u00a4\u00a5\u0005"+ - "I\u0000\u0000\u00a5\u00a6\u0005N\u0000\u0000\u00a6\u00a7\u0005T\u0000"+ - "\u0000\u00a7\u001a\u0001\u0000\u0000\u0000\u00a8\u00a9\u0005F\u0000\u0000"+ - "\u00a9\u00aa\u0005L\u0000\u0000\u00aa\u00ab\u0005O\u0000\u0000\u00ab\u00ac"+ - "\u0005A\u0000\u0000\u00ac\u00ad\u0005T\u0000\u0000\u00ad\u001c\u0001\u0000"+ - "\u0000\u0000\u00ae\u00af\u0005D\u0000\u0000\u00af\u00b0\u0005O\u0000\u0000"+ - "\u00b0\u00b1\u0005U\u0000\u0000\u00b1\u00b2\u0005B\u0000\u0000\u00b2\u00b3"+ - "\u0005L\u0000\u0000\u00b3\u00b4\u0005E\u0000\u0000\u00b4\u001e\u0001\u0000"+ - "\u0000\u0000\u00b5\u00b6\u0005S\u0000\u0000\u00b6\u00b7\u0005T\u0000\u0000"+ - "\u00b7\u00b8\u0005R\u0000\u0000\u00b8\u00b9\u0005I\u0000\u0000\u00b9\u00ba"+ - "\u0005N\u0000\u0000\u00ba\u00bb\u0005G\u0000\u0000\u00bb \u0001\u0000"+ - "\u0000\u0000\u00bc\u00bd\u0005B\u0000\u0000\u00bd\u00be\u0005O\u0000\u0000"+ - "\u00be\u00bf\u0005O\u0000\u0000\u00bf\u00c0\u0005L\u0000\u0000\u00c0\u00c1"+ - "\u0005E\u0000\u0000\u00c1\u00c2\u0005A\u0000\u0000\u00c2\u00c3\u0005N"+ - "\u0000\u0000\u00c3\"\u0001\u0000\u0000\u0000\u00c4\u00c5\u0005C\u0000"+ - "\u0000\u00c5\u00c6\u0005H\u0000\u0000\u00c6\u00c7\u0005A\u0000\u0000\u00c7"+ - "\u00c8\u0005R\u0000\u0000\u00c8$\u0001\u0000\u0000\u0000\u00c9\u00ca\u0005"+ - "V\u0000\u0000\u00ca\u00cb\u0005O\u0000\u0000\u00cb\u00cc\u0005I\u0000"+ - "\u0000\u00cc\u00cd\u0005D\u0000\u0000\u00cd&\u0001\u0000\u0000\u0000\u00ce"+ - "\u00cf\u0005p\u0000\u0000\u00cf\u00d0\u0005u\u0000\u0000\u00d0\u00d1\u0005"+ - "b\u0000\u0000\u00d1\u00d2\u0005l\u0000\u0000\u00d2\u00d3\u0005i\u0000"+ - "\u0000\u00d3\u00d4\u0005c\u0000\u0000\u00d4(\u0001\u0000\u0000\u0000\u00d5"+ - "\u00d6\u0005p\u0000\u0000\u00d6\u00d7\u0005r\u0000\u0000\u00d7\u00d8\u0005"+ - "o\u0000\u0000\u00d8\u00d9\u0005t\u0000\u0000\u00d9\u00da\u0005e\u0000"+ - "\u0000\u00da\u00db\u0005c\u0000\u0000\u00db\u00dc\u0005t\u0000\u0000\u00dc"+ - "\u00dd\u0005e\u0000\u0000\u00dd\u00de\u0005d\u0000\u0000\u00de*\u0001"+ - "\u0000\u0000\u0000\u00df\u00e0\u0005p\u0000\u0000\u00e0\u00e1\u0005r\u0000"+ - "\u0000\u00e1\u00e2\u0005i\u0000\u0000\u00e2\u00e3\u0005v\u0000\u0000\u00e3"+ - "\u00e4\u0005a\u0000\u0000\u00e4\u00e5\u0005t\u0000\u0000\u00e5\u00e6\u0005"+ - "e\u0000\u0000\u00e6,\u0001\u0000\u0000\u0000\u00e7\u00e8\u0005d\u0000"+ - "\u0000\u00e8\u00e9\u0005e\u0000\u0000\u00e9\u00ea\u0005f\u0000\u0000\u00ea"+ - "\u00eb\u0005a\u0000\u0000\u00eb\u00ec\u0005u\u0000\u0000\u00ec\u00ed\u0005"+ - "l\u0000\u0000\u00ed\u00ee\u0005t\u0000\u0000\u00ee.\u0001\u0000\u0000"+ - "\u0000\u00ef\u00f1\u0007\u0000\u0000\u0000\u00f0\u00ef\u0001\u0000\u0000"+ - "\u0000\u00f1\u00f2\u0001\u0000\u0000\u0000\u00f2\u00f0\u0001\u0000\u0000"+ - "\u0000\u00f2\u00f3\u0001\u0000\u0000\u0000\u00f30\u0001\u0000\u0000\u0000"+ - "\u00f4\u00f8\u0005\"\u0000\u0000\u00f5\u00f7\b\u0001\u0000\u0000\u00f6"+ - "\u00f5\u0001\u0000\u0000\u0000\u00f7\u00fa\u0001\u0000\u0000\u0000\u00f8"+ - "\u00f6\u0001\u0000\u0000\u0000\u00f8\u00f9\u0001\u0000\u0000\u0000\u00f9"+ - "\u00fb\u0001\u0000\u0000\u0000\u00fa\u00f8\u0001\u0000\u0000\u0000\u00fb"+ - "\u00fc\u0005\"\u0000\u0000\u00fc2\u0001\u0000\u0000\u0000\u00fd\u0101"+ - "\u0005~\u0000\u0000\u00fe\u0100\b\u0002\u0000\u0000\u00ff\u00fe\u0001"+ - "\u0000\u0000\u0000\u0100\u0103\u0001\u0000\u0000\u0000\u0101\u0102\u0001"+ - "\u0000\u0000\u0000\u0101\u00ff\u0001\u0000\u0000\u0000\u0102\u0104\u0001"+ - "\u0000\u0000\u0000\u0103\u0101\u0001\u0000\u0000\u0000\u0104\u0105\u0005"+ - "~\u0000\u0000\u01054\u0001\u0000\u0000\u0000\u0106\u0108\u0007\u0003\u0000"+ - "\u0000\u0107\u0106\u0001\u0000\u0000\u0000\u0108\u0109\u0001\u0000\u0000"+ - "\u0000\u0109\u0107\u0001\u0000\u0000\u0000\u0109\u010a\u0001\u0000\u0000"+ - "\u0000\u010a\u010b\u0001\u0000\u0000\u0000\u010b\u010c\u0006\u001a\u0000"+ - "\u0000\u010c6\u0001\u0000\u0000\u0000\u010d\u010f\u0007\u0004\u0000\u0000"+ - "\u010e\u010d\u0001\u0000\u0000\u0000\u010f\u0110\u0001\u0000\u0000\u0000"+ - "\u0110\u010e\u0001\u0000\u0000\u0000\u0110\u0111\u0001\u0000\u0000\u0000"+ - "\u01118\u0001\u0000\u0000\u0000\u0112\u0114\u0007\u0004\u0000\u0000\u0113"+ - "\u0112\u0001\u0000\u0000\u0000\u0114\u0115\u0001\u0000\u0000\u0000\u0115"+ - "\u0113\u0001\u0000\u0000\u0000\u0115\u0116\u0001\u0000\u0000\u0000\u0116"+ - "\u0117\u0001\u0000\u0000\u0000\u0117\u011b\u0005.\u0000\u0000\u0118\u011a"+ - "\u0007\u0004\u0000\u0000\u0119\u0118\u0001\u0000\u0000\u0000\u011a\u011d"+ - "\u0001\u0000\u0000\u0000\u011b\u0119\u0001\u0000\u0000\u0000\u011b\u011c"+ - "\u0001\u0000\u0000\u0000\u011c\u0125\u0001\u0000\u0000\u0000\u011d\u011b"+ - "\u0001\u0000\u0000\u0000\u011e\u0120\u0005.\u0000\u0000\u011f\u0121\u0007"+ - "\u0004\u0000\u0000\u0120\u011f\u0001\u0000\u0000\u0000\u0121\u0122\u0001"+ - "\u0000\u0000\u0000\u0122\u0120\u0001\u0000\u0000\u0000\u0122\u0123\u0001"+ - "\u0000\u0000\u0000\u0123\u0125\u0001\u0000\u0000\u0000\u0124\u0113\u0001"+ - "\u0000\u0000\u0000\u0124\u011e\u0001\u0000\u0000\u0000\u0125:\u0001\u0000"+ - "\u0000\u0000\u0126\u0127\u0005(\u0000\u0000\u0127<\u0001\u0000\u0000\u0000"+ - "\u0128\u0129\u0005)\u0000\u0000\u0129>\u0001\u0000\u0000\u0000\u012a\u012b"+ - "\u0005:\u0000\u0000\u012b@\u0001\u0000\u0000\u0000\u012c\u012d\u0005;"+ - "\u0000\u0000\u012dB\u0001\u0000\u0000\u0000\u012e\u012f\u0005,\u0000\u0000"+ - "\u012fD\u0001\u0000\u0000\u0000\u0130\u0131\u0005{\u0000\u0000\u0131F"+ - "\u0001\u0000\u0000\u0000\u0132\u0133\u0005}\u0000\u0000\u0133H\u0001\u0000"+ - "\u0000\u0000\u0134\u0135\u0005~\u0000\u0000\u0135J\u0001\u0000\u0000\u0000"+ - "\u0136\u0137\u0005!\u0000\u0000\u0137L\u0001\u0000\u0000\u0000\n\u0000"+ - "\u00f2\u00f8\u0101\u0109\u0110\u0115\u011b\u0122\u0124\u0001\u0006\u0000"+ - "\u0000"; + "\u0001\u0003\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0005"+ + "\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0006\u0001\u0006"+ + "\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\u0007\u0001\b\u0001"+ + "\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001"+ + "\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001"+ + "\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001"+ + "\u000b\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0001\f\u0001\f\u0001\r"+ + "\u0001\r\u0001\r\u0001\r\u0001\r\u0001\r\u0001\u000e\u0001\u000e\u0001"+ + "\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000f\u0001"+ + "\u000f\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u000f\u0001"+ + "\u0010\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0010\u0001"+ + "\u0010\u0001\u0010\u0001\u0011\u0001\u0011\u0001\u0011\u0001\u0011\u0001"+ + "\u0011\u0001\u0012\u0001\u0012\u0001\u0012\u0001\u0012\u0001\u0012\u0001"+ + "\u0013\u0001\u0013\u0001\u0013\u0001\u0013\u0001\u0013\u0001\u0013\u0001"+ + "\u0013\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0014\u0001"+ + "\u0014\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0015\u0001"+ + "\u0015\u0001\u0015\u0001\u0015\u0001\u0015\u0001\u0015\u0001\u0015\u0001"+ + "\u0015\u0001\u0016\u0001\u0016\u0001\u0016\u0001\u0016\u0001\u0016\u0001"+ + "\u0016\u0001\u0016\u0001\u0016\u0001\u0017\u0004\u0017\u00f3\b\u0017\u000b"+ + "\u0017\f\u0017\u00f4\u0001\u0018\u0001\u0018\u0005\u0018\u00f9\b\u0018"+ + "\n\u0018\f\u0018\u00fc\t\u0018\u0001\u0018\u0001\u0018\u0001\u0019\u0004"+ + "\u0019\u0101\b\u0019\u000b\u0019\f\u0019\u0102\u0001\u0019\u0001\u0019"+ + "\u0001\u001a\u0001\u001a\u0005\u001a\u0109\b\u001a\n\u001a\f\u001a\u010c"+ + "\t\u001a\u0001\u001a\u0001\u001a\u0001\u001a\u0001\u001a\u0001\u001a\u0005"+ + "\u001a\u0113\b\u001a\n\u001a\f\u001a\u0116\t\u001a\u0001\u001a\u0003\u001a"+ + "\u0119\b\u001a\u0001\u001b\u0004\u001b\u011c\b\u001b\u000b\u001b\f\u001b"+ + "\u011d\u0001\u001b\u0001\u001b\u0001\u001c\u0004\u001c\u0123\b\u001c\u000b"+ + "\u001c\f\u001c\u0124\u0001\u001d\u0004\u001d\u0128\b\u001d\u000b\u001d"+ + "\f\u001d\u0129\u0001\u001d\u0001\u001d\u0005\u001d\u012e\b\u001d\n\u001d"+ + "\f\u001d\u0131\t\u001d\u0001\u001d\u0001\u001d\u0004\u001d\u0135\b\u001d"+ + "\u000b\u001d\f\u001d\u0136\u0003\u001d\u0139\b\u001d\u0001\u001e\u0001"+ + "\u001e\u0001\u001f\u0001\u001f\u0001 \u0001 \u0001!\u0001!\u0001\"\u0001"+ + "\"\u0001#\u0001#\u0001$\u0001$\u0001%\u0001%\u0001&\u0001&\u0001\u010a"+ + "\u0000\'\u0001\u0001\u0003\u0002\u0005\u0003\u0007\u0004\t\u0005\u000b"+ + "\u0006\r\u0007\u000f\b\u0011\t\u0013\n\u0015\u000b\u0017\f\u0019\r\u001b"+ + "\u000e\u001d\u000f\u001f\u0010!\u0011#\u0012%\u0013\'\u0014)\u0015+\u0016"+ + "-\u0017/\u00181\u00193\u001a5\u001b7\u001c9\u001d;\u001e=\u001f? A!C\""+ + "E#G$I%K&M\'\u0001\u0000\u0006\u0002\u0000AZaz\u0001\u0000\"\"\u0002\u0000"+ + "\n\n\r\r\u0001\u0000~~\u0003\u0000\t\n\r\r \u0001\u000009\u0157\u0000"+ + "\u0001\u0001\u0000\u0000\u0000\u0000\u0003\u0001\u0000\u0000\u0000\u0000"+ + "\u0005\u0001\u0000\u0000\u0000\u0000\u0007\u0001\u0000\u0000\u0000\u0000"+ + "\t\u0001\u0000\u0000\u0000\u0000\u000b\u0001\u0000\u0000\u0000\u0000\r"+ + "\u0001\u0000\u0000\u0000\u0000\u000f\u0001\u0000\u0000\u0000\u0000\u0011"+ + "\u0001\u0000\u0000\u0000\u0000\u0013\u0001\u0000\u0000\u0000\u0000\u0015"+ + "\u0001\u0000\u0000\u0000\u0000\u0017\u0001\u0000\u0000\u0000\u0000\u0019"+ + "\u0001\u0000\u0000\u0000\u0000\u001b\u0001\u0000\u0000\u0000\u0000\u001d"+ + "\u0001\u0000\u0000\u0000\u0000\u001f\u0001\u0000\u0000\u0000\u0000!\u0001"+ + "\u0000\u0000\u0000\u0000#\u0001\u0000\u0000\u0000\u0000%\u0001\u0000\u0000"+ + "\u0000\u0000\'\u0001\u0000\u0000\u0000\u0000)\u0001\u0000\u0000\u0000"+ + "\u0000+\u0001\u0000\u0000\u0000\u0000-\u0001\u0000\u0000\u0000\u0000/"+ + "\u0001\u0000\u0000\u0000\u00001\u0001\u0000\u0000\u0000\u00003\u0001\u0000"+ + "\u0000\u0000\u00005\u0001\u0000\u0000\u0000\u00007\u0001\u0000\u0000\u0000"+ + "\u00009\u0001\u0000\u0000\u0000\u0000;\u0001\u0000\u0000\u0000\u0000="+ + "\u0001\u0000\u0000\u0000\u0000?\u0001\u0000\u0000\u0000\u0000A\u0001\u0000"+ + "\u0000\u0000\u0000C\u0001\u0000\u0000\u0000\u0000E\u0001\u0000\u0000\u0000"+ + "\u0000G\u0001\u0000\u0000\u0000\u0000I\u0001\u0000\u0000\u0000\u0000K"+ + "\u0001\u0000\u0000\u0000\u0000M\u0001\u0000\u0000\u0000\u0001O\u0001\u0000"+ + "\u0000\u0000\u0003W\u0001\u0000\u0000\u0000\u0005a\u0001\u0000\u0000\u0000"+ + "\u0007o\u0001\u0000\u0000\u0000\tz\u0001\u0000\u0000\u0000\u000b|\u0001"+ + "\u0000\u0000\u0000\r\u0083\u0001\u0000\u0000\u0000\u000f\u0087\u0001\u0000"+ + "\u0000\u0000\u0011\u008a\u0001\u0000\u0000\u0000\u0013\u0091\u0001\u0000"+ + "\u0000\u0000\u0015\u0094\u0001\u0000\u0000\u0000\u0017\u009d\u0001\u0000"+ + "\u0000\u0000\u0019\u00a6\u0001\u0000\u0000\u0000\u001b\u00aa\u0001\u0000"+ + "\u0000\u0000\u001d\u00b0\u0001\u0000\u0000\u0000\u001f\u00b7\u0001\u0000"+ + "\u0000\u0000!\u00be\u0001\u0000\u0000\u0000#\u00c6\u0001\u0000\u0000\u0000"+ + "%\u00cb\u0001\u0000\u0000\u0000\'\u00d0\u0001\u0000\u0000\u0000)\u00d7"+ + "\u0001\u0000\u0000\u0000+\u00e1\u0001\u0000\u0000\u0000-\u00e9\u0001\u0000"+ + "\u0000\u0000/\u00f2\u0001\u0000\u0000\u00001\u00f6\u0001\u0000\u0000\u0000"+ + "3\u0100\u0001\u0000\u0000\u00005\u0118\u0001\u0000\u0000\u00007\u011b"+ + "\u0001\u0000\u0000\u00009\u0122\u0001\u0000\u0000\u0000;\u0138\u0001\u0000"+ + "\u0000\u0000=\u013a\u0001\u0000\u0000\u0000?\u013c\u0001\u0000\u0000\u0000"+ + "A\u013e\u0001\u0000\u0000\u0000C\u0140\u0001\u0000\u0000\u0000E\u0142"+ + "\u0001\u0000\u0000\u0000G\u0144\u0001\u0000\u0000\u0000I\u0146\u0001\u0000"+ + "\u0000\u0000K\u0148\u0001\u0000\u0000\u0000M\u014a\u0001\u0000\u0000\u0000"+ + "OP\u0005p\u0000\u0000PQ\u0005a\u0000\u0000QR\u0005c\u0000\u0000RS\u0005"+ + "k\u0000\u0000ST\u0005a\u0000\u0000TU\u0005g\u0000\u0000UV\u0005e\u0000"+ + "\u0000V\u0002\u0001\u0000\u0000\u0000WX\u0005i\u0000\u0000XY\u0005n\u0000"+ + "\u0000YZ\u0005t\u0000\u0000Z[\u0005e\u0000\u0000[\\\u0005r\u0000\u0000"+ + "\\]\u0005f\u0000\u0000]^\u0005a\u0000\u0000^_\u0005c\u0000\u0000_`\u0005"+ + "e\u0000\u0000`\u0004\u0001\u0000\u0000\u0000ab\u0005s\u0000\u0000bc\u0005"+ + "p\u0000\u0000cd\u0005e\u0000\u0000de\u0005c\u0000\u0000ef\u0005i\u0000"+ + "\u0000fg\u0005f\u0000\u0000gh\u0005i\u0000\u0000hi\u0005c\u0000\u0000"+ + "ij\u0005a\u0000\u0000jk\u0005t\u0000\u0000kl\u0005i\u0000\u0000lm\u0005"+ + "o\u0000\u0000mn\u0005n\u0000\u0000n\u0006\u0001\u0000\u0000\u0000op\u0005"+ + "i\u0000\u0000pq\u0005m\u0000\u0000qr\u0005p\u0000\u0000rs\u0005l\u0000"+ + "\u0000st\u0005e\u0000\u0000tu\u0005m\u0000\u0000uv\u0005e\u0000\u0000"+ + "vw\u0005n\u0000\u0000wx\u0005t\u0000\u0000xy\u0005s\u0000\u0000y\b\u0001"+ + "\u0000\u0000\u0000z{\u0005@\u0000\u0000{\n\u0001\u0000\u0000\u0000|}\u0005"+ + "r\u0000\u0000}~\u0005e\u0000\u0000~\u007f\u0005s\u0000\u0000\u007f\u0080"+ + "\u0005u\u0000\u0000\u0080\u0081\u0005l\u0000\u0000\u0081\u0082\u0005t"+ + "\u0000\u0000\u0082\f\u0001\u0000\u0000\u0000\u0083\u0084\u0005A\u0000"+ + "\u0000\u0084\u0085\u0005N\u0000\u0000\u0085\u0086\u0005D\u0000\u0000\u0086"+ + "\u000e\u0001\u0000\u0000\u0000\u0087\u0088\u0005O\u0000\u0000\u0088\u0089"+ + "\u0005R\u0000\u0000\u0089\u0010\u0001\u0000\u0000\u0000\u008a\u008b\u0005"+ + "r\u0000\u0000\u008b\u008c\u0005e\u0000\u0000\u008c\u008d\u0005t\u0000"+ + "\u0000\u008d\u008e\u0005u\u0000\u0000\u008e\u008f\u0005r\u0000\u0000\u008f"+ + "\u0090\u0005n\u0000\u0000\u0090\u0012\u0001\u0000\u0000\u0000\u0091\u0092"+ + "\u0005[\u0000\u0000\u0092\u0093\u0005]\u0000\u0000\u0093\u0014\u0001\u0000"+ + "\u0000\u0000\u0094\u0095\u0005c\u0000\u0000\u0095\u0096\u0005r\u0000\u0000"+ + "\u0096\u0097\u0005i\u0000\u0000\u0097\u0098\u0005t\u0000\u0000\u0098\u0099"+ + "\u0005i\u0000\u0000\u0099\u009a\u0005c\u0000\u0000\u009a\u009b\u0005a"+ + "\u0000\u0000\u009b\u009c\u0005l\u0000\u0000\u009c\u0016\u0001\u0000\u0000"+ + "\u0000\u009d\u009e\u0005o\u0000\u0000\u009e\u009f\u0005p\u0000\u0000\u009f"+ + "\u00a0\u0005t\u0000\u0000\u00a0\u00a1\u0005i\u0000\u0000\u00a1\u00a2\u0005"+ + "o\u0000\u0000\u00a2\u00a3\u0005n\u0000\u0000\u00a3\u00a4\u0005a\u0000"+ + "\u0000\u00a4\u00a5\u0005l\u0000\u0000\u00a5\u0018\u0001\u0000\u0000\u0000"+ + "\u00a6\u00a7\u0005I\u0000\u0000\u00a7\u00a8\u0005N\u0000\u0000\u00a8\u00a9"+ + "\u0005T\u0000\u0000\u00a9\u001a\u0001\u0000\u0000\u0000\u00aa\u00ab\u0005"+ + "F\u0000\u0000\u00ab\u00ac\u0005L\u0000\u0000\u00ac\u00ad\u0005O\u0000"+ + "\u0000\u00ad\u00ae\u0005A\u0000\u0000\u00ae\u00af\u0005T\u0000\u0000\u00af"+ + "\u001c\u0001\u0000\u0000\u0000\u00b0\u00b1\u0005D\u0000\u0000\u00b1\u00b2"+ + "\u0005O\u0000\u0000\u00b2\u00b3\u0005U\u0000\u0000\u00b3\u00b4\u0005B"+ + "\u0000\u0000\u00b4\u00b5\u0005L\u0000\u0000\u00b5\u00b6\u0005E\u0000\u0000"+ + "\u00b6\u001e\u0001\u0000\u0000\u0000\u00b7\u00b8\u0005S\u0000\u0000\u00b8"+ + "\u00b9\u0005T\u0000\u0000\u00b9\u00ba\u0005R\u0000\u0000\u00ba\u00bb\u0005"+ + "I\u0000\u0000\u00bb\u00bc\u0005N\u0000\u0000\u00bc\u00bd\u0005G\u0000"+ + "\u0000\u00bd \u0001\u0000\u0000\u0000\u00be\u00bf\u0005B\u0000\u0000\u00bf"+ + "\u00c0\u0005O\u0000\u0000\u00c0\u00c1\u0005O\u0000\u0000\u00c1\u00c2\u0005"+ + "L\u0000\u0000\u00c2\u00c3\u0005E\u0000\u0000\u00c3\u00c4\u0005A\u0000"+ + "\u0000\u00c4\u00c5\u0005N\u0000\u0000\u00c5\"\u0001\u0000\u0000\u0000"+ + "\u00c6\u00c7\u0005C\u0000\u0000\u00c7\u00c8\u0005H\u0000\u0000\u00c8\u00c9"+ + "\u0005A\u0000\u0000\u00c9\u00ca\u0005R\u0000\u0000\u00ca$\u0001\u0000"+ + "\u0000\u0000\u00cb\u00cc\u0005V\u0000\u0000\u00cc\u00cd\u0005O\u0000\u0000"+ + "\u00cd\u00ce\u0005I\u0000\u0000\u00ce\u00cf\u0005D\u0000\u0000\u00cf&"+ + "\u0001\u0000\u0000\u0000\u00d0\u00d1\u0005p\u0000\u0000\u00d1\u00d2\u0005"+ + "u\u0000\u0000\u00d2\u00d3\u0005b\u0000\u0000\u00d3\u00d4\u0005l\u0000"+ + "\u0000\u00d4\u00d5\u0005i\u0000\u0000\u00d5\u00d6\u0005c\u0000\u0000\u00d6"+ + "(\u0001\u0000\u0000\u0000\u00d7\u00d8\u0005p\u0000\u0000\u00d8\u00d9\u0005"+ + "r\u0000\u0000\u00d9\u00da\u0005o\u0000\u0000\u00da\u00db\u0005t\u0000"+ + "\u0000\u00db\u00dc\u0005e\u0000\u0000\u00dc\u00dd\u0005c\u0000\u0000\u00dd"+ + "\u00de\u0005t\u0000\u0000\u00de\u00df\u0005e\u0000\u0000\u00df\u00e0\u0005"+ + "d\u0000\u0000\u00e0*\u0001\u0000\u0000\u0000\u00e1\u00e2\u0005p\u0000"+ + "\u0000\u00e2\u00e3\u0005r\u0000\u0000\u00e3\u00e4\u0005i\u0000\u0000\u00e4"+ + "\u00e5\u0005v\u0000\u0000\u00e5\u00e6\u0005a\u0000\u0000\u00e6\u00e7\u0005"+ + "t\u0000\u0000\u00e7\u00e8\u0005e\u0000\u0000\u00e8,\u0001\u0000\u0000"+ + "\u0000\u00e9\u00ea\u0005d\u0000\u0000\u00ea\u00eb\u0005e\u0000\u0000\u00eb"+ + "\u00ec\u0005f\u0000\u0000\u00ec\u00ed\u0005a\u0000\u0000\u00ed\u00ee\u0005"+ + "u\u0000\u0000\u00ee\u00ef\u0005l\u0000\u0000\u00ef\u00f0\u0005t\u0000"+ + "\u0000\u00f0.\u0001\u0000\u0000\u0000\u00f1\u00f3\u0007\u0000\u0000\u0000"+ + "\u00f2\u00f1\u0001\u0000\u0000\u0000\u00f3\u00f4\u0001\u0000\u0000\u0000"+ + "\u00f4\u00f2\u0001\u0000\u0000\u0000\u00f4\u00f5\u0001\u0000\u0000\u0000"+ + "\u00f50\u0001\u0000\u0000\u0000\u00f6\u00fa\u0005\"\u0000\u0000\u00f7"+ + "\u00f9\b\u0001\u0000\u0000\u00f8\u00f7\u0001\u0000\u0000\u0000\u00f9\u00fc"+ + "\u0001\u0000\u0000\u0000\u00fa\u00f8\u0001\u0000\u0000\u0000\u00fa\u00fb"+ + "\u0001\u0000\u0000\u0000\u00fb\u00fd\u0001\u0000\u0000\u0000\u00fc\u00fa"+ + "\u0001\u0000\u0000\u0000\u00fd\u00fe\u0005\"\u0000\u0000\u00fe2\u0001"+ + "\u0000\u0000\u0000\u00ff\u0101\u0007\u0002\u0000\u0000\u0100\u00ff\u0001"+ + "\u0000\u0000\u0000\u0101\u0102\u0001\u0000\u0000\u0000\u0102\u0100\u0001"+ + "\u0000\u0000\u0000\u0102\u0103\u0001\u0000\u0000\u0000\u0103\u0104\u0001"+ + "\u0000\u0000\u0000\u0104\u0105\u0006\u0019\u0000\u0000\u01054\u0001\u0000"+ + "\u0000\u0000\u0106\u010a\u0005~\u0000\u0000\u0107\u0109\b\u0003\u0000"+ + "\u0000\u0108\u0107\u0001\u0000\u0000\u0000\u0109\u010c\u0001\u0000\u0000"+ + "\u0000\u010a\u010b\u0001\u0000\u0000\u0000\u010a\u0108\u0001\u0000\u0000"+ + "\u0000\u010b\u010d\u0001\u0000\u0000\u0000\u010c\u010a\u0001\u0000\u0000"+ + "\u0000\u010d\u0119\u0005~\u0000\u0000\u010e\u010f\u0005/\u0000\u0000\u010f"+ + "\u0110\u0005/\u0000\u0000\u0110\u0114\u0001\u0000\u0000\u0000\u0111\u0113"+ + "\b\u0002\u0000\u0000\u0112\u0111\u0001\u0000\u0000\u0000\u0113\u0116\u0001"+ + "\u0000\u0000\u0000\u0114\u0112\u0001\u0000\u0000\u0000\u0114\u0115\u0001"+ + "\u0000\u0000\u0000\u0115\u0117\u0001\u0000\u0000\u0000\u0116\u0114\u0001"+ + "\u0000\u0000\u0000\u0117\u0119\u00033\u0019\u0000\u0118\u0106\u0001\u0000"+ + "\u0000\u0000\u0118\u010e\u0001\u0000\u0000\u0000\u01196\u0001\u0000\u0000"+ + "\u0000\u011a\u011c\u0007\u0004\u0000\u0000\u011b\u011a\u0001\u0000\u0000"+ + "\u0000\u011c\u011d\u0001\u0000\u0000\u0000\u011d\u011b\u0001\u0000\u0000"+ + "\u0000\u011d\u011e\u0001\u0000\u0000\u0000\u011e\u011f\u0001\u0000\u0000"+ + "\u0000\u011f\u0120\u0006\u001b\u0000\u0000\u01208\u0001\u0000\u0000\u0000"+ + "\u0121\u0123\u0007\u0005\u0000\u0000\u0122\u0121\u0001\u0000\u0000\u0000"+ + "\u0123\u0124\u0001\u0000\u0000\u0000\u0124\u0122\u0001\u0000\u0000\u0000"+ + "\u0124\u0125\u0001\u0000\u0000\u0000\u0125:\u0001\u0000\u0000\u0000\u0126"+ + "\u0128\u0007\u0005\u0000\u0000\u0127\u0126\u0001\u0000\u0000\u0000\u0128"+ + "\u0129\u0001\u0000\u0000\u0000\u0129\u0127\u0001\u0000\u0000\u0000\u0129"+ + "\u012a\u0001\u0000\u0000\u0000\u012a\u012b\u0001\u0000\u0000\u0000\u012b"+ + "\u012f\u0005.\u0000\u0000\u012c\u012e\u0007\u0005\u0000\u0000\u012d\u012c"+ + "\u0001\u0000\u0000\u0000\u012e\u0131\u0001\u0000\u0000\u0000\u012f\u012d"+ + "\u0001\u0000\u0000\u0000\u012f\u0130\u0001\u0000\u0000\u0000\u0130\u0139"+ + "\u0001\u0000\u0000\u0000\u0131\u012f\u0001\u0000\u0000\u0000\u0132\u0134"+ + "\u0005.\u0000\u0000\u0133\u0135\u0007\u0005\u0000\u0000\u0134\u0133\u0001"+ + "\u0000\u0000\u0000\u0135\u0136\u0001\u0000\u0000\u0000\u0136\u0134\u0001"+ + "\u0000\u0000\u0000\u0136\u0137\u0001\u0000\u0000\u0000\u0137\u0139\u0001"+ + "\u0000\u0000\u0000\u0138\u0127\u0001\u0000\u0000\u0000\u0138\u0132\u0001"+ + "\u0000\u0000\u0000\u0139<\u0001\u0000\u0000\u0000\u013a\u013b\u0005(\u0000"+ + "\u0000\u013b>\u0001\u0000\u0000\u0000\u013c\u013d\u0005)\u0000\u0000\u013d"+ + "@\u0001\u0000\u0000\u0000\u013e\u013f\u0005:\u0000\u0000\u013fB\u0001"+ + "\u0000\u0000\u0000\u0140\u0141\u0005;\u0000\u0000\u0141D\u0001\u0000\u0000"+ + "\u0000\u0142\u0143\u0005,\u0000\u0000\u0143F\u0001\u0000\u0000\u0000\u0144"+ + "\u0145\u0005{\u0000\u0000\u0145H\u0001\u0000\u0000\u0000\u0146\u0147\u0005"+ + "}\u0000\u0000\u0147J\u0001\u0000\u0000\u0000\u0148\u0149\u0005~\u0000"+ + "\u0000\u0149L\u0001\u0000\u0000\u0000\u014a\u014b\u0005!\u0000\u0000\u014b"+ + "N\u0001\u0000\u0000\u0000\r\u0000\u00f4\u00fa\u0102\u010a\u0114\u0118"+ + "\u011d\u0124\u0129\u012f\u0136\u0138\u0001\u0006\u0000\u0000"; public static final ATN _ATN = new ATNDeserializer().deserialize(_serializedATN.toCharArray()); static { diff --git a/src/main/java/org/lumijiez/parser/WinxLexer.tokens b/src/main/java/org/lumijiez/parser/WinxLexer.tokens index 217c3c6..811296c 100644 --- a/src/main/java/org/lumijiez/parser/WinxLexer.tokens +++ b/src/main/java/org/lumijiez/parser/WinxLexer.tokens @@ -23,19 +23,20 @@ T__21=22 T__22=23 ID=24 STRING=25 -DESCRIPTION=26 -WS=27 -INT=28 -FLOAT=29 -LPAREN=30 -RPAREN=31 -COLON=32 -SEMICOLON=33 -COMMA=34 -LBRACE=35 -RBRACE=36 -TILDE=37 -EXCLAM=38 +NEWLINE=26 +COMMENT=27 +WS=28 +INT=29 +FLOAT=30 +LPAREN=31 +RPAREN=32 +COLON=33 +SEMICOLON=34 +COMMA=35 +LBRACE=36 +RBRACE=37 +TILDE=38 +EXCLAM=39 'package'=1 'interface'=2 'specification'=3 @@ -59,12 +60,12 @@ EXCLAM=38 'protected'=21 'private'=22 'default'=23 -'('=30 -')'=31 -':'=32 -';'=33 -','=34 -'{'=35 -'}'=36 -'~'=37 -'!'=38 +'('=31 +')'=32 +':'=33 +';'=34 +','=35 +'{'=36 +'}'=37 +'~'=38 +'!'=39 diff --git a/src/main/java/org/lumijiez/parser/WinxListener.java b/src/main/java/org/lumijiez/parser/WinxListener.java index 1916c0d..64adfd7 100644 --- a/src/main/java/org/lumijiez/parser/WinxListener.java +++ b/src/main/java/org/lumijiez/parser/WinxListener.java @@ -58,35 +58,25 @@ public interface WinxListener extends ParseTreeListener { */ void exitSpecification(WinxParser.SpecificationContext ctx); /** - * Enter a parse tree produced by {@link WinxParser#interface_body}. + * Enter a parse tree produced by {@link WinxParser#spec_body}. * @param ctx the parse tree */ - void enterInterface_body(WinxParser.Interface_bodyContext ctx); + void enterSpec_body(WinxParser.Spec_bodyContext ctx); /** - * Exit a parse tree produced by {@link WinxParser#interface_body}. + * Exit a parse tree produced by {@link WinxParser#spec_body}. * @param ctx the parse tree */ - void exitInterface_body(WinxParser.Interface_bodyContext ctx); + void exitSpec_body(WinxParser.Spec_bodyContext ctx); /** - * Enter a parse tree produced by {@link WinxParser#specification_body}. + * Enter a parse tree produced by {@link WinxParser#requirement_spec}. * @param ctx the parse tree */ - void enterSpecification_body(WinxParser.Specification_bodyContext ctx); + void enterRequirement_spec(WinxParser.Requirement_specContext ctx); /** - * Exit a parse tree produced by {@link WinxParser#specification_body}. + * Exit a parse tree produced by {@link WinxParser#requirement_spec}. * @param ctx the parse tree */ - void exitSpecification_body(WinxParser.Specification_bodyContext ctx); - /** - * Enter a parse tree produced by {@link WinxParser#requirementSpec}. - * @param ctx the parse tree - */ - void enterRequirementSpec(WinxParser.RequirementSpecContext ctx); - /** - * Exit a parse tree produced by {@link WinxParser#requirementSpec}. - * @param ctx the parse tree - */ - void exitRequirementSpec(WinxParser.RequirementSpecContext ctx); + void exitRequirement_spec(WinxParser.Requirement_specContext ctx); /** * Enter a parse tree produced by {@link WinxParser#req_specification}. * @param ctx the parse tree @@ -118,25 +108,25 @@ public interface WinxListener extends ParseTreeListener { */ void exitLogical_op(WinxParser.Logical_opContext ctx); /** - * Enter a parse tree produced by {@link WinxParser#functionSpec}. + * Enter a parse tree produced by {@link WinxParser#function_spec}. * @param ctx the parse tree */ - void enterFunctionSpec(WinxParser.FunctionSpecContext ctx); + void enterFunction_spec(WinxParser.Function_specContext ctx); /** - * Exit a parse tree produced by {@link WinxParser#functionSpec}. + * Exit a parse tree produced by {@link WinxParser#function_spec}. * @param ctx the parse tree */ - void exitFunctionSpec(WinxParser.FunctionSpecContext ctx); + void exitFunction_spec(WinxParser.Function_specContext ctx); /** - * Enter a parse tree produced by {@link WinxParser#functionBody}. + * Enter a parse tree produced by {@link WinxParser#function_body}. * @param ctx the parse tree */ - void enterFunctionBody(WinxParser.FunctionBodyContext ctx); + void enterFunction_body(WinxParser.Function_bodyContext ctx); /** - * Exit a parse tree produced by {@link WinxParser#functionBody}. + * Exit a parse tree produced by {@link WinxParser#function_body}. * @param ctx the parse tree */ - void exitFunctionBody(WinxParser.FunctionBodyContext ctx); + void exitFunction_body(WinxParser.Function_bodyContext ctx); /** * Enter a parse tree produced by {@link WinxParser#input_types}. * @param ctx the parse tree @@ -158,15 +148,15 @@ public interface WinxListener extends ParseTreeListener { */ void exitReturn_types(WinxParser.Return_typesContext ctx); /** - * Enter a parse tree produced by {@link WinxParser#specificationEntry}. + * Enter a parse tree produced by {@link WinxParser#specification_entry}. * @param ctx the parse tree */ - void enterSpecificationEntry(WinxParser.SpecificationEntryContext ctx); + void enterSpecification_entry(WinxParser.Specification_entryContext ctx); /** - * Exit a parse tree produced by {@link WinxParser#specificationEntry}. + * Exit a parse tree produced by {@link WinxParser#specification_entry}. * @param ctx the parse tree */ - void exitSpecificationEntry(WinxParser.SpecificationEntryContext ctx); + void exitSpecification_entry(WinxParser.Specification_entryContext ctx); /** * Enter a parse tree produced by {@link WinxParser#variable}. * @param ctx the parse tree @@ -208,13 +198,13 @@ public interface WinxListener extends ParseTreeListener { */ void exitAccess_modifiers(WinxParser.Access_modifiersContext ctx); /** - * Enter a parse tree produced by {@link WinxParser#description}. + * Enter a parse tree produced by {@link WinxParser#comment}. * @param ctx the parse tree */ - void enterDescription(WinxParser.DescriptionContext ctx); + void enterComment(WinxParser.CommentContext ctx); /** - * Exit a parse tree produced by {@link WinxParser#description}. + * Exit a parse tree produced by {@link WinxParser#comment}. * @param ctx the parse tree */ - void exitDescription(WinxParser.DescriptionContext ctx); + void exitComment(WinxParser.CommentContext ctx); } \ No newline at end of file diff --git a/src/main/java/org/lumijiez/parser/WinxParser.java b/src/main/java/org/lumijiez/parser/WinxParser.java index e2405ab..e40d824 100644 --- a/src/main/java/org/lumijiez/parser/WinxParser.java +++ b/src/main/java/org/lumijiez/parser/WinxParser.java @@ -1,13 +1,17 @@ // Generated from D:/Source/JavaProjects/dsl-formal-requirements/src/grammars/Winx.g4 by ANTLR 4.13.1 package org.lumijiez.parser; -import org.antlr.v4.runtime.atn.*; -import org.antlr.v4.runtime.dfa.DFA; + import org.antlr.v4.runtime.*; -import org.antlr.v4.runtime.misc.*; -import org.antlr.v4.runtime.tree.*; +import org.antlr.v4.runtime.atn.ATN; +import org.antlr.v4.runtime.atn.ATNDeserializer; +import org.antlr.v4.runtime.atn.ParserATNSimulator; +import org.antlr.v4.runtime.atn.PredictionContextCache; +import org.antlr.v4.runtime.dfa.DFA; +import org.antlr.v4.runtime.tree.ParseTreeListener; +import org.antlr.v4.runtime.tree.ParseTreeVisitor; +import org.antlr.v4.runtime.tree.TerminalNode; + import java.util.List; -import java.util.Iterator; -import java.util.ArrayList; @SuppressWarnings({"all", "warnings", "unchecked", "unused", "cast", "CheckReturnValue"}) public class WinxParser extends Parser { @@ -20,22 +24,21 @@ public class WinxParser extends Parser { T__0=1, T__1=2, T__2=3, T__3=4, T__4=5, T__5=6, T__6=7, T__7=8, T__8=9, T__9=10, T__10=11, T__11=12, T__12=13, T__13=14, T__14=15, T__15=16, T__16=17, T__17=18, T__18=19, T__19=20, T__20=21, T__21=22, T__22=23, ID=24, STRING=25, - DESCRIPTION=26, WS=27, INT=28, FLOAT=29, LPAREN=30, RPAREN=31, COLON=32, - SEMICOLON=33, COMMA=34, LBRACE=35, RBRACE=36, TILDE=37, EXCLAM=38; + NEWLINE=26, COMMENT=27, WS=28, INT=29, FLOAT=30, LPAREN=31, RPAREN=32, + COLON=33, SEMICOLON=34, COMMA=35, LBRACE=36, RBRACE=37, TILDE=38, EXCLAM=39; public static final int RULE_winx = 0, RULE_body = 1, RULE_package = 2, RULE_interface = 3, RULE_specification = 4, - RULE_interface_body = 5, RULE_specification_body = 6, RULE_requirementSpec = 7, - RULE_req_specification = 8, RULE_result_specification = 9, RULE_logical_op = 10, - RULE_functionSpec = 11, RULE_functionBody = 12, RULE_input_types = 13, - RULE_return_types = 14, RULE_specificationEntry = 15, RULE_variable = 16, - RULE_importance = 17, RULE_type = 18, RULE_access_modifiers = 19, RULE_description = 20; + RULE_spec_body = 5, RULE_requirement_spec = 6, RULE_req_specification = 7, + RULE_result_specification = 8, RULE_logical_op = 9, RULE_function_spec = 10, + RULE_function_body = 11, RULE_input_types = 12, RULE_return_types = 13, + RULE_specification_entry = 14, RULE_variable = 15, RULE_importance = 16, + RULE_type = 17, RULE_access_modifiers = 18, RULE_comment = 19; private static String[] makeRuleNames() { return new String[] { - "winx", "body", "package", "interface", "specification", "interface_body", - "specification_body", "requirementSpec", "req_specification", "result_specification", - "logical_op", "functionSpec", "functionBody", "input_types", "return_types", - "specificationEntry", "variable", "importance", "type", "access_modifiers", - "description" + "winx", "body", "package", "interface", "specification", "spec_body", + "requirement_spec", "req_specification", "result_specification", "logical_op", + "function_spec", "function_body", "input_types", "return_types", "specification_entry", + "variable", "importance", "type", "access_modifiers", "comment" }; } public static final String[] ruleNames = makeRuleNames(); @@ -46,8 +49,8 @@ public class WinxParser extends Parser { "'@'", "'result'", "'AND'", "'OR'", "'return'", "'[]'", "'critical'", "'optional'", "'INT'", "'FLOAT'", "'DOUBLE'", "'STRING'", "'BOOLEAN'", "'CHAR'", "'VOID'", "'public'", "'protected'", "'private'", "'default'", - null, null, null, null, null, null, "'('", "')'", "':'", "';'", "','", - "'{'", "'}'", "'~'", "'!'" + null, null, null, null, null, null, null, "'('", "')'", "':'", "';'", + "','", "'{'", "'}'", "'~'", "'!'" }; } private static final String[] _LITERAL_NAMES = makeLiteralNames(); @@ -55,8 +58,9 @@ public class WinxParser extends Parser { return new String[] { null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, null, - "ID", "STRING", "DESCRIPTION", "WS", "INT", "FLOAT", "LPAREN", "RPAREN", - "COLON", "SEMICOLON", "COMMA", "LBRACE", "RBRACE", "TILDE", "EXCLAM" + "ID", "STRING", "NEWLINE", "COMMENT", "WS", "INT", "FLOAT", "LPAREN", + "RPAREN", "COLON", "SEMICOLON", "COMMA", "LBRACE", "RBRACE", "TILDE", + "EXCLAM" }; } private static final String[] _SYMBOLIC_NAMES = makeSymbolicNames(); @@ -118,9 +122,9 @@ public class WinxParser extends Parser { public PackageContext package_(int i) { return getRuleContext(PackageContext.class,i); } - public List DESCRIPTION() { return getTokens(WinxParser.DESCRIPTION); } - public TerminalNode DESCRIPTION(int i) { - return getToken(WinxParser.DESCRIPTION, i); + public List COMMENT() { return getTokens(WinxParser.COMMENT); } + public TerminalNode COMMENT(int i) { + return getToken(WinxParser.COMMENT, i); } public WinxContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); @@ -148,34 +152,34 @@ public class WinxParser extends Parser { try { enterOuterAlt(_localctx, 1); { - setState(44); + setState(42); _errHandler.sync(this); _la = _input.LA(1); do { { - setState(44); + setState(42); _errHandler.sync(this); switch (_input.LA(1)) { case T__0: { - setState(42); + setState(40); package_(); } break; - case DESCRIPTION: + case COMMENT: { - setState(43); - match(DESCRIPTION); + setState(41); + match(COMMENT); } break; default: throw new NoViableAltException(this); } } - setState(46); + setState(44); _errHandler.sync(this); _la = _input.LA(1); - } while ( _la==T__0 || _la==DESCRIPTION ); + } while ( _la==T__0 || _la==COMMENT ); } } catch (RecognitionException re) { @@ -203,9 +207,9 @@ public class WinxParser extends Parser { public SpecificationContext specification(int i) { return getRuleContext(SpecificationContext.class,i); } - public List DESCRIPTION() { return getTokens(WinxParser.DESCRIPTION); } - public TerminalNode DESCRIPTION(int i) { - return getToken(WinxParser.DESCRIPTION, i); + public List COMMENT() { return getTokens(WinxParser.COMMENT); } + public TerminalNode COMMENT(int i) { + return getToken(WinxParser.COMMENT, i); } public BodyContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); @@ -233,12 +237,12 @@ public class WinxParser extends Parser { try { enterOuterAlt(_localctx, 1); { - setState(51); + setState(49); _errHandler.sync(this); _la = _input.LA(1); do { { - setState(51); + setState(49); _errHandler.sync(this); switch (_input.LA(1)) { case T__1: @@ -249,30 +253,30 @@ public class WinxParser extends Parser { case T__21: case T__22: { - setState(48); + setState(46); interface_(); } break; case T__2: { - setState(49); + setState(47); specification(); } break; - case DESCRIPTION: + case COMMENT: { - setState(50); - match(DESCRIPTION); + setState(48); + match(COMMENT); } break; default: throw new NoViableAltException(this); } } - setState(53); + setState(51); _errHandler.sync(this); _la = _input.LA(1); - } while ( (((_la) & ~0x3f) == 0 && ((1L << _la) & 82843660L) != 0) ); + } while ( (((_la) & ~0x3f) == 0 && ((1L << _la) & 149952524L) != 0) ); } } catch (RecognitionException re) { @@ -319,15 +323,15 @@ public class WinxParser extends Parser { try { enterOuterAlt(_localctx, 1); { - setState(55); + setState(53); match(T__0); - setState(56); + setState(54); match(ID); - setState(57); + setState(55); match(LBRACE); - setState(58); + setState(56); body(); - setState(59); + setState(57); match(RBRACE); } } @@ -346,8 +350,8 @@ public class WinxParser extends Parser { public static class InterfaceContext extends ParserRuleContext { public TerminalNode ID() { return getToken(WinxParser.ID, 0); } public TerminalNode LBRACE() { return getToken(WinxParser.LBRACE, 0); } - public Interface_bodyContext interface_body() { - return getRuleContext(Interface_bodyContext.class,0); + public Spec_bodyContext spec_body() { + return getRuleContext(Spec_bodyContext.class,0); } public TerminalNode RBRACE() { return getToken(WinxParser.RBRACE, 0); } public ImportanceContext importance() { @@ -382,35 +386,35 @@ public class WinxParser extends Parser { try { enterOuterAlt(_localctx, 1); { - setState(62); + setState(60); _errHandler.sync(this); _la = _input.LA(1); if (_la==T__10 || _la==T__11) { { - setState(61); + setState(59); importance(); } } - setState(65); + setState(63); _errHandler.sync(this); _la = _input.LA(1); if ((((_la) & ~0x3f) == 0 && ((1L << _la) & 15728640L) != 0)) { { - setState(64); + setState(62); access_modifiers(); } } - setState(67); + setState(65); match(T__1); - setState(68); + setState(66); match(ID); - setState(69); + setState(67); match(LBRACE); - setState(70); - interface_body(); - setState(71); + setState(68); + spec_body(); + setState(69); match(RBRACE); } } @@ -432,8 +436,8 @@ public class WinxParser extends Parser { return getToken(WinxParser.ID, i); } public TerminalNode LBRACE() { return getToken(WinxParser.LBRACE, 0); } - public Specification_bodyContext specification_body() { - return getRuleContext(Specification_bodyContext.class,0); + public Spec_bodyContext spec_body() { + return getRuleContext(Spec_bodyContext.class,0); } public TerminalNode RBRACE() { return getToken(WinxParser.RBRACE, 0); } public SpecificationContext(ParserRuleContext parent, int invokingState) { @@ -462,31 +466,27 @@ public class WinxParser extends Parser { try { enterOuterAlt(_localctx, 1); { - setState(73); + setState(71); match(T__2); - setState(74); + setState(72); match(ID); - setState(79); + setState(75); _errHandler.sync(this); _la = _input.LA(1); - while (_la==T__3) { + if (_la==T__3) { { - { - setState(75); + setState(73); match(T__3); - setState(76); + setState(74); match(ID); } - } - setState(81); - _errHandler.sync(this); - _la = _input.LA(1); } - setState(82); + + setState(77); match(LBRACE); - setState(83); - specification_body(); - setState(84); + setState(78); + spec_body(); + setState(79); match(RBRACE); } } @@ -502,71 +502,71 @@ public class WinxParser extends Parser { } @SuppressWarnings("CheckReturnValue") - public static class Interface_bodyContext extends ParserRuleContext { - public List requirementSpec() { - return getRuleContexts(RequirementSpecContext.class); + public static class Spec_bodyContext extends ParserRuleContext { + public List requirement_spec() { + return getRuleContexts(Requirement_specContext.class); } - public RequirementSpecContext requirementSpec(int i) { - return getRuleContext(RequirementSpecContext.class,i); + public Requirement_specContext requirement_spec(int i) { + return getRuleContext(Requirement_specContext.class,i); } - public List functionSpec() { - return getRuleContexts(FunctionSpecContext.class); + public List function_spec() { + return getRuleContexts(Function_specContext.class); } - public FunctionSpecContext functionSpec(int i) { - return getRuleContext(FunctionSpecContext.class,i); + public Function_specContext function_spec(int i) { + return getRuleContext(Function_specContext.class,i); } - public Interface_bodyContext(ParserRuleContext parent, int invokingState) { + public Spec_bodyContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); } - @Override public int getRuleIndex() { return RULE_interface_body; } + @Override public int getRuleIndex() { return RULE_spec_body; } @Override public void enterRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).enterInterface_body(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).enterSpec_body(this); } @Override public void exitRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).exitInterface_body(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).exitSpec_body(this); } @Override public T accept(ParseTreeVisitor visitor) { - if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitInterface_body(this); + if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitSpec_body(this); else return visitor.visitChildren(this); } } - public final Interface_bodyContext interface_body() throws RecognitionException { - Interface_bodyContext _localctx = new Interface_bodyContext(_ctx, getState()); - enterRule(_localctx, 10, RULE_interface_body); + public final Spec_bodyContext spec_body() throws RecognitionException { + Spec_bodyContext _localctx = new Spec_bodyContext(_ctx, getState()); + enterRule(_localctx, 10, RULE_spec_body); int _la; try { enterOuterAlt(_localctx, 1); { - setState(88); + setState(83); _errHandler.sync(this); _la = _input.LA(1); do { { - setState(88); + setState(83); _errHandler.sync(this); switch ( getInterpreter().adaptivePredict(_input,7,_ctx) ) { case 1: { - setState(86); - requirementSpec(); + setState(81); + requirement_spec(); } break; case 2: { - setState(87); - functionSpec(); + setState(82); + function_spec(); } break; } } - setState(90); + setState(85); _errHandler.sync(this); _la = _input.LA(1); - } while ( (((_la) & ~0x3f) == 0 && ((1L << _la) & 99620864L) != 0) ); + } while ( (((_la) & ~0x3f) == 0 && ((1L << _la) & 166729728L) != 0) ); } } catch (RecognitionException re) { @@ -581,91 +581,12 @@ public class WinxParser extends Parser { } @SuppressWarnings("CheckReturnValue") - public static class Specification_bodyContext extends ParserRuleContext { - public List requirementSpec() { - return getRuleContexts(RequirementSpecContext.class); - } - public RequirementSpecContext requirementSpec(int i) { - return getRuleContext(RequirementSpecContext.class,i); - } - public List functionSpec() { - return getRuleContexts(FunctionSpecContext.class); - } - public FunctionSpecContext functionSpec(int i) { - return getRuleContext(FunctionSpecContext.class,i); - } - public Specification_bodyContext(ParserRuleContext parent, int invokingState) { - super(parent, invokingState); - } - @Override public int getRuleIndex() { return RULE_specification_body; } - @Override - public void enterRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).enterSpecification_body(this); - } - @Override - public void exitRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).exitSpecification_body(this); - } - @Override - public T accept(ParseTreeVisitor visitor) { - if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitSpecification_body(this); - else return visitor.visitChildren(this); - } - } - - public final Specification_bodyContext specification_body() throws RecognitionException { - Specification_bodyContext _localctx = new Specification_bodyContext(_ctx, getState()); - enterRule(_localctx, 12, RULE_specification_body); - int _la; - try { - enterOuterAlt(_localctx, 1); - { - setState(94); - _errHandler.sync(this); - _la = _input.LA(1); - do { - { - setState(94); - _errHandler.sync(this); - switch ( getInterpreter().adaptivePredict(_input,9,_ctx) ) { - case 1: - { - setState(92); - requirementSpec(); - } - break; - case 2: - { - setState(93); - functionSpec(); - } - break; - } - } - setState(96); - _errHandler.sync(this); - _la = _input.LA(1); - } while ( (((_la) & ~0x3f) == 0 && ((1L << _la) & 99620864L) != 0) ); - } - } - catch (RecognitionException re) { - _localctx.exception = re; - _errHandler.reportError(this, re); - _errHandler.recover(this, re); - } - finally { - exitRule(); - } - return _localctx; - } - - @SuppressWarnings("CheckReturnValue") - public static class RequirementSpecContext extends ParserRuleContext { + public static class Requirement_specContext extends ParserRuleContext { public TerminalNode ID() { return getToken(WinxParser.ID, 0); } public TerminalNode LBRACE() { return getToken(WinxParser.LBRACE, 0); } public TerminalNode RBRACE() { return getToken(WinxParser.RBRACE, 0); } - public DescriptionContext description() { - return getRuleContext(DescriptionContext.class,0); + public CommentContext comment() { + return getRuleContext(CommentContext.class,0); } public ImportanceContext importance() { return getRuleContext(ImportanceContext.class,0); @@ -682,85 +603,88 @@ public class WinxParser extends Parser { public Result_specificationContext result_specification(int i) { return getRuleContext(Result_specificationContext.class,i); } - public RequirementSpecContext(ParserRuleContext parent, int invokingState) { + public Requirement_specContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); } - @Override public int getRuleIndex() { return RULE_requirementSpec; } + @Override public int getRuleIndex() { return RULE_requirement_spec; } @Override public void enterRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).enterRequirementSpec(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).enterRequirement_spec(this); } @Override public void exitRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).exitRequirementSpec(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).exitRequirement_spec(this); } @Override public T accept(ParseTreeVisitor visitor) { - if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitRequirementSpec(this); + if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitRequirement_spec(this); else return visitor.visitChildren(this); } } - public final RequirementSpecContext requirementSpec() throws RecognitionException { - RequirementSpecContext _localctx = new RequirementSpecContext(_ctx, getState()); - enterRule(_localctx, 14, RULE_requirementSpec); + public final Requirement_specContext requirement_spec() throws RecognitionException { + Requirement_specContext _localctx = new Requirement_specContext(_ctx, getState()); + enterRule(_localctx, 12, RULE_requirement_spec); int _la; try { + int _alt; enterOuterAlt(_localctx, 1); { - setState(99); + setState(88); _errHandler.sync(this); _la = _input.LA(1); - if (_la==DESCRIPTION) { + if (_la==COMMENT) { { - setState(98); - description(); + setState(87); + comment(); } } - setState(102); + setState(91); _errHandler.sync(this); _la = _input.LA(1); if (_la==T__10 || _la==T__11) { { - setState(101); + setState(90); importance(); } } - setState(104); + setState(93); match(ID); - setState(105); + setState(94); match(LBRACE); - setState(109); + setState(98); _errHandler.sync(this); - _la = _input.LA(1); - while ((((_la) & ~0x3f) == 0 && ((1L << _la) & 6176L) != 0)) { - { - { - setState(106); - req_specification(); + _alt = getInterpreter().adaptivePredict(_input,11,_ctx); + while ( _alt!=2 && _alt!=org.antlr.v4.runtime.atn.ATN.INVALID_ALT_NUMBER ) { + if ( _alt==1 ) { + { + { + setState(95); + req_specification(); + } + } } - } - setState(111); + setState(100); _errHandler.sync(this); - _la = _input.LA(1); + _alt = getInterpreter().adaptivePredict(_input,11,_ctx); } - setState(115); + setState(104); _errHandler.sync(this); _la = _input.LA(1); - while (_la==T__5) { + while (_la==T__5 || _la==COMMENT) { { { - setState(112); + setState(101); result_specification(); } } - setState(117); + setState(106); _errHandler.sync(this); _la = _input.LA(1); } - setState(118); + setState(107); match(RBRACE); } } @@ -782,6 +706,9 @@ public class WinxParser extends Parser { return getToken(WinxParser.ID, i); } public TerminalNode SEMICOLON() { return getToken(WinxParser.SEMICOLON, 0); } + public CommentContext comment() { + return getRuleContext(CommentContext.class,0); + } public ImportanceContext importance() { return getRuleContext(ImportanceContext.class,0); } @@ -812,42 +739,52 @@ public class WinxParser extends Parser { public final Req_specificationContext req_specification() throws RecognitionException { Req_specificationContext _localctx = new Req_specificationContext(_ctx, getState()); - enterRule(_localctx, 16, RULE_req_specification); + enterRule(_localctx, 14, RULE_req_specification); int _la; try { enterOuterAlt(_localctx, 1); { - setState(121); + setState(110); + _errHandler.sync(this); + _la = _input.LA(1); + if (_la==COMMENT) { + { + setState(109); + comment(); + } + } + + setState(113); _errHandler.sync(this); _la = _input.LA(1); if (_la==T__10 || _la==T__11) { { - setState(120); + setState(112); importance(); } } - setState(123); + setState(115); match(T__4); - setState(124); + setState(116); match(ID); - setState(130); + setState(122); _errHandler.sync(this); _la = _input.LA(1); while (_la==T__6 || _la==T__7) { { { - setState(125); + setState(117); logical_op(); - setState(126); + setState(118); match(ID); } } - setState(132); + setState(124); _errHandler.sync(this); _la = _input.LA(1); } - setState(133); + setState(125); match(SEMICOLON); } } @@ -866,6 +803,9 @@ public class WinxParser extends Parser { public static class Result_specificationContext extends ParserRuleContext { public TerminalNode ID() { return getToken(WinxParser.ID, 0); } public TerminalNode SEMICOLON() { return getToken(WinxParser.SEMICOLON, 0); } + public CommentContext comment() { + return getRuleContext(CommentContext.class,0); + } public ImportanceContext importance() { return getRuleContext(ImportanceContext.class,0); } @@ -890,26 +830,36 @@ public class WinxParser extends Parser { public final Result_specificationContext result_specification() throws RecognitionException { Result_specificationContext _localctx = new Result_specificationContext(_ctx, getState()); - enterRule(_localctx, 18, RULE_result_specification); + enterRule(_localctx, 16, RULE_result_specification); int _la; try { enterOuterAlt(_localctx, 1); { - setState(135); + setState(128); + _errHandler.sync(this); + _la = _input.LA(1); + if (_la==COMMENT) { + { + setState(127); + comment(); + } + } + + setState(130); match(T__5); - setState(137); + setState(132); _errHandler.sync(this); _la = _input.LA(1); if (_la==T__10 || _la==T__11) { { - setState(136); + setState(131); importance(); } } - setState(139); + setState(134); match(ID); - setState(140); + setState(135); match(SEMICOLON); } } @@ -947,12 +897,12 @@ public class WinxParser extends Parser { public final Logical_opContext logical_op() throws RecognitionException { Logical_opContext _localctx = new Logical_opContext(_ctx, getState()); - enterRule(_localctx, 20, RULE_logical_op); + enterRule(_localctx, 18, RULE_logical_op); int _la; try { enterOuterAlt(_localctx, 1); { - setState(142); + setState(137); _la = _input.LA(1); if ( !(_la==T__6 || _la==T__7) ) { _errHandler.recoverInline(this); @@ -976,18 +926,18 @@ public class WinxParser extends Parser { } @SuppressWarnings("CheckReturnValue") - public static class FunctionSpecContext extends ParserRuleContext { + public static class Function_specContext extends ParserRuleContext { public List ID() { return getTokens(WinxParser.ID); } public TerminalNode ID(int i) { return getToken(WinxParser.ID, i); } public TerminalNode LPAREN() { return getToken(WinxParser.LPAREN, 0); } public TerminalNode RPAREN() { return getToken(WinxParser.RPAREN, 0); } - public FunctionBodyContext functionBody() { - return getRuleContext(FunctionBodyContext.class,0); + public Function_bodyContext function_body() { + return getRuleContext(Function_bodyContext.class,0); } - public DescriptionContext description() { - return getRuleContext(DescriptionContext.class,0); + public CommentContext comment() { + return getRuleContext(CommentContext.class,0); } public ImportanceContext importance() { return getRuleContext(ImportanceContext.class,0); @@ -998,96 +948,92 @@ public class WinxParser extends Parser { public Input_typesContext input_types() { return getRuleContext(Input_typesContext.class,0); } - public FunctionSpecContext(ParserRuleContext parent, int invokingState) { + public Function_specContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); } - @Override public int getRuleIndex() { return RULE_functionSpec; } + @Override public int getRuleIndex() { return RULE_function_spec; } @Override public void enterRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).enterFunctionSpec(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).enterFunction_spec(this); } @Override public void exitRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).exitFunctionSpec(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).exitFunction_spec(this); } @Override public T accept(ParseTreeVisitor visitor) { - if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitFunctionSpec(this); + if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitFunction_spec(this); else return visitor.visitChildren(this); } } - public final FunctionSpecContext functionSpec() throws RecognitionException { - FunctionSpecContext _localctx = new FunctionSpecContext(_ctx, getState()); - enterRule(_localctx, 22, RULE_functionSpec); + public final Function_specContext function_spec() throws RecognitionException { + Function_specContext _localctx = new Function_specContext(_ctx, getState()); + enterRule(_localctx, 20, RULE_function_spec); int _la; try { enterOuterAlt(_localctx, 1); { - setState(145); + setState(140); _errHandler.sync(this); _la = _input.LA(1); - if (_la==DESCRIPTION) { + if (_la==COMMENT) { { - setState(144); - description(); + setState(139); + comment(); } } - setState(148); + setState(143); _errHandler.sync(this); _la = _input.LA(1); if (_la==T__10 || _la==T__11) { { - setState(147); + setState(142); importance(); } } - setState(151); + setState(146); _errHandler.sync(this); _la = _input.LA(1); if ((((_la) & ~0x3f) == 0 && ((1L << _la) & 15728640L) != 0)) { { - setState(150); + setState(145); access_modifiers(); } } - setState(153); + setState(148); match(ID); - setState(154); + setState(149); match(LPAREN); - setState(156); + setState(151); _errHandler.sync(this); _la = _input.LA(1); - if ((((_la) & ~0x3f) == 0 && ((1L << _la) & 1040384L) != 0)) { + if ((((_la) & ~0x3f) == 0 && ((1L << _la) & 34594816L) != 0)) { { - setState(155); + setState(150); input_types(); } } - setState(158); + setState(153); match(RPAREN); - setState(163); + setState(156); _errHandler.sync(this); _la = _input.LA(1); - while (_la==T__3) { + if (_la==T__3) { { - { - setState(159); + setState(154); match(T__3); - setState(160); + setState(155); match(ID); } - } - setState(165); - _errHandler.sync(this); - _la = _input.LA(1); } - setState(166); - functionBody(); + + setState(158); + function_body(); } } catch (RecognitionException re) { @@ -1102,63 +1048,63 @@ public class WinxParser extends Parser { } @SuppressWarnings("CheckReturnValue") - public static class FunctionBodyContext extends ParserRuleContext { + public static class Function_bodyContext extends ParserRuleContext { public TerminalNode LBRACE() { return getToken(WinxParser.LBRACE, 0); } public Return_typesContext return_types() { return getRuleContext(Return_typesContext.class,0); } public TerminalNode RBRACE() { return getToken(WinxParser.RBRACE, 0); } - public List specificationEntry() { - return getRuleContexts(SpecificationEntryContext.class); + public List specification_entry() { + return getRuleContexts(Specification_entryContext.class); } - public SpecificationEntryContext specificationEntry(int i) { - return getRuleContext(SpecificationEntryContext.class,i); + public Specification_entryContext specification_entry(int i) { + return getRuleContext(Specification_entryContext.class,i); } - public FunctionBodyContext(ParserRuleContext parent, int invokingState) { + public Function_bodyContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); } - @Override public int getRuleIndex() { return RULE_functionBody; } + @Override public int getRuleIndex() { return RULE_function_body; } @Override public void enterRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).enterFunctionBody(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).enterFunction_body(this); } @Override public void exitRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).exitFunctionBody(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).exitFunction_body(this); } @Override public T accept(ParseTreeVisitor visitor) { - if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitFunctionBody(this); + if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitFunction_body(this); else return visitor.visitChildren(this); } } - public final FunctionBodyContext functionBody() throws RecognitionException { - FunctionBodyContext _localctx = new FunctionBodyContext(_ctx, getState()); - enterRule(_localctx, 24, RULE_functionBody); + public final Function_bodyContext function_body() throws RecognitionException { + Function_bodyContext _localctx = new Function_bodyContext(_ctx, getState()); + enterRule(_localctx, 22, RULE_function_body); int _la; try { enterOuterAlt(_localctx, 1); { - setState(168); + setState(160); match(LBRACE); - setState(172); + setState(164); _errHandler.sync(this); _la = _input.LA(1); - while (_la==T__4) { + while (_la==T__4 || _la==COMMENT) { { { - setState(169); - specificationEntry(); + setState(161); + specification_entry(); } } - setState(174); + setState(166); _errHandler.sync(this); _la = _input.LA(1); } - setState(175); + setState(167); return_types(); - setState(176); + setState(168); match(RBRACE); } } @@ -1206,26 +1152,26 @@ public class WinxParser extends Parser { public final Input_typesContext input_types() throws RecognitionException { Input_typesContext _localctx = new Input_typesContext(_ctx, getState()); - enterRule(_localctx, 26, RULE_input_types); + enterRule(_localctx, 24, RULE_input_types); int _la; try { enterOuterAlt(_localctx, 1); { - setState(178); + setState(170); variable(); - setState(183); + setState(175); _errHandler.sync(this); _la = _input.LA(1); while (_la==COMMA) { { { - setState(179); + setState(171); match(COMMA); - setState(180); + setState(172); variable(); } } - setState(185); + setState(177); _errHandler.sync(this); _la = _input.LA(1); } @@ -1276,32 +1222,32 @@ public class WinxParser extends Parser { public final Return_typesContext return_types() throws RecognitionException { Return_typesContext _localctx = new Return_typesContext(_ctx, getState()); - enterRule(_localctx, 28, RULE_return_types); + enterRule(_localctx, 26, RULE_return_types); int _la; try { enterOuterAlt(_localctx, 1); { - setState(186); + setState(178); match(T__8); - setState(187); + setState(179); variable(); - setState(192); + setState(184); _errHandler.sync(this); _la = _input.LA(1); while (_la==COMMA) { { { - setState(188); + setState(180); match(COMMA); - setState(189); + setState(181); variable(); } } - setState(194); + setState(186); _errHandler.sync(this); _la = _input.LA(1); } - setState(195); + setState(187); match(SEMICOLON); } } @@ -1317,45 +1263,59 @@ public class WinxParser extends Parser { } @SuppressWarnings("CheckReturnValue") - public static class SpecificationEntryContext extends ParserRuleContext { + public static class Specification_entryContext extends ParserRuleContext { public TerminalNode ID() { return getToken(WinxParser.ID, 0); } public TerminalNode COLON() { return getToken(WinxParser.COLON, 0); } public TerminalNode STRING() { return getToken(WinxParser.STRING, 0); } public TerminalNode SEMICOLON() { return getToken(WinxParser.SEMICOLON, 0); } - public SpecificationEntryContext(ParserRuleContext parent, int invokingState) { + public CommentContext comment() { + return getRuleContext(CommentContext.class,0); + } + public Specification_entryContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); } - @Override public int getRuleIndex() { return RULE_specificationEntry; } + @Override public int getRuleIndex() { return RULE_specification_entry; } @Override public void enterRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).enterSpecificationEntry(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).enterSpecification_entry(this); } @Override public void exitRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).exitSpecificationEntry(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).exitSpecification_entry(this); } @Override public T accept(ParseTreeVisitor visitor) { - if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitSpecificationEntry(this); + if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitSpecification_entry(this); else return visitor.visitChildren(this); } } - public final SpecificationEntryContext specificationEntry() throws RecognitionException { - SpecificationEntryContext _localctx = new SpecificationEntryContext(_ctx, getState()); - enterRule(_localctx, 30, RULE_specificationEntry); + public final Specification_entryContext specification_entry() throws RecognitionException { + Specification_entryContext _localctx = new Specification_entryContext(_ctx, getState()); + enterRule(_localctx, 28, RULE_specification_entry); + int _la; try { enterOuterAlt(_localctx, 1); { - setState(197); + setState(190); + _errHandler.sync(this); + _la = _input.LA(1); + if (_la==COMMENT) { + { + setState(189); + comment(); + } + } + + setState(192); match(T__4); - setState(198); + setState(193); match(ID); - setState(199); + setState(194); match(COLON); - setState(200); + setState(195); match(STRING); - setState(201); + setState(196); match(SEMICOLON); } } @@ -1397,24 +1357,24 @@ public class WinxParser extends Parser { public final VariableContext variable() throws RecognitionException { VariableContext _localctx = new VariableContext(_ctx, getState()); - enterRule(_localctx, 32, RULE_variable); + enterRule(_localctx, 30, RULE_variable); int _la; try { enterOuterAlt(_localctx, 1); { - setState(203); + setState(198); type(); - setState(205); + setState(200); _errHandler.sync(this); _la = _input.LA(1); if (_la==T__9) { { - setState(204); + setState(199); match(T__9); } } - setState(207); + setState(202); match(ID); } } @@ -1452,12 +1412,12 @@ public class WinxParser extends Parser { public final ImportanceContext importance() throws RecognitionException { ImportanceContext _localctx = new ImportanceContext(_ctx, getState()); - enterRule(_localctx, 34, RULE_importance); + enterRule(_localctx, 32, RULE_importance); int _la; try { enterOuterAlt(_localctx, 1); { - setState(209); + setState(204); _la = _input.LA(1); if ( !(_la==T__10 || _la==T__11) ) { _errHandler.recoverInline(this); @@ -1482,6 +1442,7 @@ public class WinxParser extends Parser { @SuppressWarnings("CheckReturnValue") public static class TypeContext extends ParserRuleContext { + public TerminalNode STRING() { return getToken(WinxParser.STRING, 0); } public TypeContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); } @@ -1503,14 +1464,14 @@ public class WinxParser extends Parser { public final TypeContext type() throws RecognitionException { TypeContext _localctx = new TypeContext(_ctx, getState()); - enterRule(_localctx, 36, RULE_type); + enterRule(_localctx, 34, RULE_type); int _la; try { enterOuterAlt(_localctx, 1); { - setState(211); + setState(206); _la = _input.LA(1); - if ( !((((_la) & ~0x3f) == 0 && ((1L << _la) & 1040384L) != 0)) ) { + if ( !((((_la) & ~0x3f) == 0 && ((1L << _la) & 34594816L) != 0)) ) { _errHandler.recoverInline(this); } else { @@ -1554,12 +1515,12 @@ public class WinxParser extends Parser { public final Access_modifiersContext access_modifiers() throws RecognitionException { Access_modifiersContext _localctx = new Access_modifiersContext(_ctx, getState()); - enterRule(_localctx, 38, RULE_access_modifiers); + enterRule(_localctx, 36, RULE_access_modifiers); int _la; try { enterOuterAlt(_localctx, 1); { - setState(213); + setState(208); _la = _input.LA(1); if ( !((((_la) & ~0x3f) == 0 && ((1L << _la) & 15728640L) != 0)) ) { _errHandler.recoverInline(this); @@ -1583,35 +1544,35 @@ public class WinxParser extends Parser { } @SuppressWarnings("CheckReturnValue") - public static class DescriptionContext extends ParserRuleContext { - public TerminalNode DESCRIPTION() { return getToken(WinxParser.DESCRIPTION, 0); } - public DescriptionContext(ParserRuleContext parent, int invokingState) { + public static class CommentContext extends ParserRuleContext { + public TerminalNode COMMENT() { return getToken(WinxParser.COMMENT, 0); } + public CommentContext(ParserRuleContext parent, int invokingState) { super(parent, invokingState); } - @Override public int getRuleIndex() { return RULE_description; } + @Override public int getRuleIndex() { return RULE_comment; } @Override public void enterRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).enterDescription(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).enterComment(this); } @Override public void exitRule(ParseTreeListener listener) { - if ( listener instanceof WinxListener ) ((WinxListener)listener).exitDescription(this); + if ( listener instanceof WinxListener ) ((WinxListener)listener).exitComment(this); } @Override public T accept(ParseTreeVisitor visitor) { - if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitDescription(this); + if ( visitor instanceof WinxVisitor ) return ((WinxVisitor)visitor).visitComment(this); else return visitor.visitChildren(this); } } - public final DescriptionContext description() throws RecognitionException { - DescriptionContext _localctx = new DescriptionContext(_ctx, getState()); - enterRule(_localctx, 40, RULE_description); + public final CommentContext comment() throws RecognitionException { + CommentContext _localctx = new CommentContext(_ctx, getState()); + enterRule(_localctx, 38, RULE_comment); try { enterOuterAlt(_localctx, 1); { - setState(215); - match(DESCRIPTION); + setState(210); + match(COMMENT); } } catch (RecognitionException re) { @@ -1626,138 +1587,135 @@ public class WinxParser extends Parser { } public static final String _serializedATN = - "\u0004\u0001&\u00da\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002"+ + "\u0004\u0001\'\u00d5\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002"+ "\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002"+ "\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002"+ "\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002\u000b\u0007\u000b\u0002"+ "\f\u0007\f\u0002\r\u0007\r\u0002\u000e\u0007\u000e\u0002\u000f\u0007\u000f"+ "\u0002\u0010\u0007\u0010\u0002\u0011\u0007\u0011\u0002\u0012\u0007\u0012"+ - "\u0002\u0013\u0007\u0013\u0002\u0014\u0007\u0014\u0001\u0000\u0001\u0000"+ - "\u0004\u0000-\b\u0000\u000b\u0000\f\u0000.\u0001\u0001\u0001\u0001\u0001"+ - "\u0001\u0004\u00014\b\u0001\u000b\u0001\f\u00015\u0001\u0002\u0001\u0002"+ - "\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0003\u0003\u0003"+ - "?\b\u0003\u0001\u0003\u0003\u0003B\b\u0003\u0001\u0003\u0001\u0003\u0001"+ - "\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001\u0004\u0001\u0004\u0001"+ - "\u0004\u0001\u0004\u0005\u0004N\b\u0004\n\u0004\f\u0004Q\t\u0004\u0001"+ - "\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0004"+ - "\u0005Y\b\u0005\u000b\u0005\f\u0005Z\u0001\u0006\u0001\u0006\u0004\u0006"+ - "_\b\u0006\u000b\u0006\f\u0006`\u0001\u0007\u0003\u0007d\b\u0007\u0001"+ - "\u0007\u0003\u0007g\b\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0005"+ - "\u0007l\b\u0007\n\u0007\f\u0007o\t\u0007\u0001\u0007\u0005\u0007r\b\u0007"+ - "\n\u0007\f\u0007u\t\u0007\u0001\u0007\u0001\u0007\u0001\b\u0003\bz\b\b"+ - "\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0005\b\u0081\b\b\n\b\f\b\u0084"+ - "\t\b\u0001\b\u0001\b\u0001\t\u0001\t\u0003\t\u008a\b\t\u0001\t\u0001\t"+ - "\u0001\t\u0001\n\u0001\n\u0001\u000b\u0003\u000b\u0092\b\u000b\u0001\u000b"+ - "\u0003\u000b\u0095\b\u000b\u0001\u000b\u0003\u000b\u0098\b\u000b\u0001"+ - "\u000b\u0001\u000b\u0001\u000b\u0003\u000b\u009d\b\u000b\u0001\u000b\u0001"+ - "\u000b\u0001\u000b\u0005\u000b\u00a2\b\u000b\n\u000b\f\u000b\u00a5\t\u000b"+ - "\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0005\f\u00ab\b\f\n\f\f\f\u00ae"+ - "\t\f\u0001\f\u0001\f\u0001\f\u0001\r\u0001\r\u0001\r\u0005\r\u00b6\b\r"+ - "\n\r\f\r\u00b9\t\r\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0005"+ - "\u000e\u00bf\b\u000e\n\u000e\f\u000e\u00c2\t\u000e\u0001\u000e\u0001\u000e"+ - "\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u000f"+ - "\u0001\u0010\u0001\u0010\u0003\u0010\u00ce\b\u0010\u0001\u0010\u0001\u0010"+ - "\u0001\u0011\u0001\u0011\u0001\u0012\u0001\u0012\u0001\u0013\u0001\u0013"+ - "\u0001\u0014\u0001\u0014\u0001\u0014\u0000\u0000\u0015\u0000\u0002\u0004"+ + "\u0002\u0013\u0007\u0013\u0001\u0000\u0001\u0000\u0004\u0000+\b\u0000"+ + "\u000b\u0000\f\u0000,\u0001\u0001\u0001\u0001\u0001\u0001\u0004\u0001"+ + "2\b\u0001\u000b\u0001\f\u00013\u0001\u0002\u0001\u0002\u0001\u0002\u0001"+ + "\u0002\u0001\u0002\u0001\u0002\u0001\u0003\u0003\u0003=\b\u0003\u0001"+ + "\u0003\u0003\u0003@\b\u0003\u0001\u0003\u0001\u0003\u0001\u0003\u0001"+ + "\u0003\u0001\u0003\u0001\u0003\u0001\u0004\u0001\u0004\u0001\u0004\u0001"+ + "\u0004\u0003\u0004L\b\u0004\u0001\u0004\u0001\u0004\u0001\u0004\u0001"+ + "\u0004\u0001\u0005\u0001\u0005\u0004\u0005T\b\u0005\u000b\u0005\f\u0005"+ + "U\u0001\u0006\u0003\u0006Y\b\u0006\u0001\u0006\u0003\u0006\\\b\u0006\u0001"+ + "\u0006\u0001\u0006\u0001\u0006\u0005\u0006a\b\u0006\n\u0006\f\u0006d\t"+ + "\u0006\u0001\u0006\u0005\u0006g\b\u0006\n\u0006\f\u0006j\t\u0006\u0001"+ + "\u0006\u0001\u0006\u0001\u0007\u0003\u0007o\b\u0007\u0001\u0007\u0003"+ + "\u0007r\b\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001"+ + "\u0007\u0005\u0007y\b\u0007\n\u0007\f\u0007|\t\u0007\u0001\u0007\u0001"+ + "\u0007\u0001\b\u0003\b\u0081\b\b\u0001\b\u0001\b\u0003\b\u0085\b\b\u0001"+ + "\b\u0001\b\u0001\b\u0001\t\u0001\t\u0001\n\u0003\n\u008d\b\n\u0001\n\u0003"+ + "\n\u0090\b\n\u0001\n\u0003\n\u0093\b\n\u0001\n\u0001\n\u0001\n\u0003\n"+ + "\u0098\b\n\u0001\n\u0001\n\u0001\n\u0003\n\u009d\b\n\u0001\n\u0001\n\u0001"+ + "\u000b\u0001\u000b\u0005\u000b\u00a3\b\u000b\n\u000b\f\u000b\u00a6\t\u000b"+ + "\u0001\u000b\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0001\f\u0005\f\u00ae"+ + "\b\f\n\f\f\f\u00b1\t\f\u0001\r\u0001\r\u0001\r\u0001\r\u0005\r\u00b7\b"+ + "\r\n\r\f\r\u00ba\t\r\u0001\r\u0001\r\u0001\u000e\u0003\u000e\u00bf\b\u000e"+ + "\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e"+ + "\u0001\u000f\u0001\u000f\u0003\u000f\u00c9\b\u000f\u0001\u000f\u0001\u000f"+ + "\u0001\u0010\u0001\u0010\u0001\u0011\u0001\u0011\u0001\u0012\u0001\u0012"+ + "\u0001\u0013\u0001\u0013\u0001\u0013\u0000\u0000\u0014\u0000\u0002\u0004"+ "\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u001e \""+ - "$&(\u0000\u0004\u0001\u0000\u0007\b\u0001\u0000\u000b\f\u0001\u0000\r"+ - "\u0013\u0001\u0000\u0014\u0017\u00e0\u0000,\u0001\u0000\u0000\u0000\u0002"+ - "3\u0001\u0000\u0000\u0000\u00047\u0001\u0000\u0000\u0000\u0006>\u0001"+ - "\u0000\u0000\u0000\bI\u0001\u0000\u0000\u0000\nX\u0001\u0000\u0000\u0000"+ - "\f^\u0001\u0000\u0000\u0000\u000ec\u0001\u0000\u0000\u0000\u0010y\u0001"+ - "\u0000\u0000\u0000\u0012\u0087\u0001\u0000\u0000\u0000\u0014\u008e\u0001"+ - "\u0000\u0000\u0000\u0016\u0091\u0001\u0000\u0000\u0000\u0018\u00a8\u0001"+ - "\u0000\u0000\u0000\u001a\u00b2\u0001\u0000\u0000\u0000\u001c\u00ba\u0001"+ - "\u0000\u0000\u0000\u001e\u00c5\u0001\u0000\u0000\u0000 \u00cb\u0001\u0000"+ - "\u0000\u0000\"\u00d1\u0001\u0000\u0000\u0000$\u00d3\u0001\u0000\u0000"+ - "\u0000&\u00d5\u0001\u0000\u0000\u0000(\u00d7\u0001\u0000\u0000\u0000*"+ - "-\u0003\u0004\u0002\u0000+-\u0005\u001a\u0000\u0000,*\u0001\u0000\u0000"+ - "\u0000,+\u0001\u0000\u0000\u0000-.\u0001\u0000\u0000\u0000.,\u0001\u0000"+ - "\u0000\u0000./\u0001\u0000\u0000\u0000/\u0001\u0001\u0000\u0000\u0000"+ - "04\u0003\u0006\u0003\u000014\u0003\b\u0004\u000024\u0005\u001a\u0000\u0000"+ - "30\u0001\u0000\u0000\u000031\u0001\u0000\u0000\u000032\u0001\u0000\u0000"+ - "\u000045\u0001\u0000\u0000\u000053\u0001\u0000\u0000\u000056\u0001\u0000"+ - "\u0000\u00006\u0003\u0001\u0000\u0000\u000078\u0005\u0001\u0000\u0000"+ - "89\u0005\u0018\u0000\u00009:\u0005#\u0000\u0000:;\u0003\u0002\u0001\u0000"+ - ";<\u0005$\u0000\u0000<\u0005\u0001\u0000\u0000\u0000=?\u0003\"\u0011\u0000"+ - ">=\u0001\u0000\u0000\u0000>?\u0001\u0000\u0000\u0000?A\u0001\u0000\u0000"+ - "\u0000@B\u0003&\u0013\u0000A@\u0001\u0000\u0000\u0000AB\u0001\u0000\u0000"+ - "\u0000BC\u0001\u0000\u0000\u0000CD\u0005\u0002\u0000\u0000DE\u0005\u0018"+ - "\u0000\u0000EF\u0005#\u0000\u0000FG\u0003\n\u0005\u0000GH\u0005$\u0000"+ - "\u0000H\u0007\u0001\u0000\u0000\u0000IJ\u0005\u0003\u0000\u0000JO\u0005"+ - "\u0018\u0000\u0000KL\u0005\u0004\u0000\u0000LN\u0005\u0018\u0000\u0000"+ - "MK\u0001\u0000\u0000\u0000NQ\u0001\u0000\u0000\u0000OM\u0001\u0000\u0000"+ - "\u0000OP\u0001\u0000\u0000\u0000PR\u0001\u0000\u0000\u0000QO\u0001\u0000"+ - "\u0000\u0000RS\u0005#\u0000\u0000ST\u0003\f\u0006\u0000TU\u0005$\u0000"+ - "\u0000U\t\u0001\u0000\u0000\u0000VY\u0003\u000e\u0007\u0000WY\u0003\u0016"+ - "\u000b\u0000XV\u0001\u0000\u0000\u0000XW\u0001\u0000\u0000\u0000YZ\u0001"+ - "\u0000\u0000\u0000ZX\u0001\u0000\u0000\u0000Z[\u0001\u0000\u0000\u0000"+ - "[\u000b\u0001\u0000\u0000\u0000\\_\u0003\u000e\u0007\u0000]_\u0003\u0016"+ - "\u000b\u0000^\\\u0001\u0000\u0000\u0000^]\u0001\u0000\u0000\u0000_`\u0001"+ - "\u0000\u0000\u0000`^\u0001\u0000\u0000\u0000`a\u0001\u0000\u0000\u0000"+ - "a\r\u0001\u0000\u0000\u0000bd\u0003(\u0014\u0000cb\u0001\u0000\u0000\u0000"+ - "cd\u0001\u0000\u0000\u0000df\u0001\u0000\u0000\u0000eg\u0003\"\u0011\u0000"+ - "fe\u0001\u0000\u0000\u0000fg\u0001\u0000\u0000\u0000gh\u0001\u0000\u0000"+ - "\u0000hi\u0005\u0018\u0000\u0000im\u0005#\u0000\u0000jl\u0003\u0010\b"+ - "\u0000kj\u0001\u0000\u0000\u0000lo\u0001\u0000\u0000\u0000mk\u0001\u0000"+ - "\u0000\u0000mn\u0001\u0000\u0000\u0000ns\u0001\u0000\u0000\u0000om\u0001"+ - "\u0000\u0000\u0000pr\u0003\u0012\t\u0000qp\u0001\u0000\u0000\u0000ru\u0001"+ - "\u0000\u0000\u0000sq\u0001\u0000\u0000\u0000st\u0001\u0000\u0000\u0000"+ - "tv\u0001\u0000\u0000\u0000us\u0001\u0000\u0000\u0000vw\u0005$\u0000\u0000"+ - "w\u000f\u0001\u0000\u0000\u0000xz\u0003\"\u0011\u0000yx\u0001\u0000\u0000"+ - "\u0000yz\u0001\u0000\u0000\u0000z{\u0001\u0000\u0000\u0000{|\u0005\u0005"+ - "\u0000\u0000|\u0082\u0005\u0018\u0000\u0000}~\u0003\u0014\n\u0000~\u007f"+ - "\u0005\u0018\u0000\u0000\u007f\u0081\u0001\u0000\u0000\u0000\u0080}\u0001"+ - "\u0000\u0000\u0000\u0081\u0084\u0001\u0000\u0000\u0000\u0082\u0080\u0001"+ - "\u0000\u0000\u0000\u0082\u0083\u0001\u0000\u0000\u0000\u0083\u0085\u0001"+ - "\u0000\u0000\u0000\u0084\u0082\u0001\u0000\u0000\u0000\u0085\u0086\u0005"+ - "!\u0000\u0000\u0086\u0011\u0001\u0000\u0000\u0000\u0087\u0089\u0005\u0006"+ - "\u0000\u0000\u0088\u008a\u0003\"\u0011\u0000\u0089\u0088\u0001\u0000\u0000"+ - "\u0000\u0089\u008a\u0001\u0000\u0000\u0000\u008a\u008b\u0001\u0000\u0000"+ - "\u0000\u008b\u008c\u0005\u0018\u0000\u0000\u008c\u008d\u0005!\u0000\u0000"+ - "\u008d\u0013\u0001\u0000\u0000\u0000\u008e\u008f\u0007\u0000\u0000\u0000"+ - "\u008f\u0015\u0001\u0000\u0000\u0000\u0090\u0092\u0003(\u0014\u0000\u0091"+ - "\u0090\u0001\u0000\u0000\u0000\u0091\u0092\u0001\u0000\u0000\u0000\u0092"+ - "\u0094\u0001\u0000\u0000\u0000\u0093\u0095\u0003\"\u0011\u0000\u0094\u0093"+ - "\u0001\u0000\u0000\u0000\u0094\u0095\u0001\u0000\u0000\u0000\u0095\u0097"+ - "\u0001\u0000\u0000\u0000\u0096\u0098\u0003&\u0013\u0000\u0097\u0096\u0001"+ - "\u0000\u0000\u0000\u0097\u0098\u0001\u0000\u0000\u0000\u0098\u0099\u0001"+ - "\u0000\u0000\u0000\u0099\u009a\u0005\u0018\u0000\u0000\u009a\u009c\u0005"+ - "\u001e\u0000\u0000\u009b\u009d\u0003\u001a\r\u0000\u009c\u009b\u0001\u0000"+ - "\u0000\u0000\u009c\u009d\u0001\u0000\u0000\u0000\u009d\u009e\u0001\u0000"+ - "\u0000\u0000\u009e\u00a3\u0005\u001f\u0000\u0000\u009f\u00a0\u0005\u0004"+ - "\u0000\u0000\u00a0\u00a2\u0005\u0018\u0000\u0000\u00a1\u009f\u0001\u0000"+ - "\u0000\u0000\u00a2\u00a5\u0001\u0000\u0000\u0000\u00a3\u00a1\u0001\u0000"+ - "\u0000\u0000\u00a3\u00a4\u0001\u0000\u0000\u0000\u00a4\u00a6\u0001\u0000"+ - "\u0000\u0000\u00a5\u00a3\u0001\u0000\u0000\u0000\u00a6\u00a7\u0003\u0018"+ - "\f\u0000\u00a7\u0017\u0001\u0000\u0000\u0000\u00a8\u00ac\u0005#\u0000"+ - "\u0000\u00a9\u00ab\u0003\u001e\u000f\u0000\u00aa\u00a9\u0001\u0000\u0000"+ - "\u0000\u00ab\u00ae\u0001\u0000\u0000\u0000\u00ac\u00aa\u0001\u0000\u0000"+ - "\u0000\u00ac\u00ad\u0001\u0000\u0000\u0000\u00ad\u00af\u0001\u0000\u0000"+ - "\u0000\u00ae\u00ac\u0001\u0000\u0000\u0000\u00af\u00b0\u0003\u001c\u000e"+ - "\u0000\u00b0\u00b1\u0005$\u0000\u0000\u00b1\u0019\u0001\u0000\u0000\u0000"+ - "\u00b2\u00b7\u0003 \u0010\u0000\u00b3\u00b4\u0005\"\u0000\u0000\u00b4"+ - "\u00b6\u0003 \u0010\u0000\u00b5\u00b3\u0001\u0000\u0000\u0000\u00b6\u00b9"+ - "\u0001\u0000\u0000\u0000\u00b7\u00b5\u0001\u0000\u0000\u0000\u00b7\u00b8"+ - "\u0001\u0000\u0000\u0000\u00b8\u001b\u0001\u0000\u0000\u0000\u00b9\u00b7"+ - "\u0001\u0000\u0000\u0000\u00ba\u00bb\u0005\t\u0000\u0000\u00bb\u00c0\u0003"+ - " \u0010\u0000\u00bc\u00bd\u0005\"\u0000\u0000\u00bd\u00bf\u0003 \u0010"+ - "\u0000\u00be\u00bc\u0001\u0000\u0000\u0000\u00bf\u00c2\u0001\u0000\u0000"+ - "\u0000\u00c0\u00be\u0001\u0000\u0000\u0000\u00c0\u00c1\u0001\u0000\u0000"+ - "\u0000\u00c1\u00c3\u0001\u0000\u0000\u0000\u00c2\u00c0\u0001\u0000\u0000"+ - "\u0000\u00c3\u00c4\u0005!\u0000\u0000\u00c4\u001d\u0001\u0000\u0000\u0000"+ - "\u00c5\u00c6\u0005\u0005\u0000\u0000\u00c6\u00c7\u0005\u0018\u0000\u0000"+ - "\u00c7\u00c8\u0005 \u0000\u0000\u00c8\u00c9\u0005\u0019\u0000\u0000\u00c9"+ - "\u00ca\u0005!\u0000\u0000\u00ca\u001f\u0001\u0000\u0000\u0000\u00cb\u00cd"+ - "\u0003$\u0012\u0000\u00cc\u00ce\u0005\n\u0000\u0000\u00cd\u00cc\u0001"+ - "\u0000\u0000\u0000\u00cd\u00ce\u0001\u0000\u0000\u0000\u00ce\u00cf\u0001"+ - "\u0000\u0000\u0000\u00cf\u00d0\u0005\u0018\u0000\u0000\u00d0!\u0001\u0000"+ - "\u0000\u0000\u00d1\u00d2\u0007\u0001\u0000\u0000\u00d2#\u0001\u0000\u0000"+ - "\u0000\u00d3\u00d4\u0007\u0002\u0000\u0000\u00d4%\u0001\u0000\u0000\u0000"+ - "\u00d5\u00d6\u0007\u0003\u0000\u0000\u00d6\'\u0001\u0000\u0000\u0000\u00d7"+ - "\u00d8\u0005\u001a\u0000\u0000\u00d8)\u0001\u0000\u0000\u0000\u001b,."+ - "35>AOXZ^`cfmsy\u0082\u0089\u0091\u0094\u0097\u009c\u00a3\u00ac\u00b7\u00c0"+ - "\u00cd"; + "$&\u0000\u0004\u0001\u0000\u0007\b\u0001\u0000\u000b\f\u0002\u0000\r\u0013"+ + "\u0019\u0019\u0001\u0000\u0014\u0017\u00dd\u0000*\u0001\u0000\u0000\u0000"+ + "\u00021\u0001\u0000\u0000\u0000\u00045\u0001\u0000\u0000\u0000\u0006<"+ + "\u0001\u0000\u0000\u0000\bG\u0001\u0000\u0000\u0000\nS\u0001\u0000\u0000"+ + "\u0000\fX\u0001\u0000\u0000\u0000\u000en\u0001\u0000\u0000\u0000\u0010"+ + "\u0080\u0001\u0000\u0000\u0000\u0012\u0089\u0001\u0000\u0000\u0000\u0014"+ + "\u008c\u0001\u0000\u0000\u0000\u0016\u00a0\u0001\u0000\u0000\u0000\u0018"+ + "\u00aa\u0001\u0000\u0000\u0000\u001a\u00b2\u0001\u0000\u0000\u0000\u001c"+ + "\u00be\u0001\u0000\u0000\u0000\u001e\u00c6\u0001\u0000\u0000\u0000 \u00cc"+ + "\u0001\u0000\u0000\u0000\"\u00ce\u0001\u0000\u0000\u0000$\u00d0\u0001"+ + "\u0000\u0000\u0000&\u00d2\u0001\u0000\u0000\u0000(+\u0003\u0004\u0002"+ + "\u0000)+\u0005\u001b\u0000\u0000*(\u0001\u0000\u0000\u0000*)\u0001\u0000"+ + "\u0000\u0000+,\u0001\u0000\u0000\u0000,*\u0001\u0000\u0000\u0000,-\u0001"+ + "\u0000\u0000\u0000-\u0001\u0001\u0000\u0000\u0000.2\u0003\u0006\u0003"+ + "\u0000/2\u0003\b\u0004\u000002\u0005\u001b\u0000\u00001.\u0001\u0000\u0000"+ + "\u00001/\u0001\u0000\u0000\u000010\u0001\u0000\u0000\u000023\u0001\u0000"+ + "\u0000\u000031\u0001\u0000\u0000\u000034\u0001\u0000\u0000\u00004\u0003"+ + "\u0001\u0000\u0000\u000056\u0005\u0001\u0000\u000067\u0005\u0018\u0000"+ + "\u000078\u0005$\u0000\u000089\u0003\u0002\u0001\u00009:\u0005%\u0000\u0000"+ + ":\u0005\u0001\u0000\u0000\u0000;=\u0003 \u0010\u0000<;\u0001\u0000\u0000"+ + "\u0000<=\u0001\u0000\u0000\u0000=?\u0001\u0000\u0000\u0000>@\u0003$\u0012"+ + "\u0000?>\u0001\u0000\u0000\u0000?@\u0001\u0000\u0000\u0000@A\u0001\u0000"+ + "\u0000\u0000AB\u0005\u0002\u0000\u0000BC\u0005\u0018\u0000\u0000CD\u0005"+ + "$\u0000\u0000DE\u0003\n\u0005\u0000EF\u0005%\u0000\u0000F\u0007\u0001"+ + "\u0000\u0000\u0000GH\u0005\u0003\u0000\u0000HK\u0005\u0018\u0000\u0000"+ + "IJ\u0005\u0004\u0000\u0000JL\u0005\u0018\u0000\u0000KI\u0001\u0000\u0000"+ + "\u0000KL\u0001\u0000\u0000\u0000LM\u0001\u0000\u0000\u0000MN\u0005$\u0000"+ + "\u0000NO\u0003\n\u0005\u0000OP\u0005%\u0000\u0000P\t\u0001\u0000\u0000"+ + "\u0000QT\u0003\f\u0006\u0000RT\u0003\u0014\n\u0000SQ\u0001\u0000\u0000"+ + "\u0000SR\u0001\u0000\u0000\u0000TU\u0001\u0000\u0000\u0000US\u0001\u0000"+ + "\u0000\u0000UV\u0001\u0000\u0000\u0000V\u000b\u0001\u0000\u0000\u0000"+ + "WY\u0003&\u0013\u0000XW\u0001\u0000\u0000\u0000XY\u0001\u0000\u0000\u0000"+ + "Y[\u0001\u0000\u0000\u0000Z\\\u0003 \u0010\u0000[Z\u0001\u0000\u0000\u0000"+ + "[\\\u0001\u0000\u0000\u0000\\]\u0001\u0000\u0000\u0000]^\u0005\u0018\u0000"+ + "\u0000^b\u0005$\u0000\u0000_a\u0003\u000e\u0007\u0000`_\u0001\u0000\u0000"+ + "\u0000ad\u0001\u0000\u0000\u0000b`\u0001\u0000\u0000\u0000bc\u0001\u0000"+ + "\u0000\u0000ch\u0001\u0000\u0000\u0000db\u0001\u0000\u0000\u0000eg\u0003"+ + "\u0010\b\u0000fe\u0001\u0000\u0000\u0000gj\u0001\u0000\u0000\u0000hf\u0001"+ + "\u0000\u0000\u0000hi\u0001\u0000\u0000\u0000ik\u0001\u0000\u0000\u0000"+ + "jh\u0001\u0000\u0000\u0000kl\u0005%\u0000\u0000l\r\u0001\u0000\u0000\u0000"+ + "mo\u0003&\u0013\u0000nm\u0001\u0000\u0000\u0000no\u0001\u0000\u0000\u0000"+ + "oq\u0001\u0000\u0000\u0000pr\u0003 \u0010\u0000qp\u0001\u0000\u0000\u0000"+ + "qr\u0001\u0000\u0000\u0000rs\u0001\u0000\u0000\u0000st\u0005\u0005\u0000"+ + "\u0000tz\u0005\u0018\u0000\u0000uv\u0003\u0012\t\u0000vw\u0005\u0018\u0000"+ + "\u0000wy\u0001\u0000\u0000\u0000xu\u0001\u0000\u0000\u0000y|\u0001\u0000"+ + "\u0000\u0000zx\u0001\u0000\u0000\u0000z{\u0001\u0000\u0000\u0000{}\u0001"+ + "\u0000\u0000\u0000|z\u0001\u0000\u0000\u0000}~\u0005\"\u0000\u0000~\u000f"+ + "\u0001\u0000\u0000\u0000\u007f\u0081\u0003&\u0013\u0000\u0080\u007f\u0001"+ + "\u0000\u0000\u0000\u0080\u0081\u0001\u0000\u0000\u0000\u0081\u0082\u0001"+ + "\u0000\u0000\u0000\u0082\u0084\u0005\u0006\u0000\u0000\u0083\u0085\u0003"+ + " \u0010\u0000\u0084\u0083\u0001\u0000\u0000\u0000\u0084\u0085\u0001\u0000"+ + "\u0000\u0000\u0085\u0086\u0001\u0000\u0000\u0000\u0086\u0087\u0005\u0018"+ + "\u0000\u0000\u0087\u0088\u0005\"\u0000\u0000\u0088\u0011\u0001\u0000\u0000"+ + "\u0000\u0089\u008a\u0007\u0000\u0000\u0000\u008a\u0013\u0001\u0000\u0000"+ + "\u0000\u008b\u008d\u0003&\u0013\u0000\u008c\u008b\u0001\u0000\u0000\u0000"+ + "\u008c\u008d\u0001\u0000\u0000\u0000\u008d\u008f\u0001\u0000\u0000\u0000"+ + "\u008e\u0090\u0003 \u0010\u0000\u008f\u008e\u0001\u0000\u0000\u0000\u008f"+ + "\u0090\u0001\u0000\u0000\u0000\u0090\u0092\u0001\u0000\u0000\u0000\u0091"+ + "\u0093\u0003$\u0012\u0000\u0092\u0091\u0001\u0000\u0000\u0000\u0092\u0093"+ + "\u0001\u0000\u0000\u0000\u0093\u0094\u0001\u0000\u0000\u0000\u0094\u0095"+ + "\u0005\u0018\u0000\u0000\u0095\u0097\u0005\u001f\u0000\u0000\u0096\u0098"+ + "\u0003\u0018\f\u0000\u0097\u0096\u0001\u0000\u0000\u0000\u0097\u0098\u0001"+ + "\u0000\u0000\u0000\u0098\u0099\u0001\u0000\u0000\u0000\u0099\u009c\u0005"+ + " \u0000\u0000\u009a\u009b\u0005\u0004\u0000\u0000\u009b\u009d\u0005\u0018"+ + "\u0000\u0000\u009c\u009a\u0001\u0000\u0000\u0000\u009c\u009d\u0001\u0000"+ + "\u0000\u0000\u009d\u009e\u0001\u0000\u0000\u0000\u009e\u009f\u0003\u0016"+ + "\u000b\u0000\u009f\u0015\u0001\u0000\u0000\u0000\u00a0\u00a4\u0005$\u0000"+ + "\u0000\u00a1\u00a3\u0003\u001c\u000e\u0000\u00a2\u00a1\u0001\u0000\u0000"+ + "\u0000\u00a3\u00a6\u0001\u0000\u0000\u0000\u00a4\u00a2\u0001\u0000\u0000"+ + "\u0000\u00a4\u00a5\u0001\u0000\u0000\u0000\u00a5\u00a7\u0001\u0000\u0000"+ + "\u0000\u00a6\u00a4\u0001\u0000\u0000\u0000\u00a7\u00a8\u0003\u001a\r\u0000"+ + "\u00a8\u00a9\u0005%\u0000\u0000\u00a9\u0017\u0001\u0000\u0000\u0000\u00aa"+ + "\u00af\u0003\u001e\u000f\u0000\u00ab\u00ac\u0005#\u0000\u0000\u00ac\u00ae"+ + "\u0003\u001e\u000f\u0000\u00ad\u00ab\u0001\u0000\u0000\u0000\u00ae\u00b1"+ + "\u0001\u0000\u0000\u0000\u00af\u00ad\u0001\u0000\u0000\u0000\u00af\u00b0"+ + "\u0001\u0000\u0000\u0000\u00b0\u0019\u0001\u0000\u0000\u0000\u00b1\u00af"+ + "\u0001\u0000\u0000\u0000\u00b2\u00b3\u0005\t\u0000\u0000\u00b3\u00b8\u0003"+ + "\u001e\u000f\u0000\u00b4\u00b5\u0005#\u0000\u0000\u00b5\u00b7\u0003\u001e"+ + "\u000f\u0000\u00b6\u00b4\u0001\u0000\u0000\u0000\u00b7\u00ba\u0001\u0000"+ + "\u0000\u0000\u00b8\u00b6\u0001\u0000\u0000\u0000\u00b8\u00b9\u0001\u0000"+ + "\u0000\u0000\u00b9\u00bb\u0001\u0000\u0000\u0000\u00ba\u00b8\u0001\u0000"+ + "\u0000\u0000\u00bb\u00bc\u0005\"\u0000\u0000\u00bc\u001b\u0001\u0000\u0000"+ + "\u0000\u00bd\u00bf\u0003&\u0013\u0000\u00be\u00bd\u0001\u0000\u0000\u0000"+ + "\u00be\u00bf\u0001\u0000\u0000\u0000\u00bf\u00c0\u0001\u0000\u0000\u0000"+ + "\u00c0\u00c1\u0005\u0005\u0000\u0000\u00c1\u00c2\u0005\u0018\u0000\u0000"+ + "\u00c2\u00c3\u0005!\u0000\u0000\u00c3\u00c4\u0005\u0019\u0000\u0000\u00c4"+ + "\u00c5\u0005\"\u0000\u0000\u00c5\u001d\u0001\u0000\u0000\u0000\u00c6\u00c8"+ + "\u0003\"\u0011\u0000\u00c7\u00c9\u0005\n\u0000\u0000\u00c8\u00c7\u0001"+ + "\u0000\u0000\u0000\u00c8\u00c9\u0001\u0000\u0000\u0000\u00c9\u00ca\u0001"+ + "\u0000\u0000\u0000\u00ca\u00cb\u0005\u0018\u0000\u0000\u00cb\u001f\u0001"+ + "\u0000\u0000\u0000\u00cc\u00cd\u0007\u0001\u0000\u0000\u00cd!\u0001\u0000"+ + "\u0000\u0000\u00ce\u00cf\u0007\u0002\u0000\u0000\u00cf#\u0001\u0000\u0000"+ + "\u0000\u00d0\u00d1\u0007\u0003\u0000\u0000\u00d1%\u0001\u0000\u0000\u0000"+ + "\u00d2\u00d3\u0005\u001b\u0000\u0000\u00d3\'\u0001\u0000\u0000\u0000\u001c"+ + "*,13 extends ParseTreeVisitor { */ T visitSpecification(WinxParser.SpecificationContext ctx); /** - * Visit a parse tree produced by {@link WinxParser#interface_body}. + * Visit a parse tree produced by {@link WinxParser#spec_body}. * @param ctx the parse tree * @return the visitor result */ - T visitInterface_body(WinxParser.Interface_bodyContext ctx); + T visitSpec_body(WinxParser.Spec_bodyContext ctx); /** - * Visit a parse tree produced by {@link WinxParser#specification_body}. + * Visit a parse tree produced by {@link WinxParser#requirement_spec}. * @param ctx the parse tree * @return the visitor result */ - T visitSpecification_body(WinxParser.Specification_bodyContext ctx); - /** - * Visit a parse tree produced by {@link WinxParser#requirementSpec}. - * @param ctx the parse tree - * @return the visitor result - */ - T visitRequirementSpec(WinxParser.RequirementSpecContext ctx); + T visitRequirement_spec(WinxParser.Requirement_specContext ctx); /** * Visit a parse tree produced by {@link WinxParser#req_specification}. * @param ctx the parse tree @@ -77,17 +71,17 @@ public interface WinxVisitor extends ParseTreeVisitor { */ T visitLogical_op(WinxParser.Logical_opContext ctx); /** - * Visit a parse tree produced by {@link WinxParser#functionSpec}. + * Visit a parse tree produced by {@link WinxParser#function_spec}. * @param ctx the parse tree * @return the visitor result */ - T visitFunctionSpec(WinxParser.FunctionSpecContext ctx); + T visitFunction_spec(WinxParser.Function_specContext ctx); /** - * Visit a parse tree produced by {@link WinxParser#functionBody}. + * Visit a parse tree produced by {@link WinxParser#function_body}. * @param ctx the parse tree * @return the visitor result */ - T visitFunctionBody(WinxParser.FunctionBodyContext ctx); + T visitFunction_body(WinxParser.Function_bodyContext ctx); /** * Visit a parse tree produced by {@link WinxParser#input_types}. * @param ctx the parse tree @@ -101,11 +95,11 @@ public interface WinxVisitor extends ParseTreeVisitor { */ T visitReturn_types(WinxParser.Return_typesContext ctx); /** - * Visit a parse tree produced by {@link WinxParser#specificationEntry}. + * Visit a parse tree produced by {@link WinxParser#specification_entry}. * @param ctx the parse tree * @return the visitor result */ - T visitSpecificationEntry(WinxParser.SpecificationEntryContext ctx); + T visitSpecification_entry(WinxParser.Specification_entryContext ctx); /** * Visit a parse tree produced by {@link WinxParser#variable}. * @param ctx the parse tree @@ -131,9 +125,9 @@ public interface WinxVisitor extends ParseTreeVisitor { */ T visitAccess_modifiers(WinxParser.Access_modifiersContext ctx); /** - * Visit a parse tree produced by {@link WinxParser#description}. + * Visit a parse tree produced by {@link WinxParser#comment}. * @param ctx the parse tree * @return the visitor result */ - T visitDescription(WinxParser.DescriptionContext ctx); + T visitComment(WinxParser.CommentContext ctx); } \ No newline at end of file diff --git a/src/main/resources/TestProgram.txt b/src/main/resources/TestProgram.txt index a60ec75..7ca7cd1 100644 --- a/src/main/resources/TestProgram.txt +++ b/src/main/resources/TestProgram.txt @@ -4,11 +4,11 @@ package Database { ~An interface holds an abstract structure to be implemented in a specification~ critical interface Database { - ~This is a variably abstract functional specification~ + // lol critical public GetUserList(FLOAT[] x, STRING ag) { @ExecTime : "10s"; @MaxReturnVals : "10s"; - return INT x; + return "CustomDataType" x; } }