ParamInfo.java

net.minecraft.server.jsonrpc.api.ParamInfo

信息

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

  TODO

字段/常量

• 无

内部类/嵌套类型

• 无

构造器

public ParamInfo(String name, Schema<Param> schema) @ L8

• 构造器名：ParamInfo
• 源码定位：L8
• 修饰符：public

参数:

• name: String
• schema: Schema

说明:

TODO

方法

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

public static <Param> MapCodec<ParamInfo<Param>> typedCodec() @ L12

• 方法名：typedCodec
• 源码定位：L12
• 返回类型： MapCodec<ParamInfo>
• 修饰符：public static

参数:

• 无

说明:

TODO

代码

public record ParamInfo<Param>(String name, Schema<Param> schema, boolean required) {
    public ParamInfo(String name, Schema<Param> schema) {
        this(name, schema, true);
    }
 
    public static <Param> MapCodec<ParamInfo<Param>> typedCodec() {
        return RecordCodecBuilder.mapCodec(
            i -> i.group(
                    Codec.STRING.fieldOf("name").forGetter(ParamInfo::name),
                    Schema.<Param>typedCodec().fieldOf("schema").forGetter(ParamInfo::schema),
                    Codec.BOOL.fieldOf("required").forGetter(ParamInfo::required)
                )
                .apply(i, ParamInfo::new)
        );
    }
}

引用的其他类

• Schema
  • 引用位置: 参数