Package convex.core.lang.ops

Class Do<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.Do<T>

Type Parameters:

T - Result type of Do Op

All Implemented Interfaces:

IValidated, IWriteable

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

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 Hickey

Field Summary

Fields

Modifier and Type	Field	Description
static final Do<?>	EMPTY

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	Do(AVector<AOp<ACell>> ops)

Method Summary

Modifier and Type	Method	Description
static <T extends ACell> Do<T>	create(ASequence<AOp<ACell>> ops)
static <T extends ACell> Do<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> Do<T>	read(Blob b, int pos)	Decodes a Do op from a Blob encoding
protected Do<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

Field Details

EMPTY

public static final Do<?> EMPTY

Constructor Details

Do

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

Method Details

create

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

recreate

protected Do<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> Do<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> Do<T> read(Blob b,
 int pos)
                                    throws BadFormatException

Decodes a Do op from a Blob encoding

Type Parameters:

T - Return type of Do

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