Constant Field Values

Contents

• convex.core.*
• convex.dlfs.*
• convex.etch.*

convex.core.*

convex.core.Coin

Modifier and Type	Constant Field	Value
public static final long	BRONZE	1000L
public static final long	COPPER	1L
public static final int	DECIMALS	9
public static final long	DIAMOND	1000000000000L
public static final long	EMERALD	1000000000000000L
public static final long	GOLD	1000000000L
public static final long	MAX_SUPPLY	1000000000000000000L
public static final long	SILVER	1000000L
public static final long	ZERO	0L

convex.core.Constants

Modifier and Type	Constant Field	Value
public static final char	BAD_CHARACTER	'\ufffd'
public static final int	CHAIN_CODE	864
public static final String	DEFAULT_BIP39_PATH	"m/44/864/0/0/0"
public static final String	DEFAULT_KEYSTORE_FILENAME	"~/.convex/keystore.pfx"
public static final int	DEFAULT_PEER_PORT	18888
public static final boolean	ETCH_DELETE_TEMP_ON_EXIT	true
public static final int	HASH_LENGTH	32
public static final long	INITIAL_FEES	0L
public static final long	INITIAL_JUICE_PRICE	10L
public static final long	INITIAL_MEMORY_POOL	1000000L
public static final long	INITIAL_MEMORY_PRICE	1000000L
public static final long	INITIAL_SEQUENCE	0L
public static final int	KEY_LENGTH	32
public static final int	LOOKUP_DEPTH	16
public static final int	MAX_BIG_INTEGER_LENGTH	4096
public static final int	MAX_DEPTH	256
public static final int	MAX_NAME_LENGTH	128
public static final long	MAX_SUPPLY	1000000000000000000L
public static final long	MAX_TRANSACTION_JUICE	10000000L
public static final int	MAX_TRANSACTIONS_PER_BLOCK	1024
public static final long	MEMORY_OVERHEAD	64L
public static final long	MEMORY_POOL_GROWTH	40000L
public static final long	MEMORY_POOL_GROWTH_INTERVAL	3600000L
public static final boolean	OMIT_VALIDATION_STACKTRACES	false
public static final boolean	OPT_STATIC	true
public static final int	PBE_ITERATIONS	100000
public static final String	PRINT_EXCEEDED_STRING	"<<Print limit exceeded>>"
public static final long	PRINT_LIMIT	65536L

convex.core.cpos.CPoSConstants

Modifier and Type	Constant Field	Value
public static final int	CONSENSUS_LEVEL_CONSENSUS	2
public static final int	CONSENSUS_LEVEL_FINALITY	3
public static final int	CONSENSUS_LEVEL_PROPOSAL	1
public static final int	CONSENSUS_LEVELS	4
public static final double	CONSENSUS_THRESHOLD	0.67
public static final boolean	ENABLE_FORK_RECOVERY	false
public static final long	INITIAL_ACCOUNT_ALLOWANCE	10000L
public static final long	INITIAL_PEER_TIMESTAMP	-1L
public static final long	KEEP_PROPOSAL_TIME	100L
public static final long	MAX_BLOCK_BACKDATE	900000L
public static final long	MAX_MESSAGE_LENGTH	50000000L
public static final long	MAX_REWARD_TIME	600000L
public static final long	MAX_SCHEDULED_TRANSACTIONS_PER_BLOCK	100L
public static final long	MINIMUM_EFFECTIVE_STAKE	1000000000000L
public static final int	MISSING_LIMIT	254
public static final double	PEER_DECAY_DELAY	180000.0
public static final double	PEER_DECAY_MINIMUM	0.001
public static final double	PEER_DECAY_TIME	300000.0
public static final double	PROPOSAL_THRESHOLD	0.67

convex.core.crypto.AKeyPair

Modifier and Type	Constant Field	Value
protected static final String	ED25519	"Ed25519"
public static final int	SEED_LENGTH	32

convex.core.crypto.BIP39

Modifier and Type	Constant Field	Value
public static final int	BITS_PER_WORD	11
public static final String	DEMO_PASS	"hello1234567890ZZ"
public static final String	DEMO_PHRASE	"sing bomb stay manual powder hard north mixture sausage lunch retreat desert"
public static final int	MIN_WORDS	3
public static final int	SEED_LENGTH	64

convex.core.crypto.Ed25519Signature

Modifier and Type	Constant Field	Value
public static final int	SIGNATURE_LENGTH	64

convex.core.crypto.Encoding

Modifier and Type	Constant Field	Value
public static final String	PRIVATE_KEY_FORMAT	"PKCS#8"

convex.core.crypto.PFXTools

Modifier and Type	Constant Field	Value
public static final String	KEYSTORE_TYPE	"PKCS12"

convex.core.crypto.wallet.PKCS12Wallet

Modifier and Type	Constant Field	Value
public static final String	KEYSTORE_TYPE	"pkcs12"

convex.core.cvm.Address

Modifier and Type	Constant Field	Value
public static final int	LENGTH	8
public static final int	MAX_ENCODING_LENGTH	10

convex.core.cvm.CVMTag

Modifier and Type	Constant Field	Value
public static final byte	ACCOUNT_STATUS	0xd8
public static final byte	ADDRESS	0xea
public static final byte	BELIEF	0xd4
public static final byte	BLOCK	0xd6
public static final byte	BLOCK_RESULT	0xde
public static final byte	CALL	0xd2
public static final byte	CORE_DEF	0xed
public static final byte	FALSE	0xb0
public static final byte	FN	0xdf
public static final byte	FN_NORMAL	0xb0
public static final byte	INVOKE	0xd0
public static final byte	MULTI	0xd3
public static final byte	OP_CODED	0xc0
public static final byte	OP_COND	0xdc
public static final byte	OP_DEF	0xcd
public static final byte	OP_DO	0xda
public static final byte	OP_INVOKE	0xdb
public static final byte	OP_LET	0xc2
public static final byte	OP_LOCAL	0xe6
public static final byte	OP_LOOKUP	0xc1
public static final byte	OP_LOOP	0xc3
public static final byte	OP_SPECIAL	0xe5
public static final byte	OPCODE_CONSTANT	0xb0
public static final byte	OPCODE_LAMBDA	0xbf
public static final byte	OPCODE_QUERY	0xbb
public static final byte	OPCODE_TRY	0xba
public static final byte	ORDER	0xd7
public static final byte	PEER_STATUS	0xd9
public static final byte	RESULT	0xdd
public static final byte	STATE	0xd5
public static final byte	SYNTAX	0x88
public static final byte	TRANSFER	0xd1
public static final byte	TRUE	0xb1

convex.core.cvm.Juice

