phpstan-src/tests/PHPStan/Rules/Variables/data/bug-14323.php at 8712fc8c3062ccfee65a7ee15409eb796d841e37 · phpstan-bot/phpstan-src · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
<?php declare(strict_types = 1);

namespace Bug14323;

class ProcessFailedException extends \RuntimeException {}

class Process {
	/** @param array<string> $a */
	public function __construct(array $a) {}
}

class Process2 {
	/**
	 * @param array<string> $a
	 * @throws ProcessFailedException
	 */
	public function __construct(array $a) {}
}

class Process3 {
	/**
	 * @param array<string> $a
	 * @throws void
	 */
	public function __construct(array $a) {}
}

abstract class DbCommand
{
    /**
     * @return int
     */
    public function handle()
    {
        try {
            new Process(
                array_merge([$command = $this->getCommand()])
            );
        } catch (ProcessFailedException $e) {
            echo ("{$command} not found in path.");

            return 1;
        }

        return 0;
    }

    /**
     * @return string
     */
    abstract public function getCommand();
}

abstract class DbCommand2
{
    /**
     * @return int
     */
    public function handle()
    {
        try {
            new Process(
                [$command = $this->getCommand()]
            );
        } catch (ProcessFailedException $e) {
            echo ("{$command} not found in path.");

            return 1;
        }

        return 0;
    }

    /**
     * @return string
     */
    abstract public function getCommand();
}

abstract class DbCommand3
{
    /**
     * @return int
     */
    public function handle()
    {
        try {
            new Process2(
                array_merge([$command = $this->getCommand()])
            );
        } catch (ProcessFailedException $e) {
            echo ("{$command} not found in path.");

            return 1;
        }

        return 0;
    }

    /**
     * @return string
     */
    abstract public function getCommand();
}

abstract class DbCommand4
{
    /**
     * @return int
     */
    public function handle()
    {
        try {
            new Process3(
                array_merge([$command = $this->getCommand()])
            );
        } catch (ProcessFailedException $e) {
            echo ("{$command} not found in path.");

            return 1;
        }

        return 0;
    }

    /**
     * @return string
     */
    abstract public function getCommand();
}