Uses of Class
convex.core.lang.AOp

Packages that use AOp

Package	Description
convex.core	Fundamental Convex classes used for the decentralised network
convex.core.data.type	CVM type system implementation.
convex.core.lang	Core CVM implementation
convex.core.lang.impl	Internal CVM language implementation classes
convex.core.lang.ops	CVM Operations, effectively the "machine code" of the CVM

Uses of AOp in convex.core

Methods in convex.core with parameters of type AOp

Modifier and Type	Method	Description
State	State.scheduleOp(long time, Address address, AOp<?> op)	Schedules an operation with the given timestamp and Op in this state

Uses of AOp in convex.core.data.type

Methods in convex.core.data.type that return AOp

Modifier and Type	Method	Description
AOp	OpCode.defaultValue()
AOp	OpCode.implicitCast(ACell a)

Uses of AOp in convex.core.lang

Fields in convex.core.lang with type parameters of type AOp

Modifier and Type	Field	Description
static final CoreFn<AOp<ACell>>	Core.COMPILE

Methods in convex.core.lang that return AOp

Modifier and Type	Method	Description
static <T extends ACell> AOp<T>	Ops.read(Blob b, int pos)
static <T extends ACell> AOp<T>	Ops.read(ByteBuffer bb)	Reads an Op from the given ByteBuffer.
abstract AOp<T>	AOp.updateRefs(IRefFunction func)

Methods in convex.core.lang that return types with arguments of type AOp

Modifier and Type	Method	Description
<R extends ACell> Context<AOp<R>>	Context.compile(ACell expandedForm)	Compile a form in this Context.
<R extends ACell> Context<AVector<AOp<R>>>	Context.compileAll(ASequence<ACell> forms)	Compiles a sequence of forms in the current context.
<R extends ACell> Context<AOp<R>>	Context.expandCompile(ACell form)	Expand and compile a form in this Context.

Methods in convex.core.lang with parameters of type AOp

Modifier and Type	Method	Description
<R extends ACell> Context<R>	Context.execute(AOp<R> op)	Executes an Op within this context, returning an updated context.
<I extends ACell> Context<I>	Context.executeLocalBinding(ACell bindingForm, AOp<I> op)	Execute an op, and bind the result to the given binding form in the lexical environment Binding form may be a destructuring form
<R extends ACell> Context<R>	Context.run(AOp<R> op)	Executes an Op at the top level in a new forked Context.
Context<CVMLong>	Context.schedule(long time, AOp<ACell> op)	Schedules an operation for the specified future timestamp.

Uses of AOp in convex.core.lang.impl

Methods in convex.core.lang.impl that return AOp

Modifier and Type	Method	Description
AOp<T>	Fn.getBody()

Methods in convex.core.lang.impl with parameters of type AOp

Modifier and Type	Method	Description
static <T extends ACell, I> Fn<T>	Fn.create(AVector<ACell> params, AOp<T> body)

Uses of AOp in convex.core.lang.ops

Subclasses of AOp in convex.core.lang.ops

Modifier and Type	Class	Description
class	AMultiOp<T extends ACell>	Abstract base class for Ops with multiple nested operations MultiOps may selectively evaluate sub-expressions.
class	Cond<T extends ACell>	Op representing a conditional expression.
class	Constant<T extends ACell>	Operation representing a constant value "One man's constant is another man's variable." - Alan Perlis
class	Def<T extends ACell>	Op that creates a definition in the current environment.
class	Do<T extends ACell>	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
class	Invoke<T extends ACell>	Op representing the invocation of a function.
class	Lambda<T extends ACell>	Op responsible for creating a new function (closure).
class	Let<T extends ACell>	Op for executing a body after lexically binding one or more symbols.
class	Local<T extends ACell>	Op to look up a local value from the lexical environment
class	Lookup<T extends ACell>	Op to look up a Symbol in the current execution context.
class	Query<T extends ACell>	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
class	Set<T extends ACell>	Op to set a lexical value in the local execution context.
class	Special<T extends ACell>	Op representing special Symbols like *address* and *caller*

Fields in convex.core.lang.ops with type parameters of type AOp

