1 | <?php |
||
7 | class PhpUnit implements ToolInterface |
||
8 | { |
||
9 | /** |
||
10 | * @var Undefined |
||
11 | */ |
||
12 | private $undefined; |
||
13 | /** |
||
14 | * @var Enabled |
||
15 | */ |
||
16 | private $enabled; |
||
17 | /** |
||
18 | * @var PhpUnitRandomMode |
||
19 | */ |
||
20 | private $randomMode; |
||
21 | /** |
||
22 | * @var PhpUnitOptions |
||
23 | */ |
||
24 | private $options; |
||
25 | |||
26 | /** |
||
27 | * PhpUnit constructor. |
||
28 | * |
||
29 | * @param Undefined $undefined |
||
30 | * @param Enabled $enabled |
||
31 | * @param PhpUnitRandomMode $randomMode |
||
32 | * @param PhpUnitOptions $options |
||
33 | */ |
||
34 | 6 | public function __construct( |
|
45 | |||
46 | /** |
||
47 | * @return bool |
||
48 | */ |
||
49 | 3 | public function isEnabled() |
|
53 | |||
54 | /** |
||
55 | * @return bool |
||
56 | */ |
||
57 | 2 | public function isUndefined() |
|
61 | |||
62 | /** |
||
63 | * @return PhpUnitRandomMode |
||
64 | */ |
||
65 | 3 | public function getRandomMode() |
|
69 | |||
70 | /** |
||
71 | * @return PhpUnitOptions |
||
72 | */ |
||
73 | 3 | public function getOptions() |
|
77 | |||
78 | /** |
||
79 | * @param Enabled $enabled |
||
80 | * |
||
81 | * @return PhpUnit |
||
82 | */ |
||
83 | 2 | public function setEnabled(Enabled $enabled) |
|
95 | |||
96 | /** |
||
97 | * @param PhpUnitRandomMode $randomMode |
||
98 | * @param PhpUnitOptions $options |
||
99 | * |
||
100 | * @return PhpUnit |
||
101 | */ |
||
102 | 1 | public function setRandomModeAndOptions(PhpUnitRandomMode $randomMode, PhpUnitOptions $options) |
|
111 | } |
||
112 |