Manuel Scholz
Version vom: $Date: 2001/02/09 16:01:08 $

Die Datentypen

Projektdokumentation | Systemdokumentation | Systemspezifikation | Datentypen


Zurück Hauptseite

Einfache Datentypen



type Anzahl = Int -- Bereich >= 0

type Straße = String

type Ort = String

type Preis = Int -- Preisangabe in Eurocent, Bereich >= 0

type Vorname = String

type Name = String

type PLZ = String

type Jahr = Int -- Bereich [0..9999]

type Zahlungsartbezeicnung = String

Zusammengesetzte Datentypen



data Monat = Jan | Feb | Mar | Apr | Mai | Jun | Jul | Aug | Sep | Okt | Nov | Dez

data Wochentag = Mo | Di | Mi | Do | Fr | Sa | So

data Tag = Int -- Bereich [1..31]

data Stunde = Int -- Bereich [0..23]

data Minute = Int -- Bereich [0..59]

data Sekunde = Int -- Bereich [0..59]

data Adresse = Adresse Straße Hausnummer PLZ Ort

data Datum = Date Jahr Monat Tag Stunde Minute Sekunde

data Periode = Periode Tag Stunde Minute Sekunde | Tägliche-Periode Tag | Wöchentliche-Periode Wochentag

data Erwerbsart Typ = Ausdrucken | Zuschicken | Reservieren

data Zl Parameter =
Kreditkarte firma: String; besitzer (Name, Vorname); ablaufdatum Datum
Lastschrift kontonr: String; kontoinhaber:(Name, Vorname)

Zurück Top Hauptseite