PHP FileMappedInputStream::getString Examples

Example #1

File: FileMappedInputStream.php Project: knagakubo/twitter-matching

 public static function _getString($fileName)
 {
     $fmis = new FileMappedInputStream($fileName);
     $str = $fmis->getString($fmis->size() / 2);
     $fmis->close();
     return $str;
 }

Example #2

File: Searcher.php Project: logue/igo-php

 public function __construct($filePath)
 {
     $fmis = new FileMappedInputStream($filePath);
     $nodeSz = $fmis->getInt();
     $tindSz = $fmis->getInt();
     $tailSz = $fmis->getInt();
     $this->keySetSize = $tindSz;
     $this->begs = $fmis->getIntArrayInstance($tindSz);
     $this->base = $fmis->getIntArrayInstance($nodeSz);
     $this->lens = $fmis->getShortArrayInstance($tindSz);
     $this->chck = $fmis->getCharArrayInstance($nodeSz);
     $this->tail = array_values(unpack("S*", $fmis->getString($tailSz)));
     $fmis->close();
 }