Constant Field Values

Contents

• org.eth.*

org.eth.*

org.eth.cyril.model.dsl.DSLLexer

Modifier and Type	Constant Field	Value
public static final java.lang.String	_serializedATN	"\u0003\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\u0002\u0017\u0095\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\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\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\t\u0003\t\u0003\n\u0003\n\u0003\n\u0003\u000b\u0003\u000b\u0003\f\u0003\f\u0003\f\u0003\f\u0005\fT\n\f\u0003\r\u0003\r\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0003\u0010\u0003\u0010\u0007\u0010a\n\u0010\f\u0010\u000e\u0010d\u000b\u0010\u0003\u0011\u0003\u0011\u0003\u0011\u0003\u0011\u0007\u0011j\n\u0011\f\u0011\u000e\u0011m\u000b\u0011\u0003\u0011\u0003\u0011\u0003\u0012\u0003\u0012\u0003\u0012\u0003\u0013\u0003\u0013\u0003\u0013\u0005\u0013w\n\u0013\u0003\u0014\u0006\u0014z\n\u0014\r\u0014\u000e\u0014{\u0003\u0015\u0006\u0015\u007f\n\u0015\r\u0015\u000e\u0015\u0080\u0003\u0015\u0003\u0015\u0006\u0015\u0085\n\u0015\r\u0015\u000e\u0015\u0086\u0003\u0016\u0003\u0016\u0003\u0017\u0003\u0017\u0005\u0017\u008d\n\u0017\u0003\u0018\u0006\u0018\u0090\n\u0018\r\u0018\u000e\u0018\u0091\u0003\u0019\u0003\u0019\u0002\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)\u0016+\u0002-\u0002/\u00171\u0002\u0003\u0002\u0007\u0003\u0002c|\u0004\u0002--//\u0003\u00022;\u0006\u0002&&C\\aac|\n\u0002\"\"&&./<<@@C\\aac|\u009a\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\u00033\u0003\u0002\u0002\u0002\u00055\u0003\u0002\u0002\u0002\u0007>\u0003\u0002\u0002\u0002\t@\u0003\u0002\u0002\u0002\u000bB\u0003\u0002\u0002\u0002\rD\u0003\u0002\u0002\u0002\u000fF\u0003\u0002\u0002\u0002\u0011H\u0003\u0002\u0002\u0002\u0013J\u0003\u0002\u0002\u0002\u0015M\u0003\u0002\u0002\u0002\u0017S\u0003\u0002\u0002\u0002\u0019U\u0003\u0002\u0002\u0002\u001bW\u0003\u0002\u0002\u0002\u001d\\\u0003\u0002\u0002\u0002\u001f^\u0003\u0002\u0002\u0002!e\u0003\u0002\u0002\u0002#p\u0003\u0002\u0002\u0002%s\u0003\u0002\u0002\u0002\'y\u0003\u0002\u0002\u0002)~\u0003\u0002\u0002\u0002+\u0088\u0003\u0002\u0002\u0002-\u008c\u0003\u0002\u0002\u0002/\u008f\u0003\u0002\u0002\u00021\u0093\u0003\u0002\u0002\u000234\u00070\u0002\u00024\u0004\u0003\u0002\u0002\u000256\u0007t\u0002\u000267\u0007g\u0002\u000278\u0007e\u0002\u000289\u0007w\u0002\u00029:\u0007t\u0002\u0002:;\u0007u\u0002\u0002;<\u0007g\u0002\u0002<=\u0007*\u0002\u0002=\u0006\u0003\u0002\u0002\u0002>?\u0007+\u0002\u0002?\b\u0003\u0002\u0002\u0002@A\u0007*\u0002\u0002A\n\u0003\u0002\u0002\u0002BC\u0007~\u0002\u0002C\f\u0003\u0002\u0002\u0002DE\u0007>\u0002\u0002E\u000e\u0003\u0002\u0002\u0002FG\u0007}\u0002\u0002G\u0010\u0003\u0002\u0002\u0002HI\u0007\u007f\u0002\u0002I\u0012\u0003\u0002\u0002\u0002JK\u0007.\u0002\u0002KL\u0007*\u0002\u0002L\u0014\u0003\u0002\u0002\u0002MN\u00071\u0002\u0002N\u0016\u0003\u0002\u0002\u0002OP\u0007?\u0002\u0002PT\u0007?\u0002\u0002QR\u0007#\u0002\u0002RT\u0007?\u0002\u0002SO\u0003\u0002\u0002\u0002SQ\u0003\u0002\u0002\u0002T\u0018\u0003\u0002\u0002\u0002UV\u0007,\u0002\u0002V\u001a\u0003\u0002\u0002\u0002WX\u0007v\u0002\u0002XY\u0007j\u0002\u0002YZ\u0007k\u0002\u0002Z[\u0007u\u0002\u0002[\u001c\u0003\u0002\u0002\u0002\\]\u0005\u001f\u0010\u0002]\u001e\u0003\u0002\u0002\u0002^b\u0005+\u0016\u0002_a\u0005-\u0017\u0002`_\u0003\u0002\u0002\u0002ad\u0003\u0002\u0002\u0002b`\u0003\u0002\u0002\u0002bc\u0003\u0002\u0002\u0002c \u0003\u0002\u0002\u0002db\u0003\u0002\u0002\u0002ef\u0007>\u0002\u0002fk\u0005\u001d\u000f\u0002gh\u0007.\u0002\u0002hj\u0005\u001d\u000f\u0002ig\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@\u0002\u0002o\"\u0003\u0002\u0002\u0002pq\u0007]\u0002\u0002qr\u0007_\u0002\u0002r$\u0003\u0002\u0002\u0002sv\t\u0002\u0002\u0002tu\t\u0003\u0002\u0002uw\u00073\u0002\u0002vt\u0003\u0002\u0002\u0002vw\u0003\u0002\u0002\u0002w&\u0003\u0002\u0002\u0002xz\t\u0004\u0002\u0002yx\u0003\u0002\u0002\u0002z{\u0003\u0002\u0002\u0002{y\u0003\u0002\u0002\u0002{|\u0003\u0002\u0002\u0002|(\u0003\u0002\u0002\u0002}\u007f\t\u0004\u0002\u0002~}\u0003\u0002\u0002\u0002\u007f\u0080\u0003\u0002\u0002\u0002\u0080~\u0003\u0002\u0002\u0002\u0080\u0081\u0003\u0002\u0002\u0002\u0081\u0082\u0003\u0002\u0002\u0002\u0082\u0084\u00070\u0002\u0002\u0083\u0085\t\u0004\u0002\u0002\u0084\u0083\u0003\u0002\u0002\u0002\u0085\u0086\u0003\u0002\u0002\u0002\u0086\u0084\u0003\u0002\u0002\u0002\u0086\u0087\u0003\u0002\u0002\u0002\u0087*\u0003\u0002\u0002\u0002\u0088\u0089\t\u0005\u0002\u0002\u0089,\u0003\u0002\u0002\u0002\u008a\u008d\u0005+\u0016\u0002\u008b\u008d\t\u0004\u0002\u0002\u008c\u008a\u0003\u0002\u0002\u0002\u008c\u008b\u0003\u0002\u0002\u0002\u008d.\u0003\u0002\u0002\u0002\u008e\u0090\u00051\u0019\u0002\u008f\u008e\u0003\u0002\u0002\u0002\u0090\u0091\u0003\u0002\u0002\u0002\u0091\u008f\u0003\u0002\u0002\u0002\u0091\u0092\u0003\u0002\u0002\u0002\u00920\u0003\u0002\u0002\u0002\u0093\u0094\t\u0006\u0002\u0002\u00942\u0003\u0002\u0002\u0002\f\u0002Sbkv{\u0080\u0086\u008c\u0091\u0002"
public static final int	All	12
public static final int	Array	17
public static final int	ArrayIndex	18
public static final int	Comparator	11
public static final int	Float	20
public static final int	Generic	16
public static final int	Identifier	14
public static final int	Integer	19
public static final int	Name	15
public static final int	String	21
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	T__8	9
public static final int	T__9	10
public static final int	This	13

