byte/winx
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Winx! Now with interfaces and packages

Browse Source
This commit is contained in:
Daniel
2024-04-02 23:17:15 +03:00
parent b5a3ca157c
commit cab0263c81
13 changed files with 778 additions and 862 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/org/lumijiez/Main.java
View File

@@ -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());
}
}
}

19
src/main/java/org/lumijiez/parser/Winx.interp
View File

File diff suppressed because one or more lines are too long

45
src/main/java/org/lumijiez/parser/Winx.tokens
View File

@@ -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

36
src/main/java/org/lumijiez/parser/WinxBaseListener.java
View File

@@ -77,37 +77,25 @@ public class WinxBaseListener implements WinxListener {
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterInterface_body(WinxParser.Interface_bodyContext ctx) { }
@Override public void enterSpec_body(WinxParser.Spec_bodyContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitInterface_body(WinxParser.Interface_bodyContext ctx) { }
@Override public void exitSpec_body(WinxParser.Spec_bodyContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterSpecification_body(WinxParser.Specification_bodyContext ctx) { }
@Override public void enterRequirement_spec(WinxParser.Requirement_specContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitSpecification_body(WinxParser.Specification_bodyContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterRequirementSpec(WinxParser.RequirementSpecContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@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 {
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterFunctionSpec(WinxParser.FunctionSpecContext ctx) { }
@Override public void enterFunction_spec(WinxParser.Function_specContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitFunctionSpec(WinxParser.FunctionSpecContext ctx) { }
@Override public void exitFunction_spec(WinxParser.Function_specContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterFunctionBody(WinxParser.FunctionBodyContext ctx) { }
@Override public void enterFunction_body(WinxParser.Function_bodyContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@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 {
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterSpecificationEntry(WinxParser.SpecificationEntryContext ctx) { }
@Override public void enterSpecification_entry(WinxParser.Specification_entryContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@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 {
*
* <p>The default implementation does nothing.</p>
*/
@Override public void enterDescription(WinxParser.DescriptionContext ctx) { }
@Override public void enterComment(WinxParser.CommentContext ctx) { }
/**
* {@inheritDoc}
*
* <p>The default implementation does nothing.</p>
*/
@Override public void exitDescription(WinxParser.DescriptionContext ctx) { }
@Override public void exitComment(WinxParser.CommentContext ctx) { }
/**
* {@inheritDoc}

19
src/main/java/org/lumijiez/parser/WinxBaseVisitor.java
View File

@@ -53,21 +53,14 @@ public class WinxBaseVisitor<T> extends AbstractParseTreeVisitor<T> implements W
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@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}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitSpecification_body(WinxParser.Specification_bodyContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@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<T> extends AbstractParseTreeVisitor<T> implements W
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitFunctionSpec(WinxParser.FunctionSpecContext ctx) { return visitChildren(ctx); }
@Override public T visitFunction_spec(WinxParser.Function_specContext ctx) { return visitChildren(ctx); }
/**
* {@inheritDoc}
*
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@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<T> extends AbstractParseTreeVisitor<T> implements W
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@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<T> extends AbstractParseTreeVisitor<T> implements W
* <p>The default implementation returns the result of calling
* {@link #visitChildren} on {@code ctx}.</p>
*/
@Override public T visitDescription(WinxParser.DescriptionContext ctx) { return visitChildren(ctx); }
@Override public T visitComment(WinxParser.CommentContext ctx) { return visitChildren(ctx); }
}

9
src/main/java/org/lumijiez/parser/WinxLexer.interp
View File

File diff suppressed because one or more lines are too long

404
src/main/java/org/lumijiez/parser/WinxLexer.java
View File

@@ -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 {

45
src/main/java/org/lumijiez/parser/WinxLexer.tokens
View File

@@ -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

58
src/main/java/org/lumijiez/parser/WinxListener.java
View File

@@ -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);
}

902
src/main/java/org/lumijiez/parser/WinxParser.java
View File

File diff suppressed because it is too large Load Diff

30
src/main/java/org/lumijiez/parser/WinxVisitor.java
View File

@@ -41,23 +41,17 @@ public interface WinxVisitor<T> extends ParseTreeVisitor<T> {
*/
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<T> extends ParseTreeVisitor<T> {
*/
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<T> extends ParseTreeVisitor<T> {
*/
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<T> extends ParseTreeVisitor<T> {
*/
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);
}