Lines Matching defs:filename
76 * "java/lang/Object.html", then the filename is "Object.html".
78 public String filename = "";
98 * @param filename File to be generated.
101 String filename) throws IOException {
102 super(configuration, filename);
104 this.filename = filename;
112 * @param filename Name of file to be generated.
116 String path, String filename,
118 super(configuration, path, filename);
124 this.filename = filename;
641 navHideLists(filename);
741 ulFrames.addContent(getNavHideLists(filename));
995 print(getHyperLinkString(link + "?" + path + filename, "",
1007 filename, "", framesLabel, "", "_top");
2611 String filename = configuration.stylesheetfile;
2612 if (filename.length() > 0) {
2613 File stylefile = new File(filename);
2615 filename = (parent == null)?
2616 filename:
2617 filename.substring(parent.length() + 1);
2619 filename = "stylesheet.css";
2621 filename = relativePath + filename;
2623 filename + "\" " + "TITLE=\"Style\"");
2632 String filename = configuration.stylesheetfile;
2633 if (filename.length() > 0) {
2634 File stylefile = new File(filename);
2636 filename = (parent == null)?
2637 filename:
2638 filename.substring(parent.length() + 1);
2640 filename = "stylesheet.css";
2642 filename = relativePath + filename;
2643 HtmlTree link = HtmlTree.LINK("stylesheet", "text/css", filename, "Style");