Merge branch 'main' into michaelrfairhurst/package-deadcode-6

Author: mbaluda

.github/workflows/code-scanning-pack-gen.yml

@@ -111,7 +111,7 @@ jobs:
           zip -r codeql-coding-standards/code-scanning-cpp-query-pack.zip codeql-coding-standards/c/ codeql-coding-standards/cpp/ codeql-coding-standards/.codeqlmanifest.json codeql-coding-standards/supported_codeql_configs.json codeql-coding-standards/scripts/configuration codeql-coding-standards/scripts/reports codeql-coding-standards/scripts/shared codeql-coding-standards/scripts/guideline_recategorization codeql-coding-standards/schemas
 
       - name: Upload GHAS Query Pack
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: code-scanning-cpp-query-pack.zip
           path: code-scanning-cpp-query-pack.zip
@@ -132,7 +132,7 @@ jobs:
           codeql pack bundle --output=report-coding-standards.tgz cpp/report/src
 
       - name: Upload qlpack bundles
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: coding-standards-codeql-packs
           path: '*-coding-standards.tgz'

.github/workflows/codeql_unit_tests.yml

@@ -153,7 +153,7 @@ jobs:
               file.close()
 
       - name: Upload test results
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: ${{ matrix.language }}-test-results-${{ runner.os }}-${{ matrix.codeql_cli }}-${{ matrix.codeql_standard_library_ident }}
           path: |
@@ -173,7 +173,7 @@ jobs:
           script: |
             core.setFailed('Test run job failed')
       - name: Collect test results
-        uses: actions/download-artifact@v6
+        uses: actions/download-artifact@v7
 
       - name: Validate test results
         run: |

.github/workflows/extra-rule-validation.yml

@@ -46,13 +46,13 @@ jobs:
         run: scripts/util/Test-SharedImplementationsHaveTestCases.ps1 -Language c -CIMode
 
 
-      - uses: actions/upload-artifact@v5
+      - uses: actions/upload-artifact@v6
         if: failure()
         with:
           name: missing-test-report.csv
           path: MissingTestReport*.csv
 
-      - uses: actions/upload-artifact@v5
+      - uses: actions/upload-artifact@v6
         if: failure()
         with:
           name: test-report.csv

.github/workflows/generate-html-docs.yml

@@ -37,7 +37,7 @@ jobs:
           python scripts/documentation/generate_iso26262_docs.py coding-standards-html-docs
 
       - name: Upload HTML documentation
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: coding-standards-docs-${{ github.sha }}
           path: coding-standards-html-docs/

.github/workflows/standard_library_upgrade_tests.yml

@@ -145,7 +145,7 @@ jobs:
               }, test_summary_file)
 
       - name: Upload test results
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: test-results-${{runner.os}}-${{matrix.codeql_cli}}-${{matrix.codeql_standard_library_ident}}
           path: |
@@ -164,7 +164,7 @@ jobs:
           python-version: "3.9"
 
       - name: Collect test results
-        uses: actions/download-artifact@v6
+        uses: actions/download-artifact@v7
 
       - name: Validate test results
         shell: python

scripts/generate_rules/generate_package_files.py

@@ -120,7 +120,7 @@
 repo_root = Path(__file__).parent.parent.parent
 rule_packages_file_path = repo_root.joinpath("rule_packages")
 env = Environment(loader=FileSystemLoader(Path(__file__).parent.joinpath(
-    "templates")), trim_blocks=True, lstrip_blocks=True)
+    "templates")), trim_blocks=True, lstrip_blocks=True, keep_trailing_newline=True)
 
 def write_shared_implementation(package_name, rule_id, query, language_name, ql_language_name, common_src_pack_dir, common_test_pack_dir, test_src_dir, skip_tests=False):
 
