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

java.lang.Object
  extended by org.eclipse.xtext.ui.editor.occurrences.OccurrenceMarker

public class OccurrenceMarker
extends java.lang.Object

Author:
Jan Koehnlein - Initial contribution and API

Nested Class Summary
static class OccurrenceMarker.MarkOccurrenceJob
           
 
Constructor Summary
OccurrenceMarker()
           
 
Method Summary
 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()