public class Environment
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Map<Setting,java.lang.Object> |
settingValues |
TechPool |
techPool |
Setting.RootGroup |
toolSettings |
Constructor and Description |
---|
Environment(IdManager idManager) |
Modifier and Type | Method and Description |
---|---|
void |
activate() |
Environment |
addTech(Technology tech) |
void |
check() |
Environment |
deepClone() |
java.util.Map<Setting,java.lang.Object> |
getSettings()
Returns map from Setting to its value in this Snapshot
|
static Environment |
getThreadEnvironment() |
java.lang.Object |
getValue(Setting setting) |
boolean |
isActive() |
static Environment |
readEnvironment(IdReader reader,
Environment old) |
void |
saveToPreferences() |
void |
saveToPreferences(java.util.prefs.Preferences prefs) |
static Environment |
setThreadEnvironment(Environment environment) |
Environment |
withSettingChanges(Setting.SettingChangeBatch changeBatch) |
Environment |
withToolSettings(Setting.RootGroup toolSettings) |
void |
writeDiff(IdWriter writer,
Environment old)
Writes this Environment to IdWriter
|
public final Setting.RootGroup toolSettings
public final TechPool techPool
public final java.util.Map<Setting,java.lang.Object> settingValues
public Environment(IdManager idManager)
public static Environment getThreadEnvironment()
public static Environment setThreadEnvironment(Environment environment)
public java.util.Map<Setting,java.lang.Object> getSettings()
public java.lang.Object getValue(Setting setting)
public void activate()
public boolean isActive()
public Environment withToolSettings(Setting.RootGroup toolSettings)
public Environment addTech(Technology tech)
public Environment withSettingChanges(Setting.SettingChangeBatch changeBatch)
public Environment deepClone()
public void saveToPreferences()
public void saveToPreferences(java.util.prefs.Preferences prefs)
public void writeDiff(IdWriter writer, Environment old) throws java.io.IOException
writer
- IdWriterold
- old Environmentjava.io.IOException
public static Environment readEnvironment(IdReader reader, Environment old) throws java.io.IOException
java.io.IOException
public void check()