Package eu.bandm.tools.paisley

Class RestrictedTransform<A,B>

java.lang.Object

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

eu.bandm.tools.paisley.Unary<B,A>

eu.bandm.tools.paisley.Transform<A,B>

eu.bandm.tools.paisley.RestrictedTransform<A,B>

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

CachedTransform, Filter

public abstract class RestrictedTransform<A,B>
extends Transform<A,B>

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

Modifier	Constructor	Description
protected	RestrictedTransform(Pattern<? super B> body)	Creates a new pattern.

Method Summary

Modifier and Type	Method	Description
protected void	compileIsDomain(CompilationContext context)
protected void	compileIsRange(CompilationContext context)
protected void	compileMatch(CompilationContext context)
protected void	compileMatchAgain(CompilationContext context)
boolean	isDomain(A target)
boolean	isRange(B transformed)
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.

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

apply, compileApply

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

binds, clear, clone, compileClear, compileCut, cut, getBody, isDeterministic, preserves, preserves, setBody, toString

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

all, all, all, all, all, and, andThen, andThen, any, aside, both, clear, compile, compileClear, compileCut, compileIsDeterministic, compileSubPattern, compileThis, compileUpTo, 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, wait, wait, wait

Constructor Details

RestrictedTransform

protected RestrictedTransform(Pattern<? super B> body)

Creates a new pattern.

Method Details

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 Unary<B,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)

isDomain

public boolean isDomain(A target)

isRange

public boolean isRange(B transformed)

compileMatch

protected void compileMatch(CompilationContext context)

Overrides:

compileMatch in class Pattern<A>

compileMatchAgain

protected void compileMatchAgain(CompilationContext context)

Overrides:

compileMatchAgain in class Pattern<A>

compileIsDomain

protected void compileIsDomain(CompilationContext context)

compileIsRange

protected void compileIsRange(CompilationContext context)