KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > debug > internal > ui > viewers > provisional > ILabelRequestMonitor


1 /*******************************************************************************
2  * Copyright (c) 2005, 2006 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.debug.internal.ui.viewers.provisional;
12
13 import org.eclipse.debug.internal.ui.viewers.model.provisional.IStatusMonitor;
14 import org.eclipse.jface.resource.ImageDescriptor;
15 import org.eclipse.swt.graphics.FontData;
16 import org.eclipse.swt.graphics.RGB;
17
18 /**
19  * A request monitor that collects attributes of a element's
20  * label.
21  * <p>
22  * This interface is not intended to be implemented by clients.
23  * </p>
24  * @since 3.2
25  */

26 public interface ILabelRequestMonitor extends IStatusMonitor {
27
28     /**
29      * Sets the text of the label. Cannot be <code>null</code>.
30      *
31      * @param text
32      */

33     public void setLabels(String JavaDoc[] text);
34     
35     /**
36      * Sets the font of the label.
37      *
38      * @param fontData
39      */

40     public void setFontDatas(FontData[] fontData);
41     
42     /**
43      * Sets the image of the label.
44      *
45      * @param image
46      */

47     public void setImageDescriptors(ImageDescriptor[] image);
48     
49     /**
50      * Sets the foreground color of the label.
51      *
52      * @param foreground
53      */

54     public void setForegrounds(RGB[] foreground);
55     
56     /**
57      * Sets the background color of the label.
58      *
59      * @param background
60      */

61     public void setBackgrounds(RGB[] background);
62
63 }
64
Popular Tags