search

fesch / Structorizer.Desktop

Structorizer is a little tool which you can use to create Nassi-Schneiderman Diagrams (NSD).
https://structorizer.fisch.lu
GNU General Public License v3.0
65 stars 20 forks source link

Analyser: Reachability check is to be extended #1161

Closed codemanyak closed 7 months ago

codemanyak commented 7 months ago

Whereas Analyser correctly detects the unreachability of elements following to an EXIT (Jump) element (cf #161), it does not recognise an unreachability after a forking element (Alternative or Case): grafik

This kind of check should be accomplished, therefore.

codemanyak commented 7 months ago

On the other hand, the reachability test result after an eternal loop didn't work correctly, either: leave elements within the loop weren't reliably recognised.