Package 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	Description
protected final Pattern<? super A>	left
protected final Pattern<? super B>	right

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

any, none, p_null

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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 Details

left

protected final Pattern<? super A> left

right

protected final Pattern<? super B> right

Constructor Details

Binary

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

Method Details

cut

public void cut(boolean recursively)

Overrides:

cut in class Pattern<C>

clear

public void clear(boolean recursively)

Overrides:

clear in class Pattern<C>