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

Server: add type documentation for fields

Browse Source 
found a few bugs in the process too
This commit is contained in:
Dylan K. Taylor 2018-05-19 10:55:34 +01:00
parent e7fc9227bc
commit 172c6420c1
1 changed files with 24 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
src/pocketmine/Server.php
View File

@ -136,11 +136,13 @@ class Server{
/** @var bool */ /** @var bool */
private $isRunning = true; private $isRunning = true;
/** @var bool */
private $hasStopped = false; private $hasStopped = false;
/** @var PluginManager */ /** @var PluginManager */
private $pluginManager = null; private $pluginManager = null;
/** @var float */
private $profilingTickRate = 20; private $profilingTickRate = 20;
/** @var AutoUpdater */ /** @var AutoUpdater */
@ -155,17 +157,24 @@ class Server{
* @var int * @var int
*/ */
private $tickCounter = 0; private $tickCounter = 0;
/** @var int */
private $nextTick = 0; private $nextTick = 0;
/** @var float[] */
private $tickAverage = [20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20]; private $tickAverage = [20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20];
/** @var float[] */
private $useAverage = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]; private $useAverage = [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0];
/** @var float */
private $currentTPS = 20; private $currentTPS = 20;
/** @var float */
private $currentUse = 0; private $currentUse = 0;
/** @var bool */ /** @var bool */
private $doTitleTick = true; private $doTitleTick = true;
/** @var int */
private $sendUsageTicker = 0; private $sendUsageTicker = 0;
/** @var bool */
private $dispatchSignals = false; private $dispatchSignals = false;
/** @var \AttachableThreadedLogger */ /** @var \AttachableThreadedLogger */
@ -212,29 +221,41 @@ class Server{
/** @var Network */ /** @var Network */
private $network; private $network;
/** @var bool */
private $networkCompressionAsync = true; private $networkCompressionAsync = true;
/** @var int */
public $networkCompressionLevel = 7; public $networkCompressionLevel = 7;
/** @var bool */
private $autoTickRate = true; private $autoTickRate = true;
/** @var int */
private $autoTickRateLimit = 20; private $autoTickRateLimit = 20;
/** @var bool */
private $alwaysTickPlayers = false; private $alwaysTickPlayers = false;
/** @var int */
private $baseTickRate = 1; private $baseTickRate = 1;
/** @var int */
private $autoSaveTicker = 0; private $autoSaveTicker = 0;
/** @var int */
private $autoSaveTicks = 6000; private $autoSaveTicks = 6000;
/** @var BaseLang */ /** @var BaseLang */
private $baseLang; private $baseLang;
/** @var bool */
private $forceLanguage = false; private $forceLanguage = false;
/** @var UUID */
private $serverID; private $serverID;
/** @var \ClassLoader */
private $autoloader; private $autoloader;
/** @var string */
private $dataPath; private $dataPath;
/** @var string */
private $pluginPath; private $pluginPath;
/** @var string[] */
private $uniquePlayers = []; private $uniquePlayers = [];
/** @var QueryHandler */ /** @var QueryHandler */
@ -245,7 +266,7 @@ class Server{
/** @var Config */ /** @var Config */
private $properties; private $properties;
/** @var mixed[] */
private $propertyCache = []; private $propertyCache = [];
/** @var Config */ /** @var Config */