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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Proxy()
protected	Proxy(Pattern<? super A> body) Creates a new pattern.

Method Summary

Modifier and Type	Method and Description
protected void	compileMatch(eu.bandm.tools.paisley.CompilationContext context)
protected void	compileMatchAgain(eu.bandm.tools.paisley.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, any, aside, both, clear, compareTo, compile, compileClear, compileCut, compileIsDeterministic, compileSubPattern, compileThis, compileUpTo, 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, wait, wait, wait

Constructor Detail

Proxy

protected Proxy(Pattern<? super A> body)

Creates a new pattern.

Proxy

protected Proxy()

Method Detail

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

Overrides:

compileMatch in class Pattern<A>

compileMatchAgain

protected void compileMatchAgain(eu.bandm.tools.paisley.CompilationContext context)

Overrides:

compileMatchAgain in class Pattern<A>