public class SMTSettingsModel
extends javax.swing.tree.DefaultTreeModel
Modifier and Type | Field and Description |
---|---|
private SMTSettings |
originalSettings |
private static long |
serialVersionUID |
private java.util.LinkedList<SolverOptions> |
solverOptions |
private OptionContentNode |
startNode |
private SMTSettings |
temporarySettings |
Constructor and Description |
---|
SMTSettingsModel(SMTSettings smtSettings,
TestGenerationSettings tgSettings) |
Modifier and Type | Method and Description |
---|---|
void |
apply() |
private javax.swing.tree.DefaultMutableTreeNode |
create(javax.swing.tree.DefaultMutableTreeNode optionsNode,
SMTSettings smtSettings,
TestGenerationSettings tgSettings) |
javax.swing.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 java.util.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 javax.swing.JComponent getStartComponent()
public void apply()
public void storeAsDefault()
private javax.swing.tree.DefaultMutableTreeNode create(javax.swing.tree.DefaultMutableTreeNode optionsNode, SMTSettings smtSettings, TestGenerationSettings tgSettings)