Modifier and Type	Field	Description
protected final AVector<AOp<ACell>>	AMultiOp.ops

Methods in convex.core.lang.ops with type parameters of type AOp

Modifier and Type	Method	Description
static <T extends ACell, A extends AOp<ACell>, F extends AOp<ACell>> Invoke<T>	Invoke.create(F f, ASequence<A> args)
static <T extends ACell, A extends AOp<ACell>, F extends AOp<ACell>> Invoke<T>	Invoke.create(F f, ASequence<A> args)

Methods in convex.core.lang.ops that return AOp

Modifier and Type	Method	Description
AOp<Address>	Lookup.getAddress()
static <T extends ACell> AOp<T>	Constant.nil()

Methods in convex.core.lang.ops that return types with arguments of type AOp

Modifier and Type	Method	Description
Ref<AOp<T>>	Def.getRef(int i)
Ref<AOp<T>>	Set.getRef(int i)

Methods in convex.core.lang.ops with parameters of type AOp

Modifier and Type	Method	Description
static <T extends ACell> Cond<T>	Cond.create(AOp<?>... ops)	Create a Cond operation with the given nested operations
static <T extends ACell> Def<T>	Def.create(ACell key, AOp<T> op)
static <T extends ACell> Def<T>	Def.create(Symbol key, AOp<T> op)
static <T extends ACell> Def<T>	Def.create(Syntax key, AOp<T> op)
static <T extends ACell> Def<T>	Def.create(String key, AOp<T> op)
static <T extends ACell> Do<T>	Do.create(AOp<?>... ops)
static <T extends ACell> Invoke<T>	Invoke.create(AOp<?>... ops)
static <T extends ACell> Invoke<T>	Invoke.create(String string, AOp<?>... args)
static <T extends ACell> Lambda<T>	Lambda.create(AVector<ACell> params, AOp<T> body)
static <T extends ACell> Lookup<T>	Lookup.create(AOp<Address> address, Symbol form)
static <T extends ACell> Lookup<T>	Lookup.create(AOp<Address> address, String name)
static <T extends ACell> Query<T>	Query.create(AOp<?>... ops)
static final <R extends ACell> Set<R>	Set.create(long position, AOp<R> op)	Creates Set Op for the given opCode

Method parameters in convex.core.lang.ops with type arguments of type AOp

Modifier and Type	Method	Description
static <T extends ACell> Cond<T>	Cond.create(ASequence<AOp<ACell>> ops)
static <T extends ACell> Def<T>	Def.create(ACell key, Ref<AOp<T>> op)
static <T extends ACell> Def<T>	Def.create(Syntax key, Ref<AOp<T>> op)
static <T extends ACell> Do<T>	Do.create(ASequence<AOp<ACell>> ops)
static <T extends ACell> Invoke<T>	Invoke.create(ASequence<AOp<ACell>> ops)
static <T extends ACell> Query<T>	Query.create(ASequence<AOp<ACell>> ops)
protected abstract AMultiOp<T>	AMultiOp.recreate(ASequence<AOp<ACell>> newOps)	Recreates this object with an updated list of child Ops.
protected Cond<T>	Cond.recreate(ASequence<AOp<ACell>> newOps)
protected Do<T>	Do.recreate(ASequence<AOp<ACell>> newOps)
protected Invoke<T>	Invoke.recreate(ASequence<AOp<ACell>> newOps)
protected Let<T>	Let.recreate(ASequence<AOp<ACell>> newOps)
protected Let<T>	Let.recreate(ASequence<AOp<ACell>> newOps, AVector<ACell> newSymbols)
protected Query<T>	Query.recreate(ASequence<AOp<ACell>> newOps)

Constructor parameters in convex.core.lang.ops with type arguments of type AOp

Modifier	Constructor	Description
protected	AMultiOp(AVector<AOp<ACell>> ops)
protected	Cond(AVector<AOp<ACell>> ops)
protected	Do(AVector<AOp<ACell>> ops)
protected	Invoke(AVector<AOp<ACell>> ops)
protected	Query(AVector<AOp<ACell>> ops)