org.eth.cyril.model.dsl.DSLParser

Modifier and Type	Constant Field	Value
public static final java.lang.String	_serializedATN	"\u0003\u0430\ud6d1\u8206\uad2d\u4417\uaef1\u8d80\uaadd\u0003\u0017\u008e\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\u0003\u0002\u0003\u0002\u0003\u0002\u0007\u0002\"\n\u0002\f\u0002\u000e\u0002%\u000b\u0002\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0003\u0005\u0003,\n\u0003\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0004\u0003\u0005\u0003\u0005\u0003\u0005\u0003\u0005\u0006\u00056\n\u0005\r\u0005\u000e\u00057\u0003\u0005\u0003\u0005\u0003\u0006\u0003\u0006\u0003\u0006\u0003\u0006\u0005\u0006@\n\u0006\u0003\u0007\u0003\u0007\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0003\b\u0006\bL\n\b\r\b\u000e\bM\u0003\t\u0007\tQ\n\t\f\t\u000e\tT\u000b\t\u0003\n\u0003\n\u0003\n\u0003\n\u0003\n\u0005\n[\n\n\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0003\u000b\u0005\u000bc\n\u000b\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0003\f\u0006\fm\n\f\r\f\u000e\fn\u0005\fq\n\f\u0003\r\u0003\r\u0003\r\u0003\r\u0005\rw\n\r\u0005\ry\n\r\u0003\u000e\u0003\u000e\u0003\u000f\u0003\u000f\u0005\u000f\u007f\n\u000f\u0003\u000f\u0007\u000f\u0082\n\u000f\f\u000f\u000e\u000f\u0085\u000b\u000f\u0003\u000f\u0005\u000f\u0088\n\u000f\u0003\u000f\u0003\u000f\u0005\u000f\u008c\n\u000f\u0003\u000f\u0002\u0002\u0010\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u0002\u0002\u0098\u0002\u001e\u0003\u0002\u0002\u0002\u0004+\u0003\u0002\u0002\u0002\u0006-\u0003\u0002\u0002\u0002\b1\u0003\u0002\u0002\u0002\n?\u0003\u0002\u0002\u0002\fA\u0003\u0002\u0002\u0002\u000eC\u0003\u0002\u0002\u0002\u0010R\u0003\u0002\u0002\u0002\u0012Z\u0003\u0002\u0002\u0002\u0014b\u0003\u0002\u0002\u0002\u0016p\u0003\u0002\u0002\u0002\u0018r\u0003\u0002\u0002\u0002\u001az\u0003\u0002\u0002\u0002\u001c|\u0003\u0002\u0002\u0002\u001e#\u0005\u0004\u0003\u0002\u001f \u0007\u0003\u0002\u0002 \"\u0005\u0004\u0003\u0002!\u001f\u0003\u0002\u0002\u0002\"%\u0003\u0002\u0002\u0002#!\u0003\u0002\u0002\u0002#$\u0003\u0002\u0002\u0002$\u0003\u0003\u0002\u0002\u0002%#\u0003\u0002\u0002\u0002&,\u0007\u000e\u0002\u0002\',\u0007\u000f\u0002\u0002(,\u0005\u0006\u0004\u0002),\u0005\b\u0005\u0002*,\u0005\n\u0006\u0002+&\u0003\u0002\u0002\u0002+\'\u0003\u0002\u0002\u0002+(\u0003\u0002\u0002\u0002+)\u0003\u0002\u0002\u0002+*\u0003\u0002\u0002\u0002,\u0005\u0003\u0002\u0002\u0002-.\u0007\u0004\u0002\u0002./\u0005\u0002\u0002\u0002/0\u0007\u0005\u0002\u00020\u0007\u0003\u0002\u0002\u000212\u0007\u0006\u0002\u000225\u0005\u0002\u0002\u000234\u0007\u0007\u0002\u000246\u0005\u0002\u0002\u000253\u0003\u0002\u0002\u000267\u0003\u0002\u0002\u000275\u0003\u0002\u0002\u000278\u0003\u0002\u0002\u000289\u0003\u0002\u0002\u00029:\u0007\u0005\u0002\u0002:\t\u0003\u0002\u0002\u0002;@\u0007\u0010\u0002\u0002<@\u0007\u0015\u0002\u0002=@\u0007\u0014\u0002\u0002>@\u0005\u001c\u000f\u0002?;\u0003\u0002\u0002\u0002?<\u0003\u0002\u0002\u0002?=\u0003\u0002\u0002\u0002?>\u0003\u0002\u0002\u0002@\u000b\u0003\u0002\u0002\u0002AB\u0007\u0010\u0002\u0002B\r\u0003\u0002\u0002\u0002CD\u0007\u0006\u0002\u0002DE\u0005\u0002\u0002\u0002EK\u0007\u0005\u0002\u0002FG\u0007\b\u0002\u0002GH\u0007\u0006\u0002\u0002HI\u0005\u0002\u0002\u0002IJ\u0007\u0005\u0002\u0002JL\u0003\u0002\u0002\u0002KF\u0003\u0002\u0002\u0002LM\u0003\u0002\u0002\u0002MK\u0003\u0002\u0002\u0002MN\u0003\u0002\u0002\u0002N\u000f\u0003\u0002\u0002\u0002OQ\u0005\u0012\n\u0002PO\u0003\u0002\u0002\u0002QT\u0003\u0002\u0002\u0002RP\u0003\u0002\u0002\u0002RS\u0003\u0002\u0002\u0002S\u0011\u0003\u0002\u0002\u0002TR\u0003\u0002\u0002\u0002UV\u0007\t\u0002\u0002VW\u0005\u0002\u0002\u0002WX\u0007\n\u0002\u0002X[\u0003\u0002\u0002\u0002Y[\u0005\u0014\u000b\u0002ZU\u0003\u0002\u0002\u0002ZY\u0003\u0002\u0002\u0002[\u0013\u0003\u0002\u0002\u0002\\c\u0007\u0010\u0002\u0002]c\u0007\u0015\u0002\u0002^c\u0007\u0016\u0002\u0002_c\u0007\u0014\u0002\u0002`c\u0005\u001c\u000f\u0002ac\u0007\u0017\u0002\u0002b\\\u0003\u0002\u0002\u0002b]\u0003\u0002\u0002\u0002b^\u0003\u0002\u0002\u0002b_\u0003\u0002\u0002\u0002b`\u0003\u0002\u0002\u0002ba\u0003\u0002\u0002\u0002c\u0015\u0003\u0002\u0002\u0002dq\u0005\u0018\r\u0002ef\u0007\u0006\u0002\u0002fg\u0005\u0018\r\u0002gl\u0007\u0005\u0002\u0002hi\u0007\u000b\u0002\u0002ij\u0005\u0018\r\u0002jk\u0007\u0005\u0002\u0002km\u0003\u0002\u0002\u0002lh\u0003\u0002\u0002\u0002mn\u0003\u0002\u0002\u0002nl\u0003\u0002\u0002\u0002no\u0003\u0002\u0002\u0002oq\u0003\u0002\u0002\u0002pd\u0003\u0002\u0002\u0002pe\u0003\u0002\u0002\u0002q\u0017\u0003\u0002\u0002\u0002rx\u0005\u0002\u0002\u0002sv\u0007\r\u0002\u0002tw\u0007\u000e\u0002\u0002uw\u0005\u001a\u000e\u0002vt\u0003\u0002\u0002\u0002vu\u0003\u0002\u0002\u0002wy\u0003\u0002\u0002\u0002xs\u0003\u0002\u0002\u0002xy\u0003\u0002\u0002\u0002y\u0019\u0003\u0002\u0002\u0002z{\u0005\u0014\u000b\u0002{\u001b\u0003\u0002\u0002\u0002|~\u0007\u0010\u0002\u0002}\u007f\u0007\u0012\u0002\u0002~}\u0003\u0002\u0002\u0002~\u007f\u0003\u0002\u0002\u0002\u007f\u0083\u0003\u0002\u0002\u0002\u0080\u0082\u0007\u0013\u0002\u0002\u0081\u0080\u0003\u0002\u0002\u0002\u0082\u0085\u0003\u0002\u0002\u0002\u0083\u0081\u0003\u0002\u0002\u0002\u0083\u0084\u0003\u0002\u0002\u0002\u0084\u0087\u0003\u0002\u0002\u0002\u0085\u0083\u0003\u0002\u0002\u0002\u0086\u0088\u0007\u0010\u0002\u0002\u0087\u0086\u0003\u0002\u0002\u0002\u0087\u0088\u0003\u0002\u0002\u0002\u0088\u008b\u0003\u0002\u0002\u0002\u0089\u008a\u0007\f\u0002\u0002\u008a\u008c\u0005\u001c\u000f\u0002\u008b\u0089\u0003\u0002\u0002\u0002\u008b\u008c\u0003\u0002\u0002\u0002\u008c\u001d\u0003\u0002\u0002\u0002\u0012#+7?MRZbnpvx~\u0083\u0087\u008b"
public static final int	All	12
public static final int	Array	17
public static final int	ArrayIndex	18
public static final int	Comparator	11
public static final int	Float	20
public static final int	Generic	16
public static final int	Identifier	14
public static final int	Integer	19
public static final int	Name	15
public static final int	RULE_comparison	10
public static final int	RULE_comparisonPart	11
public static final int	RULE_format	7
public static final int	RULE_formatPart	8
public static final int	RULE_javaTypeName	13
public static final int	RULE_multiple	3
public static final int	RULE_name	4
public static final int	RULE_noQuery	9
public static final int	RULE_order	6
public static final int	RULE_quantifier	5
public static final int	RULE_query	0
public static final int	RULE_recurse	2
public static final int	RULE_term	1
public static final int	RULE_value	12
public static final int	String	21
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	T__8	9
public static final int	T__9	10
public static final int	This	13

