KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > pde > internal > ui > editor > IEditorValidationStack


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.pde.internal.ui.editor;
12
13
14 /**
15  * A stack used to keep track of validating fields in a form.
16  * Validations are pushed to the top so that the most recently discovered
17  * has highest priority.
18  * @author janeklb
19  *
20  */
21 public interface IEditorValidationStack {
22     
23     /**
24      * Push a validation provider on top of the stack.
25      * @param provider
26      */
27     public void push(IEditorValidator provider);
28     
29     /**
30      * Display the top most error on the stack, or null if the stack is empty.
31      */
32     public void top();
33     
34     /**
35      * Returns if the validation stack is empty;
36      * @return if the stack is empty
37      */
38     public boolean isEmpty();
39 }
40
Popular Tags