final void writeAttribute(Attribute attribute, String anchor, int method_number)
      throws IOException {
    byte tag = attribute.getTag();
    int index;

    if (tag == ATTR_UNKNOWN) // Don't know what to do about this one
    return;

    attr_count++; // Increment number of attributes found so far

    if (attr_count % 2 == 0) file.print("<TR BGCOLOR=\"#C0C0C0\"><TD>");
    else file.print("<TR BGCOLOR=\"#A0A0A0\"><TD>");

    file.println(
        "<H4><A NAME=\"" + anchor + "\">" + attr_count + " " + ATTRIBUTE_NAMES[tag] + "</A></H4>");

    /* Handle different attributes
     */
    switch (tag) {
      case ATTR_CODE:
        Code c = (Code) attribute;

        // Some directly printable values
        file.print(
            "<UL><LI>Maximum stack size = "
                + c.getMaxStack()
                + "</LI>\n<LI>Number of local variables = "
                + c.getMaxLocals()
                + "</LI>\n<LI><A HREF=\""
                + class_name
                + "_code.html#method"
                + method_number
                + "\" TARGET=Code>Byte code</A></LI></UL>\n");

        // Get handled exceptions and list them
        CodeException[] ce = c.getExceptionTable();
        int len = ce.length;

        if (len > 0) {
          file.print("<P><B>Exceptions handled</B><UL>");

          for (int i = 0; i < len; i++) {
            int catch_type = ce[i].getCatchType(); // Index in constant pool

            file.print("<LI>");

            if (catch_type != 0)
              file.print(constant_html.referenceConstant(catch_type)); // Create Link to _cp.html
            else file.print("Any Exception");

            file.print(
                "<BR>(Ranging from lines "
                    + codeLink(ce[i].getStartPC(), method_number)
                    + " to "
                    + codeLink(ce[i].getEndPC(), method_number)
                    + ", handled at line "
                    + codeLink(ce[i].getHandlerPC(), method_number)
                    + ")</LI>");
          }
          file.print("</UL>");
        }
        break;

      case ATTR_CONSTANT_VALUE:
        index = ((ConstantValue) attribute).getConstantValueIndex();

        // Reference _cp.html
        file.print(
            "<UL><LI><A HREF=\""
                + class_name
                + "_cp.html#cp"
                + index
                + "\" TARGET=\"ConstantPool\">Constant value index("
                + index
                + ")</A></UL>\n");
        break;

      case ATTR_SOURCE_FILE:
        index = ((SourceFile) attribute).getSourceFileIndex();

        // Reference _cp.html
        file.print(
            "<UL><LI><A HREF=\""
                + class_name
                + "_cp.html#cp"
                + index
                + "\" TARGET=\"ConstantPool\">Source file index("
                + index
                + ")</A></UL>\n");
        break;

      case ATTR_EXCEPTIONS:
        // List thrown exceptions
        int[] indices = ((ExceptionTable) attribute).getExceptionIndexTable();

        file.print("<UL>");

        for (int i = 0; i < indices.length; i++)
          file.print(
              "<LI><A HREF=\""
                  + class_name
                  + "_cp.html#cp"
                  + indices[i]
                  + "\" TARGET=\"ConstantPool\">Exception class index("
                  + indices[i]
                  + ")</A>\n");

        file.print("</UL>\n");
        break;

      case ATTR_LINE_NUMBER_TABLE:
        LineNumber[] line_numbers = ((LineNumberTable) attribute).getLineNumberTable();

        // List line number pairs
        file.print("<P>");

        for (int i = 0; i < line_numbers.length; i++) {
          file.print(
              "("
                  + line_numbers[i].getStartPC()
                  + ",&nbsp;"
                  + line_numbers[i].getLineNumber()
                  + ")");

          if (i < line_numbers.length - 1) file.print(", "); // breakable
        }
        break;

      case ATTR_LOCAL_VARIABLE_TABLE:
        LocalVariable[] vars = ((LocalVariableTable) attribute).getLocalVariableTable();

        // List name, range and type
        file.print("<UL>");

        for (int i = 0; i < vars.length; i++) {
          index = vars[i].getSignatureIndex();
          String signature =
              ((ConstantUtf8) constant_pool.getConstant(index, CONSTANT_Utf8)).getBytes();
          signature = Utility.signatureToString(signature, false);
          int start = vars[i].getStartPC();
          int end = (start + vars[i].getLength());

          file.println(
              "<LI>"
                  + Class2HTML.referenceType(signature)
                  + "&nbsp;<B>"
                  + vars[i].getName()
                  + "</B> in slot %"
                  + vars[i].getIndex()
                  + "<BR>Valid from lines "
                  + "<A HREF=\""
                  + class_name
                  + "_code.html#code"
                  + method_number
                  + "@"
                  + start
                  + "\" TARGET=Code>"
                  + start
                  + "</A> to "
                  + "<A HREF=\""
                  + class_name
                  + "_code.html#code"
                  + method_number
                  + "@"
                  + end
                  + "\" TARGET=Code>"
                  + end
                  + "</A></LI>");
        }
        file.print("</UL>\n");

        break;

      case ATTR_INNER_CLASSES:
        InnerClass[] classes = ((InnerClasses) attribute).getInnerClasses();

        // List inner classes
        file.print("<UL>");

        for (int i = 0; i < classes.length; i++) {
          String name, access;

          index = classes[i].getInnerNameIndex();
          if (index > 0)
            name = ((ConstantUtf8) constant_pool.getConstant(index, CONSTANT_Utf8)).getBytes();
          else name = "&lt;anonymous&gt;";

          access = Utility.accessToString(classes[i].getInnerAccessFlags());

          file.print(
              "<LI><FONT COLOR=\"#FF0000\">"
                  + access
                  + "</FONT> "
                  + constant_html.referenceConstant(classes[i].getInnerClassIndex())
                  + " in&nbsp;class "
                  + constant_html.referenceConstant(classes[i].getOuterClassIndex())
                  + " named "
                  + name
                  + "</LI>\n");
        }

        file.print("</UL>\n");
        break;

      default: // Such as Unknown attribute or Deprecated
        file.print("<P>" + attribute.toString());
    }

    file.println("</TD></TR>");
    file.flush();
  }