public final class Patterns
extends java.lang.Object
Constructor and Description |
---|
Patterns() |
Modifier and Type | Method and Description |
---|---|
static Pattern |
buildCons(Pattern[] ptns)
Build a list cons pattern.
|
static Pattern |
buildElem(Binding name)
Build a pattern for any named element.
|
static Pattern |
buildElem(java.lang.String name)
Build a pattern for any named element.
|
static Pattern |
buildList(Pattern[] ptns)
Build a pattern for a list/array.
|
static Pattern |
buildNamedPattern(Binding name,
Pattern p)
Build an aliased pattern.
|
static Pattern |
buildNamedPattern(java.lang.String name,
Pattern p)
Build an aliased pattern.
|
static Pattern |
buildTuplePattern(MemberPattern[] mps)
Build an pattern for a tuple.
|
static Pattern |
buildWildcard()
Build a pattern for the wildcard '_'.
|
public static Pattern buildWildcard()
public static Pattern buildElem(java.lang.String name)
public static Pattern buildList(Pattern[] ptns)
ptns
- the pattern for each element seperated by ','.public static Pattern buildCons(Pattern[] ptns)
ptns
- the pattern for each item seperated by ':'.public static Pattern buildNamedPattern(java.lang.String name, Pattern p)
public static Pattern buildNamedPattern(Binding name, Pattern p)
public static Pattern buildTuplePattern(MemberPattern[] mps)
mps
- the patterns for tuple members.