Package convex.core.lang.ops

Class Query<T extends ACell>

java.lang.Object

convex.core.data.AObject

convex.core.data.ACell

convex.core.lang.AOp<T>

convex.core.lang.ops.AMultiOp<T>

convex.core.lang.ops.Query<T>

Type Parameters:

T - Result type of Op

All Implemented Interfaces:

IValidated, IWriteable

public class Query<T extends ACell>
extends AMultiOp<T>

Op 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 Hickey

Field Summary

Fields inherited from class convex.core.lang.ops.AMultiOp

ops

Fields inherited from class convex.core.data.ACell

cachedRef, memorySize

Fields inherited from class convex.core.data.AObject

encoding

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Query(AVector<AOp<ACell>> ops)

Method Summary

Modifier and Type	Method	Description
static <T extends ACell> Query<T>	create(ASequence<AOp<ACell>> ops)
static <T extends ACell> Query<T>	create(AOp<?>... ops)
Context	execute(Context context)	Executes this op with the given context.
byte	opCode()	Returns the opcode for this op
boolean	print(BlobBuilder bb, long limit)	Prints this Object to a readable String Representation.
static <T extends ACell> Query<T>	read(Blob b, int pos)	Read a Query Op from a Blob encoding
protected Query<T>	recreate(ASequence<AOp<ACell>> newOps)	Recreates this object with an updated list of child Ops.

Methods inherited from class convex.core.lang.ops.AMultiOp

encodeRaw, estimatedEncodingSize, getRef, getRefCount, updateRefs, validateCell

Methods inherited from class convex.core.lang.AOp

encode, equals, getTag, getType, isCanonical, isCVMValue, isDataValue, toCanonical

Methods inherited from class convex.core.data.ACell

attachMemorySize, attachRef, cachedEncoding, cachedHash, calcMemorySize, createEncoding, createRef, equals, genericEquals, getCanonical, getChildRefs, getEncoding, getEncodingLength, getHash, getMemorySize, getMemorySize, getRef, hashCode, isEmbedded, toCVMString, toString, validate

Methods inherited from class convex.core.data.AObject

attachEncoding, print, print

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Query

protected Query(AVector<AOp<ACell>> ops)

Method Details

create

public static <T extends ACell> Query<T> create(AOp<?>... ops)

recreate

protected Query<T> recreate(ASequence<AOp<ACell>> newOps)

Description copied from class: AMultiOp

Recreates this object with an updated list of child Ops.

Specified by:

recreate in class AMultiOp<T extends ACell>

Parameters:

newOps -

Returns:

create

public static <T extends ACell> Query<T> create(ASequence<AOp<ACell>> ops)

execute

public Context execute(Context context)

Description copied from class: AOp

Executes this op with the given context. Must preserve depth unless an exceptional is returned.

Specified by:

execute in class AOp<T extends ACell>

Parameters:

context - Initial Context

Returns:

The updated Context after executing this operation

print

public boolean print(BlobBuilder bb,
 long limit)

Description copied from class: AObject

Prints this Object to a readable String Representation. SECURITY: Must halt and return false in O(1) time when limit of printing is exceeded otherwise DoS attacks may be possible.

Specified by:

print in class AObject

Parameters:

bb - BlobBuilder to append to. May be partially written if print limit exceeded

limit - Limit of printing in string bytes

Returns:

True if fully printed within limit, false otherwise

opCode

public byte opCode()

Description copied from class: AOp

Returns the opcode for this op

Specified by:

opCode in class AOp<T extends ACell>

Returns:

Opcode as a byte

read

public static <T extends ACell> Query<T> read(Blob b,
 int pos)
                                       throws BadFormatException

Read a Query Op from a Blob encoding

Type Parameters:

T - Type of Query result

Parameters:

b - Blob to read from

pos - Start position in Blob (location of tag byte)

Returns:

New decoded instance

Throws:

BadFormatException - In the event of any encoding error