6 Checks
Team:
Nur syntaktisch korrekte Systeme können simuliert und als Basis für die
Codegenerierung verwendet werden. Deshalb soll die syntaktische
Korrektheit überprüft werden.
Die Aufgabe beinhaltet die Definition der syntaktischen Korrektheit, d.h.
der Begriff der Korrektheit (was soll alles gecheckt werden) soll
formuliert und als Modul implementiert werden.
Schnittstelle
Mit der Gui. Die Gui stellt darüber hinaus sicher, daß die Pakete der
Graphplatzierung, Simulation, Model-Checking und Codegenerierung nur gecheckte
Syntax bekommen. Nicht gecheckt wird ``graphische'' Notation (ob Steps
übereinanderliegen etc.), dafür ist der Editor aus Abschnitt 3)
da.
Die Schnittstelle sei (zumindest) eine Methode start_check mit
Parameter einer Objekte der abstrakten Syntax.
Was genau gecheckt wird, bleibt zu diskutieren!
©Public License