summaryrefslogtreecommitdiff
path: root/support/splint/examples/ld/ldgramo.w
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/examples/ld/ldgramo.w')
-rw-r--r--support/splint/examples/ld/ldgramo.w9
1 files changed, 6 insertions, 3 deletions
diff --git a/support/splint/examples/ld/ldgramo.w b/support/splint/examples/ld/ldgramo.w
index 46d46f9a1f..a036c858de 100644
--- a/support/splint/examples/ld/ldgramo.w
+++ b/support/splint/examples/ld/ldgramo.w
@@ -1,4 +1,4 @@
-@q Copyright 2020 Alexander Shibakov@>
+@q Copyright 2012-2022 Alexander Shibakov@>
@q Copyright 2002-2015 Free Software Foundation, Inc.@>
@q This file is part of SPLinT@>
@@ -492,17 +492,20 @@ statement_anywhere:
ENTRY '(' NAME ')'
{ lang_add_entry ($3, FALSE); }
| assignment end
- | ASSERT_K {@>@[ldlex_expression ();@>@=} '(' exp ',' NAME ')'
+ | ASSERT_K {@>@[ldlex_expression ();@]@=} '(' exp ',' NAME ')'
{
@O
ldlex_popstate ();
-@o
lang_add_assignment (exp_assert ($4, $6));
+@o
}
;
@g
+@q using a @@[, @@> pair instead of @@[, @@] may lead to some strange spacing artefacts @>
+@q due to the lack of \6; it is instructive to see its effects after replacing the @@] with @@> @>
+@q in the line containing ASSERT_K @>
@ \tracebadcharstrue
The {\setrulecontext{wildcardname}\prodstyle{'*'}} and \prodstyle{'?'} cases are there because the lexer returns them as
separate tokens rather than as \prodstyle{NAME}.