@Override public boolean equivalent(final SharedObject obj) { if (obj instanceof ATermReal) { final ATermReal peer = (ATermReal) obj; if (peer.getType() != getType()) return false; return peer.getReal() == _value; } return false; }
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"); }