Beispiel #1
0
	public static final Pattern<Expr, Type> Mul(Pattern<Expr, Type> e1, Pattern<Expr, Type> e2) {
		return PF.nodeWithChildren("Seq", e1, e2);
	}
Beispiel #2
0
	public static final Pattern<Expr, Type> Mul(Expr e1, Pattern<Expr, Type> e2) {
		return PF.nodeWithChildren("Seq", PF.tree(new ExprCursor(e1)), e2);
	}
Beispiel #3
0
	public static final Pattern<Expr, Type> Mul(Pattern<Expr, Type> e1, Expr e2) {
		return PF.nodeWithChildren("Seq", e1, PF.tree(new ExprCursor(e2)));
	}
Beispiel #4
0
	public static final Pattern<Expr, Type> from(int b) {
		return PF.from(b);
	}
Beispiel #5
0
	public static final Pattern<Expr, Type> Let(Pattern<Expr, Type> x, Pattern<Expr, Type> e1, Pattern<Expr, Type> e2) {
		return PF.nodeWithChildren("Let", x, e1, e2);
	}
Beispiel #6
0
	public static final Pattern<Expr, Type> Sum() {
		return PF.nodeName("Sum");
	}
Beispiel #7
0
	public static final Pattern<Expr, Type> descendant(Pattern<Expr, Type> descendant) {
		return PF.descendant(descendant);
	}
Beispiel #8
0
	public static final Pattern<Expr, Type> Add(Pattern<Expr, Type> e1, Pattern<Expr, Type> e2) {
		return PF.nodeWithChildren("Add", e1, e2);
	}
Beispiel #9
0
	public static final Pattern<Expr, Type> ancestor(Pattern<Expr, Type> ancestor) {
		return PF.ancestor(ancestor);
	}
Beispiel #10
0
	public static final Pattern<Expr, Type> var(String name, Pattern<Expr, Type> expr) {
		return PF.var(name, expr);
	}
Beispiel #11
0
	public static final Pattern<Expr, Type> Var() {
		return PF.nodeType(Type.VAR);
	}
Beispiel #12
0
public class ExprPatterns {
	private static final PatternFactory<Expr, Type> PF = PatternFactory.getInstance();

	public static final Pattern<Expr, Type> zero = PF.nodeWithChildren("0");

	public static final Pattern<Expr, Type> _ = PF.any();


	public static final Expr Add(Expr e1, Expr e2) {
		return new Add(e1, e2);
	}
	public static final Pattern<Expr, Type> Add(Expr e1, Pattern<Expr, Type> e2) {
		return PF.nodeWithChildren("Add", PF.tree(new ExprCursor(e1)), e2);
	}



	public static final Pattern<Expr, Type> Add(Pattern<Expr, Type> e1, Expr e2) {
		return PF.nodeWithChildren("Add", e1, PF.tree(new ExprCursor(e2)));
	}


	public static final Pattern<Expr, Type> Add(Pattern<Expr, Type> e1, Pattern<Expr, Type> e2) {
		return PF.nodeWithChildren("Add", e1, e2);
	}

	public static final Pattern<Expr, Type> ancestor(Pattern<Expr, Type> ancestor) {
		return PF.ancestor(ancestor);
	}

	public static final Pattern<Expr, Type> and(Pattern<Expr, Type> a, Pattern<Expr, Type> b) {
		return PF.and(a, b);
	}

	public static final Pattern<Expr, Type> descendant(Pattern<Expr, Type> descendant) {
		return PF.descendant(descendant);
	}


	public static final Pattern<Expr, Type> from(int b) {
		return PF.from(b);
	}


	public static final Expr Int(int i) {
		return new Int(i);
	}


	public static final Pattern<Expr, Type> Let(Pattern<Expr, Type> x, Pattern<Expr, Type> e1, Pattern<Expr, Type> e2) {
		return PF.nodeWithChildren("Let", x, e1, e2);
	}


	public static final Expr Let(Var x, Expr e1, Expr e2) {
		return new Let(x, e1, e2);
	}


	public static final Expr Mul(Expr e1, Expr e2) {
		return new Mul(e1, e2);
	}


	public static final Pattern<Expr, Type> Mul(Expr e1, Pattern<Expr, Type> e2) {
		return PF.nodeWithChildren("Seq", PF.tree(new ExprCursor(e1)), e2);
	}


	public static final Pattern<Expr, Type> Mul(Pattern<Expr, Type> e1, Expr e2) {
		return PF.nodeWithChildren("Seq", e1, PF.tree(new ExprCursor(e2)));
	}


	public static final Pattern<Expr, Type> Mul(Pattern<Expr, Type> e1, Pattern<Expr, Type> e2) {
		return PF.nodeWithChildren("Seq", e1, e2);
	}


	public static final Pattern<Expr, Type> not(Pattern<Expr, Type> a) {
		return PF.not(a);
	}


	public static final Pattern<Expr, Type> or(Pattern<Expr, Type> a, Pattern<Expr, Type> b) {
		return PF.or(a, b);
	}


	public static final Pattern<Expr, Type> parent(Pattern<Expr, Type> parent) {
		return PF.parent(parent);
	}


	public static final Pattern<Expr, Type> Sum() {
		return PF.nodeName("Sum");
	}


	public static final Expr Sum(Expr... es) {
		return new Sum(es);
	}

	@SafeVarargs
	public static final Pattern<Expr, Type> Sum(Pattern<Expr, Type>... es) {
		return PF.nodeWithChildren("Sum", es);
	}

	public static final Pattern<Expr, Type> type(Type type) {
		return PF.nodeType(type);
	}


	public static final Pattern<Expr, Type> var(String name) {
		return PF.var(name);
	}


	public static final Pattern<Expr, Type> var(String name, Pattern<Expr, Type> expr) {
		return PF.var(name, expr);
	}


	public static final Pattern<Expr, Type> Var() {
		return PF.nodeType(Type.VAR);
	}


	public static final Pattern<Expr, Type> Var(Pattern<Expr, Type> name) {
		return and(Var(), name);
	}


	public static final Var Var(String s) {
		return new Var(s);
	}

}
Beispiel #13
0
	public static final Pattern<Expr, Type> type(Type type) {
		return PF.nodeType(type);
	}
Beispiel #14
0
	@SafeVarargs
	public static final Pattern<Expr, Type> Sum(Pattern<Expr, Type>... es) {
		return PF.nodeWithChildren("Sum", es);
	}
Beispiel #15
0
	public static final Pattern<Expr, Type> not(Pattern<Expr, Type> a) {
		return PF.not(a);
	}
Beispiel #16
0
	public static final Pattern<Expr, Type> and(Pattern<Expr, Type> a, Pattern<Expr, Type> b) {
		return PF.and(a, b);
	}
Beispiel #17
0
	public static final Pattern<Expr, Type> or(Pattern<Expr, Type> a, Pattern<Expr, Type> b) {
		return PF.or(a, b);
	}
Beispiel #18
0
	public static final Pattern<Expr, Type> parent(Pattern<Expr, Type> parent) {
		return PF.parent(parent);
	}