public interface ServerWorldProperties extends MutableWorldProperties
setSpawnPos, setSpawnX, setSpawnY, setSpawnZgetDifficulty, getGameRules, getSpawnX, getSpawnY, getSpawnZ, getTime, getTimeOfDay, isDifficultyLocked, isHardcore, isRaining, isThundering, setRainingString getLevelName()
void setThundering(boolean thundering)
int getRainTime()
void setRainTime(int rainTime)
void setThunderTime(int thunderTime)
int getThunderTime()
default void populateCrashReport(CrashReportSection reportSection)
populateCrashReport in interface WorldPropertiesint getClearWeatherTime()
void setClearWeatherTime(int clearWeatherTime)
int getWanderingTraderSpawnDelay()
void setWanderingTraderSpawnDelay(int wanderingTraderSpawnDelay)
int getWanderingTraderSpawnChance()
void setWanderingTraderSpawnChance(int wanderingTraderSpawnChance)
void setWanderingTraderId(UUID uuid)
GameMode getGameMode()
void setWorldBorder(WorldBorder.Properties properties)
WorldBorder.Properties getWorldBorder()
boolean isInitialized()
void setInitialized(boolean initialized)
boolean areCommandsAllowed()
void setGameMode(GameMode gameMode)
Timer<MinecraftServer> getScheduledEvents()
void method_29034(long long2)
void method_29035(long long2)