Class EntailsInstr

java.lang.Object

org.torqlang.klvm.AbstractInstr

org.torqlang.klvm.EntailsInstr

All Implemented Interfaces:

DeclOrInstr, Instr, Kernel, SourceSpan

public final class EntailsInstr
extends AbstractInstr

Field Summary

Fields

Modifier and Type	Field	Description
final CompleteOrIdent	a
final CompleteOrIdent	b
final Ident	x

Fields inherited from class org.torqlang.klvm.AbstractInstr

sourceSpan

Constructor Summary

Constructors

Constructor	Description
EntailsInstr(CompleteOrIdent a, CompleteOrIdent b, Ident x, SourceSpan sourceSpan)

Method Summary

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

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.Kernel

toKernelString

Methods inherited from interface org.torqlang.util.SourceSpan

adjoin, formatSource

Field Details

a

public final CompleteOrIdent a

b

public final CompleteOrIdent b

x

public final Ident x

Constructor Details

EntailsInstr

public EntailsInstr(CompleteOrIdent a,
 CompleteOrIdent b,
 Ident x,
 SourceSpan sourceSpan)

Method Details

a

public final CompleteOrIdent a()

accept

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

b

public final CompleteOrIdent b()

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 void compute(Env env,
 Machine machine)
             throws WaitException

Throws:

WaitException

x

public final Ident x()