Package eu.bandm.tools.paisley

Class Constraint

java.lang.Object

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

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

eu.bandm.tools.paisley.Constraint

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

Observer

public abstract class Constraint
extends Atomic<Object>

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

anyObject

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

_left_matched, _target_save, none

Constructor Summary

Constructors

Constructor	Description
Constraint()

Method Summary

Modifier and Type	Method	Description
static Constraint	all(Constraint... cs)
static Constraint	all(List<? extends Constraint> cs)
protected void	compileMatch(CompilationContext context)
boolean	match(Object target)	Attempts to match this pattern against a given object.
static Constraint	some(Constraint... cs)
static Constraint	some(List<? extends Constraint> cs)
abstract boolean	test()

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

anyObject, binds, clone, compileClear, compileClear, compileCut, compileCut, compileMatchAgain, isDeterministic, matchAgain, preserves, preserves

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

all, all, all, all, all, and, andThen, andThen, any, aside, both, clear, clear, compile, compileIsDeterministic, compileSubPattern, compileThis, compileUpTo, cut, cut, DEBUG, either, enPassant, flatten, limit, main, matchOnce, matchVar, narrow, newAll, noMatch, none, of, once, or, orElse, orElse, 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

Constraint

public Constraint()

Method Details

match

public boolean match(Object 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<Object>

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)

test

public abstract boolean test()

all

public static Constraint all(Constraint... cs)

all

public static Constraint all(List<? extends Constraint> cs)

some

public static Constraint some(Constraint... cs)

some

public static Constraint some(List<? extends Constraint> cs)

compileMatch

protected void compileMatch(CompilationContext context)

Overrides:

compileMatch in class Pattern<Object>