@Override public void voidVisitReal(final ATermReal r) { final String txt = String.valueOf(r.getReal()); stream.write(txt); position += txt.length(); }
/** * Serializes the given real. Reals will always be serialized in one peice. * * @see openllet.aterm.ATermFwdVoid#voidVisitReal(ATermReal) */ @Override public void voidVisitReal(final ATermReal arg) { _currentBuffer.put(getHeader(arg)); writeDouble(arg.getReal()); }
@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"); }
final ATermReal real = (ATermReal) term; result = makeReal(real.getReal()); break; case ATerm.PLACEHOLDER: