org.eclipse.xtext.ui.editor.syntaxcoloring
Class LightweightPosition
java.lang.Object
org.eclipse.xtext.ui.editor.syntaxcoloring.LightweightPosition
- All Implemented Interfaces:
- java.lang.Comparable<LightweightPosition>
public class LightweightPosition
- extends java.lang.Object
- implements java.lang.Comparable<LightweightPosition>
- Author:
- Sebastian Zarnekow - Initial contribution and API
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
LightweightPosition
public LightweightPosition(int offset,
int length,
int timestamp,
java.lang.String... ids)
LightweightPosition
public LightweightPosition(int offset,
int length,
int timestamp,
LightweightPosition.IntToStringArray[] ids)
compareTo
public int compareTo(LightweightPosition pos)
- Specified by:
compareTo
in interface java.lang.Comparable<LightweightPosition>
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
setLength
public void setLength(int length)
getLength
public int getLength()
getOffset
public int getOffset()
getIds
public java.lang.String[] getIds()
getTimestamp
public int getTimestamp()
merge
public void merge(int timestamp,
java.lang.String... other)
merge
public void merge(LightweightPosition.IntToStringArray[] other)