Modifier and Type	Constant Field	Value
public static final long	ACCEPT	200L
public static final long	ADDRESS	20L
public static final long	APPLY	50L
public static final long	ARITHMETIC	20L
public static final long	ASSOC	150L
public static final long	BALANCE	50L
public static final long	BLOB	20L
public static final long	BUILD_DATA	50L
public static final long	BUILD_PER_BYTE	1L
public static final long	BUILD_PER_ELEMENT	50L
public static final long	CALL_OP	100L
public static final long	CHEAP_OP	10L
public static final long	COMPILE_CONSTANT	30L
public static final long	COMPILE_LOOKUP	50L
public static final long	COMPILE_LOOKUP_CORE	50L
public static final long	COMPILE_LOOKUP_DEFINED	65L
public static final long	COMPILE_LOOKUP_UNDEFINED	50L
public static final long	COMPILE_NODE	200L
public static final long	COND_OP	20L
public static final long	CONSTANT	5L
public static final long	CORE	5L
public static final long	CREATE_ACCOUNT	100L
public static final long	DEF	100L
public static final long	DEPLOY_CONTRACT	1000L
public static final long	DO	5L
public static final long	EQUALS	20L
public static final long	EVAL	500L
public static final long	EXPAND_CONSTANT	40L
public static final long	EXPAND_SEQUENCE	100L
public static final long	GET	30L
public static final long	HASH	1000L
public static final long	HASH_PER_BYTE	20L
public static final long	KEYWORD	20L
public static final long	LAMBDA	100L
public static final long	LET	30L
public static final long	LOG	1000L
public static final long	LOOKUP	15L
public static final long	LOOKUP_DYNAMIC	40L
public static final long	LOOKUP_SYM	45L
public static final long	MAP	100L
public static final int	MEMORY_TRADE	200
public static final long	META	10L
public static final long	NUMERIC_COMPARE	10L
public static final long	PEER_UPDATE	1000L
public static final long	QUERY	10L
public static final long	RECUR	30L
public static final long	REDUCE	100L
public static final long	RETURN	20L
public static final long	SCHEDULE	800L
public static final long	SCHEDULE_MILLIS_PER_JUICE_UNIT	360000L
public static final long	SET_BANG	20L
public static final long	SET_COMPARE_PER_ELEMENT	10L
public static final long	SIMPLE_FN	20L
public static final long	SPECIAL	10L
public static final long	STR	20L
public static final long	SUB_TRANSACTION	100L
public static final long	SYMBOL	20L
public static final long	SYNTAX	20L
public static final long	TRANSACTION	500L
public static final long	TRANSACTION_PER_BYTE	20L
public static final long	TRANSFER	200L
public static final long	TRY	50L

convex.core.cvm.Log

Modifier and Type	Constant Field	Value
public static final int	ENTRY_LENGTH	4
public static final int	P_ADDRESS	0
public static final int	P_LOCATION	2
public static final int	P_SCOPE	1
public static final int	P_VALUES	3

convex.core.cvm.Ops

Modifier and Type	Constant Field	Value
public static final int	OP_DATA_OFFSET	2

convex.core.cvm.State

Modifier and Type	Constant Field	Value
public static final int	GLOBAL_BLOCK	5
public static final int	GLOBAL_FEES	1
public static final int	GLOBAL_JUICE_PRICE	2
public static final int	GLOBAL_MEMORY_CVX	4
public static final int	GLOBAL_MEMORY_MEM	3
public static final int	GLOBAL_PROTOCOL	6
public static final int	GLOBAL_TIMESTAMP	0

convex.core.cvm.Symbols

Modifier and Type	Constant Field	Value
public static final char	SPECIAL_STAR	'*'

convex.core.cvm.ops.Special<T>

Modifier and Type	Constant Field	Value
public static final int	BASE	0
public static final int	NUM_SPECIALS	25

convex.core.cvm.transactions.ATransaction

Modifier and Type	Constant Field	Value
protected static final int	IX_ORIGIN	0
protected static final int	IX_SEQUENCE	1
public static final long	UNKNOWN_SEQUENCE	0L

convex.core.cvm.transactions.Call

Modifier and Type	Constant Field	Value
public static final long	DEFAULT_OFFER	0L

convex.core.cvm.transactions.Multi

Modifier and Type	Constant Field	Value
protected static final int	IX_MODE	2
protected static final int	IX_TXS	3
public static final int	MODE_ALL	1
public static final int	MODE_ANY	0
public static final int	MODE_FIRST	2
public static final int	MODE_UNTIL	3

convex.core.data.AccountKey

Modifier and Type	Constant Field	Value
public static final int	LENGTH	32
public static final int	LENGTH_BITS	256

convex.core.data.AEncoder<T>

Modifier and Type	Constant Field	Value
public static final int	FORMAT_V1	1

convex.core.data.AExtensionValue

Modifier and Type	Constant Field	Value
protected static final int	BYTE_LENGTH	8

convex.core.data.AHashSet<T>

Modifier and Type	Constant Field	Value
protected static final int	MAX_SHIFT	63
protected static final int	OP_DIFF_LEFT	3
protected static final int	OP_DIFF_RIGHT	4
protected static final int	OP_INTERSECTION	2
protected static final int	OP_UNION	1

convex.core.data.Blob

Modifier and Type	Constant Field	Value
public static final int	CHUNK_LENGTH	4096

convex.core.data.BlobTree

Modifier and Type	Constant Field	Value
public static final int	BIT_SHIFT_PER_LEVEL	4
public static final int	FANOUT	16
public static final int	MAX_ENCODING_SIZE	645

convex.core.data.Cells

Modifier and Type	Constant Field	Value
public static final int	MAX_BRANCH_COUNT	68

convex.core.data.Format

Modifier and Type	Constant Field	Value
public static final long	FULL_EMBEDDED_MEMORY_SIZE	0L
public static final int	LIMIT_ENCODING_LENGTH	16383
public static final int	MAX_EMBEDDED_LENGTH	140
public static final int	MAX_REF_COUNT	63
public static final int	MAX_VLQ_COUNT_LENGTH	9
public static final int	MAX_VLQ_LONG_LENGTH	10
public static final int	NULL_ENCODING_LENGTH	1

convex.core.data.Hash

Modifier and Type	Constant Field	Value
public static final int	HEX_LENGTH	64
public static final int	LENGTH	32

convex.core.data.Keyword

Modifier and Type	Constant Field	Value
public static final int	MAX_CHARS	128
public static final int	MIN_CHARS	1

convex.core.data.MapLeaf<K,V>

Modifier and Type	Constant Field	Value
public static final int	MAX_ENTRIES	15

convex.core.data.Ref<T>

Modifier and Type	Constant Field	Value
public static final int	ANNOUNCED	4
public static final int	BAD_MASK	128
public static final int	EMBEDDING_MASK	48
public static final int	INDIRECT_ENCODING_LENGTH	33
public static final int	INTERNAL	15
public static final int	INTERNAL_FLAGS	79
public static final int	INVALID	-1
public static final int	KNOWN_EMBEDDED_MASK	16
public static final int	MARKED	5
public static final int	MAX_STATUS	4
public static final int	NON_EMBEDDED_MASK	32
public static final int	PERSISTED	3
public static final int	STATUS_MASK	15
public static final int	STORED	1
public static final int	UNKNOWN	0
public static final int	VALID_EMBEDDED_FLAGS	81
public static final int	VALIDATED	2
public static final int	VERIFICATION_MASK	192
public static final int	VERIFIED_MASK	64

convex.core.data.SetLeaf<T>

Modifier and Type	Constant Field	Value
public static final int	MAX_ELEMENTS	15

convex.core.data.Strings

Modifier and Type	Constant Field	Value
public static final byte	EXCESS_BYTE	0xff

convex.core.data.StringShort

Modifier and Type	Constant Field	Value
public static final int	MAX_EMBEDDED_STRING_LENGTH	137
public static final int	MAX_LENGTH	4096

convex.core.data.StringTree

Modifier and Type	Constant Field	Value
public static final int	MAX_ENCODING_LENGTH	645
public static final int	MINIMUM_LENGTH	4097

convex.core.data.Tag

Modifier and Type	Constant Field	Value
public static final byte	BIG_INTEGER	0x19
public static final byte	BLOB	0x31
public static final byte	BYTE_FLAG_BASE	0xb0
public static final byte	BYTE_FLAG_MASK	0xf0
public static final byte	CHAR_ASCII	0x3c
public static final byte	CHAR_BASE	0x3c
public static final byte	CHAR_MASK	0x3c
public static final byte	CODE_BASE	0xc0
public static final byte	DENSE_RECORD_BASE	0xd0
public static final byte	DOUBLE	0x1d
public static final byte	EXTENSION_VALUE_BASE	0xe0
public static final byte	ILLEGAL	0xff
public static final byte	INDEX	0x84
public static final byte	INTEGER	0x10
public static final byte	KEYWORD	0x33
public static final byte	LIST	0x81
public static final byte	MAP	0x82
public static final byte	NULL	0x0
public static final byte	NUMERIC_BASE	0x10
public static final byte	NUMERIC_MASK	0xf0
public static final byte	REF	0x20
public static final byte	SET	0x83
public static final byte	SIGNED_DATA	0x90
public static final byte	SIGNED_DATA_SHORT	0x91
public static final byte	SPARSE_RECORD_BASE	0xa0
public static final byte	STRING	0x30
public static final byte	SYMBOL	0x32
public static final byte	VECTOR	0x80

convex.core.data.VectorLeaf<T>

Modifier and Type	Constant Field	Value
public static final int	MAX_ENCODING_LENGTH	2390
public static final int	MAX_SIZE	16

convex.core.data.Vectors

Modifier and Type	Constant Field	Value
protected static final int	BITMASK	15
protected static final int	BITS_PER_LEVEL	4
public static final int	CHUNK_SIZE	16

convex.core.data.VectorTree<T>

Modifier and Type	Constant Field	Value
public static final int	MAX_EMBEDDED_LENGTH	140
public static final int	MINIMUM_SIZE	32

convex.core.data.prim.AByteFlag

Modifier and Type	Constant Field	Value
public static final int	MAX_ENCODING_LENGTH	1

convex.core.data.prim.CVMBigInteger

Modifier and Type	Constant Field	Value
protected static final long	LONG_BYTELENGTH	8L
protected static final long	MAX_BYTELENGTH	4096L

convex.core.data.prim.CVMBool

Modifier and Type	Constant Field	Value
public static final String	FALSE_STRING	"false"
public static final String	TRUE_STRING	"true"

convex.core.data.prim.CVMChar

Modifier and Type	Constant Field	Value
public static final int	MAX_UTF_BYTES	4

convex.core.data.prim.CVMDouble

Modifier and Type	Constant Field	Value
public static final int	MAX_ENCODING_LENGTH	9

convex.core.data.prim.CVMLong

Modifier and Type	Constant Field	Value
public static final int	MAX_ENCODING_LENGTH	9

convex.core.init.Init

Modifier and Type	Constant Field	Value
public static final int	NUM_GOVERNANCE_ACCOUNTS	8

