From ef19301b35b5057c99fb0aa900ab1236e0ad6d37 Mon Sep 17 00:00:00 2001
From: Anders Nilsson <anders.nilsson@cs.lth.se>
Date: Mon, 6 Feb 2006 16:37:59 +0100
Subject: [PATCH] Trying to modify flex for owl usage
---
parser/owl.flex | 14 ++++++++------
1 file changed, 8 insertions(+), 6 deletions(-)
diff --git a/parser/owl.flex b/parser/owl.flex
index 99ce45f..5238726 100644
--- a/parser/owl.flex
+++ b/parser/owl.flex
@@ -78,12 +78,14 @@ InputCharacter = [^\r\n]
WhiteSpace = {LineTerminator} | [ \t\f]
/* comments */
-Comment = {TraditionalComment} | {EndOfLineComment} |
- {DocumentationComment}
-
-TraditionalComment = "/*" [^*] ~"*/" | "/*" "*"+ "/"
-EndOfLineComment = "//" {InputCharacter}* {LineTerminator}?
-DocumentationComment = "/*" "*"+ [^/*] ~"*/"
+// Comment = {TraditionalComment} | {EndOfLineComment} |
+// {DocumentationComment}
+Comment = XMLComment
+
+// TraditionalComment = "/*" [^*] ~"*/" | "/*" "*"+ "/"
+// EndOfLineComment = "//" {InputCharacter}* {LineTerminator}?
+// DocumentationComment = "/*" "*"+ [^/*] ~"*/"
+XMLComment = "<!--" {InputCharacter}* "-->"
/* identifiers */
Identifier = [:jletter:][:jletterdigit:]*
--
GitLab