Class IdentPtn

java.lang.Object

org.torqlang.klvm.IdentPtn

All Implemented Interfaces:

Decl, DeclOrInstr, FeatureOrIdentPtn, Kernel, LiteralOrIdentPtn, Ptn, ValueOrIdentPtn, ValueOrPtn

public final class IdentPtn
extends Object
implements Ptn, FeatureOrIdentPtn

Field Summary

Fields

Modifier and Type	Field	Description
final boolean	escaped
final Ident	ident

Constructor Summary

Constructors

Constructor	Description
IdentPtn(Ident ident)
IdentPtn(Ident ident, boolean escaped)

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 ValueOrResolvedPtn	caseNonRecOfThis(Value nonRecValue, Env env)
final ValueOrResolvedPtn	caseRecOfThis(Rec rec, Env env)
final Value	resolveValue(Env env)
final ValueOrIdent	resolveValueOrIdent(Env env)
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

escaped

public final boolean escaped

Constructor Details

IdentPtn

public IdentPtn(Ident ident,
 boolean escaped)

IdentPtn

public IdentPtn(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

Specified by:

captureLexicallyFree in interface Ptn

caseNonRecOfThis

public final ValueOrResolvedPtn caseNonRecOfThis(Value nonRecValue,
 Env env)
                                          throws WaitException

Specified by:

caseNonRecOfThis in interface ValueOrPtn

Throws:

WaitException

caseRecOfThis

public final ValueOrResolvedPtn caseRecOfThis(Rec rec,
 Env env)
                                       throws WaitException

Specified by:

caseRecOfThis in interface ValueOrPtn

Throws:

WaitException

resolveValue

public final Value resolveValue(Env env)
                         throws WaitException

Specified by:

resolveValue in interface ValueOrIdentPtn

Throws:

WaitException

resolveValueOrIdent

public final ValueOrIdent resolveValueOrIdent(Env env)
                                       throws WaitException

Specified by:

resolveValueOrIdent in interface ValueOrIdentPtn

Throws:

WaitException

toString

public final String toString()

Overrides:

toString in class Object