Private Methods | |
AttributeHTML (String dir, String class_name, ConstantPool constant_pool, ConstantHTML constant_html) throws IOException | |
final void | close () |
final String | codeLink (int link, int method_number) |
final void | writeAttribute (Attribute attribute, String anchor) throws IOException |
final void | writeAttribute (Attribute attribute, String anchor, int method_number) throws IOException |
AttributeHTML (String dir, String class_name, ConstantPool constant_pool, ConstantHTML constant_html) throws IOException | |
final void | close () |
final String | codeLink (int link, int method_number) |
final void | writeAttribute (Attribute attribute, String anchor) throws IOException |
final void | writeAttribute (Attribute attribute, String anchor, int method_number) throws IOException |
Private Attributes | |
String | class_name |
PrintWriter | file |
int | attr_count = 0 |
ConstantHTML | constant_html |
ConstantPool | constant_pool |
Definition at line 13 of file lib/jpf/de/fub/bytecode/util/AttributeHTML.java.