Uses of Class
convex.core.data.ACell
Packages that use ACell
Package
Description
Data structures and algorithms, including a complete set of classes
required to implement immutable, decentralised data objects.
-
Uses of ACell in convex.core
Subclasses of ACell in convex.coreModifier and TypeClassDescriptionclass
Class representing a Peer's view of the overall network consensus state.class
A block contains an ordered collection of signed transactions that may be applied collectively as part of a state update.class
Class representing the result of applying a Block to a State.class
Class representing an Ordering of transactions, along with the consensus position.class
Class representing the result of a Query or Transaction.class
Class 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.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 TypeMethodDescriptionResult.getErrorCode()
Returns the Error Code from this Result.Result.getID()
Returns the message ID for this result.Order.toCanonical()
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.Peer.getPeerData(AStore store)
Gets Peer Data from a Store.State.getSchedule()
Gets the current schedule data structure for this statePeer.toData()
Gets the Peer Datat map for this PeerResult.values()
Methods in convex.core with parameters of type ACellModifier and TypeMethodDescriptionstatic Result
Create a Resultstatic Result
Create a Resultstatic Result
Create a ResultPeer.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.protected Belief
protected Block
protected BlockResult
protected State
Updates result with a given message ID.Method parameters in convex.core with type arguments of type ACellModifier and TypeMethodDescriptionboolean
boolean
boolean
boolean
static Peer
Constructs a Peer instance from persisted PEer DataPeer.persistState(Consumer<Ref<ACell>> noveltyHandler)
Persist the state of the Peer to the current store.protected ARecord
Result.withValues(AVector<ACell> newValues)
-
Uses of ACell in convex.core.crypto
Subclasses of ACell in convex.core.cryptoModifier and TypeClassDescriptionclass
Class representing a cryptographic signatureclass
Immutable dtata 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<R extends ACell>
SignedData<R>Ed25519KeyPair.signData(R value)
Methods in convex.core.crypto that return ACell -
Uses of ACell in convex.core.data
Classes in convex.core.data with type parameters of type ACellModifier and TypeClassDescriptionclass
Abstract base class for a sorted radix-tree map of Blobs to values.class
ACollection<T extends ACell>
Abstract base class for Persistent Merkle Collectionsclass
ACountable<E extends ACell>
Abstract base class for Countable objects.class
ADataStructure<E extends ACell>
Abstract base class for Persistent data structures.class
class
class
class
Abstract base class for lists.class
Abstract base class for maps.class
Abstract base class for maps.class
class
class
Abstract base class for persistent lists and vectorsclass
Abstract based class for sets.class
Abstract base class for vectors.class
BlobMap node implementation supporting: An optional prefix string An optional entry with this prefix Up to 16 child entries at the next level of depthinterface
IAssociative<K extends ACell,V extends ACell>
Interface for associative data structuresinterface
IAssociative<K extends ACell,V extends ACell>
Interface for associative data structuresclass
Implementation of a list wrapping a vector.class
Map.Entry implementation for persistent maps.class
Map.Entry implementation for persistent maps.class
Limited 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 representationclass
Limited 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 representationclass
Persistent Map for large hash maps requiring tree structure.class
Persistent Map for large hash maps requiring tree structure.class
Class representing a smart reference to a decentralised data object.class
Ref subclass for direct in-memory references.class
Reference class implemented via a soft reference and store lookup.class
Limited size Persistent Merkle Set implemented as a small sorted list of Values Must be sorted by Key hash value to ensure uniqueness of representationclass
Persistent Set for large hash sets requiring tree structure.class
SignedData<T extends ACell>
Node representing a signed data object.class
VectorArray<T extends ACell>
Experimental: implementation of AVector backed by a Java array for temporary usage purposes.class
VectorLeaf<T extends ACell>
A Persistent Vector implementation representing 0-16 elements with a packed Vector prefix.class
VectorTree<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 TypeClassDescriptionclass
Abstract base class for binary data stored in Java arrays.class
Abstract base class for data objects containing immutable chunks of binary data.class
Abstract base class for a sorted radix-tree map of Blobs to values.class
Immutable class representing an Ed25519 Public Key for an Accountclass
Class representing the current on-chain status of an account.class
ACollection<T extends ACell>
Abstract base class for Persistent Merkle Collectionsclass
ACountable<E extends ACell>
Abstract base class for Countable objects.class
ADataStructure<E extends ACell>
Abstract base class for Persistent data structures.class
Immutable class representing an Address.class
class
class
Abstract base class for lists.class
class
Abstract base class for maps.class
class
Base class for Blobs which represent an integral numeric valueclass
Base class for record data types.class
Abstract base class for generic records.class
Abstract base class for persistent lists and vectorsclass
Abstract based class for sets.class
Class representing a CVM Stringclass
Abstract based class for symbolic objects (Keywords, Symbols)class
Abstract base class for vectors.class
General purpose immutable wrapper for byte array data.class
BlobMap node implementation supporting: An optional prefix string An optional entry with this prefix Up to 16 child entries at the next level of depthclass
Implementation of a large Blob data structure consisting of 2 or more chunks.class
Class used to represent an immutable 32-byte Hash value.class
Keyword data type.class
Implementation of a list wrapping a vector.class
Wrapper for an 8-byte long blob We use this for efficient management of indexes using longs in BlobMaps.class
Map.Entry implementation for persistent maps.class
Limited 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 representationclass
Persistent Map for large hash maps requiring tree structure.class
Class describing the on-chain state of a Peer declared on the network.class
Limited size Persistent Merkle Set implemented as a small sorted list of Values Must be sorted by Key hash value to ensure uniqueness of representationclass
Persistent Set for large hash sets requiring tree structure.class
SignedData<T extends ACell>
Node representing a signed data object.class
Class representing a short CVM string.class
AString subclass representing a subsequence of another charsequenceclass
class
Class representing a Symbol.class
Class representing a Syntax Object.class
VectorArray<T extends ACell>
Experimental: implementation of AVector backed by a Java array for temporary usage purposes.class
VectorLeaf<T extends ACell>
A Persistent Vector implementation representing 0-16 elements with a packed Vector prefix.class
VectorTree<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 ACellFields in convex.core.data with type parameters of type ACellModifier and TypeFieldDescriptionACell.cachedRef
Cached Ref.BlobMap.EMPTY
Empty BlobMap singletonARecordGeneric.values
Methods 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 ListMap with the specified entries.Creates a ListMap 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 direct Ref to the given valueConstruction function for a Direct RefRefSoft.create(T value, int flags)
Creates a SetLeaf with the specified elements.Creates a SetLeaf with the specified elements.SetLeaf.create(V item)
Sets.create(ADataStructure<T> source)
Creates a set of all the elements in the given data structurestatic <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 ListVector 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 elementsVectors.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)
BlobMaps.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)
ARecord.getRef(int index)
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)
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.Create 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>
TRead from a Blob with the specified tagstatic <T extends ACell>
TDecodes a single Value from a Blob.static <T extends ACell>
TRead a value encoded as a hex stringstatic <T extends ACell>
TFormat.read(ByteBuffer bb)
Reads one complete Cell from a ByteBuffer.List.read(ByteBuffer bb)
Reads a List from the specified bytebuffer.MapEntry.read(ByteBuffer bb)
Reads a MapEntry from a ByteBuffer.MapEntry.read(ByteBuffer bb)
Reads a MapEntry from a 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.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>SignedData.read(ByteBuffer data)
Reads a SignedData instance from the given ByteBufferstatic <T extends ACell>
VectorLeaf<T>VectorLeaf.read(ByteBuffer bb, long count)
Reads a ListVector from 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>VectorTree.read(ByteBuffer bb, long count)
Reads a VectorTree from the provided ByteBuffer Assumes the header byte and count is already read.MapEntry.readCompressed(ByteBuffer bb)
Reads a MapEntry or null from a ByteBuffer.MapEntry.readCompressed(ByteBuffer bb)
Reads a MapEntry or null from a ByteBuffer.Ref.readRaw(ByteBuffer data)
Reads a ref from the given ByteBuffer.Format.readRef(ByteBuffer bb)
Reads a Ref 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()
static <R extends ACell>
RRecursively unwraps a Syntax objectRef.updateRefs(Ref<T>[] refs, IRefFunction func)
Updates an array of Refs with the given function.Wraps a Vector as a list (will reverse element order)Methods in convex.core.data that return ACellModifier and TypeMethodDescriptionabstract ACell
Get the value associated with a given key.abstract ACell
Get the value associated with a given key.abstract ACell
AMapEntry.get(long i)
abstract ACell
Gets the record field content for a given key, or null if not found.Gets the record field content for a given key, or null if not found.MapEntry.get(long i)
AccountStatus.getHolding(Address addr)
ACell[]
ARecord.getValuesArray()
Gets an array containing all values in this record, in format-defined key order.abstract ACell
ACell.toCanonical()
Converts this Cell to its canonical version.BlobMap.toCanonical()
Keyword.toCanonical()
List.toCanonical()
MapEntry.toCanonical()
MapLeaf.toCanonical()
SignedData.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()
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> ref)
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 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 TypeMethodDescriptionAssociates 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 Hash
Computes the Hash for any ACell value.boolean
abstract boolean
Tests if this Set contains a given valueboolean
ABlobMap.containsKey(ACell key)
abstract boolean
ADataStructure.containsKey(ACell key)
Checks if the data structure contains the specified keyboolean
AMap.containsKey(ACell key)
boolean
ARecord.containsKey(ACell key)
boolean
ASequence.containsKey(ACell key)
boolean
ASet.containsKey(ACell key)
boolean
MapLeaf.containsKey(ACell key)
boolean
MapTree.containsKey(ACell key)
Creates a list wrapping the given array.Constructs a map with the given keys and values.static Syntax
Wraps a value as a Syntax Object with empty metadata.static Syntax
Wraps 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 ListVector 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 Syntax
Syntax.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 Blob
Format.encodedBlob(ACell o)
Gets the encoded Blob for an object in canonical message formatstatic ByteBuffer
Format.encodedBuffer(ACell cell)
Gets an new encoded ByteBuffer for an Cell in wire formatstatic String
Format.encodedString(ACell cell)
Gets a hex String representing an object's encodingboolean
Determines if this Blob is equal to another Object.boolean
Checks for equality with another object.boolean
boolean
boolean
boolean
boolean
boolean
boolean
static int
Format.estimateSize(ACell cell)
abstract ACell
Get the value associated with a given key.abstract ACell
Get the value associated with a given key.abstract V
Gets the value at a specified key, or returns the fallback value if not foundabstract ACell
Gets the record field content for a given key, or null if not found.Gets the element at the specified keyGets 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 boolean
Format.isCanonical(ACell o)
Returns true if the object is a canonical data object.static boolean
Format.isEmbedded(ACell cell)
Determines if an object should be embedded directly in the encoding rather than referenced with a Ref / hash.static Syntax
Merge metadata into a Cell, after wrapping as a Syntax Objectstatic Syntax
Wraps a value as a Syntax Object with empty metadata.static <R> R
Unwraps a Syntax Object to get the underlying value.static <R extends ACell>
RRecursively unwraps a Syntax objectprotected AccountStatus
protected abstract ARecord
Updates all values in this record, in declared field order.protected ARecord
protected PeerStatus
AccountStatus.withHolding(Address addr, ACell value)
static int
Writes a canonical object to a byte array, preceded by the appropriate tagstatic ByteBuffer
Format.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 void
ARecord.accumulateEntrySet(HashSet<Map.Entry<Keyword,ACell>> h)
protected void
ARecord.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>
Tboolean
AMapEntry.appendChunk(VectorLeaf<ACell> listVector)
ARecord.assocEntry(MapEntry<Keyword,ACell> e)
long
AMapEntry.commonPrefixLength(AVector<ACell> b)
boolean
AMap.containsKeyRef(Ref<ACell> ref)
static PeerStatus
static Syntax
Wraps a value as a Syntax Object, adding the given new metadatastatic Syntax
Wraps 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 Syntax
Syntax.createUnchecked(ACell value, AHashMap<ACell,ACell> meta)
static Syntax
Syntax.createUnchecked(ACell value, AHashMap<ACell,ACell> meta)
boolean
boolean
boolean
boolean
ARecord.equalsKeys(AMap<Keyword,ACell> map)
void
void
ARecord.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> ref)
MapLeaf.getKeyRefEntry(Ref<ACell> ref)
MapTree.getKeyRefEntry(Ref<ACell> ref)
Merges 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> R
MapEntry.reduce(BiFunction<? super R,? super ACell,? extends R> func, R value)
<R> R
ARecord.reduceEntries(BiFunction<? super R,MapEntry<Keyword,ACell>,? extends R> func, R initial)
<R> R
ARecord.reduceValues(BiFunction<? super R,? super ACell,? extends R> func, R initial)
void
MapEntry.visitElementRefs(Consumer<Ref<ACell>> f)
AccountStatus.withEnvironment(AHashMap<Symbol,ACell> newEnvironment)
Replaces metadata on this Syntax Object.Replaces metadata on this Syntax Object.protected abstract ARecord
ARecordGeneric.withValues(AVector<ACell> newValues)
Updates the record with a new set of values.Constructors in convex.core.data with parameters of type ACellModifierConstructorDescriptionprotected
VectorArray(long count, T[] array, int offset, int stride)
Constructor parameters in convex.core.data with type arguments of type ACellModifierConstructorDescriptionprotected
ARecordGeneric(RecordFormat format, AVector<ACell> values)
-
Uses of ACell in convex.core.data.prim
Subclasses of ACell in convex.core.data.primModifier and TypeClassDescriptionclass
Abstract base class for small CVM primitive values.class
Class for CVM Boolean types.class
Class for CVM Byte instances.class
Class for CVM character values.class
Class for CVM double floating-point values.class
Class for CVM long values.Methods in convex.core.data.prim with type parameters of type ACellMethods in convex.core.data.prim that return ACell -
Uses of ACell in convex.core.data.type
Classes in convex.core.data.type with type parameters of type ACellModifier and TypeClassDescriptionclass
AStandardType<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 ACell
AType.defaultValue()
Gets the default value for this type.Nil.defaultValue()
Any.implicitCast(ACell a)
abstract ACell
AType.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 TypeMethodDescriptionboolean
boolean
boolean
abstract boolean
Checks if a value is an instance of this Type.boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
boolean
AddressType.implicitCast(ACell a)
Any.implicitCast(ACell a)
AStandardType.implicitCast(ACell a)
abstract ACell
AType.implicitCast(ACell a)
Gets the default value for this type.Blob.implicitCast(ACell a)
BlobMapType.implicitCast(ACell a)
Boolean.implicitCast(ACell a)
Byte.implicitCast(ACell a)
CharacterType.implicitCast(ACell a)
ACollection<?>
Collection.implicitCast(ACell a)
DataStructure.implicitCast(ACell a)
Double.implicitCast(ACell a)
Function.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 TypeClassDescriptionclass
Base class for functions expressed as values "You know what's web-scale? The Web.class
Abstract 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.class
Representation of CVM execution context.interface
Interface for invokable objects with function interface.Subclasses of ACell in convex.core.langModifier and TypeClassDescriptionclass
Base class for functions expressed as values "You know what's web-scale? The Web.class
Abstract 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 CoreFn<ADataStructure<ACell>>
Core.ASSOC
Core.ASSOC_IN
Core.CALL_STAR
Core.COMPILE
Core.CONCAT
static CoreFn<ADataStructure<ACell>>
Core.CONJ
Core.CONS
Core.DIFFERENCE
Core.DISJ
Core.EMPTY
Context.EMPTY_BINDINGS
Core.ENVIRONMENT
Default initial environment importing core namespaceCore.EVAL
Core.EVAL_AS
Core.EXPAND
Core.FIRST
Core.GET
Core.GET_HOLDING
Core.GET_IN
Compiler.INITIAL_EXPANDER
Initial expander used for expansion of forms prior to compilation.Core.INITIAL_EXPANDER
Core.INTERSECTION
static CoreFn<ADataStructure<ACell>>
Core.INTO
Core.KEYS
Core.LAST
Core.LIST
Core.LOOKUP
Core.MERGE
Core.MERGE
Core.META
Core.META
Core.METADATA
Default initial core metadataCore.METADATA
Default initial core metadataCore.NEXT
Core.NTH
Compiler.QUASIQUOTE_EXPANDER
Expander used for expansion of `quasiquote` forms.Core.QUASIQUOTE_EXPANDER
Compiler.QUOTE_EXPANDER
Expander used for expansion of `quote` forms.Core.QUOTE_EXPANDER
Core.REDUCE
Core.REDUCED
Core.REVERSE
Core.SECOND
Core.SET
Core.SET_CONTROLLER
Core.SET_HOLDING
Core.UNDEF_STAR
Core.UNION
Core.UNSYNTAX
Core.VALUES
Core.VEC
Core.VECTOR
Methods 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 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 typestatic <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.Invokes a function within this context, returning an updated context.Returns the vector of keys of a map, or null if the object is not a 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 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, AMap<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 ACell
RT.get(ADataStructure<?> coll, ACell key)
Gets an element from a data structure using the given key.static ACell
RT.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 ACell
Parses an expression and returns a form as an Objectstatic ACell
Reader.readResource(String path)
static ACell
Reader.readResourceAsData(String path)
static ACell
Gets 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 APrimitive
Gets 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 with a given value in an associative data structurestatic boolean
Converts any CVM value to a boolean value.static AccountKey
RT.castAccountKey(ACell a)
Coerce to an AccountKey.static Address
RT.castAddress(ACell a)
Casts the argument to a valid Address.static ABlob
Converts an object to a canonical blob representation.static CVMByte
Explicitly converts a numerical value to a CVM Byte.static CVMDouble
RT.castDouble(ACell a)
Converts a numerical value to a CVM Double.RT.castFunction(ACell a)
Coerces an argument to a function interface.static Keyword
RT.castKeyword(ACell a)
Coerces an named argument to a keyword.static CVMLong
Converts 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 CVMDouble
Gets the ceiling 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 Long
Compares 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 Long
Gets the count of elements in a countable data structure.static CVMLong
Decrements a Long valueDefines 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 CVMDouble
static AccountKey
RT.ensureAccountKey(ACell a)
Implicit cast to an AccountKey.static Address
RT.ensureAddress(ACell a)
Ensures the argument is a valid Address.static ADataStructure<?>
RT.ensureAssociative(ACell o)
Ensures the argument is an IAssociative instance.static ABlob
RT.ensureBlob(ACell object)
Implicitly casts the argument to a Blobstatic <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 CVMDouble
RT.ensureDouble(ACell a)
Ensures the argument is a CVM Long value.RT.ensureFunction(ACell a)
Ensure the argument is a valid CVM function.static Hash
RT.ensureHash(ACell o)
Coerces to Hash type.RT.ensureHashMap(ACell a)
Casts the argument to a hashmap.static CVMLong
RT.ensureLong(ACell a)
Ensures the argument is a CVM Long value.Converts the argument to a non-null Map.RT.ensureMapEntry(ACell x)
Converts an object to a map entry.static INumeric
RT.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 AString
RT.ensureString(ACell a)
Implicitly casts the argument to a CVM Stringstatic Symbol
RT.ensureSymbol(ACell a)
Coerces an named argument to a Symbol.static Boolean
Executes 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 CVMDouble
Computes 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 int
RT.findNonNumeric(ACell[] args)
Finds the first non-numeric value in an array.static CVMDouble
Gets the floor a number after casting to a double.static Boolean
static ACell
RT.get(ADataStructure<?> coll, ACell key)
Gets an element from a data structure using the given key.static ACell
RT.get(ADataStructure<?> coll, ACell key, ACell notFound)
Gets an element from a data structure using the given key.static AType
Get the runtime Type of any CVM valuestatic Boolean
static CVMLong
Increments a Long valueInvokes a function within this context, returning an updated context.Invoke this function in the given context.static boolean
Tests if a value is one of the canonical boolean values 'true' or 'false'static boolean
static boolean
Tests if a Value is a valid numerical valuestatic <T> T
Converts a CVM value to equivalent JVM valueReturns the vector of keys of a map, or null if the object is not a mapstatic Boolean
Context.lookupExpander(ACell form)
Looks up an expander from a form in this contextstatic Boolean
static APrimitive
static APrimitive
RT.minusDouble(ACell[] args)
static CVMLong
Compute mode.static AString
Gets 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 APrimitive
static CVMDouble
RT.plusDouble(ACell[] args)
static CVMDouble
Computes the result of a pow operation.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.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 ACell
Gets the signum of a numeric valuestatic CVMDouble
Gets the exact positive square root of a number after casting to a double.static String
Converts a value to a CVM String representation.static AString
Converts arguments to an AString representation.boolean
AFn.supportsArgs(ACell[] args)
Tests if this function supports the given argument list By default, checks if the function supports the given arity only.static APrimitive
static APrimitive
RT.timesDouble(ACell[] args)
static CVMChar
RT.toCharacter(ACell a)
Casts a value to a CharacterContext.updateBindings(ACell bindingForm, Object args)
Updates local bindings with a given binding formstatic void
RT.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.Invoke this function in the given context.Schedules an operation for the specified future timestamp.Context.setPeerData(AccountKey peerKey, AMap<ACell,ACell> data)
Sets peer data.Context.setPeerData(AccountKey peerKey, AMap<ACell,ACell> data)
Sets peer data.Context.withLocalBindings(AVector<ACell> newBindings)
Updates this Context with new local bindings. -
Uses of ACell in convex.core.lang.impl
Classes in convex.core.lang.impl with type parameters of type ACellModifier and TypeClassDescriptionclass
Abstract base class for functions that can close over a lexical environment.class
Abstract base class for data structure lookup functions.class
Abstract base class for core language functions implemented in the Runtime Core functions are tagged using their symbols in on-chain representationclass
Value class representing a instantiated closure / lambda function.class
Class representing a halt return value "Computers are useless.class
class
class
class
class
ReturnValue<T extends ACell>
Class representing a function return value "Computers are useless.class
RollbackValue<T extends ACell>
Class representing a function return value "Computers are useless.class
Wrapper for interpreting a sequence object as an invokable functionclass
Subclasses of ACell in convex.core.lang.implModifier and TypeClassDescriptionclass
Abstract base class for functions that can close over a lexical environment.class
Abstract base class for data structure lookup functions.class
Abstract base class for core language functions implemented in the Runtime Core functions are tagged using their symbols in on-chain representationclass
Abstract base class for core predicate functionsclass
Value class representing a instantiated closure / lambda function.class
class
class
class
Wrapper for interpreting a sequence object as an invokable functionclass
Fields 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 ACell
AExceptional.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 ACell
AExceptional.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 TypeMethodDescriptionvoid
static ErrorValue
static ErrorValue
Creates an ErrorValue with the specified type and message.static ErrorValue
Creates an ErrorValue with the specified type and message.static ErrorValue
Creates an ErrorValue with the specified type and message.abstract boolean
static RecurValue
Wraps an object array as a RecurValuestatic Reduced
static TailcallValue
Method 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 TypeClassDescriptionclass
Abstract base class for Ops with multiple nested operations MultiOps may selectively evaluate sub-expressions.class
Op representing a conditional expression.class
Operation representing a constant value "One man's constant is another man's variable." - Alan Perlisclass
Op that creates a definition in the current environment.class
Op 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 Hickeyclass
Op representing the invocation of a function.class
Op responsible for creating a new function (closure).class
Op for executing a body after lexically binding one or more symbols.class
Op to look up a local value from the lexical environmentclass
Op to look up a Symbol in the current execution context.class
Op 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 Hickeyclass
Op to set a lexical value in the local execution context.class
Subclasses of ACell in convex.core.lang.opsModifier and TypeClassDescriptionclass
Abstract base class for Ops with multiple nested operations MultiOps may selectively evaluate sub-expressions.class
Op representing a conditional expression.class
Operation representing a constant value "One man's constant is another man's variable." - Alan Perlisclass
Op that creates a definition in the current environment.class
Op 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 Hickeyclass
Op representing the invocation of a function.class
Op responsible for creating a new function (closure).class
Op for executing a body after lexically binding one or more symbols.class
Op to look up a local value from the lexical environmentclass
Op to look up a Symbol in the current execution context.class
Op 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 Hickeyclass
Op to set a lexical value in the local execution context.class
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 special 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 ACellModifierConstructorDescriptionprotected
protected
protected
protected
protected
protected
-
Uses of ACell in convex.core.lang.reader
Methods in convex.core.lang.reader that return ACellModifier and TypeMethodDescriptionAntlrReader.CRListener.pop()
static ACell
static ACell
static ACell
AntlrReader.read(org.antlr.v4.runtime.CharStream cs)
static ACell
ReaderUtils.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 TypeMethodDescriptionMemoryStore.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.MemoryStore.refForHash(Hash hash)
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 ACellModifier and TypeMethodDescriptionDecodes a Cell from an Encoding.Gets the Cached Cell for a given Blob Encoding, or null if not cached.Methods 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 TypeClassDescriptionclass
Abstract base class for immutable transactions Transactions may modify the on-chain State according to the rules of the specific transaction type.class
Transaction representing a Call to an Actor.class
Transaction class representing the Invoke of an on-chain operation.class
Transaction 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)
Methods in convex.core.transactions that return ACellMethods in convex.core.transactions with parameters of type ACellMethod parameters in convex.core.transactions with type arguments of type ACellModifier and TypeMethodDescriptionstatic Call
Call.create(Address address, long sequence, Address target, long offer, Symbol functionName, AVector<ACell> args)
static Call
Call.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>
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 boolean
Equality method allowing for nullsstatic int
Gets 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.refForHash(Hash hash)
EtchStore.storeRef(Ref<T> ref, Consumer<Ref<ACell>> noveltyHandler, int requiredStatus, 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 TypeMethodDescriptionEtchStore.storeRef(Ref<T> ref, Consumer<Ref<ACell>> noveltyHandler, int requiredStatus, 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.