10.9 Lokale Variablen

Lokale Variablen können dazu verwendet werden, innerhalb einer Regel beliebige Werte zu speichern. Sie sind nur in der Regel bekannt, in der sie definiert wurden. Darin unterscheiden sie sich von globalen Variablen, die im gesamten Dialog oder Modul bekannt sind (siehe Kapitel „Globale Variablen (variables)“).

Innerhalb der Regel, in der sie definiert werden, überdecken lokale Variablen eventuell vorhandene globale Variablen mit demselben Identifikator.

Lokale Variablen können als normale Variablen oder als statische Variablen deklariert werden:

• Normale Variablen verlieren ihren Wert nach Beendigung der Regel. Sie werden bei jeder Regelausführung neu initialisiert.
• Statische Variablen behalten ihren Wert auch nach Beendigung der Regel. Sie werden nur bei der erstmaligen Regelausführung initialisiert.

10.9.1 Normale lokale Variablen

Syntax

variable <Datentyp> <Variablenname> { := <Ausdruck> }
                [ , <Variablenname> { := <Ausdruck> } ] ;

In einer Anweisung können mehrere Variablen mit demselben Datentyp deklariert werden. Dabei sind die Identifikatoren der Variablen durch , (Komma) zu trennen.

Lokale Variablen können direkt bei der Definition mit einem Wert oder einem Ausdruck initialisiert werden. Wird ein Ausdruck zur Initialisierung verwendet, ist folgendes zu beachten:

• Die Auswertung des Ausdrucks muss einen Wert mit dem Datentyp der Variablen ergeben.
• Im Ausdruck verwendete Variablen müssen vorher deklariert werden, d.h. schon bekannt sein.

Beispiel

rule integer R1(integer X)
{
  variable integer Z := X * 3;

  if (X > 100) then
    Z := Z / 2;
  endif

  return Z;
}

Auch eine Definition ohne direkte Initialisierung ist möglich. Hier muss aber vor dem ersten lesenden Zugriff auf die Variable ein Wert zugewiesen worden sein.

Beispiel

rule void R2 ()
{
  variable integer MyNumber;

  MyNumber := 5;

  print MyNumber;
}

Lokale Variablen können, sobald sie einen Wert enthalten, Attributen von Objekten zugewiesen werden. Es ist nur darauf zu achten, dass die Datentypen der lokalen Variablen und des Attributs dies zulassen (identische Datentypen oder Objekt-Attribut vom Typ anyvalue).

Beispiel

rule void R3 ()
{
  variable string MyWord;

  MyWord := "Hello world";
  Edittext.content := MyWord;
}

Eine Variable des Typs object kann wie ein Objekt verwendet werden, d.h. jedes Attribut des Objektes, welches in der Variablen gespeichert ist, kann verändert werden.

Beispiel

rule void R4 ()
{
  variable object MyObject;

  MyObject := MyWindow;
  MyObject.title := "New Title";
  MyObject.visible := true;
}

10.9.2 Statische Variablen (static variable)

static variable <Datentyp> <Variablenname> { := <Wert> | <Variable> }
                       [ , <Variablenname> { := <Wert> | <Variable> } ] ;

Beispiele

variable integer G:=10;
rule Beispiel (object O input)
{
  variable boolean B;
  static variable integer X:=1, Y:=G, Z:=Y;
  static variable object  Q:=O;
  static variable boolean J:=B;
  variable integer I:=X;
}

rule Beispiel2
{
  static variable anyvalue A;
  if A = 1 then
    print "Irgendwas";
  else
    A := 1;
    print "Weitere Initalisierungen";
  endif
}