| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/trayallocationPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 872 B |
|
Quelle SC.vdmpp Sprache: VDM |
|||||||||
|
-- ==============================================================================
-- SorterController in tray allocation for a sortation system -- By José Antonio Esparza and Kim Bjerge - spring 2010 -- ============================================================================== class SC types values instance variables public allocator : TrayAllocator; operations -- SystemController constructor public SC: SorterEnviroment ==> SC SC(e) == ( allocator := new TrayAllocator(e); ); -- Notified each time sorter-ring has moved one tray step public TrayStep: Tray`UID * Tray`State ==> () TrayStep(uid, state) == ( IO`print("Card reader tray id " ^ String`NatToStr(uid) ^ "\n"); allocator.CardReader(uid, state); ); functions sync --thread traces end SC ¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28