Package | Description |
---|---|
eu.bandm.tools.ops |
Modifier and Type | Class and Description |
---|---|
static class |
Pattern.Atomic<A> |
static class |
Pattern.Binary<A,B,C> |
class |
Pattern.Proxy |
static class |
Pattern.Transform<A,B> |
static class |
Pattern.Unary<A,B> |
Modifier and Type | Field and Description |
---|---|
static Pattern.Contravariant<Object> |
Pattern.any |
static Pattern.Contravariant<Object> |
Pattern.none |
static Pattern.Contravariant<Object> |
Pattern.p_null |
Modifier and Type | Method and Description |
---|---|
Pattern.Contravariant<A> |
Pattern.and(Pattern<A> p) |
static <A> Pattern.Contravariant<A> |
Pattern.any()
Return a pattern that matches anything.
|
static <A> Pattern.Contravariant<A> |
Pattern.both(Pattern<? super A> p,
Pattern<? super A> q)
Combine two patterns conjunctively.
|
static <A> Pattern.Contravariant<A> |
Pattern.either(Pattern<? super A> p,
Pattern<? super A> q)
Combine two patterns disjunctively.
|
static <A> Pattern.Contravariant<A> |
Pattern.eq(A a)
Return a pattern that matches objects equal to a given
reference.
|
<B extends A> |
Pattern.Contravariant.narrow() |
static <A> Pattern.Contravariant<A> |
Pattern.none()
Return a pattern that matches nothing.
|
Pattern.Contravariant<A> |
Pattern.or(Pattern<A> p) |
static <A> Pattern.Contravariant<A> |
Pattern.p_null()
Return a pattern that matches only the
null reference. |
see also the complete user documentation .