From 7734da1ac2883c822f722c1cecd5eec492328f52 Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Mon, 5 Feb 2024 20:22:22 +0100 Subject: [PATCH] Fix for dotted attribute names in outer parser (#3953) We serialize Java objects directly to represent the source and location attributes in `compiled.txt`; this breaks the part of the outer parser responsible for lexing an identifier name (https://github.com/runtimeverification/k/issues/3952). To avoid having to rewrite every bit of code that deals with these attributes, we instead just make the lexical specification of attribute names a bit more relaxed. Fixes #3952 Co-authored-by: rv-jenkins --- kernel/src/main/javacc/Outer.jj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/src/main/javacc/Outer.jj b/kernel/src/main/javacc/Outer.jj index 270c93d6eb1..63b3abd782d 100644 --- a/kernel/src/main/javacc/Outer.jj +++ b/kernel/src/main/javacc/Outer.jj @@ -645,7 +645,7 @@ List KLabels() : | "]" { matchedToken.kind = RSQUARE; } | "(" { matchedToken.kind = LPAREN; } | ")" { matchedToken.kind = RPAREN; } -| ")?> +| ")?> } /** The same as 'Attributes()', but requires that the entire input be