]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
rv/rvgen: extract node marker string to class constant
authorWander Lairson Costa <wander@redhat.com>
Mon, 23 Feb 2026 16:17:59 +0000 (13:17 -0300)
committerGabriele Monaco <gmonaco@redhat.com>
Wed, 1 Apr 2026 08:16:19 +0000 (10:16 +0200)
commit2074723f518173cbad400a48021971cb82481e81
tree39eca1814b322dfb0b5a10ad9700545b2d6983cb
parent8aee49c5a53a57014af08de6687a67de7fb679d8
rv/rvgen: extract node marker string to class constant

Add a node_marker class constant to the Automata class to replace the
hardcoded "{node" string literal used throughout the DOT file parsing
logic. This follows the existing pattern established by the init_marker
and invalid_state_str class constants in the same class.

The "{node" string is used as a marker to identify node declaration
lines in DOT files during state variable extraction and cursor
positioning. Extracting it to a named constant improves code
maintainability and makes the marker's purpose explicit.

Signed-off-by: Wander Lairson Costa <wander@redhat.com>
Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
Link: https://lore.kernel.org/r/20260223162407.147003-17-wander@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
tools/verification/rvgen/rvgen/automata.py