Class IdentDef

java.lang.Object

org.torqlang.klvm.IdentDef

All Implemented Interfaces:

Decl, DeclOrInstr, Kernel

public final class IdentDef
extends Object
implements Decl

Field Summary

Fields

Modifier and Type	Field	Description
final Ident	ident
final Complete	value

Constructor Summary

Constructors

Constructor	Description
IdentDef(Ident ident)
IdentDef(Ident ident, Complete value)

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

ident

public final Ident ident

value

public final Complete value

Constructor Details

IdentDef

public IdentDef(Ident ident,
 Complete value)

IdentDef

public IdentDef(Ident ident)

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