1: | <?php declare(strict_types = 1); |
2: | |
3: | namespace PHPStan\Type; |
4: | |
5: | use PHPStan\Php\PhpVersion; |
6: | use PHPStan\PhpDocParser\Ast\Type\IdentifierTypeNode; |
7: | use PHPStan\PhpDocParser\Ast\Type\TypeNode; |
8: | use PHPStan\TrinaryLogic; |
9: | use PHPStan\Type\Constant\ConstantArrayType; |
10: | use PHPStan\Type\Constant\ConstantBooleanType; |
11: | use PHPStan\Type\Constant\ConstantFloatType; |
12: | use PHPStan\Type\Constant\ConstantIntegerType; |
13: | use PHPStan\Type\Constant\ConstantStringType; |
14: | use PHPStan\Type\Traits\NonArrayTypeTrait; |
15: | use PHPStan\Type\Traits\NonCallableTypeTrait; |
16: | use PHPStan\Type\Traits\NonGeneralizableTypeTrait; |
17: | use PHPStan\Type\Traits\NonGenericTypeTrait; |
18: | use PHPStan\Type\Traits\NonIterableTypeTrait; |
19: | use PHPStan\Type\Traits\NonObjectTypeTrait; |
20: | use PHPStan\Type\Traits\NonOffsetAccessibleTypeTrait; |
21: | use PHPStan\Type\Traits\UndecidedBooleanTypeTrait; |
22: | use PHPStan\Type\Traits\UndecidedComparisonTypeTrait; |
23: | |
24: | |
25: | class BooleanType implements Type |
26: | { |
27: | |
28: | use JustNullableTypeTrait; |
29: | use NonArrayTypeTrait; |
30: | use NonCallableTypeTrait; |
31: | use NonIterableTypeTrait; |
32: | use NonObjectTypeTrait; |
33: | use UndecidedBooleanTypeTrait; |
34: | use UndecidedComparisonTypeTrait; |
35: | use NonGenericTypeTrait; |
36: | use NonOffsetAccessibleTypeTrait; |
37: | use NonGeneralizableTypeTrait; |
38: | |
39: | |
40: | public function __construct() |
41: | { |
42: | } |
43: | |
44: | public function getConstantStrings(): array |
45: | { |
46: | return []; |
47: | } |
48: | |
49: | public function getConstantScalarTypes(): array |
50: | { |
51: | return [new ConstantBooleanType(true), new ConstantBooleanType(false)]; |
52: | } |
53: | |
54: | public function getConstantScalarValues(): array |
55: | { |
56: | return [true, false]; |
57: | } |
58: | |
59: | public function describe(VerbosityLevel $level): string |
60: | { |
61: | return 'bool'; |
62: | } |
63: | |
64: | public function toNumber(): Type |
65: | { |
66: | return $this->toInteger(); |
67: | } |
68: | |
69: | public function toAbsoluteNumber(): Type |
70: | { |
71: | return $this->toNumber()->toAbsoluteNumber(); |
72: | } |
73: | |
74: | public function toString(): Type |
75: | { |
76: | return TypeCombinator::union( |
77: | new ConstantStringType(''), |
78: | new ConstantStringType('1'), |
79: | ); |
80: | } |
81: | |
82: | public function toInteger(): Type |
83: | { |
84: | return TypeCombinator::union( |
85: | new ConstantIntegerType(0), |
86: | new ConstantIntegerType(1), |
87: | ); |
88: | } |
89: | |
90: | public function toFloat(): Type |
91: | { |
92: | return TypeCombinator::union( |
93: | new ConstantFloatType(0.0), |
94: | new ConstantFloatType(1.0), |
95: | ); |
96: | } |
97: | |
98: | public function toArray(): Type |
99: | { |
100: | return new ConstantArrayType( |
101: | [new ConstantIntegerType(0)], |
102: | [$this], |
103: | [1], |
104: | isList: TrinaryLogic::createYes(), |
105: | ); |
106: | } |
107: | |
108: | public function toArrayKey(): Type |
109: | { |
110: | return new UnionType([new ConstantIntegerType(0), new ConstantIntegerType(1)]); |
111: | } |
112: | |
113: | public function toCoercedArgumentType(bool $strictTypes): Type |
114: | { |
115: | if (!$strictTypes) { |
116: | return TypeCombinator::union($this->toInteger(), $this->toFloat(), $this->toString(), $this); |
117: | } |
118: | |
119: | return $this; |
120: | } |
121: | |
122: | public function isOffsetAccessLegal(): TrinaryLogic |
123: | { |
124: | return TrinaryLogic::createYes(); |
125: | } |
126: | |
127: | public function isNull(): TrinaryLogic |
128: | { |
129: | return TrinaryLogic::createNo(); |
130: | } |
131: | |
132: | public function isTrue(): TrinaryLogic |
133: | { |
134: | return TrinaryLogic::createMaybe(); |
135: | } |
136: | |
137: | public function isFalse(): TrinaryLogic |
138: | { |
139: | return TrinaryLogic::createMaybe(); |
140: | } |
141: | |
142: | public function isBoolean(): TrinaryLogic |
143: | { |
144: | return TrinaryLogic::createYes(); |
145: | } |
146: | |
147: | public function isScalar(): TrinaryLogic |
148: | { |
149: | return TrinaryLogic::createYes(); |
150: | } |
151: | |
152: | public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType |
153: | { |
154: | return new BooleanType(); |
155: | } |
156: | |
157: | public function tryRemove(Type $typeToRemove): ?Type |
158: | { |
159: | if ($typeToRemove instanceof ConstantBooleanType) { |
160: | return new ConstantBooleanType(!$typeToRemove->getValue()); |
161: | } |
162: | |
163: | return null; |
164: | } |
165: | |
166: | public function getFiniteTypes(): array |
167: | { |
168: | return [ |
169: | new ConstantBooleanType(true), |
170: | new ConstantBooleanType(false), |
171: | ]; |
172: | } |
173: | |
174: | public function exponentiate(Type $exponent): Type |
175: | { |
176: | return ExponentiateHelper::exponentiate($this, $exponent); |
177: | } |
178: | |
179: | public function toPhpDocNode(): TypeNode |
180: | { |
181: | return new IdentifierTypeNode('bool'); |
182: | } |
183: | |
184: | public function toTrinaryLogic(): TrinaryLogic |
185: | { |
186: | if ($this->isTrue()->yes()) { |
187: | return TrinaryLogic::createYes(); |
188: | } |
189: | if ($this->isFalse()->yes()) { |
190: | return TrinaryLogic::createNo(); |
191: | } |
192: | |
193: | return TrinaryLogic::createMaybe(); |
194: | } |
195: | |
196: | } |
197: | |