lines.add(currentLine.substring(0, p.getLastCol())); } else { lines.add(currentLine);
lines.add(currentLine.substring(0, p.getLastCol())); } else { lines.add(currentLine);
lines[endLine].substring(range.getLastCol()); while(i < newLines.length) { newLines[i] = lines[i+ (endLine-startLine)]; lines[startLine].substring(0, range.getFirstCol()) + newTextLines[0] + lines[startLine].substring(range.getLastCol()+1); } else { String[] newLines = lines[endLine].substring(range.getLastCol()+1);
lines[endLine].substring(range.getLastCol()); while(i < newLines.length) { newLines[i] = lines[i+ (endLine-startLine)]; lines[startLine].substring(0, range.getFirstCol()) + newTextLines[0] + lines[startLine].substring(range.getLastCol()+1); } else { String[] newLines = lines[endLine].substring(range.getLastCol()+1);
@Override public int compareTo(Object o) { if (o instanceof Position) { Position p = (Position)o; if (getFirstLine() != p.getFirstLine()) { return getFirstLine() - p.getFirstLine(); } else if (getFirstCol() != p.getFirstCol()) { return getFirstCol() - p.getFirstCol(); } else if (getLastLine() != p.getLastLine()) { return getLastLine() - p.getLastLine(); } else { return getLastCol() - p.getLastCol(); } } else { return 0; } }
@Override public int compareTo(Object o) { if (o instanceof Position) { Position p = (Position)o; if (getFirstLine() != p.getFirstLine()) { return getFirstLine() - p.getFirstLine(); } else if (getFirstCol() != p.getFirstCol()) { return getFirstCol() - p.getFirstCol(); } else if (getLastLine() != p.getLastLine()) { return getLastLine() - p.getLastLine(); } else { return getLastCol() - p.getLastCol(); } } else { return 0; } }
@Override public boolean equals(Object o){ if (o instanceof Position) { Position p = (Position)o; return getFirstLine() == p.getFirstLine() && getLastLine() == p.getLastLine() && getFirstCol() == p.getFirstCol() && getLastCol() == p.getLastCol() && getFirstOffset() == p.getFirstOffset() && getLastOffset() == p.getLastOffset() && ( (getURL() != null)? getURL().equals(p.getURL()): p.getURL() == null); } else { return false; } }
@Override public boolean equals(Object o){ if (o instanceof Position) { Position p = (Position)o; return getFirstLine() == p.getFirstLine() && getLastLine() == p.getLastLine() && getFirstCol() == p.getFirstCol() && getLastCol() == p.getLastCol() && getFirstOffset() == p.getFirstOffset() && getLastOffset() == p.getLastOffset() && ( (getURL() != null)? getURL().equals(p.getURL()): p.getURL() == null); } else { return false; } }
@Override public int getLastCol() { return pos.getLastCol(); }
@Override public int getLastCol() { return pos.getLastCol(); }