writeAttributeInfo  685 defs/Defs.java     private void writeAttributeInfo(PrintStream out, AttributeDef ad, int id)
writeAttributeInfo  100 defs/RPSLSyntax.java     private void writeAttributeInfo(PrintWriter out, AttributeSyntax a)