Package test.list.types

Examples of test.list.types.NineSeps.reverse()

289
290
291
292
293
294
295
296
297
298
299
    NineSeps ns = factory.makeNineSeps(m, factory.makeNineSeps(m2));

    testAssert(
      ns.toTerm().isEqual(factory.getPureFactory().parse("[\"m\",1,2,3,4,5,6,7,8,9,\"m2\"]")),
      "many separated toTerm");
    testAssert(ns.reverse().isEqual(factory.makeNineSeps(m2, factory.makeNineSeps(m))), "many separated reverse");
    testAssert(ns.reverse().reverse().isEqual(ns), "reverse separated list test");

    try {
      ns.append((aterm.ATerm) m2);
      testAssert(false, "illegal call did not throw an exception");
View Full Code Here
290
291
292
293
294
295
296
297
298
299
300
    testAssert(
      ns.toTerm().isEqual(factory.getPureFactory().parse("[\"m\",1,2,3,4,5,6,7,8,9,\"m2\"]")),
      "many separated toTerm");
    testAssert(ns.reverse().isEqual(factory.makeNineSeps(m2, factory.makeNineSeps(m))), "many separated reverse");
    testAssert(ns.reverse().reverse().isEqual(ns), "reverse separated list test");

    try {
      ns.append((aterm.ATerm) m2);
      testAssert(false, "illegal call did not throw an exception");
    }
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.