Nachricht:: Relation:: Meta-:: Schreiben ist eine Nachricht:: Relations-Datentyp Gültigkeitserklärung und Accessorgebäude.

Synopse

Nachricht:: Relation:: Meta-:: Type->add (
Schlüssel=> „Zustand“,
Namens=> „Zustand“,
Erbauer => Nachricht:: Relation:: Meta-:: AccessorBuilder,
rohes => Unterseeboot {Hinweis $_ [0]? shift->value: Schiebung},
store_raw => Unterseeboot {shift->store_value},
=> Unterseeboot überprüfen {
UNIVERSALITÄT:: isa ($_ [0], Nachricht:: Relation:: DataType:: Zustand)
oder throw_invalid ([Wert „[_1]“ ist nicht eine gültige Nachricht [_2],
$_ [0], Nachricht:: Relation:: DataType:: Zustand]);
throw_invalid ([kann permanenten Zustand nicht zuweisen])
wenn $_ [0] == Nachricht:: Relation:: DataType:: State->PERMANENT;
}
);

Diese Kategorienunterklassen Kategorie:: Meta-:: Schreiben, um zusätzliche Attribute zur Verfügung zu stellen. Diese Attribute können über den Aufruf zu neuem wahlweise eingestellt werden () und können über ihre Accessors geholt werden.