Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
message.pvs
Sprache: Unknown
|
%
% Purpose: abstract datatype representing a message.
%
%
message[ T: TYPE+ ]: DATATYPE
BEGIN
garbled : garbled? % a message that never passes inline checks
valid(value: T) : valid?
END message
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
