Hardware Reference
In-Depth Information
• Attribute für elementare Datentypen (vgl. Abschnitt 3.2.4)
Attribut
Typ
von T
Ergebnis-
typ
Ergebnis
T'left, T'right,
T'low, T'high
beliebig
wie T
linke, rechte, untere bzw. obere
Grenze des Wertebereichs
T'ascending
beliebig
boolean true für aufsteigende, false für
absteigende Wertebereiche
T'image(x)
beliebig
string
Textdarstellung des Wertes von x
T'value(s)
diskret
Basistyp
von T
Wert der Zeichenkette in der Dar-
stellung von T
T'pos(x)
diskret
universal
integer
(1)
Position von Wert x
T'val(i)
diskret
Werte von Position i
T'pred(x), T'succ(x),
T'leftof(x),
T'rightof(x)
diskret
Basistyp
von T
Vorgänger, Nachfolger, linker bzw.
rechter Wert von x
x - Datenobjekt vom Typ T; s - Datenobjekt vom Typ string; i - ganzzahliger
Typ;
(1)
Spezialtyp, der ohne Konvertierung mit jedem ganzzahligen Typ verknüpft
und jedem ganzzahligen Typ zugewiesen werden kann; beliebig - auf alle elementa-
ren Typen anwendbar; diskret - nur auf ganzzahlige Typen, Aufzählungstypen und
physikalische Typen anwendbar.
• Feldattribute (vgl. Abschnitt 3.2.5)
Attribut
Ergebnis
F'left[(n)], F'right[(n)],
F'high[(n)], F'low[(n)],
linker, rechter, größter bzw. kleinster
Indexwert
F'range[(n)],
F'reverse_range[(n)]
Indexbereich, umgekehrt geordneter
Indexbereich
F'length[(n)]
Anzahl der Elemente
F'ascending[(n)]
true für einen aufsteigenden und false für
einen absteigenden Indexbereich
F - Feldobjekt oder Feldtyp; n - Nummer des Indexbereichs.
