/** * If there is anything after the node, inserts the line break to prevent commenting * out extra content. * * @param existingEdits * @param nodePosition * @param node * @throws BadLocationException * * @see LineBreakInserter#createLineBreakAfterNode(ITrackedNodePosition, ASTNode) */ protected void addLineBreakAfterNode(TextEdit existingEdits, ITrackedNodePosition nodePosition, ASTNode node) throws BadLocationException { InsertEdit lineBreakEdit = lineBreakInserter.createLineBreakAfterNode(nodePosition, node); if (lineBreakEdit != null) { // do not add a new line if there is one InsertEdit existingEdit = addedInsertEdits.get(lineBreakEdit.getOffset()); if (existingEdit == null) { existingEdits.addChild(lineBreakEdit); textEditsToRevert.add(lineBreakEdit); addedInsertEdits.put(lineBreakEdit.getOffset(), lineBreakEdit); } } }
/** * If there is anything after the node, inserts the line break to prevent commenting * out extra content. * * @param existingEdits * @param nodePosition * @param node * @throws BadLocationException * * @see LineBreakInserter#createLineBreakAfterNode(ITrackedNodePosition, ASTNode) */ protected void addLineBreakAfterNode(TextEdit existingEdits, ITrackedNodePosition nodePosition, ASTNode node) throws BadLocationException { InsertEdit lineBreakEdit = lineBreakInserter.createLineBreakAfterNode(nodePosition, node); if (lineBreakEdit != null) { // do not add a new line if there is one InsertEdit existingEdit = addedInsertEdits.get(lineBreakEdit.getOffset()); if (existingEdit == null) { existingEdits.addChild(lineBreakEdit); textEditsToRevert.add(lineBreakEdit); addedInsertEdits.put(lineBreakEdit.getOffset(), lineBreakEdit); } } }
public boolean visit(InsertEdit edit) { copy(edit.getOffset()); try { m_writer.write(edit.getText()); } catch (IOException e) { throw new RuntimeException("Error writing to file", e); } return super.visit(edit); }
@Override int performDocumentUpdating(IDocument document) throws BadLocationException { document.replace(getOffset(), getLength(), fText); fDelta= fText.length() - getLength(); return fDelta; }
@Override int performDocumentUpdating(IDocument document) throws BadLocationException { document.replace(getOffset(), getLength(), fText); fDelta= fText.length() - getLength(); return fDelta; }
int offset = a.getOffset(); String indent = null; int parenCount = 0;
@Override public boolean visit(InsertEdit edit) { try { org.eclipse.lsp4j.TextEdit te = new org.eclipse.lsp4j.TextEdit(); te.setNewText(edit.getText()); te.setRange(JDTUtils.toRange(compilationUnit,edit.getOffset(),edit.getLength())); converted.add(te); } catch (JavaModelException e) { JavaLanguageServerPlugin.logException("Error converting TextEdits", e); } return super.visit(edit); }
addedInsertEdits.put(edit.getOffset(), edit);
addedInsertEdits.put(edit.getOffset(), edit);
private static TextEdit shifEdit(TextEdit oldEdit, int diff) { TextEdit newEdit; if (oldEdit instanceof ReplaceEdit) { ReplaceEdit edit= (ReplaceEdit) oldEdit; newEdit= new ReplaceEdit(edit.getOffset() - diff, edit.getLength(), edit.getText()); } else if (oldEdit instanceof InsertEdit) { InsertEdit edit= (InsertEdit) oldEdit; newEdit= new InsertEdit(edit.getOffset() - diff, edit.getText()); } else if (oldEdit instanceof DeleteEdit) { DeleteEdit edit= (DeleteEdit) oldEdit; newEdit= new DeleteEdit(edit.getOffset() - diff, edit.getLength()); } else if (oldEdit instanceof MultiTextEdit) { newEdit= new MultiTextEdit(); } else { return null; // not supported } TextEdit[] children= oldEdit.getChildren(); for (int i= 0; i < children.length; i++) { TextEdit shifted= shifEdit(children[i], diff); if (shifted != null) { newEdit.addChild(shifted); } } return newEdit; }
private static TextEdit shifEdit(TextEdit oldEdit, int diff) { TextEdit newEdit; if (oldEdit instanceof ReplaceEdit) { ReplaceEdit edit= (ReplaceEdit) oldEdit; newEdit= new ReplaceEdit(edit.getOffset() - diff, edit.getLength(), edit.getText()); } else if (oldEdit instanceof InsertEdit) { InsertEdit edit= (InsertEdit) oldEdit; newEdit= new InsertEdit(edit.getOffset() - diff, edit.getText()); } else if (oldEdit instanceof DeleteEdit) { DeleteEdit edit= (DeleteEdit) oldEdit; newEdit= new DeleteEdit(edit.getOffset() - diff, edit.getLength()); } else if (oldEdit instanceof MultiTextEdit) { newEdit= new MultiTextEdit(); } else { return null; // not supported } TextEdit[] children= oldEdit.getChildren(); for (int i= 0; i < children.length; i++) { TextEdit shifted= shifEdit(children[i], diff); if (shifted != null) { newEdit.addChild(shifted); } } return newEdit; }
private static TextEdit shifEdit(TextEdit oldEdit, int diff) { TextEdit newEdit; if (oldEdit instanceof ReplaceEdit) { ReplaceEdit edit= (ReplaceEdit) oldEdit; newEdit= new ReplaceEdit(edit.getOffset() - diff, edit.getLength(), edit.getText()); } else if (oldEdit instanceof InsertEdit) { InsertEdit edit= (InsertEdit) oldEdit; newEdit= new InsertEdit(edit.getOffset() - diff, edit.getText()); } else if (oldEdit instanceof DeleteEdit) { DeleteEdit edit= (DeleteEdit) oldEdit; newEdit= new DeleteEdit(edit.getOffset() - diff, edit.getLength()); } else if (oldEdit instanceof MultiTextEdit) { newEdit= new MultiTextEdit(); } else { return null; // not supported } TextEdit[] children= oldEdit.getChildren(); for (int i= 0; i < children.length; i++) { TextEdit shifted= shifEdit(children[i], diff); if (shifted != null) { newEdit.addChild(shifted); } } return newEdit; }
private static TextEdit shifEdit(TextEdit oldEdit, int diff) { TextEdit newEdit; if (oldEdit instanceof ReplaceEdit) { ReplaceEdit edit= (ReplaceEdit) oldEdit; newEdit= new ReplaceEdit(edit.getOffset() - diff, edit.getLength(), edit.getText()); } else if (oldEdit instanceof InsertEdit) { InsertEdit edit= (InsertEdit) oldEdit; newEdit= new InsertEdit(edit.getOffset() - diff, edit.getText()); } else if (oldEdit instanceof DeleteEdit) { DeleteEdit edit= (DeleteEdit) oldEdit; newEdit= new DeleteEdit(edit.getOffset() - diff, edit.getLength()); } else if (oldEdit instanceof MultiTextEdit) { newEdit= new MultiTextEdit(); } else { return null; // not supported } TextEdit[] children= oldEdit.getChildren(); for (int i= 0; i < children.length; i++) { TextEdit shifted= shifEdit(children[i], diff); if (shifted != null) { newEdit.addChild(shifted); } } return newEdit; }
private static TextEdit shifEdit(TextEdit oldEdit, int diff) { TextEdit newEdit; if (oldEdit instanceof ReplaceEdit) { ReplaceEdit edit= (ReplaceEdit) oldEdit; newEdit= new ReplaceEdit(edit.getOffset() - diff, edit.getLength(), edit.getText()); } else if (oldEdit instanceof InsertEdit) { InsertEdit edit= (InsertEdit) oldEdit; newEdit= new InsertEdit(edit.getOffset() - diff, edit.getText()); } else if (oldEdit instanceof DeleteEdit) { DeleteEdit edit= (DeleteEdit) oldEdit; newEdit= new DeleteEdit(edit.getOffset() - diff, edit.getLength()); } else if (oldEdit instanceof MultiTextEdit) { newEdit= new MultiTextEdit(); } else { return null; // not supported } TextEdit[] children= oldEdit.getChildren(); for (int i= 0; i < children.length; i++) { TextEdit shifted= shifEdit(children[i], diff); if (shifted != null) { newEdit.addChild(shifted); } } return newEdit; }
private static TextEdit shifEdit(TextEdit oldEdit, int diff) { TextEdit newEdit; if (oldEdit instanceof ReplaceEdit) { ReplaceEdit edit= (ReplaceEdit) oldEdit; newEdit= new ReplaceEdit(edit.getOffset() - diff, edit.getLength(), edit.getText()); } else if (oldEdit instanceof InsertEdit) { InsertEdit edit= (InsertEdit) oldEdit; newEdit= new InsertEdit(edit.getOffset() - diff, edit.getText()); } else if (oldEdit instanceof DeleteEdit) { DeleteEdit edit= (DeleteEdit) oldEdit; newEdit= new DeleteEdit(edit.getOffset() - diff, edit.getLength()); } else if (oldEdit instanceof MultiTextEdit) { newEdit= new MultiTextEdit(); } else { return null; // not supported } TextEdit[] children= oldEdit.getChildren(); for (int i= 0; i < children.length; i++) { TextEdit shifted= shifEdit(children[i], diff); if (shifted != null) { newEdit.addChild(shifted); } } return newEdit; }
private static TextEdit shifEdit(TextEdit oldEdit, int diff) { TextEdit newEdit; if (oldEdit instanceof ReplaceEdit) { ReplaceEdit edit= (ReplaceEdit) oldEdit; newEdit= new ReplaceEdit(edit.getOffset() - diff, edit.getLength(), edit.getText()); } else if (oldEdit instanceof InsertEdit) { InsertEdit edit= (InsertEdit) oldEdit; newEdit= new InsertEdit(edit.getOffset() - diff, edit.getText()); } else if (oldEdit instanceof DeleteEdit) { DeleteEdit edit= (DeleteEdit) oldEdit; newEdit= new DeleteEdit(edit.getOffset() - diff, edit.getLength()); } else if (oldEdit instanceof MultiTextEdit) { newEdit= new MultiTextEdit(); } else { return null; // not supported } TextEdit[] children= oldEdit.getChildren(); for (int i= 0; i < children.length; i++) { TextEdit shifted= shifEdit(children[i], diff); if (shifted != null) { newEdit.addChild(shifted); } } return newEdit; }