Package convex.core.lang.ops

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

Type Parameters:

T - Result type of Op

All Implemented Interfaces:

IValidated, IWriteable

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

Op representing the invocation of a function. The first child Op identifies the function to be called, the remaining ops are arguments.

Field Summary

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

ops

Fields inherited from class convex.core.data.ACell

cachedRef, EMPTY_ARRAY

Fields inherited from class convex.core.data.AObject

encoding

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
static <T extends ACell> Invoke<T>	create(ASequence<AOp<ACell>> ops)
static <T extends ACell> Invoke<T>	create(AOp<?>... ops)
static <T extends ACell, A extends AOp<ACell>, F extends AOp<ACell>> Invoke<T>	create(F f, ASequence<A> args)
static <T extends ACell> Invoke<T>	create(String string, AOp<?>... args)
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> Invoke<T>	read(Blob b, int pos)	Read an Invoke Op from a Blob encoding
protected Invoke<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, getTag, getType, isCanonical, isCVMValue, toCanonical

Methods inherited from class convex.core.data.ACell

announce, announce, attachMemorySize, attachRef, cachedEncoding, cachedHash, calcMemorySize, createAnnounced, createEncoding, createPersisted, createPersisted, createRef, equals, equals, getCanonical, getChildRefs, getEncoding, getEncodingLength, getHash, getMemorySize, getRef, hashCode, isCompletelyEncoded, isEmbedded, mark, mark, 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

Invoke

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

Method Details

create

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

create

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

create

public static <T extends ACell,
A extends AOp<ACell>,
F extends AOp<ACell>>
Invoke<T> create(F f,
 ASequence<A> args)

recreate

protected Invoke<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>

Returns:

create

public static <T extends ACell> Invoke<T> create(String string,
 AOp<?>... args)

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

Read an Invoke 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