eu.bandm.tools.ops

Class Pattern.Unary<A,B>

java.lang.Object

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

eu.bandm.tools.ops.Pattern.Contravariant<B>

eu.bandm.tools.ops.Pattern.Unary<A,B>

Direct Known Subclasses:

Pattern.Proxy, Pattern.Transform

Enclosing class:

Pattern<A>

public abstract static class Pattern.Unary<A,B>
extends Pattern.Contravariant<B>

Nested Class Summary

Nested classes/interfaces inherited from class eu.bandm.tools.ops.Pattern

Pattern.Atomic<A>, Pattern.Binary<A,B,C>, Pattern.Contravariant<A>, Pattern.Proxy, Pattern.Transform<A,B>, Pattern.Unary<A,B>, Pattern.Variable<A>

Field Summary

Fields

Modifier and Type	Field and Description
protected Pattern<? super A>	body

Fields inherited from class eu.bandm.tools.ops.Pattern

any, none, p_null

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Unary(Pattern<? super A> body)

Method Summary

Modifier and Type	Method and Description
boolean	bindsVariable(Pattern.Variable v)
void	clear(boolean recursively)
void	cut(boolean recursively)
boolean	disturbsVariable(Pattern.Variable v)
boolean	isDeterministic()
boolean	savesVariable(Pattern.Variable v)

Methods inherited from class eu.bandm.tools.ops.Pattern.Contravariant

narrow

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

and, any, both, either, eq, first, forInstancesOf, limit, match, matchAgain, matchOnce, none, or, p_null, somewhere, transform, uniquely, variable, variable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

body

protected final Pattern<? super A> body

Constructor Detail

Unary

protected Unary(Pattern<? super A> body)

Method Detail

cut

public void cut(boolean recursively)

Overrides:

cut in class Pattern<B>

clear

public void clear(boolean recursively)

Overrides:

clear in class Pattern<B>

bindsVariable

public boolean bindsVariable(Pattern.Variable v)

Specified by:

bindsVariable in class Pattern<B>

disturbsVariable

public boolean disturbsVariable(Pattern.Variable v)

Specified by:

disturbsVariable in class Pattern<B>

savesVariable

public boolean savesVariable(Pattern.Variable v)

Specified by:

savesVariable in class Pattern<B>

isDeterministic

public boolean isDeterministic()

Specified by:

isDeterministic in class Pattern<B>