Package convex.core.lang.ops

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

Type Parameters:

T - Result type of Op

All Implemented Interfaces:

IValidated, IWriteable

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

Op representing a conditional expression. Child ops: 1. Should be condition / result pairs (with an optional single default result). 2. Are executed in sequence until the first condition succeeds 3. Are only executed if required, i.e. cond operates as a "short-circuiting" conditional.

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

Method Summary

Modifier and Type	Method	Description
static <T extends ACell> Cond<T>	create(ASequence<AOp<ACell>> ops)
static <T extends ACell> Cond<T>	create(AOp<?>... ops)	Create a Cond operation with the given nested operations
Context	execute(Context context)	Executes this op with the given context.
byte	opCode()	Returns the opcode for this op
boolean	print(BlobBuilder sb, long limit)	Prints this Object to a readable String Representation.
static <T extends ACell> Cond<T>	read(Blob b, int pos)	Decodes a Cond op from a Blob encoding.
protected Cond<T>	recreate(ASequence<AOp<ACell>> newOps)	Recreates this object with an updated list of child Ops.
Cond<T>	updateRefs(IRefFunction func)	Updates all Refs in this object using the given function.

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

encodeRaw, estimatedEncodingSize, getRef, getRefCount, 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

Cond

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

Method Details

create

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

Create a Cond operation with the given nested operations

Type Parameters:

T - Return type of Cond

Parameters:

ops - Ops to execute conditionally

Returns:

Cond instance

recreate

protected Cond<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> Cond<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 sb,
 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:

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

Decodes a Cond op from a Blob encoding.

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

updateRefs

public Cond<T> updateRefs(IRefFunction func)

Description copied from class: ACell

Updates all Refs in this object using the given function. The function *must not* change the hash value of Refs, in order to ensure structural integrity of modified data structures. The implementation *should* re-attach any original encoding in order to prevent re-encoding or surplus hashing This is a building block for a very sneaky trick that enables use to do a lot of efficient operations on large trees of smart references. Must return the same object if no Refs are altered.

Overrides:

updateRefs in class AMultiOp<T extends ACell>

Parameters:

func - Ref update function

Returns:

Cell with updated Refs