|
||||||||||
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
de.cau.cs.kieler.krep.evalbench.ui.EvalBenchPreferencePage
public class EvalBenchPreferencePage
Preference page for general EvalBench preferences. These preferences are only used by the Verify view, for other executions the preferences are set in the execution manager. This preference page is obsolete as soon as the execution manager is extended by a feature for automatic verification.
Field Summary | |
---|---|
static String |
BENCHMARK_FILES
Deprecated. Regular expression to express, which files in the Benchmark path are actual benchmarks. |
static String |
BENCHMARK_PATH
Deprecated. Path to the benchmark for automatic verification. |
static String |
CASE_SENSITIVE
Deprecated. Shall signal names be case sensitive? |
static String |
EXTERNAL_ASSEMBLER
Deprecated. Preference name for the external assembler program. |
static String |
IGNORE_INVALID
Deprecated. continue Verification even after a failure occurred. |
static String |
KEP_TYPE
Deprecated. Preference name for the KEP type. |
static String |
LOG_FILE
Deprecated. Log-file for JNI connection. |
static String |
PROTOCOL_TYPE
Deprecated. Preference name for the default communication protocol. |
static String |
VERIFY_LOG
Deprecated. file to safe verification results. |
Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage |
---|
FLAT, GRID, MARGIN_HEIGHT, MARGIN_WIDTH, VERTICAL_SPACING |
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider |
---|
ERROR, INFORMATION, NONE, WARNING |
Constructor Summary | |
---|---|
EvalBenchPreferencePage()
Deprecated. Sets up the preference page. |
Method Summary | |
---|---|
protected void |
createFieldEditors()
Deprecated. |
void |
init(IWorkbench workbench)
Deprecated. |
Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage |
---|
addField, adjustGridLayout, applyFont, checkState, createContents, dispose, getFieldEditorParent, initialize, performDefaults, performOk, propertyChange, setVisible |
Methods inherited from class org.eclipse.jface.preference.PreferencePage |
---|
applyData, applyDialogFont, computeSize, contributeButtons, createControl, createDescriptionLabel, createNoteComposite, doComputeSize, doGetPreferenceStore, getApplyButton, getContainer, getDefaultsButton, getPreferenceStore, isValid, noDefaultAndApplyButton, okToLeave, performApply, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString, updateApplyButton |
Methods inherited from class org.eclipse.jface.dialogs.DialogPage |
---|
convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, getControl, getDescription, getDialogFontName, getErrorMessage, getFont, getImage, getMessage, getMessageType, getShell, getTitle, getToolTipText, initializeDialogUnits, isControlCreated, setButtonLayoutData, setControl, setDescription, setImageDescriptor, setMessage |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, 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 String PROTOCOL_TYPE
public static final String KEP_TYPE
public static final String EXTERNAL_ASSEMBLER
public static final String LOG_FILE
public static final String BENCHMARK_PATH
public static final String BENCHMARK_FILES
public static final String CASE_SENSITIVE
public static final String VERIFY_LOG
public static final String IGNORE_INVALID
Constructor Detail |
---|
public EvalBenchPreferencePage()
Method Detail |
---|
public void init(IWorkbench workbench)
init
in interface IWorkbenchPreferencePage
IWorkbenchPreferencePage.init(org.eclipse.ui.IWorkbench)
protected void createFieldEditors()
createFieldEditors
in class FieldEditorPreferencePage
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |