eu.bandm.tools.paisley

Class Atomic<A>

java.lang.Object

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

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

Type Parameters:

A - the target type

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

Constraint

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

Abstract base class for patterns that contain no subpatterns. Subclasses of this class must represent deterministic patterns that affect no variable.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Atomic() Creates a new atomic pattern.

Method Summary

Modifier and Type	Method and Description
boolean	binds(Variable<?> v) Checks whether a variable is bound by this pattern.
Pattern<A>	clone() Makes a matching-state copy if this pattern.
protected void	compileClear(eu.bandm.tools.paisley.CompilationContext context)
protected void	compileClear(eu.bandm.tools.paisley.CompilationContext context, boolean recursively)
protected void	compileCut(eu.bandm.tools.paisley.CompilationContext context)
protected void	compileCut(eu.bandm.tools.paisley.CompilationContext context, boolean recursively)
protected void	compileMatchAgain(eu.bandm.tools.paisley.CompilationContext context)
boolean	isDeterministic() Checks whether this pattern is deterministic.
boolean	matchAgain() Attempts to re-match this pattern against a previously matched object.
boolean	preserves(Variable<?> v) Checks whether a variable is preserved by this pattern, unconditionally.
boolean	preserves(Variable<?> v, boolean success) Checks whether a variable is preserved by this pattern, conditionally on success or failure.

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

all, all, all, all, all, and, andThen, andThen, any, any, aside, both, clear, clear, compareTo, compile, compileIsDeterministic, compileMatch, compileSubPattern, compileThis, compileUpTo, cut, cut, DEBUG, either, enPassant, eq, eqNull, equal, filter, flatten, forInstancesOf, limit, main, match, matchOnce, matchVar, narrow, neq, neqNull, newAll, noMatch, none, or, orElse, orElse, repeat, some, some, some, some, someMatch, startCompile, test, transform, uniquely, variable, variable

Methods inherited from class java.lang.Object

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

Constructor Detail

Atomic

public Atomic()

Creates a new atomic pattern.

Method Detail

matchAgain

public final 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:

false

See Also:

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

binds

public final boolean binds(Variable<?> v)

Description copied from class: Pattern

Checks whether a variable is bound by this pattern.

The default implementation returns false.

Overrides:

binds in class Pattern<A>

Parameters:

v - a pattern variable

Returns:

false

preserves

public final boolean preserves(Variable<?> v,
                               boolean success)

Description copied from class: Pattern

Checks whether a variable is preserved by this pattern, conditionally on success or failure.

The default implementation returns false.

Overrides:

preserves in class Pattern<A>

Parameters:

v - a pattern variable

success - specifies preservation on success or failure

Returns:

true

preserves

public final boolean preserves(Variable<?> v)

Description copied from class: Pattern

Checks whether a variable is preserved by this pattern, unconditionally.

The default implementation returns false.

Overrides:

preserves in class Pattern<A>

Parameters:

v - a pattern variable

Returns:

true

isDeterministic

public final boolean isDeterministic()

Description copied from class: Pattern

Checks whether this pattern is deterministic.

The default implementation returns true.

Overrides:

isDeterministic in class Pattern<A>

Returns:

true

See Also:

Pattern.matchAgain()

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>

compileMatchAgain

protected final void compileMatchAgain(eu.bandm.tools.paisley.CompilationContext context)

Overrides:

compileMatchAgain in class Pattern<A>

compileCut

protected final void compileCut(eu.bandm.tools.paisley.CompilationContext context)

Overrides:

compileCut in class Pattern<A>

compileCut

protected final void compileCut(eu.bandm.tools.paisley.CompilationContext context,
                                boolean recursively)

Overrides:

compileCut in class Pattern<A>

compileClear

protected final void compileClear(eu.bandm.tools.paisley.CompilationContext context)

Overrides:

compileClear in class Pattern<A>

compileClear

protected final void compileClear(eu.bandm.tools.paisley.CompilationContext context,
                                  boolean recursively)

Overrides:

compileClear in class Pattern<A>