Constant Field Values

Contents

convex.core.*

  • convex.core.lang.Juice
    Modifier and Type
    Constant Field
    Value
    public static final long
    200L
    protected static final long
    20L
    public static final long
    50L
    protected static final long
    20L
    public static final long
    150L
    protected static final long
    50L
    protected static final long
    20L
    protected static final long
    50L
    protected static final long
    1L
    protected static final long
    50L
    public static final long
    100L
    public static final long
    10L
    public static final long
    30L
    public static final long
    50L
    public static final long
    80L
    public static final long
    65L
    public static final long
    95L
    public static final long
    200L
    public static final long
    20L
    public static final long
    5L
    public static final long
    5L
    public static final long
    100L
    public static final long
    100L
    public static final long
    1000L
    public static final long
    5L
    public static final long
    20L
    protected static final long
    500L
    public static final long
    40L
    public static final long
    100L
    protected static final long
    30L
    public static final long
    1000L
    public static final long
    20L
    protected static final long
    20L
    public static final long
    100L
    public static final long
    30L
    public static final long
    1000L
    public static final long
    15L
    public static final long
    40L
    public static final long
    45L
    protected static final long
    100L
    public static final int
    200
    public static final long
    10L
    public static final long
    10L
    public static final long
    1000L
    public static final long
    10L
    public static final long
    30L
    protected static final long
    100L
    public static final long
    20L
    public static final long
    800L
    public static final long
    360000L
    public static final long
    20L
    public static final long
    10L
    public static final long
    20L
    public static final long
    10L
    protected static final long
    20L
    public static final long
    100L
    protected static final long
    20L
    public static final long
    20L
    public static final long
    500L
    public static final long
    20L
    public static final long
    200L
    public static final long
    50L
  • convex.core.lang.Log
    Modifier and Type
    Constant Field
    Value
    public static final int
    4
    public static final int
    0
    public static final int
    2
    public static final int
    1
    public static final int
    3
  • convex.core.lang.Ops
    Modifier and Type
    Constant Field
    Value
    public static final byte
    0x2
    public static final byte
    0x0
    public static final byte
    0x6
    public static final byte
    0x3
    public static final byte
    0x1
    public static final byte
    0x8
    public static final byte
    0x4
    public static final byte
    0xa
    public static final byte
    0x7
    public static final byte
    0x5
    public static final int
    1
    public static final byte
    0x9
    public static final byte
    0xb
    public static final byte
    0xf
  • convex.core.lang.Symbols
    Modifier and Type
    Constant Field
    Value
    public static final char
    '*'
  • convex.core.lang.reader.antlr.ConvexLexer
    Modifier and Type
    Constant Field
    Value
    public static final String
    "\u0004\u0000\u0017\u012a\u0006\uffff\uffff\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002\u000b\u0007\u000b\u0002\f\u0007\f\u0002\r\u0007\r\u0002\u000e\u0007\u000e\u0002\u000f\u0007\u000f\u0002\u0010\u0007\u0010\u0002\u0011\u0007\u0011\u0002\u0012\u0007\u0012\u0002\u0013\u0007\u0013\u0002\u0014\u0007\u0014\u0002\u0015\u0007\u0015\u0002\u0016\u0007\u0016\u0002\u0017\u0007\u0017\u0002\u0018\u0007\u0018\u0002\u0019\u0007\u0019\u0002\u001a\u0007\u001a\u0002\u001b\u0007\u001b\u0002\u001c\u0007\u001c\u0002\u001d\u0007\u001d\u0002\u001e\u0007\u001e\u0002\u001f\u0007\u001f\u0002 \u0007 \u0002!\u0007!\u0002\"\u0007\"\u0002#\u0007#\u0002$\u0007$\u0002%\u0007%\u0002&\u0007&\u0002\'\u0007\'\u0001\u0000\u0001\u0000\u0001\u0001\u0001\u0001\u0001\u0002\u0001\u0002\u0001\u0003\u0001\u0003\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\t\u0001\t\u0001\n\u0001\n\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0001\f\u0001\f\u0001\f\u0001\f\u0001\f\u0001\f\u0001\f\u0003\fv\b\f\u0001\r\u0001\r\u0003\rz\b\r\u0001\r\u0001\r\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0003\u000e\u0083\b\u000e\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u0010\u0001\u0010\u0001\u0010\u0003\u0010\u008b\b\u0010\u0001\u0011\u0004\u0011\u008e\b\u0011\u000b\u0011\f\u0011\u008f\u0001\u0012\u0001\u0012\u0001\u0012\u0001\u0013\u0001\u0013\u0001\u0013\u0001\u0013\u0005\u0013\u0099\b\u0013\n\u0013\f\u0013\u009c\t\u0013\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0015\u0001\u0015\u0001\u0016\u0001\u0016\u0005\u0016\u00a5\b\u0016\n\u0016\f\u0016\u00a8\t\u0016\u0001\u0016\u0001\u0016\u0001\u0017\u0001\u0017\u0003\u0017\u00ae\b\u0017\u0001\u0018\u0001\u0018\u0001\u0018\u0001\u0018\u0003\u0018\u00b4\b\u0018\u0001\u0019\u0001\u0019\u0001\u0019\u0001\u0019\u0001\u0019\u0001\u0019\u0001\u0019\u0001\u0019\u0003\u0019\u00be\b\u0019\u0001\u001a\u0001\u001a\u0001\u001a\u0001\u001a\u0001\u001b\u0001\u001b\u0001\u001c\u0001\u001c\u0001\u001c\u0003\u001c\u00c9\b\u001c\u0001\u001d\u0004\u001d\u00cc\b\u001d\u000b\u001d\f\u001d\u00cd\u0001\u001d\u0001\u001d\u0003\u001d\u00d2\b\u001d\u0001\u001e\u0001\u001e\u0001\u001f\u0001\u001f\u0005\u001f\u00d8\b\u001f\n\u001f\f\u001f\u00db\t\u001f\u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0001 \u0003 \u00e6\b \u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0001!\u0003!\u010f\b!\u0001\"\u0001\"\u0003\"\u0113\b\"\u0001#\u0001#\u0003#\u0117\b#\u0001$\u0003$\u011a\b$\u0001%\u0001%\u0001&\u0001&\u0005&\u0120\b&\n&\f&\u0123\t&\u0001\'\u0001\'\u0003\'\u0127\b\'\u0001\'\u0001\'\u0000\u0000(\u0001\u0001\u0003\u0002\u0005\u0003\u0007\u0004\t\u0005\u000b\u0006\r\u0007\u000f\b\u0011\t\u0013\n\u0015\u000b\u0017\f\u0019\r\u001b\u000e\u001d\u0000\u001f\u0000!\u0000#\u000f%\u0010\'\u0011)\u0000+\u0000-\u0012/\u00001\u00003\u00005\u00007\u00009\u0013;\u0014=\u0015?\u0000A\u0016C\u0000E\u0000G\u0000I\u0000K\u0000M\u0000O\u0017\u0001\u0000\r\u0002\u0000EEee\u0001\u000009\u0003\u000009AFaf\u0002\u0000\"\"\\\\\b\u0000\"\"\'\'\\\\bbffnnrrtt\u0001\u000003\u0001\u000007\u0003\u0000\'\'``~~\u0006\u0000!!$&*+-.<?__\u0002\u0000##0:\u0002\u0000AZaz\u0004\u0000\t\n\r\r ,,\u0002\u0000\n\n\r\r\u0134\u0000\u0001\u0001\u0000\u0000\u0000\u0000\u0003\u0001\u0000\u0000\u0000\u0000\u0005\u0001\u0000\u0000\u0000\u0000\u0007\u0001\u0000\u0000\u0000\u0000\t\u0001\u0000\u0000\u0000\u0000\u000b\u0001\u0000\u0000\u0000\u0000\r\u0001\u0000\u0000\u0000\u0000\u000f\u0001\u0000\u0000\u0000\u0000\u0011\u0001\u0000\u0000\u0000\u0000\u0013\u0001\u0000\u0000\u0000\u0000\u0015\u0001\u0000\u0000\u0000\u0000\u0017\u0001\u0000\u0000\u0000\u0000\u0019\u0001\u0000\u0000\u0000\u0000\u001b\u0001\u0000\u0000\u0000\u0000#\u0001\u0000\u0000\u0000\u0000%\u0001\u0000\u0000\u0000\u0000\'\u0001\u0000\u0000\u0000\u0000-\u0001\u0000\u0000\u0000\u00009\u0001\u0000\u0000\u0000\u0000;\u0001\u0000\u0000\u0000\u0000=\u0001\u0000\u0000\u0000\u0000A\u0001\u0000\u0000\u0000\u0000O\u0001\u0000\u0000\u0000\u0001Q\u0001\u0000\u0000\u0000\u0003S\u0001\u0000\u0000\u0000\u0005U\u0001\u0000\u0000\u0000\u0007W\u0001\u0000\u0000\u0000\tY\u0001\u0000\u0000\u0000\u000b[\u0001\u0000\u0000\u0000\r]\u0001\u0000\u0000\u0000\u000f`\u0001\u0000\u0000\u0000\u0011b\u0001\u0000\u0000\u0000\u0013d\u0001\u0000\u0000\u0000\u0015f\u0001\u0000\u0000\u0000\u0017h\u0001\u0000\u0000\u0000\u0019u\u0001\u0000\u0000\u0000\u001by\u0001\u0000\u0000\u0000\u001d\u0082\u0001\u0000\u0000\u0000\u001f\u0084\u0001\u0000\u0000\u0000!\u0087\u0001\u0000\u0000\u0000#\u008d\u0001\u0000\u0000\u0000%\u0091\u0001\u0000\u0000\u0000\'\u0094\u0001\u0000\u0000\u0000)\u009d\u0001\u0000\u0000\u0000+\u00a0\u0001\u0000\u0000\u0000-\u00a2\u0001\u0000\u0000\u0000/\u00ad\u0001\u0000\u0000\u00001\u00af\u0001\u0000\u0000\u00003\u00bd\u0001\u0000\u0000\u00005\u00bf\u0001\u0000\u0000\u00007\u00c3\u0001\u0000\u0000\u00009\u00c8\u0001\u0000\u0000\u0000;\u00cb\u0001\u0000\u0000\u0000=\u00d3\u0001\u0000\u0000\u0000?\u00d5\u0001\u0000\u0000\u0000A\u00e5\u0001\u0000\u0000\u0000C\u00e7\u0001\u0000\u0000\u0000E\u0112\u0001\u0000\u0000\u0000G\u0116\u0001\u0000\u0000\u0000I\u0119\u0001\u0000\u0000\u0000K\u011b\u0001\u0000\u0000\u0000M\u011d\u0001\u0000\u0000\u0000O\u0126\u0001\u0000\u0000\u0000QR\u0005(\u0000\u0000R\u0002\u0001\u0000\u0000\u0000ST\u0005)\u0000\u0000T\u0004\u0001\u0000\u0000\u0000UV\u0005[\u0000\u0000V\u0006\u0001\u0000\u0000\u0000WX\u0005]\u0000\u0000X\b\u0001\u0000\u0000\u0000YZ\u0005{\u0000\u0000Z\n\u0001\u0000\u0000\u0000[\\\u0005}\u0000\u0000\\\f\u0001\u0000\u0000\u0000]^\u0005#\u0000\u0000^_\u0005_\u0000\u0000_\u000e\u0001\u0000\u0000\u0000`a\u0005#\u0000\u0000a\u0010\u0001\u0000\u0000\u0000bc\u0005@\u0000\u0000c\u0012\u0001\u0000\u0000\u0000de\u0005^\u0000\u0000e\u0014\u0001\u0000\u0000\u0000fg\u0005/\u0000\u0000g\u0016\u0001\u0000\u0000\u0000hi\u0005n\u0000\u0000ij\u0005i\u0000\u0000jk\u0005l\u0000\u0000k\u0018\u0001\u0000\u0000\u0000lm\u0005t\u0000\u0000mn\u0005r\u0000\u0000no\u0005u\u0000\u0000ov\u0005e\u0000\u0000pq\u0005f\u0000\u0000qr\u0005a\u0000\u0000rs\u0005l\u0000\u0000st\u0005s\u0000\u0000tv\u0005e\u0000\u0000ul\u0001\u0000\u0000\u0000up\u0001\u0000\u0000\u0000v\u001a\u0001\u0000\u0000\u0000wz\u0003#\u0011\u0000xz\u0003%\u0012\u0000yw\u0001\u0000\u0000\u0000yx\u0001\u0000\u0000\u0000z{\u0001\u0000\u0000\u0000{|\u0003\u001d\u000e\u0000|\u001c\u0001\u0000\u0000\u0000}~\u0003\u001f\u000f\u0000~\u007f\u0003!\u0010\u0000\u007f\u0083\u0001\u0000\u0000\u0000\u0080\u0083\u0003\u001f\u000f\u0000\u0081\u0083\u0003!\u0010\u0000\u0082}\u0001\u0000\u0000\u0000\u0082\u0080\u0001\u0000\u0000\u0000\u0082\u0081\u0001\u0000\u0000\u0000\u0083\u001e\u0001\u0000\u0000\u0000\u0084\u0085\u0005.\u0000\u0000\u0085\u0086\u0003#\u0011\u0000\u0086 \u0001\u0000\u0000\u0000\u0087\u008a\u0007\u0000\u0000\u0000\u0088\u008b\u0003#\u0011\u0000\u0089\u008b\u0003%\u0012\u0000\u008a\u0088\u0001\u0000\u0000\u0000\u008a\u0089\u0001\u0000\u0000\u0000\u008b\"\u0001\u0000\u0000\u0000\u008c\u008e\u0007\u0001\u0000\u0000\u008d\u008c\u0001\u0000\u0000\u0000\u008e\u008f\u0001\u0000\u0000\u0000\u008f\u008d\u0001\u0000\u0000\u0000\u008f\u0090\u0001\u0000\u0000\u0000\u0090$\u0001\u0000\u0000\u0000\u0091\u0092\u0005-\u0000\u0000\u0092\u0093\u0003#\u0011\u0000\u0093&\u0001\u0000\u0000\u0000\u0094\u0095\u00050\u0000\u0000\u0095\u0096\u0005x\u0000\u0000\u0096\u009a\u0001\u0000\u0000\u0000\u0097\u0099\u0003+\u0015\u0000\u0098\u0097\u0001\u0000\u0000\u0000\u0099\u009c\u0001\u0000\u0000\u0000\u009a\u0098\u0001\u0000\u0000\u0000\u009a\u009b\u0001\u0000\u0000\u0000\u009b(\u0001\u0000\u0000\u0000\u009c\u009a\u0001\u0000\u0000\u0000\u009d\u009e\u0003+\u0015\u0000\u009e\u009f\u0003+\u0015\u0000\u009f*\u0001\u0000\u0000\u0000\u00a0\u00a1\u0007\u0002\u0000\u0000\u00a1,\u0001\u0000\u0000\u0000\u00a2\u00a6\u0005\"\u0000\u0000\u00a3\u00a5\u0003/\u0017\u0000\u00a4\u00a3\u0001\u0000\u0000\u0000\u00a5\u00a8\u0001\u0000\u0000\u0000\u00a6\u00a4\u0001\u0000\u0000\u0000\u00a6\u00a7\u0001\u0000\u0000\u0000\u00a7\u00a9\u0001\u0000\u0000\u0000\u00a8\u00a6\u0001\u0000\u0000\u0000\u00a9\u00aa\u0005\"\u0000\u0000\u00aa.\u0001\u0000\u0000\u0000\u00ab\u00ae\b\u0003\u0000\u0000\u00ac\u00ae\u00031\u0018\u0000\u00ad\u00ab\u0001\u0000\u0000\u0000\u00ad\u00ac\u0001\u0000\u0000\u0000\u00ae0\u0001\u0000\u0000\u0000\u00af\u00b3\u0005\\\u0000\u0000\u00b0\u00b4\u0007\u0004\u0000\u0000\u00b1\u00b4\u00033\u0019\u0000\u00b2\u00b4\u00035\u001a\u0000\u00b3\u00b0\u0001\u0000\u0000\u0000\u00b3\u00b1\u0001\u0000\u0000\u0000\u00b3\u00b2\u0001\u0000\u0000\u0000\u00b42\u0001\u0000\u0000\u0000\u00b5\u00be\u00037\u001b\u0000\u00b6\u00b7\u00037\u001b\u0000\u00b7\u00b8\u00037\u001b\u0000\u00b8\u00be\u0001\u0000\u0000\u0000\u00b9\u00ba\u0007\u0005\u0000\u0000\u00ba\u00bb\u00037\u001b\u0000\u00bb\u00bc\u00037\u001b\u0000\u00bc\u00be\u0001\u0000\u0000\u0000\u00bd\u00b5\u0001\u0000\u0000\u0000\u00bd\u00b6\u0001\u0000\u0000\u0000\u00bd\u00b9\u0001\u0000\u0000\u0000\u00be4\u0001\u0000\u0000\u0000\u00bf\u00c0\u0005u\u0000\u0000\u00c0\u00c1\u0003)\u0014\u0000\u00c1\u00c2\u0003)\u0014\u0000\u00c26\u0001\u0000\u0000\u0000\u00c3\u00c4\u0007\u0006\u0000\u0000\u00c48\u0001\u0000\u0000\u0000\u00c5\u00c9\u0007\u0007\u0000\u0000\u00c6\u00c7\u0005~\u0000\u0000\u00c7\u00c9\u0005@\u0000\u0000\u00c8\u00c5\u0001\u0000\u0000\u0000\u00c8\u00c6\u0001\u0000\u0000\u0000\u00c9:\u0001\u0000\u0000\u0000\u00ca\u00cc\u0005:\u0000\u0000\u00cb\u00ca\u0001\u0000\u0000\u0000\u00cc\u00cd\u0001\u0000\u0000\u0000\u00cd\u00cb\u0001\u0000\u0000\u0000\u00cd\u00ce\u0001\u0000\u0000\u0000\u00ce\u00d1\u0001\u0000\u0000\u0000\u00cf\u00d2\u0003\u0015\n\u0000\u00d0\u00d2\u0003?\u001f\u0000\u00d1\u00cf\u0001\u0000\u0000\u0000\u00d1\u00d0\u0001\u0000\u0000\u0000\u00d2<\u0001\u0000\u0000\u0000\u00d3\u00d4\u0003?\u001f\u0000\u00d4>\u0001\u0000\u0000\u0000\u00d5\u00d9\u0003E\"\u0000\u00d6\u00d8\u0003G#\u0000\u00d7\u00d6\u0001\u0000\u0000\u0000\u00d8\u00db\u0001\u0000\u0000\u0000\u00d9\u00d7\u0001\u0000\u0000\u0000\u00d9\u00da\u0001\u0000\u0000\u0000\u00da@\u0001\u0000\u0000\u0000\u00db\u00d9\u0001\u0000\u0000\u0000\u00dc\u00dd\u0005\\\u0000\u0000\u00dd\u00de\u0005u\u0000\u0000\u00de\u00df\u0001\u0000\u0000\u0000\u00df\u00e0\u0003)\u0014\u0000\u00e0\u00e1\u0003)\u0014\u0000\u00e1\u00e6\u0001\u0000\u0000\u0000\u00e2\u00e3\u0005\\\u0000\u0000\u00e3\u00e6\t\u0000\u0000\u0000\u00e4\u00e6\u0003C!\u0000\u00e5\u00dc\u0001\u0000\u0000\u0000\u00e5\u00e2\u0001\u0000\u0000\u0000\u00e5\u00e4\u0001\u0000\u0000\u0000\u00e6B\u0001\u0000\u0000\u0000\u00e7\u010e\u0005\\\u0000\u0000\u00e8\u00e9\u0005n\u0000\u0000\u00e9\u00ea\u0005e\u0000\u0000\u00ea\u00eb\u0005w\u0000\u0000\u00eb\u00ec\u0005l\u0000\u0000\u00ec\u00ed\u0005i\u0000\u0000\u00ed\u00ee\u0005n\u0000\u0000\u00ee\u010f\u0005e\u0000\u0000\u00ef\u00f0\u0005r\u0000\u0000\u00f0\u00f1\u0005e\u0000\u0000\u00f1\u00f2\u0005t\u0000\u0000\u00f2\u00f3\u0005u\u0000\u0000\u00f3\u00f4\u0005r\u0000\u0000\u00f4\u010f\u0005n\u0000\u0000\u00f5\u00f6\u0005s\u0000\u0000\u00f6\u00f7\u0005p\u0000\u0000\u00f7\u00f8\u0005a\u0000\u0000\u00f8\u00f9\u0005c\u0000\u0000\u00f9\u010f\u0005e\u0000\u0000\u00fa\u00fb\u0005t\u0000\u0000\u00fb\u00fc\u0005a\u0000\u0000\u00fc\u010f\u0005b\u0000\u0000\u00fd\u00fe\u0005f\u0000\u0000\u00fe\u00ff\u0005o\u0000\u0000\u00ff\u0100\u0005r\u0000\u0000\u0100\u0101\u0005m\u0000\u0000\u0101\u0102\u0005f\u0000\u0000\u0102\u0103\u0005e\u0000\u0000\u0103\u0104\u0005e\u0000\u0000\u0104\u010f\u0005d\u0000\u0000\u0105\u0106\u0005b\u0000\u0000\u0106\u0107\u0005a\u0000\u0000\u0107\u0108\u0005c\u0000\u0000\u0108\u0109\u0005k\u0000\u0000\u0109\u010a\u0005s\u0000\u0000\u010a\u010b\u0005p\u0000\u0000\u010b\u010c\u0005a\u0000\u0000\u010c\u010d\u0005c\u0000\u0000\u010d\u010f\u0005e\u0000\u0000\u010e\u00e8\u0001\u0000\u0000\u0000\u010e\u00ef\u0001\u0000\u0000\u0000\u010e\u00f5\u0001\u0000\u0000\u0000\u010e\u00fa\u0001\u0000\u0000\u0000\u010e\u00fd\u0001\u0000\u0000\u0000\u010e\u0105\u0001\u0000\u0000\u0000\u010fD\u0001\u0000\u0000\u0000\u0110\u0113\u0003I$\u0000\u0111\u0113\u0007\b\u0000\u0000\u0112\u0110\u0001\u0000\u0000\u0000\u0112\u0111\u0001\u0000\u0000\u0000\u0113F\u0001\u0000\u0000\u0000\u0114\u0117\u0003E\"\u0000\u0115\u0117\u0007\t\u0000\u0000\u0116\u0114\u0001\u0000\u0000\u0000\u0116\u0115\u0001\u0000\u0000\u0000\u0117H\u0001\u0000\u0000\u0000\u0118\u011a\u0007\n\u0000\u0000\u0119\u0118\u0001\u0000\u0000\u0000\u011aJ\u0001\u0000\u0000\u0000\u011b\u011c\u0007\u000b\u0000\u0000\u011cL\u0001\u0000\u0000\u0000\u011d\u0121\u0005;\u0000\u0000\u011e\u0120\b\f\u0000\u0000\u011f\u011e\u0001\u0000\u0000\u0000\u0120\u0123\u0001\u0000\u0000\u0000\u0121\u011f\u0001\u0000\u0000\u0000\u0121\u0122\u0001\u0000\u0000\u0000\u0122N\u0001\u0000\u0000\u0000\u0123\u0121\u0001\u0000\u0000\u0000\u0124\u0127\u0003K%\u0000\u0125\u0127\u0003M&\u0000\u0126\u0124\u0001\u0000\u0000\u0000\u0126\u0125\u0001\u0000\u0000\u0000\u0127\u0128\u0001\u0000\u0000\u0000\u0128\u0129\u0006\'\u0000\u0000\u0129P\u0001\u0000\u0000\u0000\u0016\u0000uy\u0082\u008a\u008f\u009a\u00a6\u00ad\u00b3\u00bd\u00c8\u00cd\u00d1\u00d9\u00e5\u010e\u0112\u0116\u0119\u0121\u0126\u0001\u0000\u0001\u0000"
    public static final int
    9
    public static final int
    17
    public static final int
    13
    public static final int
    22
    public static final int
    7
    public static final int
    15
    public static final int
    14
    public static final int
    8
    public static final int
    20
    public static final int
    10
    public static final int
    12
    public static final int
    19
    public static final int
    16
    public static final int
    11
    public static final int
    18
    public static final int
    21
    public static final int
    1
    public static final int
    2
    public static final int
    3
    public static final int
    4
    public static final int
    5
    public static final int
    6
    public static final int
    23
  • convex.core.lang.reader.antlr.ConvexParser
    Modifier and Type
    Constant Field
    Value
    public static final String
    "\u0004\u0001\u0017\u00ac\u0002\u0000\u0007\u0000\u0002\u0001\u0007\u0001\u0002\u0002\u0007\u0002\u0002\u0003\u0007\u0003\u0002\u0004\u0007\u0004\u0002\u0005\u0007\u0005\u0002\u0006\u0007\u0006\u0002\u0007\u0007\u0007\u0002\b\u0007\b\u0002\t\u0007\t\u0002\n\u0007\n\u0002\u000b\u0007\u000b\u0002\f\u0007\f\u0002\r\u0007\r\u0002\u000e\u0007\u000e\u0002\u000f\u0007\u000f\u0002\u0010\u0007\u0010\u0002\u0011\u0007\u0011\u0002\u0012\u0007\u0012\u0002\u0013\u0007\u0013\u0002\u0014\u0007\u0014\u0002\u0015\u0007\u0015\u0002\u0016\u0007\u0016\u0002\u0017\u0007\u0017\u0002\u0018\u0007\u0018\u0002\u0019\u0007\u0019\u0002\u001a\u0007\u001a\u0002\u001b\u0007\u001b\u0002\u001c\u0007\u001c\u0001\u0000\u0001\u0000\u0001\u0000\u0003\u0000>\b\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0003\u0001D\b\u0001\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0003\u0001\u0003\u0005\u0003K\b\u0003\n\u0003\f\u0003N\t\u0003\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0003\u0005W\b\u0005\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\b\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001\t\u0001\n\u0001\n\u0001\n\u0003\nm\b\n\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0001\u000b\u0003\u000bz\b\u000b\u0001\f\u0001\f\u0001\r\u0001\r\u0001\u000e\u0001\u000e\u0001\u000f\u0001\u000f\u0001\u000f\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0011\u0001\u0011\u0001\u0011\u0001\u0012\u0001\u0012\u0001\u0013\u0001\u0013\u0001\u0014\u0001\u0014\u0001\u0015\u0001\u0015\u0001\u0016\u0001\u0016\u0001\u0017\u0001\u0017\u0001\u0017\u0001\u0018\u0001\u0018\u0001\u0018\u0004\u0018\u009c\b\u0018\u000b\u0018\f\u0018\u009d\u0001\u0019\u0001\u0019\u0001\u0019\u0001\u0019\u0001\u001a\u0001\u001a\u0001\u001a\u0001\u001b\u0001\u001b\u0001\u001c\u0001\u001c\u0001\u001c\u0001\u001c\u0000\u0000\u001d\u0000\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u001e \"$&(*,.02468\u0000\u0002\u0001\u0000\u000f\u0010\u0002\u0000\u000b\u000b\u0015\u0015\u00a5\u0000=\u0001\u0000\u0000\u0000\u0002C\u0001\u0000\u0000\u0000\u0004E\u0001\u0000\u0000\u0000\u0006L\u0001\u0000\u0000\u0000\bO\u0001\u0000\u0000\u0000\nV\u0001\u0000\u0000\u0000\fX\u0001\u0000\u0000\u0000\u000e\\\u0001\u0000\u0000\u0000\u0010`\u0001\u0000\u0000\u0000\u0012e\u0001\u0000\u0000\u0000\u0014l\u0001\u0000\u0000\u0000\u0016y\u0001\u0000\u0000\u0000\u0018{\u0001\u0000\u0000\u0000\u001a}\u0001\u0000\u0000\u0000\u001c\u007f\u0001\u0000\u0000\u0000\u001e\u0081\u0001\u0000\u0000\u0000 \u0084\u0001\u0000\u0000\u0000\"\u0088\u0001\u0000\u0000\u0000$\u008b\u0001\u0000\u0000\u0000&\u008d\u0001\u0000\u0000\u0000(\u008f\u0001\u0000\u0000\u0000*\u0091\u0001\u0000\u0000\u0000,\u0093\u0001\u0000\u0000\u0000.\u0095\u0001\u0000\u0000\u00000\u0098\u0001\u0000\u0000\u00002\u009f\u0001\u0000\u0000\u00004\u00a3\u0001\u0000\u0000\u00006\u00a6\u0001\u0000\u0000\u00008\u00a8\u0001\u0000\u0000\u0000:>\u00034\u001a\u0000;>\u00030\u0018\u0000<>\u0003\u0002\u0001\u0000=:\u0001\u0000\u0000\u0000=;\u0001\u0000\u0000\u0000=<\u0001\u0000\u0000\u0000>\u0001\u0001\u0000\u0000\u0000?D\u0003\n\u0005\u0000@D\u00032\u0019\u0000AD\u0003.\u0017\u0000BD\u0003\u0014\n\u0000C?\u0001\u0000\u0000\u0000C@\u0001\u0000\u0000\u0000CA\u0001\u0000\u0000\u0000CB\u0001\u0000\u0000\u0000D\u0003\u0001\u0000\u0000\u0000EF\u0003\u0000\u0000\u0000FG\u0005\u0000\u0000\u0001G\u0005\u0001\u0000\u0000\u0000HK\u0003\u0000\u0000\u0000IK\u00038\u001c\u0000JH\u0001\u0000\u0000\u0000JI\u0001\u0000\u0000\u0000KN\u0001\u0000\u0000\u0000LJ\u0001\u0000\u0000\u0000LM\u0001\u0000\u0000\u0000M\u0007\u0001\u0000\u0000\u0000NL\u0001\u0000\u0000\u0000OP\u0003\u0006\u0003\u0000PQ\u0005\u0000\u0000\u0001Q\t\u0001\u0000\u0000\u0000RW\u0003\f\u0006\u0000SW\u0003\u000e\u0007\u0000TW\u0003\u0010\b\u0000UW\u0003\u0012\t\u0000VR\u0001\u0000\u0000\u0000VS\u0001\u0000\u0000\u0000VT\u0001\u0000\u0000\u0000VU\u0001\u0000\u0000\u0000W\u000b\u0001\u0000\u0000\u0000XY\u0005\u0001\u0000\u0000YZ\u0003\u0006\u0003\u0000Z[\u0005\u0002\u0000\u0000[\r\u0001\u0000\u0000\u0000\\]\u0005\u0003\u0000\u0000]^\u0003\u0006\u0003\u0000^_\u0005\u0004\u0000\u0000_\u000f\u0001\u0000\u0000\u0000`a\u0005\b\u0000\u0000ab\u0005\u0005\u0000\u0000bc\u0003\u0006\u0003\u0000cd\u0005\u0006\u0000\u0000d\u0011\u0001\u0000\u0000\u0000ef\u0005\u0005\u0000\u0000fg\u0003\u0006\u0003\u0000gh\u0005\u0006\u0000\u0000h\u0013\u0001\u0000\u0000\u0000im\u0003\u001c\u000e\u0000jm\u0003\u0016\u000b\u0000km\u0003\u001e\u000f\u0000li\u0001\u0000\u0000\u0000lj\u0001\u0000\u0000\u0000lk\u0001\u0000\u0000\u0000m\u0015\u0001\u0000\u0000\u0000nz\u0003$\u0012\u0000oz\u0003(\u0014\u0000pz\u0003&\u0013\u0000qz\u0003*\u0015\u0000rz\u0003,\u0016\u0000sz\u0003\u001c\u000e\u0000tz\u0003\"\u0011\u0000uz\u00036\u001b\u0000vz\u0003\u0018\f\u0000wz\u0003\u001a\r\u0000xz\u0003 \u0010\u0000yn\u0001\u0000\u0000\u0000yo\u0001\u0000\u0000\u0000yp\u0001\u0000\u0000\u0000yq\u0001\u0000\u0000\u0000yr\u0001\u0000\u0000\u0000ys\u0001\u0000\u0000\u0000yt\u0001\u0000\u0000\u0000yu\u0001\u0000\u0000\u0000yv\u0001\u0000\u0000\u0000yw\u0001\u0000\u0000\u0000yx\u0001\u0000\u0000\u0000z\u0017\u0001\u0000\u0000\u0000{|\u0007\u0000\u0000\u0000|\u0019\u0001\u0000\u0000\u0000}~\u0005\u000e\u0000\u0000~\u001b\u0001\u0000\u0000\u0000\u007f\u0080\u0007\u0001\u0000\u0000\u0080\u001d\u0001\u0000\u0000\u0000\u0081\u0082\u0005\b\u0000\u0000\u0082\u0083\u0005\u0015\u0000\u0000\u0083\u001f\u0001\u0000\u0000\u0000\u0084\u0085\u0005\b\u0000\u0000\u0085\u0086\u0005\b\u0000\u0000\u0086\u0087\u0005\u0015\u0000\u0000\u0087!\u0001\u0000\u0000\u0000\u0088\u0089\u0005\b\u0000\u0000\u0089\u008a\u0005\u000f\u0000\u0000\u008a#\u0001\u0000\u0000\u0000\u008b\u008c\u0005\f\u0000\u0000\u008c%\u0001\u0000\u0000\u0000\u008d\u008e\u0005\u0011\u0000\u0000\u008e\'\u0001\u0000\u0000\u0000\u008f\u0090\u0005\r\u0000\u0000\u0090)\u0001\u0000\u0000\u0000\u0091\u0092\u0005\u0016\u0000\u0000\u0092+\u0001\u0000\u0000\u0000\u0093\u0094\u0005\u0014\u0000\u0000\u0094-\u0001\u0000\u0000\u0000\u0095\u0096\u0005\t\u0000\u0000\u0096\u0097\u0003\u001c\u000e\u0000\u0097/\u0001\u0000\u0000\u0000\u0098\u009b\u0003\u0002\u0001\u0000\u0099\u009a\u0005\u000b\u0000\u0000\u009a\u009c\u0003\u001c\u000e\u0000\u009b\u0099\u0001\u0000\u0000\u0000\u009c\u009d\u0001\u0000\u0000\u0000\u009d\u009b\u0001\u0000\u0000\u0000\u009d\u009e\u0001\u0000\u0000\u0000\u009e1\u0001\u0000\u0000\u0000\u009f\u00a0\u0005\n\u0000\u0000\u00a0\u00a1\u0003\u0000\u0000\u0000\u00a1\u00a2\u0003\u0000\u0000\u0000\u00a23\u0001\u0000\u0000\u0000\u00a3\u00a4\u0005\u0013\u0000\u0000\u00a4\u00a5\u0003\u0000\u0000\u0000\u00a55\u0001\u0000\u0000\u0000\u00a6\u00a7\u0005\u0012\u0000\u0000\u00a77\u0001\u0000\u0000\u0000\u00a8\u00a9\u0005\u0007\u0000\u0000\u00a9\u00aa\u0003\u0000\u0000\u0000\u00aa9\u0001\u0000\u0000\u0000\b=CJLVly\u009d"
    public static final int
    9
    public static final int
    17
    public static final int
    13
    public static final int
    22
    public static final int
    7
    public static final int
    15
    public static final int
    14
    public static final int
    8
    public static final int
    20
    public static final int
    10
    public static final int
    12
    public static final int
    19
    public static final int
    17
    public static final int
    4
    public static final int
    10
    public static final int
    19
    public static final int
    20
    public static final int
    21
    public static final int
    28
    public static final int
    5
    public static final int
    13
    public static final int
    0
    public static final int
    3
    public static final int
    15
    public static final int
    22
    public static final int
    6
    public static final int
    11
    public static final int
    12
    public static final int
    9
    public static final int
    18
    public static final int
    24
    public static final int
    1
    public static final int
    26
    public static final int
    23
    public static final int
    8
    public static final int
    2
    public static final int
    16
    public static final int
    27
    public static final int
    14
    public static final int
    25
    public static final int
    7
    public static final int
    16
    public static final int
    11
    public static final int
    18
    public static final int
    21
    public static final int
    1
    public static final int
    2
    public static final int
    3
    public static final int
    4
    public static final int
    5
    public static final int
    6
    public static final int
    23
  • convex.core.transactions.ATransaction
    Modifier and Type
    Constant Field
    Value
    public static final long
    0L
  • convex.core.transactions.Call
    Modifier and Type
    Constant Field
    Value
    public static final long
    0L
  • convex.core.transactions.Multi
    Modifier and Type
    Constant Field
    Value
    public static final int
    1
    public static final int
    0
    public static final int
    2
    public static final int
    3
  • convex.core.util.Shutdown
    Modifier and Type
    Constant Field
    Value
    public static final int
    120
    public static final int
    60
    public static final int
    100
    public static final int
    110
    public static final int
    80

convex.dlfs.*

convex.etch.*