public Colli: int * int ==> Colli
Colli(id, dest) ==
(
ID := id;
destination := dest;
);
public getDestination : () ==> int
getDestination() == return destination;
public getID : () ==> int
getID() == return ID;
public setID : int ==> ()
setID(id) == ID := id;
public setDestination : int ==> ()
setDestination(dest) == destination := dest;
end Colli
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.16Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
