final static public ATermList makeList(final ATerm first, final ATermList rest) { return factory.makeList(first, rest); }
static public ATermAppl makeTermAppl(final AFun fun, final ATerm[] args) { return factory.makeAppl(fun, args); }
public static TestFibInterpreted newTestFibInterpreted(ATermFactory factory) { final TestFibInterpreted t = new TestFibInterpreted(); t._factory = factory; t.zero = factory.makeAFun("zero", 0, false); t.suc = factory.makeAFun("suc", 1, false); t.plus = factory.makeAFun("plus", 2, false); t.fib = factory.makeAFun("fib", 1, false); t.tzero = factory.makeAppl(t.zero); t.fail = factory.parse("fail"); return t; }
T[0] = _factory.parse("[0,1,2,3,4,5,4,3,2,1]"); Ts[0] = (ATermList) T[0]; T[1] = _factory.parse("[]"); Ts[1] = _factory.makeList(); T[2] = _factory.parse("[1,2,3]"); Ts[2] = (ATermList) T[2]; T[3] = _factory.parse("[4,5,6]"); Ts[3] = (ATermList) T[3]; T[4] = _factory.parse("[1,2,3,4,5,6]"); Ts[4] = (ATermList) T[4]; T[5] = _factory.parse("[1,2,3,4,5,6,7]"); Ts[5] = (ATermList) T[5]; test(Ts[0].indexOf(_factory.makeInt(2), 0) == 2, "indexOf-1"); test(Ts[0].indexOf(_factory.makeInt(10), 0) == -1, "indexOf-2"); test(Ts[0].indexOf(_factory.makeInt(0), 0) == 0, "indexOf-3"); test(Ts[0].indexOf(_factory.makeInt(5), 0) == 5, "indexOf-4"); test(Ts[0].lastIndexOf(_factory.makeInt(1), -1) == 9, "lastIndexOf-1"); test(Ts[0].lastIndexOf(_factory.makeInt(0), -1) == 0, "lastIndexOf-2"); test(Ts[0].lastIndexOf(_factory.makeInt(10), -1) == -1, "lastIndexOf-3"); test(Ts[4].append(_factory.makeInt(7)).equals(Ts[5]), "append-1"); Ts[7] = Ts[3].insert(_factory.parse("3")); Ts[7] = Ts[7].insert(_factory.parse("2")); Ts[7] = Ts[7].insert(_factory.parse("1")); test(Ts[7].equals(Ts[4]), "insert-1");
public void testList() { ATermList list = (ATermList) _factory.parse("[1,2,3]"); ATermList result = list.remove(_factory.parse("2")); test_assert(result.equals(_factory.parse("[1,3]"))); list = (ATermList) _factory.parse("[1,2,3]"); result = list.replace(_factory.parse("99"), 1); test_assert(result.equals(_factory.parse("[1,99,3]"))); list = _factory.makeList(); result = list.append(_factory.parse("1")); test_assert(result.equals(_factory.parse("[1]"))); list = (ATermList) _factory.parse("[]"); result = _factory.makeList(); test_assert(result.equals(list)); // System.out.println("pass: testList"); }
final static public ATermAppl makeMax(final ATerm r, final int n, final ATerm c) { // assertTrue( n >= 0 ); // This was causing nnf to come out wrong // return makeNot(makeMin(r, n + 1)); return makeMax(r, factory.makeInt(n), c); }
static public ATerm term(final String str) { return factory.parse(str); }
@Test public void testFileParser() // XXX seriously we don't care of parsing files. { try { final File file = new File("testAtermFileParser.txt"); if (file.exists()) file.delete(); try (FileOutputStream output = new FileOutputStream(file)) { output.write(_factory.parse("f(a,g(b))").toString().getBytes()); } try (FileInputStream input = new FileInputStream(file)) { final ATerm result = _factory.readFromTextFile(input); System.out.println("result = " + result); } if (file.exists()) file.delete(); } catch (final FileNotFoundException e1) { System.out.println(e1); // TODO : define a logger. } catch (final IOException e2) { System.out.println(e2); } }
result = _factory.make("23", list); result = _factory.make("3.14", list); result = _factory.make("[1,2,3]", list); result = _factory.make("GL(\"toto\")", list); result = _factory.make("<int>", list); result = _factory.make("<real>", list); list.add(_factory.parse("f(a,b,c)")); result = _factory.make("<term>", list); list.add(_factory.parse("f(a,b,c)")); list.add(new Integer(3)); list.add(_factory.parse("<abc>")); result = _factory.make("[<term>,2,<int>,3.14,<placeholder>]", list); list.add(_factory.parse("b")); list.add(new Integer(4)); list.add(_factory.parse("1")); list.add(_factory.parse("[]")); result = _factory.make("[<term>,<list>]", list); test(((ATermList) result).getFirst() == _factory.parse("1"), "make-1a"); test(((ATermList) result).getLength() == 1, "make-1b");
public ATerm oneStepInnermost(ATerm subject) { List<Object> list; // fib(zero) -> suc(zero) list = subject.match(lhs[0]); if (list != null) { return rhs[0]; } // fib(suc(zero)) -> suc(zero) list = subject.match(lhs[1]); if (list != null) { return rhs[1]; } // fib(suc(suc(X))) -> plus(fib(X),fib(suc(X))) list = subject.match(lhs[2]); if (list != null) { final ATerm X = (ATerm) list.get(0); final ATerm X1 = normalize(_factory.makeAppl(fib, X)); final ATerm X2 = normalize(_factory.makeAppl(fib, _factory.makeAppl(suc, X))); return _factory.makeAppl(plus, X1, X2); } // plus(zero,X) -> X list = subject.match(lhs[3]); if (list != null) { return (ATerm) list.get(0); } // plus(suc(X),Y) -> plus(X,suc(Y))) list = subject.match(lhs[4]); if (list != null) { return _factory.make(rhs[4], list); } return fail; }
public void testMakeReal() { final ATermReal[] term = new ATermReal[2]; term[0] = _factory.makeReal(Math.PI); term[1] = _factory.makeReal(Math.PI); test_assert(term[0].getType() == ATerm.REAL); test_assert(term[0].getReal() == Math.PI); test_assert(term[0] == term[1]); final List<Object> result = term[0].match("<real>"); test_assert(result != null && result.size() == 1 && result.get(0).equals(new Double(Math.PI))); // System.out.println("pass: testMakeReal"); }
public void testReadBAF() throws FileNotFoundException, IOException { try (final InputStream stream = this.getClass().getResourceAsStream("/test.baf")) { Assert.assertNotNull("Test resource not found", stream); final ATerm t = _factory.readFromBinaryFile(stream); Assert.assertEquals(_baseline, t); } }
@Test public void testMakeLong() { final ATermLong[] term = new ATermLong[2]; term[0] = _factory.makeLong(3); term[1] = _factory.makeLong(3); assertTrue(term[0].getType() == ATerm.LONG); assertTrue(term[0].getLong() == 3); assertTrue(term[0] == term[1]); assertTrue(term[0].toString().equals("3")); List<Object> result = term[0].match("3L"); assertTrue(result != null && result.size() == 0); result = term[0].match("<long>"); assertTrue(result != null && result.size() == 1 && result.get(0).equals(new Long(3))); // System.out.println("pass: testMakeLong"); }
return _factory.make(rhs[ruleNumber], list); if (list != null) { return _factory.make(rhs[ruleNumber], list); } ruleNumber++; if (list != null) { return _factory.make(rhs[ruleNumber], list); } ruleNumber++; list.clear(); list.add(Xp); return _factory.make(rhs[ruleNumber], list); list.add(X); list.add(Yp); return _factory.make(rhs[ruleNumber], list); list.add(Xp); list.add(Y); return _factory.make(rhs[ruleNumber], list);
final static public ATermAppl makeVar(final ATermAppl name) { return factory.makeAppl(VARFUN, name); }
@Before public void setUp() { this._factory = new PureFactory(); this.zero = _factory.makeAFun("zero", 0, false); this.suc = _factory.makeAFun("suc", 1, false); this.plus = _factory.makeAFun("plus", 2, false); this.fib = _factory.makeAFun("fib", 1, false); this.tzero = _factory.makeAppl(this.zero); this.fail = _factory.parse("fail"); this.initRules(); }
public void testDict() { ATermList dict = _factory.makeList(); ATerm key, value; for (int i = 0; i < 5; i++) { key = _factory.parse("key" + i); value = _factory.parse("value" + i); dict = dict.dictPut(key, value); } key = _factory.parse("key3"); value = _factory.parse("value3"); test_assert(dict.dictGet(key).equals(value)); }