Fix two typos in the Automata class documentation that have been present since the initial implementation. The class docstring incorrectly stated "part it" instead of "parses it" when describing how the class processes DOT files. Additionally, a comment describing transition labels contained the misspelling "lables" instead of "labels".
Fix a typo in the comment describing the insertion of the initial state into the states list: "bein og" should be "beginning of". Signed-off-by: Wander Lairson Costa <[email protected]> --- tools/verification/rvgen/rvgen/automata.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/verification/rvgen/rvgen/automata.py b/tools/verification/rvgen/rvgen/automata.py index 70ff98abea751..c0c8d13030007 100644 --- a/tools/verification/rvgen/rvgen/automata.py +++ b/tools/verification/rvgen/rvgen/automata.py @@ -18,7 +18,7 @@ class AutomataError(OSError): """ class Automata: - """Automata class: Reads a dot file and part it as an automata. + """Automata class: Reads a dot file and parses it as an automata. Attributes: dot_file: A dot file with an state_automaton definition. @@ -113,7 +113,7 @@ class Automata: states = sorted(set(states)) states.remove(initial_state) - # Insert the initial state at the bein og the states + # Insert the initial state at the beginning of the states states.insert(0, initial_state) if not has_final_states: @@ -134,7 +134,7 @@ class Automata: line = self.__dot_lines[cursor].split() event = line[-2].replace('"','') - # when a transition has more than one lables, they are like this + # when a transition has more than one labels, they are like this # "local_irq_enable\nhw_local_irq_enable_n" # so split them. -- 2.52.0
