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: /** @api */
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: /** @api */
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: