Package eu.bandm.tools.paisley

Class Observable<A>

java.lang.Object

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

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

All Implemented Interfaces:

Serializable, Cloneable

public class Observable<A>
extends Pattern<A>

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

Constructor	Description
Observable(Variable<A> variable)

Method Summary

Modifier and Type	Method	Description
(package private) void	addObserver(Observer o)
void	clear(boolean recursively)	Disposes of all internal state related to results and nondeterminism.
(package private) boolean	isBound()
boolean	isDeterministic()	Checks whether this pattern is deterministic.
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.
String	toString()

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

all, all, all, all, all, and, andThen, andThen, any, aside, binds, both, clear, clone, compile, compileClear, compileClear, compileCut, compileCut, compileIsDeterministic, compileMatch, compileMatchAgain, compileSubPattern, compileThis, compileUpTo, cut, cut, DEBUG, either, enPassant, flatten, 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, wait, wait, wait

Constructor Details

Observable

public Observable(Variable<A> variable)

Method Details

addObserver

void addObserver(Observer o)

isBound

boolean isBound()

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)

isDeterministic

public 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 if this pattern is guaranteed to match any object at most once, false otherwise.

See Also:

• Pattern.matchAgain()

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.

toString

public String toString()

Overrides:

toString in class Object