Institut für Softwaretechnologie

Konfiguration von AdaGIDE

Um AdaGIDE für die Programmierübungen zu nutzen sollte eingestellt werden, dass bei jeder Übersetzung die Style-Prüfungen durchgeführt werden. Dazu wird eine aktuelle Version von AdaGIDE benötigt, diese kann von Sourceforge heruntergeladen werden.

Öffnen Sie in AdaGIDE das Dialogfenster für Global settings....

Tragen Sie dort die unter Compiler Options sowie unter Gnatmake die Parameter ein wie in der Grafik gezeigt:

Bitte beachten: diese Parameter werden nicht bei jeder Übersetzung verwendet. Als Workaround scheint es zu helfen, nach dem Öffnen einer Quelltext-Datei einmal das Dialogfenster zu Project settings in current directory... zu öffnen und darin sofort die OK Schaltfläche zu bedienen. Überprüfen Sie im Zweifelsfall ob ein bewusst eingebauter Style-Verstoß erkannt wird.

Vielen Dank an Thomas Proske für das Erstellen der Screenshots!