hrw4u: Fix u4wrh emitting quoted header names in HRW4U output - #13207
hrw4u: Fix u4wrh emitting quoted header names in HRW4U output#13207Clendenin wants to merge 1 commit into
Conversation
Header qualifiers that contain only characters legal in the HRW4U IDENT rule were being wrapped in double quotes at emission time, which the grammar rejects on re-parse. Quote a qualifier only when it actually contains characters that require quoting. Adds a parametrized unit test for Validator.unquote_if_ident covering IDENT-safe stripping, space-containing qualifiers, empty strings, and leading-digit rejection, symmetric with the existing needs_quotes and quote_if_needed tests.
57d709a to
c74b482
Compare
There was a problem hiding this comment.
Pull request overview
Fixes the u4wrh reverse compiler emitting double-quoted header names (e.g. "X-Foo") which the hrw4u grammar's IDENT rule rejects on re-parse. Introduces a Validator.unquote_if_ident helper that strips surrounding quotes when the inner value is a valid grammar IDENT, and applies it in the set/rm and add-header reverse-emit paths.
Changes:
- Add
GRAMMAR_IDENTregex (mirrorshrw4u.g4IDENT rule) andValidator.unquote_if_identhelper. - Use the helper in
_handle_set_rm_operationand theadd-headerbranch of_handle_statement_functioninhrw_symbols.py. - Add reverse-compiler round-trip test fixtures and a parametrized unit test, plus an exceptions entry for the asymmetric
hyphen_headercase.
Reviewed changes
Copilot reviewed 7 out of 7 changed files in this pull request and generated no comments.
Show a summary per file
| File | Description |
|---|---|
| tools/hrw4u/src/common.py | Adds GRAMMAR_IDENT regex matching the grammar IDENT rule. |
| tools/hrw4u/src/validation.py | Adds Validator.unquote_if_ident helper. |
| tools/hrw4u/src/hrw_symbols.py | Strips quotes from IDENT-safe qualifiers in set/rm and add-header reverse emit. |
| tools/hrw4u/tests/test_errors.py | Parametrized unit test for unquote_if_ident. |
| tools/hrw4u/tests/data/vars/hyphen_header.input.txt | New round-trip fixture (hrw4u source). |
| tools/hrw4u/tests/data/vars/hyphen_header.output.txt | Expected HRW config output. |
| tools/hrw4u/tests/data/vars/exceptions.txt | Marks fixture as u4wrh-direction-only. |
|
While looking at this, these fixes actually unravel another weakness in the u4wrh code. Look at this example below, it'd be good to address this here, since the fixes in this PR opens up potentially really bad results in some odd cases: This is specific to the body header, but I think it'd be good to address this here, since the fixes makes it possible now to get into a really bad result. |
|
I think there's a second issue, with @-headers, and potentially other headers, e.g. That should produce: |
|
Here's a suggestion from Claude But, please take a closer look of course. Also, this still reserves inbound.resp.body for 'body' (i.e. can't have that as a header). |
Summary
Header qualifiers that contain only characters legal in the HRW4U
IDENTrulewere being wrapped in double quotes at emission time, which the grammar rejects
on re-parse. Quote a qualifier only when it actually contains characters that
require quoting.
Adds a parametrized unit test for
Validator.unquote_if_identcoveringIDENT-safe stripping, space-containing qualifiers, empty strings, and
leading-digit rejection, symmetric with the existing
needs_quotesandquote_if_neededtests.