Package eu.bandm.tools.ramus.runtime2

Class DataPatterns

java.lang.Object

eu.bandm.tools.ramus.runtime2.DataPatterns

public class DataPatterns
extends Object

Constructor Summary

Constructors

Constructor	Description
DataPatterns()

Method Summary

Modifier and Type	Method	Description
static Pattern<Data>	absent(Pattern<Data> body)
static <A> Pattern<Data>	atomic(Class<A> cls, Pattern<? super A> body)
static <T> Pattern<Data>	content(Class<T> types, Pattern<? super T> type)
static <T> Pattern<Data>	content(Class<T> types, Pattern<? super T> type, Pattern<? super String> text)
static Pattern<Data>	content(Object type)
static Pattern<Data>	present(Pattern<Data> body)
static Pattern<Data>	tuple(Pattern<? super Data>... elems)
static Pattern<Data>	tuple(List<Pattern<? super Data>> elems)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DataPatterns

public DataPatterns()

Method Details

present

public static Pattern<Data> present(Pattern<Data> body)

absent

public static Pattern<Data> absent(Pattern<Data> body)

atomic

public static <A> Pattern<Data> atomic(Class<A> cls,
 Pattern<? super A> body)

content

public static <T> Pattern<Data> content(Class<T> types,
 Pattern<? super T> type,
 Pattern<? super String> text)

content

public static <T> Pattern<Data> content(Class<T> types,
 Pattern<? super T> type)

content

public static Pattern<Data> content(Object type)

tuple

@SafeVarargs
public static Pattern<Data> tuple(Pattern<? super Data>... elems)

tuple

public static Pattern<Data> tuple(List<Pattern<? super Data>> elems)