void genAttribute(String name, AttrProp attr) {
String constName = Common.constName(attr.getDtdName());
gen("this.createAttribute(");
if (name != null)
gen(name, ", ");
gen("\"", attr.getDtdName(), "\", ");
gen("\"", attr.getName(), "\", "); cr(); gentab(4);
gencr(attr.typeAsString(), ","); gentab(4);
String[] values = attr.getValues();
if (values.length > 0) {
gencr("new String[] {");
for (int k=0; k<values.length; k++) {
if (k>0) gencr(",");
gentab(5);
gen("\"", values[k], "\"");
}
cr(); gentab(4); gen("}, ");
}
else
gen("null, ");
String value = attr.getDefaultValue();
if (value != null)
gen("\"", value, "\")");
else
gen("null)");
eol();
}