public void testFiles() throws IOException { final ATerm t1 = _factory.readFromFile(_srcdir + "/test.trm"); // System.out.println("done reading test.trm"); final ATerm t2 = _factory.readFromFile(_srcdir + "/test.taf"); // System.out.println("done reading test.taf"); try (PrintStream stream = new PrintStream(new FileOutputStream("test.trm2"))) { t1.writeToTextFile(stream); stream.println(); stream.close(); // System.out.println("done writing test.trm2"); } try (PrintStream stream = new PrintStream(new FileOutputStream("test.taf2"))) { t1.writeToSharedTextFile(stream); stream.close(); // System.out.println("done writing test.taf2"); test_assert(t1.equals(t2)); } }