Package eu.bandm.tools.paisley

Class Both<A>

java.lang.Object

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

eu.bandm.tools.paisley.Binary<A,A,A>

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

Type Parameters:

A - the target type of objects to match against

All Implemented Interfaces:

Pattern<A>, Serializable, Cloneable

Direct Known Subclasses:

Both.Backtrack, Both.NoBacktrack

@Generated(generator="eu.bandm.tools.expander",
           version="",
           timestamp="2026-01-24T11:39:07")
abstract class Both<A>
extends Binary<A,A,A>

Base class of binary pattern conjunction.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static final class	Both.Backtrack<A>	Backtracking variant of binary pattern conjunction.
(package private) static final class	Both.NoBacktrack<A>	Non-backtracking variant of binary pattern conjunction.

Field Summary

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

left, right

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

none

Method Summary

Modifier and Type	Method	Description
boolean	binds(Variable<?> v)	Checks whether a variable is bound by this pattern.
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.Binary

clear, cut, fork, getLeft, getRight

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

clone, doclone

Methods inherited from class java.lang.Object

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

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

and, andThen, andThen, clear, cut, enPassant, flatten, isDeterministic, limit, match, matchAgain, matches, matchOnce, narrow, noMatch, or, orElse, orElse, preserves, someMatch, uniquely, unlessNull

Method Details

binds

public boolean binds(Variable<?> v)

Checks whether a variable is bound by this pattern.

The default implementation returns false.

Parameters:

v - a pattern variable

Returns:

true if the variable is guaranteed to have a meaningful value when this pattern is open, false otherwise.

preserves

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

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

The default implementation returns false.

Parameters:

v - a pattern variable

success - specifies preservation on success or failure

Returns:

true if the variable value is guaranteed to be unaffected by a matching attempt with this pattern that returns a value equal to success.