org.eclipse.xtext.ui.editor.model
Class DocumentTokenSource
java.lang.Object
org.eclipse.xtext.ui.editor.model.DocumentTokenSource
public class DocumentTokenSource
- extends java.lang.Object
- Author:
- Sebastian Zarnekow - Initial contribution and API, Sven Efftinge
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DocumentTokenSource
public DocumentTokenSource()
getTokenInfos
public java.lang.Iterable<ILexerTokenRegion> getTokenInfos()
getLastDamagedRegion
public org.eclipse.jface.text.IRegion getLastDamagedRegion()
setLexer
public void setLexer(com.google.inject.Provider<Lexer> lexer)
setTokens
protected void setTokens(java.util.List<DocumentTokenSource.TokenInfo> infos)
createTokenInfos
protected java.util.List<DocumentTokenSource.TokenInfo> createTokenInfos(java.lang.String string)
createTokenInfo
protected DocumentTokenSource.TokenInfo createTokenInfo(org.antlr.runtime.CommonToken token)
updateStructure
public void updateStructure(org.eclipse.jface.text.DocumentEvent e)
doCheckInvariant
protected void doCheckInvariant(org.eclipse.jface.text.DocumentEvent e)
computeDamageRegion
protected org.eclipse.jface.text.IRegion computeDamageRegion(org.eclipse.jface.text.DocumentEvent e)
createLexer
protected Lexer createLexer(java.lang.String string)
setCheckInvariant
public void setCheckInvariant(boolean checkInvariant)
isCheckInvariant
public boolean isCheckInvariant()