Element umwandeln (Transmute)

Überblick

Die Funktion zum Umwandeln (Transmutieren) von Elementen oder Elementfolgen in Elemente eines anderen Typs kann die Bearbeitung von Nassi-Shneiderman-Diagrammen erheblich erleichtern. Dies ist besonders hilfreich, um z. B. einen Unterprogrammaufruf oder einen EXIT für den Executor funktionstüchtig zu machen, oder um mehrere Anweisungen zusammenzuführen bzw. aufzuteilen — zur Verbesserung des Diagramm-Layouts oder um das Setzen von Haltepunkten zwischen Anweisungen zu ermöglichen, die zuvor ein gemeinsames Instruction-Element bildeten.

Umgewandelt werden können: unstrukturierte (einfache) Elemente (Instructions (Anweisungen), CALLs (Aufrufe) oder EXITs (Sprünge)), Folgen einfacher Elemente, zählende FOR-Schleifen, CASE- und IF-Elemente. Einfache Elemente mit einer einzigen Zeile können ihren Typ wechseln. Einfache Elemente mit mehreren Zeilen werden aufgeteilt; eine Folge einfacher Elemente wird zusammengeführt. Beim Zusammenführen wird der Elementtyp nur dann beibehalten, wenn alle Elemente denselben Typ haben; andernfalls wird das Ergebnis zu einer mehrzeiligen Instruction „herabgestuft". Eine FOR-Schleife oder ein CASE-Element wird zerlegt (siehe unten).

Um eine Umwandlung des ausgewählten Elements oder der ausgewählten Teilfolge einzuleiten, können Sie:

• die entsprechende Schaltfläche drücken;
• den Menüeintrag "Transmute" (Umwandeln) im Menü "Diagram" (Diagramm) oder im Kontextmenü aktivieren;
• die Tastenkombination <Ctrl><T> drücken.

Diese Steuerelemente sind nur aktiviert, wenn eine geeignete Auswahl vorhanden ist (siehe unten).

Die folgende Tabelle listet die verfügbaren Umwandlungen je nach aktueller Auswahl auf:

Mögliche Umwandlungen

Alle Umwandlungen können rückgängig gemacht und wiederhergestellt werden. Für einige Umwandlungen gibt es sogar eine Umkehroperation, jedoch nicht für alle.

Beispiele

Wie die folgenden Abbildungen zeigen, genügt ein einziger Klick auf die Umwandlungs-Schaltfläche, um ein mehrzeiliges Instruction-Element in eine Folge von Anweisungen aufzuteilen (und umgekehrt).

Ist das zweite Element der Aufteilergebnis-Folge ausgewählt, würde eine nachfolgende Umwandlung die Anweisung in ein CALL-Element konvertieren, da es den syntaktischen Anforderungen eines ausführbaren Unterprogrammaufrufs entspricht (siehe auch Executor).

Die Umwandlung einer FOR-Schleife (in der „zählenden" Variante) zerlegt sie in eine WHILE-Schleife mit einer separaten Initialisierungsanweisung und einer eingebetteten Inkrement-/Dekrement-Anweisung. Diese Operation ist besonders sinnvoll, wenn eine zusätzliche Bedingung zur Steuerung der Schleife benötigt wird — und natürlich auch, um die Äquivalenz beider Konstrukte zu demonstrieren.

War die zerlegte FOR-Schleife eingefärbt, erben alle ersetzenden Elemente dieselbe Farbe.

Hinweis: Es gibt keine Umkehroperation für die Zerlegung einer FOR-Schleife (sie ist nur während der aktuellen Sitzung per Rückgängig rücknehmbar). Für traversierende FOR-Schleifen (auch FOR-IN-Schleifen genannt) steht derzeit keine Umwandlung zur Verfügung.

Die Umwandlung einer CASE-Struktur zerlegt sie in eine äquivalente Menge verschachtelter IF-Anweisungen. Ist der Diskriminator kein Variablenname, sondern ein zu berechnender Ausdruck, wird vor der äußeren ersetzenden IF-Anweisung eine Anweisung eingefügt, die seinen Wert einer generisch benannten Variable zuweist. So wird eine wiederholte Berechnung des Diskriminatorwerts vermieden, was nicht nur die Leistung, sondern auch die Konsistenz sichert. Eine solche Zerlegung kann sinnvoll sein, wenn Vergleiche mit nicht-konstanten Werten (die eine CASE-Struktur erfordert) oder gegen Intervalle benötigt werden.

War das zerlegte CASE-Element eingefärbt, erben alle ersetzenden Elemente dieselbe Farbe.

Auch hier gibt es keine Umkehroperation: Verschachtelte oder verkettete IF-Elemente können nicht automatisch zu einem CASE-Element zusammengesetzt werden.

Eine IF-Anweisung (Alternative) mit einer unglücklich formulierten Bedingung (z. B. so, dass der TRUE-Zweig leer bliebe — was nicht erlaubt ist) kann leicht gespiegelt werden, vorausgesetzt, der ELSE-Zweig war nicht leer (ein leerer TRUE-Zweig würde ein unzulässiges IF-Element ergeben):

In der aktuellen Version von Structorizer ist die Negation der Bedingung nicht besonders intelligent (wie im Beispiel zu sehen, wäre n≥2 ein eleganteres Ergebnis gewesen), aber zumindest führt ein wiederholtes Spiegeln nicht dazu, dass der Ausdruck mit immer mehr verschachtelten not-Operatoren aufgebläht wird. (Eine spätere Version könnte die logische Invertierung verbessern.)

Umgang mit Kommentaren beim Zusammenführen, Aufteilen und Zerlegen

Beim Zusammenführen von Anweisungen versucht der Umwandlungsmechanismus, die Kommentare der kombinierten Elemente so zu verketten, dass der resultierende mehrzeilige Kommentar beim Aufteilen wieder korrekt den ursprünglichen Instruction-Elementen zugeordnet werden kann. Dieses Bemühen kann jedoch in folgenden Fällen scheitern:

• Das resultierende mehrzeilige Element wird manuell bearbeitet;
• Das resultierende mehrzeilige Element wird mit weiteren Anweisungen zusammengeführt.

Ist eine eindeutige Neuverteilung der Kommentarzeilen beim Aufteilen nicht möglich, erhält das erste der getrennten Elemente den gesamten Kommentar, während die folgenden Elemente mit einem leeren Kommentar enden.

Der Kommentar einer zerlegten FOR-Schleife wird auf die ersetzende WHILE-Schleife übertragen. Die beiden erzeugten Hilfs-Instruction-Elemente erhalten keine Kommentare.

Der Kommentar eines zerlegten CASE-Elements wird vom ersten der ersetzenden Elemente geerbt, d. h. entweder von der Diskriminator-Zuweisung (sofern eingefügt) oder von der äußersten IF-Anweisung.