FileMove.java

net.minecraft.util.filefix.virtualfilesystem.FileMove

信息

• 全限定名：net.minecraft.util.filefix.virtualfilesystem.FileMove
• 类型：public record
• 包：net.minecraft.util.filefix.virtualfilesystem
• 源码路径：src/main/java/net/minecraft/util/filefix/virtualfilesystem/FileMove.java
• 起始行号：L8
• 职责：

  TODO

字段/常量

• 无

内部类/嵌套类型

• 无

构造器

• 无

方法

下面的方法块按源码顺序生成。

public static Codec<FileMove> moveCodec(Path fromDirectory, Path toDirectory) @ L9

• 方法名：moveCodec
• 源码定位：L9
• 返回类型：Codec
• 修饰符：public static

参数:

• fromDirectory: Path
• toDirectory: Path

说明:

TODO

代码

public record FileMove(Path from, Path to) {
    public static Codec<FileMove> moveCodec(Path fromDirectory, Path toDirectory) {
        return RecordCodecBuilder.create(
            i -> i.group(
                    ExtraCodecs.guardedPathCodec(fromDirectory).fieldOf("from").forGetter(r -> r.from),
                    ExtraCodecs.guardedPathCodec(toDirectory).fieldOf("to").forGetter(r -> r.to)
                )
                .apply(i, FileMove::new)
        );
    }
}

引用的其他类

• ExtraCodecs
  • 引用位置: 方法调用
  • 关联成员: ExtraCodecs.guardedPathCodec()