@@ -164,6 +164,7 @@ def write_shared_implementation(package_name, rule_id, query, language_name, ql_
     # Write out the test. Test are always stored under the `language_name`
     # directory.
     if not skip_tests:
+
         shared_impl_test_dir = common_test_pack_dir.joinpath(
             "rules",
             shared_impl_dir_name
@@ -176,31 +177,17 @@ def write_shared_implementation(package_name, rule_id, query, language_name, ql_
             f"{query['shared_implementation_short_name']}.ql"
         )
 
-        with open(shared_impl_test_query_path, "w", newline="\n") as f:
-            f.write("// GENERATED FILE - DO NOT MODIFY\n")
-            f.write(
-                "import "
-                + str(shared_impl_query_library_path.relative_to(common_src_pack_dir).with_suffix(''))
-                .replace("\\", "/")
-                .replace("/", ".")
-                + "\n"
+        shared_library_test_template = env.get_template(
+            "shared_library_test.ql.template"
+        )
+
+        if not shared_impl_test_query_path.exists():
+            write_template(
+                shared_library_test_template,
+                query,
+                package_name,
+                shared_impl_test_query_path
             )
-            f.write("\n")
-            class_name = str(query["shared_implementation_short_name"]) + "SharedQuery"
-            f.write("class TestFileQuery extends " + class_name + ",")
-            # ql formatting of this line depends on the line length
-            if len(class_name) > 61:
-                # Line break required after comma
-                f.write("\n  TestQuery\n{ }\n")
-            elif len(class_name) == 61:
-                # Line break required before `{`
-                f.write(" TestQuery\n{ }\n")
-            elif len(class_name) > 57:
-                # Line break required after `{`
-                f.write(" TestQuery {\n}\n")
-            else:
-                # Under 100 characters, can be formatted on the same line
-                f.write(" TestQuery { }\n")
 
         # Create an empty test file, if one doesn't already exist
         shared_impl_test_dir.joinpath(

scripts/generate_rules/templates/query.ql.template

@@ -6,11 +6,11 @@ import codingstandards.{{ language_name }}.{{ standard_short_name }}
 {% if shared_implementation_short_name is defined %}
 import codingstandards.{{ ql_language_name }}.rules.{{ shared_implementation_short_name.lower() }}.{{ shared_implementation_short_name }}
 
-class {{short_name}}Query extends {{shared_implementation_short_name}}SharedQuery {
-  {{short_name}}Query() {
-    this = {{package_name}}Package::{{shortname_camelcase}}Query()
-  }
+module {{short_name}}Config implements {{shared_implementation_short_name}}ConfigSig {
+  Query getQuery() { result = {{package_name}}Package::{{shortname_camelcase}}Query() }
 }
+
+import {{shared_implementation_short_name}}<{{short_name}}Config>
 {% else %}
 
 from

scripts/generate_rules/templates/shared_library.ql.template

@@ -3,18 +3,21 @@
     the first matching query in `rule_packages`.
 #}
 /**
- * Provides a library with a `problems` predicate for the following issue:
+ * Provides a configurable module {{shared_implementation_short_name}} with a `problems` predicate
+ * for the following issue:
  * {{ description|join('\n * ') }}
  */
 
 import cpp
 import codingstandards.{{ ql_language_name }}.Customizations
 import codingstandards.{{ ql_language_name }}.Exclusions
 
-abstract class {{shared_implementation_short_name}}SharedQuery extends Query { }
-
-Query getQuery() { result instanceof {{shared_implementation_short_name}}SharedQuery }
+signature module {{shared_implementation_short_name}}ConfigSig {
+  Query getQuery();
+}
 
-query predicate problems(Element e, string message) {
-not isExcluded(e, getQuery()) and message = "<replace with problem alert message for >"
+module {{shared_implementation_short_name}}<{{shared_implementation_short_name}}ConfigSig Config> {
+  query predicate problems(Element e, string message) {
+    not isExcluded(e, Config::getQuery()) and message = "<replace with problem alert message for >"
+  }
 }

scripts/generate_rules/templates/shared_library_test.ql.template

@@ -0,0 +1,8 @@
+// GENERATED FILE - DO NOT MODIFY
+import codingstandards.{{ ql_language_name }}.rules.{{ shared_implementation_short_name.lower() }}.{{ shared_implementation_short_name }}
+
+module TestFileConfig implements {{shared_implementation_short_name}}ConfigSig {
+  Query getQuery() { result instanceof TestQuery }
+}
+
+import {{shared_implementation_short_name}}<TestFileConfig>