convex.core.lang.reader.antlr.ConvexLexer

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0004\u0000\u001c\u0180\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\'\u0002(\u0007(\u0002)\u0007)\u0002*\u0007*\u0002+\u0007+\u0002,\u0007,\u0002-\u0007-\u0002.\u0007.\u0002/\u0007/\u00020\u00070\u00021\u00071\u0001\u0000\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\u0005\u0001\u0006\u0001\u0006\u0001\u0007\u0001\u0007\u0001\b\u0001\b\u0001\t\u0001\t\u0001\t\u0001\t\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0001\n\u0003\n\u0087\b\n\u0001\u000b\u0001\u000b\u0003\u000b\u008b\b\u000b\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0001\f\u0001\f\u0001\f\u0003\f\u0094\b\f\u0001\r\u0001\r\u0001\r\u0001\u000e\u0001\u000e\u0001\u000e\u0003\u000e\u009c\b\u000e\u0001\u000e\u0005\u000e\u009f\b\u000e\n\u000e\f\u000e\u00a2\t\u000e\u0001\u000f\u0001\u000f\u0004\u000f\u00a6\b\u000f\u000b\u000f\f\u000f\u00a7\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0010\u0001\u0011\u0001\u0011\u0001\u0011\u0001\u0011\u0001\u0011\u0001\u0012\u0001\u0012\u0001\u0012\u0001\u0013\u0001\u0013\u0001\u0013\u0001\u0013\u0005\u0013\u00bb\b\u0013\n\u0013\f\u0013\u00be\t\u0013\u0001\u0013\u0001\u0013\u0001\u0014\u0001\u0014\u0001\u0014\u0001\u0015\u0001\u0015\u0003\u0015\u00c7\b\u0015\u0001\u0016\u0004\u0016\u00ca\b\u0016\u000b\u0016\f\u0016\u00cb\u0001\u0017\u0001\u0017\u0001\u0017\u0001\u0018\u0001\u0018\u0001\u0018\u0001\u0018\u0005\u0018\u00d5\b\u0018\n\u0018\f\u0018\u00d8\t\u0018\u0001\u0019\u0001\u0019\u0001\u0019\u0001\u001a\u0001\u001a\u0001\u001b\u0001\u001b\u0001\u001c\u0001\u001c\u0005\u001c\u00e3\b\u001c\n\u001c\f\u001c\u00e6\t\u001c\u0001\u001c\u0001\u001c\u0001\u001d\u0001\u001d\u0003\u001d\u00ec\b\u001d\u0001\u001e\u0001\u001e\u0001\u001e\u0001\u001e\u0003\u001e\u00f2\b\u001e\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0001\u001f\u0003\u001f\u00fc\b\u001f\u0001 \u0001 \u0001 \u0001 \u0001!\u0001!\u0001\"\u0001\"\u0001\"\u0003\"\u0107\b\"\u0001#\u0001#\u0001$\u0001$\u0005$\u010d\b$\n$\f$\u0110\t$\u0001%\u0004%\u0113\b%\u000b%\f%\u0114\u0001%\u0001%\u0003%\u0119\b%\u0001&\u0001&\u0003&\u011d\b&\u0001\'\u0001\'\u0001\'\u0003\'\u0122\b\'\u0001(\u0001(\u0001(\u0003(\u0127\b(\u0001)\u0001)\u0001*\u0001*\u0005*\u012d\b*\n*\f*\u0130\t*\u0001+\u0001+\u0001+\u0001+\u0001+\u0001+\u0001+\u0001+\u0001+\u0003+\u013b\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,\u0164\b,\u0001-\u0001-\u0003-\u0168\b-\u0001.\u0001.\u0003.\u016c\b.\u0001/\u0003/\u016f\b/\u00010\u00040\u0172\b0\u000b0\f0\u0173\u00010\u00010\u00011\u00011\u00051\u017a\b1\n1\f1\u017d\t1\u00011\u00011\u0000\u00002\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\u0000\u001b\u0000\u001d\u0000\u001f\r!\u000e#\u000f%\u0010\'\u0011)\u0012+\u0013-\u0000/\u00001\u00143\u00005\u00007\u00009\u0015;\u0000=\u0000?\u0000A\u0000C\u0000E\u0016G\u0000I\u0000K\u0017M\u0018O\u0019Q\u0000S\u0000U\u0000W\u001aY\u0000[\u0000]\u0000_\u0000a\u001bc\u001c\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\u018e\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\u001f\u0001\u0000\u0000\u0000\u0000!\u0001\u0000\u0000\u0000\u0000#\u0001\u0000\u0000\u0000\u0000%\u0001\u0000\u0000\u0000\u0000\'\u0001\u0000\u0000\u0000\u0000)\u0001\u0000\u0000\u0000\u0000+\u0001\u0000\u0000\u0000\u00001\u0001\u0000\u0000\u0000\u00009\u0001\u0000\u0000\u0000\u0000E\u0001\u0000\u0000\u0000\u0000K\u0001\u0000\u0000\u0000\u0000M\u0001\u0000\u0000\u0000\u0000O\u0001\u0000\u0000\u0000\u0000W\u0001\u0000\u0000\u0000\u0000a\u0001\u0000\u0000\u0000\u0000c\u0001\u0000\u0000\u0000\u0001e\u0001\u0000\u0000\u0000\u0003h\u0001\u0000\u0000\u0000\u0005j\u0001\u0000\u0000\u0000\u0007l\u0001\u0000\u0000\u0000\tn\u0001\u0000\u0000\u0000\u000bp\u0001\u0000\u0000\u0000\rs\u0001\u0000\u0000\u0000\u000fu\u0001\u0000\u0000\u0000\u0011w\u0001\u0000\u0000\u0000\u0013y\u0001\u0000\u0000\u0000\u0015\u0086\u0001\u0000\u0000\u0000\u0017\u008a\u0001\u0000\u0000\u0000\u0019\u0093\u0001\u0000\u0000\u0000\u001b\u0095\u0001\u0000\u0000\u0000\u001d\u0098\u0001\u0000\u0000\u0000\u001f\u00a3\u0001\u0000\u0000\u0000!\u00a9\u0001\u0000\u0000\u0000#\u00ae\u0001\u0000\u0000\u0000%\u00b3\u0001\u0000\u0000\u0000\'\u00b6\u0001\u0000\u0000\u0000)\u00c1\u0001\u0000\u0000\u0000+\u00c6\u0001\u0000\u0000\u0000-\u00c9\u0001\u0000\u0000\u0000/\u00cd\u0001\u0000\u0000\u00001\u00d0\u0001\u0000\u0000\u00003\u00d9\u0001\u0000\u0000\u00005\u00dc\u0001\u0000\u0000\u00007\u00de\u0001\u0000\u0000\u00009\u00e0\u0001\u0000\u0000\u0000;\u00eb\u0001\u0000\u0000\u0000=\u00ed\u0001\u0000\u0000\u0000?\u00fb\u0001\u0000\u0000\u0000A\u00fd\u0001\u0000\u0000\u0000C\u0101\u0001\u0000\u0000\u0000E\u0106\u0001\u0000\u0000\u0000G\u0108\u0001\u0000\u0000\u0000I\u010a\u0001\u0000\u0000\u0000K\u0112\u0001\u0000\u0000\u0000M\u011c\u0001\u0000\u0000\u0000O\u011e\u0001\u0000\u0000\u0000Q\u0126\u0001\u0000\u0000\u0000S\u0128\u0001\u0000\u0000\u0000U\u012a\u0001\u0000\u0000\u0000W\u013a\u0001\u0000\u0000\u0000Y\u013c\u0001\u0000\u0000\u0000[\u0167\u0001\u0000\u0000\u0000]\u016b\u0001\u0000\u0000\u0000_\u016e\u0001\u0000\u0000\u0000a\u0171\u0001\u0000\u0000\u0000c\u0177\u0001\u0000\u0000\u0000ef\u0005#\u0000\u0000fg\u0005_\u0000\u0000g\u0002\u0001\u0000\u0000\u0000hi\u0005(\u0000\u0000i\u0004\u0001\u0000\u0000\u0000jk\u0005)\u0000\u0000k\u0006\u0001\u0000\u0000\u0000lm\u0005[\u0000\u0000m\b\u0001\u0000\u0000\u0000no\u0005]\u0000\u0000o\n\u0001\u0000\u0000\u0000pq\u0005#\u0000\u0000qr\u0005{\u0000\u0000r\f\u0001\u0000\u0000\u0000st\u0005{\u0000\u0000t\u000e\u0001\u0000\u0000\u0000uv\u0005}\u0000\u0000v\u0010\u0001\u0000\u0000\u0000wx\u0005^\u0000\u0000x\u0012\u0001\u0000\u0000\u0000yz\u0005n\u0000\u0000z{\u0005i\u0000\u0000{|\u0005l\u0000\u0000|\u0014\u0001\u0000\u0000\u0000}~\u0005t\u0000\u0000~\u007f\u0005r\u0000\u0000\u007f\u0080\u0005u\u0000\u0000\u0080\u0087\u0005e\u0000\u0000\u0081\u0082\u0005f\u0000\u0000\u0082\u0083\u0005a\u0000\u0000\u0083\u0084\u0005l\u0000\u0000\u0084\u0085\u0005s\u0000\u0000\u0085\u0087\u0005e\u0000\u0000\u0086}\u0001\u0000\u0000\u0000\u0086\u0081\u0001\u0000\u0000\u0000\u0087\u0016\u0001\u0000\u0000\u0000\u0088\u008b\u0003-\u0016\u0000\u0089\u008b\u0003/\u0017\u0000\u008a\u0088\u0001\u0000\u0000\u0000\u008a\u0089\u0001\u0000\u0000\u0000\u008b\u008c\u0001\u0000\u0000\u0000\u008c\u008d\u0003\u0019\f\u0000\u008d\u0018\u0001\u0000\u0000\u0000\u008e\u008f\u0003\u001b\r\u0000\u008f\u0090\u0003\u001d\u000e\u0000\u0090\u0094\u0001\u0000\u0000\u0000\u0091\u0094\u0003\u001b\r\u0000\u0092\u0094\u0003\u001d\u000e\u0000\u0093\u008e\u0001\u0000\u0000\u0000\u0093\u0091\u0001\u0000\u0000\u0000\u0093\u0092\u0001\u0000\u0000\u0000\u0094\u001a\u0001\u0000\u0000\u0000\u0095\u0096\u0005.\u0000\u0000\u0096\u0097\u0003-\u0016\u0000\u0097\u001c\u0001\u0000\u0000\u0000\u0098\u009b\u0007\u0000\u0000\u0000\u0099\u009c\u0003-\u0016\u0000\u009a\u009c\u0003/\u0017\u0000\u009b\u0099\u0001\u0000\u0000\u0000\u009b\u009a\u0001\u0000\u0000\u0000\u009c\u00a0\u0001\u0000\u0000\u0000\u009d\u009f\u0003].\u0000\u009e\u009d\u0001\u0000\u0000\u0000\u009f\u00a2\u0001\u0000\u0000\u0000\u00a0\u009e\u0001\u0000\u0000\u0000\u00a0\u00a1\u0001\u0000\u0000\u0000\u00a1\u001e\u0001\u0000\u0000\u0000\u00a2\u00a0\u0001\u0000\u0000\u0000\u00a3\u00a5\u0005#\u0000\u0000\u00a4\u00a6\u0007\u0001\u0000\u0000\u00a5\u00a4\u0001\u0000\u0000\u0000\u00a6\u00a7\u0001\u0000\u0000\u0000\u00a7\u00a5\u0001\u0000\u0000\u0000\u00a7\u00a8\u0001\u0000\u0000\u0000\u00a8 \u0001\u0000\u0000\u0000\u00a9\u00aa\u0005#\u0000\u0000\u00aa\u00ab\u0005#\u0000\u0000\u00ab\u00ac\u0001\u0000\u0000\u0000\u00ac\u00ad\u0003I$\u0000\u00ad\"\u0001\u0000\u0000\u0000\u00ae\u00af\u0005#\u0000\u0000\u00af\u00b0\u0005%\u0000\u0000\u00b0\u00b1\u0001\u0000\u0000\u0000\u00b1\u00b2\u0003I$\u0000\u00b2$\u0001\u0000\u0000\u0000\u00b3\u00b4\u0005#\u0000\u0000\u00b4\u00b5\u0003U*\u0000\u00b5&\u0001\u0000\u0000\u0000\u00b6\u00b7\u0005#\u0000\u0000\u00b7\u00b8\u0005[\u0000\u0000\u00b8\u00bc\u0001\u0000\u0000\u0000\u00b9\u00bb\u00033\u0019\u0000\u00ba\u00b9\u0001\u0000\u0000\u0000\u00bb\u00be\u0001\u0000\u0000\u0000\u00bc\u00ba\u0001\u0000\u0000\u0000\u00bc\u00bd\u0001\u0000\u0000\u0000\u00bd\u00bf\u0001\u0000\u0000\u0000\u00be\u00bc\u0001\u0000\u0000\u0000\u00bf\u00c0\u0005]\u0000\u0000\u00c0(\u0001\u0000\u0000\u0000\u00c1\u00c2\u0005@\u0000\u0000\u00c2\u00c3\u0003I$\u0000\u00c3*\u0001\u0000\u0000\u0000\u00c4\u00c7\u0003-\u0016\u0000\u00c5\u00c7\u0003/\u0017\u0000\u00c6\u00c4\u0001\u0000\u0000\u0000\u00c6\u00c5\u0001\u0000\u0000\u0000\u00c7,\u0001\u0000\u0000\u0000\u00c8\u00ca\u0007\u0001\u0000\u0000\u00c9\u00c8\u0001\u0000\u0000\u0000\u00ca\u00cb\u0001\u0000\u0000\u0000\u00cb\u00c9\u0001\u0000\u0000\u0000\u00cb\u00cc\u0001\u0000\u0000\u0000\u00cc.\u0001\u0000\u0000\u0000\u00cd\u00ce\u0005-\u0000\u0000\u00ce\u00cf\u0003-\u0016\u0000\u00cf0\u0001\u0000\u0000\u0000\u00d0\u00d1\u00050\u0000\u0000\u00d1\u00d2\u0005x\u0000\u0000\u00d2\u00d6\u0001\u0000\u0000\u0000\u00d3\u00d5\u00035\u001a\u0000\u00d4\u00d3\u0001\u0000\u0000\u0000\u00d5\u00d8\u0001\u0000\u0000\u0000\u00d6\u00d4\u0001\u0000\u0000\u0000\u00d6\u00d7\u0001\u0000\u0000\u0000\u00d72\u0001\u0000\u0000\u0000\u00d8\u00d6\u0001\u0000\u0000\u0000\u00d9\u00da\u00035\u001a\u0000\u00da\u00db\u00035\u001a\u0000\u00db4\u0001\u0000\u0000\u0000\u00dc\u00dd\u0007\u0002\u0000\u0000\u00dd6\u0001\u0000\u0000\u0000\u00de\u00df\u0005.\u0000\u0000\u00df8\u0001\u0000\u0000\u0000\u00e0\u00e4\u0005\"\u0000\u0000\u00e1\u00e3\u0003;\u001d\u0000\u00e2\u00e1\u0001\u0000\u0000\u0000\u00e3\u00e6\u0001\u0000\u0000\u0000\u00e4\u00e2\u0001\u0000\u0000\u0000\u00e4\u00e5\u0001\u0000\u0000\u0000\u00e5\u00e7\u0001\u0000\u0000\u0000\u00e6\u00e4\u0001\u0000\u0000\u0000\u00e7\u00e8\u0005\"\u0000\u0000\u00e8:\u0001\u0000\u0000\u0000\u00e9\u00ec\b\u0003\u0000\u0000\u00ea\u00ec\u0003=\u001e\u0000\u00eb\u00e9\u0001\u0000\u0000\u0000\u00eb\u00ea\u0001\u0000\u0000\u0000\u00ec<\u0001\u0000\u0000\u0000\u00ed\u00f1\u0005\\\u0000\u0000\u00ee\u00f2\u0007\u0004\u0000\u0000\u00ef\u00f2\u0003?\u001f\u0000\u00f0\u00f2\u0003A \u0000\u00f1\u00ee\u0001\u0000\u0000\u0000\u00f1\u00ef\u0001\u0000\u0000\u0000\u00f1\u00f0\u0001\u0000\u0000\u0000\u00f2>\u0001\u0000\u0000\u0000\u00f3\u00fc\u0003C!\u0000\u00f4\u00f5\u0003C!\u0000\u00f5\u00f6\u0003C!\u0000\u00f6\u00fc\u0001\u0000\u0000\u0000\u00f7\u00f8\u0007\u0005\u0000\u0000\u00f8\u00f9\u0003C!\u0000\u00f9\u00fa\u0003C!\u0000\u00fa\u00fc\u0001\u0000\u0000\u0000\u00fb\u00f3\u0001\u0000\u0000\u0000\u00fb\u00f4\u0001\u0000\u0000\u0000\u00fb\u00f7\u0001\u0000\u0000\u0000\u00fc@\u0001\u0000\u0000\u0000\u00fd\u00fe\u0005u\u0000\u0000\u00fe\u00ff\u00033\u0019\u0000\u00ff\u0100\u00033\u0019\u0000\u0100B\u0001\u0000\u0000\u0000\u0101\u0102\u0007\u0006\u0000\u0000\u0102D\u0001\u0000\u0000\u0000\u0103\u0107\u0007\u0007\u0000\u0000\u0104\u0105\u0005~\u0000\u0000\u0105\u0107\u0005@\u0000\u0000\u0106\u0103\u0001\u0000\u0000\u0000\u0106\u0104\u0001\u0000\u0000\u0000\u0107F\u0001\u0000\u0000\u0000\u0108\u0109\u0005/\u0000\u0000\u0109H\u0001\u0000\u0000\u0000\u010a\u010e\u0003[-\u0000\u010b\u010d\u0003].\u0000\u010c\u010b\u0001\u0000\u0000\u0000\u010d\u0110\u0001\u0000\u0000\u0000\u010e\u010c\u0001\u0000\u0000\u0000\u010e\u010f\u0001\u0000\u0000\u0000\u010fJ\u0001\u0000\u0000\u0000\u0110\u010e\u0001\u0000\u0000\u0000\u0111\u0113\u0005:\u0000\u0000\u0112\u0111\u0001\u0000\u0000\u0000\u0113\u0114\u0001\u0000\u0000\u0000\u0114\u0112\u0001\u0000\u0000\u0000\u0114\u0115\u0001\u0000\u0000\u0000\u0115\u0118\u0001\u0000\u0000\u0000\u0116\u0119\u0003G#\u0000\u0117\u0119\u0003I$\u0000\u0118\u0116\u0001\u0000\u0000\u0000\u0118\u0117\u0001\u0000\u0000\u0000\u0119L\u0001\u0000\u0000\u0000\u011a\u011d\u0003G#\u0000\u011b\u011d\u0003I$\u0000\u011c\u011a\u0001\u0000\u0000\u0000\u011c\u011b\u0001\u0000\u0000\u0000\u011dN\u0001\u0000\u0000\u0000\u011e\u0121\u0003G#\u0000\u011f\u0122\u0003G#\u0000\u0120\u0122\u0003I$\u0000\u0121\u011f\u0001\u0000\u0000\u0000\u0121\u0120\u0001\u0000\u0000\u0000\u0122P\u0001\u0000\u0000\u0000\u0123\u0127\u0003S)\u0000\u0124\u0127\u0007\u0001\u0000\u0000\u0125\u0127\u00037\u001b\u0000\u0126\u0123\u0001\u0000\u0000\u0000\u0126\u0124\u0001\u0000\u0000\u0000\u0126\u0125\u0001\u0000\u0000\u0000\u0127R\u0001\u0000\u0000\u0000\u0128\u0129\u0003_/\u0000\u0129T\u0001\u0000\u0000\u0000\u012a\u012e\u0003S)\u0000\u012b\u012d\u0003Q(\u0000\u012c\u012b\u0001\u0000\u0000\u0000\u012d\u0130\u0001\u0000\u0000\u0000\u012e\u012c\u0001\u0000\u0000\u0000\u012e\u012f\u0001\u0000\u0000\u0000\u012fV\u0001\u0000\u0000\u0000\u0130\u012e\u0001\u0000\u0000\u0000\u0131\u0132\u0005\\\u0000\u0000\u0132\u0133\u0005u\u0000\u0000\u0133\u0134\u0001\u0000\u0000\u0000\u0134\u0135\u00033\u0019\u0000\u0135\u0136\u00033\u0019\u0000\u0136\u013b\u0001\u0000\u0000\u0000\u0137\u0138\u0005\\\u0000\u0000\u0138\u013b\t\u0000\u0000\u0000\u0139\u013b\u0003Y,\u0000\u013a\u0131\u0001\u0000\u0000\u0000\u013a\u0137\u0001\u0000\u0000\u0000\u013a\u0139\u0001\u0000\u0000\u0000\u013bX\u0001\u0000\u0000\u0000\u013c\u0163\u0005\\\u0000\u0000\u013d\u013e\u0005n\u0000\u0000\u013e\u013f\u0005e\u0000\u0000\u013f\u0140\u0005w\u0000\u0000\u0140\u0141\u0005l\u0000\u0000\u0141\u0142\u0005i\u0000\u0000\u0142\u0143\u0005n\u0000\u0000\u0143\u0164\u0005e\u0000\u0000\u0144\u0145\u0005r\u0000\u0000\u0145\u0146\u0005e\u0000\u0000\u0146\u0147\u0005t\u0000\u0000\u0147\u0148\u0005u\u0000\u0000\u0148\u0149\u0005r\u0000\u0000\u0149\u0164\u0005n\u0000\u0000\u014a\u014b\u0005s\u0000\u0000\u014b\u014c\u0005p\u0000\u0000\u014c\u014d\u0005a\u0000\u0000\u014d\u014e\u0005c\u0000\u0000\u014e\u0164\u0005e\u0000\u0000\u014f\u0150\u0005t\u0000\u0000\u0150\u0151\u0005a\u0000\u0000\u0151\u0164\u0005b\u0000\u0000\u0152\u0153\u0005f\u0000\u0000\u0153\u0154\u0005o\u0000\u0000\u0154\u0155\u0005r\u0000\u0000\u0155\u0156\u0005m\u0000\u0000\u0156\u0157\u0005f\u0000\u0000\u0157\u0158\u0005e\u0000\u0000\u0158\u0159\u0005e\u0000\u0000\u0159\u0164\u0005d\u0000\u0000\u015a\u015b\u0005b\u0000\u0000\u015b\u015c\u0005a\u0000\u0000\u015c\u015d\u0005c\u0000\u0000\u015d\u015e\u0005k\u0000\u0000\u015e\u015f\u0005s\u0000\u0000\u015f\u0160\u0005p\u0000\u0000\u0160\u0161\u0005a\u0000\u0000\u0161\u0162\u0005c\u0000\u0000\u0162\u0164\u0005e\u0000\u0000\u0163\u013d\u0001\u0000\u0000\u0000\u0163\u0144\u0001\u0000\u0000\u0000\u0163\u014a\u0001\u0000\u0000\u0000\u0163\u014f\u0001\u0000\u0000\u0000\u0163\u0152\u0001\u0000\u0000\u0000\u0163\u015a\u0001\u0000\u0000\u0000\u0164Z\u0001\u0000\u0000\u0000\u0165\u0168\u0003_/\u0000\u0166\u0168\u0007\b\u0000\u0000\u0167\u0165\u0001\u0000\u0000\u0000\u0167\u0166\u0001\u0000\u0000\u0000\u0168\\\u0001\u0000\u0000\u0000\u0169\u016c\u0003[-\u0000\u016a\u016c\u0007\t\u0000\u0000\u016b\u0169\u0001\u0000\u0000\u0000\u016b\u016a\u0001\u0000\u0000\u0000\u016c^\u0001\u0000\u0000\u0000\u016d\u016f\u0007\n\u0000\u0000\u016e\u016d\u0001\u0000\u0000\u0000\u016f`\u0001\u0000\u0000\u0000\u0170\u0172\u0007\u000b\u0000\u0000\u0171\u0170\u0001\u0000\u0000\u0000\u0172\u0173\u0001\u0000\u0000\u0000\u0173\u0171\u0001\u0000\u0000\u0000\u0173\u0174\u0001\u0000\u0000\u0000\u0174\u0175\u0001\u0000\u0000\u0000\u0175\u0176\u00060\u0000\u0000\u0176b\u0001\u0000\u0000\u0000\u0177\u017b\u0005;\u0000\u0000\u0178\u017a\b\f\u0000\u0000\u0179\u0178\u0001\u0000\u0000\u0000\u017a\u017d\u0001\u0000\u0000\u0000\u017b\u0179\u0001\u0000\u0000\u0000\u017b\u017c\u0001\u0000\u0000\u0000\u017c\u017e\u0001\u0000\u0000\u0000\u017d\u017b\u0001\u0000\u0000\u0000\u017e\u017f\u00061\u0000\u0000\u017fd\u0001\u0000\u0000\u0000\u001e\u0000\u0086\u008a\u0093\u009b\u00a0\u00a7\u00bc\u00c6\u00cb\u00d6\u00e4\u00eb\u00f1\u00fb\u0106\u010e\u0114\u0118\u011c\u0121\u0126\u012e\u013a\u0163\u0167\u016b\u016e\u0173\u017b\u0001\u0006\u0000\u0000"
public static final int	ADDRESS	13
public static final int	AT_SYMBOL	18
public static final int	BLOB	20
public static final int	BOOL	11
public static final int	CAD3	17
public static final int	CHARACTER	26
public static final int	COMMENT	28
public static final int	COMMENTED	1
public static final int	DOUBLE	12
public static final int	HASH_HASH_SYMBOL	14
public static final int	HASH_TAG	16
public static final int	INTRINSIC_SYMBOL	15
public static final int	KEYWORD	23
public static final int	LBR	7
public static final int	LONG_VALUE	19
public static final int	LPAREN	2
public static final int	LVEC	4
public static final int	META	9
public static final int	NIL	10
public static final int	QUOTING	22
public static final int	RBR	8
public static final int	RPAREN	3
public static final int	RVEC	5
public static final int	SET_LBR	6
public static final int	SLASH_SYMBOL	25
public static final int	STRING	21
public static final int	SYMBOL	24
public static final int	WS	27

