hphp/test/quick/test_remat.php

   1 <?hh
   2
   3 class KM {
   4   private $kSA;
   5   private $specs;
   6
   7   function getKS() {
   8     return $this->kSA;
   9   }
  10   function __construct() {
  11     $this->specs = array(
  12       "r:3600" =>
  13         array('oblt' => 0,
  14           'ms' => 10000000,
  15           'ttdm' => 100)
  16       );
  17   }
  18
  19   private static function decay($a, $b, $c, $d) { return 0; }
  20
  21   private function getXXX() {
  22     return array(1, 0, 0);
  23   }
  24   public function getInfo() {
  25     $time = time();
  26     $this->kSA = array();
  27     foreach ($this->specs as $key => $spec) {
  28       $fetched = $this->getXXX();
  29       list($sc, $l_o, $l_b_t) =
  30         array(
  31           $fetched[0],
  32           $fetched[1],
  33           $fetched[2]
  34         );
  35
  36       if ($time - $l_b_t > $spec['oblt']) {
  37         if ($sc > $spec['ms']) {
  38           $sc = 0.5 * $spec['ms'];
  39         } else {
  40           $sc = self::decay(
  41             $spec['ms'],
  42             $spec['ttdm'],
  43             $sc,
  44             $l_o
  45           );
  46         }
  47         $this->dKV[$key] = array(
  48           'sc' => (double)$sc,
  49           'l_o' => (int)$l_o,
  50           'l_b_t' => (int)$l_b_t
  51           );
  52       }
  53
  54       $this->kSA[$key] = (double)$sc;
  55       if ($this) {
  56         var_dump((double)$sc, $this->kSA[$key]);
  57       }
  58     }
  59   }
  60 }
  61
  62 function main() {
  63   $kc = new KM();
  64   $kc->getInfo();
  65   var_dump($kc->getKS());
  66 }
  67 main();