private void writeClassName(AstNode n) throws IOException { writeCached(n.getClass().getName()); }
private static String getClassName(AstNode node) { String fullName = node.getClass().getName(); return fullName.substring(fullName.lastIndexOf('.') + 1); }