KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > ui > ide > IGotoMarker


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