summaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ansys.com>2014-07-04 16:21:45 +0200
committerAlex Auvolat <alex.auvolat@ansys.com>2014-07-04 16:21:45 +0200
commitb1cdf90995c8f70e4a450b3319a136f0d50515d0 (patch)
tree9074c54967f384fac8d41359a503774158081ac9 /frontend
parent1445a2be1e1bd81efa552230a0f11672aa20a92c (diff)
downloadscade-analyzer-b1cdf90995c8f70e4a450b3319a136f0d50515d0.tar.gz
scade-analyzer-b1cdf90995c8f70e4a450b3319a136f0d50515d0.zip
New example ; minor fixes.
Diffstat (limited to 'frontend')
-rw-r--r--frontend/lexer.mll6
1 files changed, 6 insertions, 0 deletions
diff --git a/frontend/lexer.mll b/frontend/lexer.mll
index ef40aa7..837ee75 100644
--- a/frontend/lexer.mll
+++ b/frontend/lexer.mll
@@ -88,6 +88,7 @@ rule token = parse
| const_real as c { REALVAL c }
(* spaces, comments *)
| "(*" { comment lexbuf; token lexbuf }
+ | "/*" { cppcomment lexbuf; token lexbuf }
| "--" [^ '\n' '\r']* { token lexbuf }
| newline { new_line lexbuf; token lexbuf }
| space { token lexbuf }
@@ -98,3 +99,8 @@ and comment = parse
| "*)" { () }
| [^ '\n' '\r'] { comment lexbuf }
| newline { new_line lexbuf; comment lexbuf }
+
+and cppcomment = parse
+ | "*/" { () }
+ | [^ '\n' '\r'] { cppcomment lexbuf }
+ | newline { new_line lexbuf; cppcomment lexbuf }