ResultInfo.java

net.minecraft.server.jsonrpc.api.ResultInfo

信息

• 全限定名：net.minecraft.server.jsonrpc.api.ResultInfo
• 类型：public record
• 包：net.minecraft.server.jsonrpc.api
• 源码路径：src/main/java/net/minecraft/server/jsonrpc/api/ResultInfo.java
• 起始行号：L6
• 职责：

  TODO

字段/常量

• 无

内部类/嵌套类型

• 无

构造器

• 无

方法

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

public static <Result> Codec<ResultInfo<Result>> typedCodec() @ L7

• 方法名：typedCodec
• 源码定位：L7
• 返回类型： Codec<ResultInfo>
• 修饰符：public static

参数:

• 无

说明:

TODO

代码

public record ResultInfo<Result>(String name, Schema<Result> schema) {
    public static <Result> Codec<ResultInfo<Result>> typedCodec() {
        return RecordCodecBuilder.create(
            i -> i.group(Codec.STRING.fieldOf("name").forGetter(ResultInfo::name), Schema.<Result>typedCodec().fieldOf("schema").forGetter(ResultInfo::schema))
                .apply(i, ResultInfo::new)
        );
    }
}

引用的其他类

• 无