Class ProcDef

java.lang.Object

org.torqlang.klvm.ProcDef

All Implemented Interfaces:

Decl, DeclOrInstr, Kernel

public final class ProcDef
extends Object
implements Decl

Field Summary

Fields

Modifier and Type	Field	Description
final Set<Ident>	freeIdents
final Instr	instr
final SourceSpan	sourceSpan
final List<Ident>	xs

Constructor Summary

Constructors

Constructor	Description
ProcDef(List<Ident> xs, Instr instr, 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 String	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

Field Details

xs

public final List<Ident> xs

instr

public final Instr instr

sourceSpan

public final SourceSpan sourceSpan

freeIdents

public final Set<Ident> freeIdents

Constructor Details

ProcDef

public ProcDef(List<Ident> xs,
 Instr instr,
 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

toString

public final String toString()

Overrides:

toString in class Object