org.eclipse.xtext.ui.editor.reconciler

Class ReconcilerReplaceRegion

java.lang.Object

org.eclipse.xtext.util.ReplaceRegion

org.eclipse.xtext.ui.editor.reconciler.ReconcilerReplaceRegion

All Implemented Interfaces:

org.eclipse.jface.text.IRegion

public class ReconcilerReplaceRegion
extends ReplaceRegion
implements org.eclipse.jface.text.IRegion

Since:

2.4

Author:

Jan Koehnlein - Initial contribution and API

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ReconcilerReplaceRegion.Builder

Constructor Summary

Constructors

Constructor and Description
ReconcilerReplaceRegion(int offset, int length, String text)

Method Summary

Methods

Modifier and Type	Method and Description
void	addDocumentEvent(org.eclipse.jface.text.DocumentEvent event)
static ReconcilerReplaceRegion.Builder	builder(String text)
List<org.eclipse.jface.text.DocumentEvent>	getDocumentEvents()
long	getModificationStamp()
void	setModificationStamp(long docModificationStampAfter)
String	toString()

Methods inherited from class org.eclipse.xtext.util.ReplaceRegion

applyTo, getEndOffset, getLength, getOffset, getText, shiftBy

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.jface.text.IRegion

getLength, getOffset

Constructor Detail

ReconcilerReplaceRegion

public ReconcilerReplaceRegion(int offset,
                       int length,
                       String text)

Method Detail

getModificationStamp

public long getModificationStamp()

setModificationStamp

public void setModificationStamp(long docModificationStampAfter)

addDocumentEvent

public void addDocumentEvent(org.eclipse.jface.text.DocumentEvent event)

Since:

2.4

getDocumentEvents

public List<org.eclipse.jface.text.DocumentEvent> getDocumentEvents()

Since:

2.4

toString

public String toString()

Overrides:

toString in class ReplaceRegion

builder

public static ReconcilerReplaceRegion.Builder builder(String text)