MuPAD Report: Ein denotationales Modell für ... - webexams.ch
MuPAD Report: Ein denotationales Modell für ... - webexams.ch
MuPAD Report: Ein denotationales Modell für ... - webexams.ch
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
118<br />
Unlock<br />
KAPITEL 13.<br />
NACHRICHTEN<br />
<strong>Ein</strong> gesetztes Lock wird mit Hilfe einer Na<strong>ch</strong>ri<strong>ch</strong>t dieses Typs wieder zurückgesetzt.<br />
13.4 Label Label<br />
Versendet ein Objekt eine Na<strong>ch</strong>ri<strong>ch</strong>t, die keine Antwortna<strong>ch</strong>ri<strong>ch</strong>t ist, so bekommt diese<br />
Na<strong>ch</strong>ri<strong>ch</strong>t ein Label Label E IN zugeordnet, das no<strong>ch</strong> keine andere Na<strong>ch</strong>ri<strong>ch</strong>t dieses Objekts<br />
(die keine Antwortna<strong>ch</strong>ri<strong>ch</strong>t war) bekommen hat.<br />
Vers<strong>ch</strong>ickt ein Objekt eine Antwortna<strong>ch</strong>ri<strong>ch</strong>t, dann ges<strong>ch</strong>ieht dies als Reaktion auf eine<br />
Na<strong>ch</strong>ri<strong>ch</strong>t. Die Antwortna<strong>ch</strong>ri<strong>ch</strong>t auf diese Na<strong>ch</strong>ri<strong>ch</strong>t bekommt das glei<strong>ch</strong>e Label. Auf<br />
diese Weise kann der Empfänger der Antwortna<strong>ch</strong>ri<strong>ch</strong>t folgern, auf wel<strong>ch</strong>e seiner mögli<strong>ch</strong>erweise<br />
mehreren Na<strong>ch</strong>ri<strong>ch</strong>ten geantwortet wurde.<br />
13.5 Interner Typ IType und Domain Dom<br />
Jedes Objekt besitzt Informationen darüber, wel<strong>ch</strong>e Art von Datum es repräsentiert. Diese<br />
Informationen müssen übertragen werden können (z.B. in Na<strong>ch</strong>ri<strong>ch</strong>ten des Typs Init und<br />
N ew). Deshalb enthält jede Na<strong>ch</strong>ri<strong>ch</strong>t <strong>Ein</strong>träge des Typs IType und Dom.<br />
13.6 Referenzen Re!<br />
Häufig müssen Na<strong>ch</strong>ri<strong>ch</strong>ten Referenzen auf Objekte enthalten. Deshalb gibt es einen<br />
<strong>Ein</strong>trag ReJ, der eine beliebige aber endli<strong>ch</strong>e Anzahl von Referenzen aufObjekte enthalten<br />
kann.<br />
13.7 Inhalt Cont<br />
Jedes Objekt kann einen Inhalt besitzen, der den Zustand des Objekts genauer bes<strong>ch</strong>reibt.<br />
Dieser Inhalt muß man<strong>ch</strong>mal übertragen werden, und so enthält jede Na<strong>ch</strong>ri<strong>ch</strong>t einen<br />
<strong>Ein</strong>trag Cant E IR. U StackSet U Char*.<br />
13.8 Umgebung Env<br />
Die Reaktion eines Objekts auf eine Na<strong>ch</strong>ri<strong>ch</strong>t hängt in der Regel ni<strong>ch</strong>t nur vom Typ und<br />
dem Inhalt einer Na<strong>ch</strong>ri<strong>ch</strong>t ab, sondern findet au<strong>ch</strong> no<strong>ch</strong> in einer bestimmten Umgebung<br />
statt, die dur<strong>ch</strong> den <strong>Ein</strong>trag Env bes<strong>ch</strong>rieben wird. Als <strong>Ein</strong>träge hat die Umgebung<br />
mindestens: