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

Constructor Summary

Constructors

Constructor and Description
Constraint()

Method Summary

Modifier and Type	Method and Description
static Constraint	all(Constraint... cs)
static Constraint	all(List<? extends Constraint> cs)
protected void	compileMatch(eu.bandm.tools.paisley.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

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, any, aside, both, clear, clear, compareTo, compile, compileIsDeterministic, compileSubPattern, compileThis, compileUpTo, cut, cut, DEBUG, either, enPassant, eq, eqNull, equal, filter, flatten, forInstancesOf, limit, main, 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

Constraint

public Constraint()

Method Detail

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(eu.bandm.tools.paisley.CompilationContext context)

Overrides:

compileMatch in class Pattern<Object>