Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC

Anfang oder an das Ende der Liste gesprungen. Wurde bei einer Verschiebung der Anfang oder das Ende der Liste uberschritten, so wird Actual auf NIL gesetzt. res liefert folgende Werte: bol: Der Anfang der Liste wurde uberschritten. eol: Das Ende der Liste wurde uberschritten. error: steps < 0 oder ein ungultiger Wert fur dir. OK: in allen anderen Fallen. ItemMsg: Diese Nachricht dient zum Einfugen (id = ItemInsert) und Loschen (id = ItemDelete) des Elements item. Hierbei gibt es vier bzw. drei Moglichkeiten, die uber mode gewahlt werden: 1. mode = BeginningMode: id = ItemInsert: item wird vor dem ersten Element der Liste eingefugt. id = ItemDelete: Das erste Element der Liste wird geloscht. 2. mode = EndMode: id = ItemInsert: item wird an das Ende der Liste angehangt. id = ItemDelete: Das letzte Element der Liste wird geloscht. 3. mode = ItemMode: id = ItemInsert: item wird vor dem Zeiger Actual der Liste eingefugt. id = ItemDelete: Das Element Actual wird aus der Liste geloscht. 4. mode = SortMode: Diesen Mode gibt es nur fur die id = ItemInsert. Hierbei wird item vor dem ersten Element der Liste, das \echt gro er\ als item ist, eingefugt. Die Eigenschaft \echt gro er\ bezieht sich hierbei auf das Ergebnis einer CompareMsg. Dieser Modus ist bei einer ObjList nicht sinnvoll, da die verschiedensten Elemente in einer solchen Liste abgelegt sein konnen. Er wird nur fur Typerweiterungen von ObjList sinnvoll sein, wie z.B. PointList (nachster Abschnitt). CompareMsg: Diese Nachricht dient dazu, zwei Elemente der Liste miteinander zu vergleichen. Dies ist nur sinnvoll, wenn die Elemente auch vergleichbar sind. Um dies zu gewahrleisten, erweitertet man ObjList und modi ziert das Einfugen, wie z.B. bei PointList. Das Ergebnis des Vergleichs ndet sich in res: CmpLess, CmpEqual und CmpGreater. In manchen Fallen kann es vorkommen, da es mehrere Vergleichsarten fur Elemente gibt. Die Vergleichsart wird dann durch key bestimmt. [...]

Nachrichten angesteuert. Die Initialisierung eines Iterators erfolgt uber die InitMsg : Durch diese Nachricht werden die grundlegenden Datenfelder receiver und delay gesetzt. Jede Erweiterung von Iterator mu auch eine zu ihr passende Erweiterung von InitMsg haben. Eine Iteration wird gestartet, indem ihr eine IteratorMsg mit id = IterStart gesendet wird. Hierbei wird der Iterationszahler auf null gesetzt und die Iterationsschleife begonnen. Die Iteration kann jederzeit durch den Druck der Taste \s\ unterbrochen werden. Ist eine Iteration unterbrochen, so konnen manche Felder mittels einer UpdateMsg aktualisiert werden: UpdateMsg : Im Falle eines Iterators kann nur die Recordvariable delay aktualisiert werden. Auch hier mu jede Erweiterung von Iterator eine zu ihr passende UpdateMsg haben. Die Iteration kann dann durch eine IteratorMsg mit id = IterCont fortgesetzt werden. [...]

Koordinatensystems oder des Zeichenstils werden uber Nachrichten gesteuert. Au erdem werden in diesem Modul auch die Mausereignisse, z.B. die Selektion eines FunctionViewer (s. a. Anhang A, S. 90) behandelt. So fuhrt z.B. ein Ziehen der Maus mit der mittleren Maustaste uber einem FunctionViewer zu einer Zoomwirkung, d.h. der FunctionViewer erhalt die durch das Ziehen angegebenen x- und y-Bereiche. Der FunctionViewer bietet die Moglichkeit zusatzlich zu der eigentlichen Funktion noch bis zu 15 ihrer Ableitungen gleichzeitig anzuzeigen. Hierbei werden jedoch nicht exakt die Ableitungen gezeichnet, sondern die Taylorkurven, was zu einer Stauchung des Kurvenverlaufs fuhrt. Das gleichzeitige Darstellen der Taylorkurven wird durch die Verwendung der automatischen Di erentiation ermoglicht (s. 3.1.2). [...]