|
|||||||||||
| 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.ui.dialogs.PropertyPage
org.ocleditor.internal.ui.propertypages.OclSettingsPropertyPage
Implements the OCL property page for Java project.
| Field Summary |
| Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider |
ERROR, INFORMATION, NONE, WARNING |
| Constructor Summary | |
OclSettingsPropertyPage()
|
|
| Method Summary | |
boolean |
performOk()
|
void |
widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
|
void |
widgetSelected(org.eclipse.swt.events.SelectionEvent e)
|
| Methods inherited from class org.eclipse.ui.dialogs.PropertyPage |
getElement, setElement |
| Methods inherited from class org.eclipse.jface.preference.PreferencePage |
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 |
dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getMessageType, getShell, getTitle, setDescription, setImageDescriptor, setMessage, setVisible |
| 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, setContainer, setSize |
| Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage |
createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible |
| Constructor Detail |
public OclSettingsPropertyPage()
| Method Detail |
public boolean performOk()
performOk in interface org.eclipse.jface.preference.IPreferencePagepublic void widgetSelected(org.eclipse.swt.events.SelectionEvent e)
widgetSelected in interface org.eclipse.swt.events.SelectionListenerpublic void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
widgetDefaultSelected in interface org.eclipse.swt.events.SelectionListener
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||