private int getLineDelimiterLength(IDocument document, int line) throws BadLocationException { String lineDelimiter= document.getLineDelimiter(line); return lineDelimiter != null ? lineDelimiter.length() : 0; }
private int getLineDelimiterLength(IDocument document, int line) throws BadLocationException { String lineDelimiter= document.getLineDelimiter(line); return lineDelimiter != null ? lineDelimiter.length() : 0; }
private int getLineDelimiterLength(IDocument document, int line) throws BadLocationException { String lineDelimiter= document.getLineDelimiter(line); return lineDelimiter != null ? lineDelimiter.length() : 0; }
private int getLineDelimiterLength(IDocument document, int line) throws BadLocationException { String lineDelimiter= document.getLineDelimiter(line); return lineDelimiter != null ? lineDelimiter.length() : 0; }
private int getLastCharColumn(int line) throws BadLocationException { String lineDelimiter = fDocument.getLineDelimiter(line - 1); int lineDelimiterLength = lineDelimiter != null ? lineDelimiter.length() : 0; return fDocument.getLineLength(line - 1) - lineDelimiterLength; }
private static String getLineDelimiter(IDocument document) { try { if (document.getNumberOfLines() > 1) { return document.getLineDelimiter(0); } } catch (BadLocationException e) { } return System.getProperty("line.separator"); //$NON-NLS-1$ }
private static String getLineDelimiter(IDocument document) { try { if (document.getNumberOfLines() > 1) { return document.getLineDelimiter(0); } } catch (BadLocationException e) { // _log.error(EditorMessages.error_badLocationException, e); } return System.getProperty("line.separator"); //$NON-NLS-1$ }
private String getLineContents(IDocument d, int line) throws BadLocationException { int offset = d.getLineOffset(line); int length = d.getLineLength(line); String lineDelimiter = d.getLineDelimiter(line); if (lineDelimiter != null) { length = length - lineDelimiter.length(); } String lineContents = d.get(offset, length); int trim = commentExtractLinePrefix(d, line).length(); return lineContents.substring(trim); }
private static void convertLineDelimiters(IDocument document, String defaultLineDelimiter) throws BadLocationException { int lines = document.getNumberOfLines(); for (int line = 0; line < lines; line++) { IRegion region = document.getLineInformation(line); String lineDelimiter = document.getLineDelimiter(line); if (lineDelimiter != null) document.replace(region.getOffset() + region.getLength(), lineDelimiter.length(), defaultLineDelimiter); } }
@CheckForNull public static Position getPosition(final IDocument document, int startLine) { int startLineStartOffset; int length; String lineDelimiter; try { startLineStartOffset = document.getLineOffset(startLine - 1); length = document.getLineLength(startLine - 1); lineDelimiter = document.getLineDelimiter(startLine - 1); } catch (BadLocationException e) { SonarLintLogger.get().error("failed to compute flat text range for line " + startLine, e); return null; } int lineDelimiterLength = lineDelimiter != null ? lineDelimiter.length() : 0; return new Position(startLineStartOffset, length - lineDelimiterLength); }
private void convertLineDelimiters(IDocument document) throws BadLocationException { int lines= document.getNumberOfLines(); for (int line= 0; line < lines; line++) { IRegion region= document.getLineInformation(line); String lineDelimiter= document.getLineDelimiter(line); if (lineDelimiter != null) document.replace(region.getOffset() + region.getLength(), lineDelimiter.length(), fLineDelimiter); } }
private void convertLineDelimiters(IDocument document) throws BadLocationException { int lines= document.getNumberOfLines(); for (int line= 0; line < lines; line++) { IRegion region= document.getLineInformation(line); String lineDelimiter= document.getLineDelimiter(line); if (lineDelimiter != null) document.replace(region.getOffset() + region.getLength(), lineDelimiter.length(), fLineDelimiter); } }
protected List<IMarker> getMarkersFor(ISourceViewer sourceViewer, int offset) throws BadLocationException { final IDocument document = sourceViewer.getDocument(); int line = document.getLineOfOffset(offset); int lineOffset = document.getLineOffset(line); String delim = document.getLineDelimiter(line); int delimLength = delim != null ? delim.length() : 0; int lineLength = document.getLineLength(line) - delimLength; return getMarkersFor(sourceViewer, lineOffset, lineLength); }
private void convertLineDelimiters(IDocument document) throws BadLocationException { int lines= document.getNumberOfLines(); for (int line= 0; line < lines; line++) { IRegion region= document.getLineInformation(line); String lineDelimiter= document.getLineDelimiter(line); if (lineDelimiter != null) document.replace(region.getOffset() + region.getLength(), lineDelimiter.length(), fLineDelimiter); } }
/** * Creates line break string containing line delimiter, line comment string if <code>isCommentedOut</code> is <code>true</code>, * and same indent string as the line that break is inserted at. * @param startOfLineOffset * @param isCommentedOut * @return line break string * @throws BadLocationException */ protected String createLineBreakString(int startOfLineOffset, boolean isCommentedOut) throws BadLocationException { return createLineBreakString(getDocument().getLineDelimiter(getDocument().getLineOfOffset(startOfLineOffset)), startOfLineOffset, isCommentedOut); }
/** * Creates line break string containing line delimiter, line comment string if <code>isCommentedOut</code> is <code>true</code>, * and same indent string as the line that break is inserted at. * @param startOfLineOffset * @param isCommentedOut * @return line break string * @throws BadLocationException */ protected String createLineBreakString(int startOfLineOffset, boolean isCommentedOut) throws BadLocationException { return createLineBreakString(getDocument().getLineDelimiter(getDocument().getLineOfOffset(startOfLineOffset)), startOfLineOffset, isCommentedOut); }
@Override public synchronized void disconnect() { try { IDocument document = fConsole.getDocument(); if (document != null) { int lastLine = document.getNumberOfLines() - 1; if (document.getLineDelimiter(lastLine) == null) { IRegion lineInformation = document.getLineInformation(lastLine); lineAppended(lineInformation); } } } catch (BadLocationException e) { } }
@Override public void matchFound(PatternMatchEvent event) { try { IDocument document = fConsole.getDocument(); int lineOfOffset = document.getLineOfOffset(event.getOffset()); String delimiter = document.getLineDelimiter(lineOfOffset); int strip = delimiter==null ? 0 : delimiter.length(); Region region = new Region(event.getOffset(), event.getLength()-strip); lineAppended(region); } catch (BadLocationException e) {} }
@Override protected IRegion getSelectedRegion(IDocument document, ITypedRegion completePartition) throws BadLocationException { if (fLeftBorder == 0 && fRightBorder == 0) return completePartition; if (fRightBorder == -1) { String delimiter = document.getLineDelimiter(document.getLineOfOffset(completePartition.getOffset() + completePartition.getLength() - 1)); if (delimiter == null) fRightBorder = 0; else fRightBorder = delimiter.length(); } return new Region(completePartition.getOffset() + fLeftBorder, completePartition.getLength() - fLeftBorder - fRightBorder); } }
private String formatElement(IDocument document, TypedPosition partition) throws BadLocationException { String partitionText = document.get(partition.getOffset(), partition.getLength()); IRegion line = document.getLineInformationOfOffset(partition.getOffset()); int indentLength = partition.getOffset() - line.getOffset(); String lineDelimiter = document.getLineDelimiter(document.getLineOfOffset(line.getOffset())); if (lineDelimiter == null) { lineDelimiter = TextUtilities.getDefaultLineDelimiter(document); } return XmlTagFormatter.format(partitionText, prefs, document.get(line.getOffset(), indentLength), lineDelimiter); }