package net.minecraft.server.jsonrpc.api; import com.mojang.serialization.Codec; import com.mojang.serialization.MapCodec; import com.mojang.serialization.codecs.RecordCodecBuilder; public record ParamInfo(String name, Schema schema, boolean required) { public ParamInfo(final String name, final Schema schema) { this(name, schema, true); } public static MapCodec> typedCodec() { return RecordCodecBuilder.mapCodec( i -> i.group( Codec.STRING.fieldOf("name").forGetter(ParamInfo::name), Schema.typedCodec().fieldOf("schema").forGetter(ParamInfo::schema), Codec.BOOL.fieldOf("required").forGetter(ParamInfo::required) ) .apply(i, ParamInfo::new) ); } }