java.io.File 与 java.nio.file.Path 的创建及扩展方法。
引用前需在脚本顶部导入命名空间:
构造对象
File 扩展函数
所有File 实例都带有以下扩展,可通过 file('a.txt')::readText() 调用。
路径与元数据
目录遍历
创建、删除与重命名
读写与追加
复制与移动
Path 扩展函数
path() 或 File::toPath() 产出的 Path 也附带一组扩展。
fs:io 命名空间下的 file/path 构造与 File/Path 扩展函数
java.io.File 与 java.nio.file.Path 的创建及扩展方法。
引用前需在脚本顶部导入命名空间:
File 实例都带有以下扩展,可通过 file('a.txt')::readText() 调用。
path() 或 File::toPath() 产出的 Path 也附带一组扩展。