org.eclipse.xtext.ui.editor.occurrences

Class OccurrenceMarker

java.lang.Object

org.eclipse.xtext.ui.editor.occurrences.OccurrenceMarker

public class OccurrenceMarker
extends Object

Author:

Jan Koehnlein - Initial contribution and API

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OccurrenceMarker.MarkOccurrenceJob

Constructor Summary

Constructors

Constructor and Description
OccurrenceMarker()

Method Summary

Methods

Modifier and Type	Method and Description
void	connect(XtextEditor editor, boolean isMarkOccurrences)
protected org.eclipse.jface.viewers.ISelectionChangedListener	createSelectionChangedListener()
void	disconnect(XtextEditor editor)
protected void	doMarkOccurrences(org.eclipse.jface.viewers.ISelection selection)
protected org.eclipse.jface.viewers.ISelectionChangedListener	getSelectionChangedListener()
void	setMarkOccurrences(boolean isMarkOccurrences)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OccurrenceMarker

public OccurrenceMarker()

Method Detail

connect

public void connect(XtextEditor editor,
           boolean isMarkOccurrences)

disconnect

public void disconnect(XtextEditor editor)

setMarkOccurrences

public void setMarkOccurrences(boolean isMarkOccurrences)

doMarkOccurrences

protected void doMarkOccurrences(org.eclipse.jface.viewers.ISelection selection)

getSelectionChangedListener

protected org.eclipse.jface.viewers.ISelectionChangedListener getSelectionChangedListener()

createSelectionChangedListener

protected org.eclipse.jface.viewers.ISelectionChangedListener createSelectionChangedListener()