IN: Regel, 2 Affixparameter OUT: - SEM: Fügt ein Tripel in das Feld ChangeBuf ein - Speicherung einer in TDP eingefügten Abhängigkeit.
IN: Regel; zwei Affixparameter OUT: - SEM: fügt die Kante (AO1,AO2) in den TDP ein und bildet den transitiven Abschluss TDP+; die eingefügte Abhängigkeit lautet: AO2 hängt ab von AO1, AO1->AO2 im Sinne des Datenflusses; markiert alle neu eingefügten Kanten, indem sie auf einen Stack gelegt werden SEF: NUV: AList ist global MarkedEdges falls Phase = computeDPandIDP ChangeBuf, CyclicTDP falls Phase = dynTopSort
SEM: Treiber
IN: Regel OUT: - SEM: Berechnet in AffixApplCnt die Anzahl der Applikationen eines Affixes, außerdem wird für jeden Vergleich eine Abhängigkeit in den DP aufgenommen PRE: DefAffOcc[] muss berechnet sein
SEM: Initialisierung des Abhängigkeitsgraphen für jeden Affixparamter aller Regeln aus der Spezifikationsdatenstruktur SEF: auf alle globalen DSen
IN: Regel OUT: - SEM: berechnet für alle Affixvariablen einer Regel den Affixparameter des zugehörigen definierenden Affixes und speichert diesen in DefAffOcc[] SEF: Zugriffe auf VarBuf[]
SEM: bildet in TDP alle induzierten Abhängigkeiten solange MarkedEdges nicht leer ist und die Ausgabeinvariante TDP = ind(TDP) gilt, damit ist dann TDP = IDP+ SEF: -
SEM: bildet in TDP alle induzierten Abhängigkeiten solange MarkedEdges nicht leer ist und die Ausgabeinvariante TDP = ind(TDP) gilt. SEF: MarkedEdges, TDP
SEM: dynamisches topologisches Sortieren aller Symbole der Grammatik
IN: Symbol OUT: - SEM: dynamisches topologisches Sortieren der Affxipositionsabhängigkeiten unter Heranführung an eine erfolgreiche bzw. unmittelbar erfolgreiche Orientierung SEF: DS[][]
IN: Regel, zwei Affixparameter OUT: boolscher Wert SEM: Test, ob eine Abhängigkeit zwischen den beiden Affixparametern besteht
IN: Affixpositionsnummern a und b, Symbol OUT: Liste von Paaren von Affixpositionsnummern des Symbols X SEM: findet für zwei Affixpositionen eines Symbols eine Orientierung, fügt diese in alle Regelabhängigkeitsgraphen ein und liefert die Liste aller bei der transitiven Vervollständigung neu entstandenen Abhängigkeiten zurück SEF: auf ChangeBuf[]
IN: Index in ChangeBuf OUT: - SEM: Rücksetzen,der in ChangeBuf gespeicherten Abhängigkeiten in den TDP's
IN: Affixparameter, Affixform, Affixparameter definierend oder applizierend ? OUT: - SEM: ordnet im Feld VarBuf[] jeder Variablen, die im Baum der Affixform gefunden wird, den zugehörigen Affixparameter, sowie das Variablensymbol zu SEF: VarBuf[], NextVarBuf