Syntax: bool isValid() const
Diese Methode prüft, ob die Unterfunktion korrekt ist.
Damit eine Unterfunktion korrekt ist, müssen alle direkt oder indirekt enthaltenden Unterfunktionen und Bedingungen (cCondition siehe Abschnitt 55 auf Seite ) korrekt sein. Weiterhin müssen alle konstanten Unterfunktionen cFunctionValue
Werte im zugehörigem Definitionsbereich für Unterfunktionen "underfunction" enthalten. Außerdem müssen alle Unterfunktionen für Variablen cFunctionVariable
ein gültige Variable enthalten, welche in einem Fib-Element über dem Fib-Element des Funktionsobjekts definiert ist.
Eine korrekte Unterfunktion darf sich nicht selbst enthalten und keine direkt oder indirekt enthaltende Unterfunktion mehr als einmal enthalten. Das heißt, die direkt oder indirekt enthaltenden Unterfunktionen haben die Struktur eines (zyklenfreien) Baums.
Eingabeparameter: keine
Rückgabe: Wenn die Unterfunktion korrekt ist, wird true
(=wahr) zurückgegeben, sonst false
(=falsch).