KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > jdt > internal > debug > ui > propertypages > JavaExceptionBreakpointAdvancedPage


1 /*******************************************************************************
2  * Copyright (c) 2000, 2007 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.debug.ui.propertypages;
12
13 import org.eclipse.jdt.internal.debug.ui.IJavaDebugHelpContextIds;
14 import org.eclipse.swt.SWT;
15 import org.eclipse.swt.layout.GridData;
16 import org.eclipse.swt.widgets.Button;
17 import org.eclipse.swt.widgets.Composite;
18 import org.eclipse.ui.PlatformUI;
19
20 public class JavaExceptionBreakpointAdvancedPage extends JavaBreakpointAdvancedPage {
21
22     private ExceptionFilterEditor fFilterEditor;
23
24     /**
25      * @see org.eclipse.jdt.internal.debug.ui.propertypages.JavaBreakpointAdvancedPage#doStore()
26      */
27     protected void doStore() {
28         super.doStore();
29         fFilterEditor.doStore();
30     }
31
32     /* (non-Javadoc)
33      * @see org.eclipse.jdt.internal.debug.ui.propertypages.JavaBreakpointAdvancedPage#createTypeSpecificEditors(org.eclipse.swt.widgets.Composite)
34      */
35     protected void createTypeSpecificEditors(Composite parent) {
36         fFilterEditor= new ExceptionFilterEditor(parent, this);
37     }
38     
39     /* (non-Javadoc)
40      * @see org.eclipse.jface.preference.PreferencePage#createControl(org.eclipse.swt.widgets.Composite)
41      */
42     public void createControl(Composite parent) {
43         super.createControl(parent);
44         PlatformUI.getWorkbench().getHelpSystem().setHelp(getControl(), IJavaDebugHelpContextIds.JAVA_EXCEPTION_BREAKPOINT_FILTERING_PROPERTY_PAGE);
45     }
46
47     protected Button createButton(Composite parent, String JavaDoc text) {
48         Button button= new Button(parent, SWT.CHECK | SWT.LEFT);
49         button.setText(text);
50         button.setFont(parent.getFont());
51         button.setLayoutData(new GridData());
52         return button;
53     }
54
55 }
56
Popular Tags