| products/sources/formale sprachen/VDM/VDMPP/AutomatedStockBrokerPP/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: jib-profiles.js Sprache: VDMUntersuchung VDM© |
|
||||||
|
class StockMarket is subclass of GLOBAL
instance variables stocks : map StockIdentifier to Stock := {|->}; operations public UpdateStocks:() ==> () UpdateStocks() == for all stock in set rng stocks do stock.UpdateStock(); public AddStock:(Stock )==> () AddStock(stock) == stocks := {stock.GetName() |-> stock} munion stocks pre stock.GetName() not in set dom stocks post stock.GetName() in set dom stocks; public RemoveStock:(Stock )==> () RemoveStock(stock) == stocks := {stock.GetName()} <-: stocks pre stock.GetName() in set dom stocks post stock.GetName() not in set dom stocks; pure public GetStock:(StockIdentifier)==> Stock GetStock(name) == return stocks(name) pre name in set dom stocks; pure public GetStockNames: () ==> set of StockIdentifier GetStockNames() == return dom stocks; end StockMarket ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.18Angebot 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 |
