|
class gui_Graphics
operations
public init : () ==> ()
init() == is not yet specified;
public busInRouteTo : nat * seq of char * seq of char * nat ==> ()
busInRouteTo(busid, roadid, waypoint, time) == is not yet specified;
public move : () ==> ()
move() == is not yet specified;
public sleep : () ==> ()
sleep() == is not yet specified;
public passengerAtCentral : nat * seq of char ==> ()
passengerAtCentral(id, waypoint) == is not yet specified;
public passengerAnnoyed : nat==> ()
passengerAnnoyed(id) == is not yet specified;
public passengerGotOnBus : nat ==> ()
passengerGotOnBus(id) == is not yet specified;
public inflowChanged : nat ==> ()
inflowChanged(id) == is not yet specified;
public busAdded : nat ==> ()
busAdded(id) == is not yet specified;
public busStopping : nat ==> ()
busStopping(id) == is not yet specified;
public busPassengerCountChanged : nat * nat ==> ()
busPassengerCountChanged(busid, count) == is not yet specified;
end gui_Graphics
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
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.
|
