Current File : //home/tradevaly/www/phpmy/vendor/phpmyadmin/motranslator/src/StringReader.php |
<?php
declare(strict_types=1);
/*
Copyright (c) 2003, 2005, 2006, 2009 Danilo Segan <danilo@kvota.net>.
Copyright (c) 2016 Michal Čihař <michal@cihar.com>
This file is part of MoTranslator.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License along
with this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/
namespace PhpMyAdmin\MoTranslator;
use function file_get_contents;
use function strlen;
use function substr;
use function unpack;
use const PHP_INT_MAX;
/**
* Simple wrapper around string buffer for
* random access and values parsing.
*/
class StringReader
{
/** @var string */
private $string;
/** @var int */
private $length;
/**
* @param string $filename Name of file to load
*/
public function __construct(string $filename)
{
$this->string = (string) file_get_contents($filename);
$this->length = strlen($this->string);
}
/**
* Read number of bytes from given offset.
*
* @param int $pos Offset
* @param int $bytes Number of bytes to read
*/
public function read(int $pos, int $bytes): string
{
if ($pos + $bytes > $this->length) {
throw new ReaderException('Not enough bytes!');
}
$data = substr($this->string, $pos, $bytes);
return $data === false ? '' : $data;
}
/**
* Reads a 32bit integer from the stream.
*
* @param string $unpack Unpack string
* @param int $pos Position
*
* @return int Integer from the stream
*/
public function readint(string $unpack, int $pos): int
{
$data = unpack($unpack, $this->read($pos, 4));
if ($data === false) {
return PHP_INT_MAX;
}
$result = $data[1];
/* We're reading unsigned int, but PHP will happily
* give us negative number on 32-bit platforms.
*
* See also documentation:
* https://secure.php.net/manual/en/function.unpack.php#refsect1-function.unpack-notes
*/
return $result < 0 ? PHP_INT_MAX : $result;
}
/**
* Reads an array of integers from the stream.
*
* @param string $unpack Unpack string
* @param int $pos Position
* @param int $count How many elements should be read
*
* @return int[] Array of Integers
*/
public function readintarray(string $unpack, int $pos, int $count): array
{
$data = unpack($unpack . $count, $this->read($pos, 4 * $count));
if ($data === false) {
return [];
}
return $data;
}
}