Record-Wertebereiche

Zum Erzeugen von neuen Record-Wertebereichen muß zuerst eine Sequenz von Bezeichner-Wertebereich-Paaren mit der Klasse  G_domainSequence erzeugt werden.

static G_domain G_domain::newRecord (const G_domainSequence &domSeq)   

Erzeugt einen Record-Wertebereich, der über den Komponenten aus domSeq definiert ist.

Rückgabewert:

Wenn es schon einen Record-Wertebereich gibt, der über dieselbe Menge von Bezeichner-Wertebereich-Paaren definiert ist, dann wird ein Verweis auf diesen zurückgegeben.

Fehlerfälle:

Es wird G_DomainBottom zurückgegeben und eine der folgenden Meldungen ausgegeben.

dom210

In domSeq sind keine Wertebereiche eingetragen.

dom211

In domSeq fehlt ein Selektorbezeichner.

Aufwand:

$O(\vert\texttt{domSeq}\vert^2)$

bool G_domain::isRecord () const  

Testet, ob es ein Record-Wertebereich ist.

Rückgabewert:

true, wenn die Instanz ein Record aus beliebigen Komponenten ist.

Fehlerfälle:

Es wird false zurückgegeben und folgende Meldung ausgegeben.

dom001

Die Instanz enthält keinen Wertebereich.

Aufwand:

O(1)

unsigned G_domain::getArity () const  

Liefert die Stelligkeit eines Records.

Fehlerfälle:

Es wird folgende Meldung ausgegeben.

dom202

Die Instanz enthält keinen Record-Wertebereich.

Aufwand:

O(1)

G_domain G_domain::getNthDomain (unsigned idx) const  

Liefert den idx'ten Wertebereich.

Parameter:

unsigned idx

Es wird ab 1 gezählt.

Fehlerfälle:

Es wird G_DomainBottom zurückgegeben und eine der folgenden Meldungen ausgegeben.

dom202

Die Instanz enthält keinen Record-Wertebereich.

dom204

Der Index idx liegt außerhalb des gültigen Bereiches.

Aufwand:

O(1)

G_id G_domain::getNthSelector (unsigned idx) const  

Liefert den Bezeichner der idx'ten Komponente.

Parameter:

unsigned idx

Es wird ab 1 gezählt.

Fehlerfälle:

Es wird G_IdBottom zurückgegeben und eine der folgenden Meldungen ausgegeben.

dom202

Die Instanz enthält keinen Record-Wertebereich.

dom204

Der Index idx liegt außerhalb des gültigen Bereiches.

Aufwand:

O(1)