|
class UseATC
values
id : token = mk_token(1);
fo : FO = new FO(id,mk_GLOBAL`Coordinates(1,-1),50);
c1: GLOBAL`Coordinates = mk_GLOBAL`Coordinates(2,-2);
c2: GLOBAL`Coordinates = mk_GLOBAL`Coordinates(3,-3);
instance variables
atc: AirTrafficController := new AirTrafficController()
traces
TestATC: let r = new Radar(-8,-9,42)
in
let c in set {c1,c2}
in
((atc.updateHistory() |
atc.cleanUpHistory() |
atc.addRadar(r) |
atc.findThreats() |
fo.setCoordinates(c)){2,4};
atc.getDirectionVectors(id))
end UseATC
¤ Dauer der Verarbeitung: 0.0 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.
|
