de.cau.cs.kieler.krep.evalbench.ui
Class EvalBenchPreferencePage

java.lang.Object
  extended by org.eclipse.jface.dialogs.DialogPage
      extended by org.eclipse.jface.preference.PreferencePage
          extended by org.eclipse.jface.preference.FieldEditorPreferencePage
              extended by de.cau.cs.kieler.krep.evalbench.ui.EvalBenchPreferencePage
All Implemented Interfaces:
EventListener, IDialogPage, IMessageProvider, IPreferencePage, IPropertyChangeListener, IWorkbenchPreferencePage

Deprecated.

public class EvalBenchPreferencePage
extends FieldEditorPreferencePage
implements IWorkbenchPreferencePage

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.

Rating yellow
(2010-03-09) review by msp, soh

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

PROTOCOL_TYPE

public static final String PROTOCOL_TYPE
Deprecated. 
Preference name for the default communication protocol.

See Also:
Constant Field Values

KEP_TYPE

public static final String KEP_TYPE
Deprecated. 
Preference name for the KEP type.

See Also:
Constant Field Values

EXTERNAL_ASSEMBLER

public static final String EXTERNAL_ASSEMBLER
Deprecated. 
Preference name for the external assembler program.

See Also:
Constant Field Values

LOG_FILE

public static final String LOG_FILE
Deprecated. 
Log-file for JNI connection.

See Also:
Constant Field Values

BENCHMARK_PATH

public static final String BENCHMARK_PATH
Deprecated. 
Path to the benchmark for automatic verification.

See Also:
Constant Field Values

BENCHMARK_FILES

public static final String BENCHMARK_FILES
Deprecated. 
Regular expression to express, which files in the Benchmark path are actual benchmarks.

See Also:
Constant Field Values

CASE_SENSITIVE

public static final String CASE_SENSITIVE
Deprecated. 
Shall signal names be case sensitive?

See Also:
Constant Field Values

VERIFY_LOG

public static final String VERIFY_LOG
Deprecated. 
file to safe verification results.

See Also:
Constant Field Values

IGNORE_INVALID

public static final String IGNORE_INVALID
Deprecated. 
continue Verification even after a failure occurred.

See Also:
Constant Field Values
Constructor Detail

EvalBenchPreferencePage

public EvalBenchPreferencePage()
Deprecated. 
Sets up the preference page.

Method Detail

init

public void init(IWorkbench workbench)
Deprecated. 

Specified by:
init in interface IWorkbenchPreferencePage
See Also:
IWorkbenchPreferencePage.init(org.eclipse.ui.IWorkbench)

createFieldEditors

protected void createFieldEditors()
Deprecated. 

Specified by:
createFieldEditors in class FieldEditorPreferencePage