Bugfix: Attribute Safety Analysis

[PandaeDo]

Bugfix for attributes linkage of DFA to static diagrams and changed mitigates to optional link if the violation doesn't apply

[github-actions]

License Check Results

🚀 The license check job ran with the Bazel command:

bazel run //src:license-check

Status: ✅ Passed

Click to expand output

[License Check Output]
Extracting Bazel installation...
Starting local Bazel server and connecting to it...
INFO: Invocation ID: 24b20b5a-05f6-439b-aa3c-6821e930320c
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Computing main repo mapping: 
Loading: 
Loading: 0 packages loaded
Loading: 0 packages loaded
    currently loading: src
Loading: 0 packages loaded
    currently loading: src
Analyzing: target //src:license-check (1 packages loaded, 0 targets configured)
Analyzing: target //src:license-check (1 packages loaded, 0 targets configured)

Analyzing: target //src:license-check (103 packages loaded, 10 targets configured)

Analyzing: target //src:license-check (147 packages loaded, 1471 targets configured)

Analyzing: target //src:license-check (153 packages loaded, 2641 targets configured)

Analyzing: target //src:license-check (158 packages loaded, 2687 targets configured)

Analyzing: target //src:license-check (162 packages loaded, 4820 targets configured)

INFO: Analyzed target //src:license-check (163 packages loaded, 4946 targets configured).
[11 / 13] Building src/license.check.license_check.jar (); 0s disk-cache
INFO: Found 1 target...
Target //src:license.check.license_check up-to-date:
  bazel-bin/src/license.check.license_check
  bazel-bin/src/license.check.license_check.jar
INFO: Elapsed time: 15.709s, Critical Path: 0.43s
INFO: 13 processes: 4 disk cache hit, 9 internal.
INFO: Build completed successfully, 13 total actions
INFO: Running command line: bazel-bin/src/license.check.license_check src/formatted.txt -review -project automotive.score -repo https://github.com/eclipse-score/docs-as-code -token otyhZ4eaRYK1tKLNNF-Y
[main] INFO Querying Eclipse Foundation for license data for 83 items.
[main] INFO Found 58 items.
[main] INFO Querying ClearlyDefined for license data for 25 items.
[main] INFO Found 25 items.
[main] INFO Vetted license information was found for all content. No further investigation is required.

[github-actions]

The created documentation from the pull request is available at: docu-html

[MaximilianSoerenPollak]

So for feat_saf_dfa mitigates is a mandatory link, not optional like above?

Should it not be always the same?

[PandaeDo]

Yes. I'm still working on it as discussed today. Now we have a better solution so I changed it back and we can check and merge the fix for the DFA.

[MaximilianSoerenPollak]

So this is now correct, as it is? With the links being mandatory?

[PandaeDo]

Yes. The links are mandatory. Because if a failure model is applicable than you must have a mitigation. Other way round and that's the good news when it doesn't apply we don't need even longer to document it in that way that we put in the related fault model and than document in the content that it doesn't apply.

[MaximilianSoerenPollak]

Will you then change mandatory / optional things to be the same everywhere?

I see sufficent being optional and the new option of `violation_applicable' etc.

[PandaeDo]

Changed back to sufficient

[MaximilianSoerenPollak]

👍

Figuring out why tests are failing

[MaximilianSoerenPollak]

Iam very confused why the tests don't pass in CI. They do on my machine.

[MaximilianSoerenPollak]

👍 Thanks for rebasing