Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
world.vdmrt
Sprache: Unknown
|
class World
instance variables
public static
env : [Environment] := nil;
operations
public
World : () ==> World
World() ==
( env := new Environment("scenario.txt");
env.setAirSpace(MSAW`airspace);
MSAW`atc.addObstacle(MSAW`militaryZone);
MSAW`atc.addRadar(MSAW`radar1);
MSAW`atc.addRadar(MSAW`radar2);
);
public Run : () ==> ()
Run() ==
(
start(env);
start(MSAW`atc);
start(MSAW`radar1);
start(MSAW`radar2);
env.isFinished();
MSAW`atc.isFinished();
env.showResult()
)
end World
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
