01: /*******************************************************************************
02: * Copyright (c) 2003, 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.ide;
11:
12: import org.eclipse.core.resources.IMarker;
13:
14: /**
15: * An adapter interface for editors, which allows the editor
16: * to reveal the position of a given marker.
17: *
18: * @since 3.0
19: */
20: public interface IGotoMarker {
21: /**
22: * Sets the cursor and selection state for an editor to
23: * reveal the position of the given marker.
24: *
25: * @param marker the marker
26: */
27: public void gotoMarker(IMarker marker);
28: }
|