convex.core.lang.reader.antlr.ConvexParser

Modifier and Type	Constant Field	Value
public static final String	_serializedATN	"\u0004\u0001\u001c\u00b8\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 \u0001\u0000\u0001\u0000\u0001\u0000\u0001\u0000\u0003\u0000G\b\u0000\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0001\u0003\u0001M\b\u0001\u0001\u0002\u0001\u0002\u0001\u0002\u0001\u0003\u0001\u0003\u0005\u0003T\b\u0003\n\u0003\f\u0003W\t\u0003\u0001\u0004\u0001\u0004\u0001\u0004\u0001\u0005\u0001\u0005\u0001\u0005\u0001\u0005\u0003\u0005`\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\t\u0001\t\u0001\t\u0001\t\u0001\n\u0001\n\u0001\n\u0001\u000b\u0001\u000b\u0001\f\u0001\f\u0001\r\u0001\r\u0001\r\u0003\r|\b\r\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0001\u000e\u0003\u000e\u008a\b\u000e\u0001\u000f\u0001\u000f\u0001\u0010\u0001\u0010\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\u0018\u0001\u0018\u0001\u0019\u0001\u0019\u0001\u001a\u0001\u001a\u0001\u001b\u0001\u001b\u0001\u001c\u0001\u001c\u0004\u001c\u00a8\b\u001c\u000b\u001c\f\u001c\u00a9\u0001\u001d\u0001\u001d\u0001\u001d\u0001\u001d\u0001\u001e\u0001\u001e\u0001\u001e\u0001\u001f\u0001\u001f\u0001 \u0001 \u0001 \u0001 \u0000\u0000!\u0000\u0002\u0004\u0006\b\n\f\u000e\u0010\u0012\u0014\u0016\u0018\u001a\u001c\u001e \"$&(*,.02468:<>@\u0000\u0000\u00af\u0000F\u0001\u0000\u0000\u0000\u0002L\u0001\u0000\u0000\u0000\u0004N\u0001\u0000\u0000\u0000\u0006U\u0001\u0000\u0000\u0000\bX\u0001\u0000\u0000\u0000\n_\u0001\u0000\u0000\u0000\fa\u0001\u0000\u0000\u0000\u000ee\u0001\u0000\u0000\u0000\u0010i\u0001\u0000\u0000\u0000\u0012m\u0001\u0000\u0000\u0000\u0014q\u0001\u0000\u0000\u0000\u0016t\u0001\u0000\u0000\u0000\u0018v\u0001\u0000\u0000\u0000\u001a{\u0001\u0000\u0000\u0000\u001c\u0089\u0001\u0000\u0000\u0000\u001e\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\u0000*\u0097\u0001\u0000\u0000\u0000,\u0099\u0001\u0000\u0000\u0000.\u009b\u0001\u0000\u0000\u00000\u009d\u0001\u0000\u0000\u00002\u009f\u0001\u0000\u0000\u00004\u00a1\u0001\u0000\u0000\u00006\u00a3\u0001\u0000\u0000\u00008\u00a5\u0001\u0000\u0000\u0000:\u00ab\u0001\u0000\u0000\u0000<\u00af\u0001\u0000\u0000\u0000>\u00b2\u0001\u0000\u0000\u0000@\u00b4\u0001\u0000\u0000\u0000BG\u0003<\u001e\u0000CG\u00038\u001c\u0000DG\u0003\u0002\u0001\u0000EG\u0003\u0014\n\u0000FB\u0001\u0000\u0000\u0000FC\u0001\u0000\u0000\u0000FD\u0001\u0000\u0000\u0000FE\u0001\u0000\u0000\u0000G\u0001\u0001\u0000\u0000\u0000HM\u0003\n\u0005\u0000IM\u0003:\u001d\u0000JM\u00034\u001a\u0000KM\u0003\u001a\r\u0000LH\u0001\u0000\u0000\u0000LI\u0001\u0000\u0000\u0000LJ\u0001\u0000\u0000\u0000LK\u0001\u0000\u0000\u0000M\u0003\u0001\u0000\u0000\u0000NO\u0003\u0000\u0000\u0000OP\u0005\u0000\u0000\u0001P\u0005\u0001\u0000\u0000\u0000QT\u0003\u0000\u0000\u0000RT\u0003@ \u0000SQ\u0001\u0000\u0000\u0000SR\u0001\u0000\u0000\u0000TW\u0001\u0000\u0000\u0000US\u0001\u0000\u0000\u0000UV\u0001\u0000\u0000\u0000V\u0007\u0001\u0000\u0000\u0000WU\u0001\u0000\u0000\u0000XY\u0003\u0006\u0003\u0000YZ\u0005\u0000\u0000\u0001Z\t\u0001\u0000\u0000\u0000[`\u0003\f\u0006\u0000\\`\u0003\u000e\u0007\u0000]`\u0003\u0010\b\u0000^`\u0003\u0012\t\u0000_[\u0001\u0000\u0000\u0000_\\\u0001\u0000\u0000\u0000_]\u0001\u0000\u0000\u0000_^\u0001\u0000\u0000\u0000`\u000b\u0001\u0000\u0000\u0000ab\u0005\u0002\u0000\u0000bc\u0003\u0006\u0003\u0000cd\u0005\u0003\u0000\u0000d\r\u0001\u0000\u0000\u0000ef\u0005\u0004\u0000\u0000fg\u0003\u0006\u0003\u0000gh\u0005\u0005\u0000\u0000h\u000f\u0001\u0000\u0000\u0000ij\u0005\u0006\u0000\u0000jk\u0003\u0006\u0003\u0000kl\u0005\b\u0000\u0000l\u0011\u0001\u0000\u0000\u0000mn\u0005\u0007\u0000\u0000no\u0003\u0006\u0003\u0000op\u0005\b\u0000\u0000p\u0013\u0001\u0000\u0000\u0000qr\u0003\u0016\u000b\u0000rs\u0003\u0000\u0000\u0000s\u0015\u0001\u0000\u0000\u0000tu\u0005\u0010\u0000\u0000u\u0017\u0001\u0000\u0000\u0000vw\u0005\u0011\u0000\u0000w\u0019\u0001\u0000\u0000\u0000x|\u0003\"\u0011\u0000y|\u0003\u001c\u000e\u0000z|\u0003$\u0012\u0000{x\u0001\u0000\u0000\u0000{y\u0001\u0000\u0000\u0000{z\u0001\u0000\u0000\u0000|\u001b\u0001\u0000\u0000\u0000}\u008a\u0003*\u0015\u0000~\u008a\u0003.\u0017\u0000\u007f\u008a\u0003,\u0016\u0000\u0080\u008a\u00030\u0018\u0000\u0081\u008a\u00032\u0019\u0000\u0082\u008a\u0003\"\u0011\u0000\u0083\u008a\u0003(\u0014\u0000\u0084\u008a\u0003>\u001f\u0000\u0085\u008a\u0003\u001e\u000f\u0000\u0086\u008a\u0003 \u0010\u0000\u0087\u008a\u0003&\u0013\u0000\u0088\u008a\u0003\u0018\f\u0000\u0089}\u0001\u0000\u0000\u0000\u0089~\u0001\u0000\u0000\u0000\u0089\u007f\u0001\u0000\u0000\u0000\u0089\u0080\u0001\u0000\u0000\u0000\u0089\u0081\u0001\u0000\u0000\u0000\u0089\u0082\u0001\u0000\u0000\u0000\u0089\u0083\u0001\u0000\u0000\u0000\u0089\u0084\u0001\u0000\u0000\u0000\u0089\u0085\u0001\u0000\u0000\u0000\u0089\u0086\u0001\u0000\u0000\u0000\u0089\u0087\u0001\u0000\u0000\u0000\u0089\u0088\u0001\u0000\u0000\u0000\u008a\u001d\u0001\u0000\u0000\u0000\u008b\u008c\u0005\u0013\u0000\u0000\u008c\u001f\u0001\u0000\u0000\u0000\u008d\u008e\u0005\f\u0000\u0000\u008e!\u0001\u0000\u0000\u0000\u008f\u0090\u0005\u0018\u0000\u0000\u0090#\u0001\u0000\u0000\u0000\u0091\u0092\u0005\u000f\u0000\u0000\u0092%\u0001\u0000\u0000\u0000\u0093\u0094\u0005\u000e\u0000\u0000\u0094\'\u0001\u0000\u0000\u0000\u0095\u0096\u0005\r\u0000\u0000\u0096)\u0001\u0000\u0000\u0000\u0097\u0098\u0005\n\u0000\u0000\u0098+\u0001\u0000\u0000\u0000\u0099\u009a\u0005\u0014\u0000\u0000\u009a-\u0001\u0000\u0000\u0000\u009b\u009c\u0005\u000b\u0000\u0000\u009c/\u0001\u0000\u0000\u0000\u009d\u009e\u0005\u001a\u0000\u0000\u009e1\u0001\u0000\u0000\u0000\u009f\u00a0\u0005\u0017\u0000\u0000\u00a03\u0001\u0000\u0000\u0000\u00a1\u00a2\u0005\u0012\u0000\u0000\u00a25\u0001\u0000\u0000\u0000\u00a3\u00a4\u0005\u0019\u0000\u0000\u00a47\u0001\u0000\u0000\u0000\u00a5\u00a7\u0003\u0002\u0001\u0000\u00a6\u00a8\u00036\u001b\u0000\u00a7\u00a6\u0001\u0000\u0000\u0000\u00a8\u00a9\u0001\u0000\u0000\u0000\u00a9\u00a7\u0001\u0000\u0000\u0000\u00a9\u00aa\u0001\u0000\u0000\u0000\u00aa9\u0001\u0000\u0000\u0000\u00ab\u00ac\u0005\t\u0000\u0000\u00ac\u00ad\u0003\u0000\u0000\u0000\u00ad\u00ae\u0003\u0000\u0000\u0000\u00ae;\u0001\u0000\u0000\u0000\u00af\u00b0\u0005\u0016\u0000\u0000\u00b0\u00b1\u0003\u0000\u0000\u0000\u00b1=\u0001\u0000\u0000\u0000\u00b2\u00b3\u0005\u0015\u0000\u0000\u00b3?\u0001\u0000\u0000\u0000\u00b4\u00b5\u0005\u0001\u0000\u0000\u00b5\u00b6\u0003\u0000\u0000\u0000\u00b6A\u0001\u0000\u0000\u0000\bFLSU_{\u0089\u00a9"
public static final int	ADDRESS	13
public static final int	AT_SYMBOL	18
public static final int	BLOB	20
public static final int	BOOL	11
public static final int	CAD3	17
public static final int	CHARACTER	26
public static final int	COMMENT	28
public static final int	COMMENTED	1
public static final int	DOUBLE	12
public static final int	HASH_HASH_SYMBOL	14
public static final int	HASH_TAG	16
public static final int	INTRINSIC_SYMBOL	15
public static final int	KEYWORD	23
public static final int	LBR	7
public static final int	LONG_VALUE	19
public static final int	LPAREN	2
public static final int	LVEC	4
public static final int	META	9
public static final int	NIL	10
public static final int	QUOTING	22
public static final int	RBR	8
public static final int	RPAREN	3
public static final int	RULE_address	20
public static final int	RULE_allForms	4
public static final int	RULE_atom	13
public static final int	RULE_blob	22
public static final int	RULE_bool	23
public static final int	RULE_cad3	12
public static final int	RULE_character	24
public static final int	RULE_commented	32
public static final int	RULE_dataStructure	5
public static final int	RULE_doubleValue	16
public static final int	RULE_form	0
public static final int	RULE_forms	3
public static final int	RULE_implicitSymbol	18
public static final int	RULE_keyword	25
public static final int	RULE_list	6
public static final int	RULE_literal	14
public static final int	RULE_longValue	15
public static final int	RULE_map	9
public static final int	RULE_nil	21
public static final int	RULE_pathSymbol	28
public static final int	RULE_primary	1
public static final int	RULE_quoted	30
public static final int	RULE_resolve	26
public static final int	RULE_set	8
public static final int	RULE_singleForm	2
public static final int	RULE_slashSymbol	27
public static final int	RULE_specialLiteral	19
public static final int	RULE_string	31
public static final int	RULE_symbol	17
public static final int	RULE_syntax	29
public static final int	RULE_tag	11
public static final int	RULE_taggedForm	10
public static final int	RULE_vector	7
public static final int	RVEC	5
public static final int	SET_LBR	6
public static final int	SLASH_SYMBOL	25
public static final int	STRING	21
public static final int	SYMBOL	24
public static final int	WS	27

