error("nonexistent directory argument to " + name + " option");
}
break;
case ATTRIBUTE:
PParser parser = new PParser(new StringReader(args[index]),
"<console>", args[index].length());
Result result = null;
try {
result = parser.pAttribute(0);
} catch (IOException x) {
error("internal error: " + x);
}
if (! result.hasValue()) {
error("malformed attribute " + args[index] + ": " +