Package eu.bandm.tools.ops

Class Pattern.Variable<A>

java.lang.Object

eu.bandm.tools.ops.Pattern<A>

eu.bandm.tools.ops.Pattern.Variable<A>

Enclosing class:

Pattern<A>

public static class Pattern.Variable<A>
extends Pattern<A>

Pattern variable.

A pattern variable is deterministic, matches any object and bind itself.

Nested Class Summary

Nested classes/interfaces inherited from class eu.bandm.tools.ops.Pattern

Pattern.Atomic<A>, Pattern.Binary<A,B,C>, Pattern.Contravariant<A>, Pattern.Proxy, Pattern.Transform<A,B>, Pattern.Unary<A,B>, Pattern.Variable<A>

Field Summary

Fields inherited from class eu.bandm.tools.ops.Pattern

any, none, p_null

Constructor Summary

Constructors

Constructor	Description
Variable()
Variable(String name)

Method Summary

Modifier and Type	Method	Description
<B> Iterable<A>	bindings(Pattern<B> root, B arg)
boolean	bindsVariable(Pattern.Variable v)
void	clear()
boolean	disturbsVariable(Pattern.Variable v)
A	getValue()
boolean	isDeterministic()
boolean	match(A x)	Attempt to match this pattern against a given object.
boolean	savesVariable(Pattern.Variable v)
String	toString()

Methods inherited from class eu.bandm.tools.ops.Pattern

and, any, both, clear, cut, either, eq, first, forInstancesOf, limit, matchAgain, matchOnce, none, or, p_null, somewhere, transform, uniquely, variable, variable

Methods inherited from class java.lang.Object

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

Constructor Details

Variable

public Variable()

Variable

public Variable(String name)

Method Details

getValue

public A getValue()

clear

public void clear()

match

public boolean match(A x)

Description copied from class: Pattern

Attempt to match this pattern against a given object. If the class of this pattern imposes a specific order on matches, the first one is chosen. The pattern is activated on success, but deactivated on failure.

Specified by:

match in class Pattern<A>

Returns:

true if the matching is successful, false if it fails. Which Pattern.Variables are bound by a successful match is class-specific.

bindsVariable

public boolean bindsVariable(Pattern.Variable v)

Specified by:

bindsVariable in class Pattern<A>

disturbsVariable

public boolean disturbsVariable(Pattern.Variable v)

Specified by:

disturbsVariable in class Pattern<A>

savesVariable

public boolean savesVariable(Pattern.Variable v)

Specified by:

savesVariable in class Pattern<A>

isDeterministic

public boolean isDeterministic()

Specified by:

isDeterministic in class Pattern<A>

toString

public String toString()

Overrides:

toString in class Object

bindings

public <B> Iterable<A> bindings(Pattern<B> root,
 B arg)