我是一个新手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文件中？