update generated lexer

potassco · Dec 10, 2024 · eec53c0 · eec53c0
1 parent 3733f33
commit eec53c0
Show file tree

Hide file tree

Showing 2 changed files with 74 additions and 2 deletions.
diff --git a/libgringo/gen/src/input/groundtermlexer.hh b/libgringo/gen/src/input/groundtermlexer.hh
@@ -1,4 +1,4 @@
-/* Generated by re2c 3.1 on Sat Jun 22 13:23:28 2024 */
+/* Generated by re2c 3.1 on Tue Dec  3 10:42:26 2024 */
 #line 1 "/home/kaminski/Documents/git/potassco/clingo/libgringo//src/input/groundtermlexer.xh"
 // {{{ MIT License
 

diff --git a/libgringo/gen/src/input/nongroundlexer.hh b/libgringo/gen/src/input/nongroundlexer.hh
@@ -1,4 +1,4 @@
-/* Generated by re2c 3.1 on Sat Jun 22 13:23:27 2024 */
+/* Generated by re2c 3.1 on Tue Dec 10 20:24:59 2024 */
 #line 1 "/home/kaminski/Documents/git/potassco/clingo/libgringo//src/input/nongroundlexer.xch"
 // {{{ MIT License
 
@@ -7715,6 +7715,78 @@ yy514:
 
 }
 
+void NonGroundParser::aspif_asp_(Location &loc) {
+    start(loc);
+    char yych;
+
+#line 7723 "/home/kaminski/Documents/git/potassco/clingo/build/debug/libgringo//src/input/nongroundlexer.hh"
+{
+	YYCTYPE yych;
+	switch (YYGETCONDITION()) {
+		case yycaspif: goto yyc_aspif;
+	}
+/* *********************************** */
+yyc_aspif:
+	if ((YYLIMIT - YYCURSOR) < 4) YYFILL(4);
+	yych = *YYCURSOR;
+	switch (yych) {
+		case '\n': goto yy519;
+		case ' ': goto yy520;
+		case 'a': goto yy521;
+		default: goto yy516;
+	}
+yy516:
+	++YYCURSOR;
+	if (YYLIMIT <= YYCURSOR) YYFILL(1);
+	yych = *YYCURSOR;
+yy517:
+	switch (yych) {
+		case '\n':
+		case ' ': goto yy518;
+		default: goto yy516;
+	}
+yy518:
+#line 338 "/home/kaminski/Documents/git/potassco/clingo/libgringo//src/input/nongroundlexer.xch"
+	{ aspif_error_(loc, format("expected 'asp' but got token ", string()).c_str()); }
+#line 7752 "/home/kaminski/Documents/git/potassco/clingo/build/debug/libgringo//src/input/nongroundlexer.hh"
+yy519:
+	++YYCURSOR;
+#line 336 "/home/kaminski/Documents/git/potassco/clingo/libgringo//src/input/nongroundlexer.xch"
+	{ aspif_error_(loc, format("expected 'asp' but got ", eof() ? "<EOF>" : "<EOL>").c_str()); }
+#line 7757 "/home/kaminski/Documents/git/potassco/clingo/build/debug/libgringo//src/input/nongroundlexer.hh"
+yy520:
+	++YYCURSOR;
+#line 337 "/home/kaminski/Documents/git/potassco/clingo/libgringo//src/input/nongroundlexer.xch"
+	{ aspif_error_(loc, "expected 'asp' but got <SPACE>"); }
+#line 7762 "/home/kaminski/Documents/git/potassco/clingo/build/debug/libgringo//src/input/nongroundlexer.hh"
+yy521:
+	yych = *++YYCURSOR;
+	switch (yych) {
+		case 's': goto yy522;
+		default: goto yy517;
+	}
+yy522:
+	yych = *++YYCURSOR;
+	switch (yych) {
+		case 'p': goto yy523;
+		default: goto yy517;
+	}
+yy523:
+	yych = *++YYCURSOR;
+	switch (yych) {
+		case '\n':
+		case ' ': goto yy524;
+		default: goto yy516;
+	}
+yy524:
+#line 335 "/home/kaminski/Documents/git/potassco/clingo/libgringo//src/input/nongroundlexer.xch"
+	{ return; }
+#line 7785 "/home/kaminski/Documents/git/potassco/clingo/build/debug/libgringo//src/input/nongroundlexer.hh"
+}
+#line 339 "/home/kaminski/Documents/git/potassco/clingo/libgringo//src/input/nongroundlexer.xch"
+
+}
+
 } } // namespace Input Gringo
 
 #undef YYCTYPE