Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: World.vdmpp Sprache: VDM

Original von: VDM^©

class World is subclass of GLOBAL

values
simTime : nat = 100;
actionsLimit : nat = 4;
startCash : nat = 100;
public static simulate : bool = false;

instance variables

public static timerRef : Timer := new Timer();

public static stockMarket : StockMarket := new StockMarket();
asb : AutomatedStockBroker := new AutomatedStockBroker(startCash);

operations

public isFinished : () ==> bool
isFinished() ==
    return (not len asb.GetActionLog() < actionsLimit) or
           (not timerRef.GetTime() <= simTime);

public Run : () ==> ()
Run() ==
(
  stockMarket.AddStock(new Stock(mk_token("test"),10));
  stockMarket.AddStock(new Stock(mk_token("test12"),10));
  stockMarket.AddStock(new Stock(mk_token("test2"),10));

  (dcl r1 : StockRecord := mk_StockRecord(mk_token("test"),
     { <PotentialBuy> |-> mk_ActionTrigger([<LeavesNoActionRegion>,<LowerLimit>],<Buy>),
       <Bought> |-> mk_ActionTrigger([<LeavesNoActionRegion>,<UpperLimit>],<Sell>)},
        mk_Region(12,8),10,<Bought>),
    r2 : StockRecord := mk_StockRecord(mk_token("test12"),
     { <PotentialBuy> |-> mk_ActionTrigger([<LeavesNoActionRegion>,<LowerLimit>],<Buy>),
       <Bought> |-> mk_ActionTrigger([<LeavesNoActionRegion>,<UpperLimit>],<Sell>)},
        mk_Region(12,8),10,<Bought>),

   r3 : StockRecord := mk_StockRecord(mk_token("test2"),
     { <PotentialBuy> |-> mk_ActionTrigger([<LeavesNoActionRegion>,<LowerLimit>],<Buy>),
       <Bought> |-> mk_ActionTrigger([<LeavesNoActionRegion>,<UpperLimit>],<Sell>)},
        mk_Region(12,8),0,<PotentialBuy>);

   asb.AddStock(r1,1);
   asb.AddStock(r2,2);
   asb.AddStock(r3,3);

   while not isFinished()
   do
   (
    IO`print("step : ");
    IO`print(timerRef.GetTime());
    IO`print("\n");

    stockMarket.UpdateStocks();

    asb.Step(timerRef.GetTime());
       timerRef.StepTime();
   );
  )
);
functions
public FindSmallestSeqLen: map String to seq of Event -> nat
FindSmallestSeqLen(m) ==
let x,y in set {len m(x) | x in set dom m} be st x <> y => x <= y in x;

end World

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.