Uses of Class
convex.core.data.ACell
Packages that use ACell
Package
Description
Fundamental Convex classes used for the decentralised network
Crypto algorithms used within Convex, particularly for digital signatures and
cryptographic hashes
Data structures and algorithms, including a complete set of classes
required to implement immutable, decentralised data objects.
Implementation of CVM Primitive Data types
CVM type system implementation.
Specialised exception classes used in the Convex implementation and libraries
Core CVM implementation
Internal CVM language implementation classes
CVM Operations, effectively the "machine code" of the CVM
Implementation of the standard Convex Lisp Reader
Etch database for convergent immutable storage
Convex network transaction types.
Convex utility classes and miscellaneous functionality
Convex network transaction types.
-
Uses of ACell in convex.core
Subclasses of ACell in convex.coreModifier and TypeClassDescriptionclassClass representing a Peer's view of the overall network consensus state.final classA Block contains an ordered collection of signed transactions that may be applied collectively as part of a state update.classClass representing the result of applying a Block to a State.classClass representing an Ordering of transactions, along with the consensus position.final classClass representing the result of a Query or Transaction.classClass representing the immutable state of the CVM State transitions are represented by blocks of transactions, according to the logic: s[n+1] = s[n].applyBlock(b[n]) State contains the following elements - Map of AccountStatus for every Address - Map of PeerStatus for every Peer Address - Global values - Schedule data structure "State.Fields in convex.core with type parameters of type ACellMethods in convex.core with type parameters of type ACellModifier and TypeMethodDescriptionState.applyTransaction(ATransaction t) Applies a transaction to the State.Peer.executeDryRun(ATransaction transaction) Executes a "dry run" transaction on the current consensus state of this Peer.Peer.executeQuery(ACell form) Executes a query in this Peer's current Consensus State, using a default addressPeer.executeQuery(ACell form, Address address) Compiles and executes a query on the current consensus state of this Peer.Belief.getRef(int i) Block.getRef(int i) BlockResult.getRef(int i) Order.getRef(int i) State.getRef(int i) <T extends ACell>
TResult.getValue()Returns the value for this result.<T extends ACell>
SignedData<T>MergeContext.sign(T value) Sign a value using the keypair for this MergeContext<T extends ACell>
SignedData<T>Peer.sign(T value) Signs a value with the keypair of this PeerMethods in convex.core that return ACellModifier and TypeMethodDescriptionBlockResult.getErrorCode(long i) Gets the error code for a given transactionResult.getErrorCode()Returns the Error Code from this Result.Result.getID()Returns the message ID for this result.Methods in convex.core that return types with arguments of type ACellModifier and TypeMethodDescriptionState.getEnvironment(Address addr) Gets the environment for a given account, or null if not found.State.getGlobals()Gets globals.Result.getInfo()Returns the info for this Result.Peer.getPeerData(AStore store) LikePeer.getPeerData(AStore, ACell)but uses a null root key.Peer.getPeerData(AStore store, ACell rootKey) Gets Peer Data from a Store.State.getSchedule()Gets the current schedule data structure for this statePeer.toData()Gets the Peer Data map for this PeerResult.values()Methods in convex.core with parameters of type ACellModifier and TypeMethodDescriptionstatic ResultCreate a Resultstatic ResultCreate a Resultstatic ResultCreate a ResultbooleanbooleanbooleanbooleanPeer.executeQuery(ACell form) Executes a query in this Peer's current Consensus State, using a default addressPeer.executeQuery(ACell form, Address address) Compiles and executes a query on the current consensus state of this Peer.static Collection<SignedData<Order>>Belief.extractOrders(ACell payload) Extract a collection of Orders from a Cell, suitable for Belief mergePeer.getPeerData(AStore store, ACell rootKey) Gets Peer Data from a Store.static PeerPeer.restorePeer(AStore store, AKeyPair keyPair, ACell rootKey) Restores a Peer from the Etch database specified in ConfigUpdates result with a given message ID.Method parameters in convex.core with type arguments of type ACell -
Uses of ACell in convex.core.crypto
Subclasses of ACell in convex.core.cryptoModifier and TypeClassDescriptionclassClass representing a cryptographic signatureclassImmutable data value class representing an Ed25519 digital signature.Methods in convex.core.crypto with type parameters of type ACellModifier and TypeMethodDescription<R extends ACell>
SignedData<R>WalletEntry.sign(R message) abstract <R extends ACell>
SignedData<R>AKeyPair.signData(R value) Signs a value with this key pair -
Uses of ACell in convex.core.crypto.bc
Methods in convex.core.crypto.bc with type parameters of type ACell -
Uses of ACell in convex.core.data
Classes in convex.core.data with type parameters of type ACellModifier and TypeClassDescriptionclassAbstract base class for BlobMaps: a sorted radix-tree map of Blobs to Values.classACollection<T extends ACell>Abstract base class for Persistent Merkle CollectionsclassACountable<E extends ACell>Abstract base class for Countable objects.classADataStructure<E extends ACell>Abstract base class for Persistent data structures.classclassclassclassAbstract base class for lists.classAbstract base class for maps.classAbstract base class for maps.classclassclassAbstract base class for concrete sequential data structure (immutable persistent lists and vectors etc.)classAbstract based class for sets.classAbstract base class for vectors.classBlobMap node implementation supporting: An optional prefix string An optional entry with this prefix Up to 16 child entries at the next level of depthinterfaceIAssociative<K extends ACell,V extends ACell> Interface for associative data structuresinterfaceIAssociative<K extends ACell,V extends ACell> Interface for associative data structuresclassImplementation of a list wrapping a vector.classMap.Entry implementation for persistent maps.classMap.Entry implementation for persistent maps.classLimited size Persistent Merkle Map implemented as a small sorted list of Key/Value pairs Must be sorted by Key hash value to ensure uniqueness of representationclassLimited size Persistent Merkle Map implemented as a small sorted list of Key/Value pairs Must be sorted by Key hash value to ensure uniqueness of representationclassPersistent Map for large hash maps requiring tree structure.classPersistent Map for large hash maps requiring tree structure.classClass representing a smart reference to a decentralised data value.classRef subclass for direct in-memory references.classReference class implemented via a soft reference and store lookup.classLimited size Persistent Merkle Set implemented as a small sorted list of Values Must be sorted by Key hash value to ensure uniqueness of representationclassPersistent Set for large hash sets requiring tree structure.final classSignedData<T extends ACell>Node representing a signed data object.classVectorArray<T extends ACell>Experimental: implementation of AVector backed by a Java array for temporary usage purposes.classVectorBuilder<T extends ACell>Similar to Java StringBuilder designed for concatenating multiple small Vectors to produce a larger Vector.classVectorLeaf<T extends ACell>A Persistent Vector implementation representing 0-16 elements with a packed Vector prefix.classVectorTree<T extends ACell>Persistent Vector implemented as a merkle tree of chunks shift indicates the level of the tree: 4 = 1st level, 8 = second etc.Subclasses of ACell in convex.core.dataModifier and TypeClassDescriptionclassAbstract base class for binary data stored in Java arrays.classAbstract base class for data objects containing immutable chunks of binary data.classAbstract base class for BlobMaps: a sorted radix-tree map of Blobs to Values.classImmutable class representing an Ed25519 Public Key for an AccountclassClass representing the current on-chain status of an account.classACollection<T extends ACell>Abstract base class for Persistent Merkle CollectionsclassACountable<E extends ACell>Abstract base class for Countable objects.classADataStructure<E extends ACell>Abstract base class for Persistent data structures.final classImmutable class representing an Address, generally used to uniquely identify an Account.classclassclassAbstract base class for lists.classclassAbstract base class for maps.classclassBase class for Record data types.classAbstract base class for generic records.classAbstract base class for concrete sequential data structure (immutable persistent lists and vectors etc.)classAbstract based class for sets.classAbstract base Class representing a CVM String.classAbstract based class for symbolic objects (Keywords, Symbols)classAbstract base class for vectors.classGeneral purpose immutable wrapper for byte array data.classBlobMap node implementation supporting: An optional prefix string An optional entry with this prefix Up to 16 child entries at the next level of depthclassImplementation of a large Blob data structure consisting of 2 or more chunks.classClass used to represent an immutable 32-byte Hash value.classKeyword data type.classImplementation of a list wrapping a vector.final classWrapper for an 8-byte long as a Blob We use this mainly for efficient management of indexes using Longs in BlobMaps.classMap.Entry implementation for persistent maps.classLimited size Persistent Merkle Map implemented as a small sorted list of Key/Value pairs Must be sorted by Key hash value to ensure uniqueness of representationclassPersistent Map for large hash maps requiring tree structure.classClass describing the on-chain state of a Peer declared on the network.classLimited size Persistent Merkle Set implemented as a small sorted list of Values Must be sorted by Key hash value to ensure uniqueness of representationclassPersistent Set for large hash sets requiring tree structure.final classSignedData<T extends ACell>Node representing a signed data object.classClass representing a short CVM string, backed by a flat Blob Used for most small strings, and acts as the leaf chunk for StringTreesclassAString subclass representing a subsequence of some Blob dataclassString implementation class wrapping a BlobTree.classClass representing a Symbol.classClass representing a Syntax Object.classVectorArray<T extends ACell>Experimental: implementation of AVector backed by a Java array for temporary usage purposes.classVectorLeaf<T extends ACell>A Persistent Vector implementation representing 0-16 elements with a packed Vector prefix.classVectorTree<T extends ACell>Persistent Vector implemented as a merkle tree of chunks shift indicates the level of the tree: 4 = 1st level, 8 = second etc.Fields in convex.core.data declared as ACellModifier and TypeFieldDescriptionstatic final ACell[]ACell.EMPTY_ARRAYAn empty Java array of cellsprotected final ACell[]VectorBuilder.tailAccumulator array for up to a single chunk worth of cellsFields in convex.core.data with type parameters of type ACellModifier and TypeFieldDescriptionACell.cachedRefCached Ref.BlobMap.EMPTYEmpty BlobMap singletonARecordGeneric.valuesMethods in convex.core.data with type parameters of type ACellModifier and TypeMethodDescription<T extends ACell>
TACell.announce()<T extends ACell>
TAList.assoc(long i, R value) ASequence.assoc(long i, R value) Updates a value at the given position in the sequence.AVector.assoc(long i, R value) List.assoc(long i, R value) MapEntry.assoc(long i, R a) VectorArray.assoc(long i, R value) VectorLeaf.assoc(long i, R value) VectorTree.assoc(long i, R value) Concatenates the elements from another sequence to the end of this sequence.abstract <R extends ACell>
ACollection<R>ACollection.conj(R x) Adds an element to this collection, according to the natural semantics of the collectionabstract <R extends ACell>
ADataStructure<R>ADataStructure.conj(R x) Adds an element to this data structure, in the natural manner defined by the general data structure type.AHashSet.conj(R a) AList.conj(R x) Adds an element to this list, in first position.<R extends ACell>
ADataStructure<R>AMap.conj(R x) Adds a new map entry to this map.ASequence.conj(R value) Adds an element to the sequence in the natural positionASet.conj(R a) AVector.conj(R value) List.conj(R value) Prepends an element to the list in first position.<R extends ACell>
ADataStructure<R>ADataStructure.conjAll(ACollection<R> xs) Adds multiple elements to this data structure, in the natural manner defined by the general data structure type.AHashSet.conjAll(ACollection<R> elements) ASet.conjAll(ACollection<R> xs) AVector.conjAll(ACollection<R> xs) List.conjAll(ACollection<R> xs) BlobMap.create(K k, V v) BlobMaps.create(K k, V v) Creates a list wrapping the given array.MapEntry.create(K key, V value) Creates a new MapEntry with the provided key and valueMapEntry.create(K key, V value) Creates a new MapEntry with the provided key and valueCreates a ListMap with the specified entries.Creates a ListMap with the specified entries.Creates a MapLeaf with the specified entries.Creates a MapLeaf with the specified entries.Constructs a map with the given keys and values.Constructs a map with the given keys and values.Create a map with a collection of entries.Create a map with a collection of entries.Maps.create(K k, V v) Maps.create(K k, V v) RefDirect.create(T value) Creates a new Direct ref to the given value.Creates a SetLeaf with the specified elements.Creates a SetLeaf with the specified elements.SetLeaf.create(V item) Sets.create(ACountable<T> source) Creates a set of all the elements in the given data structureCreate a SetTree given a number of element Refs to distribute among children.static <T extends ACell>
SignedData<T>static <T extends ACell>
SignedData<T>SignedData.create(AccountKey address, ASignature sig, Ref<T> ref) Creates a SignedData object with the given parameters.static <T extends ACell>
VectorLeaf<T>Creates a VectorLeaf with the given itemsstatic <T extends ACell>
VectorLeaf<T>Creates a VectorLeaf with the given items appended to the specified tailstatic <T extends ACell>
VectorLeaf<T>VectorLeaf.create(T[] things) Create a vector from an array of elements.Creates a canonical AVector with the given elementsCreates a Vector from the contents of an arbitrary sequenceVectors.create(Collection<?> elements) Coerces a collection to a vector.Vectors.create(Collection<?> elements) Coerces a collection to a vector.static <T extends ACell>
VectorTree<T>Create a TreeVector with the specified elements - things must have at least 32 elements (the minimum TreeVector size) - must be a whole multiple of 16 elements (complete chunks only)static <T extends ACell>
TACell.createAnnounced(T value, Consumer<Ref<ACell>> noveltyHandler) Creates an ANNOUNCED Ref with the given value in the current store.Ref.createArray(T[] values) RefSoft.createForHash(Hash hash) Create a RefSoft with a Hash reference.ACell.createPersisted(T value) Creates a persisted Ref with the given value in the current store.ACell.createPersisted(T value, Consumer<Ref<ACell>> noveltyHandler) Creates a persisted Ref with the given value in the current store.AccountKey.createRef()ACell.createRef()Creates a new Ref for this CellALongBlob.createRef()ASymbolic.createRef()static <T extends ACell>
SignedData<T>SignedData.createWithRef(AKeyPair keyPair, Ref<T> ref) Signs a data value Ref with the given keypair.Maps.createWithShift(int shift, List<MapEntry<K, V>> entries) Create a hashmap with the correct shift and given entries.Maps.createWithShift(int shift, List<MapEntry<K, V>> entries) Create a hashmap with the correct shift and given entries.Sets.createWithShift(int shift, ArrayList<Ref<T>> values) static <T extends ACell>
TFormat.decodeMultiCell(Blob data) Reads a cell from a Blob of data, allowing for non-embedded children following the first cellBlobMaps.empty()Returns the empty BlobMap.Lists.empty()Maps.empty()Maps.empty()Sets.empty()Vectors.empty()MapLeaf.emptyMap()MapLeaf.emptyMap()Maps.emptyRef()Maps.emptyRef()Sets.emptyRef()SetLeaf.emptySet()Creates a RefSoft using a specific Hash.Sets.fromCollection(Collection<T> source) Creates a set of all the elements in the given data structureRef.get(T value) Returns a direct Ref wrapping the given value.AccountStatus.getCallableFunction(Symbol sym) Gets a callable function from the environment, or null if not callableACell.getChildRefs()Gets an array of child Refs for this Cell, in the same order as order accessible by getRef.ABlobMap.getRef(int i) AccountStatus.getRef(int i) ACell.getRef()Gets the Ref for this Cell, creating a new direct reference if necessaryACell.getRef(int i) Gets a numbered child Ref from within this Cell.AMapEntry.getRef(int i) ARecordGeneric.getRef(int index) BlobMap.getRef(int i) BlobTree.getRef(int i) List.getRef(int i) MapEntry.getRef(int i) MapLeaf.getRef(int i) MapTree.getRef(int i) PeerStatus.getRef(int i) SetTree.getRef(int i) SignedData.getRef(int i) StringTree.getRef(int i) Syntax.getRef(int i) VectorLeaf.getRef(int i) VectorTree.getRef(int i) AHashSet.include(R a) ASet.include(R a) Updates the set to include the given elementAHashSet.includeAll(ASet<R> elements) ASet.includeAll(ASet<R> elements) Updates the set to include all the given elements.abstract <R extends ACell>
ACollection<R>Maps a function over a collection, applying it to each element in turn.<T extends ACell>
TACell.mark()<T extends ACell>
TCreate a map entry, converting key and value to correct CVM types.Create a map entry, converting key and value to correct CVM types.Constructs a map with the given keys and values.Constructs a map with the given keys and values.Creates a vector with the given values.Ref.persist()Persists this Ref in the current store if not embedded and not already persisted.Persists this Ref in the current store if not embedded and not already persisted.Ref.persistShallow()Persists a Ref shallowly in the current store.Ref.persistShallow(Consumer<Ref<ACell>> noveltyHandler) Persists a Ref shallowly in the current store.BlobMap.read(ByteBuffer bb) static <T extends ACell>
TDecodes a single Value from a Blob.static <T extends ACell>
TDecodes a single Value from a Blob, starting at a given offset Assumes the presence of a tag.static <T extends ACell>
THelper method to read a value encoded as a hex stringstatic <T extends ACell>
TFormat.read(ByteBuffer bb) Reads one complete Cell from a ByteBuffer.Reads a List from the specified Blob.List.read(ByteBuffer bb) Reads a List from the specified bytebuffer.MapLeaf.read(ByteBuffer bb, long count) Reads a MapLeaf from the provided ByteBuffer Assumes the header byte is already read.MapLeaf.read(ByteBuffer bb, long count) Reads a MapLeaf from the provided ByteBuffer Assumes the header byte is already read.Read a Hashmap from a Blob.Read a Hashmap from a Blob.Maps.read(ByteBuffer bb) Read a Hashmap from a ByteBuffer.Maps.read(ByteBuffer bb) Read a Hashmap from a ByteBuffer.MapTree.read(ByteBuffer bb, long count) Reads a ListMap from the provided ByteBuffer Assumes the header byte and count is already read.MapTree.read(ByteBuffer bb, long count) Reads a ListMap from the provided ByteBuffer Assumes the header byte and count is already read.SetLeaf.read(ByteBuffer bb, long count) Reads a MapLeaf from the provided ByteBuffer Assumes the header byte is already read.Sets.read(ByteBuffer bb) SetTree.read(ByteBuffer bb, long count) Reads a SetTree from the provided ByteBuffer Assumes the header byte and count is already read.static <T extends ACell>
SignedData<T>static <T extends ACell>
SignedData<T>SignedData.read(ByteBuffer data) Reads a SignedData instance from the given ByteBufferstatic <T extends ACell>
VectorLeaf<T>static <T extends ACell>
VectorLeaf<T>VectorLeaf.read(ByteBuffer bb, long count) Reads aVectorLeaffrom the provided ByteBuffer Assumes the header byte and count is already read.Vectors.read(ByteBuffer bb) Reads a Vector for the specified bytebuffer.static <T extends ACell>
VectorTree<T>static <T extends ACell>
VectorTree<T>VectorTree.read(ByteBuffer bb, long count) Reads a VectorTree from the provided ByteBuffer Assumes the header byte and count is already read.Reads a ref from the given Blob position.Ref.readRaw(ByteBuffer data) Reads a ref from the given ByteBuffer.Reads a Ref or embedded Cell value from a Blob Converts Embedded Cells to Direct Refs automatically.Format.readRef(ByteBuffer bb) Reads a Ref or embedded Cell value from the ByteBuffer.Vectors.repeat(T m, int count) Creates a List containing the elements of the provided vector in reverse orderASequence.subVector(long start, long length) Gets a vector containing the specified subset of this sequence.MapEntry.subVector(long start, long length) <R extends ACell>
VectorArray<R>VectorArray.subVector(long start, long length) VectorLeaf.subVector(long start, long length) ACollection.toVector()Converts this collection to a canonical vector of elementsASet.toVector()MapEntry.toVector()VectorLeaf.toVector()VectorTree.toVector()MapLeaf.unsafeCreate(MapEntry<K, V>... items) Creates aMapLeafMapLeaf.unsafeCreate(MapEntry<K, V>... items) Creates aMapLeafSetLeaf.unsafeCreate(Ref<V>... refs) Create a SetLeaf with raw element Refs.SetLeaf.unsafeCreate(V... elements) Create a SetLeaf with raw elements.SetTree.unsafeCreate(Ref<AHashSet<T>>[] children, int shift, short mask, long count) static <R extends ACell>
RRecursively unwraps a Syntax objectRef.updateRefs(Ref<T>[] refs, IRefFunction func) Updates an array of Refs with the given function.static <R extends ACell>
RRef.updateRefs(R a, IRefFunction func) Wraps a Vector as a list (will reverse element order)Methods in convex.core.data that return ACellModifier and TypeMethodDescriptionstatic ACell[]Format.decodeCells(Blob data) abstract ACellGet the value associated with a given key.abstract ACellGet the value associated with a given key.abstract ACellAMapEntry.get(long i) abstract ACellGets the record field content for a given key, or null if not found.final ACellGets the record field content for a given key, or null if not found.MapEntry.get(long i) final ACellACell.getCanonical()Gets the canonical representation of this Cell.AccountStatus.getHolding(Address addr) ACell[]ARecord.getValuesArray()Gets an array containing all values in this record, in format-defined key order.final ACellabstract ACellACell.toCanonical()Converts this Cell to its canonical version.BlobMap.toCanonical()Keyword.toCanonical()List.toCanonical()MapEntry.toCanonical()MapLeaf.toCanonical()StringShort.toCanonical()Symbol.toCanonical()Syntax.toCanonical()VectorLeaf.toCanonical()VectorTree.toCanonical()ACell[]ACollection.toCellArray()Converts this collection to a new Cell arrayACell[]ASequence.toCellArray()Converts this sequence to a new Cell arrayACell.updateRefs(IRefFunction func) Updates all Refs in this object using the given function.Methods in convex.core.data that return types with arguments of type ACellModifier and TypeMethodDescriptionRef.addAllToSet(ASet<ACell> store) Adds the value of this Ref and all non-embedded child values to a given set.AMapEntry.appendChunk(VectorLeaf<ACell> listVector) ARecord.assocEntry(MapEntry<Keyword, ACell> e) ARecord.empty()ARecord.entryAt(long i) ARecordGeneric.entryAt(long i) ARecord.entrySet()final VectorLeaf<ACell>AMapEntry.getChunk(long offset) MapEntry.getElementRef(long i) ARecord.getEntryByHash(Hash hash) AccountStatus.getEnvironment()Gets the Environment for this account.AccountStatus.getHoldings()Gets the holdings for this account.ARecord.getKeyRefEntry(Ref<ACell> keyRef) Syntax.getMeta()Gets the metadata for this syntax object.Syntax.getMeta()Gets the metadata for this syntax object.AccountStatus.getMetadata()AccountStatus.getMetadata()PeerStatus.getMetadata()Gets the Metadata of this PeerPeerStatus.getMetadata()Gets the Metadata of this PeerAMapEntry.iterator()AMapEntry.listIterator()AMapEntry.listIterator(long index) AMapEntry.next()AMapEntry.spliterator(long position) ARecord.toHashMap()Converts this record to a HashMapARecord.values()Gets a vector of values for this Record, in format-determined orderARecordGeneric.values()Methods in convex.core.data with parameters of type ACellModifier and TypeMethodDescriptionRefs.accumulateRefSet(ACell a) Accumulates the set of all unique Refs in the given object.Associates a blob key with a value in this data structure.abstract ADataStructure<E>Associates a key with a value in this associative data structure.Associates the given key with the specified value.static HashComputes the Hash for any ACell value.booleanabstract booleanTests if this Set contains a given valuebooleanABlobMap.containsKey(ACell key) abstract booleanADataStructure.containsKey(ACell key) Checks if the data structure contains the specified keybooleanAMap.containsKey(ACell key) booleanARecord.containsKey(ACell key) booleanASequence.containsKey(ACell key) booleanASet.containsKey(ACell key) booleanMapLeaf.containsKey(ACell key) booleanMapTree.containsKey(ACell key) abstract booleanAMap.containsValue(ACell value) CHecks if this map contains the given value.booleanARecord.containsValue(ACell value) booleanBlobMap.containsValue(ACell value) booleanMapLeaf.containsValue(ACell value) booleanMapTree.containsValue(ACell value) Creates a list wrapping the given array.Constructs a map with the given keys and values.static SyntaxWraps a value as a Syntax Object with empty metadata.static SyntaxWraps a value as a Syntax Object, adding the given new metadatastatic <T extends ACell>
VectorLeaf<T>Creates a VectorLeaf with the given itemsstatic <T extends ACell>
VectorLeaf<T>Creates a VectorLeaf with the given items appended to the specified tailstatic <T extends ACell>
VectorLeaf<T>VectorLeaf.create(T[] things) Create a vector from an array of elements.Creates a canonical AVector with the given elementsstatic <T extends ACell>
VectorTree<T>Create a TreeVector with the specified elements - things must have at least 32 elements (the minimum TreeVector size) - must be a whole multiple of 16 elements (complete chunks only)Ref.createArray(T[] values) static SyntaxSyntax.createUnchecked(ACell value, AHashMap<ACell, ACell> meta) Dissociates a key from this map, returning an updated map if the key was removed, or the same unchanged map if the key is not present.static BlobFormat.encodedBlob(ACell o) Gets the encoded Blob for an object in canonical message formatstatic ByteBufferFormat.encodedBuffer(ACell cell) Gets an new encoded ByteBuffer for an Cell in wire formatstatic StringFormat.encodedString(ACell cell) Gets a hex String representing an object's encodingstatic BlobFormat.encodeMultiCell(ACell a) Encode a Cell completely in multi-cell message format.booleanDetermines if this Blob is equal to another Object.booleanbooleanChecks for equality with another Cell.booleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanstatic intFormat.estimateEncodingSize(ACell cell) final Vabstract ACellGet the value associated with a given key.abstract ACellGet the value associated with a given key.final CVMBoolabstract Vfinal VGets the value at a specified key, or returns the fallback value if not foundabstract ACellGets the record field content for a given key, or null if not found.Gets the element at the specified keystatic intFormat.getEncodingLength(ACell value) Gets the MapEntry for the given keyASet.getValueRef(ACell k) Gets the Ref in the Set for a given value, or null if not foundSetLeaf.getValueRef(ACell k) SetTree.getValueRef(ACell k) static booleanFormat.isCanonical(ACell o) Returns true if the object is a canonical data object.static booleanFormat.isEmbedded(ACell cell) Determines if an object should be embedded directly in the encoding rather than referenced with a Ref / hash.static SyntaxMerge metadata into a Cell, after wrapping as a Syntax Objectstatic SyntaxWraps a value as a Syntax Object with empty metadata.static StringRefs.printMissingTree(ACell value) static voidRefs.printMissingTree(StringBuilder sb, ACell value) Utility function to locate missing datafinal ACellstatic longRefs.totalRefCount(ACell a) Counts the total number of Refs contained in a data object recursively.static longRefs.uniqueRefCount(ACell a) Counts the number of logically unique Refs for a Cell, i.e.SetLeaf.unsafeCreate(V... elements) Create a SetLeaf with raw elements.static <R> RUnwraps a Syntax Object to get the underlying value.static <R extends ACell>
RRecursively unwraps a Syntax objectstatic voidRefs.visitNonEmbedded(ACell a, Consumer<Ref<?>> visitor) Visit all non-embedded children of a Cell.AccountStatus.withHolding(Address addr, ACell value) static intWrites a cell encoding to a byte array, preceded by the appropriate tagstatic ByteBufferFormat.write(ByteBuffer bb, ACell cell) Writes a canonical object to a ByteBuffer, preceded by the appropriate tagMethod parameters in convex.core.data with type arguments of type ACellModifier and TypeMethodDescriptionprotected voidARecord.accumulateEntrySet(HashSet<Map.Entry<Keyword, ACell>> h) protected voidARecord.accumulateValues(ArrayList<ACell> al) Ref.addAllToSet(ASet<ACell> store) Adds the value of this Ref and all non-embedded child values to a given set.boolean<T extends ACell>
TbooleanAMapEntry.appendChunk(VectorLeaf<ACell> listVector) ARecord.assocEntry(MapEntry<Keyword, ACell> e) longAMapEntry.commonPrefixLength(AVector<ACell> b) final booleanAMap.containsKeyRef(Ref<ACell> ref) static PeerStatusstatic PeerStatusstatic SyntaxWraps a value as a Syntax Object, adding the given new metadatastatic SyntaxWraps a value as a Syntax Object, adding the given new metadatastatic <T extends ACell>
TACell.createAnnounced(T value, Consumer<Ref<ACell>> noveltyHandler) Creates an ANNOUNCED Ref with the given value in the current store.ACell.createPersisted(T value, Consumer<Ref<ACell>> noveltyHandler) Creates a persisted Ref with the given value in the current store.static SyntaxSyntax.createUnchecked(ACell value, AHashMap<ACell, ACell> meta) static SyntaxSyntax.createUnchecked(ACell value, AHashMap<ACell, ACell> meta) static BlobFormat.encodeDelta(List<ACell> cells) Encode a list of cells as a delta message.voidvoidARecord.forEach(BiConsumer<? super Keyword, ? super ACell> action) ABlobMap.getKeyRefEntry(Ref<ACell> ref) AMap.getKeyRefEntry(Ref<ACell> ref) Get an entry given a Ref to the key value.ARecord.getKeyRefEntry(Ref<ACell> keyRef) MapLeaf.getKeyRefEntry(Ref<ACell> ref) MapTree.getKeyRefEntry(Ref<ACell> ref) <T extends ACell>
TMerges metadata into this syntax object, overriding existing metadataMerges metadata into this syntax object, overriding existing metadataPersists this Ref in the current store if not embedded and not already persisted.Ref.persistShallow(Consumer<Ref<ACell>> noveltyHandler) Persists a Ref shallowly in the current store.<R> RMapEntry.reduce(BiFunction<? super R, ? super ACell, ? extends R> func, R value) <R> RARecord.reduceEntries(BiFunction<? super R, MapEntry<Keyword, ACell>, ? extends R> func, R initial) <R> RARecord.reduceValues(BiFunction<? super R, ? super ACell, ? extends R> func, R initial) voidMapEntry.visitElementRefs(Consumer<Ref<ACell>> f) AccountStatus.withEnvironment(AHashMap<Symbol, ACell> newEnvironment) Replaces metadata on this Syntax Object.Replaces metadata on this Syntax Object.PeerStatus.withPeerData(AHashMap<ACell, ACell> newMeta) PeerStatus.withPeerData(AHashMap<ACell, ACell> newMeta) protected abstract ARecordARecordGeneric.withValues(AVector<ACell> newValues) Updates the record with a new set of values.Constructors in convex.core.data with parameters of type ACellModifierConstructorDescriptionprotectedVectorArray(long count, T[] array, int offset, int stride) Constructor parameters in convex.core.data with type arguments of type ACellModifierConstructorDescriptionprotectedARecordGeneric(RecordFormat format, AVector<ACell> values) -
Uses of ACell in convex.core.data.prim
Subclasses of ACell in convex.core.data.primModifier and TypeClassDescriptionclassAbstract base class for CVM Integer valuesclassBAse class for CVM numeric typesclassAbstract base class for CVM primitive values.classArbitrary precision Integer implementation for the CVM.final classClass for CVM Boolean types.final classClass for CVM Character values.final classClass for CVM double floating-point values.final classClass for CVM long values.Methods in convex.core.data.prim that return ACellMethods in convex.core.data.prim with parameters of type ACell -
Uses of ACell in convex.core.data.type
Classes in convex.core.data.type with type parameters of type ACellModifier and TypeClassDescriptionclassAStandardType<T extends ACell>Base type for standard types mapped directly to a branch of ACell hierarchyMethods in convex.core.data.type that return ACellModifier and TypeMethodDescriptionAny.defaultValue()abstract ACellAType.defaultValue()Gets the default value for this type.Nil.defaultValue()Any.implicitCast(ACell a) abstract ACellAType.implicitCast(ACell a) Gets the default value for this type.Nil.implicitCast(ACell a) Methods in convex.core.data.type that return types with arguments of type ACellModifier and TypeMethodDescriptionAny.getJavaClass()AType.getJavaClass()Gets the Java common base class for all instances of this type.Nil.getJavaClass()Number.getJavaClass()Methods in convex.core.data.type with parameters of type ACellModifier and TypeMethodDescriptionbooleanbooleanbooleanabstract booleanChecks if a value is an instance of this Type.booleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanbooleanAddressType.implicitCast(ACell a) Any.implicitCast(ACell a) AStandardType.implicitCast(ACell a) abstract ACellAType.implicitCast(ACell a) Gets the default value for this type.Blob.implicitCast(ACell a) BlobMapType.implicitCast(ACell a) Boolean.implicitCast(ACell a) CharacterType.implicitCast(ACell a) ACollection<?>Collection.implicitCast(ACell a) ACountable<?>Countable.implicitCast(ACell a) DataStructure.implicitCast(ACell a) Double.implicitCast(ACell a) Function.implicitCast(ACell a) Integer.implicitCast(ACell a) KeywordType.implicitCast(ACell a) AList<?>List.implicitCast(ACell a) Long.implicitCast(ACell a) Map.implicitCast(ACell a) Nil.implicitCast(ACell a) Number.implicitCast(ACell a) OpCode.implicitCast(ACell a) Record.implicitCast(ACell a) ASequence<?>Sequence.implicitCast(ACell a) ASet<?>Set.implicitCast(ACell a) StringType.implicitCast(ACell a) SymbolType.implicitCast(ACell a) SyntaxType.implicitCast(ACell a) Vector.implicitCast(ACell a) -
Uses of ACell in convex.core.exceptions
Methods in convex.core.exceptions with type parameters of type ACellModifier and TypeMethodDescription<T extends ACell>
SignedData<T>BadSignatureException.getSignature() -
Uses of ACell in convex.core.lang
Classes in convex.core.lang with type parameters of type ACellModifier and TypeClassDescriptionclassBase class for functions expressed as values "You know what's web-scale? The Web.classAbstract base class for CVM operations "...that was the big revelation to me when I was in graduate school—when I finally understood that the half page of code on the bottom of page 13 of the Lisp 1.5 manual was Lisp in itself.classRepresentation of CVM execution context.interfaceInterface for invokable objects with function interface.Subclasses of ACell in convex.core.langModifier and TypeClassDescriptionclassBase class for functions expressed as values "You know what's web-scale? The Web.classAbstract base class for CVM operations "...that was the big revelation to me when I was in graduate school—when I finally understood that the half page of code on the bottom of page 13 of the Lisp 1.5 manual was Lisp in itself.Fields in convex.core.lang with type parameters of type ACellModifier and TypeFieldDescriptionstatic final CoreFn<ADataStructure<ACell>>Core.ASSOCCore.ASSOC_INCore.CALL_STARCore.COMPILECore.CONCATstatic final CoreFn<ADataStructure<ACell>>Core.CONJCore.CONSCore.DIFFERENCECore.DISJCore.EMPTYContext.EMPTY_BINDINGSCore.ENVIRONMENTDefault initial environment importing core namespaceCore.EVALCore.EVAL_ASCore.EXPANDCore.FIRSTCore.GETCore.GET_HOLDINGCore.GET_INCompiler.INITIAL_EXPANDERInitial expander used for expansion of forms prior to compilation.Core.INITIAL_EXPANDERCore.INTERSECTIONstatic final CoreFn<ADataStructure<ACell>>Core.INTOCore.KEYSCore.LASTCore.LISTCore.LOOKUPCore.MERGECore.MERGECore.METACore.METACore.METADATADefault initial core metadataCore.METADATADefault initial core metadataCore.NEXTCore.NTHCompiler.QUASIQUOTE_EXPANDERExpander used for expansion of `quasiquote` forms.Core.QUASIQUOTE_EXPANDERCompiler.QUOTE_EXPANDERExpander used for expansion of `quote` forms.Core.QUOTE_EXPANDERCore.REDUCECore.REDUCEDCore.REVERSECore.SECONDCore.SETCore.SET_CONTROLLERCore.SET_HOLDINGCore.SLICECore.UNDEF_STARCore.UNIONCore.UNSYNTAXCore.VALUESCore.VECCore.VECTORMethods in convex.core.lang with type parameters of type ACellModifier and TypeMethodDescriptionContext.acceptFunds(long amount) Accepts offered funds for the given address.Executes a call to an Actor.Executes a call to an Actor.RT.allEqual(T[] values) Returns true if all elements in an array are equal.static <R extends ACell>
ADataStructure<R>RT.assoc(ADataStructure<R> coll, ACell key, ACell value) Associates a key position with a given value in an associative data structureRT.castFunction(ACell a) Coerces an argument to a function interface.Converts any collection to a setRT.castVector(ACell o) Converts any countable data structure to a vector.Compile a form in this Context.Context.compileAll(ASequence<ACell> forms) Compiles a sequence of forms in the current context.Prepends an element to a sequential data structure to create a new list.Prepends two elements to a sequential data structure.Prepends three elements to a sequential data structure.Context.consumeJuice(long gulp) Consumes juice, returning an updated context if sufficient juice remains or an exceptional JUICE error.Context.createFake(State state) Creates an execution context with a default actor address.Context.createFake(State state, Address origin) Creates a "fake" execution context for the given address.Context.createInitial(State state, Address origin, long juice) Creates an initial execution context with the specified actor as origin, and reserving the appropriate amount of juice.Context.createPeer(AccountKey accountKey, long initialStake) Creates a new peer with the specified stake.static <T extends ACell>
TConverts a Java value to a CVM type.static <E extends ACell>
ACountable<E>RT.ensureCountable(ACell a) Casts to an ACountable instancestatic <E extends ACell>
ADataStructure<E>RT.ensureDataStructure(ACell a) Casts to an ADataStructure instanceRT.ensureFunction(ACell a) Ensure the argument is a valid CVM function.RT.ensureHashMap(ACell a) Casts the argument to a hashmap.RT.ensureHashMap(ACell a) Casts the argument to a hashmap.Converts the argument to a non-null Map.Converts the argument to a non-null Map.RT.ensureMapEntry(ACell x) Converts an object to a map entry.RT.ensureMapEntry(ACell x) Converts an object to a map entry.RT.ensureSequence(ACell o) Ensures argument is a sequence data structure.Ensures the value is a Set.Executes a form in the current context.Evaluates a form as another Address.Executes this op with the given context.Executes an Op within this context, returning an updated context.Context.executeLocalBinding(ACell bindingForm, AOp<I> op) Execute an op, and bind the result to the given binding form in the lexical environment Binding form may be a destructuring formContext.expandCompile(ACell form) Expand and compile a form in this Context.Context.fork()Forks this context, creating a new copy of all local stateContext.forkWithAddress(Address newAddress) Switches the context to a new address, creating a new execution context.Context.handleQueryResult(Context<R> ctx) Just take result and juice from query.Context.handleStateResults(Context<?> returnContext, boolean rollback) Handle results at the end of an execution boundary (actor call, transaction etc.)Invokes a function within this context, returning an updated context.Returns a Vector of keys of a Map, or null if the object is not a Map WARNING: Potentially O(n) in size of MapLooks up a symbol's value in the current execution context, without any effect on the Context (no juice consumed etc.)Context.lookupDynamic(Address address, Symbol symbol) Looks up a value in the dynamic environment.Context.lookupDynamic(Symbol symbol) Looks up a value in the dynamic environment.static <T extends ACell>
TGets the nth element from a sequential collection.static <T extends ACell>
TVariant of nth that also handles Java Arrays.Executes code as if run in the current account, but always discarding state changes.Executes code as if run in the specified account, but always discarding state changes.Ops.read(ByteBuffer bb) Reads an Op from the given ByteBuffer.static <R extends ACell>
RParses an expression and returns a canonical Cell representing a formExecutes a form at the top level in a new forked Context.Executes an Op at the top level in a new forked Context.Converts any collection of cells into a Sequence data structure.Context.setAccountKey(AccountKey publicKey) Sets the public key for the current accountContext.setController(Address address) Sets the controller for the current AccountContext.setDelegatedStake(AccountKey peerKey, long newStake) Sets the delegated stake on a specified peer to the specified level.Context.setPeerData(AccountKey peerKey, AHashMap<ACell, ACell> data) Sets peer data.Context.setPeerStake(AccountKey peerKey, long newStake) Sets the stake for a given Peer, transferring coins from the current address.Context.updateBindings(ACell bindingForm, Object args) Updates local bindings with a given binding formReturns the vector of values of a map, or null if the object is not a mapRT.vec(ACollection<T> coll) Converts any collection to a vector.Converts any data structure to a vectorContext.withAccountStatus(Address target, AccountStatus accountStatus) Context.withArgumentError(String message) Context.withArityError(String message) Context.withAssertError(String message) Context.withBoundsError(long index) Context.withCastError(int argIndex, ACell[] args, AType klass) Context.withCastError(int argIndex, AType klass) Context.withCastError(ACell a, AType klass) Context.withCastError(ACell a, String message) Context.withCastError(AType klass) Context.withCompileError(String message) Context.withCompilerState(Context.CompilerState comp) Context.withError(ErrorValue error) Context.withException(long gulp, AExceptional value) Context.withException(AExceptional exception) Context.withFundsError(String message) Context.withJuice(long newJuice) Context.withJuiceError()Returns this context with a JUICE error, consuming all juice.Context.withLocalBindings(AVector<ACell> newBindings) Updates this Context with new local bindings.Context.withResult(long gulp, R value) Context.withResult(ACell value) Returns a context updated with the specified result.Updates this context with a given value, which may either be a normal result or exceptional valueMethods in convex.core.lang that return ACellModifier and TypeMethodDescriptionstatic ACellRT.get(ADataStructure<?> coll, ACell key) Gets an element from a data structure using the given key.static ACellRT.get(ADataStructure<?> coll, ACell key, ACell notFound) Gets an element from a data structure using the given key.Context.getErrorCode()Gets the error code of this context's return valueContext.lookupValue(Address address, Symbol sym) Looks up value for the given symbol in this contextContext.lookupValue(Symbol sym) Looks up value for the given symbol in this contextstatic ACellGets the minimum of a set of numeric valuesstatic ACellGets the minimum of two numeric valuesstatic ACellGets the minimum of a set of numeric valuesstatic ACellGets the minimum of two numeric valuesstatic ACellParses an expression and returns a form as an Objectstatic ACellReader.readResource(String path) static ACellReader.readResourceAsData(String path) static ACellGets the signum of a numeric valueAOp.toCanonical()Methods in convex.core.lang that return types with arguments of type ACellModifier and TypeMethodDescriptionExpands a form with the default *initial-expander*Context.getEnvironment()Gets the current EnvironmentContext.getHoldings()Gets the holdings map for the current account.Context.getLocalBindings()Context.getLog()Gets the log map for the current context.Context.getMetadata()Gets the metadata for the current AccountContext.getMetadata()Gets the metadata for the current AccountContext.lookupDynamicEntry(Address address, Symbol sym) Looks up an environment entry for a specific address without consuming juice.Context.lookupExpander(ACell form) Looks up an expander from a form in this contextContext.lookupMeta(Address address, Symbol sym) Looks up Metadata for the given symbol in this contextContext.lookupMeta(Address address, Symbol sym) Looks up Metadata for the given symbol in this contextContext.lookupMeta(Symbol sym) Looks up Metadata for the given symbol in this contextContext.lookupMeta(Symbol sym) Looks up Metadata for the given symbol in this contextParses an expression list and returns a list of raw formsMethods in convex.core.lang with parameters of type ACellModifier and TypeMethodDescriptionstatic APrimitiveGets the absolute value of a numeric value.Executes a call to an Actor.Executes a call to an Actor.RT.allEqual(T[] values) Returns true if all elements in an array are equal.static <R extends ACell>
ADataStructure<R>RT.assoc(ADataStructure<R> coll, ACell key, ACell value) Associates a key position with a given value in an associative data structurestatic booleanConverts any CVM value to a boolean value.static AccountKeyRT.castAccountKey(ACell a) Coerce to an AccountKey.static AddressRT.castAddress(ACell a) Casts the argument to a valid Address.static ABlobConverts an object to a canonical blob representation.static CVMLongExplicitly converts a numerical value to a CVM Byte.static CVMDoubleRT.castDouble(ACell a) Converts a numerical value to a CVM Double.RT.castFunction(ACell a) Coerces an argument to a function interface.static AIntegerRT.castInteger(ACell a) Converts a numerical value to a CVM Integer.static KeywordRT.castKeyword(ACell a) Coerces an named value to a Keyword.static CVMLongConverts a numerical value to a CVM Long.Converts any collection to a setRT.castVector(ACell o) Converts any countable data structure to a vector.static CVMDoubleGets the ceiling of a number after casting to a Double.static Class<?>RT.commonNumericType(ACell[] args) Get the target common numeric type for a given set of arguments.static LongCompares two objects representing numbers numerically.Compile a form in this Context.Prepends two elements to a sequential data structure.Prepends three elements to a sequential data structure.static LongGets the count of elements in a countable data structure.Defines a value in the environment of the current addressContext.defineWithSyntax(Syntax syn, ACell value) Defines a value in the environment of the current address, updating the metadataContext.deployActor(ACell code) Deploys an Actor in this context.static CVMDoublestatic AccountKeyRT.ensureAccountKey(ACell a) Implicit cast to an AccountKey.static AddressRT.ensureAddress(ACell a) Ensures the argument is a valid Address.static ADataStructure<?>RT.ensureAssociative(ACell o) Ensures the argument is an associative data structure instance.static ABlobRT.ensureBlob(ACell a) Implicitly casts the argument to a Blobstatic CVMCharRT.ensureChar(ACell a) Implicitly casts argument to a CVM Characterstatic <E extends ACell>
ACountable<E>RT.ensureCountable(ACell a) Casts to an ACountable instancestatic <E extends ACell>
ADataStructure<E>RT.ensureDataStructure(ACell a) Casts to an ADataStructure instancestatic CVMDoubleRT.ensureDouble(ACell a) Ensures the argument is a CVM Double value.RT.ensureFunction(ACell a) Ensure the argument is a valid CVM function.static HashRT.ensureHash(ACell o) Coerces to Hash type.RT.ensureHashMap(ACell a) Casts the argument to a hashmap.static AIntegerRT.ensureInteger(ACell a) Ensures the argument is a CVM Integer value.static CVMLongRT.ensureLong(ACell a) Ensures the argument is a CVM Integer within Long range.Converts the argument to a non-null Map.RT.ensureMapEntry(ACell x) Converts an object to a map entry.static ANumericRT.ensureNumber(ACell a) Converts a CVM value to the standard numeric representation.RT.ensureSequence(ACell o) Ensures argument is a sequence data structure.Ensures the value is a Set.static AStringRT.ensureString(ACell a) Ensures the argument is a CVM Stringstatic SymbolRT.ensureSymbol(ACell a) Ensures the argument is a Symbol.static CVMBoolExecutes a form in the current context.Evaluates a form as another Address.Context.executeLocalBinding(ACell bindingForm, AOp<I> op) Execute an op, and bind the result to the given binding form in the lexical environment Binding form may be a destructuring formstatic CVMDoubleComputes the result of a exp operation.Expands a form with the default *initial-expander*Context.expandCompile(ACell form) Expand and compile a form in this Context.static intRT.findNonNumeric(ACell[] args) Finds the first non-numeric value in an array.static CVMDoubleGets the floor a number after casting to a double.static CVMBoolstatic ACellRT.get(ADataStructure<?> coll, ACell key) Gets an element from a data structure using the given key.static ACellRT.get(ADataStructure<?> coll, ACell key, ACell notFound) Gets an element from a data structure using the given key.static ATypeGet the runtime Type of any CVM valuestatic CVMBoolInvokes a function within this context, returning an updated context.Invoke this function in the given context.static booleanTests if a value is one of the canonical boolean values 'true' or 'false'static booleanChecks if a Cell is a valid CVM valuestatic booleanstatic booleanTests if a Value is a valid numerical value type.static <T> TConverts a CVM value to equivalent JSON value as expressed in equivalent JVM types.static <T> TConverts a CVM value to equivalent JVM valueReturns a Vector of keys of a Map, or null if the object is not a Map WARNING: Potentially O(n) in size of Mapstatic CVMBoolContext.lookupExpander(ACell form) Looks up an expander from a form in this contextstatic CVMBoolstatic ACellGets the minimum of a set of numeric valuesstatic ACellGets the minimum of two numeric valuesstatic ACellGets the minimum of a set of numeric valuesstatic ACellGets the minimum of two numeric valuesstatic ANumericstatic ANumericstatic AStringGets the name from a CVM value.static <T extends ACell>
TGets the nth element from a sequential collection.static Class<?>RT.numericType(ACell a) Gets the numeric class of an objectstatic ANumericstatic CVMDoubleComputes the result of a pow operation.static longJuice.precostNumericLinear(ACell[] args) Pre-costs a sequence of numeric arguments for addition / multiplicationstatic longJuice.precostNumericMultiply(ACell[] args) Pre-costs a sequence of numeric arguments for multiplicationstatic AStringPrints a value to a String as long as the result fits within a given print limit.static AStringPrints a cell to a BlobBuilder, up to a specified limit of bytes WARNING: May return nullstatic booleanRT.print(BlobBuilder bb, ACell a, long limit) Prints a cell to a BlobBuilder, up to a specified limit of bytesExecutes code as if run in the current account, but always discarding state changes.Executes code as if run in the specified account, but always discarding state changes.Executes a form at the top level in a new forked Context.Converts any collection of cells into a Sequence data structure.Context.setHolding(Address targetAddress, ACell value) Sets the holding for a specified target account.static ACellGets the signum of a numeric valuestatic CVMDoubleGets the exact positive square root of a number after casting to a Double.static AStringConverts a value to a CVM String representation.static AStringConverts arguments to an AString representation.booleanAFn.supportsArgs(ACell[] args) Tests if this function supports the given argument list By default, checks if the function supports the given arity only.static StringConverts a value to a Java String representationstatic StringConverts a value to a Java String representationContext.updateBindings(ACell bindingForm, Object args) Updates local bindings with a given binding formstatic voidRT.validateCell(ACell o) Validate a Cell.Returns the vector of values of a map, or null if the object is not a mapContext.withCastError(int argIndex, ACell[] args, AType klass) Context.withCastError(ACell a, AType klass) Context.withCastError(ACell a, String message) Context.withResult(ACell value) Returns a context updated with the specified result.Method parameters in convex.core.lang with type arguments of type ACellModifier and TypeMethodDescriptionAppends a log entry for the current address.Context.compileAll(ASequence<ACell> forms) Compiles a sequence of forms in the current context.static longJuice.costBuildStructure(ACountable<ACell> counted, long n) Computes the data build cost of a countable structure of given lengthInvoke this function in the given context.Schedules an operation for the specified future timestamp.Context.setPeerData(AccountKey peerKey, AHashMap<ACell, ACell> data) Sets peer data.Context.setPeerData(AccountKey peerKey, AHashMap<ACell, ACell> data) Sets peer data.Context.withLocalBindings(AVector<ACell> newBindings) Updates this Context with new local bindings.Constructor parameters in convex.core.lang with type arguments of type ACellModifierConstructorDescriptionprotectedContext(convex.core.lang.Context.ChainState chainState, long juice, AVector<ACell> localBindings2, T result, int depth, AExceptional exception, AVector<AVector<ACell>> log, Context.CompilerState comp) -
Uses of ACell in convex.core.lang.impl
Classes in convex.core.lang.impl with type parameters of type ACellModifier and TypeClassDescriptionclassAbstract base class for functions that can close over a lexical environment.classAbstract base class for data structure lookup functions.classAbstract base class for core language functions implemented in the Runtime Core functions are tagged using their symbols in on-chain representationclassValue class representing a instantiated closure / lambda function.classClass representing a halt return value "Computers are useless.classclassclassclassclassReturnValue<T extends ACell>Class representing a function return value "Computers are useless.classRollbackValue<T extends ACell>Class representing a function return value "Computers are useless.classWrapper for interpreting a sequence object as an invokable functionclassSubclasses of ACell in convex.core.lang.implModifier and TypeClassDescriptionclassAbstract base class for functions that can close over a lexical environment.classAbstract base class for data structure lookup functions.classAbstract base class for core language functions implemented in the Runtime Core functions are tagged using their symbols in on-chain representationclassAbstract base class for core predicate functionsclassValue class representing a instantiated closure / lambda function.classclassclassclassWrapper for interpreting a sequence object as an invokable functionclassFields in convex.core.lang.impl declared as ACellFields in convex.core.lang.impl with type parameters of type ACellMethods in convex.core.lang.impl with type parameters of type ACellModifier and TypeMethodDescriptionCoreFn.getRef(int i) Fn.getRef(int i) MultiFn.getRef(int i) Fn.read(ByteBuffer bb) MultiFn.read(ByteBuffer bb) HaltValue.wrap(T value) static <T extends ACell>
ReturnValue<T>ReturnValue.wrap(T value) static <T extends ACell>
RollbackValue<T>RollbackValue.wrap(T value) Methods in convex.core.lang.impl that return ACellModifier and TypeMethodDescriptionabstract ACellAExceptional.getCode()Returns the Exception code for this exceptional valueErrorValue.getCode()Gets the Error Code for this ErrorVAlue instance.HaltValue.getCode()RecurValue.getCode()Reduced.getCode()ReturnValue.getCode()RollbackValue.getCode()TailcallValue.getCode()ErrorValue.getLog()Gets the CVM local log at the time of the Error.abstract ACellAExceptional.getMessage()Gets the message for an exceptional value.ErrorValue.getMessage()Gets the optional message associated with this error value, or null if not supplied.HaltValue.getMessage()RecurValue.getMessage()Reduced.getMessage()ReturnValue.getMessage()RollbackValue.getMessage()TailcallValue.getMessage()ATrampoline.getValue(int i) Reduced.getValue()ACell[]ATrampoline.getValues()ADataFn.toCanonical()Fn.toCanonical()Methods in convex.core.lang.impl that return types with arguments of type ACellModifier and TypeMethodDescriptionFn.getParams()Returns the declared param names for a function.Methods in convex.core.lang.impl with parameters of type ACellModifier and TypeMethodDescriptionvoidStores the CVM local log at the point of the errorstatic ErrorValuestatic ErrorValueCreates an ErrorValue with the specified type and message.static ErrorValueCreates an ErrorValue with the specified type and message.static ErrorValueCreates an ErrorValue with the specified type and message.abstract booleanstatic RecurValueWraps an object array as a RecurValuestatic Reducedstatic TailcallValueMethod parameters in convex.core.lang.impl with type arguments of type ACellModifier and TypeMethodDescriptionAClosure.withEnvironment(AVector<ACell> env) Produces an copy of this closure with the specified environmentFn.withEnvironment(AVector<ACell> env) MultiFn.withEnvironment(AVector<ACell> env) Constructors in convex.core.lang.impl with parameters of type ACellConstructor parameters in convex.core.lang.impl with type arguments of type ACell -
Uses of ACell in convex.core.lang.ops
Classes in convex.core.lang.ops with type parameters of type ACellModifier and TypeClassDescriptionclassAbstract base class for Ops with multiple nested operations MultiOps may selectively evaluate sub-expressions.classOp representing a conditional expression.classOperation representing a constant value "One man's constant is another man's variable." - Alan PerlisclassOp that creates a definition in the current environment.classOp for executing a sequence of child operations in order "Design is to take things apart in such a way that they can be put back together" - Rich HickeyclassOp representing the invocation of a function.classOp responsible for creating a new function (closure).classOp for executing a body after lexically binding one or more symbols.classOp to look up a local value from the lexical environmentclassOp to look up a Symbol in the current execution context.classOp for executing a sequence of child operations in order in query mode (no state changes) "Design is to take things apart in such a way that they can be put back together" - Rich HickeyclassOp to set a lexical value in the local execution context.classOp representing special Symbols like *address* and *caller*Subclasses of ACell in convex.core.lang.opsModifier and TypeClassDescriptionclassAbstract base class for Ops with multiple nested operations MultiOps may selectively evaluate sub-expressions.classOp representing a conditional expression.classOperation representing a constant value "One man's constant is another man's variable." - Alan PerlisclassOp that creates a definition in the current environment.classOp for executing a sequence of child operations in order "Design is to take things apart in such a way that they can be put back together" - Rich HickeyclassOp representing the invocation of a function.classOp responsible for creating a new function (closure).classOp for executing a body after lexically binding one or more symbols.classOp to look up a local value from the lexical environmentclassOp to look up a Symbol in the current execution context.classOp for executing a sequence of child operations in order in query mode (no state changes) "Design is to take things apart in such a way that they can be put back together" - Rich HickeyclassOp to set a lexical value in the local execution context.classOp representing special Symbols like *address* and *caller*Fields in convex.core.lang.ops with type parameters of type ACellMethods in convex.core.lang.ops with type parameters of type ACellModifier and TypeMethodDescriptionCreate a Cond operation with the given nested operationsConstant.create(T value) Local.create(long position) Creates Local to look up a lexical value in the given positionCreates Set Op for the given opCodeConstant.createFromRef(Ref<T> valueRef) Gets the special Op for a given Symbol, or null if not foundAMultiOp.getRef(int i) Constant.getRef(int i) Lambda.getRef(int i) Let.getRef(int i) Lookup.getRef(int i) Constant.nil()Cond.read(ByteBuffer b) Constant.read(ByteBuffer bb) Def.read(ByteBuffer b) Do.read(ByteBuffer b) Invoke.read(ByteBuffer bb) Lambda.read(ByteBuffer bb) Let.read(ByteBuffer b, boolean isLoop) Local.read(ByteBuffer bb) Lookup.read(ByteBuffer bb) Query.read(ByteBuffer b) Set.read(ByteBuffer bb) Methods in convex.core.lang.ops with parameters of type ACellModifier and TypeMethodDescriptionMethod parameters in convex.core.lang.ops with type arguments of type ACellModifier and TypeMethodDescriptionRecreates this object with an updated list of child Ops.Constructor parameters in convex.core.lang.ops with type arguments of type ACellModifierConstructorDescriptionprotectedprotectedprotectedprotectedprotectedprotected -
Uses of ACell in convex.core.lang.reader
Methods in convex.core.lang.reader that return ACellModifier and TypeMethodDescriptionAntlrReader.CRListener.pop()static ACellstatic ACellstatic ACellAntlrReader.read(org.antlr.v4.runtime.CharStream cs) static ACellReaderUtils.specialLiteral(String s) Methods in convex.core.lang.reader that return types with arguments of type ACellModifier and TypeMethodDescriptionReaderUtils.interpretMetadata(ACell metaNode) Converts a metadata object according to the following rule: - Map -> unchanged - Keyword -> {:keyword true} - Any other expression -> {:tag expression}ReaderUtils.interpretMetadata(ACell metaNode) Converts a metadata object according to the following rule: - Map -> unchanged - Keyword -> {:keyword true} - Any other expression -> {:tag expression}AntlrReader.CRListener.popList()AntlrReader.readAll(org.antlr.v4.runtime.CharStream cs) Methods in convex.core.lang.reader with parameters of type ACellModifier and TypeMethodDescriptionReaderUtils.interpretMetadata(ACell metaNode) Converts a metadata object according to the following rule: - Map -> unchanged - Keyword -> {:keyword true} - Any other expression -> {:tag expression}void -
Uses of ACell in convex.core.store
Methods in convex.core.store with type parameters of type ACellModifier and TypeMethodDescriptionAStore.checkCache(Hash h) checks in-memory cache for a stored RefMemoryStore.checkCache(Hash h) <T extends ACell>
TAStore.getRootData()Gets the Root Data from the Store.<T extends ACell>
TMemoryStore.getRootData()AStore.getRootRef()Gets a Ref for Root Data.MemoryStore.persistRef(Ref<T> ref, Consumer<Ref<ACell>> noveltyHandler, int requiredStatus, boolean topLevel) AStore.refForHash(Hash hash) Gets the stored Ref for a given hash value, or null if not found in the store.MemoryStore.refForHash(Hash hash) AStore.setRootData(T data) Sets the root data for this StoreMemoryStore.setRootData(T data) Stores a @Ref in long term storage as defined by this store implementation.AStore.storeTopRef(Ref<T> ref, int status, Consumer<Ref<ACell>> noveltyHandler) Stores a top level @Ref in long term storage as defined by this store implementation.MemoryStore.storeTopRef(Ref<T> ref, int status, Consumer<Ref<ACell>> noveltyHandler) Methods in convex.core.store that return ACellMethods in convex.core.store with parameters of type ACellMethod parameters in convex.core.store with type arguments of type ACellModifier and TypeMethodDescriptionMemoryStore.persistRef(Ref<T> ref, Consumer<Ref<ACell>> noveltyHandler, int requiredStatus, boolean topLevel) Stores a @Ref in long term storage as defined by this store implementation.AStore.storeTopRef(Ref<T> ref, int status, Consumer<Ref<ACell>> noveltyHandler) Stores a top level @Ref in long term storage as defined by this store implementation.MemoryStore.storeTopRef(Ref<T> ref, int status, Consumer<Ref<ACell>> noveltyHandler) -
Uses of ACell in convex.core.transactions
Subclasses of ACell in convex.core.transactionsModifier and TypeClassDescriptionclassAbstract base class for immutable transactions Transactions may modify the on-chain State according to the rules of the specific transaction type.classTransaction representing a Call to an Actor.classTransaction class representing the Invoke of an on-chain operation.classThe Multi class enables multiple child transactions to be grouped into a single wrapper transaction with useful joint execution semantics.classTransaction class representing a coin Transfer from one account to anotherFields in convex.core.transactions declared as ACellFields in convex.core.transactions with type parameters of type ACellMethods in convex.core.transactions with type parameters of type ACellModifier and TypeMethodDescriptionApplies the functional effect of this transaction to the current state.Call.getRef(int i) Invoke.getRef(int i) Multi.getRef(int i) Methods in convex.core.transactions that return ACellModifier and TypeMethodDescriptionMethods in convex.core.transactions with parameters of type ACellMethod parameters in convex.core.transactions with type arguments of type ACellModifier and TypeMethodDescriptionstatic CallCall.create(Address address, long sequence, Address target, long offer, Symbol functionName, AVector<ACell> args) static CallCall.create(Address address, long sequence, Address target, Symbol functionName, AVector<ACell> args) Constructors in convex.core.transactions with parameters of type ACellConstructor parameters in convex.core.transactions with type arguments of type ACell -
Uses of ACell in convex.core.util
Methods in convex.core.util with type parameters of type ACellModifier and TypeMethodDescriptionstatic <T extends ACell,U>
longUtils.binarySearch(ASequence<T> L, Function<T, U> value, Comparator<U> comparator, U target) Binary Search for an exact or approximate (leftmost) value.static <T extends ACell,U>
TUtils.binarySearchLeftmost(ASequence<T> L, Function<T, U> value, Comparator<U> comparator, U target) Leftmost Binary Search.static <T extends ACell>
TUtils.updateRefs(T o, IRefFunction func) Methods in convex.core.util that return ACellModifier and TypeMethodDescriptionstatic ACell[]Utils.toCellArray(Object anyArray) Converts any array to an ACell[] array.Methods in convex.core.util with parameters of type ACellModifier and TypeMethodDescriptionstatic booleanEquality method allowing for nullsstatic intGets the number of Refs directly contained in a Cell (will be zero if the Cell is not a Ref container) -
Uses of ACell in etch
Modifier and TypeMethodDescriptionEtchStore.checkCache(Hash h) EtchStore.refForHash(Hash hash) EtchStore.setRootData(T data) EtchStore.storeRef(Ref<T> ref, int requiredStatus, Consumer<Ref<ACell>> noveltyHandler, boolean topLevel) EtchStore.storeTopRef(Ref<T> ref, int status, Consumer<Ref<ACell>> noveltyHandler) Modifier and TypeMethodDescriptionEtch.read(AArrayBlob key) Reads a Blob from the database, returning null if not foundEtch.write(AArrayBlob key, Ref<ACell> value) Writes a key / value pair to the immutable store.Modifier and TypeMethodDescriptionvoidMark GC roots for retention during garbage collectionvoidMark GC roots for retention during garbage collectionEtchStore.storeRef(Ref<T> ref, int requiredStatus, Consumer<Ref<ACell>> noveltyHandler, boolean topLevel) EtchStore.storeTopRef(Ref<T> ref, int status, Consumer<Ref<ACell>> noveltyHandler) Etch.write(AArrayBlob key, Ref<ACell> value) Writes a key / value pair to the immutable store.