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"); }
@Override public void voidVisitReal(final ATermReal r) { final String txt = String.valueOf(r.getReal()); stream.write(txt); position += txt.length(); }
@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"); }
/** * 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()); }
final ATermReal real = (ATermReal) term; result = makeReal(real.getReal()); break; case ATerm.PLACEHOLDER: