@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"); }