KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > ui > texteditor > IElementStateListenerExtension


1 /*******************************************************************************
2  * Copyright (c) 2000, 2005 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
12 package org.eclipse.ui.texteditor;
13
14 /**
15  * Extension interface for {@link org.eclipse.ui.texteditor.IElementStateListener}.
16  * It adds
17  * <ul>
18  * <li> state validation notification
19  * <li>a notion of session, i.e. a notification about an upcoming element change and error handling.
20  * </ul>
21  * @since 2.0
22  */

23 public interface IElementStateListenerExtension {
24
25     /**
26      * Notifies that the state validation of the given element has changed.
27      *
28      * @param element the element
29      * @param isStateValidated the flag indicating whether state validation is done
30      */

31     void elementStateValidationChanged(Object JavaDoc element, boolean isStateValidated);
32
33     /**
34      * Notifies that the given element is currently being changed. This method may
35      * be sent from a non-ui thread.
36      *
37      * @param element the element
38      */

39     void elementStateChanging(Object JavaDoc element);
40
41     /**
42      * Notifies that changing the given element has failed.
43      *
44      * @param element the element
45      */

46     void elementStateChangeFailed(Object JavaDoc element);
47 }
48
Popular Tags