java - 使用 HTMLEditorKit 工作

Question

我是一个新手 Java 程序员，正在尝试使用 HTMLEditorKit 库遍历 HTML 文档并将其更改为我的链接(主要是为了好玩，我正在做的事情可以在手上完成而不会出现问题)

但我的问题是:在我修改了我的 HTML 文件后，我留下了一个 HTMLDocument，我不知道如何保存回 HTML 文件。

HTMLEditorKit kit = new HTMLEditorKit();
File file = new File("local file")
HTMLDocument doc = (HTMLDocument) kit.createDefaultDocument(); 
doc.putProperty("IgnoreCharsetDirective", Boolean.TRUE);
InputStreamReader(url.openConnection().getInputStream()); 
FileReader HTMLReader = new FileReader(file); 
kit.read(HTMLReader, doc, 0); 

之后我用“doc”元素做我的事情。

现在我已经完成了，我只想将它保存回来，最好是覆盖我首先从中获取 HTML 的文件。

谁能告诉我如何将修改后的 HTML 文档保存到 html 文件中？

Answer 1

您可以使用 write method HTMLEditorKit 类。此处示例代码:

FileWriter writer = new FileWriter("local file");
try {
  kit.write(writer, doc, 0, doc.getLength());
} finally {
  writer.close();
}