...
'; } $tr->outertext = '
'.$suits[0].'
'.$suits[1].'
'.$suits[2].'
'.$suits[3];
return $str;
}
function format_ability($ability_num) {
$ability = $this->ability[$ability_num];
$ab = array($ability[0], $ability[2], $ability[3], $ability[4], $ability[5], $ability[6]);
foreach($ab as $k=>$v) {
switch($v) {
case 'A': $ab[$k] = '10'; break;
case 'B': $ab[$k] = '11'; break;
case 'C': $ab[$k] = '12'; break;
case 'D': $ab[$k] = '13'; break;
}
}
return "
$4 $5, $6', $minimax);
return $minimax;
}
}
class BoardDB {
private $__timestampFile = '.tdd-timestamps.cache';
private $__dbFile = '.tdd-records.cache';
private $__database = array();
public function __construct($timestampFile = '.tdd-timestamps.cache', $dbFile = '.tdd-records.cache') {
$this->__timestampFile = $timestampFile;
$this->__dbFile = $dbFile;
$this->__database = unserialize(file_get_contents($this->__dbFile));
$this->refreshBoardDatabase();
}
public function getDB() {
return $this->__database;
}
private function __getRecordFiles($directory = '.') {
return glob($directory . DIRECTORY_SEPARATOR . '*.pbn');
}
private function __getFilesTimestamps($files = array()) {
return array_combine(
$files,
array_map('filemtime', $files)
);
}
private function __compileRecordDatabase($files, $dbFile) {
$this->__database = array();
foreach ($files as $filename) {
$filename = basename($filename);
$fileParts = array();
if (preg_match('/^(.*)-r(\d+)-t(\d+)-b(\d+)\.pbn$/', $filename, $fileParts)) {
$prefix = $fileParts[1];
if (!isset($this->__database[$prefix])) {
$this->__database[$prefix] = array();
}
$round = (int)($fileParts[2]);
if (!isset($this->__database[$prefix][$round])) {
$this->__database[$prefix][$round] = array();
}
$table = (int)($fileParts[3]);
$firstBoard = (int)($fileParts[4]);
$chunks = preg_split('/(\[Board "(\d+)"\])/', file_get_contents($filename), -1, PREG_SPLIT_DELIM_CAPTURE);
$boardHeader = '';
$boardNumber = 1;
$firstBoardNumber = -1;
foreach ($chunks as $chunk) {
$chunk = trim($chunk);
if (strpos($chunk, '% PBN') > -1) {
continue;
}
if (strpos($chunk, '[Board ') === 0) {
$boardHeader = $chunk;
continue;
}
if (strpos($chunk, '[') === 0) {
try {
$deal = new Deal($boardHeader . $chunk, $boardNumber);
$boardNumberJFR = $boardNumber + $firstBoard - $firstBoardNumber;
if (!isset($this->__database[$prefix][$round][$boardNumberJFR])) {
$this->__database[$prefix][$round][$boardNumberJFR] = array();
}
$this->__database[$prefix][$round][$boardNumberJFR][$table] = $deal;
} catch (NoSuchDealNumber $e) {
// ignore if the deal does not exist in the file
}
} else {
$boardNumber = (int)($chunk);
if ($firstBoardNumber < 0) {
$firstBoardNumber = $boardNumber;
}
}
}
}
}
file_put_contents($this->__dbFile, serialize($this->__database));
}
public function refreshBoardDatabase() {
$recordFiles = $this->__getRecordFiles();
$savedTimestamps = file_exists($this->__timestampFile) ? json_decode(file_get_contents($this->__timestampFile), TRUE) : array();
$timestamps = $this->__getFilesTimestamps($recordFiles);
if (array_diff_assoc($savedTimestamps, $timestamps) || array_diff_assoc($timestamps, $savedTimestamps)) {
$this->__compileRecordDatabase($recordFiles, $this->__dbFile);
file_put_contents($this->__timestampFile, json_encode($timestamps));
}
}
}