summaryrefslogtreecommitdiff
path: root/support/splint/cweb/fk.w
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/cweb/fk.w')
-rw-r--r--support/splint/cweb/fk.w4
1 files changed, 3 insertions, 1 deletions
diff --git a/support/splint/cweb/fk.w b/support/splint/cweb/fk.w
index fc0c5d2e14..c25a7e8cc2 100644
--- a/support/splint/cweb/fk.w
+++ b/support/splint/cweb/fk.w
@@ -1,4 +1,4 @@
-@q Copyright 2012-2020, Alexander Shibakov@>
+@q Copyright 2012-2022, Alexander Shibakov@>
@q This file is part of SPLinT@>
@q SPLinT is free software: you can redistribute it and/or modify@>
@@ -330,6 +330,7 @@ known to the \flex\ generated scanner.
}
@*2Constants.
+The few hard coded constants needed for the lexer to work are listed here.
@<Scanner constants@>=
_register_const_d(YY_END_OF_BUFFER_CHAR)@;
_register_const_d(YY_NUM_RULES)@;
@@ -427,6 +428,7 @@ are handled separately, because they contain underscores.
@<Prepare \TeX\ format for scanner constants@>=
#define _register_const_d(c_name) @[c_name##_desc.format = "\\constset{%s}{%d}%%\n"; \
c_name##_desc.name = #c_name; \
+ c_name##_desc.value = c_name; \
output_desc.output_##c_name = 1;@]
@<Scanner constants@>@;
#undef _register_const_d