org.eth.cyril.model.output.ToStringResolverManager<T extends Resolver>

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_PRIORITY	10

org.eth.cyril.util.configuration.Properties

Modifier and Type	Constant Field	Value
public static final java.lang.String	ABSTRACTIONS	"abstractions"
public static final java.lang.String	ACTIVE	"active"
public static final java.lang.String	ANALYZE_STATIC	"analyzeStatic"
public static final java.lang.String	ARGS	"args"
public static final java.lang.String	BLACK_LIST	"blackList"
public static final java.lang.String	BOX_HEIGHT	"boxHeight"
public static final java.lang.String	CACHED	"cached"
public static final java.lang.String	CONSTRAINTS	"constraints"
public static final java.lang.String	DEBUG	"debug"
public static final java.lang.String	DEFAULT_CONSTRAINTS	"default"
public static final java.lang.String	DEFAULT_INVERT	"defaultInvert"
public static final java.lang.String	DEFAULT_LEFT	"defaultLeft"
public static final java.lang.String	DEFAULT_RIGHT	"defaultRight"
public static final java.lang.String	FONT_FILE	"fontFile"
public static final java.lang.String	FONT_NAME	"fontName"
public static final java.lang.String	FONT_STYLE	"fontStyle"
public static final java.lang.String	HEIGHT	"height"
public static final java.lang.String	INTERACTIVE_MODE	"interactiveMode"
public static final java.lang.String	IS_BETA	"isBeta"
public static final java.lang.String	LANGUAGE_FILE	"languageFile"
public static final java.lang.String	LETTER_WIDTH	"letterWidth"
public static final java.lang.String	QUADPROG_SOLVER	"quadProgSolver"
public static final java.lang.String	QUERIES	"queries"
public static final java.lang.String	SWING_FONT_SIZE	"swingFontSize"
public static final java.lang.String	SWT_FONT_SIZE	"swtFontSize"
public static final java.lang.String	TO_STRING_FORMATS	"toStringFormats"
public static final java.lang.String	TYPE	"type"
public static final java.lang.String	WIDTH	"width"