Package eu.bandm.tools.paisley

Class Adaptive<A>

java.lang.Object

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

eu.bandm.tools.paisley.Adaptive<A>

Type Parameters:

A - the target type of the delegate pattern

All Implemented Interfaces:

Serializable, Cloneable

public abstract class Adaptive<A>
extends Pattern<A>

Abstract base class for patterns that delegate to some other pattern, chosen dynamically per target.

See Also:

• Serialized Form

Nested Class Summary

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

Pattern.Either<A>

Field Summary

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

_left_matched, _target_save, none

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Adaptive()	Creates a new pattern.

Method Summary

Modifier and Type	Method	Description
void	clear(boolean recursively)	Disposes of all internal state related to results and nondeterminism.
Pattern<A>	clone()	Makes a matching-state copy if this pattern.
void	cut(boolean recursively)	Disposes of all internal state related to nondeterminism.
protected abstract Pattern<? super A>	delegate(A target)
boolean	match(A target)	Attempts to match this pattern against a given object.
boolean	matchAgain()	Attempts to re-match this pattern against a previously matched object.

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

all, all, all, all, all, and, andThen, andThen, any, aside, binds, both, clear, compile, compileClear, compileClear, compileCut, compileCut, compileIsDeterministic, compileMatch, compileMatchAgain, compileSubPattern, compileThis, compileUpTo, cut, DEBUG, either, enPassant, flatten, isDeterministic, limit, main, matchOnce, matchVar, narrow, newAll, noMatch, none, of, once, or, orElse, orElse, preserves, preserves, repeat, some, some, some, some, someMatch, startCompile, uniquely, variable, variable

Methods inherited from class java.lang.Object

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

Constructor Details

Adaptive

protected Adaptive()

Creates a new pattern.

Method Details

clone

public Pattern<A> clone()

Description copied from class: Pattern

Makes a matching-state copy if this pattern.

Subclasses must override this method if necessary to honour the following rules for all transitively reachable patterns:

• Subpatterns that are instances of Variable must be shared. This implies that Variable.clone() must return this.
• Fields that do not refer to subpatterns, but to matching state (changed by invocations of Pattern.match(A), Pattern.matchAgain(), Pattern.cut() or Pattern.clear()) must be duplicated. If matching state changes are effected by modification of other objects, these must be duplicated. In summary, matching operations on this pattern and its copy must not interfere, with the exception of variable bindings.
• Fields neither referring to subpatterns nor to matching state may be either shared or duplicated. The usage of such fields in a modifiable way (such that the distinction is relevant) is strongly deprecated.
• Patterns whose fields need not be duplicated need not be duplicated themselves, but may return this.

Overrides:

clone in class Pattern<A>

delegate

protected abstract Pattern<? super A> delegate(A target)

match

public boolean match(A target)

Description copied from class: Pattern

Attempts 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.

Specified by:

match in class Pattern<A>

Parameters:

target - the object to match against

Returns:

true if the matching is successful, false if it fails. Which Variables are bound by a successful or failed match depends.

See Also:

• Pattern.binds(Variable)
• Pattern.preserves(Variable, boolean)

matchAgain

public boolean matchAgain()

Description copied from class: Pattern

Attempts to re-match this pattern against a previously matched object. If the class of this pattern imposes a specific order on matches, they are chosen in that order, beginning with the second one. The behaviour of this method is unspecified if the last matching attempt of this pattern has not been successful.

Patterns classes that do not override this method are deterministic. Pattern classes that overwrite this method to provide additional matches should also override Pattern.isDeterministic().

Overrides:

matchAgain in class Pattern<A>

Returns:

true if the matching is successful, false if it fails. Which Variables are bound by a successful match depends. The default implementation always returns false.

See Also:

• Pattern.binds(Variable)
• Pattern.preserves(Variable, boolean)

cut

public void cut(boolean recursively)

Description copied from class: Pattern

Disposes of all internal state related to nondeterminism.

The default implementation does nothing. Subclasses that override this method should also override Pattern.clear(boolean) and ensure that it implies the effect of cut(false).

Overrides:

cut in class Pattern<A>

Parameters:

recursively - true if all subpatterns should be deactivated, false otherwise.

clear

public void clear(boolean recursively)

Description copied from class: Pattern

Disposes of all internal state related to results and nondeterminism.

The default implementation does nothing.

Overrides:

clear in class Pattern<A>

Parameters:

recursively - true if all subpatterns should be deactivated, false otherwise.