@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"); }
@Override public void voidVisitLong(final ATermLong i) { final String txt = String.valueOf(i.getLong()); stream.write(txt); position += txt.length(); }
/** * Serializes the given long. * * @see openllet.aterm.ATermFwdVoid#voidVisitLong(ATermLong) */ @Override public void voidVisitLong(final ATermLong arg) { _currentBuffer.put(getHeader(arg)); writeLong(arg.getLong()); }
final ATermLong elongatedType = (ATermLong) term; result = makeLong(elongatedType.getLong()); break; case ATerm.REAL: