org.erights.e.elang.evm
Class MatchBindExpr

java.lang.Object
  |
  +--org.erights.e.elang.evm.ParseNode
        |
        +--org.erights.e.elang.evm.ENode
              |
              +--org.erights.e.elang.evm.EExpr
                    |
                    +--org.erights.e.elang.evm.MatchBindExpr

All Implemented Interfaces:

Cloneable, EPrintable, MatchMaker

public class MatchBindExpr

extends EExpr

Safe: BNF: eExpr "=~" pattern

Tests if the expression matches the pattern

Author:

Mark S. Miller

Field Summary

private NounExpr[]	myOptBound
private Pattern	myPattern
private EExpr	mySpecimen

Fields inherited from class org.erights.e.elang.evm.ENode

Fields inherited from class org.erights.e.elang.evm.ParseNode

NUM_PR, PR_ASSIGN, PR_CALL, PR_COMP, PR_EEXPR, PR_LISTPATT, PR_ORDER, PR_PATTERN, PR_PRIM, PR_START

Constructor Summary

MatchBindExpr(SourceSpan optSpan, EExpr specimen, Pattern pattern)
Enabled:

MatchBindExpr(SourceSpan optSpan, EExpr specimen, Pattern pattern, NounExpr[] bound)
Enabled:

Method Summary

private void	breakAll(EvalContext ctx, Throwable reason)
protected StaticScope	computeStaticScope() When staticScope() is first requested on a given node, it calls computeStaticScope() to do the actual computation, which is then remembered.
boolean	matchBind(ConstList args, Object specimen, FlexList bindings) Enabled:
Pattern	pattern() Enabled:
EExpr	specimen() Enabled:
protected Object	subEval(EvalContext ctx, boolean forValue) The recursive part that does the work
void	subPrintOn(TextWriter out, int priority) Enabled:
Object	welcome(ETreeVisitor visitor) Enabled:

Methods inherited from class org.erights.e.elang.evm.EExpr

__printOn, appendAllTo, appendTo, eval, eval, evalBool, printAsBlockOn, substitute, transform

Methods inherited from class org.erights.e.elang.evm.ENode

cleanCopy, copy, getOptPatternMap, getOptScopeMap, getPatternMap, getScopeMap, qbuild, setPatternMap, setScopeMap, staticScope, synEnv

Methods inherited from class org.erights.e.elang.evm.ParseNode

asText, getOptSpan, lnPrintOn, lnPrintOn, matchBind, matchBind, matchBind, printListOn, toString

Methods inherited from class java.lang.Object

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

Field Detail

mySpecimen

private final EExpr mySpecimen

myPattern

private final Pattern myPattern

myOptBound

private final NounExpr[] myOptBound

Constructor Detail

MatchBindExpr

public MatchBindExpr(SourceSpan optSpan,
                     EExpr specimen,
                     Pattern pattern)

Enabled:

MatchBindExpr

public MatchBindExpr(SourceSpan optSpan,
                     EExpr specimen,
                     Pattern pattern,
                     NounExpr[] bound)

Enabled:

Method Detail

welcome

public Object welcome(ETreeVisitor visitor)

Enabled:

Specified by:

welcome in class ENode

computeStaticScope

protected StaticScope computeStaticScope()

Description copied from class: ENode

When staticScope() is first requested on a given node, it calls computeStaticScope() to do the actual computation, which is then remembered.

Specified by:

computeStaticScope in class ENode

subEval

protected Object subEval(EvalContext ctx,
                         boolean forValue)

Description copied from class: EExpr

The recursive part that does the work

Specified by:

subEval in class EExpr

breakAll

private void breakAll(EvalContext ctx,
                      Throwable reason)

matchBind

public boolean matchBind(ConstList args,
                         Object specimen,
                         FlexList bindings)

Enabled:

Specified by:

matchBind in interface MatchMaker

Specified by:

matchBind in class ParseNode

pattern

public Pattern pattern()

Enabled:

subPrintOn

public void subPrintOn(TextWriter out,
                       int priority)
                throws IOException

Enabled:

Specified by:

subPrintOn in class ParseNode

IOException

specimen

public EExpr specimen()

Enabled: