46 |
*/ |
*/ |
47 |
public class HtmlPage |
public class HtmlPage |
48 |
{ |
{ |
49 |
|
private File file; |
50 |
private PrintWriter out; |
private PrintWriter out; |
51 |
private String pathToRoot; |
private String pathToRoot; |
52 |
private String docType; |
private String docType; |
63 |
public HtmlPage(File file, String pathToRoot, String encoding, String docType) |
public HtmlPage(File file, String pathToRoot, String encoding, String docType) |
64 |
throws IOException |
throws IOException |
65 |
{ |
{ |
66 |
|
this.file = file; |
67 |
OutputStream fileOut = new FileOutputStream(file); |
OutputStream fileOut = new FileOutputStream(file); |
68 |
Writer writer; |
Writer writer; |
69 |
if (null != encoding) { |
if (null != encoding) { |
486 |
result.append("</a>"); |
result.append("</a>"); |
487 |
return result.toString(); |
return result.toString(); |
488 |
} |
} |
489 |
|
|
490 |
|
public File getFile() |
491 |
|
{ |
492 |
|
return this.file; |
493 |
|
} |
494 |
} |
} |