Package eu.bandm.tools.paisley

Class Proxy<A>

java.lang.Object

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

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

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

Type Parameters:

A - the target type

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

Lazy, Theme

public class Proxy<A>
extends Unary<A,A>

Base class for patterns that contain one subpattern of the same target type. Methods have default implementations that delegate to the subpattern.

Subclasses may override methods to add behaviour.

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	Proxy()
protected	Proxy(Pattern<? super A> 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.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

Proxy

protected Proxy(Pattern<? super A> body)

Creates a new pattern.

Proxy

protected Proxy()

Method Details

match

public boolean match(A target)

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.

The default implementation delegates to body.

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>