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)
<I extends ACell> Context<T>	execute(Context<I> context)	Executes this op with the given context.
byte	opCode()	Returns the opcode for this op
void	print(StringBuilder sb)	Prints this Object to a readable String Representation
static <T extends ACell> Invoke<T>	read(ByteBuffer bb)
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, getChildRefs, getEncoding, getEncodingLength, getHash, getMemorySize, getRef, hashCode, isEmbedded, toString, validate, write

Methods inherited from class convex.core.data.AObject

attachEncoding, 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 <I extends ACell> Context<T> execute(Context<I> 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>

Type Parameters:

I - Type of Context

Parameters:

context - Initial Context

Returns:

The updated Context after executing this operation

print

public void print(StringBuilder sb)

Description copied from class: AObject

Prints this Object to a readable String Representation

Specified by:

print in class AObject

Parameters:

sb - StringBuilder to append to

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(ByteBuffer bb)
                                        throws BadFormatException

Throws:

BadFormatException