public interface ServerWorldProperties extends MutableWorldProperties
setSpawnAngle, setSpawnPos, setSpawnX, setSpawnY, setSpawnZgetDifficulty, getGameRules, getSpawnAngle, 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 setTime(long time)
void setTimeOfDay(long timeOfDay)