Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
IS_UNCERTAIN |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
DEFAULT_SIZE |
4 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
FIELD_COUNT |
24 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CMAG_KIND |
"CMag" |
public static final java.lang.String |
KMAG_KIND |
"KMag" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
CAN_BE_EMPTY |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
CAN_BE_EMPTY |
true |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
CAN_BE_EMPTY |
true |
public static final boolean |
CANNOT_BE_EMPTY |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
FIELD_COUNT |
5 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
DEFAULT_CAPACITY |
-1 |
public static final java.lang.String |
NO_VELA_FILTER |
"" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
COMMA_DELIM |
"," |
public static final java.lang.String |
SPACE_DELIM |
" +" |
public static final java.lang.String |
TAB_DELIM |
"\t" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
BASE_URL |
"https://www.aavso.org/vsx/index.php?view=" |
protected static final int |
MAX_OBS_AT_ONCE |
50000 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
HEIGHT |
600 |
public static final int |
WIDTH |
800 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
DATA_SERIES |
1 |
public static final int |
TOP_HIT_SERIES |
0 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
PLUGIN_LIBS_DIR |
"vstar_plugin_libs" |
public static final java.lang.String |
PLUGINS_DIR |
"vstar_plugins" |
public static final java.lang.String |
PLUGINS_LIST_FILE |
".plugins.lst" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NOT_IMPLEMENTED_YET |
"This feature is not implemented yet." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
NO_SERIES |
-1 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
NO_SERIES |
-1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
VSTAR_PLUGIN_LIBS_DIR_NAME |
"vstar_plugin_libs" |
public static final java.lang.String |
VSTAR_PLUGINS_DIR_NAME |
"vstar_plugins" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
MAX_TOP_HITS |
101 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
FUNDAMENTAL |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MEAN_MAG_INDEX |
0 |
public static final int |
MEAN_TIME_INDEX |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
_serializedATN |
"\u0003\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\u0002/\u015c\b\u0001\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0004\u0013\t\u0013\u0004\u0014\t\u0014\u0004\u0015\t\u0015\u0004\u0016\t\u0016\u0004\u0017\t\u0017\u0004\u0018\t\u0018\u0004\u0019\t\u0019\u0004\u001a\t\u001a\u0004\u001b\t\u001b\u0004\u001c\t\u001c\u0004\u001d\t\u001d\u0004\u001e\t\u001e\u0004\u001f\t\u001f\u0004 \t \u0004!\t!\u0004\"\t\"\u0004#\t#\u0004$\t$\u0004%\t%\u0004&\t&\u0004\'\t\'\u0004(\t(\u0004)\t)\u0004*\t*\u0004+\t+\u0004,\t,\u0004-\t-\u0004.\t.\u0004/\t/\u00040\t0\u00041\t1\u00042\t2\u00043\t3\u00044\t4\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0015\u0003\u0015\u0003\u0016\u0003\u0016\u0003\u0017\u0003\u0017\u0003\u0017\u0003\u0018\u0003\u0018\u0003\u0018\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u001a\u0003\u001a\u0003\u001a\u0003\u001b\u0003\u001b\u0003\u001c\u0003\u001c\u0003\u001d\u0003\u001d\u0003\u001e\u0003\u001e\u0003\u001f\u0003\u001f\u0003 \u0003 \u0003!\u0003!\u0003\"\u0003\"\u0003#\u0003#\u0003#\u0003#\u0003$\u0003$\u0003$\u0003%\u0003%\u0003%\u0003%\u0003&\u0006&\u00e5\n&\r&\u000e&\u00e6\u0003\'\u0006\'\u00ea\n\'\r\'\u000e\'\u00eb\u0003\'\u0003\'\u0006\'\u00f0\n\'\r\'\u000e\'\u00f1\u0005\'\u00f4\n\'\u0003\'\u0003\'\u0005\'\u00f8\n\'\u0003\'\u0006\'\u00fb\n\'\r\'\u000e\'\u00fc\u0005\'\u00ff\n\'\u0003\'\u0003\'\u0006\'\u0103\n\'\r\'\u000e\'\u0104\u0003\'\u0003\'\u0005\'\u0109\n\'\u0003\'\u0006\'\u010c\n\'\r\'\u000e\'\u010d\u0005\'\u0110\n\'\u0005\'\u0112\n\'\u0003(\u0003(\u0005(\u0116\n(\u0003)\u0003)\u0003)\u0003)\u0003)\u0003*\u0003*\u0003*\u0003*\u0003*\u0003*\u0003+\u0003+\u0003,\u0003,\u0005,\u0127\n,\u0003-\u0003-\u0003.\u0003.\u0003.\u0005.\u012e\n.\u0003.\u0003.\u0003.\u0003.\u0007.\u0134\n.\f.\u000e.\u0137\u000b.\u0003/\u0005/\u013a\n/\u00030\u00030\u00031\u00031\u00032\u00032\u00072\u0142\n2\f2\u000e2\u0145\u000b2\u00032\u00032\u00033\u00063\u014a\n3\r3\u000e3\u014b\u00033\u00033\u00034\u00034\u00034\u00054\u0153\n4\u00034\u00074\u0156\n4\f4\u000e4\u0159\u000b4\u00034\u00034\u0002\u00025\u0003\u0003\u0005\u0004\u0007\u0005\t\u0006\u000b\u0007\r\b\u000f\t\u0011\n\u0013\u000b\u0015\f\u0017\r\u0019\u000e\u001b\u000f\u001d\u0010\u001f\u0011!\u0012#\u0013%\u0014\'\u0015)\u0016+\u0017-\u0018/\u00191\u001a3\u001b5\u001c7\u001d9\u001e;\u001f= ?!A\"C#E$G%I&K\'M(O)Q\u0002S\u0002U\u0002W\u0002Y\u0002[*]\u0002_+a,c-e.g/\u0003\u0002\u0018\u0004\u0002KKkk\u0004\u0002UUuu\u0004\u0002YYyy\u0004\u0002JJjj\u0004\u0002GGgg\u0004\u0002PPpp\u0004\u0002NNnn\u0004\u0002HHhh\u0004\u0002WWww\u0004\u0002EEee\u0004\u0002VVvv\u0004\u0002QQqq\u0004\u0002IIii\u0004\u0002TTtt\u0004\u0002CCcc\u0004\u0002DDdd\u0004\u0002FFff\u0003\u00022;\u0004\u0002C\\c|\u0003\u0002$$\u0005\u0002\u000b\f\u000f\u000f\"\"\u0004\u0002\f\f\u000f\u000f\u016d\u0002\u0003\u0003\u0002\u0002\u0002\u0002\u0005\u0003\u0002\u0002\u0002\u0002\u0007\u0003\u0002\u0002\u0002\u0002\t\u0003\u0002\u0002\u0002\u0002\u000b\u0003\u0002\u0002\u0002\u0002\r\u0003\u0002\u0002\u0002\u0002\u000f\u0003\u0002\u0002\u0002\u0002\u0011\u0003\u0002\u0002\u0002\u0002\u0013\u0003\u0002\u0002\u0002\u0002\u0015\u0003\u0002\u0002\u0002\u0002\u0017\u0003\u0002\u0002\u0002\u0002\u0019\u0003\u0002\u0002\u0002\u0002\u001b\u0003\u0002\u0002\u0002\u0002\u001d\u0003\u0002\u0002\u0002\u0002\u001f\u0003\u0002\u0002\u0002\u0002!\u0003\u0002\u0002\u0002\u0002#\u0003\u0002\u0002\u0002\u0002%\u0003\u0002\u0002\u0002\u0002\'\u0003\u0002\u0002\u0002\u0002)\u0003\u0002\u0002\u0002\u0002+\u0003\u0002\u0002\u0002\u0002-\u0003\u0002\u0002\u0002\u0002/\u0003\u0002\u0002\u0002\u00021\u0003\u0002\u0002\u0002\u00023\u0003\u0002\u0002\u0002\u00025\u0003\u0002\u0002\u0002\u00027\u0003\u0002\u0002\u0002\u00029\u0003\u0002\u0002\u0002\u0002;\u0003\u0002\u0002\u0002\u0002=\u0003\u0002\u0002\u0002\u0002?\u0003\u0002\u0002\u0002\u0002A\u0003\u0002\u0002\u0002\u0002C\u0003\u0002\u0002\u0002\u0002E\u0003\u0002\u0002\u0002\u0002G\u0003\u0002\u0002\u0002\u0002I\u0003\u0002\u0002\u0002\u0002K\u0003\u0002\u0002\u0002\u0002M\u0003\u0002\u0002\u0002\u0002O\u0003\u0002\u0002\u0002\u0002[\u0003\u0002\u0002\u0002\u0002_\u0003\u0002\u0002\u0002\u0002a\u0003\u0002\u0002\u0002\u0002c\u0003\u0002\u0002\u0002\u0002e\u0003\u0002\u0002\u0002\u0002g\u0003\u0002\u0002\u0002\u0003i\u0003\u0002\u0002\u0002\u0005l\u0003\u0002\u0002\u0002\u0007o\u0003\u0002\u0002\u0002\tq\u0003\u0002\u0002\u0002\u000bt\u0003\u0002\u0002\u0002\ry\u0003\u0002\u0002\u0002\u000f\u007f\u0003\u0002\u0002\u0002\u0011\u0088\u0003\u0002\u0002\u0002\u0013\u0090\u0003\u0002\u0002\u0002\u0015\u0095\u0003\u0002\u0002\u0002\u0017\u009d\u0003\u0002\u0002\u0002\u0019\u00a4\u0003\u0002\u0002\u0002\u001b\u00a9\u0003\u0002\u0002\u0002\u001d\u00ab\u0003\u0002\u0002\u0002\u001f\u00ad\u0003\u0002\u0002\u0002!\u00af\u0003\u0002\u0002\u0002#\u00b1\u0003\u0002\u0002\u0002%\u00b3\u0003\u0002\u0002\u0002\'\u00b5\u0003\u0002\u0002\u0002)\u00b8\u0003\u0002\u0002\u0002+\u00ba\u0003\u0002\u0002\u0002-\u00bc\u0003\u0002\u0002\u0002/\u00bf\u0003\u0002\u0002\u00021\u00c2\u0003\u0002\u0002\u00023\u00c5\u0003\u0002\u0002\u00025\u00c8\u0003\u0002\u0002\u00027\u00ca\u0003\u0002\u0002\u00029\u00cc\u0003\u0002\u0002\u0002;\u00ce\u0003\u0002\u0002\u0002=\u00d0\u0003\u0002\u0002\u0002?\u00d2\u0003\u0002\u0002\u0002A\u00d4\u0003\u0002\u0002\u0002C\u00d6\u0003\u0002\u0002\u0002E\u00d8\u0003\u0002\u0002\u0002G\u00dc\u0003\u0002\u0002\u0002I\u00df\u0003\u0002\u0002\u0002K\u00e4\u0003\u0002\u0002\u0002M\u0111\u0003\u0002\u0002\u0002O\u0115\u0003\u0002\u0002\u0002Q\u0117\u0003\u0002\u0002\u0002S\u011c\u0003\u0002\u0002\u0002U\u0122\u0003\u0002\u0002\u0002W\u0126\u0003\u0002\u0002\u0002Y\u0128\u0003\u0002\u0002\u0002[\u012d\u0003\u0002\u0002\u0002]\u0139\u0003\u0002\u0002\u0002_\u013b\u0003\u0002\u0002\u0002a\u013d\u0003\u0002\u0002\u0002c\u013f\u0003\u0002\u0002\u0002e\u0149\u0003\u0002\u0002\u0002g\u0152\u0003\u0002\u0002\u0002ij\u0007>\u0002\u0002jk\u0007/\u0002\u0002k\u0004\u0003\u0002\u0002\u0002lm\t\u0002\u0002\u0002mn\t\u0003\u0002\u0002n\u0006\u0003\u0002\u0002\u0002op\u0007<\u0002\u0002p\b\u0003\u0002\u0002\u0002qr\u0007/\u0002\u0002rs\u0007@\u0002\u0002s\n\u0003\u0002\u0002\u0002tu\t\u0004\u0002\u0002uv\t\u0005\u0002\u0002vw\t\u0006\u0002\u0002wx\t\u0007\u0002\u0002x\f\u0003\u0002\u0002\u0002yz\t\u0004\u0002\u0002z{\t\u0005\u0002\u0002{|\t\u0002\u0002\u0002|}\t\b\u0002\u0002}~\t\u0006\u0002\u0002~\u000e\u0003\u0002\u0002\u0002\u007f\u0080\t\t\u0002\u0002\u0080\u0081\t\n\u0002\u0002\u0081\u0082\t\u0007\u0002\u0002\u0082\u0083\t\u000b\u0002\u0002\u0083\u0084\t\f\u0002\u0002\u0084\u0085\t\u0002\u0002\u0002\u0085\u0086\t\r\u0002\u0002\u0086\u0087\t\u0007\u0002\u0002\u0087\u0010\u0003\u0002\u0002\u0002\u0088\u0089\t\u0002\u0002\u0002\u0089\u008a\t\u0007\u0002\u0002\u008a\u008b\t\f\u0002\u0002\u008b\u008c\t\u0006\u0002\u0002\u008c\u008d\t\u000e\u0002\u0002\u008d\u008e\t\u0006\u0002\u0002\u008e\u008f\t\u000f\u0002\u0002\u008f\u0012\u0003\u0002\u0002\u0002\u0090\u0091\t\u000f\u0002\u0002\u0091\u0092\t\u0006\u0002\u0002\u0092\u0093\t\u0010\u0002\u0002\u0093\u0094\t\b\u0002\u0002\u0094\u0014\u0003\u0002\u0002\u0002\u0095\u0096\t\u0011\u0002\u0002\u0096\u0097\t\r\u0002\u0002\u0097\u0098\t\r\u0002\u0002\u0098\u0099\t\b\u0002\u0002\u0099\u009a\t\u0006\u0002\u0002\u009a\u009b\t\u0010\u0002\u0002\u009b\u009c\t\u0007\u0002\u0002\u009c\u0016\u0003\u0002\u0002\u0002\u009d\u009e\t\u0003\u0002\u0002\u009e\u009f\t\f\u0002\u0002\u009f\u00a0\t\u000f\u0002\u0002\u00a0\u00a1\t\u0002\u0002\u0002\u00a1\u00a2\t\u0007\u0002\u0002\u00a2\u00a3\t\u000e\u0002\u0002\u00a3\u0018\u0003\u0002\u0002\u0002\u00a4\u00a5\t\b\u0002\u0002\u00a5\u00a6\t\u0002\u0002\u0002\u00a6\u00a7\t\u0003\u0002\u0002\u00a7\u00a8\t\f\u0002\u0002\u00a8\u001a\u0003\u0002\u0002\u0002\u00a9\u00aa\u0007/\u0002\u0002\u00aa\u001c\u0003\u0002\u0002\u0002\u00ab\u00ac\u0007-\u0002\u0002\u00ac\u001e\u0003\u0002\u0002\u0002\u00ad\u00ae\u0007,\u0002\u0002\u00ae \u0003\u0002\u0002\u0002\u00af\u00b0\u00071\u0002\u0002\u00b0\"\u0003\u0002\u0002\u0002\u00b1\u00b2\u0007`\u0002\u0002\u00b2$\u0003\u0002\u0002\u0002\u00b3\u00b4\u0007?\u0002\u0002\u00b4&\u0003\u0002\u0002\u0002\u00b5\u00b6\u0007>\u0002\u0002\u00b6\u00b7\u0007@\u0002\u0002\u00b7(\u0003\u0002\u0002\u0002\u00b8\u00b9\u0007@\u0002\u0002\u00b9*\u0003\u0002\u0002\u0002\u00ba\u00bb\u0007>\u0002\u0002\u00bb,\u0003\u0002\u0002\u0002\u00bc\u00bd\u0007@\u0002\u0002\u00bd\u00be\u0007?\u0002\u0002\u00be.\u0003\u0002\u0002\u0002\u00bf\u00c0\u0007>\u0002\u0002\u00c0\u00c1\u0007?\u0002\u0002\u00c10\u0003\u0002\u0002\u0002\u00c2\u00c3\u0007?\u0002\u0002\u00c3\u00c4\u0007\u0080\u0002\u0002\u00c42\u0003\u0002\u0002\u0002\u00c5\u00c6\t\u0002\u0002\u0002\u00c6\u00c7\t\u0007\u0002\u0002\u00c74\u0003\u0002\u0002\u0002\u00c8\u00c9\u0007*\u0002\u0002\u00c96\u0003\u0002\u0002\u0002\u00ca\u00cb\u0007+\u0002\u0002\u00cb8\u0003\u0002\u0002\u0002\u00cc\u00cd\u0007]\u0002\u0002\u00cd:\u0003\u0002\u0002\u0002\u00ce\u00cf\u0007_\u0002\u0002\u00cf<\u0003\u0002\u0002\u0002\u00d0\u00d1\u0007}\u0002\u0002\u00d1>\u0003\u0002\u0002\u0002\u00d2\u00d3\u0007\u007f\u0002\u0002\u00d3@\u0003\u0002\u0002\u0002\u00d4\u00d5\u00070\u0002\u0002\u00d5B\u0003\u0002\u0002\u0002\u00d6\u00d7\u0007.\u0002\u0002\u00d7D\u0003\u0002\u0002\u0002\u00d8\u00d9\t\u0010\u0002\u0002\u00d9\u00da\t\u0007\u0002\u0002\u00da\u00db\t\u0012\u0002\u0002\u00dbF\u0003\u0002\u0002\u0002\u00dc\u00dd\t\r\u0002\u0002\u00dd\u00de\t\u000f\u0002\u0002\u00deH\u0003\u0002\u0002\u0002\u00df\u00e0\t\u0007\u0002\u0002\u00e0\u00e1\t\r\u0002\u0002\u00e1\u00e2\t\f\u0002\u0002\u00e2J\u0003\u0002\u0002\u0002\u00e3\u00e5\u0005U+\u0002\u00e4\u00e3\u0003\u0002\u0002\u0002\u00e5\u00e6\u0003\u0002\u0002\u0002\u00e6\u00e4\u0003\u0002\u0002\u0002\u00e6\u00e7\u0003\u0002\u0002\u0002\u00e7L\u0003\u0002\u0002\u0002\u00e8\u00ea\u0005U+\u0002\u00e9\u00e8\u0003\u0002\u0002\u0002\u00ea\u00eb\u0003\u0002\u0002\u0002\u00eb\u00e9\u0003\u0002\u0002\u0002\u00eb\u00ec\u0003\u0002\u0002\u0002\u00ec\u00f3\u0003\u0002\u0002\u0002\u00ed\u00ef\u0005W,\u0002\u00ee\u00f0\u0005U+\u0002\u00ef\u00ee\u0003\u0002\u0002\u0002\u00f0\u00f1\u0003\u0002\u0002\u0002\u00f1\u00ef\u0003\u0002\u0002\u0002\u00f1\u00f2\u0003\u0002\u0002\u0002\u00f2\u00f4\u0003\u0002\u0002\u0002\u00f3\u00ed\u0003\u0002\u0002\u0002\u00f3\u00f4\u0003\u0002\u0002\u0002\u00f4\u00fe\u0003\u0002\u0002\u0002\u00f5\u00f7\u0005Y-\u0002\u00f6\u00f8\u0005\u001b\u000e\u0002\u00f7\u00f6\u0003\u0002\u0002\u0002\u00f7\u00f8\u0003\u0002\u0002\u0002\u00f8\u00fa\u0003\u0002\u0002\u0002\u00f9\u00fb\u0005U+\u0002\u00fa\u00f9\u0003\u0002\u0002\u0002\u00fb\u00fc\u0003\u0002\u0002\u0002\u00fc\u00fa\u0003\u0002\u0002\u0002\u00fc\u00fd\u0003\u0002\u0002\u0002\u00fd\u00ff\u0003\u0002\u0002\u0002\u00fe\u00f5\u0003\u0002\u0002\u0002\u00fe\u00ff\u0003\u0002\u0002\u0002\u00ff\u0112\u0003\u0002\u0002\u0002\u0100\u0102\u0005W,\u0002\u0101\u0103\u0005U+\u0002\u0102\u0101\u0003\u0002\u0002\u0002\u0103\u0104\u0003\u0002\u0002\u0002\u0104\u0102\u0003\u0002\u0002\u0002\u0104\u0105\u0003\u0002\u0002\u0002\u0105\u010f\u0003\u0002\u0002\u0002\u0106\u0108\u0005Y-\u0002\u0107\u0109\u0005\u001b\u000e\u0002\u0108\u0107\u0003\u0002\u0002\u0002\u0108\u0109\u0003\u0002\u0002\u0002\u0109\u010b\u0003\u0002\u0002\u0002\u010a\u010c\u0005U+\u0002\u010b\u010a\u0003\u0002\u0002\u0002\u010c\u010d\u0003\u0002\u0002\u0002\u010d\u010b\u0003\u0002\u0002\u0002\u010d\u010e\u0003\u0002\u0002\u0002\u010e\u0110\u0003\u0002\u0002\u0002\u010f\u0106\u0003\u0002\u0002\u0002\u010f\u0110\u0003\u0002\u0002\u0002\u0110\u0112\u0003\u0002\u0002\u0002\u0111\u00e9\u0003\u0002\u0002\u0002\u0111\u0100\u0003\u0002\u0002\u0002\u0112N\u0003\u0002\u0002\u0002\u0113\u0116\u0005Q)\u0002\u0114\u0116\u0005S*\u0002\u0115\u0113\u0003\u0002\u0002\u0002\u0115\u0114\u0003\u0002\u0002\u0002\u0116P\u0003\u0002\u0002\u0002\u0117\u0118\t\f\u0002\u0002\u0118\u0119\t\u000f\u0002\u0002\u0119\u011a\t\n\u0002\u0002\u011a\u011b\t\u0006\u0002\u0002\u011bR\u0003\u0002\u0002\u0002\u011c\u011d\t\t\u0002\u0002\u011d\u011e\t\u0010\u0002\u0002\u011e\u011f\t\b\u0002\u0002\u011f\u0120\t\u0003\u0002\u0002\u0120\u0121\t\u0006\u0002\u0002\u0121T\u0003\u0002\u0002\u0002\u0122\u0123\t\u0013\u0002\u0002\u0123V\u0003\u0002\u0002\u0002\u0124\u0127\u0005A!\u0002\u0125\u0127\u0005C\"\u0002\u0126\u0124\u0003\u0002\u0002\u0002\u0126\u0125\u0003\u0002\u0002\u0002\u0127X\u0003\u0002\u0002\u0002\u0128\u0129\t\u0006\u0002\u0002\u0129Z\u0003\u0002\u0002\u0002\u012a\u012e\u0005]/\u0002\u012b\u012e\u0005_0\u0002\u012c\u012e\u0005a1\u0002\u012d\u012a\u0003\u0002\u0002\u0002\u012d\u012b\u0003\u0002\u0002\u0002\u012d\u012c\u0003\u0002\u0002\u0002\u012e\u0135\u0003\u0002\u0002\u0002\u012f\u0134\u0005]/\u0002\u0130\u0134\u0005U+\u0002\u0131\u0134\u0005_0\u0002\u0132\u0134\u0005a1\u0002\u0133\u012f\u0003\u0002\u0002\u0002\u0133\u0130\u0003\u0002\u0002\u0002\u0133\u0131\u0003\u0002\u0002\u0002\u0133\u0132\u0003\u0002\u0002\u0002\u0134\u0137\u0003\u0002\u0002\u0002\u0135\u0133\u0003\u0002\u0002\u0002\u0135\u0136\u0003\u0002\u0002\u0002\u0136\\\u0003\u0002\u0002\u0002\u0137\u0135\u0003\u0002\u0002\u0002\u0138\u013a\t\u0014\u0002\u0002\u0139\u0138\u0003\u0002\u0002\u0002\u013a^\u0003\u0002\u0002\u0002\u013b\u013c\u0007a\u0002\u0002\u013c`\u0003\u0002\u0002\u0002\u013d\u013e\u0007A\u0002\u0002\u013eb\u0003\u0002\u0002\u0002\u013f\u0143\u0007$\u0002\u0002\u0140\u0142\n\u0015\u0002\u0002\u0141\u0140\u0003\u0002\u0002\u0002\u0142\u0145\u0003\u0002\u0002\u0002\u0143\u0141\u0003\u0002\u0002\u0002\u0143\u0144\u0003\u0002\u0002\u0002\u0144\u0146\u0003\u0002\u0002\u0002\u0145\u0143\u0003\u0002\u0002\u0002\u0146\u0147\u0007$\u0002\u0002\u0147d\u0003\u0002\u0002\u0002\u0148\u014a\t\u0016\u0002\u0002\u0149\u0148\u0003\u0002\u0002\u0002\u014a\u014b\u0003\u0002\u0002\u0002\u014b\u0149\u0003\u0002\u0002\u0002\u014b\u014c\u0003\u0002\u0002\u0002\u014c\u014d\u0003\u0002\u0002\u0002\u014d\u014e\b3\u0002\u0002\u014ef\u0003\u0002\u0002\u0002\u014f\u0150\u0007/\u0002\u0002\u0150\u0153\u0007/\u0002\u0002\u0151\u0153\u0007%\u0002\u0002\u0152\u014f\u0003\u0002\u0002\u0002\u0152\u0151\u0003\u0002\u0002\u0002\u0153\u0157\u0003\u0002\u0002\u0002\u0154\u0156\n\u0017\u0002\u0002\u0155\u0154\u0003\u0002\u0002\u0002\u0156\u0159\u0003\u0002\u0002\u0002\u0157\u0155\u0003\u0002\u0002\u0002\u0157\u0158\u0003\u0002\u0002\u0002\u0158\u015a\u0003\u0002\u0002\u0002\u0159\u0157\u0003\u0002\u0002\u0002\u015a\u015b\b4\u0002\u0002\u015bh\u0003\u0002\u0002\u0002\u0019\u0002\u00e6\u00eb\u00f1\u00f3\u00f7\u00fc\u00fe\u0104\u0108\u010d\u010f\u0111\u0115\u0126\u012d\u0133\u0135\u0139\u0143\u014b\u0152\u0157\u0003\b\u0002\u0002" |
public static final int |
AND |
34 |
public static final int |
APPROXIMATELY_EQUAL |
24 |
public static final int |
ARROW |
4 |
public static final int |
BACK_ARROW |
1 |
public static final int |
BOOL_T |
10 |
public static final int |
BOOLEAN |
39 |
public static final int |
COLON |
3 |
public static final int |
COMMA |
33 |
public static final int |
COMMENT |
45 |
public static final int |
DIV |
16 |
public static final int |
EQUAL |
18 |
public static final int |
FUN |
7 |
public static final int |
GREATER_THAN |
20 |
public static final int |
GREATER_THAN_OR_EQUAL |
22 |
public static final int |
IDENT |
40 |
public static final int |
IN |
25 |
public static final int |
INT_T |
8 |
public static final int |
INTEGER |
37 |
public static final int |
IS |
2 |
public static final int |
LBRACE |
30 |
public static final int |
LBRACKET |
28 |
public static final int |
LESS_THAN |
21 |
public static final int |
LESS_THAN_OR_EQUAL |
23 |
public static final int |
LIST_T |
12 |
public static final int |
LPAREN |
26 |
public static final int |
MINUS |
13 |
public static final int |
MULT |
15 |
public static final int |
NOT |
36 |
public static final int |
NOT_EQUAL |
19 |
public static final int |
OR |
35 |
public static final int |
PERIOD |
32 |
public static final int |
PLUS |
14 |
public static final int |
POW |
17 |
public static final int |
QUESTION |
42 |
public static final int |
RBRACE |
31 |
public static final int |
RBRACKET |
29 |
public static final int |
REAL |
38 |
public static final int |
REAL_T |
9 |
public static final int |
RPAREN |
27 |
public static final int |
STR_T |
11 |
public static final int |
STRING |
43 |
public static final int |
UNDERSCORE |
41 |
public static final int |
WHEN |
5 |
public static final int |
WHILE |
6 |
public static final int |
WS |
44 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
_serializedATN |
"\u0003\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\u0003/\u00fb\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0004\b\t\b\u0004\t\t\t\u0004\n\t\n\u0004\u000b\t\u000b\u0004\f\t\f\u0004\r\t\r\u0004\u000e\t\u000e\u0004\u000f\t\u000f\u0004\u0010\t\u0010\u0004\u0011\t\u0011\u0004\u0012\t\u0012\u0004\u0013\t\u0013\u0004\u0014\t\u0014\u0004\u0015\t\u0015\u0004\u0016\t\u0016\u0004\u0017\t\u0017\u0004\u0018\t\u0018\u0004\u0019\t\u0019\u0004\u001a\t\u001a\u0004\u001b\t\u001b\u0004\u001c\t\u001c\u0004\u001d\t\u001d\u0004\u001e\t\u001e\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0007\u0002A\n\u0002\f\u0002\u000e\u0002D\u000b\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0005\u0004M\n\u0004\u0003\u0004\u0007\u0004P\n\u0004\f\u0004\u000e\u0004S\u000b\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0005\u0004X\n\u0004\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0005\u0005^\n\u0005\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0006\u0006e\n\u0006\r\u0006\u000e\u0006f\u0003\u0007\u0003\u0007\u0005\u0007k\n\u0007\u0003\b\u0003\b\u0003\b\u0003\b\u0003\t\u0003\t\u0003\t\u0007\tt\n\t\f\t\u000e\tw\u000b\t\u0003\n\u0003\n\u0003\n\u0007\n|\n\n\f\n\u000e\n\u007f\u000b\n\u0003\u000b\u0005\u000b\u0082\n\u000b\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\f\u0005\f\u0089\n\f\u0003\r\u0003\r\u0003\r\u0007\r\u008e\n\r\f\r\u000e\r\u0091\u000b\r\u0003\u000e\u0003\u000e\u0003\u000e\u0007\u000e\u0096\n\u000e\f\u000e\u000e\u000e\u0099\u000b\u000e\u0003\u000f\u0005\u000f\u009c\n\u000f\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0007\u0011\u00a5\n\u0011\f\u0011\u000e\u0011\u00a8\u000b\u0011\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0005\u0012\u00b6\n\u0012\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0003\u0015\u0003\u0015\u0003\u0016\u0003\u0016\u0003\u0017\u0003\u0017\u0005\u0017\u00c2\n\u0017\u0003\u0017\u0007\u0017\u00c5\n\u0017\f\u0017\u000e\u0017\u00c8\u000b\u0017\u0003\u0017\u0003\u0017\u0003\u0018\u0003\u0018\u0003\u0019\u0003\u0019\u0003\u0019\u0005\u0019\u00d1\n\u0019\u0003\u0019\u0007\u0019\u00d4\n\u0019\f\u0019\u000e\u0019\u00d7\u000b\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0005\u0019\u00dc\n\u0019\u0003\u0019\u0003\u0019\u0003\u001a\u0003\u001a\u0003\u001a\u0003\u001a\u0003\u001b\u0003\u001b\u0003\u001c\u0003\u001c\u0003\u001c\u0005\u001c\u00e9\n\u001c\u0003\u001c\u0007\u001c\u00ec\n\u001c\f\u001c\u000e\u001c\u00ef\u000b\u001c\u0003\u001c\u0003\u001c\u0003\u001d\u0003\u001d\u0005\u001d\u00f5\n\u001d\u0003\u001e\u0003\u001e\u0003\u001e\u0003\u001e\u0003\u001e\u0002\u0002\u001f\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u001e \"$&(*,.02468:\u0002\u0007\u0003\u0002\u0003\u0004\u0003\u0002\u0014\u001b\u0003\u0002\u000f\u0010\u0003\u0002\u0011\u0012\u0003\u0002\t\u000e\u00ff\u0002B\u0003\u0002\u0002\u0002\u0004E\u0003\u0002\u0002\u0002\u0006I\u0003\u0002\u0002\u0002\b]\u0003\u0002\u0002\u0002\n_\u0003\u0002\u0002\u0002\fj\u0003\u0002\u0002\u0002\u000el\u0003\u0002\u0002\u0002\u0010p\u0003\u0002\u0002\u0002\u0012x\u0003\u0002\u0002\u0002\u0014\u0081\u0003\u0002\u0002\u0002\u0016\u0085\u0003\u0002\u0002\u0002\u0018\u008a\u0003\u0002\u0002\u0002\u001a\u0092\u0003\u0002\u0002\u0002\u001c\u009b\u0003\u0002\u0002\u0002\u001e\u009f\u0003\u0002\u0002\u0002 \u00a1\u0003\u0002\u0002\u0002\"\u00b5\u0003\u0002\u0002\u0002$\u00b7\u0003\u0002\u0002\u0002&\u00b9\u0003\u0002\u0002\u0002(\u00bb\u0003\u0002\u0002\u0002*\u00bd\u0003\u0002\u0002\u0002,\u00bf\u0003\u0002\u0002\u0002.\u00cb\u0003\u0002\u0002\u00020\u00cd\u0003\u0002\u0002\u00022\u00df\u0003\u0002\u0002\u00024\u00e3\u0003\u0002\u0002\u00026\u00e5\u0003\u0002\u0002\u00028\u00f4\u0003\u0002\u0002\u0002:\u00f6\u0003\u0002\u0002\u0002<A\u0005\u0004\u0003\u0002=A\u0005\u000e\b\u0002>A\u0005\u0006\u0004\u0002?A\u0005\b\u0005\u0002@<\u0003\u0002\u0002\u0002@=\u0003\u0002\u0002\u0002@>\u0003\u0002\u0002\u0002@?\u0003\u0002\u0002\u0002AD\u0003\u0002\u0002\u0002B@\u0003\u0002\u0002\u0002BC\u0003\u0002\u0002\u0002C\u0003\u0003\u0002\u0002\u0002DB\u0003\u0002\u0002\u0002EF\u0005.\u0018\u0002FG\t\u0002\u0002\u0002GH\u0005\b\u0005\u0002H\u0005\u0003\u0002\u0002\u0002IJ\u0005.\u0018\u0002JL\u0007\u001c\u0002\u0002KM\u00052\u001a\u0002LK\u0003\u0002\u0002\u0002LM\u0003\u0002\u0002\u0002MQ\u0003\u0002\u0002\u0002NP\u00052\u001a\u0002ON\u0003\u0002\u0002\u0002PS\u0003\u0002\u0002\u0002QO\u0003\u0002\u0002\u0002QR\u0003\u0002\u0002\u0002RT\u0003\u0002\u0002\u0002SQ\u0003\u0002\u0002\u0002TW\u0007\u001d\u0002\u0002UV\u0007\u0005\u0002\u0002VX\u00054\u001b\u0002WU\u0003\u0002\u0002\u0002WX\u0003\u0002\u0002\u0002XY\u0003\u0002\u0002\u0002YZ\u0005:\u001e\u0002Z\u0007\u0003\u0002\u0002\u0002[^\u0005\n\u0006\u0002\\^\u0005\u0010\t\u0002][\u0003\u0002\u0002\u0002]\\\u0003\u0002\u0002\u0002^\t\u0003\u0002\u0002\u0002_d\u0007\u0007\u0002\u0002`a\u0005\u0010\t\u0002ab\u0007\u0006\u0002\u0002bc\u0005\f\u0007\u0002ce\u0003\u0002\u0002\u0002d`\u0003\u0002\u0002\u0002ef\u0003\u0002\u0002\u0002fd\u0003\u0002\u0002\u0002fg\u0003\u0002\u0002\u0002g\u000b\u0003\u0002\u0002\u0002hk\u0005\b\u0005\u0002ik\u0005:\u001e\u0002jh\u0003\u0002\u0002\u0002ji\u0003\u0002\u0002\u0002k\r\u0003\u0002\u0002\u0002lm\u0007\b\u0002\u0002mn\u0005\u0010\t\u0002no\u0005:\u001e\u0002o\u000f\u0003\u0002\u0002\u0002pu\u0005\u0012\n\u0002qr\u0007%\u0002\u0002rt\u0005\u0012\n\u0002sq\u0003\u0002\u0002\u0002tw\u0003\u0002\u0002\u0002us\u0003\u0002\u0002\u0002uv\u0003\u0002\u0002\u0002v\u0011\u0003\u0002\u0002\u0002wu\u0003\u0002\u0002\u0002x}\u0005\u0014\u000b\u0002yz\u0007$\u0002\u0002z|\u0005\u0014\u000b\u0002{y\u0003\u0002\u0002\u0002|\u007f\u0003\u0002\u0002\u0002}{\u0003\u0002\u0002\u0002}~\u0003\u0002\u0002\u0002~\u0013\u0003\u0002\u0002\u0002\u007f}\u0003\u0002\u0002\u0002\u0080\u0082\u0007&\u0002\u0002\u0081\u0080\u0003\u0002\u0002\u0002\u0081\u0082\u0003\u0002\u0002\u0002\u0082\u0083\u0003\u0002\u0002\u0002\u0083\u0084\u0005\u0016\f\u0002\u0084\u0015\u0003\u0002\u0002\u0002\u0085\u0088\u0005\u0018\r\u0002\u0086\u0087\t\u0003\u0002\u0002\u0087\u0089\u0005\u0018\r\u0002\u0088\u0086\u0003\u0002\u0002\u0002\u0088\u0089\u0003\u0002\u0002\u0002\u0089\u0017\u0003\u0002\u0002\u0002\u008a\u008f\u0005\u001a\u000e\u0002\u008b\u008c\t\u0004\u0002\u0002\u008c\u008e\u0005\u001a\u000e\u0002\u008d\u008b\u0003\u0002\u0002\u0002\u008e\u0091\u0003\u0002\u0002\u0002\u008f\u008d\u0003\u0002\u0002\u0002\u008f\u0090\u0003\u0002\u0002\u0002\u0090\u0019\u0003\u0002\u0002\u0002\u0091\u008f\u0003\u0002\u0002\u0002\u0092\u0097\u0005\u001c\u000f\u0002\u0093\u0094\t\u0005\u0002\u0002\u0094\u0096\u0005\u001c\u000f\u0002\u0095\u0093\u0003\u0002\u0002\u0002\u0096\u0099\u0003\u0002\u0002\u0002\u0097\u0095\u0003\u0002\u0002\u0002\u0097\u0098\u0003\u0002\u0002\u0002\u0098\u001b\u0003\u0002\u0002\u0002\u0099\u0097\u0003\u0002\u0002\u0002\u009a\u009c\u0005\u001e\u0010\u0002\u009b\u009a\u0003\u0002\u0002\u0002\u009b\u009c\u0003\u0002\u0002\u0002\u009c\u009d\u0003\u0002\u0002\u0002\u009d\u009e\u0005 \u0011\u0002\u009e\u001d\u0003\u0002\u0002\u0002\u009f\u00a0\t\u0004\u0002\u0002\u00a0\u001f\u0003\u0002\u0002\u0002\u00a1\u00a6\u0005\"\u0012\u0002\u00a2\u00a3\u0007\u0013\u0002\u0002\u00a3\u00a5\u0005\"\u0012\u0002\u00a4\u00a2\u0003\u0002\u0002\u0002\u00a5\u00a8\u0003\u0002\u0002\u0002\u00a6\u00a4\u0003\u0002\u0002\u0002\u00a6\u00a7\u0003\u0002\u0002\u0002\u00a7!\u0003\u0002\u0002\u0002\u00a8\u00a6\u0003\u0002\u0002\u0002\u00a9\u00aa\u0007\u001c\u0002\u0002\u00aa\u00ab\u0005\b\u0005\u0002\u00ab\u00ac\u0007\u001d\u0002\u0002\u00ac\u00b6\u0003\u0002\u0002\u0002\u00ad\u00b6\u0005$\u0013\u0002\u00ae\u00b6\u0005&\u0014\u0002\u00af\u00b6\u0005(\u0015\u0002\u00b0\u00b6\u0005*\u0016\u0002\u00b1\u00b6\u0005,\u0017\u0002\u00b2\u00b6\u00056\u001c\u0002\u00b3\u00b6\u0005.\u0018\u0002\u00b4\u00b6\u00050\u0019\u0002\u00b5\u00a9\u0003\u0002\u0002\u0002\u00b5\u00ad\u0003\u0002\u0002\u0002\u00b5\u00ae\u0003\u0002\u0002\u0002\u00b5\u00af\u0003\u0002\u0002\u0002\u00b5\u00b0\u0003\u0002\u0002\u0002\u00b5\u00b1\u0003\u0002\u0002\u0002\u00b5\u00b2\u0003\u0002\u0002\u0002\u00b5\u00b3\u0003\u0002\u0002\u0002\u00b5\u00b4\u0003\u0002\u0002\u0002\u00b6#\u0003\u0002\u0002\u0002\u00b7\u00b8\u0007\'\u0002\u0002\u00b8%\u0003\u0002\u0002\u0002\u00b9\u00ba\u0007(\u0002\u0002\u00ba\'\u0003\u0002\u0002\u0002\u00bb\u00bc\u0007)\u0002\u0002\u00bc)\u0003\u0002\u0002\u0002\u00bd\u00be\u0007-\u0002\u0002\u00be+\u0003\u0002\u0002\u0002\u00bf\u00c1\u0007\u001e\u0002\u0002\u00c0\u00c2\u0005\b\u0005\u0002\u00c1\u00c0\u0003\u0002\u0002\u0002\u00c1\u00c2\u0003\u0002\u0002\u0002\u00c2\u00c6\u0003\u0002\u0002\u0002\u00c3\u00c5\u0005\b\u0005\u0002\u00c4\u00c3\u0003\u0002\u0002\u0002\u00c5\u00c8\u0003\u0002\u0002\u0002\u00c6\u00c4\u0003\u0002\u0002\u0002\u00c6\u00c7\u0003\u0002\u0002\u0002\u00c7\u00c9\u0003\u0002\u0002\u0002\u00c8\u00c6\u0003\u0002\u0002\u0002\u00c9\u00ca\u0007\u001f\u0002\u0002\u00ca-\u0003\u0002\u0002\u0002\u00cb\u00cc\u0007*\u0002\u0002\u00cc/\u0003\u0002\u0002\u0002\u00cd\u00ce\u0007\t\u0002\u0002\u00ce\u00d0\u0007\u001c\u0002\u0002\u00cf\u00d1\u00052\u001a\u0002\u00d0\u00cf\u0003\u0002\u0002\u0002\u00d0\u00d1\u0003\u0002\u0002\u0002\u00d1\u00d5\u0003\u0002\u0002\u0002\u00d2\u00d4\u00052\u001a\u0002\u00d3\u00d2\u0003\u0002\u0002\u0002\u00d4\u00d7\u0003\u0002\u0002\u0002\u00d5\u00d3\u0003\u0002\u0002\u0002\u00d5\u00d6\u0003\u0002\u0002\u0002\u00d6\u00d8\u0003\u0002\u0002\u0002\u00d7\u00d5\u0003\u0002\u0002\u0002\u00d8\u00db\u0007\u001d\u0002\u0002\u00d9\u00da\u0007\u0005\u0002\u0002\u00da\u00dc\u00054\u001b\u0002\u00db\u00d9\u0003\u0002\u0002\u0002\u00db\u00dc\u0003\u0002\u0002\u0002\u00dc\u00dd\u0003\u0002\u0002\u0002\u00dd\u00de\u0005:\u001e\u0002\u00de1\u0003\u0002\u0002\u0002\u00df\u00e0\u0005.\u0018\u0002\u00e0\u00e1\u0007\u0005\u0002\u0002\u00e1\u00e2\u00054\u001b\u0002\u00e23\u0003\u0002\u0002\u0002\u00e3\u00e4\t\u0006\u0002\u0002\u00e45\u0003\u0002\u0002\u0002\u00e5\u00e6\u00058\u001d\u0002\u00e6\u00e8\u0007\u001c\u0002\u0002\u00e7\u00e9\u0005\b\u0005\u0002\u00e8\u00e7\u0003\u0002\u0002\u0002\u00e8\u00e9\u0003\u0002\u0002\u0002\u00e9\u00ed\u0003\u0002\u0002\u0002\u00ea\u00ec\u0005\b\u0005\u0002\u00eb\u00ea\u0003\u0002\u0002\u0002\u00ec\u00ef\u0003\u0002\u0002\u0002\u00ed\u00eb\u0003\u0002\u0002\u0002\u00ed\u00ee\u0003\u0002\u0002\u0002\u00ee\u00f0\u0003\u0002\u0002\u0002\u00ef\u00ed\u0003\u0002\u0002\u0002\u00f0\u00f1\u0007\u001d\u0002\u0002\u00f17\u0003\u0002\u0002\u0002\u00f2\u00f5\u0007*\u0002\u0002\u00f3\u00f5\u00050\u0019\u0002\u00f4\u00f2\u0003\u0002\u0002\u0002\u00f4\u00f3\u0003\u0002\u0002\u0002\u00f59\u0003\u0002\u0002\u0002\u00f6\u00f7\u0007 \u0002\u0002\u00f7\u00f8\u0005\u0002\u0002\u0002\u00f8\u00f9\u0007!\u0002\u0002\u00f9;\u0003\u0002\u0002\u0002\u001b@BLQW]fju}\u0081\u0088\u008f\u0097\u009b\u00a6\u00b5\u00c1\u00c6\u00d0\u00d5\u00db\u00e8\u00ed\u00f4" |
public static final int |
AND |
34 |
public static final int |
APPROXIMATELY_EQUAL |
24 |
public static final int |
ARROW |
4 |
public static final int |
BACK_ARROW |
1 |
public static final int |
BOOL_T |
10 |
public static final int |
BOOLEAN |
39 |
public static final int |
COLON |
3 |
public static final int |
COMMA |
33 |
public static final int |
COMMENT |
45 |
public static final int |
DIV |
16 |
public static final int |
EQUAL |
18 |
public static final int |
FUN |
7 |
public static final int |
GREATER_THAN |
20 |
public static final int |
GREATER_THAN_OR_EQUAL |
22 |
public static final int |
IDENT |
40 |
public static final int |
IN |
25 |
public static final int |
INT_T |
8 |
public static final int |
INTEGER |
37 |
public static final int |
IS |
2 |
public static final int |
LBRACE |
30 |
public static final int |
LBRACKET |
28 |
public static final int |
LESS_THAN |
21 |
public static final int |
LESS_THAN_OR_EQUAL |
23 |
public static final int |
LIST_T |
12 |
public static final int |
LPAREN |
26 |
public static final int |
MINUS |
13 |
public static final int |
MULT |
15 |
public static final int |
NOT |
36 |
public static final int |
NOT_EQUAL |
19 |
public static final int |
OR |
35 |
public static final int |
PERIOD |
32 |
public static final int |
PLUS |
14 |
public static final int |
POW |
17 |
public static final int |
QUESTION |
42 |
public static final int |
RBRACE |
31 |
public static final int |
RBRACKET |
29 |
public static final int |
REAL |
38 |
public static final int |
REAL_T |
9 |
public static final int |
RPAREN |
27 |
public static final int |
RULE_additiveExpression |
11 |
public static final int |
RULE_anonFundef |
23 |
public static final int |
RULE_binding |
1 |
public static final int |
RULE_block |
28 |
public static final int |
RULE_bool |
19 |
public static final int |
RULE_booleanExpression |
7 |
public static final int |
RULE_conjunctiveExpression |
8 |
public static final int |
RULE_consequent |
5 |
public static final int |
RULE_exponentiationExpression |
15 |
public static final int |
RULE_expression |
3 |
public static final int |
RULE_factor |
16 |
public static final int |
RULE_formalParameter |
24 |
public static final int |
RULE_funcall |
26 |
public static final int |
RULE_funobj |
27 |
public static final int |
RULE_integer |
17 |
public static final int |
RULE_list |
21 |
public static final int |
RULE_logicalNegationExpression |
9 |
public static final int |
RULE_multiplicativeExpression |
12 |
public static final int |
RULE_namedFundef |
2 |
public static final int |
RULE_real |
18 |
public static final int |
RULE_relationalExpression |
10 |
public static final int |
RULE_selectionExpression |
4 |
public static final int |
RULE_sequence |
0 |
public static final int |
RULE_sign |
14 |
public static final int |
RULE_string |
20 |
public static final int |
RULE_symbol |
22 |
public static final int |
RULE_type |
25 |
public static final int |
RULE_unaryExpression |
13 |
public static final int |
RULE_whileLoop |
6 |
public static final int |
STR_T |
11 |
public static final int |
STRING |
43 |
public static final int |
UNDERSCORE |
41 |
public static final int |
WHEN |
5 |
public static final int |
WHILE |
6 |
public static final int |
WS |
44 |