Package aterm.pure

Examples of aterm.pure.PureFactory

46
47
48
49
50
51
52
53
54
55
  private ATerm lhs[];
  private ATerm rhs[];

  public final static void main(String[] args) {
    TestFibInterpreted t = new TestFibInterpreted(new PureFactory());

    t.initRules();
    t.test1(5);
  }
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
  private AFun zero, suc, plus, fib;
  private ATermAppl tzero;

  public final static void main(String[] args) {
    TestFib t = new TestFib(new PureFactory());

    t.test1();
    t.test2();
    t.test3(15);
  }
View Full Code Here
48
49
50
51
52
53
54
55
  ATermFactory factory;
  String srcdir;
  ATerm baseline;

  public final static void main(String[] args) throws IOException {
    TestReaders pureSuite = new TestReaders(new PureFactory(), args[0]);
    pureSuite.testAll();
  }
View Full Code Here
45
46
47
48
49
50
51
   
    setUp();
  }
 
  public void setUp(){
    pureFactory = new PureFactory();
  }
View Full Code Here
100
101
102
103
104
105
106
107
    }

  }

  public final static void main(String[] args) {
    PeanoTest test = new PeanoTest(Factory.getInstance(new PureFactory()));
    test.run1();
  }
View Full Code Here
19
20
21
22
23
24
25
26
  public void run1() {
    Sun test = getYangFactory().makeSun_Pong(getYangFactory().makeMoon_Ping(getYangFactory().makeSun_Shi()));
  }

  public final static void main(String[] args) {
    CyclicTest test = new CyclicTest(YangFactory.getInstance(new PureFactory()));
    test.run1();
  }
View Full Code Here
307
308
309
310
311
312
313
314
315
316
      ns2.isEqual(factory.NineSepsFromString("[\"m\",1,2,3,4,5,6,7,8,9,\"m2\",1,2,3,4,5,6,7,8,9,\"m2\"]")),
      "test append");
  }

  public final static void main(String[] args) {
    ListTest test = new ListTest(Factory.getInstance(new PureFactory()));

    test.run();
    return;
  }
View Full Code Here
25
26
27
28
29
30
31
32
33
34
35
    testAssert(c.concatenation.equals("123"), "bottom-up");
  }

  public final static void main(String[] args) throws jjtraveler.VisitFailure, java.io.IOException {
    RoloTest test = new RoloTest(Factory.getInstance(new PureFactory()));
    directory = args[0];

    test.run();
    return;
  }
View Full Code Here
59
60
61
62
63
64
65
66
67
  aterm.ATerm atermChar = factory.getPureFactory().parse("character(65)");
  testAssert(C.toTerm().isEqual(atermChar), "term representation of char");
    }

    public final static void main(String[] args) {
        BuiltinsTest test = new BuiltinsTest(Factory.getInstance(new PureFactory()));
        test.run();
        return;
    }
View Full Code Here
TOP

Related Classes of aterm.pure.PureFactory

  • aterm.AFun
  • aterm.ATerm
  • aterm.ATermAppl
  • aterm.ATermInt
  • aterm.ATermList
  • aterm.ATermLong
  • aterm.ATermPlaceholder
  • aterm.ATermReal
  • aterm.ParseError
  • aterm.pure.binary.BAFReader
    • Copyright © 2018 www.massapicom. 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.