package net.minecraft.world.level.saveddata.maps; import com.mojang.serialization.Codec; import io.netty.buffer.ByteBuf; import net.minecraft.network.codec.ByteBufCodecs; import net.minecraft.network.codec.StreamCodec; public record MapId(int id) { public static final Codec CODEC = Codec.INT.xmap(MapId::new, MapId::id); public static final StreamCodec STREAM_CODEC = ByteBufCodecs.VAR_INT.map(MapId::new, MapId::id); public String key() { return "map_" + this.id; } }