Package org.rascalmpl.test.infrastructure

Examples of org.rascalmpl.test.infrastructure.TestFramework.prepareMore()

80
81
82
83
84
85
86
87
88
89
90
    tf.prepareMore("list[B] l = [g(c()),c()];");
    assertTrue(tf.runTestInSameEvaluator("makeAll(rules2)(l) == [c(),b()]"));

    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("tuple[A,B] t3 = <a(),c()>;");
    assertTrue(tf.runTestInSameEvaluator("top_down(rules2)(t3) == <a(),b()>"));

    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
    assertTrue(tf.runTestInSameEvaluator("makeAll(rules2)(l) == [c(),b()]"));

    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("tuple[A,B] t3 = <a(),c()>;");
    assertTrue(tf.runTestInSameEvaluator("top_down(rules2)(t3) == <a(),b()>"));

    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
    tf.prepareMore("tuple[A,B] t3 = <a(),c()>;");
    assertTrue(tf.runTestInSameEvaluator("top_down(rules2)(t3) == <a(),b()>"));

    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("rel[A, B] r = {<a(), b()>, <f(b(),b()), c()>};");
    assertTrue(tf.runTestInSameEvaluator("top_down(rules3)(r) == {<a(), c()>, <f(c(),c()), c()>}"));

    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
    assertTrue(tf.runTestInSameEvaluator("top_down(rules2)(t3) == <a(),b()>"));

    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("rel[A, B] r = {<a(), b()>, <f(b(),b()), c()>};");
    assertTrue(tf.runTestInSameEvaluator("top_down(rules3)(r) == {<a(), c()>, <f(c(),c()), c()>}"));

    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
    tf.prepareMore("rel[A, B] r = {<a(), b()>, <f(b(),b()), c()>};");
    assertTrue(tf.runTestInSameEvaluator("top_down(rules3)(r) == {<a(), c()>, <f(c(),c()), c()>}"));

    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("A t4 = f(g(b()),g(b()));");
    assertTrue(tf.runTestInSameEvaluator("top_down(functionToStrategy(rules4))(t4) == f(g(c()),g(c()))"));
    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
    assertTrue(tf.runTestInSameEvaluator("top_down(rules3)(r) == {<a(), c()>, <f(c(),c()), c()>}"));

    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("A t4 = f(g(b()),g(b()));");
    assertTrue(tf.runTestInSameEvaluator("top_down(functionToStrategy(rules4))(t4) == f(g(c()),g(c()))"));
    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("A t = f(g(g(b())),g(g(b())));");
View Full Code Here
97
98
99
100
101
102
103
104
105
106
107
    tf.prepareMore("import Strategy;");
    tf.prepareMore("A t4 = f(g(b()),g(b()));");
    assertTrue(tf.runTestInSameEvaluator("top_down(functionToStrategy(rules4))(t4) == f(g(c()),g(c()))"));
    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("A t = f(g(g(b())),g(g(b())));");
    assertTrue(tf.runTestInSameEvaluator("innermost(rules)(t) == f(b(),b())"));
    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
    tf.prepareMore("A t4 = f(g(b()),g(b()));");
    assertTrue(tf.runTestInSameEvaluator("top_down(functionToStrategy(rules4))(t4) == f(g(c()),g(c()))"));
    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("A t = f(g(g(b())),g(g(b())));");
    assertTrue(tf.runTestInSameEvaluator("innermost(rules)(t) == f(b(),b())"));
    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("A t = f(g(g(b())),g(g(b())));");
View Full Code Here
102
103
104
105
106
107
108
109
110
111
112
    tf.prepareMore("import Strategy;");
    tf.prepareMore("A t = f(g(g(b())),g(g(b())));");
    assertTrue(tf.runTestInSameEvaluator("innermost(rules)(t) == f(b(),b())"));
    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("A t = f(g(g(b())),g(g(b())));");
    assertTrue(tf.runTestInSameEvaluator("outermost(rules)(t) == f(b(),b())"));
  }
 
  @Test @Ignore
View Full Code Here
103
104
105
106
107
108
109
110
111
112
113
    tf.prepareMore("A t = f(g(g(b())),g(g(b())));");
    assertTrue(tf.runTestInSameEvaluator("innermost(rules)(t) == f(b(),b())"));
    tf = new TestFramework();
    tf.prepare("import StrategyTests;");
    tf.prepareMore("import Strategy;");
    tf.prepareMore("A t = f(g(g(b())),g(g(b())));");
    assertTrue(tf.runTestInSameEvaluator("outermost(rules)(t) == f(b(),b())"));
  }
 
  @Test @Ignore
  public void testTopologicalStrategy(){
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.