|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.jface.dialogs.DialogPage
org.eclipse.jface.preference.PreferencePage
org.eclipse.jface.preference.FieldEditorPreferencePage
org.eclipse.ohf.stem.jobs.preferences.SimulationManagementPreferencePage
public class SimulationManagementPreferencePage
This class represents a preference page that is contributed to the Preferences dialog. By subclassing FieldEditorPreferencePage, we can use the field support built into JFace that allows us to create a page that is small and knows how to save, restore and apply itself.
This page is used to modify preferences only. They are stored in the preference store that belongs to the main plug-in class. That way, preferences can be accessed directly via the preference store.
Field Summary | |
---|---|
static boolean |
DEFAULT_SIMULATION_REPORT_EACH_UNRESOLVED_IDENTIFIABLE
This is the default value for reporting all unresolved Identifiables . |
static boolean |
DEFAULT_SIMULATION_REPORT_NUMBER_UNRESOLVED_IDENTIFIABLE
This is the default value for reporting the number of unresolved Identifiables . |
static boolean |
DEFAULT_SIMULATION_SLEEP
The default value for the simulation sleep preference. |
static int |
DEFAULT_SIMULATION_SLEEP_SECONDS
This is the default value for the number of seconds to pause the simulation on each cycle. |
static int |
MAX_SIMULATION_SLEEP_SECONDS
The maximum number of seconds that can be specified to pause each |
static int |
MAX_SIMULATION_SLEEP_SECONDS_NUM_DIGITS
The maximum number of digits allowed in cycle pause seconds |
static int |
MIN_SIMULATION_SLEEP_SECONDS
The minimum number of seconds that can be specified to pause each simulation cycle |
Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage |
---|
FLAT, GRID |
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider |
---|
ERROR, INFORMATION, NONE, WARNING |
Constructor Summary | |
---|---|
SimulationManagementPreferencePage()
Constructor |
Method Summary | |
---|---|
void |
createFieldEditors()
Creates the field editors. |
void |
init(org.eclipse.ui.IWorkbench workbench)
|
Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage |
---|
dispose, performOk, propertyChange, setVisible |
Methods inherited from class org.eclipse.jface.preference.PreferencePage |
---|
applyData, computeSize, createControl, getContainer, getPreferenceStore, isValid, okToLeave, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString |
Methods inherited from class org.eclipse.jface.dialogs.DialogPage |
---|
getControl, getDescription, getErrorMessage, getImage, getMessage, getMessageType, getShell, getTitle, setDescription, setImageDescriptor, setMessage |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.eclipse.jface.preference.IPreferencePage |
---|
computeSize, isValid, okToLeave, performCancel, performOk, setContainer, setSize |
Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage |
---|
createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible |
Field Detail |
---|
public static final int MIN_SIMULATION_SLEEP_SECONDS
public static final int MAX_SIMULATION_SLEEP_SECONDS
public static final int MAX_SIMULATION_SLEEP_SECONDS_NUM_DIGITS
public static final boolean DEFAULT_SIMULATION_SLEEP
DEFAULT_SIMULATION_SLEEP
,
Constant Field Valuespublic static final int DEFAULT_SIMULATION_SLEEP_SECONDS
DEFAULT_SIMULATION_SLEEP
,
Constant Field Valuespublic static final boolean DEFAULT_SIMULATION_REPORT_EACH_UNRESOLVED_IDENTIFIABLE
Identifiables
. Value: false
public static final boolean DEFAULT_SIMULATION_REPORT_NUMBER_UNRESOLVED_IDENTIFIABLE
Identifiables
. Value: true
Constructor Detail |
---|
public SimulationManagementPreferencePage()
Method Detail |
---|
public void createFieldEditors()
createFieldEditors
in class org.eclipse.jface.preference.FieldEditorPreferencePage
public void init(org.eclipse.ui.IWorkbench workbench)
init
in interface org.eclipse.ui.IWorkbenchPreferencePage
IWorkbenchPreferencePage.init(org.eclipse.ui.IWorkbench)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |