editor.settings

Class Settings

java.lang.Object

editor.settings.Settings

public class Settings
extends Object

Constructor Summary

Constructors

Constructor and Description
Settings()

Method Summary

Modifier and Type	Method and Description
static Map<String,ISettings>	makeDefaultSettings()
static Map<String,ISettings>	makeDefaultSettings(Experiment experiment)
static Map<String,ISettings>	mergeSettings(Map<String,ISettings> old)
static Map<String,ISettings>	mergeSettings(Map<String,ISettings> old, Experiment experiment) Assumes settings map is ordered top-down in tree order

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Settings

public Settings()

Method Detail

makeDefaultSettings

public static Map<String,ISettings> makeDefaultSettings(Experiment experiment)

makeDefaultSettings

public static Map<String,ISettings> makeDefaultSettings()

mergeSettings

public static Map<String,ISettings> mergeSettings(Map<String,ISettings> old,
                                                  Experiment experiment)

Assumes settings map is ordered top-down in tree order

mergeSettings

public static Map<String,ISettings> mergeSettings(Map<String,ISettings> old)