01: /*******************************************************************************
02: * Copyright (c) 2000, 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;
11:
12: import org.eclipse.core.resources.IMarker;
13:
14: /**
15: * A marker resolution generator should implement this interface rather than
16: * <code>IMarkerResolutionGenerator</code> if it can determine whether a particular marker
17: * has any resolutions more efficiently than computing all the resolutions.
18: *
19: * @since 2.1
20: */
21: public interface IMarkerResolutionGenerator2 extends
22: IMarkerResolutionGenerator {
23:
24: /**
25: * Returns whether there are any resolutions for the given marker.
26: *
27: * @return <code>true</code> if there are resolutions for the given marker,
28: * <code>false</code> if not
29: */
30: public boolean hasResolutions(IMarker marker);
31: }
|