case-study/jdt-after/ui/org/eclipse/jdt/internal/ui/preferences/CleanUpPreferencePage.java

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2011 IBM Corporation and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Eclipse Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/epl-v10.html
   7  *
   8  * Contributors:
   9  *     IBM Corporation - initial API and implementation
  10  *******************************************************************************/
  11 package org.eclipse.jdt.internal.ui.preferences;
  12
  13
  14 import org.eclipse.swt.widgets.Composite;
  15
  16 import org.eclipse.ui.PlatformUI;
  17
  18 import org.eclipse.jdt.internal.ui.IJavaHelpContextIds;
  19 import org.eclipse.jdt.internal.ui.preferences.cleanup.CleanUpConfigurationBlock;
  20 import org.eclipse.jdt.internal.ui.preferences.formatter.ProfileConfigurationBlock;
  21
  22 /*
  23  * The page to configure the clean up options.
  24  */
  25 public class CleanUpPreferencePage extends ProfilePreferencePage {
  26
  27         public static final String PREF_ID= "org.eclipse.jdt.ui.preferences.CleanUpPreferencePage"; //$NON-NLS-1$
  28         public static final String PROP_ID= "org.eclipse.jdt.ui.propertyPages.CleanUpPreferencePage"; //$NON-NLS-1$
  29
  30         public CleanUpPreferencePage() {
  31                 // only used when page is shown programmatically
  32                 setTitle(PreferencesMessages.CleanUpPreferencePage_Title );
  33         }
  34
  35         /* (non-Javadoc)
  36          * @see org.eclipse.jdt.internal.ui.preferences.ProfilePreferencePage#createControl(org.eclipse.swt.widgets.Composite)
  37          */
  38         @Override
  39         public void createControl(Composite parent) {
  40             super.createControl(parent);
  41         PlatformUI.getWorkbench().getHelpSystem().setHelp(getControl(), IJavaHelpContextIds.CLEAN_UP_PREFERENCE_PAGE);
  42         }
  43
  44         @Override
  45         protected ProfileConfigurationBlock createConfigurationBlock(PreferencesAccess access) {
  46             return new CleanUpConfigurationBlock(getProject(), access);
  47     }
  48
  49         /* (non-Javadoc)
  50          * @see org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage#getPreferencePageID()
  51          */
  52         @Override
  53         protected String getPreferencePageID() {
  54                 return PREF_ID;
  55         }
  56
  57         /* (non-Javadoc)
  58          * @see org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage#getPropertyPageID()
  59          */
  60         @Override
  61         protected String getPropertyPageID() {
  62                 return PROP_ID;
  63         }
  64 }