Package eu.bandm.tools.paisley

Class TotalTransform<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.TotalTransform<A,B>

All Implemented Interfaces:

Serializable, Cloneable

public abstract class TotalTransform<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	TotalTransform(Pattern<? super B> body)	Creates a new pattern.

Method Summary

Modifier and Type	Method	Description
protected void	compileMatch(CompilationContext context)
protected void	compileMatchAgain(CompilationContext context)
boolean	match(A target)	Attempts to match this pattern against a given 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, matchAgain, 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, 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

TotalTransform

protected TotalTransform(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)

compileMatch

protected void compileMatch(CompilationContext context)

Overrides:

compileMatch in class Pattern<A>

compileMatchAgain

protected void compileMatchAgain(CompilationContext context)

Overrides:

compileMatchAgain in class Pattern<A>