org.eclipse.ocl.pivot.ui.internal.preferences

Class PivotProjectPreferencePage

java.lang.Object

PreferencePage

org.eclipse.ocl.common.ui.internal.preferences.AbstractProjectPreferencePage

org.eclipse.ocl.pivot.ui.internal.preferences.PivotProjectPreferencePage

public class PivotProjectPreferencePage
extends AbstractProjectPreferencePage

The Project/Property preference page for the UML Bindings.

Constructor Summary

Constructors

Constructor and Description
PivotProjectPreferencePage()

Method Summary

Methods inherited from class org.eclipse.ocl.common.ui.internal.preferences.AbstractProjectPreferencePage

createFieldEditors, dispose, getElement, getPreferenceStore, getWorkspaceStore, init, performOk, propertyChange, setElement, setVisible

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PivotProjectPreferencePage

public PivotProjectPreferencePage()