创建文件夹
2023-01-24 09:16:15 最后更新
 //初始化file类
  //io流
  javanew(file,"java.io.File","String",filePath)
  //判断是否已存在文件夹
   java(file_exists,file,"java.io.File.exists")
  f(!file_exists)
  {
    java(c,file,"java.io.File.mkdirs")
    f(!c)
    {
      //递归函数 若未成功则一直创建知道成功
      fn java.makeDir(filePath)
      //失败
    }
    //创建
  }

 //创建文件夹
/.
需要java标准的合法路径
iapp的路径标准不可用
iapp内有权限无需手动添加(允许访问外置内存什么什么那几个)
filePath == 文件夹路径
file = new File(filePath);
            if (!file.exists()) {
                file.mkdir();
            }

            //重命名文件夹
/.
 需添加权限
    <uses-permission android:name='android.permission.WRITE_EXTERNAL_STORAGE'></uses-permission>
    <uses-permission android:name='android.permission.MOUNT_UNMOUNT_FILESYSTEMS'/>./
fn renameDir(dirPath,newDirPath)
//初始化io流
javanew(dirPath_io,"java.io.File",,"String",dirPath)
javanew(newDirPath_io,"java.io.File","String",newDirPath)
//判断是否有冲突
java(newDirExists,newDirPath_io,"java.io.File.exists")
f(!newDirExists)
{
  java(c,dirPath_io,"java.io.File.renameTo","File",newDirPath_io)
  //无冲突
}