INVALID
INVALID bezeichnet den Zustand einer Variablen, der noch kein Wert zugewiesen wurde.
INVALID kann mit if abgefragt werden und entspricht dabei
FALSE.
Mit ClearVariables kann man explizit alle Variablen des
aktuellen Moduls wieder in den Initialzustand INVALID versetzen. Da beim Abbruch einer
Transaktion alle innerhalb der Transaktion veränderten Variablen auf ihren vorherigen Wert