Enumeration enum = as.getAttributes(); while (enum.hasMoreElements()) { VizAttr attr = (VizAttr) enum.nextElement();
Enumeration enumList = as.getAttributes(); while (enumList.hasMoreElements()) { VizAttr attr = (VizAttr) enumList.nextElement();
    public void printAttrStmt(VizAttrStmt as) {        Enumeration enum = as.getAttributes();        while (enum.hasMoreElements()) {            VizAttr attr = (VizAttr) enum.nextElement();            // The attribute value must be raw. DO NOT ESCAPE.            // Some escape sequence exists:             // justification: \r \l \n            // conversion: \N            // \xT \xt \xD \xd \xf \xb \xx            out.print("<attribute name=" + getQuotedId(attr.getName()) + " value=\"" + attr.getValue() + "\" />");        }