Package eu.bandm.tools.paisley

Class Lazy<A>

java.lang.Object

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

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

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

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

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

Variable.LazyPlus

public abstract class Lazy<A>
extends Proxy<A>

Wrapper class for a pattern that is to be created on demand.

Subclasses of this class must implement the init(Pattern) method.

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	Lazy()

Method Summary

Modifier and Type	Method	Description
protected void	compileClear(CompilationContext context, boolean recursively)
protected void	compileCut(CompilationContext context, boolean recursively)
protected void	compileIsDeterministic(CompilationContext context)
protected void	compileMatch(CompilationContext context)
protected void	compileMatchAgain(CompilationContext context)
Pattern<A>	getBody()
protected abstract Pattern<A>	init(Pattern<? super A> self)	Creates the wrapped pattern.
boolean	isDeterministic()	Checks whether this pattern is deterministic.
boolean	isInitialized()

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

match

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

binds, clear, clone, cut, 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, 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

Lazy

protected Lazy()

Method Details

getBody

public Pattern<A> getBody()

Overrides:

getBody in class Unary<A,A>

isInitialized

public boolean isInitialized()

isDeterministic

public boolean isDeterministic()

Description copied from class: Unary

Checks whether this pattern is deterministic.

The default implementation returns true. This implementation delegates to Unary.body.

Overrides:

isDeterministic in class Unary<A,A>

Returns:

true if this pattern is guaranteed to match any object at most once, false otherwise.

See Also:

• Pattern.matchAgain()

init

protected abstract Pattern<A> init(Pattern<? super A> self)

Creates the wrapped pattern.

compileMatch

protected void compileMatch(CompilationContext context)

Overrides:

compileMatch in class Proxy<A>

compileMatchAgain

protected void compileMatchAgain(CompilationContext context)

Overrides:

compileMatchAgain in class Proxy<A>

compileIsDeterministic

protected void compileIsDeterministic(CompilationContext context)

Overrides:

compileIsDeterministic in class Pattern<A>

compileCut

protected void compileCut(CompilationContext context,
 boolean recursively)

Overrides:

compileCut in class Unary<A,A>

compileClear

protected void compileClear(CompilationContext context,
 boolean recursively)

Overrides:

compileClear in class Unary<A,A>