private ArrayList<File> getRecursiveRemovalContent(Directory currentDir) {
ArrayList<File> toBeRemoved = new ArrayList<>();
for (File f : currentDir.getFilesSet()) {
if (!f.equals(currentDir.getFather()) && !f.equals(currentDir)) {
try {
f.isCdAble();
toBeRemoved.addAll(getRecursiveRemovalContent((Directory) f));
} catch (IsNotDirectoryException e) {
// in case of delete plainfiles
} finally {
toBeRemoved.add(f);
}
}
}
return toBeRemoved;
}
public boolean equals(Object object) {
if (this == object) return true;
if (object instanceof Marker) {
Marker m = (Marker) object;
if (buffer != null && buffer == m.buffer) if (pos != null && pos.equals(m.pos)) return true;
if (file != null && file.equals(m.file))
if (lineNumber == m.lineNumber && offset == m.offset) return true;
}
return false;
}
public void gotoMarker(Editor editor) {
if (buffer == editor.getBuffer()
|| (file != null && file.equals(editor.getBuffer().getFile()))) {
// Marker is in current buffer.
editor.addUndo(SimpleEdit.MOVE);
editor.unmark();
editor.updateDotLine();
if (pos != null && editor.getBuffer().contains(pos.getLine())) {
editor.getDot().moveTo(pos);
} else {
editor.gotoline(lineNumber);
editor.getDot().setOffset(offset);
}
if (editor.getDotOffset() > editor.getDotLine().length())
editor.getDot().setOffset(editor.getDotLine().length());
editor.moveCaretToDotCol();
editor.updateDotLine();
editor.setUpdateFlag(REFRAME);
} else {
// Marker is not in current buffer.
BufferList buffer_list = Editor.getBufferList();
Buffer buf = null;
if (file != null) buf = buffer_list.findBuffer(file);
else if (buffer_list.contains(buffer)) buf = buffer;
if (buf != null) {
editor.makeNext(buf);
editor.activate(buf);
editor.addUndo(SimpleEdit.MOVE);
editor.updateDotLine();
if (pos != null && buf.contains(pos.getLine())) {
editor.getDot().moveTo(pos);
} else {
editor.gotoline(lineNumber);
editor.getDot().setOffset(offset);
}
if (editor.getDotOffset() > editor.getDotLine().length())
editor.getDot().setOffset(editor.getDotLine().length());
editor.moveCaretToDotCol();
editor.updateDotLine();
} else if (file != null) {
buf = Buffer.createBuffer(file);
editor.makeNext(buf);
editor.activate(buf);
editor.gotoline(lineNumber);
editor.getDot().setOffset(offset);
if (editor.getDotOffset() > editor.getDotLine().length())
editor.getDot().setOffset(editor.getDotLine().length());
editor.moveCaretToDotCol();
} else return;
}
pos = new Position(editor.getDot());
buffer = editor.getBuffer();
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Revision revision = (Revision) o;
if (id != revision.id) return false;
if (path != null ? !path.equals(revision.path) : revision.path != null) return false;
if (file != null ? !file.equals(revision.file) : revision.file != null) return false;
if (username != null ? !username.equals(revision.username) : revision.username != null)
return false;
return description != null
? description.equals(revision.description)
: revision.description == null;
}
private void selectToMarker(Editor editor) {
if (buffer == editor.getBuffer()
|| (file != null && file.equals(editor.getBuffer().getFile()))) {
// Marker is in current buffer.
editor.addUndo(SimpleEdit.MOVE);
editor.unmark();
editor.setMarkAtDot();
editor.updateDotLine();
if (pos != null && editor.getBuffer().contains(pos.getLine())) {
editor.getDot().moveTo(pos);
} else {
editor.gotoline(lineNumber);
editor.getDot().setOffset(offset);
}
if (editor.getDotOffset() > editor.getDotLine().length())
editor.getDot().setOffset(editor.getDotLine().length());
editor.moveCaretToDotCol();
editor.updateDotLine();
editor.setUpdateFlag(REFRAME | REPAINT);
} else {
// Marker is not in current buffer.
MessageDialog.showMessageDialog(editor, "Marker is not in this buffer.", "Select To Marker");
}
}
