| products/Sources/formale Sprachen/VDM/VDMPP/trayallocationPP/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: TEST.ROOT Sprache: VDMUntersuchung VDM© |
|
||||||
|
-- ==============================================================================
-- AllocatorTwoTray in tray allocation for a sortation system -- By José Antonio Esparza and Kim Bjerge - spring 2010 -- (strategy pattern) -- ============================================================================== class AllocatorTwoTray is subclass of AllocatorStrategy operations -- AllocatorTwoTray constructor public AllocatorTwoTray: TrayAllocator==> AllocatorTwoTray AllocatorTwoTray(ta) == ( trayAllocator := ta; ); -- Allocates trays if empty at induction offset and offset + 1 public AllocateTray: nat ==> set of Tray AllocateTray (icid) == let posTray = InductionOffset(trayAllocator.trayAtCardReader, icid), posTrayNext = if (posTray - 1) = 0 then TrayAllocator`NumOfTrays else posTray - 1 in if trayAllocator.sorterRing(posTray).IsTrayEmpty() and -- Tray at induction trayAllocator.sorterRing(posTrayNext).IsTrayEmpty() -- Tray at induction-1 then return {trayAllocator.sorterRing(posTray), trayAllocator.sorterRing(posTrayNex else return {} pre icid in set inds trayAllocator.inductionGroup; -- Returns true if higher priority inductions in induction group public InductionsWithHigherPriority: InductionController ==> bool InductionsWithHigherPriority(ic) == return exists i in set elems trayAllocator.inductionGroup(1,...,len trayAllocator.induc & i.GetId() <> ic.GetId() and i.GetPriority() > ic.GetPriority() -- Waiting with items of same size (two tray items) -- and i.GetSizeOfWaitingItem() = ic.GetSizeOfWaitingItem() -- Looking at induction infront this ic causes starvation of the first induction in group -- return exists i in set elems inductionGroup(ic.GetId()+1,...,len inductionGroup) & pre ic in set elems trayAllocator.inductionGroup; end AllocatorTwoTray ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.37Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
ZieleEntwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
