c3.l grammar fixed.

c3lang · Oct 14, 2024 · f37f176 · f37f176
1 parent 31cd839
commit f37f176
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/resources/grammar/c3.l b/resources/grammar/c3.l
@@ -29,7 +29,7 @@ HINT        {H}(_?{H})*
 OINT        {O}(_?{O})*
 BINT        {B}(_?{B})*
 
-%x COMMENT RAW_STRING
+%x COMMENT CONTRACT_DOC RAW_STRING
 
 %{
 #include <stdio.h>
@@ -105,6 +105,12 @@ typedef struct {
 	[/]         { }
 	\n          { }
 }
+"<*"			{ BEGIN(CONTRACT_DOC); }
+<CONTRACT_DOC>{
+	"*>"        { BEGIN(INITIAL); }
+	"*"         { }
+	[^*]+       { }
+}
 \/\/.*          { }
 "any"           { return(ANY); }
 "anyfault"      { return(ANYFAULT); }