Package eu.bandm.tools.ops

Class Pattern.Contravariant<A>

java.lang.Object

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

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

Direct Known Subclasses:

Pattern.Atomic, Pattern.Binary, Pattern.Unary

Enclosing class:

Pattern<A>

public abstract static class Pattern.Contravariant<A>
extends Pattern<A>

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 inherited from class eu.bandm.tools.ops.Pattern

any, none, p_null

Constructor Summary

Constructors

Constructor	Description
Contravariant()

Method Summary

Modifier and Type	Method	Description
<B extends A> Pattern.Contravariant<B>	narrow()

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

and, any, bindsVariable, both, clear, cut, 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

Constructor Details

Contravariant

public Contravariant()

Method Details

narrow

public <B extends A> Pattern.Contravariant<B> narrow()