X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Fwinterwell.markdown%2Fsrc%2Fwinterwell%2Fmarkdown%2Feditors%2FHeaderWithUnderlineRule.java;fp=bundles%2Fwinterwell.markdown%2Fsrc%2Fwinterwell%2Fmarkdown%2Feditors%2FHeaderWithUnderlineRule.java;h=f5970d0c1ca7809be2e01002e98895243a4ed8b5;hb=9a175feb652b2b7bba7afa540831b9076be3c10e;hp=0000000000000000000000000000000000000000;hpb=0b72d3e4ec886838314ffeba0fa201e32c0aae3e;p=simantics%2Fplatform.git

diff --git a/bundles/winterwell.markdown/src/winterwell/markdown/editors/HeaderWithUnderlineRule.java b/bundles/winterwell.markdown/src/winterwell/markdown/editors/HeaderWithUnderlineRule.java
new file mode 100644
index 000000000..f5970d0c1
--- /dev/null
+++ b/bundles/winterwell.markdown/src/winterwell/markdown/editors/HeaderWithUnderlineRule.java
@@ -0,0 +1,73 @@
+/**
+ * @author Telmo Brugnara
+ * 10 Feb 2014
+ */
+package winterwell.markdown.editors;
+
+import org.eclipse.jface.text.rules.ICharacterScanner;
+import org.eclipse.jface.text.rules.IRule;
+import org.eclipse.jface.text.rules.IToken;
+import org.eclipse.jface.text.rules.Token;
+
+public class HeaderWithUnderlineRule implements IRule {
+
+	IToken successToken = null;
+	
+	public HeaderWithUnderlineRule(IToken token) {
+		successToken = token;
+	}
+	
+	public IToken evaluate(ICharacterScanner scanner) {
+		int c = -1;
+		int scanCount = 0;
+		if (scanner.getColumn()==0) {
+			do {
+				c = scanner.read();
+				scanCount++;
+			} while (!isNewLine((char) c) && c != ICharacterScanner.EOF);
+			if(c == ICharacterScanner.EOF) {
+				// is not a header
+				for(int i=0;i<scanCount;i++) { scanner.unread(); }
+				return Token.UNDEFINED;
+			}
+			c = scanner.read();
+			scanCount++;
+			if(c == '\r') {
+				c = scanner.read();
+				scanCount++;
+			}
+			if(!isUnderline((char) c)) {
+				// is not a header
+				for(int i=0;i<scanCount;i++) { scanner.unread(); }
+				return Token.UNDEFINED;
+			}
+			do {
+				c = scanner.read();
+				scanCount++;
+				if(isNewLine((char) c) || c == ICharacterScanner.EOF) {
+					//scanner.unread();
+					return successToken;
+				}
+				if(!isUnderline((char) c) && !isWhitespace((char) c) && c != '\r') {
+					// is not a header
+					for(int i=0;i<scanCount;i++) { scanner.unread(); }
+					return Token.UNDEFINED;
+				}
+			} while (true);
+		}
+
+		return Token.UNDEFINED;
+	}
+	
+	boolean isNewLine(char c) {
+		return c == '\n';
+	}
+
+	boolean isUnderline(char c) {
+		return c == '=' || c == '-';
+	}
+
+	boolean isWhitespace(char c) {
+		return c == ' ' || c == '\t';
+	}
+}