 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
Ø |
Grundsätzliches
|
|
|
· |
Der (Daten-)Typ
kennzeichnet die aktuelle Wertemenge
|
|
|
|
eines Objekts
(Konstante, Variable, Ausdruck, Funktion, ...)
|
|
|
· |
Typ-Zuweisung
durch Vereinbarung (= Deklaration)
|
|
|
Ø |
Eigenschaften
|
|
|
· |
Der Datentyp
bestimmt die Wertemenge,
|
|
|
|
* |
zu der eine
Konstante gehört.
|
|
|
|
* |
deren Werte
durch eine Variable oder einen Ausdruck
|
|
|
|
angenommen werden
können.
|
|
|
|
* |
deren Werte
durch einen Operator oder eine Funktion
|
|
|
|
berechnet werden
können.
|
|
|
|
· |
Der Datentyp ist
anhand seiner Notation oder Vereinbarung
|
|
|
erkennbar.
|
|
|
· |
Jeder Operator
bzw. jede Funktion
|
|
|
|
* |
erwartet Argumente eines bestimmten Typs
|
|
|
|
* |
liefert Resultate eines bestimmten Typs
|
|