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"); } }