\section{Envirioment}class Environmenttypes public outline = [TransportPlan] * [nat ] * nat ;public inline = [CyberRail`NavigationInput] * [nat ] * [nat ] * nat ;instance variables protected io : IO := new IO();protected outfileName : seq of char := "" ;protected outlines : seq of outline := [];protected inlines : seq of inline := [];protected busy : bool := true ;operations public stimulate : () ==> ()is subclass responsibility ;public isFinished : () ==> ()is subclass responsibility ;public respons : [TransportPlan] * [TransportPlan`Route] * nat ==> ()public showResults : () ==> ()def - = io.fwriteval[seq of outline](outfileName,outlines,<start >) in skip ;public Environment : seq of char ==> Environmentdef mk_ (-,input) = io.freadval[seq of inline](fname) in "Results for " ^ fname;sync mutex (respons);mutex (showResults);thread while true do end Environmentend {vdm_al}quality 91%
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
