mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-07-19 09:26:45 +00:00
Code Issues Projects Releases Wiki Activity

Fix PHPStan errors

Browse Source
This commit is contained in:
Dylan K. Taylor 2022-06-07 19:52:16 +01:00
parent 3a9e4bc357
commit 1f8009954c
No known key found for this signature in database
GPG Key ID: 8927471A91CAFD3D
1 changed files with 15 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
tools/generate-block-palette-spec.php
View File

@ -23,11 +23,14 @@ declare(strict_types=1);
namespace pocketmine\tools\generate_block_palette_spec;
use pocketmine\errorhandler\ErrorToExceptionHandler;
use pocketmine\nbt\NbtException;
use pocketmine\nbt\tag\ByteTag;
use pocketmine\nbt\tag\IntTag;
use pocketmine\nbt\tag\StringTag;
use pocketmine\network\mcpe\convert\BlockStateDictionary;
use pocketmine\utils\AssumptionFailedError;
use pocketmine\utils\Utils;
use function array_values;
use function count;
use function dirname;
@ -44,7 +47,15 @@ if(count($argv) !== 3){
fwrite(STDERR, "Required arguments: input palette file path, output JSON file path\n");
exit(1);
}
$palette = BlockStateDictionary::loadFromString(file_get_contents($argv[1]));
[, $inputFile, $outputFile] = $argv;
try{
$palette = BlockStateDictionary::loadFromString(ErrorToExceptionHandler::trapAndRemoveFalse(fn() => file_get_contents($inputFile)));
}catch(NbtException){
fwrite(STDERR, "Invalid block palette file $argv[1]\n");
exit(1);
}
$reportMap = [];
@ -66,12 +77,12 @@ foreach($palette->getStates() as $state){
}
}
foreach($reportMap as $blockName => $propertyList){
foreach($propertyList as $propertyName => $propertyValues){
foreach(Utils::stringifyKeys($reportMap) as $blockName => $propertyList){
foreach(Utils::stringifyKeys($propertyList) as $propertyName => $propertyValues){
ksort($reportMap[$blockName][$propertyName]);
$reportMap[$blockName][$propertyName] = array_values($propertyValues);
}
}
ksort($reportMap, SORT_STRING);
file_put_contents($argv[2], json_encode($reportMap, JSON_PRETTY_PRINT));
file_put_contents($outputFile, json_encode($reportMap, JSON_PRETTY_PRINT));