Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/Positions.java')
-rw-r--r--org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/Positions.java62
1 files changed, 62 insertions, 0 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/Positions.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/Positions.java
new file mode 100644
index 00000000000..5ae9c9855c4
--- /dev/null
+++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/inlined/Positions.java
@@ -0,0 +1,62 @@
+/**
+ * Copyright (c) 2017 Angelo ZERR.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * Angelo Zerr <angelo.zerr@gmail.com> - [CodeMining] Provide inline annotations support - Bug 527675
+ */
+package org.eclipse.jface.text.source.inlined;
+
+import org.eclipse.jface.text.BadLocationException;
+import org.eclipse.jface.text.IDocument;
+import org.eclipse.jface.text.Position;
+
+/**
+ * Utilities class to retrieve position.
+ *
+ * @since 3.13.0
+ */
+public class Positions {
+
+ /**
+ * Returns the line position by taking care or not of of leading spaces.
+ *
+ * @param lineIndex the line index
+ * @param document the document
+ * @param leadingSpaces true if line spacing must take care of and not otherwise.
+ * @return the line position by taking care of leading spaces.
+ * @throws BadLocationException if the line number is invalid in this document
+ */
+ public static Position of(int lineIndex, IDocument document, boolean leadingSpaces) throws BadLocationException {
+ int offset= document.getLineOffset(lineIndex);
+ int lineLength= document.getLineLength(lineIndex);
+ String line= document.get(offset, lineLength);
+ if (leadingSpaces) {
+ offset+= getLeadingSpaces(line);
+ }
+ return new Position(offset, 1);
+ }
+
+ /**
+ * Returns the leading spaces of the given line text.
+ *
+ * @param line the line text.
+ * @return the leading spaces of the given line text.
+ */
+ private static int getLeadingSpaces(String line) {
+ int counter= 0;
+ char[] chars= line.toCharArray();
+ for (char c : chars) {
+ if (c == '\t')
+ counter++;
+ else if (c == ' ')
+ counter++;
+ else
+ break;
+ }
+ return counter;
+ }
+}

Back to the top