Class BindIdentToIdentInstr

java.lang.Object

org.torqlang.klvm.AbstractInstr

org.torqlang.klvm.BindIdentToIdentInstr

All Implemented Interfaces:

BindInstr, DeclOrInstr, Instr, Kernel, SourceSpan

public final class BindIdentToIdentInstr
extends AbstractInstr
implements BindInstr

Field Summary

Fields

Modifier and Type	Field	Description
final Ident	a
final Ident	x

Fields inherited from class org.torqlang.klvm.AbstractInstr

sourceSpan

Constructor Summary

Constructors

Constructor	Description
BindIdentToIdentInstr(Ident a, Ident x, SourceSpan sourceSpan)

Method Summary

Modifier and Type	Method	Description
final <T,R> R	accept(KernelVisitor<T,R> visitor, T state)
final void	captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)
final void	compute(Env env, Machine machine)

Methods inherited from class org.torqlang.klvm.AbstractInstr

pushStackEntries, source, sourceBegin, sourceEnd, toSourceBegin, toSourceEnd, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.torqlang.klvm.Instr

pushStackEntries

Methods inherited from interface org.torqlang.klvm.Kernel

toKernelString

Methods inherited from interface org.torqlang.util.SourceSpan

adjoin, formatSource, source, sourceBegin, sourceEnd, toSourceBegin, toSourceEnd

Field Details

a

public final Ident a

x

public final Ident x

Constructor Details

BindIdentToIdentInstr

public BindIdentToIdentInstr(Ident a,
 Ident x,
 SourceSpan sourceSpan)

Method Details

accept

public final <T,R> R accept(KernelVisitor<T,R> visitor,
 T state)

Specified by:

accept in interface Kernel

captureLexicallyFree

public final void captureLexicallyFree(Set<Ident> knownBound,
 Set<Ident> lexicallyFree)

Specified by:

captureLexicallyFree in interface DeclOrInstr

Specified by:

captureLexicallyFree in class AbstractInstr

compute

public final void compute(Env env,
 Machine machine)
                   throws WaitException

Specified by:

compute in interface Instr

Throws:

WaitException