convex.core.util.ErrorMessages

Modifier and Type	Constant Field	Value
public static final String	BAD_AMOUNT	"Illegal Convex Coin amount"
public static final String	RECORD_VALUE_NUMBER	"Wrong number of record values"
public static final String	TODO	"Not yet implemented."
public static final String	UNREACHABLE	"Should be unreachable"

convex.core.util.Shutdown

Modifier and Type	Constant Field	Value
public static final int	CLI	120
public static final int	CLIENTHTTP	60
public static final int	CONNECTION	90
public static final int	ETCH	100
public static final int	EXECUTOR	110
public static final int	SERVER	80

convex.dlfs.*

convex.dlfs.DLFS

Modifier and Type	Constant Field	Value
public static final String	ROOT_STRING	"/"
public static final String	SCHEME	"dlfs"

convex.dlfs.DLFSNode

Modifier and Type	Constant Field	Value
public static final long	NODE_LENGTH	4L
public static final int	POS_DATA	1
public static final int	POS_DIR	0
public static final int	POS_METADATA	2
public static final int	POS_UTIME	3

convex.etch.*

convex.etch.Etch

Modifier and Type	Constant Field	Value
protected static final long	OFFSET_FILE_SIZE	4L
protected static final long	OFFSET_ROOT_HASH	12L
protected static final long	OFFSET_VERSION	2L