Lines Matching defs:file
66 * Convert constant pool into HTML file.
75 private PrintWriter file; // file to write to
88 file = new PrintWriter(new FileOutputStream(dir + class_name + "_cp.html"));
92 file.println("<HTML><BODY BGCOLOR=\"#C0C0C0\"><TABLE BORDER=0>");
97 file.print("<TR BGCOLOR=\"#C0C0C0\"><TD>");
99 file.print("<TR BGCOLOR=\"#A0A0A0\"><TD>");
104 file.print("</TD></TR>\n");
107 file.println("</TABLE></BODY></HTML>");
108 file.close();
121 file.println("<H4> <A NAME=cp" + index + ">" + index + "</A> " + CONSTANT_NAMES[tag] + "</H4>");
182 file.println("<P><TT>" + ret_type + " " + ref + arg_types + " </TT>\n<UL>" +
211 file.println("<P><TT>" + ref + "</TT><BR>\n" + "<UL>" +
227 file.println("<P><TT>" + ref + "</TT><UL>" +
237 file.println("<P><TT>" + str + "</TT><UL>" +
246 file.println("<P><TT>" + Class2HTML.toHTML(constant_pool.constantToString(index, tag)) + "</TT><UL>" +
253 file.println("<P><TT>" + Class2HTML.toHTML(constant_pool.constantToString(index, tag)) + "</TT>\n");