01: /*******************************************************************************
02: * Copyright (c) 2005, 2006 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.ui.texteditor;
11:
12: import org.eclipse.core.runtime.CoreException;
13:
14: /**
15: * Extension interface for {@link org.eclipse.ui.texteditor.IDocumentProvider}.
16: * Extends a document provider with the ability to detect a non-synchronized exception.
17: * <p>
18: * This interface may be implemented by clients.
19: * </p>
20: *
21: * @see org.eclipse.ui.texteditor.IDocumentProvider
22: * @since 3.2
23: */
24: public interface IDocumentProviderExtension5 {
25:
26: /**
27: * Tells whether the given core exception is exactly the
28: * exception which is thrown for a non-synchronized element.
29: *
30: * @param element the element
31: * @param ex the core exception
32: * @return <code>true</code> iff the given core exception is exactly the
33: * exception which is thrown for a non-synchronized element
34: */
35: boolean isNotSynchronizedException(Object element, CoreException ex);
36: }
|