GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.

Issues (6)

src/Server/Process.php (1 issue)

Labels
Severity
1
<?php
2
declare(strict_types = 1);
3
4
namespace Innmind\Server\Status\Server;
5
6
use Innmind\Server\Status\Server\{
7
    Process\Pid,
8
    Process\User,
9
    Process\Command,
10
    Process\Memory,
0 ignored issues
show
This use statement conflicts with another class in this namespace, Innmind\Server\Status\Server\Memory. Consider defining an alias.

Let?s assume that you have a directory layout like this:

.
|-- OtherDir
|   |-- Bar.php
|   `-- Foo.php
`-- SomeDir
    `-- Foo.php

and let?s assume the following content of Bar.php:

// Bar.php
namespace OtherDir;

use SomeDir\Foo; // This now conflicts the class OtherDir\Foo

If both files OtherDir/Foo.php and SomeDir/Foo.php are loaded in the same runtime, you will see a PHP error such as the following:

PHP Fatal error:  Cannot use SomeDir\Foo as Foo because the name is already in use in OtherDir/Foo.php

However, as OtherDir/Foo.php does not necessarily have to be loaded and the error is only triggered if it is loaded before OtherDir/Bar.php, this problem might go unnoticed for a while. In order to prevent this error from surfacing, you must import the namespace with a different alias:

// Bar.php
namespace OtherDir;

use SomeDir\Foo as SomeDirFoo; // There is no conflict anymore.
Loading history...
11
    Cpu\Percentage,
12
};
13
use Innmind\TimeContinuum\PointInTime;
14
15
final class Process
16
{
17
    private Pid $pid;
18
    private User $user;
19
    private Percentage $cpu;
20
    private Memory $memory;
21
    private PointInTime $start;
22
    private Command $command;
23
24 12
    public function __construct(
25
        Pid $pid,
26
        User $user,
27
        Percentage $cpu,
28
        Memory $memory,
29
        PointInTime $start,
30
        Command $command
31
    ) {
32 12
        $this->pid = $pid;
33 12
        $this->user = $user;
34 12
        $this->cpu = $cpu;
35 12
        $this->memory = $memory;
36 12
        $this->start = $start;
37 12
        $this->command = $command;
38 12
    }
39
40 12
    public function pid(): Pid
41
    {
42 12
        return $this->pid;
43
    }
44
45 9
    public function user(): User
46
    {
47 9
        return $this->user;
48
    }
49
50 3
    public function cpu(): Percentage
51
    {
52 3
        return $this->cpu;
53
    }
54
55 3
    public function memory(): Memory
56
    {
57 3
        return $this->memory;
58
    }
59
60 3
    public function start(): PointInTime
61
    {
62 3
        return $this->start;
63
    }
64
65 3
    public function command(): Command
66
    {
67 3
        return $this->command;
68
    }
69
}
70