Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion bazel/rules/rules_score/examples/seooc/BUILD
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,6 @@ dependable_element(
dependability_analysis = [
":sample_dependability_analysis",
],
description = "Safety Element out of Context (SEooC) example",
integrity_level = "B",
requirements = [
"//bazel/rules/rules_score/examples/seooc/docs/requirements:feature_requirements",
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,6 @@ dependable_element(
assumptions_of_use = [],
components = [":component_example"],
dependability_analysis = [],
description = "XYZ",
integrity_level = "D",
requirements = [],
tests = [],
Expand Down
10 changes: 0 additions & 10 deletions bazel/rules/rules_score/private/dependable_element.bzl
Original file line number Diff line number Diff line change
Expand Up @@ -769,7 +769,6 @@ def _dependable_element_index_impl(ctx):
substitutions = {
"{title}": title,
"{underline}": underline,
"{description}": ctx.attr.description,
"{components}": components_ref,
"{assumptions_of_use}": "\n ".join(artifacts_by_type["assumptions_of_use"]),
"{requirements}": "\n ".join(artifacts_by_type["requirements"]),
Expand Down Expand Up @@ -988,10 +987,6 @@ _dependable_element_index = rule(
mandatory = True,
doc = "Name of the dependable element module (used as document title)",
),
"description": attr.string(
mandatory = True,
doc = "Description of the dependable element. Supports RST formatting.",
),
"assumptions_of_use": attr.label_list(
mandatory = True,
doc = "Assumptions of Use targets or files.",
Expand Down Expand Up @@ -1158,7 +1153,6 @@ _dependable_element_test = rule(
# lobster-trace: Tools.ArchitectureModelingDependableElement
def dependable_element(
name,
description,
assumptions_of_use,
requirements,
architectural_design,
Expand All @@ -1185,9 +1179,6 @@ def dependable_element(
Args:
name: The name of the dependable element. Used as the base name for
all generated targets.
description: String containing a high-level description of the element.
This text provides context about what the element does and its purpose.
Supports RST formatting.
assumptions_of_use: List of labels to assumptions_of_use targets that
define the safety-relevant operating conditions and constraints.
requirements: List of labels to requirements targets (component_requirements,
Expand Down Expand Up @@ -1227,7 +1218,6 @@ def dependable_element(
_dependable_element_index(
name = name + "_index",
module_name = name,
description = description,
template = Label("//bazel/rules/rules_score:templates/dependable_element_index.template.rst"),
assumptions_of_use = assumptions_of_use,
requirements = requirements,
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,6 @@
Dependable element: {title}
===================={underline}

{description}

Architectural Design
--------------------

Expand Down
11 changes: 0 additions & 11 deletions bazel/rules/rules_score/test/BUILD
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,6 @@ load(
load(
":seooc_test.bzl",
"seooc_artifacts_copied_test",
"seooc_description_test",
"seooc_index_generation_test",
"seooc_needs_provider_test",
"seooc_sphinx_module_generated_test",
Expand Down Expand Up @@ -214,7 +213,6 @@ dependable_element(
assumptions_of_use = [":aous"],
components = [],
dependability_analysis = [":dependability_analysis_target"],
description = "Dependency SEooC module for testing the deps attribute of dependable_element.",
integrity_level = "B",
requirements = [":feat_req"],
tests = [],
Expand All @@ -227,7 +225,6 @@ dependable_element(
assumptions_of_use = [":aous"],
components = [],
dependability_analysis = [":dependability_analysis_target"],
description = "Test SEooC module demonstrating S-CORE process compliance structure.",
integrity_level = "B",
requirements = [":feat_req"],
tests = [],
Expand Down Expand Up @@ -336,7 +333,6 @@ dependable_element(
assumptions_of_use = [":aous"],
components = [":test_component"],
dependability_analysis = [":dependability_analysis_target"],
description = "Test dependable element for unit testing",
integrity_level = "B",
requirements = [":feat_req"],
tests = [], # Empty for testing
Expand Down Expand Up @@ -408,7 +404,6 @@ dependable_element(
assumptions_of_use = [":aous"],
components = [":test_parent_component"],
dependability_analysis = [":dependability_analysis_target"],
description = "Test dependable element with nested components for testing recursive unit collection and deduplication",
integrity_level = "B",
requirements = [":feat_req"],
tests = [],
Expand Down Expand Up @@ -501,11 +496,6 @@ seooc_index_generation_test(
target_under_test = ":seooc_test_lib_index",
)

seooc_description_test(
name = "seooc_tests_description",
target_under_test = ":seooc_test_lib_index",
)

# ============================================================================
# Test Suites
# ============================================================================
Expand Down Expand Up @@ -571,7 +561,6 @@ test_suite(
name = "seooc_tests",
tests = [
":seooc_tests_artifacts_copied",
":seooc_tests_description",
":seooc_tests_index_generation",
":seooc_tests_needs_provider",
":seooc_tests_sphinx_module_generated",
Expand Down
30 changes: 0 additions & 30 deletions bazel/rules/rules_score/test/seooc_test.bzl
Original file line number Diff line number Diff line change
Expand Up @@ -115,33 +115,3 @@ def _seooc_needs_provider_test_impl(ctx):
seooc_needs_provider_test = analysistest.make(
impl = _seooc_needs_provider_test_impl,
)

def _seooc_description_test_impl(ctx):
"""Test that SEooC includes description in generated index.rst."""
env = analysistest.begin(ctx)
target_under_test = analysistest.target_under_test(env)

# Get the generated index file
files = target_under_test[DefaultInfo].files.to_list()

# Find index.rst
index_file = None
for f in files:
if f.basename == "index.rst":
index_file = f
break

# Note: We can't easily read file contents in analysis test,
# but we can verify the file exists. The description content
# would be validated through integration tests or manual inspection.
asserts.true(
env,
index_file != None,
"Expected index.rst to exist for description validation",
)

return analysistest.end(env)

seooc_description_test = analysistest.make(
impl = _seooc_description_test_impl,
)
Loading