Constant Field Values
Contents
eu.simuline.*
-
eu.simuline.relana.model.SClass Modifier and Type Constant Field Value public static final String
BOOL_S_CLASS_NAME
"B"
-
eu.simuline.relana.model.VerifyException Modifier and Type Constant Field Value private static final long
serialVersionUID
-2479143000061671589L
-
eu.simuline.relana.parser.CClassLexer Modifier and Type Constant Field Value public static final String
_serializedATN
"\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0002$\u0113\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)\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0007\u000bn\n\u000b\f\u000b\u000e\u000bq\u000b\u000b\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\f\u0003\f\u0007\fy\n\f\f\f\u000e\f|\u000b\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0014\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0016\u0003\u0016\u0003\u0016\u0003\u0016\u0003\u0016\u0003\u0016\u0003\u0016\u0003\u0016\u0003\u0017\u0003\u0017\u0003\u0017\u0003\u0017\u0003\u0017\u0003\u0017\u0003\u0018\u0003\u0018\u0003\u0018\u0003\u0018\u0003\u0018\u0003\u0018\u0003\u0018\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u0019\u0003\u0019\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\"\u0007\"\u00ef\n\"\f\"\u000e\"\u00f2\u000b\"\u0003#\u0003#\u0003#\u0005#\u00f7\n#\u0003#\u0003#\u0005#\u00fb\n#\u0003#\u0005#\u00fe\n#\u0003$\u0006$\u0101\n$\r$\u000e$\u0102\u0003%\u0003%\u0003%\u0005%\u0108\n%\u0003&\u0003&\u0005&\u010c\n&\u0003\'\u0003\'\u0003(\u0003(\u0003)\u0003)\u0003z\u0002*\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\u0002I\u0002K\u0002M\u0002O\u0002Q\u0002\u0003\u0002\u0006\u0005\u0002\u000b\f\u000e\u000f\"\"\u0004\u0002\f\f\u000f\u000f\u0004\u0002GGgg\u0004\u0002--//\u0002\u0116\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\u0003S\u0003\u0002\u0002\u0002\u0005U\u0003\u0002\u0002\u0002\u0007W\u0003\u0002\u0002\u0002\tY\u0003\u0002\u0002\u0002\u000b]\u0003\u0002\u0002\u0002\r_\u0003\u0002\u0002\u0002\u000fa\u0003\u0002\u0002\u0002\u0011c\u0003\u0002\u0002\u0002\u0013e\u0003\u0002\u0002\u0002\u0015i\u0003\u0002\u0002\u0002\u0017t\u0003\u0002\u0002\u0002\u0019\u0082\u0003\u0002\u0002\u0002\u001b\u008a\u0003\u0002\u0002\u0002\u001d\u0090\u0003\u0002\u0002\u0002\u001f\u0098\u0003\u0002\u0002\u0002!\u00a2\u0003\u0002\u0002\u0002#\u00a7\u0003\u0002\u0002\u0002%\u00ab\u0003\u0002\u0002\u0002\'\u00b0\u0003\u0002\u0002\u0002)\u00b4\u0003\u0002\u0002\u0002+\u00bf\u0003\u0002\u0002\u0002-\u00c7\u0003\u0002\u0002\u0002/\u00cd\u0003\u0002\u0002\u00021\u00d4\u0003\u0002\u0002\u00023\u00dc\u0003\u0002\u0002\u00025\u00de\u0003\u0002\u0002\u00027\u00e0\u0003\u0002\u0002\u00029\u00e2\u0003\u0002\u0002\u0002;\u00e4\u0003\u0002\u0002\u0002=\u00e6\u0003\u0002\u0002\u0002?\u00e8\u0003\u0002\u0002\u0002A\u00ea\u0003\u0002\u0002\u0002C\u00ec\u0003\u0002\u0002\u0002E\u00f3\u0003\u0002\u0002\u0002G\u0100\u0003\u0002\u0002\u0002I\u0107\u0003\u0002\u0002\u0002K\u010b\u0003\u0002\u0002\u0002M\u010d\u0003\u0002\u0002\u0002O\u010f\u0003\u0002\u0002\u0002Q\u0111\u0003\u0002\u0002\u0002ST\u0007}\u0002\u0002T\u0004\u0003\u0002\u0002\u0002UV\u0007\u007f\u0002\u0002V\u0006\u0003\u0002\u0002\u0002WX\u0007<\u0002\u0002X\b\u0003\u0002\u0002\u0002YZ\u0007/\u0002\u0002Z[\u0007/\u0002\u0002[\\\u0007@\u0002\u0002\\\n\u0003\u0002\u0002\u0002]^\u0007*\u0002\u0002^\f\u0003\u0002\u0002\u0002_`\u0007+\u0002\u0002`\u000e\u0003\u0002\u0002\u0002ab\u0007>\u0002\u0002b\u0010\u0003\u0002\u0002\u0002cd\u0007@\u0002\u0002d\u0012\u0003\u0002\u0002\u0002ef\t\u0002\u0002\u0002fg\u0003\u0002\u0002\u0002gh\b\n\u0002\u0002h\u0014\u0003\u0002\u0002\u0002ij\u00071\u0002\u0002jk\u00071\u0002\u0002ko\u0003\u0002\u0002\u0002ln\n\u0003\u0002\u0002ml\u0003\u0002\u0002\u0002nq\u0003\u0002\u0002\u0002om\u0003\u0002\u0002\u0002op\u0003\u0002\u0002\u0002pr\u0003\u0002\u0002\u0002qo\u0003\u0002\u0002\u0002rs\b\u000b\u0002\u0002s\u0016\u0003\u0002\u0002\u0002tu\u00071\u0002\u0002uv\u0007,\u0002\u0002vz\u0003\u0002\u0002\u0002wy\u000b\u0002\u0002\u0002xw\u0003\u0002\u0002\u0002y|\u0003\u0002\u0002\u0002z{\u0003\u0002\u0002\u0002zx\u0003\u0002\u0002\u0002{}\u0003\u0002\u0002\u0002|z\u0003\u0002\u0002\u0002}~\u0007,\u0002\u0002~\u007f\u00071\u0002\u0002\u007f\u0080\u0003\u0002\u0002\u0002\u0080\u0081\b\f\u0002\u0002\u0081\u0018\u0003\u0002\u0002\u0002\u0082\u0083\u0007r\u0002\u0002\u0083\u0084\u0007c\u0002\u0002\u0084\u0085\u0007e\u0002\u0002\u0085\u0086\u0007m\u0002\u0002\u0086\u0087\u0007c\u0002\u0002\u0087\u0088\u0007i\u0002\u0002\u0088\u0089\u0007g\u0002\u0002\u0089\u001a\u0003\u0002\u0002\u0002\u008a\u008b\u0007e\u0002\u0002\u008b\u008c\u0007n\u0002\u0002\u008c\u008d\u0007c\u0002\u0002\u008d\u008e\u0007u\u0002\u0002\u008e\u008f\u0007u\u0002\u0002\u008f\u001c\u0003\u0002\u0002\u0002\u0090\u0091\u0007g\u0002\u0002\u0091\u0092\u0007z\u0002\u0002\u0092\u0093\u0007v\u0002\u0002\u0093\u0094\u0007g\u0002\u0002\u0094\u0095\u0007p\u0002\u0002\u0095\u0096\u0007f\u0002\u0002\u0096\u0097\u0007u\u0002\u0002\u0097\u001e\u0003\u0002\u0002\u0002\u0098\u0099\u0007t\u0002\u0002\u0099\u009a\u0007g\u0002\u0002\u009a\u009b\u0007f\u0002\u0002\u009b\u009c\u0007g\u0002\u0002\u009c\u009d\u0007e\u0002\u0002\u009d\u009e\u0007n\u0002\u0002\u009e\u009f\u0007c\u0002\u0002\u009f\u00a0\u0007t\u0002\u0002\u00a0\u00a1\u0007g\u0002\u0002\u00a1 \u0003\u0002\u0002\u0002\u00a2\u00a3\u0007o\u0002\u0002\u00a3\u00a4\u0007c\u0002\u0002\u00a4\u00a5\u0007r\u0002\u0002\u00a5\u00a6\u0007u\u0002\u0002\u00a6\"\u0003\u0002\u0002\u0002\u00a7\u00a8\u0007o\u0002\u0002\u00a8\u00a9\u0007c\u0002\u0002\u00a9\u00aa\u0007r\u0002\u0002\u00aa$\u0003\u0002\u0002\u0002\u00ab\u00ac\u0007~\u0002\u0002\u00ac\u00ad\u0007/\u0002\u0002\u00ad\u00ae\u0007/\u0002\u0002\u00ae\u00af\u0007@\u0002\u0002\u00af&\u0003\u0002\u0002\u0002\u00b0\u00b1\u0007k\u0002\u0002\u00b1\u00b2\u0007f\u0002\u0002\u00b2\u00b3\u0007<\u0002\u0002\u00b3(\u0003\u0002\u0002\u0002\u00b4\u00b5\u0007e\u0002\u0002\u00b5\u00b6\u0007q\u0002\u0002\u00b6\u00b7\u0007o\u0002\u0002\u00b7\u00b8\u0007r\u0002\u0002\u00b8\u00b9\u0007q\u0002\u0002\u00b9\u00ba\u0007p\u0002\u0002\u00ba\u00bb\u0007g\u0002\u0002\u00bb\u00bc\u0007p\u0002\u0002\u00bc\u00bd\u0007v\u0002\u0002\u00bd\u00be\u0007u\u0002\u0002\u00be*\u0003\u0002\u0002\u0002\u00bf\u00c0\u0007g\u0002\u0002\u00c0\u00c1\u0007h\u0002\u0002\u00c1\u00c2\u0007h\u0002\u0002\u00c2\u00c3\u0007g\u0002\u0002\u00c3\u00c4\u0007e\u0002\u0002\u00c4\u00c5\u0007v\u0002\u0002\u00c5\u00c6\u0007u\u0002\u0002\u00c6,\u0003\u0002\u0002\u0002\u00c7\u00c8\u0007k\u0002\u0002\u00c8\u00c9\u0007p\u0002\u0002\u00c9\u00ca\u0007r\u0002\u0002\u00ca\u00cb\u0007w\u0002\u0002\u00cb\u00cc\u0007v\u0002\u0002\u00cc.\u0003\u0002\u0002\u0002\u00cd\u00ce\u0007q\u0002\u0002\u00ce\u00cf\u0007w\u0002\u0002\u00cf\u00d0\u0007v\u0002\u0002\u00d0\u00d1\u0007r\u0002\u0002\u00d1\u00d2\u0007w\u0002\u0002\u00d2\u00d3\u0007v\u0002\u0002\u00d30\u0003\u0002\u0002\u0002\u00d4\u00d5\u0007t\u0002\u0002\u00d5\u00d6\u0007g\u0002\u0002\u00d6\u00d7\u0007r\u0002\u0002\u00d7\u00d8\u0007n\u0002\u0002\u00d8\u00d9\u0007c\u0002\u0002\u00d9\u00da\u0007e\u0002\u0002\u00da\u00db\u0007g\u0002\u0002\u00db2\u0003\u0002\u0002\u0002\u00dc\u00dd\u0007#\u0002\u0002\u00dd4\u0003\u0002\u0002\u0002\u00de\u00df\u0007.\u0002\u0002\u00df6\u0003\u0002\u0002\u0002\u00e0\u00e1\u0007)\u0002\u0002\u00e18\u0003\u0002\u0002\u0002\u00e2\u00e3\u0007=\u0002\u0002\u00e3:\u0003\u0002\u0002\u0002\u00e4\u00e5\u00070\u0002\u0002\u00e5<\u0003\u0002\u0002\u0002\u00e6\u00e7\u0007~\u0002\u0002\u00e7>\u0003\u0002\u0002\u0002\u00e8\u00e9\u0007(\u0002\u0002\u00e9@\u0003\u0002\u0002\u0002\u00ea\u00eb\u0007\u0080\u0002\u0002\u00ebB\u0003\u0002\u0002\u0002\u00ec\u00f0\u0005K&\u0002\u00ed\u00ef\u0005I%\u0002\u00ee\u00ed\u0003\u0002\u0002\u0002\u00ef\u00f2\u0003\u0002\u0002\u0002\u00f0\u00ee\u0003\u0002\u0002\u0002\u00f0\u00f1\u0003\u0002\u0002\u0002\u00f1D\u0003\u0002\u0002\u0002\u00f2\u00f0\u0003\u0002\u0002\u0002\u00f3\u00f6\u0005G$\u0002\u00f4\u00f5\u00070\u0002\u0002\u00f5\u00f7\u0005G$\u0002\u00f6\u00f4\u0003\u0002\u0002\u0002\u00f6\u00f7\u0003\u0002\u0002\u0002\u00f7\u00fd\u0003\u0002\u0002\u0002\u00f8\u00fa\t\u0004\u0002\u0002\u00f9\u00fb\t\u0005\u0002\u0002\u00fa\u00f9\u0003\u0002\u0002\u0002\u00fa\u00fb\u0003\u0002\u0002\u0002\u00fb\u00fc\u0003\u0002\u0002\u0002\u00fc\u00fe\u0005G$\u0002\u00fd\u00f8\u0003\u0002\u0002\u0002\u00fd\u00fe\u0003\u0002\u0002\u0002\u00feF\u0003\u0002\u0002\u0002\u00ff\u0101\u0005M\'\u0002\u0100\u00ff\u0003\u0002\u0002\u0002\u0101\u0102\u0003\u0002\u0002\u0002\u0102\u0100\u0003\u0002\u0002\u0002\u0102\u0103\u0003\u0002\u0002\u0002\u0103H\u0003\u0002\u0002\u0002\u0104\u0108\u0005K&\u0002\u0105\u0108\u0005M\'\u0002\u0106\u0108\u0007a\u0002\u0002\u0107\u0104\u0003\u0002\u0002\u0002\u0107\u0105\u0003\u0002\u0002\u0002\u0107\u0106\u0003\u0002\u0002\u0002\u0108J\u0003\u0002\u0002\u0002\u0109\u010c\u0005Q)\u0002\u010a\u010c\u0005O(\u0002\u010b\u0109\u0003\u0002\u0002\u0002\u010b\u010a\u0003\u0002\u0002\u0002\u010cL\u0003\u0002\u0002\u0002\u010d\u010e\u00042;\u0002\u010eN\u0003\u0002\u0002\u0002\u010f\u0110\u0004c|\u0002\u0110P\u0003\u0002\u0002\u0002\u0111\u0112\u0004C\\\u0002\u0112R\u0003\u0002\u0002\u0002\f\u0002oz\u00f0\u00f6\u00fa\u00fd\u0102\u0107\u010b\u0003\b\u0002\u0002"
public static final int
CCLASS
13
public static final int
COMPLEMENT
32
public static final int
COMPONENTS
20
public static final int
CONT
27
public static final int
COV
26
public static final int
EFFECTS
21
public static final int
END
28
public static final int
EXTENDS
14
public static final int
FLOAT
34
public static final int
IDDOMAIN
19
public static final int
INPUT
22
public static final int
INTERSECT
31
public static final int
INV
25
public static final int
MAP
17
public static final int
MAPS
16
public static final int
MAPSTO
18
public static final int
MultiLineComment
11
public static final int
NAME
33
public static final int
OUTPUT
23
public static final int
PACKAGE
12
public static final int
REDECLARE
15
public static final int
REPLACE
24
public static final int
SEP
29
public static final int
SingleLineComment
10
public static final int
T__0
1
public static final int
T__1
2
public static final int
T__2
3
public static final int
T__3
4
public static final int
T__4
5
public static final int
T__5
6
public static final int
T__6
7
public static final int
T__7
8
public static final int
UNION
30
public static final int
WS
9
-
eu.simuline.relana.parser.CClassParser Modifier and Type Constant Field Value public static final String
_serializedATN
"\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0003$\u010e\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\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0005\u0003@\n\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0007\u0004I\n\u0004\f\u0004\u000e\u0004L\u000b\u0004\u0003\u0005\u0003\u0005\u0007\u0005P\n\u0005\f\u0005\u000e\u0005S\u000b\u0005\u0005\u0005U\n\u0005\u0003\u0006\u0005\u0006X\n\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0007\u0006a\n\u0006\f\u0006\u000e\u0006d\u000b\u0006\u0003\u0006\u0005\u0006g\n\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0007\u0007p\n\u0007\f\u0007\u000e\u0007s\u000b\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\t\u0003\t\u0003\t\u0007\t\u0081\n\t\f\t\u000e\t\u0084\u000b\t\u0003\t\u0003\t\u0003\n\u0003\n\u0007\n\u008a\n\n\f\n\u000e\n\u008d\u000b\n\u0005\n\u008f\n\n\u0003\u000b\u0005\u000b\u0092\n\u000b\u0003\u000b\u0007\u000b\u0095\n\u000b\f\u000b\u000e\u000b\u0098\u000b\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0005\u000b\u00a3\n\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0005\f\u00ab\n\f\u0003\f\u0003\f\u0003\r\u0003\r\u0003\r\u0003\r\u0007\r\u00b3\n\r\f\r\u000e\r\u00b6\u000b\r\u0003\r\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0007\u0011\u00ce\n\u0011\f\u0011\u000e\u0011\u00d1\u000b\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0007\u0011\u00da\n\u0011\f\u0011\u000e\u0011\u00dd\u000b\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0007\u0011\u00e4\n\u0011\f\u0011\u000e\u0011\u00e7\u000b\u0011\u0005\u0011\u00e9\n\u0011\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0005\u0013\u00f2\n\u0013\u0003\u0013\u0003\u0013\u0005\u0013\u00f6\n\u0013\u0003\u0013\u0003\u0013\u0003\u0013\u0005\u0013\u00fb\n\u0013\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0007\u0014\u0101\n\u0014\f\u0014\u000e\u0014\u0104\u000b\u0014\u0005\u0014\u0106\n\u0014\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0003\u0015\u0002\u0002\u0016\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u001e \"$&(\u0002\u0002\u0002\u0117\u0002*\u0003\u0002\u0002\u0002\u0004?\u0003\u0002\u0002\u0002\u0006C\u0003\u0002\u0002\u0002\bT\u0003\u0002\u0002\u0002\nW\u0003\u0002\u0002\u0002\fm\u0003\u0002\u0002\u0002\u000ez\u0003\u0002\u0002\u0002\u0010}\u0003\u0002\u0002\u0002\u0012\u008e\u0003\u0002\u0002\u0002\u0014\u0091\u0003\u0002\u0002\u0002\u0016\u00aa\u0003\u0002\u0002\u0002\u0018\u00ae\u0003\u0002\u0002\u0002\u001a\u00ba\u0003\u0002\u0002\u0002\u001c\u00bf\u0003\u0002\u0002\u0002\u001e\u00c5\u0003\u0002\u0002\u0002 \u00e8\u0003\u0002\u0002\u0002\"\u00ec\u0003\u0002\u0002\u0002$\u00fa\u0003\u0002\u0002\u0002&\u0105\u0003\u0002\u0002\u0002(\u0107\u0003\u0002\u0002\u0002*+\u0007\u000e\u0002\u0002+,\u0005\u0006\u0004\u0002,-\u0007\u001e\u0002\u0002-.\b\u0002\u0001\u0002./\u0007\u000f\u0002\u0002/0\u0007#\u0002\u000201\u0005\u0004\u0003\u000212\u0007\u0003\u0002\u000223\u0005\u0012\n\u000234\u0005\b\u0005\u000245\u0005&\u0014\u000256\b\u0002\u0001\u000267\u0007\u0004\u0002\u000278\u0007\u0002\u0002\u000389\u0003\u0002\u0002\u00029:\b\u0002\u0001\u0002:\u0003\u0003\u0002\u0002\u0002;<\u0007\u0010\u0002\u0002<=\u0005\u0006\u0004\u0002=>\u0003\u0002\u0002\u0002>@\u0003\u0002\u0002\u0002?;\u0003\u0002\u0002\u0002?@\u0003\u0002\u0002\u0002@A\u0003\u0002\u0002\u0002AB\b\u0003\u0001\u0002B\u0005\u0003\u0002\u0002\u0002CD\u0007#\u0002\u0002DJ\b\u0004\u0001\u0002EF\u0007\u001f\u0002\u0002FG\u0007#\u0002\u0002GI\b\u0004\u0001\u0002HE\u0003\u0002\u0002\u0002IL\u0003\u0002\u0002\u0002JH\u0003\u0002\u0002\u0002JK\u0003\u0002\u0002\u0002K\u0007\u0003\u0002\u0002\u0002LJ\u0003\u0002\u0002\u0002MQ\u0007\u0012\u0002\u0002NP\u0005\n\u0006\u0002ON\u0003\u0002\u0002\u0002PS\u0003\u0002\u0002\u0002QO\u0003\u0002\u0002\u0002QR\u0003\u0002\u0002\u0002RU\u0003\u0002\u0002\u0002SQ\u0003\u0002\u0002\u0002TM\u0003\u0002\u0002\u0002TU\u0003\u0002\u0002\u0002U\t\u0003\u0002\u0002\u0002VX\u0007\u0011\u0002\u0002WV\u0003\u0002\u0002\u0002WX\u0003\u0002\u0002\u0002XY\u0003\u0002\u0002\u0002YZ\u0007#\u0002\u0002Z[\u0007\u0005\u0002\u0002[\\\u0005\u0006\u0004\u0002\\]\u0007\u0006\u0002\u0002]^\u0005\u0006\u0004\u0002^b\u0007\u0003\u0002\u0002_a\u0005\f\u0007\u0002`_\u0003\u0002\u0002\u0002ad\u0003\u0002\u0002\u0002b`\u0003\u0002\u0002\u0002bc\u0003\u0002\u0002\u0002cf\u0003\u0002\u0002\u0002db\u0003\u0002\u0002\u0002eg\u0005\u0010\t\u0002fe\u0003\u0002\u0002\u0002fg\u0003\u0002\u0002\u0002gh\u0003\u0002\u0002\u0002hi\u0007\u0004\u0002\u0002ij\u0007\u001e\u0002\u0002jk\u0003\u0002\u0002\u0002kl\b\u0006\u0001\u0002l\u000b\u0003\u0002\u0002\u0002mq\u0007\u0003\u0002\u0002np\u0005\u000e\b\u0002on\u0003\u0002\u0002\u0002ps\u0003\u0002\u0002\u0002qo\u0003\u0002\u0002\u0002qr\u0003\u0002\u0002\u0002rt\u0003\u0002\u0002\u0002sq\u0003\u0002\u0002\u0002tu\u0007\u0004\u0002\u0002uv\u0007\u0014\u0002\u0002vw\u0007#\u0002\u0002wx\u0003\u0002\u0002\u0002xy\b\u0007\u0001\u0002y\r\u0003\u0002\u0002\u0002z{\u0007#\u0002\u0002{|\b\b\u0001\u0002|\u000f\u0003\u0002\u0002\u0002}~\u0007\u0015\u0002\u0002~\u0082\u0007\u0003\u0002\u0002\u007f\u0081\u0005\u000e\b\u0002\u0080\u007f\u0003\u0002\u0002\u0002\u0081\u0084\u0003\u0002\u0002\u0002\u0082\u0080\u0003\u0002\u0002\u0002\u0082\u0083\u0003\u0002\u0002\u0002\u0083\u0085\u0003\u0002\u0002\u0002\u0084\u0082\u0003\u0002\u0002\u0002\u0085\u0086\u0007\u0004\u0002\u0002\u0086\u0011\u0003\u0002\u0002\u0002\u0087\u008b\u0007\u0017\u0002\u0002\u0088\u008a\u0005\u0014\u000b\u0002\u0089\u0088\u0003\u0002\u0002\u0002\u008a\u008d\u0003\u0002\u0002\u0002\u008b\u0089\u0003\u0002\u0002\u0002\u008b\u008c\u0003\u0002\u0002\u0002\u008c\u008f\u0003\u0002\u0002\u0002\u008d\u008b\u0003\u0002\u0002\u0002\u008e\u0087\u0003\u0002\u0002\u0002\u008e\u008f\u0003\u0002\u0002\u0002\u008f\u0013\u0003\u0002\u0002\u0002\u0090\u0092\u0007\u0011\u0002\u0002\u0091\u0090\u0003\u0002\u0002\u0002\u0091\u0092\u0003\u0002\u0002\u0002\u0092\u0096\u0003\u0002\u0002\u0002\u0093\u0095\u0005\u0016\f\u0002\u0094\u0093\u0003\u0002\u0002\u0002\u0095\u0098\u0003\u0002\u0002\u0002\u0096\u0094\u0003\u0002\u0002\u0002\u0096\u0097\u0003\u0002\u0002\u0002\u0097\u0099\u0003\u0002\u0002\u0002\u0098\u0096\u0003\u0002\u0002\u0002\u0099\u009a\u0005\u0006\u0004\u0002\u009a\u009b\u0007#\u0002\u0002\u009b\u009c\u0003\u0002\u0002\u0002\u009c\u00a2\b\u000b\u0001\u0002\u009d\u00a3\u0005\u0018\r\u0002\u009e\u009f\u0007\u0007\u0002\u0002\u009f\u00a0\u0005\u001e\u0010\u0002\u00a0\u00a1\u0007\b\u0002\u0002\u00a1\u00a3\u0003\u0002\u0002\u0002\u00a2\u009d\u0003\u0002\u0002\u0002\u00a2\u009e\u0003\u0002\u0002\u0002\u00a2\u00a3\u0003\u0002\u0002\u0002\u00a3\u00a4\u0003\u0002\u0002\u0002\u00a4\u00a5\u0007\u001e\u0002\u0002\u00a5\u00a6\u0003\u0002\u0002\u0002\u00a6\u00a7\b\u000b\u0001\u0002\u00a7\u0015\u0003\u0002\u0002\u0002\u00a8\u00ab\u0007\u0018\u0002\u0002\u00a9\u00ab\u0007\u0019\u0002\u0002\u00aa\u00a8\u0003\u0002\u0002\u0002\u00aa\u00a9\u0003\u0002\u0002\u0002\u00ab\u00ac\u0003\u0002\u0002\u0002\u00ac\u00ad\b\f\u0001\u0002\u00ad\u0017\u0003\u0002\u0002\u0002\u00ae\u00b4\u0007\u0003\u0002\u0002\u00af\u00b3\u0005\u001c\u000f\u0002\u00b0\u00b1\u0007\u001a\u0002\u0002\u00b1\u00b3\u0005\u001a\u000e\u0002\u00b2\u00af\u0003\u0002\u0002\u0002\u00b2\u00b0\u0003\u0002\u0002\u0002\u00b3\u00b6\u0003\u0002\u0002\u0002\u00b4\u00b2\u0003\u0002\u0002\u0002\u00b4\u00b5\u0003\u0002\u0002\u0002\u00b5\u00b7\u0003\u0002\u0002\u0002\u00b6\u00b4\u0003\u0002\u0002\u0002\u00b7\u00b8\u0007\u0004\u0002\u0002\u00b8\u00b9\b\r\u0001\u0002\u00b9\u0019\u0003\u0002\u0002\u0002\u00ba\u00bb\u0007#\u0002\u0002\u00bb\u00bc\b\u000e\u0001\u0002\u00bc\u00bd\u0005\u0018\r\u0002\u00bd\u00be\b\u000e\u0001\u0002\u00be\u001b\u0003\u0002\u0002\u0002\u00bf\u00c0\u0007#\u0002\u0002\u00c0\u00c1\u0007\u0005\u0002\u0002\u00c1\u00c2\u0007$\u0002\u0002\u00c2\u00c3\u0003\u0002\u0002\u0002\u00c3\u00c4\b\u000f\u0001\u0002\u00c4\u001d\u0003\u0002\u0002\u0002\u00c5\u00c6\u0005 \u0011\u0002\u00c6\u00c7\b\u0010\u0001\u0002\u00c7\u001f\u0003\u0002\u0002\u0002\u00c8\u00c9\u0007\t\u0002\u0002\u00c9\u00ca\u0005\"\u0012\u0002\u00ca\u00cb\u0007\n\u0002\u0002\u00cb\u00cf\u0007\u0003\u0002\u0002\u00cc\u00ce\u0005\"\u0012\u0002\u00cd\u00cc\u0003\u0002\u0002\u0002\u00ce\u00d1\u0003\u0002\u0002\u0002\u00cf\u00cd\u0003\u0002\u0002\u0002\u00cf\u00d0\u0003\u0002\u0002\u0002\u00d0\u00d2\u0003\u0002\u0002\u0002\u00d1\u00cf\u0003\u0002\u0002\u0002\u00d2\u00d3\u0007\u0004\u0002\u0002\u00d3\u00e9\u0003\u0002\u0002\u0002\u00d4\u00d5\u0005$\u0013\u0002\u00d5\u00d6\u0007\u0007\u0002\u0002\u00d6\u00db\u0005 \u0011\u0002\u00d7\u00d8\u0007\u001c\u0002\u0002\u00d8\u00da\u0005 \u0011\u0002\u00d9\u00d7\u0003\u0002\u0002\u0002\u00da\u00dd\u0003\u0002\u0002\u0002\u00db\u00d9\u0003\u0002\u0002\u0002\u00db\u00dc\u0003\u0002\u0002\u0002\u00dc\u00de\u0003\u0002\u0002\u0002\u00dd\u00db\u0003\u0002\u0002\u0002\u00de\u00df\u0007\b\u0002\u0002\u00df\u00e9\u0003\u0002\u0002\u0002\u00e0\u00e5\u0005\"\u0012\u0002\u00e1\u00e2\u0007\u001f\u0002\u0002\u00e2\u00e4\u0005\"\u0012\u0002\u00e3\u00e1\u0003\u0002\u0002\u0002\u00e4\u00e7\u0003\u0002\u0002\u0002\u00e5\u00e3\u0003\u0002\u0002\u0002\u00e5\u00e6\u0003\u0002\u0002\u0002\u00e6\u00e9\u0003\u0002\u0002\u0002\u00e7\u00e5\u0003\u0002\u0002\u0002\u00e8\u00c8\u0003\u0002\u0002\u0002\u00e8\u00d4\u0003\u0002\u0002\u0002\u00e8\u00e0\u0003\u0002\u0002\u0002\u00e9\u00ea\u0003\u0002\u0002\u0002\u00ea\u00eb\b\u0011\u0001\u0002\u00eb!\u0003\u0002\u0002\u0002\u00ec\u00ed\u0007#\u0002\u0002\u00ed\u00ee\b\u0012\u0001\u0002\u00ee#\u0003\u0002\u0002\u0002\u00ef\u00f1\u0007#\u0002\u0002\u00f0\u00f2\u0007\u001b\u0002\u0002\u00f1\u00f0\u0003\u0002\u0002\u0002\u00f1\u00f2\u0003\u0002\u0002\u0002\u00f2\u00f5\u0003\u0002\u0002\u0002\u00f3\u00f6\u0007\u001d\u0002\u0002\u00f4\u00f6\u0007\u001c\u0002\u0002\u00f5\u00f3\u0003\u0002\u0002\u0002\u00f5\u00f4\u0003\u0002\u0002\u0002\u00f6\u00fb\u0003\u0002\u0002\u0002\u00f7\u00fb\u0007 \u0002\u0002\u00f8\u00fb\u0007!\u0002\u0002\u00f9\u00fb\u0007\"\u0002\u0002\u00fa\u00ef\u0003\u0002\u0002\u0002\u00fa\u00f7\u0003\u0002\u0002\u0002\u00fa\u00f8\u0003\u0002\u0002\u0002\u00fa\u00f9\u0003\u0002\u0002\u0002\u00fb\u00fc\u0003\u0002\u0002\u0002\u00fc\u00fd\b\u0013\u0001\u0002\u00fd%\u0003\u0002\u0002\u0002\u00fe\u0102\u0007\u0016\u0002\u0002\u00ff\u0101\u0005(\u0015\u0002\u0100\u00ff\u0003\u0002\u0002\u0002\u0101\u0104\u0003\u0002\u0002\u0002\u0102\u0100\u0003\u0002\u0002\u0002\u0102\u0103\u0003\u0002\u0002\u0002\u0103\u0106\u0003\u0002\u0002\u0002\u0104\u0102\u0003\u0002\u0002\u0002\u0105\u00fe\u0003\u0002\u0002\u0002\u0105\u0106\u0003\u0002\u0002\u0002\u0106\'\u0003\u0002\u0002\u0002\u0107\u0108\u0007#\u0002\u0002\u0108\u0109\u0007#\u0002\u0002\u0109\u010a\u0007\u001e\u0002\u0002\u010a\u010b\u0003\u0002\u0002\u0002\u010b\u010c\b\u0015\u0001\u0002\u010c)\u0003\u0002\u0002\u0002\u001c?JQTWbfq\u0082\u008b\u008e\u0091\u0096\u00a2\u00aa\u00b2\u00b4\u00cf\u00db\u00e5\u00e8\u00f1\u00f5\u00fa\u0102\u0105"
public static final int
CCLASS
13
public static final int
COMPLEMENT
32
public static final int
COMPONENTS
20
public static final int
CONT
27
public static final int
COV
26
public static final int
EFFECTS
21
public static final int
END
28
public static final int
EXTENDS
14
public static final int
FLOAT
34
public static final int
IDDOMAIN
19
public static final int
INPUT
22
public static final int
INTERSECT
31
public static final int
INV
25
public static final int
MAP
17
public static final int
MAPS
16
public static final int
MAPSTO
18
public static final int
MultiLineComment
11
public static final int
NAME
33
public static final int
OUTPUT
23
public static final int
PACKAGE
12
public static final int
REDECLARE
15
public static final int
REPLACE
24
public static final int
RULE_add2DefMap
5
public static final int
RULE_addAccessModifier
10
public static final int
RULE_addDef
6
public static final int
RULE_addMap
4
public static final int
RULE_addProbAlloc
13
public static final int
RULE_addToIdDom
7
public static final int
RULE_appendFormula
15
public static final int
RULE_appendOp
17
public static final int
RULE_appendToken
16
public static final int
RULE_cClass
0
public static final int
RULE_component
19
public static final int
RULE_components
18
public static final int
RULE_effect
9
public static final int
RULE_effects
8
public static final int
RULE_getDistr
11
public static final int
RULE_getPath
2
public static final int
RULE_getSuperClass
1
public static final int
RULE_maps
3
public static final int
RULE_replDistr
12
public static final int
RULE_skipFormula
14
public static final int
SEP
29
public static final int
SingleLineComment
10
public static final int
T__0
1
public static final int
T__1
2
public static final int
T__2
3
public static final int
T__3
4
public static final int
T__4
5
public static final int
T__5
6
public static final int
T__6
7
public static final int
T__7
8
public static final int
UNION
30
public static final int
WS
9
-
eu.simuline.relana.parser.FormulaLexer Modifier and Type Constant Field Value public static final String
_serializedATN
"\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0002\u0014\u0082\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\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\b\u0003\t\u0003\t\u0003\t\u0003\t\u0007\tF\n\t\f\t\u000e\tI\u000b\t\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0007\nS\n\n\f\n\u000e\nV\u000b\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\f\u0003\f\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\u0007\u0013o\n\u0013\f\u0013\u000e\u0013r\u000b\u0013\u0003\u0014\u0003\u0014\u0003\u0014\u0005\u0014w\n\u0014\u0003\u0015\u0003\u0015\u0005\u0015{\n\u0015\u0003\u0016\u0003\u0016\u0003\u0017\u0003\u0017\u0003\u0018\u0003\u0018\u0002\u0002\u0019\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\'\u0002)\u0002+\u0002-\u0002/\u0002\u0003\u0002\u0006\u0005\u0002\u000b\f\u000e\u000f\"\"\u0004\u0002\f\f\u000f\u000f\u0003\u0002,,\u0003\u000211\u0002\u0083\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\u00031\u0003\u0002\u0002\u0002\u00053\u0003\u0002\u0002\u0002\u00075\u0003\u0002\u0002\u0002\t7\u0003\u0002\u0002\u0002\u000b9\u0003\u0002\u0002\u0002\r;\u0003\u0002\u0002\u0002\u000f=\u0003\u0002\u0002\u0002\u0011A\u0003\u0002\u0002\u0002\u0013L\u0003\u0002\u0002\u0002\u0015\\\u0003\u0002\u0002\u0002\u0017^\u0003\u0002\u0002\u0002\u0019`\u0003\u0002\u0002\u0002\u001bb\u0003\u0002\u0002\u0002\u001dd\u0003\u0002\u0002\u0002\u001ff\u0003\u0002\u0002\u0002!h\u0003\u0002\u0002\u0002#j\u0003\u0002\u0002\u0002%l\u0003\u0002\u0002\u0002\'v\u0003\u0002\u0002\u0002)z\u0003\u0002\u0002\u0002+|\u0003\u0002\u0002\u0002-~\u0003\u0002\u0002\u0002/\u0080\u0003\u0002\u0002\u000212\u0007>\u0002\u00022\u0004\u0003\u0002\u0002\u000234\u0007@\u0002\u00024\u0006\u0003\u0002\u0002\u000256\u0007}\u0002\u00026\b\u0003\u0002\u0002\u000278\u0007\u007f\u0002\u00028\n\u0003\u0002\u0002\u00029:\u0007*\u0002\u0002:\f\u0003\u0002\u0002\u0002;<\u0007+\u0002\u0002<\u000e\u0003\u0002\u0002\u0002=>\t\u0002\u0002\u0002>?\u0003\u0002\u0002\u0002?@\b\b\u0002\u0002@\u0010\u0003\u0002\u0002\u0002AB\u00071\u0002\u0002BC\u00071\u0002\u0002CG\u0003\u0002\u0002\u0002DF\n\u0003\u0002\u0002ED\u0003\u0002\u0002\u0002FI\u0003\u0002\u0002\u0002GE\u0003\u0002\u0002\u0002GH\u0003\u0002\u0002\u0002HJ\u0003\u0002\u0002\u0002IG\u0003\u0002\u0002\u0002JK\b\t\u0002\u0002K\u0012\u0003\u0002\u0002\u0002LM\u00071\u0002\u0002MN\u0007,\u0002\u0002NT\u0003\u0002\u0002\u0002OS\n\u0004\u0002\u0002PQ\u0007,\u0002\u0002QS\n\u0005\u0002\u0002RO\u0003\u0002\u0002\u0002RP\u0003\u0002\u0002\u0002SV\u0003\u0002\u0002\u0002TR\u0003\u0002\u0002\u0002TU\u0003\u0002\u0002\u0002UW\u0003\u0002\u0002\u0002VT\u0003\u0002\u0002\u0002WX\u0007,\u0002\u0002XY\u00071\u0002\u0002YZ\u0003\u0002\u0002\u0002Z[\b\n\u0002\u0002[\u0014\u0003\u0002\u0002\u0002\\]\u0007#\u0002\u0002]\u0016\u0003\u0002\u0002\u0002^_\u0007.\u0002\u0002_\u0018\u0003\u0002\u0002\u0002`a\u0007)\u0002\u0002a\u001a\u0003\u0002\u0002\u0002bc\u0007=\u0002\u0002c\u001c\u0003\u0002\u0002\u0002de\u00070\u0002\u0002e\u001e\u0003\u0002\u0002\u0002fg\u0007~\u0002\u0002g \u0003\u0002\u0002\u0002hi\u0007(\u0002\u0002i\"\u0003\u0002\u0002\u0002jk\u0007\u0080\u0002\u0002k$\u0003\u0002\u0002\u0002lp\u0005)\u0015\u0002mo\u0005\'\u0014\u0002nm\u0003\u0002\u0002\u0002or\u0003\u0002\u0002\u0002pn\u0003\u0002\u0002\u0002pq\u0003\u0002\u0002\u0002q&\u0003\u0002\u0002\u0002rp\u0003\u0002\u0002\u0002sw\u0005)\u0015\u0002tw\u0005+\u0016\u0002uw\u0007a\u0002\u0002vs\u0003\u0002\u0002\u0002vt\u0003\u0002\u0002\u0002vu\u0003\u0002\u0002\u0002w(\u0003\u0002\u0002\u0002x{\u0005/\u0018\u0002y{\u0005-\u0017\u0002zx\u0003\u0002\u0002\u0002zy\u0003\u0002\u0002\u0002{*\u0003\u0002\u0002\u0002|}\u00042;\u0002},\u0003\u0002\u0002\u0002~\u007f\u0004c|\u0002\u007f.\u0003\u0002\u0002\u0002\u0080\u0081\u0004C\\\u0002\u00810\u0003\u0002\u0002\u0002\t\u0002GRTpvz\u0003\b\u0002\u0002"
public static final int
COMPLEMENT
17
public static final int
CONT
12
public static final int
COV
11
public static final int
END
13
public static final int
INTERSECT
16
public static final int
INV
10
public static final int
MultiLineComment
9
public static final int
NAME
18
public static final int
SEP
14
public static final int
SingleLineComment
8
public static final int
T__0
1
public static final int
T__1
2
public static final int
T__2
3
public static final int
T__3
4
public static final int
T__4
5
public static final int
T__5
6
public static final int
UNION
15
public static final int
WS
7
-
eu.simuline.relana.parser.FormulaParser Modifier and Type Constant Field Value public static final String
_serializedATN
"\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0003\u0014Q\u0004\u0002\t\u0002\u0004\u0003\t\u0003\u0004\u0004\t\u0004\u0004\u0005\t\u0005\u0004\u0006\t\u0006\u0004\u0007\t\u0007\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0005\u0002\u0013\n\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0007\u0003\u001e\n\u0003\f\u0003\u000e\u0003!\u000b\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0005\u0005.\n\u0005\u0003\u0005\u0003\u0005\u0005\u00052\n\u0005\u0005\u00054\n\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0007\u0005;\n\u0005\f\u0005\u000e\u0005>\u000b\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0007\u0007L\n\u0007\f\u0007\u000e\u0007O\u000b\u0007\u0003\u0007\u0002\u0002\b\u0002\u0004\u0006\b\n\f\u0002\u0002\u0002T\u0002\u000e\u0003\u0002\u0002\u0002\u0004\u0016\u0003\u0002\u0002\u0002\u0006%\u0003\u0002\u0002\u0002\b3\u0003\u0002\u0002\u0002\nC\u0003\u0002\u0002\u0002\fF\u0003\u0002\u0002\u0002\u000e\u0012\b\u0002\u0001\u0002\u000f\u0013\u0005\u0004\u0003\u0002\u0010\u0013\u0005\b\u0005\u0002\u0011\u0013\u0005\u0006\u0004\u0002\u0012\u000f\u0003\u0002\u0002\u0002\u0012\u0010\u0003\u0002\u0002\u0002\u0012\u0011\u0003\u0002\u0002\u0002\u0013\u0014\u0003\u0002\u0002\u0002\u0014\u0015\b\u0002\u0001\u0002\u0015\u0003\u0003\u0002\u0002\u0002\u0016\u0017\u0007\u0003\u0002\u0002\u0017\u0018\u0005\f\u0007\u0002\u0018\u0019\u0007\u0004\u0002\u0002\u0019\u001a\b\u0003\u0001\u0002\u001a\u001f\u0007\u0005\u0002\u0002\u001b\u001c\u0007\u0014\u0002\u0002\u001c\u001e\b\u0003\u0001\u0002\u001d\u001b\u0003\u0002\u0002\u0002\u001e!\u0003\u0002\u0002\u0002\u001f\u001d\u0003\u0002\u0002\u0002\u001f \u0003\u0002\u0002\u0002 \"\u0003\u0002\u0002\u0002!\u001f\u0003\u0002\u0002\u0002\"#\u0007\u0006\u0002\u0002#$\b\u0003\u0001\u0002$\u0005\u0003\u0002\u0002\u0002%&\u0005\f\u0007\u0002&\'\b\u0004\u0001\u0002\'\u0007\u0003\u0002\u0002\u0002(4\u0007\u0011\u0002\u0002)4\u0007\u0012\u0002\u0002*4\u0007\u0013\u0002\u0002+-\u0007\u0014\u0002\u0002,.\u0007\f\u0002\u0002-,\u0003\u0002\u0002\u0002-.\u0003\u0002\u0002\u0002.1\u0003\u0002\u0002\u0002/2\u0007\u000e\u0002\u000202\u0007\r\u0002\u00021/\u0003\u0002\u0002\u000210\u0003\u0002\u0002\u000224\u0003\u0002\u0002\u00023(\u0003\u0002\u0002\u00023)\u0003\u0002\u0002\u00023*\u0003\u0002\u0002\u00023+\u0003\u0002\u0002\u000245\u0003\u0002\u0002\u000256\b\u0005\u0001\u000267\u0007\u0007\u0002\u00027<\u0005\n\u0006\u000289\u0007\r\u0002\u00029;\u0005\n\u0006\u0002:8\u0003\u0002\u0002\u0002;>\u0003\u0002\u0002\u0002<:\u0003\u0002\u0002\u0002<=\u0003\u0002\u0002\u0002=?\u0003\u0002\u0002\u0002><\u0003\u0002\u0002\u0002?@\u0007\b\u0002\u0002@A\u0003\u0002\u0002\u0002AB\b\u0005\u0001\u0002B\t\u0003\u0002\u0002\u0002CD\u0005\u0002\u0002\u0002DE\b\u0006\u0001\u0002E\u000b\u0003\u0002\u0002\u0002FG\u0007\u0014\u0002\u0002GM\b\u0007\u0001\u0002HI\u0007\u0010\u0002\u0002IJ\u0007\u0014\u0002\u0002JL\b\u0007\u0001\u0002KH\u0003\u0002\u0002\u0002LO\u0003\u0002\u0002\u0002MK\u0003\u0002\u0002\u0002MN\u0003\u0002\u0002\u0002N\r\u0003\u0002\u0002\u0002OM\u0003\u0002\u0002\u0002\t\u0012\u001f-13<M"
public static final int
COMPLEMENT
17
public static final int
CONT
12
public static final int
COV
11
public static final int
END
13
public static final int
INTERSECT
16
public static final int
INV
10
public static final int
MultiLineComment
9
public static final int
NAME
18
public static final int
RULE_addFormula
4
public static final int
RULE_compFormula
3
public static final int
RULE_constFormula
1
public static final int
RULE_formula
0
public static final int
RULE_path
5
public static final int
RULE_varFormula
2
public static final int
SEP
14
public static final int
SingleLineComment
8
public static final int
T__0
1
public static final int
T__1
2
public static final int
T__2
3
public static final int
T__3
4
public static final int
T__4
5
public static final int
T__5
6
public static final int
UNION
15
public static final int
WS
7
-
eu.simuline.relana.parser.SClassLexer Modifier and Type Constant Field Value public static final String
_serializedATN
"\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0002\u0015\u00b0\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\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0007\u0003\u0007\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\b\u0007\bF\n\b\f\b\u000e\bI\u000b\b\u0003\b\u0003\b\u0003\t\u0003\t\u0003\t\u0003\t\u0007\tQ\n\t\f\t\u000e\tT\u000b\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\n\u0003\n\u0003\n\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\f\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\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0014\u0003\u0014\u0007\u0014\u009d\n\u0014\f\u0014\u000e\u0014\u00a0\u000b\u0014\u0003\u0015\u0003\u0015\u0003\u0015\u0005\u0015\u00a5\n\u0015\u0003\u0016\u0003\u0016\u0005\u0016\u00a9\n\u0016\u0003\u0017\u0003\u0017\u0003\u0018\u0003\u0018\u0003\u0019\u0003\u0019\u0003R\u0002\u001a\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)\u0002+\u0002-\u0002/\u00021\u0002\u0003\u0002\u0004\u0005\u0002\u000b\f\u000e\u000f\"\"\u0004\u0002\f\f\u000f\u000f\u0002\u00b0\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\u00033\u0003\u0002\u0002\u0002\u00055\u0003\u0002\u0002\u0002\u00077\u0003\u0002\u0002\u0002\t9\u0003\u0002\u0002\u0002\u000b;\u0003\u0002\u0002\u0002\r=\u0003\u0002\u0002\u0002\u000fA\u0003\u0002\u0002\u0002\u0011L\u0003\u0002\u0002\u0002\u0013Z\u0003\u0002\u0002\u0002\u0015b\u0003\u0002\u0002\u0002\u0017i\u0003\u0002\u0002\u0002\u0019q\u0003\u0002\u0002\u0002\u001b|\u0003\u0002\u0002\u0002\u001d\u0080\u0003\u0002\u0002\u0002\u001f\u0088\u0003\u0002\u0002\u0002!\u0092\u0003\u0002\u0002\u0002#\u0096\u0003\u0002\u0002\u0002%\u0098\u0003\u0002\u0002\u0002\'\u009a\u0003\u0002\u0002\u0002)\u00a4\u0003\u0002\u0002\u0002+\u00a8\u0003\u0002\u0002\u0002-\u00aa\u0003\u0002\u0002\u0002/\u00ac\u0003\u0002\u0002\u00021\u00ae\u0003\u0002\u0002\u000234\u0007}\u0002\u00024\u0004\u0003\u0002\u0002\u000256\u0007\u007f\u0002\u00026\u0006\u0003\u0002\u0002\u000278\u0007]\u0002\u00028\b\u0003\u0002\u0002\u00029:\u0007.\u0002\u0002:\n\u0003\u0002\u0002\u0002;<\u0007_\u0002\u0002<\f\u0003\u0002\u0002\u0002=>\t\u0002\u0002\u0002>?\u0003\u0002\u0002\u0002?@\b\u0007\u0002\u0002@\u000e\u0003\u0002\u0002\u0002AB\u00071\u0002\u0002BC\u00071\u0002\u0002CG\u0003\u0002\u0002\u0002DF\n\u0003\u0002\u0002ED\u0003\u0002\u0002\u0002FI\u0003\u0002\u0002\u0002GE\u0003\u0002\u0002\u0002GH\u0003\u0002\u0002\u0002HJ\u0003\u0002\u0002\u0002IG\u0003\u0002\u0002\u0002JK\b\b\u0002\u0002K\u0010\u0003\u0002\u0002\u0002LM\u00071\u0002\u0002MN\u0007,\u0002\u0002NR\u0003\u0002\u0002\u0002OQ\u000b\u0002\u0002\u0002PO\u0003\u0002\u0002\u0002QT\u0003\u0002\u0002\u0002RS\u0003\u0002\u0002\u0002RP\u0003\u0002\u0002\u0002SU\u0003\u0002\u0002\u0002TR\u0003\u0002\u0002\u0002UV\u0007,\u0002\u0002VW\u00071\u0002\u0002WX\u0003\u0002\u0002\u0002XY\b\t\u0002\u0002Y\u0012\u0003\u0002\u0002\u0002Z[\u0007r\u0002\u0002[\\\u0007c\u0002\u0002\\]\u0007e\u0002\u0002]^\u0007m\u0002\u0002^_\u0007c\u0002\u0002_`\u0007i\u0002\u0002`a\u0007g\u0002\u0002a\u0014\u0003\u0002\u0002\u0002bc\u0007u\u0002\u0002cd\u0007e\u0002\u0002de\u0007n\u0002\u0002ef\u0007c\u0002\u0002fg\u0007u\u0002\u0002gh\u0007u\u0002\u0002h\u0016\u0003\u0002\u0002\u0002ij\u0007g\u0002\u0002jk\u0007z\u0002\u0002kl\u0007v\u0002\u0002lm\u0007g\u0002\u0002mn\u0007p\u0002\u0002no\u0007f\u0002\u0002op\u0007u\u0002\u0002p\u0018\u0003\u0002\u0002\u0002qr\u0007r\u0002\u0002rs\u0007t\u0002\u0002st\u0007q\u0002\u0002tu\u0007r\u0002\u0002uv\u0007g\u0002\u0002vw\u0007t\u0002\u0002wx\u0007v\u0002\u0002xy\u0007k\u0002\u0002yz\u0007g\u0002\u0002z{\u0007u\u0002\u0002{\u001a\u0003\u0002\u0002\u0002|}\u0007o\u0002\u0002}~\u0007c\u0002\u0002~\u007f\u0007r\u0002\u0002\u007f\u001c\u0003\u0002\u0002\u0002\u0080\u0081\u0007t\u0002\u0002\u0081\u0082\u0007g\u0002\u0002\u0082\u0083\u0007r\u0002\u0002\u0083\u0084\u0007n\u0002\u0002\u0084\u0085\u0007c\u0002\u0002\u0085\u0086\u0007e\u0002\u0002\u0086\u0087\u0007g\u0002\u0002\u0087\u001e\u0003\u0002\u0002\u0002\u0088\u0089\u0007t\u0002\u0002\u0089\u008a\u0007g\u0002\u0002\u008a\u008b\u0007n\u0002\u0002\u008b\u008c\u0007c\u0002\u0002\u008c\u008d\u0007v\u0002\u0002\u008d\u008e\u0007k\u0002\u0002\u008e\u008f\u0007q\u0002\u0002\u008f\u0090\u0007p\u0002\u0002\u0090\u0091\u0007u\u0002\u0002\u0091 \u0003\u0002\u0002\u0002\u0092\u0093\u0007?\u0002\u0002\u0093\u0094\u0007?\u0002\u0002\u0094\u0095\u0007@\u0002\u0002\u0095\"\u0003\u0002\u0002\u0002\u0096\u0097\u0007=\u0002\u0002\u0097$\u0003\u0002\u0002\u0002\u0098\u0099\u00070\u0002\u0002\u0099&\u0003\u0002\u0002\u0002\u009a\u009e\u0005+\u0016\u0002\u009b\u009d\u0005)\u0015\u0002\u009c\u009b\u0003\u0002\u0002\u0002\u009d\u00a0\u0003\u0002\u0002\u0002\u009e\u009c\u0003\u0002\u0002\u0002\u009e\u009f\u0003\u0002\u0002\u0002\u009f(\u0003\u0002\u0002\u0002\u00a0\u009e\u0003\u0002\u0002\u0002\u00a1\u00a5\u0005+\u0016\u0002\u00a2\u00a5\u0005-\u0017\u0002\u00a3\u00a5\u0007a\u0002\u0002\u00a4\u00a1\u0003\u0002\u0002\u0002\u00a4\u00a2\u0003\u0002\u0002\u0002\u00a4\u00a3\u0003\u0002\u0002\u0002\u00a5*\u0003\u0002\u0002\u0002\u00a6\u00a9\u00051\u0019\u0002\u00a7\u00a9\u0005/\u0018\u0002\u00a8\u00a6\u0003\u0002\u0002\u0002\u00a8\u00a7\u0003\u0002\u0002\u0002\u00a9,\u0003\u0002\u0002\u0002\u00aa\u00ab\u00042;\u0002\u00ab.\u0003\u0002\u0002\u0002\u00ac\u00ad\u0004c|\u0002\u00ad0\u0003\u0002\u0002\u0002\u00ae\u00af\u0004C\\\u0002\u00af2\u0003\u0002\u0002\u0002\b\u0002GR\u009e\u00a4\u00a8\u0003\b\u0002\u0002"
public static final int
END
17
public static final int
EXTENDS
11
public static final int
IMPLIES
16
public static final int
MAP
13
public static final int
MultiLineComment
8
public static final int
NAME
19
public static final int
PACKAGE
9
public static final int
PROPERTIES
12
public static final int
RELATIONS
15
public static final int
REPLACE
14
public static final int
SCLASS
10
public static final int
SEP
18
public static final int
SingleLineComment
7
public static final int
T__0
1
public static final int
T__1
2
public static final int
T__2
3
public static final int
T__3
4
public static final int
T__4
5
public static final int
WS
6
-
eu.simuline.relana.parser.SClassParser Modifier and Type Constant Field Value public static final String
_serializedATN
"\u0003\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\u0003\u0015\u0091\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\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0007\u00030\n\u0003\f\u0003\u000e\u00033\u000b\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0007\u0005?\n\u0005\f\u0005\u000e\u0005B\u000b\u0005\u0003\u0005\u0003\u0005\u0005\u0005F\n\u0005\u0005\u0005H\n\u0005\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0007\u0006N\n\u0006\f\u0006\u000e\u0006Q\u000b\u0006\u0005\u0006S\n\u0006\u0003\u0007\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0007\bZ\n\b\f\b\u000e\b]\u000b\b\u0005\b_\n\b\u0003\b\u0003\b\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0007\tj\n\t\f\t\u000e\tm\u000b\t\u0003\t\u0003\t\u0003\t\u0003\t\u0003\t\u0005\tt\n\t\u0003\t\u0003\t\u0003\n\u0006\ny\n\n\r\n\u000e\nz\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0007\u000b\u0081\n\u000b\f\u000b\u000e\u000b\u0084\u000b\u000b\u0005\u000b\u0086\n\u000b\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0002\u0002\r\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0002\u0002\u0002\u0092\u0002\u0018\u0003\u0002\u0002\u0002\u0004*\u0003\u0002\u0002\u0002\u00064\u0003\u0002\u0002\u0002\bG\u0003\u0002\u0002\u0002\nR\u0003\u0002\u0002\u0002\fT\u0003\u0002\u0002\u0002\u000e^\u0003\u0002\u0002\u0002\u0010b\u0003\u0002\u0002\u0002\u0012x\u0003\u0002\u0002\u0002\u0014\u0085\u0003\u0002\u0002\u0002\u0016\u0089\u0003\u0002\u0002\u0002\u0018\u0019\u0007\u000b\u0002\u0002\u0019\u001a\u0005\u0004\u0003\u0002\u001a\u001b\u0007\u0013\u0002\u0002\u001b\u001c\b\u0002\u0001\u0002\u001c\u001d\u0007\f\u0002\u0002\u001d\u001e\u0007\u0015\u0002\u0002\u001e\u001f\u0005\b\u0005\u0002\u001f \u0007\u0003\u0002\u0002 !\u0005\n\u0006\u0002!\"\b\u0002\u0001\u0002\"#\u0005\u000e\b\u0002#$\b\u0002\u0001\u0002$%\u0005\u0014\u000b\u0002%&\u0007\u0004\u0002\u0002&\'\u0007\u0002\u0002\u0003\'(\u0003\u0002\u0002\u0002()\b\u0002\u0001\u0002)\u0003\u0003\u0002\u0002\u0002*+\u0007\u0015\u0002\u0002+1\b\u0003\u0001\u0002,-\u0007\u0014\u0002\u0002-.\u0007\u0015\u0002\u0002.0\b\u0003\u0001\u0002/,\u0003\u0002\u0002\u000203\u0003\u0002\u0002\u00021/\u0003\u0002\u0002\u000212\u0003\u0002\u0002\u00022\u0005\u0003\u0002\u0002\u000231\u0003\u0002\u0002\u000245\u0005\u0004\u0003\u000256\b\u0004\u0001\u00026\u0007\u0003\u0002\u0002\u000278\u0007\r\u0002\u000289\u0005\u0004\u0003\u00029E\b\u0005\u0001\u0002:;\u0007\u0005\u0002\u0002;@\u0005\u0006\u0004\u0002<=\u0007\u0006\u0002\u0002=?\u0005\u0006\u0004\u0002><\u0003\u0002\u0002\u0002?B\u0003\u0002\u0002\u0002@>\u0003\u0002\u0002\u0002@A\u0003\u0002\u0002\u0002AC\u0003\u0002\u0002\u0002B@\u0003\u0002\u0002\u0002CD\u0007\u0007\u0002\u0002DF\u0003\u0002\u0002\u0002E:\u0003\u0002\u0002\u0002EF\u0003\u0002\u0002\u0002FH\u0003\u0002\u0002\u0002G7\u0003\u0002\u0002\u0002GH\u0003\u0002\u0002\u0002HI\u0003\u0002\u0002\u0002IJ\b\u0005\u0001\u0002J\t\u0003\u0002\u0002\u0002KO\u0007\u000e\u0002\u0002LN\u0005\f\u0007\u0002ML\u0003\u0002\u0002\u0002NQ\u0003\u0002\u0002\u0002OM\u0003\u0002\u0002\u0002OP\u0003\u0002\u0002\u0002PS\u0003\u0002\u0002\u0002QO\u0003\u0002\u0002\u0002RK\u0003\u0002\u0002\u0002RS\u0003\u0002\u0002\u0002S\u000b\u0003\u0002\u0002\u0002TU\u0007\u0015\u0002\u0002UV\b\u0007\u0001\u0002V\r\u0003\u0002\u0002\u0002W[\u0007\u000f\u0002\u0002XZ\u0005\u0010\t\u0002YX\u0003\u0002\u0002\u0002Z]\u0003\u0002\u0002\u0002[Y\u0003\u0002\u0002\u0002[\\\u0003\u0002\u0002\u0002\\_\u0003\u0002\u0002\u0002][\u0003\u0002\u0002\u0002^W\u0003\u0002\u0002\u0002^_\u0003\u0002\u0002\u0002_`\u0003\u0002\u0002\u0002`a\b\b\u0001\u0002a\u000f\u0003\u0002\u0002\u0002bc\u0007\u0010\u0002\u0002cs\u0007\u0015\u0002\u0002de\u0007\u0003\u0002\u0002ef\u0005\u0012\n\u0002fg\b\t\u0001\u0002gk\u0007\u0011\u0002\u0002hj\u0005\u0016\f\u0002ih\u0003\u0002\u0002\u0002jm\u0003\u0002\u0002\u0002ki\u0003\u0002\u0002\u0002kl\u0003\u0002\u0002\u0002ln\u0003\u0002\u0002\u0002mk\u0003\u0002\u0002\u0002no\u0007\u0004\u0002\u0002ot\u0003\u0002\u0002\u0002pq\u0005\u0004\u0003\u0002qr\b\t\u0001\u0002rt\u0003\u0002\u0002\u0002sd\u0003\u0002\u0002\u0002sp\u0003\u0002\u0002\u0002tu\u0003\u0002\u0002\u0002uv\b\t\u0001\u0002v\u0011\u0003\u0002\u0002\u0002wy\u0005\f\u0007\u0002xw\u0003\u0002\u0002\u0002yz\u0003\u0002\u0002\u0002zx\u0003\u0002\u0002\u0002z{\u0003\u0002\u0002\u0002{|\u0003\u0002\u0002\u0002|}\b\n\u0001\u0002}\u0013\u0003\u0002\u0002\u0002~\u0082\u0007\u0011\u0002\u0002\u007f\u0081\u0005\u0016\f\u0002\u0080\u007f\u0003\u0002\u0002\u0002\u0081\u0084\u0003\u0002\u0002\u0002\u0082\u0080\u0003\u0002\u0002\u0002\u0082\u0083\u0003\u0002\u0002\u0002\u0083\u0086\u0003\u0002\u0002\u0002\u0084\u0082\u0003\u0002\u0002\u0002\u0085~\u0003\u0002\u0002\u0002\u0085\u0086\u0003\u0002\u0002\u0002\u0086\u0087\u0003\u0002\u0002\u0002\u0087\u0088\b\u000b\u0001\u0002\u0088\u0015\u0003\u0002\u0002\u0002\u0089\u008a\u0007\u0015\u0002\u0002\u008a\u008b\u0007\u0012\u0002\u0002\u008b\u008c\u0007\u0015\u0002\u0002\u008c\u008d\u0007\u0013\u0002\u0002\u008d\u008e\u0003\u0002\u0002\u0002\u008e\u008f\b\f\u0001\u0002\u008f\u0017\u0003\u0002\u0002\u0002\u000f1@EGOR[^ksz\u0082\u0085"
public static final int
END
17
public static final int
EXTENDS
11
public static final int
IMPLIES
16
public static final int
MAP
13
public static final int
MultiLineComment
8
public static final int
NAME
19
public static final int
PACKAGE
9
public static final int
PROPERTIES
12
public static final int
RELATIONS
15
public static final int
REPLACE
14
public static final int
RULE_addDeficiency
5
public static final int
RULE_addMap
7
public static final int
RULE_addPath
2
public static final int
RULE_addRelation
10
public static final int
RULE_addRelations
9
public static final int
RULE_getCheckedDeficiencies
8
public static final int
RULE_getDeficiencies
4
public static final int
RULE_getInnerCls
6
public static final int
RULE_getPath
1
public static final int
RULE_getSuperClass
3
public static final int
RULE_sClass
0
public static final int
SCLASS
10
public static final int
SEP
18
public static final int
SingleLineComment
7
public static final int
T__0
1
public static final int
T__1
2
public static final int
T__2
3
public static final int
T__3
4
public static final int
T__4
5
public static final int
WS
6