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"); }
@Test public void testMakeReal() { final ATermReal[] term = new ATermReal[2]; term[0] = _factory.makeReal(Math.PI); term[1] = _factory.makeReal(Math.PI); assertTrue(term[0].getType() == ATerm.REAL); assertTrue(term[0].getReal() == Math.PI); assertTrue(term[0] == term[1]); final List<Object> result = term[0].match("<real>"); assertTrue(result != null && result.size() == 1 && result.get(0).equals(new Double(Math.PI))); // System.out.println("pass: testMakeReal"); }