adds tracing for sections

bmw-software-engineering · Oct 16, 2023 · 39ead5a · 39ead5a
1 parent da14749
commit 39ead5a
Show file tree

Hide file tree

Showing 8 changed files with 2 additions and 2 deletions.
diff --git a/tests-system/sections-1/foo.rsl → tests-system/rbt-section-declaration/foo.rsl b/tests-system/sections-1/foo.rsl → tests-system/rbt-section-declaration/foo.rsl
diff --git a/tests-system/sections-1/foo.trlc → ...s-system/rbt-section-declaration/foo.trlc b/tests-system/sections-1/foo.trlc → ...s-system/rbt-section-declaration/foo.trlc
diff --git a/tests-system/sections-1/output → tests-system/rbt-section-declaration/output b/tests-system/sections-1/output → tests-system/rbt-section-declaration/output
diff --git a/tests-system/sections-1/output.brief → ...stem/rbt-section-declaration/output.brief b/tests-system/sections-1/output.brief → ...stem/rbt-section-declaration/output.brief
diff --git a/tests-system/sections-1/output.json → ...ystem/rbt-section-declaration/output.json b/tests-system/sections-1/output.json → ...ystem/rbt-section-declaration/output.json
diff --git a/tests-system/sections-1/output.smtlib → ...tem/rbt-section-declaration/output.smtlib b/tests-system/sections-1/output.smtlib → ...tem/rbt-section-declaration/output.smtlib
diff --git a/trlc/ast.py b/trlc/ast.py
@@ -2894,6 +2894,7 @@ def perform_checks(self, mh):
 
 
 class Section(Entity):
+    # lobster-trace: LRM.Section_Declaration
     """A section for readability
 
     This represents a section construct in TRLC files to group record
@@ -2909,13 +2910,11 @@ class Section(Entity):
 
     """
     def __init__(self, name, location, parent):
-        # lobster-exclude: Constructor only declares variables
         super().__init__(name, location)
         assert isinstance(parent, Section) or parent is None
         self.parent  = parent
 
     def dump(self, indent=0):  # pragma: no cover
-        # lobster-exclude: Debugging feature
         self.write_indent(indent, "Section %s" % self.name)
         if self.parent is None:
             self.write_indent(indent + 1, "Parent: None")

diff --git a/trlc/parser.py b/trlc/parser.py
@@ -1322,6 +1322,7 @@ def parse_check_block(self):
         return n_check_block
 
     def parse_section_declaration(self):
+        # lobster-trace: LRM.Section_Declaration
         self.match_kw("section")
         self.match("STRING")
         if self.section: