public class SMTSettingsModel extends DefaultTreeModel
Modifier and Type | Field and Description |
---|---|
private SMTSettings |
originalSettings |
private static long |
serialVersionUID |
private LinkedList<SolverOptions> |
solverOptions |
private OptionContentNode |
startNode |
private SMTSettings |
temporarySettings |
asksAllowsChildren, listenerList, root
Constructor and Description |
---|
SMTSettingsModel(SMTSettings smtSettings,
TestGenerationSettings tgSettings) |
Modifier and Type | Method and Description |
---|---|
void |
apply() |
private DefaultMutableTreeNode |
create(DefaultMutableTreeNode optionsNode,
SMTSettings smtSettings,
TestGenerationSettings tgSettings) |
JComponent |
getStartComponent() |
void |
storeAsDefault() |
addTreeModelListener, asksAllowsChildren, fireTreeNodesChanged, fireTreeNodesInserted, fireTreeNodesRemoved, fireTreeStructureChanged, getChild, getChildCount, getIndexOfChild, getListeners, getPathToRoot, getPathToRoot, getRoot, getTreeModelListeners, insertNodeInto, isLeaf, nodeChanged, nodesChanged, nodeStructureChanged, nodesWereInserted, nodesWereRemoved, reload, reload, removeNodeFromParent, removeTreeModelListener, setAsksAllowsChildren, setRoot, valueForPathChanged
private final LinkedList<SolverOptions> solverOptions
private OptionContentNode startNode
private final SMTSettings originalSettings
private final SMTSettings temporarySettings
private static final long serialVersionUID
public SMTSettingsModel(SMTSettings smtSettings, TestGenerationSettings tgSettings)
public JComponent getStartComponent()
public void apply()
public void storeAsDefault()
private DefaultMutableTreeNode create(DefaultMutableTreeNode optionsNode, SMTSettings smtSettings, TestGenerationSettings tgSettings)