Die Funktion Projekt überprüfen erlaubt es, grosse Projekte auf einen Blick auf formale Korrektheit zu überprüfen. Hierzu werden eine Reihe von projektweiten und positionsspezifischen Eigenschaften geprüft und dem Anwender dargestellt:
Projektprüfung
Für das Projekt werden folgende Eigenschaften geprüft:
- Alle globalen Variablen sind erfasst - Variable, die noch keinen Wert haben, gelten als nicht erfasst.
- Alle globalen Variablen sind korrekt - bei Variablen gibt es eine Kons
- Das Projekt ist terminiert