private static IValue name(String n) {
return vf.constructor(NameNode, vf.string(n));
}
public void testATermReader() {
ATermReader testReader = new ATermReader();
try {
for (int i = 0; i < testATerm.length; i++) {
IValue result = testReader.read(vf, ts, Boolean, new ByteArrayInputStream(testATerm[i].getBytes()));
System.err.println(testATerm[i] + " -> " + result);
if (!result.isEqual(testValues[i])) {
fail(testATerm[i] + " did not parse correctly: " + result + " != " + testValues[i]);
}