eu.bandm.tools.ops

Class Pattern.Binary<A,B,C>

java.lang.Object

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

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

eu.bandm.tools.ops.Pattern.Binary<A,B,C>

Enclosing class:

Pattern<A>

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

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>	left
protected Pattern<? super B>	right

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

any, none, p_null

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Binary(Pattern<? super A> left, Pattern<? super B> right)

Method Summary

Modifier and Type	Method and Description
void	clear(boolean recursively)
void	cut(boolean recursively)

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

narrow

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

and, any, bindsVariable, both, disturbsVariable, either, eq, first, forInstancesOf, isDeterministic, limit, match, matchAgain, matchOnce, none, or, p_null, savesVariable, 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

left

protected final Pattern<? super A> left

right

protected final Pattern<? super B> right

Constructor Detail

Binary

protected Binary(Pattern<? super A> left,
                 Pattern<? super B> right)

Method Detail

cut

public void cut(boolean recursively)

Overrides:

cut in class Pattern<C>

clear

public void clear(boolean recursively)

Overrides:

clear in class Pattern<C>