Hierarchy For Package org.jmlspecs.eclipse.jdt.ui.preferences

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • org.eclipse.jface.dialogs.DialogPage (implements org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider)
    • org.eclipse.jface.preference.PreferencePage (implements org.eclipse.jface.preference.IPreferencePage)
      • org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage (implements org.eclipse.ui.IWorkbenchPreferencePage, org.eclipse.ui.IWorkbenchPropertyPage)
        • org.jmlspecs.eclipse.jdt.ui.preferences.JmlPreferencePage
  • org.eclipse.osgi.util.NLS
    • org.jmlspecs.eclipse.jdt.ui.preferences.PreferencesMessages
  • org.eclipse.jdt.internal.ui.preferences.OptionsConfigurationBlock
    • org.jmlspecs.eclipse.jdt.ui.preferences.JmlConfigurationBlock