我是一名 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 的文件。
谁能告诉我之后如何将修改后的 HTMLdocument 保存到 html 文件中?