metricsOverlay.preferences
Class MappingPreferencePage

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 metricsOverlay.preferences.MappingPreferencePage
All Implemented Interfaces:
java.util.EventListener, org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider, org.eclipse.jface.preference.IPreferencePage, org.eclipse.jface.util.IPropertyChangeListener, org.eclipse.ui.IWorkbenchPreferencePage

public class MappingPreferencePage
extends org.eclipse.jface.preference.FieldEditorPreferencePage
implements org.eclipse.ui.IWorkbenchPreferencePage

This provides the code in-front for the mapping preference page.

Version:
26/8/2009
Author:
Matthew Harward

Field Summary
static java.lang.String MAP_INTERCONST
           
static java.lang.String MAP_INTERPOLATE
           
static java.lang.String MAP_NAME
           
static java.lang.String MAP_STATUS
           
 
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
MappingPreferencePage()
           
 
Method Summary
 void createFieldEditors()
          Creates the field editors.
 org.eclipse.swt.widgets.Combo getAugSelector()
           
 MappingPrefController getController()
           
 org.eclipse.swt.widgets.Combo getInterSelector()
           
 org.eclipse.swt.widgets.Combo getMapSelector()
           
 org.eclipse.swt.widgets.Combo getMetricSelector()
           
 void init(org.eclipse.ui.IWorkbench workbench)
           
 void reset()
           
 void setSpeciality(java.lang.String string)
           
 
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

MAP_NAME

public static final java.lang.String MAP_NAME
See Also:
Constant Field Values

MAP_STATUS

public static final java.lang.String MAP_STATUS
See Also:
Constant Field Values

MAP_INTERPOLATE

public static final java.lang.String MAP_INTERPOLATE
See Also:
Constant Field Values

MAP_INTERCONST

public static final java.lang.String MAP_INTERCONST
See Also:
Constant Field Values
Constructor Detail

MappingPreferencePage

public MappingPreferencePage()
Method Detail

init

public void init(org.eclipse.ui.IWorkbench workbench)
Specified by:
init in interface org.eclipse.ui.IWorkbenchPreferencePage

createFieldEditors

public void createFieldEditors()
Creates the field editors. Field editors are abstractions of the common GUI blocks needed to manipulate various types of preferences. Each field editor knows how to save and restore itself.

Specified by:
createFieldEditors in class org.eclipse.jface.preference.FieldEditorPreferencePage

getController

public MappingPrefController getController()

setSpeciality

public void setSpeciality(java.lang.String string)

reset

public void reset()

getMapSelector

public org.eclipse.swt.widgets.Combo getMapSelector()

getMetricSelector

public org.eclipse.swt.widgets.Combo getMetricSelector()

getAugSelector

public org.eclipse.swt.widgets.Combo getAugSelector()

getInterSelector

public org.eclipse.swt.widgets.Combo getInterSelector()