EnumRefresh

EnumRefresh

EnumRefresh(windowID, childID), EnumRefresh(windowID), EnumRefresh(, childID), EnumRefresh

Parameter:  Bezeichner eines Windows und eines Child-Windowobjekts

Stack

Stack	Position	Beschreibung
Stack(In)	Top	-
Stack(Out)	Top	-

Die mit einem Enumeration-Windowobjekt verbundene Transformationstabelle muss nach Ausführung dieses Befehls neu gelesen bzw. neu generiert werden (im Falle einer Funktion).

EnumRefresh ist z.B. dann sinnvoll,

• wenn Enumeration-Windowobjekte mit einer Funktion verbunden sind und
• aufgrund der Änderung irgendwelcher Parameter diese Funktion zum aktuellen Zeitpunkt eine abweichende Tabelle generieren wird

Der Parameter der Anweisung EnumRefesh kann

• ein Enumeration-Windowobjekt bestimmen. Die oben beschriebene Operation wird für dieses Windowobjekt ausgeführt
• ein Windowobjekt mit Unterobjekten (Window, Group, Toolbar ...) bezeichnen: EnumRefresh wird implizit für alle Children aufgerufen
• sich auf ein Windowobjekt beziehen, das keine Enumeration ist und auch keine Childobjekte besitzt (Button, String ...): es wird keine Operation ausgeführt (aber es ist auch kein Fehler)