org.eclipse.xtext.ui.editor.model

Class DocumentTokenSource.RepairEntryData

java.lang.Object

org.eclipse.xtext.ui.editor.model.DocumentTokenSource.RepairEntryData

Enclosing class:

DocumentTokenSource

protected static class DocumentTokenSource.RepairEntryData
extends Object

Since:

2.4

Author:

Jan Koehnlein

Constructor Summary

Constructors

Constructor and Description
DocumentTokenSource.RepairEntryData(int offset, int index, org.antlr.runtime.CommonToken newToken, org.antlr.runtime.TokenSource lexer)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

DocumentTokenSource.RepairEntryData

public DocumentTokenSource.RepairEntryData(int offset,
                                   int index,
                                   org.antlr.runtime.CommonToken newToken,
                                   org.antlr.runtime.TokenSource lexer)