1: | <?php declare(strict_types = 1); |
2: | |
3: | namespace PHPStan\Reflection; |
4: | |
5: | use Nette\Utils\Strings; |
6: | use PhpParser\Node\Arg; |
7: | use PhpParser\Node\Expr; |
8: | use PhpParser\Node\Expr\BinaryOp; |
9: | use PhpParser\Node\Expr\ClassConstFetch; |
10: | use PhpParser\Node\Expr\ConstFetch; |
11: | use PhpParser\Node\Expr\PropertyFetch; |
12: | use PhpParser\Node\Identifier; |
13: | use PhpParser\Node\Name; |
14: | use PhpParser\Node\Scalar\Float_; |
15: | use PhpParser\Node\Scalar\Int_; |
16: | use PhpParser\Node\Scalar\MagicConst; |
17: | use PhpParser\Node\Scalar\MagicConst\Dir; |
18: | use PhpParser\Node\Scalar\MagicConst\File; |
19: | use PhpParser\Node\Scalar\MagicConst\Line; |
20: | use PhpParser\Node\Scalar\String_; |
21: | use PHPStan\Analyser\ConstantResolver; |
22: | use PHPStan\Analyser\OutOfClassScope; |
23: | use PHPStan\DependencyInjection\AutowiredParameter; |
24: | use PHPStan\DependencyInjection\AutowiredService; |
25: | use PHPStan\DependencyInjection\Type\OperatorTypeSpecifyingExtensionRegistryProvider; |
26: | use PHPStan\Node\Expr\TypeExpr; |
27: | use PHPStan\Php\PhpVersion; |
28: | use PHPStan\Reflection\ReflectionProvider\ReflectionProviderProvider; |
29: | use PHPStan\ShouldNotHappenException; |
30: | use PHPStan\Type\Accessory\AccessoryArrayListType; |
31: | use PHPStan\Type\Accessory\AccessoryLiteralStringType; |
32: | use PHPStan\Type\Accessory\AccessoryLowercaseStringType; |
33: | use PHPStan\Type\Accessory\AccessoryNonEmptyStringType; |
34: | use PHPStan\Type\Accessory\AccessoryNonFalsyStringType; |
35: | use PHPStan\Type\Accessory\AccessoryNumericStringType; |
36: | use PHPStan\Type\Accessory\AccessoryUppercaseStringType; |
37: | use PHPStan\Type\Accessory\HasOffsetValueType; |
38: | use PHPStan\Type\Accessory\NonEmptyArrayType; |
39: | use PHPStan\Type\ArrayType; |
40: | use PHPStan\Type\BenevolentUnionType; |
41: | use PHPStan\Type\BooleanType; |
42: | use PHPStan\Type\ClassStringType; |
43: | use PHPStan\Type\Constant\ConstantArrayType; |
44: | use PHPStan\Type\Constant\ConstantArrayTypeBuilder; |
45: | use PHPStan\Type\Constant\ConstantBooleanType; |
46: | use PHPStan\Type\Constant\ConstantFloatType; |
47: | use PHPStan\Type\Constant\ConstantIntegerType; |
48: | use PHPStan\Type\Constant\ConstantStringType; |
49: | use PHPStan\Type\Constant\OversizedArrayBuilder; |
50: | use PHPStan\Type\ConstantScalarType; |
51: | use PHPStan\Type\ConstantTypeHelper; |
52: | use PHPStan\Type\Enum\EnumCaseObjectType; |
53: | use PHPStan\Type\ErrorType; |
54: | use PHPStan\Type\FloatType; |
55: | use PHPStan\Type\GeneralizePrecision; |
56: | use PHPStan\Type\Generic\GenericClassStringType; |
57: | use PHPStan\Type\Generic\TemplateType; |
58: | use PHPStan\Type\IntegerRangeType; |
59: | use PHPStan\Type\IntegerType; |
60: | use PHPStan\Type\IntersectionType; |
61: | use PHPStan\Type\MixedType; |
62: | use PHPStan\Type\NeverType; |
63: | use PHPStan\Type\NullType; |
64: | use PHPStan\Type\ObjectType; |
65: | use PHPStan\Type\ObjectWithoutClassType; |
66: | use PHPStan\Type\StaticType; |
67: | use PHPStan\Type\StringType; |
68: | use PHPStan\Type\ThisType; |
69: | use PHPStan\Type\Type; |
70: | use PHPStan\Type\TypeCombinator; |
71: | use PHPStan\Type\TypehintHelper; |
72: | use PHPStan\Type\TypeResult; |
73: | use PHPStan\Type\TypeTraverser; |
74: | use PHPStan\Type\TypeUtils; |
75: | use PHPStan\Type\TypeWithClassName; |
76: | use PHPStan\Type\UnionType; |
77: | use function array_key_exists; |
78: | use function array_keys; |
79: | use function array_merge; |
80: | use function assert; |
81: | use function ceil; |
82: | use function count; |
83: | use function dirname; |
84: | use function floor; |
85: | use function in_array; |
86: | use function intval; |
87: | use function is_finite; |
88: | use function is_float; |
89: | use function is_int; |
90: | use function is_numeric; |
91: | use function max; |
92: | use function min; |
93: | use function sprintf; |
94: | use function strtolower; |
95: | use const INF; |
96: | |
97: | #[AutowiredService] |
98: | final class InitializerExprTypeResolver |
99: | { |
100: | |
101: | public const CALCULATE_SCALARS_LIMIT = 128; |
102: | |
103: | |
104: | private array $currentlyResolvingClassConstant = []; |
105: | |
106: | public function __construct( |
107: | private ConstantResolver $constantResolver, |
108: | private ReflectionProviderProvider $reflectionProviderProvider, |
109: | private PhpVersion $phpVersion, |
110: | private OperatorTypeSpecifyingExtensionRegistryProvider $operatorTypeSpecifyingExtensionRegistryProvider, |
111: | private OversizedArrayBuilder $oversizedArrayBuilder, |
112: | #[AutowiredParameter] |
113: | private bool $usePathConstantsAsConstantString, |
114: | ) |
115: | { |
116: | } |
117: | |
118: | |
119: | public function getType(Expr $expr, InitializerExprContext $context): Type |
120: | { |
121: | if ($expr instanceof TypeExpr) { |
122: | return $expr->getExprType(); |
123: | } |
124: | if ($expr instanceof Int_) { |
125: | return new ConstantIntegerType($expr->value); |
126: | } |
127: | if ($expr instanceof Float_) { |
128: | return new ConstantFloatType($expr->value); |
129: | } |
130: | if ($expr instanceof String_) { |
131: | return new ConstantStringType($expr->value); |
132: | } |
133: | if ($expr instanceof ConstFetch) { |
134: | $constName = (string) $expr->name; |
135: | $loweredConstName = strtolower($constName); |
136: | if ($loweredConstName === 'true') { |
137: | return new ConstantBooleanType(true); |
138: | } elseif ($loweredConstName === 'false') { |
139: | return new ConstantBooleanType(false); |
140: | } elseif ($loweredConstName === 'null') { |
141: | return new NullType(); |
142: | } |
143: | |
144: | $constant = $this->constantResolver->resolveConstant($expr->name, $context); |
145: | if ($constant !== null) { |
146: | return $constant; |
147: | } |
148: | |
149: | return new ErrorType(); |
150: | } |
151: | if ($expr instanceof File) { |
152: | $file = $context->getFile(); |
153: | if ($file === null) { |
154: | return new StringType(); |
155: | } |
156: | $stringType = new ConstantStringType($file); |
157: | return $this->usePathConstantsAsConstantString ? $stringType : $stringType->generalize(GeneralizePrecision::moreSpecific()); |
158: | } |
159: | if ($expr instanceof Dir) { |
160: | $file = $context->getFile(); |
161: | if ($file === null) { |
162: | return new StringType(); |
163: | } |
164: | $stringType = new ConstantStringType(dirname($file)); |
165: | return $this->usePathConstantsAsConstantString ? $stringType : $stringType->generalize(GeneralizePrecision::moreSpecific()); |
166: | } |
167: | if ($expr instanceof Line) { |
168: | return new ConstantIntegerType($expr->getStartLine()); |
169: | } |
170: | if ($expr instanceof Expr\New_) { |
171: | if ($expr->class instanceof Name) { |
172: | return new ObjectType((string) $expr->class); |
173: | } |
174: | |
175: | return new ObjectWithoutClassType(); |
176: | } |
177: | if ($expr instanceof Expr\Array_) { |
178: | return $this->getArrayType($expr, fn (Expr $expr): Type => $this->getType($expr, $context)); |
179: | } |
180: | if ($expr instanceof Expr\ArrayDimFetch && $expr->dim !== null) { |
181: | $var = $this->getType($expr->var, $context); |
182: | $dim = $this->getType($expr->dim, $context); |
183: | return $var->getOffsetValueType($dim); |
184: | } |
185: | if ($expr instanceof ClassConstFetch && $expr->name instanceof Identifier) { |
186: | return $this->getClassConstFetchType($expr->class, $expr->name->toString(), $context->getClassName(), fn (Expr $expr): Type => $this->getType($expr, $context)); |
187: | } |
188: | if ($expr instanceof Expr\UnaryPlus) { |
189: | return $this->getType($expr->expr, $context)->toNumber(); |
190: | } |
191: | if ($expr instanceof Expr\UnaryMinus) { |
192: | return $this->getUnaryMinusType($expr->expr, fn (Expr $expr): Type => $this->getType($expr, $context)); |
193: | } |
194: | if ($expr instanceof Expr\BinaryOp\Coalesce) { |
195: | $leftType = $this->getType($expr->left, $context); |
196: | $rightType = $this->getType($expr->right, $context); |
197: | |
198: | return TypeCombinator::union(TypeCombinator::removeNull($leftType), $rightType); |
199: | } |
200: | |
201: | if ($expr instanceof Expr\Ternary) { |
202: | $condType = $this->getType($expr->cond, $context); |
203: | $elseType = $this->getType($expr->else, $context); |
204: | if ($expr->if === null) { |
205: | return TypeCombinator::union( |
206: | TypeCombinator::removeFalsey($condType), |
207: | $elseType, |
208: | ); |
209: | } |
210: | |
211: | $ifType = $this->getType($expr->if, $context); |
212: | |
213: | return TypeCombinator::union( |
214: | TypeCombinator::removeFalsey($ifType), |
215: | $elseType, |
216: | ); |
217: | } |
218: | |
219: | if ($expr instanceof Expr\FuncCall && $expr->name instanceof Name && $expr->name->toLowerString() === 'constant') { |
220: | $firstArg = $expr->args[0] ?? null; |
221: | if ($firstArg instanceof Arg && $firstArg->value instanceof String_) { |
222: | $constant = $this->constantResolver->resolvePredefinedConstant($firstArg->value->value); |
223: | if ($constant !== null) { |
224: | return $constant; |
225: | } |
226: | } |
227: | } |
228: | |
229: | if ($expr instanceof Expr\BooleanNot) { |
230: | $exprBooleanType = $this->getType($expr->expr, $context)->toBoolean(); |
231: | |
232: | if ($exprBooleanType instanceof ConstantBooleanType) { |
233: | return new ConstantBooleanType(!$exprBooleanType->getValue()); |
234: | } |
235: | |
236: | return new BooleanType(); |
237: | } |
238: | |
239: | if ($expr instanceof Expr\BitwiseNot) { |
240: | return $this->getBitwiseNotType($expr->expr, fn (Expr $expr): Type => $this->getType($expr, $context)); |
241: | } |
242: | |
243: | if ($expr instanceof Expr\BinaryOp\Concat) { |
244: | return $this->getConcatType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
245: | } |
246: | |
247: | if ($expr instanceof Expr\BinaryOp\BitwiseAnd) { |
248: | return $this->getBitwiseAndType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
249: | } |
250: | |
251: | if ($expr instanceof Expr\BinaryOp\BitwiseOr) { |
252: | return $this->getBitwiseOrType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
253: | } |
254: | |
255: | if ($expr instanceof Expr\BinaryOp\BitwiseXor) { |
256: | return $this->getBitwiseXorType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
257: | } |
258: | |
259: | if ($expr instanceof Expr\BinaryOp\Spaceship) { |
260: | return $this->getSpaceshipType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
261: | } |
262: | |
263: | if ( |
264: | $expr instanceof Expr\BinaryOp\BooleanAnd |
265: | || $expr instanceof Expr\BinaryOp\LogicalAnd |
266: | || $expr instanceof Expr\BinaryOp\BooleanOr |
267: | || $expr instanceof Expr\BinaryOp\LogicalOr |
268: | ) { |
269: | return new BooleanType(); |
270: | } |
271: | |
272: | if ($expr instanceof Expr\BinaryOp\Div) { |
273: | return $this->getDivType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
274: | } |
275: | |
276: | if ($expr instanceof Expr\BinaryOp\Mod) { |
277: | return $this->getModType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
278: | } |
279: | |
280: | if ($expr instanceof Expr\BinaryOp\Plus) { |
281: | return $this->getPlusType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
282: | } |
283: | |
284: | if ($expr instanceof Expr\BinaryOp\Minus) { |
285: | return $this->getMinusType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
286: | } |
287: | |
288: | if ($expr instanceof Expr\BinaryOp\Mul) { |
289: | return $this->getMulType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
290: | } |
291: | |
292: | if ($expr instanceof Expr\BinaryOp\Pow) { |
293: | return $this->getPowType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
294: | } |
295: | |
296: | if ($expr instanceof Expr\BinaryOp\ShiftLeft) { |
297: | return $this->getShiftLeftType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
298: | } |
299: | |
300: | if ($expr instanceof Expr\BinaryOp\ShiftRight) { |
301: | return $this->getShiftRightType($expr->left, $expr->right, fn (Expr $expr): Type => $this->getType($expr, $context)); |
302: | } |
303: | |
304: | if ($expr instanceof BinaryOp\Identical) { |
305: | return $this->resolveIdenticalType( |
306: | $this->getType($expr->left, $context), |
307: | $this->getType($expr->right, $context), |
308: | )->type; |
309: | } |
310: | |
311: | if ($expr instanceof BinaryOp\NotIdentical) { |
312: | return $this->getType(new Expr\BooleanNot(new BinaryOp\Identical($expr->left, $expr->right)), $context); |
313: | } |
314: | |
315: | if ($expr instanceof BinaryOp\Equal) { |
316: | return $this->resolveEqualType( |
317: | $this->getType($expr->left, $context), |
318: | $this->getType($expr->right, $context), |
319: | )->type; |
320: | } |
321: | |
322: | if ($expr instanceof BinaryOp\NotEqual) { |
323: | return $this->getType(new Expr\BooleanNot(new BinaryOp\Equal($expr->left, $expr->right)), $context); |
324: | } |
325: | |
326: | if ($expr instanceof Expr\BinaryOp\Smaller) { |
327: | return $this->getType($expr->left, $context)->isSmallerThan($this->getType($expr->right, $context), $this->phpVersion)->toBooleanType(); |
328: | } |
329: | |
330: | if ($expr instanceof Expr\BinaryOp\SmallerOrEqual) { |
331: | return $this->getType($expr->left, $context)->isSmallerThanOrEqual($this->getType($expr->right, $context), $this->phpVersion)->toBooleanType(); |
332: | } |
333: | |
334: | if ($expr instanceof Expr\BinaryOp\Greater) { |
335: | return $this->getType($expr->right, $context)->isSmallerThan($this->getType($expr->left, $context), $this->phpVersion)->toBooleanType(); |
336: | } |
337: | |
338: | if ($expr instanceof Expr\BinaryOp\GreaterOrEqual) { |
339: | return $this->getType($expr->right, $context)->isSmallerThanOrEqual($this->getType($expr->left, $context), $this->phpVersion)->toBooleanType(); |
340: | } |
341: | |
342: | if ($expr instanceof Expr\BinaryOp\LogicalXor) { |
343: | $leftBooleanType = $this->getType($expr->left, $context)->toBoolean(); |
344: | $rightBooleanType = $this->getType($expr->right, $context)->toBoolean(); |
345: | |
346: | if ( |
347: | $leftBooleanType instanceof ConstantBooleanType |
348: | && $rightBooleanType instanceof ConstantBooleanType |
349: | ) { |
350: | return new ConstantBooleanType( |
351: | $leftBooleanType->getValue() xor $rightBooleanType->getValue(), |
352: | ); |
353: | } |
354: | |
355: | return new BooleanType(); |
356: | } |
357: | |
358: | if ($expr instanceof MagicConst\Class_) { |
359: | if ($context->getTraitName() !== null) { |
360: | return TypeCombinator::intersect( |
361: | new ClassStringType(), |
362: | new AccessoryLiteralStringType(), |
363: | ); |
364: | } |
365: | |
366: | if ($context->getClassName() === null) { |
367: | return new ConstantStringType(''); |
368: | } |
369: | |
370: | return new ConstantStringType($context->getClassName(), true); |
371: | } |
372: | |
373: | if ($expr instanceof MagicConst\Namespace_) { |
374: | if ($context->getTraitName() !== null) { |
375: | return TypeCombinator::intersect( |
376: | new StringType(), |
377: | new AccessoryLiteralStringType(), |
378: | ); |
379: | } |
380: | |
381: | return new ConstantStringType($context->getNamespace() ?? ''); |
382: | } |
383: | |
384: | if ($expr instanceof MagicConst\Method) { |
385: | return new ConstantStringType($context->getMethod() ?? ''); |
386: | } |
387: | |
388: | if ($expr instanceof MagicConst\Function_) { |
389: | return new ConstantStringType($context->getFunction() ?? ''); |
390: | } |
391: | |
392: | if ($expr instanceof MagicConst\Trait_) { |
393: | if ($context->getTraitName() === null) { |
394: | return new ConstantStringType(''); |
395: | } |
396: | |
397: | return new ConstantStringType($context->getTraitName(), true); |
398: | } |
399: | |
400: | if ($expr instanceof MagicConst\Property) { |
401: | $contextProperty = $context->getProperty(); |
402: | if ($contextProperty === null) { |
403: | return new ConstantStringType(''); |
404: | } |
405: | |
406: | return new ConstantStringType($contextProperty); |
407: | } |
408: | |
409: | if ($expr instanceof PropertyFetch && $expr->name instanceof Identifier) { |
410: | $fetchedOnType = $this->getType($expr->var, $context); |
411: | if (!$fetchedOnType->hasProperty($expr->name->name)->yes()) { |
412: | return new ErrorType(); |
413: | } |
414: | |
415: | return $fetchedOnType->getProperty($expr->name->name, new OutOfClassScope())->getReadableType(); |
416: | } |
417: | |
418: | return new MixedType(); |
419: | } |
420: | |
421: | |
422: | |
423: | |
424: | public function getConcatType(Expr $left, Expr $right, callable $getTypeCallback): Type |
425: | { |
426: | $leftType = $getTypeCallback($left); |
427: | $rightType = $getTypeCallback($right); |
428: | |
429: | return $this->resolveConcatType($leftType, $rightType); |
430: | } |
431: | |
432: | public function resolveConcatType(Type $left, Type $right): Type |
433: | { |
434: | $leftStringType = $left->toString(); |
435: | $rightStringType = $right->toString(); |
436: | if (TypeCombinator::union( |
437: | $leftStringType, |
438: | $rightStringType, |
439: | ) instanceof ErrorType) { |
440: | return new ErrorType(); |
441: | } |
442: | |
443: | if ($leftStringType instanceof ConstantStringType && $leftStringType->getValue() === '') { |
444: | return $rightStringType; |
445: | } |
446: | |
447: | if ($rightStringType instanceof ConstantStringType && $rightStringType->getValue() === '') { |
448: | return $leftStringType; |
449: | } |
450: | |
451: | if ($leftStringType instanceof ConstantStringType && $rightStringType instanceof ConstantStringType) { |
452: | return $leftStringType->append($rightStringType); |
453: | } |
454: | |
455: | $leftConstantStrings = $leftStringType->getConstantStrings(); |
456: | $rightConstantStrings = $rightStringType->getConstantStrings(); |
457: | $combinedConstantStringsCount = count($leftConstantStrings) * count($rightConstantStrings); |
458: | |
459: | |
460: | if ($combinedConstantStringsCount > 0 && $combinedConstantStringsCount <= 16) { |
461: | $strings = []; |
462: | |
463: | foreach ($leftConstantStrings as $leftConstantString) { |
464: | if ($leftConstantString->getValue() === '') { |
465: | $strings = array_merge($strings, $rightConstantStrings); |
466: | |
467: | continue; |
468: | } |
469: | |
470: | foreach ($rightConstantStrings as $rightConstantString) { |
471: | if ($rightConstantString->getValue() === '') { |
472: | $strings[] = $leftConstantString; |
473: | |
474: | continue; |
475: | } |
476: | |
477: | $strings[] = $leftConstantString->append($rightConstantString); |
478: | } |
479: | } |
480: | |
481: | if (count($strings) > 0) { |
482: | return TypeCombinator::union(...$strings); |
483: | } |
484: | } |
485: | |
486: | $accessoryTypes = []; |
487: | if ($leftStringType->isNonEmptyString()->and($rightStringType->isNonEmptyString())->yes()) { |
488: | $accessoryTypes[] = new AccessoryNonFalsyStringType(); |
489: | } elseif ($leftStringType->isNonFalsyString()->or($rightStringType->isNonFalsyString())->yes()) { |
490: | $accessoryTypes[] = new AccessoryNonFalsyStringType(); |
491: | } elseif ($leftStringType->isNonEmptyString()->or($rightStringType->isNonEmptyString())->yes()) { |
492: | $accessoryTypes[] = new AccessoryNonEmptyStringType(); |
493: | } |
494: | |
495: | if ($leftStringType->isLiteralString()->and($rightStringType->isLiteralString())->yes()) { |
496: | $accessoryTypes[] = new AccessoryLiteralStringType(); |
497: | } |
498: | |
499: | if ($leftStringType->isLowercaseString()->and($rightStringType->isLowercaseString())->yes()) { |
500: | $accessoryTypes[] = new AccessoryLowercaseStringType(); |
501: | } |
502: | |
503: | if ($leftStringType->isUppercaseString()->and($rightStringType->isUppercaseString())->yes()) { |
504: | $accessoryTypes[] = new AccessoryUppercaseStringType(); |
505: | } |
506: | |
507: | $leftNumericStringNonEmpty = TypeCombinator::remove($leftStringType, new ConstantStringType('')); |
508: | if ($leftNumericStringNonEmpty->isNumericString()->yes()) { |
509: | $allRightConstantsZeroOrMore = false; |
510: | foreach ($rightConstantStrings as $rightConstantString) { |
511: | if ($rightConstantString->getValue() === '') { |
512: | continue; |
513: | } |
514: | |
515: | if ( |
516: | !is_numeric($rightConstantString->getValue()) |
517: | || Strings::match($rightConstantString->getValue(), '#^[0-9]+$#') === null |
518: | ) { |
519: | $allRightConstantsZeroOrMore = false; |
520: | break; |
521: | } |
522: | |
523: | $allRightConstantsZeroOrMore = true; |
524: | } |
525: | |
526: | $zeroOrMoreInteger = IntegerRangeType::fromInterval(0, null); |
527: | $nonNegativeRight = $allRightConstantsZeroOrMore || $zeroOrMoreInteger->isSuperTypeOf($right)->yes(); |
528: | if ($nonNegativeRight) { |
529: | $accessoryTypes[] = new AccessoryNumericStringType(); |
530: | } |
531: | } |
532: | |
533: | if (count($accessoryTypes) > 0) { |
534: | $accessoryTypes[] = new StringType(); |
535: | return new IntersectionType($accessoryTypes); |
536: | } |
537: | |
538: | return new StringType(); |
539: | } |
540: | |
541: | |
542: | |
543: | |
544: | public function getArrayType(Expr\Array_ $expr, callable $getTypeCallback): Type |
545: | { |
546: | if (count($expr->items) > ConstantArrayTypeBuilder::ARRAY_COUNT_LIMIT) { |
547: | return $this->oversizedArrayBuilder->build($expr, $getTypeCallback); |
548: | } |
549: | |
550: | $arrayBuilder = ConstantArrayTypeBuilder::createEmpty(); |
551: | $isList = null; |
552: | foreach ($expr->items as $arrayItem) { |
553: | $valueType = $getTypeCallback($arrayItem->value); |
554: | if ($arrayItem->unpack) { |
555: | $constantArrays = $valueType->getConstantArrays(); |
556: | if (count($constantArrays) === 1) { |
557: | $constantArrayType = $constantArrays[0]; |
558: | $hasStringKey = false; |
559: | foreach ($constantArrayType->getKeyTypes() as $keyType) { |
560: | if ($keyType->isString()->yes()) { |
561: | $hasStringKey = true; |
562: | break; |
563: | } |
564: | } |
565: | |
566: | foreach ($constantArrayType->getValueTypes() as $i => $innerValueType) { |
567: | if ($hasStringKey && $this->phpVersion->supportsArrayUnpackingWithStringKeys()) { |
568: | $arrayBuilder->setOffsetValueType($constantArrayType->getKeyTypes()[$i], $innerValueType, $constantArrayType->isOptionalKey($i)); |
569: | } else { |
570: | $arrayBuilder->setOffsetValueType(null, $innerValueType, $constantArrayType->isOptionalKey($i)); |
571: | } |
572: | } |
573: | } else { |
574: | $arrayBuilder->degradeToGeneralArray(); |
575: | |
576: | if ($this->phpVersion->supportsArrayUnpackingWithStringKeys() && !$valueType->getIterableKeyType()->isString()->no()) { |
577: | $isList = false; |
578: | $offsetType = $valueType->getIterableKeyType(); |
579: | } else { |
580: | $isList ??= $arrayBuilder->isList(); |
581: | $offsetType = new IntegerType(); |
582: | } |
583: | |
584: | $arrayBuilder->setOffsetValueType($offsetType, $valueType->getIterableValueType(), !$valueType->isIterableAtLeastOnce()->yes()); |
585: | } |
586: | } else { |
587: | $arrayBuilder->setOffsetValueType( |
588: | $arrayItem->key !== null ? $getTypeCallback($arrayItem->key) : null, |
589: | $valueType, |
590: | ); |
591: | } |
592: | } |
593: | |
594: | $arrayType = $arrayBuilder->getArray(); |
595: | if ($isList === true) { |
596: | return TypeCombinator::intersect($arrayType, new AccessoryArrayListType()); |
597: | } |
598: | |
599: | return $arrayType; |
600: | } |
601: | |
602: | |
603: | |
604: | |
605: | public function getBitwiseAndType(Expr $left, Expr $right, callable $getTypeCallback): Type |
606: | { |
607: | $leftType = $getTypeCallback($left); |
608: | $rightType = $getTypeCallback($right); |
609: | |
610: | if ($leftType instanceof NeverType || $rightType instanceof NeverType) { |
611: | return $this->getNeverType($leftType, $rightType); |
612: | } |
613: | |
614: | $leftTypes = $leftType->getConstantScalarTypes(); |
615: | $rightTypes = $rightType->getConstantScalarTypes(); |
616: | $leftTypesCount = count($leftTypes); |
617: | $rightTypesCount = count($rightTypes); |
618: | if ($leftTypesCount > 0 && $rightTypesCount > 0) { |
619: | $resultTypes = []; |
620: | $generalize = $leftTypesCount * $rightTypesCount > self::CALCULATE_SCALARS_LIMIT; |
621: | if (!$generalize) { |
622: | foreach ($leftTypes as $leftTypeInner) { |
623: | foreach ($rightTypes as $rightTypeInner) { |
624: | if ($leftTypeInner instanceof ConstantStringType && $rightTypeInner instanceof ConstantStringType) { |
625: | $resultType = $this->getTypeFromValue($leftTypeInner->getValue() & $rightTypeInner->getValue()); |
626: | } else { |
627: | $leftNumberType = $leftTypeInner->toNumber(); |
628: | $rightNumberType = $rightTypeInner->toNumber(); |
629: | |
630: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
631: | return new ErrorType(); |
632: | } |
633: | |
634: | if (!$leftNumberType instanceof ConstantScalarType || !$rightNumberType instanceof ConstantScalarType) { |
635: | throw new ShouldNotHappenException(); |
636: | } |
637: | |
638: | $resultType = $this->getTypeFromValue($leftNumberType->getValue() & $rightNumberType->getValue()); |
639: | } |
640: | $resultTypes[] = $resultType; |
641: | } |
642: | } |
643: | return TypeCombinator::union(...$resultTypes); |
644: | } |
645: | |
646: | $leftType = $this->optimizeScalarType($leftType); |
647: | $rightType = $this->optimizeScalarType($rightType); |
648: | } |
649: | |
650: | if ($leftType->isString()->yes() && $rightType->isString()->yes()) { |
651: | return new StringType(); |
652: | } |
653: | |
654: | $leftNumberType = $leftType->toNumber(); |
655: | $rightNumberType = $rightType->toNumber(); |
656: | |
657: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
658: | return new ErrorType(); |
659: | } |
660: | |
661: | if ($rightNumberType instanceof ConstantIntegerType && $rightNumberType->getValue() >= 0) { |
662: | return IntegerRangeType::fromInterval(0, $rightNumberType->getValue()); |
663: | } |
664: | if ($leftNumberType instanceof ConstantIntegerType && $leftNumberType->getValue() >= 0) { |
665: | return IntegerRangeType::fromInterval(0, $leftNumberType->getValue()); |
666: | } |
667: | |
668: | return new IntegerType(); |
669: | } |
670: | |
671: | |
672: | |
673: | |
674: | public function getBitwiseOrType(Expr $left, Expr $right, callable $getTypeCallback): Type |
675: | { |
676: | $leftType = $getTypeCallback($left); |
677: | $rightType = $getTypeCallback($right); |
678: | |
679: | if ($leftType instanceof NeverType || $rightType instanceof NeverType) { |
680: | return $this->getNeverType($leftType, $rightType); |
681: | } |
682: | |
683: | $leftTypes = $leftType->getConstantScalarTypes(); |
684: | $rightTypes = $rightType->getConstantScalarTypes(); |
685: | $leftTypesCount = count($leftTypes); |
686: | $rightTypesCount = count($rightTypes); |
687: | if ($leftTypesCount > 0 && $rightTypesCount > 0) { |
688: | $resultTypes = []; |
689: | $generalize = $leftTypesCount * $rightTypesCount > self::CALCULATE_SCALARS_LIMIT; |
690: | if (!$generalize) { |
691: | foreach ($leftTypes as $leftTypeInner) { |
692: | foreach ($rightTypes as $rightTypeInner) { |
693: | if ($leftTypeInner instanceof ConstantStringType && $rightTypeInner instanceof ConstantStringType) { |
694: | $resultType = $this->getTypeFromValue($leftTypeInner->getValue() | $rightTypeInner->getValue()); |
695: | } else { |
696: | $leftNumberType = $leftTypeInner->toNumber(); |
697: | $rightNumberType = $rightTypeInner->toNumber(); |
698: | |
699: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
700: | return new ErrorType(); |
701: | } |
702: | |
703: | if (!$leftNumberType instanceof ConstantScalarType || !$rightNumberType instanceof ConstantScalarType) { |
704: | throw new ShouldNotHappenException(); |
705: | } |
706: | |
707: | $resultType = $this->getTypeFromValue($leftNumberType->getValue() | $rightNumberType->getValue()); |
708: | } |
709: | $resultTypes[] = $resultType; |
710: | } |
711: | } |
712: | return TypeCombinator::union(...$resultTypes); |
713: | } |
714: | |
715: | $leftType = $this->optimizeScalarType($leftType); |
716: | $rightType = $this->optimizeScalarType($rightType); |
717: | } |
718: | |
719: | if ($leftType->isString()->yes() && $rightType->isString()->yes()) { |
720: | return new StringType(); |
721: | } |
722: | |
723: | if (TypeCombinator::union($leftType->toNumber(), $rightType->toNumber()) instanceof ErrorType) { |
724: | return new ErrorType(); |
725: | } |
726: | |
727: | return new IntegerType(); |
728: | } |
729: | |
730: | |
731: | |
732: | |
733: | public function getBitwiseXorType(Expr $left, Expr $right, callable $getTypeCallback): Type |
734: | { |
735: | $leftType = $getTypeCallback($left); |
736: | $rightType = $getTypeCallback($right); |
737: | |
738: | if ($leftType instanceof NeverType || $rightType instanceof NeverType) { |
739: | return $this->getNeverType($leftType, $rightType); |
740: | } |
741: | |
742: | $leftTypes = $leftType->getConstantScalarTypes(); |
743: | $rightTypes = $rightType->getConstantScalarTypes(); |
744: | $leftTypesCount = count($leftTypes); |
745: | $rightTypesCount = count($rightTypes); |
746: | if ($leftTypesCount > 0 && $rightTypesCount > 0) { |
747: | $resultTypes = []; |
748: | $generalize = $leftTypesCount * $rightTypesCount > self::CALCULATE_SCALARS_LIMIT; |
749: | if (!$generalize) { |
750: | foreach ($leftTypes as $leftTypeInner) { |
751: | foreach ($rightTypes as $rightTypeInner) { |
752: | if ($leftTypeInner instanceof ConstantStringType && $rightTypeInner instanceof ConstantStringType) { |
753: | $resultType = $this->getTypeFromValue($leftTypeInner->getValue() ^ $rightTypeInner->getValue()); |
754: | } else { |
755: | $leftNumberType = $leftTypeInner->toNumber(); |
756: | $rightNumberType = $rightTypeInner->toNumber(); |
757: | |
758: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
759: | return new ErrorType(); |
760: | } |
761: | |
762: | if (!$leftNumberType instanceof ConstantScalarType || !$rightNumberType instanceof ConstantScalarType) { |
763: | throw new ShouldNotHappenException(); |
764: | } |
765: | |
766: | $resultType = $this->getTypeFromValue($leftNumberType->getValue() ^ $rightNumberType->getValue()); |
767: | } |
768: | $resultTypes[] = $resultType; |
769: | } |
770: | } |
771: | return TypeCombinator::union(...$resultTypes); |
772: | } |
773: | |
774: | $leftType = $this->optimizeScalarType($leftType); |
775: | $rightType = $this->optimizeScalarType($rightType); |
776: | } |
777: | |
778: | if ($leftType->isString()->yes() && $rightType->isString()->yes()) { |
779: | return new StringType(); |
780: | } |
781: | |
782: | if (TypeCombinator::union($leftType->toNumber(), $rightType->toNumber()) instanceof ErrorType) { |
783: | return new ErrorType(); |
784: | } |
785: | |
786: | return new IntegerType(); |
787: | } |
788: | |
789: | |
790: | |
791: | |
792: | public function getSpaceshipType(Expr $left, Expr $right, callable $getTypeCallback): Type |
793: | { |
794: | $callbackLeftType = $getTypeCallback($left); |
795: | $callbackRightType = $getTypeCallback($right); |
796: | |
797: | if ($callbackLeftType instanceof NeverType || $callbackRightType instanceof NeverType) { |
798: | return $this->getNeverType($callbackLeftType, $callbackRightType); |
799: | } |
800: | |
801: | $leftTypes = $callbackLeftType->getConstantScalarTypes(); |
802: | $rightTypes = $callbackRightType->getConstantScalarTypes(); |
803: | |
804: | $leftTypesCount = count($leftTypes); |
805: | $rightTypesCount = count($rightTypes); |
806: | if ($leftTypesCount > 0 && $rightTypesCount > 0 && $leftTypesCount * $rightTypesCount <= self::CALCULATE_SCALARS_LIMIT) { |
807: | $resultTypes = []; |
808: | foreach ($leftTypes as $leftType) { |
809: | foreach ($rightTypes as $rightType) { |
810: | $leftValue = $leftType->getValue(); |
811: | $rightValue = $rightType->getValue(); |
812: | $resultType = $this->getTypeFromValue($leftValue <=> $rightValue); |
813: | $resultTypes[] = $resultType; |
814: | } |
815: | } |
816: | return TypeCombinator::union(...$resultTypes); |
817: | } |
818: | |
819: | return IntegerRangeType::fromInterval(-1, 1); |
820: | } |
821: | |
822: | |
823: | |
824: | |
825: | public function getDivType(Expr $left, Expr $right, callable $getTypeCallback): Type |
826: | { |
827: | $leftType = $getTypeCallback($left); |
828: | $rightType = $getTypeCallback($right); |
829: | |
830: | $leftTypes = $leftType->getConstantScalarTypes(); |
831: | $rightTypes = $rightType->getConstantScalarTypes(); |
832: | $leftTypesCount = count($leftTypes); |
833: | $rightTypesCount = count($rightTypes); |
834: | if ($leftTypesCount > 0 && $rightTypesCount > 0) { |
835: | $resultTypes = []; |
836: | $generalize = $leftTypesCount * $rightTypesCount > self::CALCULATE_SCALARS_LIMIT; |
837: | if (!$generalize) { |
838: | foreach ($leftTypes as $leftTypeInner) { |
839: | foreach ($rightTypes as $rightTypeInner) { |
840: | $leftNumberType = $leftTypeInner->toNumber(); |
841: | $rightNumberType = $rightTypeInner->toNumber(); |
842: | |
843: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
844: | return new ErrorType(); |
845: | } |
846: | |
847: | if (!$leftNumberType instanceof ConstantScalarType || !$rightNumberType instanceof ConstantScalarType) { |
848: | throw new ShouldNotHappenException(); |
849: | } |
850: | |
851: | if (in_array($rightNumberType->getValue(), [0, 0.0], true)) { |
852: | return new ErrorType(); |
853: | } |
854: | |
855: | $resultType = $this->getTypeFromValue($leftNumberType->getValue() / $rightNumberType->getValue()); |
856: | $resultTypes[] = $resultType; |
857: | } |
858: | } |
859: | return TypeCombinator::union(...$resultTypes); |
860: | } |
861: | |
862: | $leftType = $this->optimizeScalarType($leftType); |
863: | $rightType = $this->optimizeScalarType($rightType); |
864: | } |
865: | |
866: | $rightScalarValues = $rightType->toNumber()->getConstantScalarValues(); |
867: | foreach ($rightScalarValues as $scalarValue) { |
868: | if (in_array($scalarValue, [0, 0.0], true)) { |
869: | return new ErrorType(); |
870: | } |
871: | } |
872: | |
873: | return $this->resolveCommonMath(new BinaryOp\Div($left, $right), $leftType, $rightType); |
874: | } |
875: | |
876: | |
877: | |
878: | |
879: | public function getModType(Expr $left, Expr $right, callable $getTypeCallback): Type |
880: | { |
881: | $leftType = $getTypeCallback($left); |
882: | $rightType = $getTypeCallback($right); |
883: | |
884: | if ($leftType instanceof NeverType || $rightType instanceof NeverType) { |
885: | return $this->getNeverType($leftType, $rightType); |
886: | } |
887: | |
888: | $extensionSpecified = $this->operatorTypeSpecifyingExtensionRegistryProvider->getRegistry() |
889: | ->callOperatorTypeSpecifyingExtensions(new BinaryOp\Mod($left, $right), $leftType, $rightType); |
890: | if ($extensionSpecified !== null) { |
891: | return $extensionSpecified; |
892: | } |
893: | |
894: | if ($leftType->toNumber() instanceof ErrorType || $rightType->toNumber() instanceof ErrorType) { |
895: | return new ErrorType(); |
896: | } |
897: | |
898: | $leftTypes = $leftType->getConstantScalarTypes(); |
899: | $rightTypes = $rightType->getConstantScalarTypes(); |
900: | $leftTypesCount = count($leftTypes); |
901: | $rightTypesCount = count($rightTypes); |
902: | if ($leftTypesCount > 0 && $rightTypesCount > 0) { |
903: | $resultTypes = []; |
904: | $generalize = $leftTypesCount * $rightTypesCount > self::CALCULATE_SCALARS_LIMIT; |
905: | if (!$generalize) { |
906: | foreach ($leftTypes as $leftTypeInner) { |
907: | foreach ($rightTypes as $rightTypeInner) { |
908: | $leftNumberType = $leftTypeInner->toNumber(); |
909: | $rightNumberType = $rightTypeInner->toNumber(); |
910: | |
911: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
912: | return new ErrorType(); |
913: | } |
914: | |
915: | if (!$leftNumberType instanceof ConstantScalarType || !$rightNumberType instanceof ConstantScalarType) { |
916: | throw new ShouldNotHappenException(); |
917: | } |
918: | |
919: | $rightIntegerValue = (int) $rightNumberType->getValue(); |
920: | if ($rightIntegerValue === 0) { |
921: | return new ErrorType(); |
922: | } |
923: | |
924: | $resultType = $this->getTypeFromValue((int) $leftNumberType->getValue() % $rightIntegerValue); |
925: | $resultTypes[] = $resultType; |
926: | } |
927: | } |
928: | return TypeCombinator::union(...$resultTypes); |
929: | } |
930: | |
931: | $leftType = $this->optimizeScalarType($leftType); |
932: | $rightType = $this->optimizeScalarType($rightType); |
933: | } |
934: | |
935: | $integerType = $rightType->toInteger(); |
936: | if ($integerType instanceof ConstantIntegerType && $integerType->getValue() === 1) { |
937: | return new ConstantIntegerType(0); |
938: | } |
939: | |
940: | $rightScalarValues = $rightType->toNumber()->getConstantScalarValues(); |
941: | foreach ($rightScalarValues as $scalarValue) { |
942: | |
943: | if (in_array($scalarValue, [0, 0.0], true)) { |
944: | return new ErrorType(); |
945: | } |
946: | } |
947: | |
948: | $positiveInt = IntegerRangeType::fromInterval(0, null); |
949: | if ($rightType->isInteger()->yes()) { |
950: | $rangeMin = null; |
951: | $rangeMax = null; |
952: | |
953: | if ($rightType instanceof IntegerRangeType) { |
954: | $rangeMax = $rightType->getMax() !== null ? $rightType->getMax() - 1 : null; |
955: | } elseif ($rightType instanceof ConstantIntegerType) { |
956: | $rangeMax = $rightType->getValue() - 1; |
957: | } elseif ($rightType instanceof UnionType) { |
958: | foreach ($rightType->getTypes() as $type) { |
959: | if ($type instanceof IntegerRangeType) { |
960: | if ($type->getMax() === null) { |
961: | $rangeMax = null; |
962: | } else { |
963: | $rangeMax = max($rangeMax, $type->getMax()); |
964: | } |
965: | } elseif ($type instanceof ConstantIntegerType) { |
966: | $rangeMax = max($rangeMax, $type->getValue() - 1); |
967: | } |
968: | } |
969: | } |
970: | |
971: | if ($positiveInt->isSuperTypeOf($leftType)->yes()) { |
972: | $rangeMin = 0; |
973: | } elseif ($rangeMax !== null) { |
974: | $rangeMin = $rangeMax * -1; |
975: | } |
976: | |
977: | return IntegerRangeType::fromInterval($rangeMin, $rangeMax); |
978: | } elseif ($positiveInt->isSuperTypeOf($leftType)->yes()) { |
979: | return IntegerRangeType::fromInterval(0, null); |
980: | } |
981: | |
982: | return new IntegerType(); |
983: | } |
984: | |
985: | |
986: | |
987: | |
988: | public function getPlusType(Expr $left, Expr $right, callable $getTypeCallback): Type |
989: | { |
990: | $leftType = $getTypeCallback($left); |
991: | $rightType = $getTypeCallback($right); |
992: | |
993: | if ($leftType instanceof NeverType || $rightType instanceof NeverType) { |
994: | return $this->getNeverType($leftType, $rightType); |
995: | } |
996: | |
997: | $leftTypes = $leftType->getConstantScalarTypes(); |
998: | $rightTypes = $rightType->getConstantScalarTypes(); |
999: | $leftTypesCount = count($leftTypes); |
1000: | $rightTypesCount = count($rightTypes); |
1001: | if ($leftTypesCount > 0 && $rightTypesCount > 0) { |
1002: | $resultTypes = []; |
1003: | $generalize = $leftTypesCount * $rightTypesCount > self::CALCULATE_SCALARS_LIMIT; |
1004: | if (!$generalize) { |
1005: | foreach ($leftTypes as $leftTypeInner) { |
1006: | foreach ($rightTypes as $rightTypeInner) { |
1007: | $leftNumberType = $leftTypeInner->toNumber(); |
1008: | $rightNumberType = $rightTypeInner->toNumber(); |
1009: | |
1010: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
1011: | return new ErrorType(); |
1012: | } |
1013: | |
1014: | if (!$leftNumberType instanceof ConstantScalarType || !$rightNumberType instanceof ConstantScalarType) { |
1015: | throw new ShouldNotHappenException(); |
1016: | } |
1017: | |
1018: | $resultType = $this->getTypeFromValue($leftNumberType->getValue() + $rightNumberType->getValue()); |
1019: | $resultTypes[] = $resultType; |
1020: | } |
1021: | } |
1022: | |
1023: | return TypeCombinator::union(...$resultTypes); |
1024: | } |
1025: | |
1026: | $leftType = $this->optimizeScalarType($leftType); |
1027: | $rightType = $this->optimizeScalarType($rightType); |
1028: | } |
1029: | |
1030: | $leftConstantArrays = $leftType->getConstantArrays(); |
1031: | $rightConstantArrays = $rightType->getConstantArrays(); |
1032: | |
1033: | $leftCount = count($leftConstantArrays); |
1034: | $rightCount = count($rightConstantArrays); |
1035: | if ($leftCount > 0 && $rightCount > 0 |
1036: | && ($leftCount + $rightCount < ConstantArrayTypeBuilder::ARRAY_COUNT_LIMIT)) { |
1037: | $resultTypes = []; |
1038: | foreach ($rightConstantArrays as $rightConstantArray) { |
1039: | foreach ($leftConstantArrays as $leftConstantArray) { |
1040: | $newArrayBuilder = ConstantArrayTypeBuilder::createFromConstantArray($rightConstantArray); |
1041: | foreach ($leftConstantArray->getKeyTypes() as $i => $leftKeyType) { |
1042: | $optional = $leftConstantArray->isOptionalKey($i); |
1043: | $valueType = $leftConstantArray->getOffsetValueType($leftKeyType); |
1044: | if (!$optional) { |
1045: | if ($rightConstantArray->hasOffsetValueType($leftKeyType)->maybe()) { |
1046: | $valueType = TypeCombinator::union($valueType, $rightConstantArray->getOffsetValueType($leftKeyType)); |
1047: | } |
1048: | } |
1049: | $newArrayBuilder->setOffsetValueType( |
1050: | $leftKeyType, |
1051: | $valueType, |
1052: | $optional, |
1053: | ); |
1054: | } |
1055: | $resultTypes[] = $newArrayBuilder->getArray(); |
1056: | } |
1057: | } |
1058: | return TypeCombinator::union(...$resultTypes); |
1059: | } |
1060: | |
1061: | $leftIsArray = $leftType->isArray(); |
1062: | $rightIsArray = $rightType->isArray(); |
1063: | if ($leftIsArray->yes() && $rightIsArray->yes()) { |
1064: | if ($leftType->getIterableKeyType()->equals($rightType->getIterableKeyType())) { |
1065: | |
1066: | $keyType = $leftType->getIterableKeyType(); |
1067: | } else { |
1068: | $keyTypes = []; |
1069: | foreach ([ |
1070: | $leftType->getIterableKeyType(), |
1071: | $rightType->getIterableKeyType(), |
1072: | ] as $keyType) { |
1073: | $keyTypes[] = $keyType; |
1074: | } |
1075: | $keyType = TypeCombinator::union(...$keyTypes); |
1076: | } |
1077: | |
1078: | $arrayType = new ArrayType( |
1079: | $keyType, |
1080: | TypeCombinator::union($leftType->getIterableValueType(), $rightType->getIterableValueType()), |
1081: | ); |
1082: | |
1083: | foreach ($leftType->getConstantArrays() as $type) { |
1084: | foreach ($type->getKeyTypes() as $i => $offsetType) { |
1085: | if ($type->isOptionalKey($i)) { |
1086: | continue; |
1087: | } |
1088: | $valueType = $type->getValueTypes()[$i]; |
1089: | $arrayType = TypeCombinator::intersect($arrayType, new HasOffsetValueType($offsetType, $valueType)); |
1090: | } |
1091: | } |
1092: | |
1093: | if ($leftType->isIterableAtLeastOnce()->yes() || $rightType->isIterableAtLeastOnce()->yes()) { |
1094: | $arrayType = TypeCombinator::intersect($arrayType, new NonEmptyArrayType()); |
1095: | } |
1096: | if ($leftType->isList()->yes() && $rightType->isList()->yes()) { |
1097: | $arrayType = TypeCombinator::intersect($arrayType, new AccessoryArrayListType()); |
1098: | } |
1099: | |
1100: | return $arrayType; |
1101: | } |
1102: | |
1103: | if ($leftType instanceof MixedType && $rightType instanceof MixedType) { |
1104: | if ( |
1105: | ($leftIsArray->no() && $rightIsArray->no()) |
1106: | ) { |
1107: | return new BenevolentUnionType([ |
1108: | new FloatType(), |
1109: | new IntegerType(), |
1110: | ]); |
1111: | } |
1112: | return new BenevolentUnionType([ |
1113: | new FloatType(), |
1114: | new IntegerType(), |
1115: | new ArrayType(new MixedType(), new MixedType()), |
1116: | ]); |
1117: | } |
1118: | |
1119: | if ( |
1120: | ($leftIsArray->yes() && $rightIsArray->no()) |
1121: | || ($leftIsArray->no() && $rightIsArray->yes()) |
1122: | ) { |
1123: | return new ErrorType(); |
1124: | } |
1125: | |
1126: | if ( |
1127: | ($leftIsArray->yes() && $rightIsArray->maybe()) |
1128: | || ($leftIsArray->maybe() && $rightIsArray->yes()) |
1129: | ) { |
1130: | $resultType = new ArrayType(new MixedType(), new MixedType()); |
1131: | if ($leftType->isIterableAtLeastOnce()->yes() || $rightType->isIterableAtLeastOnce()->yes()) { |
1132: | return TypeCombinator::intersect($resultType, new NonEmptyArrayType()); |
1133: | } |
1134: | |
1135: | return $resultType; |
1136: | } |
1137: | |
1138: | if ($leftIsArray->maybe() && $rightIsArray->maybe()) { |
1139: | $plusable = new UnionType([ |
1140: | new StringType(), |
1141: | new FloatType(), |
1142: | new IntegerType(), |
1143: | new ArrayType(new MixedType(), new MixedType()), |
1144: | new BooleanType(), |
1145: | ]); |
1146: | |
1147: | $plusableSuperTypeOfLeft = $plusable->isSuperTypeOf($leftType)->yes(); |
1148: | $plusableSuperTypeOfRight = $plusable->isSuperTypeOf($rightType)->yes(); |
1149: | if ($plusableSuperTypeOfLeft && $plusableSuperTypeOfRight) { |
1150: | return TypeCombinator::union($leftType, $rightType); |
1151: | } |
1152: | if ($plusableSuperTypeOfLeft && $rightType instanceof MixedType) { |
1153: | return $leftType; |
1154: | } |
1155: | if ($plusableSuperTypeOfRight && $leftType instanceof MixedType) { |
1156: | return $rightType; |
1157: | } |
1158: | } |
1159: | |
1160: | return $this->resolveCommonMath(new BinaryOp\Plus($left, $right), $leftType, $rightType); |
1161: | } |
1162: | |
1163: | |
1164: | |
1165: | |
1166: | public function getMinusType(Expr $left, Expr $right, callable $getTypeCallback): Type |
1167: | { |
1168: | $leftType = $getTypeCallback($left); |
1169: | $rightType = $getTypeCallback($right); |
1170: | |
1171: | $leftTypes = $leftType->getConstantScalarTypes(); |
1172: | $rightTypes = $rightType->getConstantScalarTypes(); |
1173: | $leftTypesCount = count($leftTypes); |
1174: | $rightTypesCount = count($rightTypes); |
1175: | if ($leftTypesCount > 0 && $rightTypesCount > 0) { |
1176: | $resultTypes = []; |
1177: | $generalize = $leftTypesCount * $rightTypesCount > self::CALCULATE_SCALARS_LIMIT; |
1178: | if (!$generalize) { |
1179: | foreach ($leftTypes as $leftTypeInner) { |
1180: | foreach ($rightTypes as $rightTypeInner) { |
1181: | $leftNumberType = $leftTypeInner->toNumber(); |
1182: | $rightNumberType = $rightTypeInner->toNumber(); |
1183: | |
1184: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
1185: | return new ErrorType(); |
1186: | } |
1187: | |
1188: | if (!$leftNumberType instanceof ConstantScalarType || !$rightNumberType instanceof ConstantScalarType) { |
1189: | throw new ShouldNotHappenException(); |
1190: | } |
1191: | |
1192: | $resultType = $this->getTypeFromValue($leftNumberType->getValue() - $rightNumberType->getValue()); |
1193: | $resultTypes[] = $resultType; |
1194: | } |
1195: | } |
1196: | |
1197: | return TypeCombinator::union(...$resultTypes); |
1198: | } |
1199: | |
1200: | $leftType = $this->optimizeScalarType($leftType); |
1201: | $rightType = $this->optimizeScalarType($rightType); |
1202: | } |
1203: | |
1204: | return $this->resolveCommonMath(new BinaryOp\Minus($left, $right), $leftType, $rightType); |
1205: | } |
1206: | |
1207: | |
1208: | |
1209: | |
1210: | public function getMulType(Expr $left, Expr $right, callable $getTypeCallback): Type |
1211: | { |
1212: | $leftType = $getTypeCallback($left); |
1213: | $rightType = $getTypeCallback($right); |
1214: | |
1215: | $leftTypes = $leftType->getConstantScalarTypes(); |
1216: | $rightTypes = $rightType->getConstantScalarTypes(); |
1217: | $leftTypesCount = count($leftTypes); |
1218: | $rightTypesCount = count($rightTypes); |
1219: | if ($leftTypesCount > 0 && $rightTypesCount > 0) { |
1220: | $resultTypes = []; |
1221: | $generalize = $leftTypesCount * $rightTypesCount > self::CALCULATE_SCALARS_LIMIT; |
1222: | if (!$generalize) { |
1223: | foreach ($leftTypes as $leftTypeInner) { |
1224: | foreach ($rightTypes as $rightTypeInner) { |
1225: | $leftNumberType = $leftTypeInner->toNumber(); |
1226: | $rightNumberType = $rightTypeInner->toNumber(); |
1227: | |
1228: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
1229: | return new ErrorType(); |
1230: | } |
1231: | |
1232: | if (!$leftNumberType instanceof ConstantScalarType || !$rightNumberType instanceof ConstantScalarType) { |
1233: | throw new ShouldNotHappenException(); |
1234: | } |
1235: | |
1236: | $resultType = $this->getTypeFromValue($leftNumberType->getValue() * $rightNumberType->getValue()); |
1237: | $resultTypes[] = $resultType; |
1238: | } |
1239: | } |
1240: | |
1241: | return TypeCombinator::union(...$resultTypes); |
1242: | } |
1243: | |
1244: | $leftType = $this->optimizeScalarType($leftType); |
1245: | $rightType = $this->optimizeScalarType($rightType); |
1246: | } |
1247: | |
1248: | $leftNumberType = $leftType->toNumber(); |
1249: | if ($leftNumberType instanceof ConstantIntegerType && $leftNumberType->getValue() === 0) { |
1250: | if ($rightType->isFloat()->yes()) { |
1251: | return new ConstantFloatType(0.0); |
1252: | } |
1253: | return new ConstantIntegerType(0); |
1254: | } |
1255: | $rightNumberType = $rightType->toNumber(); |
1256: | if ($rightNumberType instanceof ConstantIntegerType && $rightNumberType->getValue() === 0) { |
1257: | if ($leftType->isFloat()->yes()) { |
1258: | return new ConstantFloatType(0.0); |
1259: | } |
1260: | return new ConstantIntegerType(0); |
1261: | } |
1262: | |
1263: | return $this->resolveCommonMath(new BinaryOp\Mul($left, $right), $leftType, $rightType); |
1264: | } |
1265: | |
1266: | |
1267: | |
1268: | |
1269: | public function getPowType(Expr $left, Expr $right, callable $getTypeCallback): Type |
1270: | { |
1271: | $leftType = $getTypeCallback($left); |
1272: | $rightType = $getTypeCallback($right); |
1273: | |
1274: | $extensionSpecified = $this->operatorTypeSpecifyingExtensionRegistryProvider->getRegistry() |
1275: | ->callOperatorTypeSpecifyingExtensions(new BinaryOp\Pow($left, $right), $leftType, $rightType); |
1276: | if ($extensionSpecified !== null) { |
1277: | return $extensionSpecified; |
1278: | } |
1279: | |
1280: | $exponentiatedTyped = $leftType->exponentiate($rightType); |
1281: | if (!$exponentiatedTyped instanceof ErrorType) { |
1282: | return $exponentiatedTyped; |
1283: | } |
1284: | |
1285: | return new ErrorType(); |
1286: | } |
1287: | |
1288: | |
1289: | |
1290: | |
1291: | public function getShiftLeftType(Expr $left, Expr $right, callable $getTypeCallback): Type |
1292: | { |
1293: | $leftType = $getTypeCallback($left); |
1294: | $rightType = $getTypeCallback($right); |
1295: | |
1296: | if ($leftType instanceof NeverType || $rightType instanceof NeverType) { |
1297: | return $this->getNeverType($leftType, $rightType); |
1298: | } |
1299: | |
1300: | $leftTypes = $leftType->getConstantScalarTypes(); |
1301: | $rightTypes = $rightType->getConstantScalarTypes(); |
1302: | $leftTypesCount = count($leftTypes); |
1303: | $rightTypesCount = count($rightTypes); |
1304: | if ($leftTypesCount > 0 && $rightTypesCount > 0) { |
1305: | $resultTypes = []; |
1306: | $generalize = $leftTypesCount * $rightTypesCount > self::CALCULATE_SCALARS_LIMIT; |
1307: | if (!$generalize) { |
1308: | foreach ($leftTypes as $leftTypeInner) { |
1309: | foreach ($rightTypes as $rightTypeInner) { |
1310: | $leftNumberType = $leftTypeInner->toNumber(); |
1311: | $rightNumberType = $rightTypeInner->toNumber(); |
1312: | |
1313: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
1314: | return new ErrorType(); |
1315: | } |
1316: | |
1317: | if (!$leftNumberType instanceof ConstantScalarType || !$rightNumberType instanceof ConstantScalarType) { |
1318: | throw new ShouldNotHappenException(); |
1319: | } |
1320: | |
1321: | if ($rightNumberType->getValue() < 0) { |
1322: | return new ErrorType(); |
1323: | } |
1324: | |
1325: | $resultType = $this->getTypeFromValue(intval($leftNumberType->getValue()) << intval($rightNumberType->getValue())); |
1326: | $resultTypes[] = $resultType; |
1327: | } |
1328: | } |
1329: | |
1330: | return TypeCombinator::union(...$resultTypes); |
1331: | } |
1332: | |
1333: | $leftType = $this->optimizeScalarType($leftType); |
1334: | $rightType = $this->optimizeScalarType($rightType); |
1335: | } |
1336: | |
1337: | $leftNumberType = $leftType->toNumber(); |
1338: | $rightNumberType = $rightType->toNumber(); |
1339: | |
1340: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
1341: | return new ErrorType(); |
1342: | } |
1343: | |
1344: | return $this->resolveCommonMath(new Expr\BinaryOp\ShiftLeft($left, $right), $leftType, $rightType); |
1345: | } |
1346: | |
1347: | |
1348: | |
1349: | |
1350: | public function getShiftRightType(Expr $left, Expr $right, callable $getTypeCallback): Type |
1351: | { |
1352: | $leftType = $getTypeCallback($left); |
1353: | $rightType = $getTypeCallback($right); |
1354: | |
1355: | if ($leftType instanceof NeverType || $rightType instanceof NeverType) { |
1356: | return $this->getNeverType($leftType, $rightType); |
1357: | } |
1358: | |
1359: | $leftTypes = $leftType->getConstantScalarTypes(); |
1360: | $rightTypes = $rightType->getConstantScalarTypes(); |
1361: | $leftTypesCount = count($leftTypes); |
1362: | $rightTypesCount = count($rightTypes); |
1363: | if ($leftTypesCount > 0 && $rightTypesCount > 0) { |
1364: | $resultTypes = []; |
1365: | $generalize = $leftTypesCount * $rightTypesCount > self::CALCULATE_SCALARS_LIMIT; |
1366: | if (!$generalize) { |
1367: | foreach ($leftTypes as $leftTypeInner) { |
1368: | foreach ($rightTypes as $rightTypeInner) { |
1369: | $leftNumberType = $leftTypeInner->toNumber(); |
1370: | $rightNumberType = $rightTypeInner->toNumber(); |
1371: | |
1372: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
1373: | return new ErrorType(); |
1374: | } |
1375: | |
1376: | if (!$leftNumberType instanceof ConstantScalarType || !$rightNumberType instanceof ConstantScalarType) { |
1377: | throw new ShouldNotHappenException(); |
1378: | } |
1379: | |
1380: | if ($rightNumberType->getValue() < 0) { |
1381: | return new ErrorType(); |
1382: | } |
1383: | |
1384: | $resultType = $this->getTypeFromValue(intval($leftNumberType->getValue()) >> intval($rightNumberType->getValue())); |
1385: | $resultTypes[] = $resultType; |
1386: | } |
1387: | } |
1388: | |
1389: | return TypeCombinator::union(...$resultTypes); |
1390: | } |
1391: | |
1392: | $leftType = $this->optimizeScalarType($leftType); |
1393: | $rightType = $this->optimizeScalarType($rightType); |
1394: | } |
1395: | |
1396: | $leftNumberType = $leftType->toNumber(); |
1397: | $rightNumberType = $rightType->toNumber(); |
1398: | |
1399: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
1400: | return new ErrorType(); |
1401: | } |
1402: | |
1403: | return $this->resolveCommonMath(new Expr\BinaryOp\ShiftRight($left, $right), $leftType, $rightType); |
1404: | } |
1405: | |
1406: | private function optimizeScalarType(Type $type): Type |
1407: | { |
1408: | $types = []; |
1409: | if ($type->isInteger()->yes()) { |
1410: | $types[] = new IntegerType(); |
1411: | } |
1412: | if ($type->isString()->yes()) { |
1413: | $types[] = new StringType(); |
1414: | } |
1415: | if ($type->isFloat()->yes()) { |
1416: | $types[] = new FloatType(); |
1417: | } |
1418: | if ($type->isNull()->yes()) { |
1419: | $types[] = new NullType(); |
1420: | } |
1421: | |
1422: | if (count($types) === 0) { |
1423: | return new ErrorType(); |
1424: | } |
1425: | |
1426: | if (count($types) === 1) { |
1427: | return $types[0]; |
1428: | } |
1429: | |
1430: | return new UnionType($types); |
1431: | } |
1432: | |
1433: | |
1434: | |
1435: | |
1436: | public function resolveIdenticalType(Type $leftType, Type $rightType): TypeResult |
1437: | { |
1438: | if ($leftType instanceof NeverType || $rightType instanceof NeverType) { |
1439: | return new TypeResult(new ConstantBooleanType(false), []); |
1440: | } |
1441: | |
1442: | if ($leftType instanceof ConstantScalarType && $rightType instanceof ConstantScalarType) { |
1443: | return new TypeResult(new ConstantBooleanType($leftType->getValue() === $rightType->getValue()), []); |
1444: | } |
1445: | |
1446: | $leftTypeFiniteTypes = $leftType->getFiniteTypes(); |
1447: | $rightTypeFiniteType = $rightType->getFiniteTypes(); |
1448: | if (count($leftTypeFiniteTypes) === 1 && count($rightTypeFiniteType) === 1) { |
1449: | return new TypeResult(new ConstantBooleanType($leftTypeFiniteTypes[0]->equals($rightTypeFiniteType[0])), []); |
1450: | } |
1451: | |
1452: | $leftIsSuperTypeOfRight = $leftType->isSuperTypeOf($rightType); |
1453: | $rightIsSuperTypeOfLeft = $rightType->isSuperTypeOf($leftType); |
1454: | if ($leftIsSuperTypeOfRight->no() && $rightIsSuperTypeOfLeft->no()) { |
1455: | return new TypeResult(new ConstantBooleanType(false), array_merge($leftIsSuperTypeOfRight->reasons, $rightIsSuperTypeOfLeft->reasons)); |
1456: | } |
1457: | |
1458: | if ($leftType instanceof ConstantArrayType && $rightType instanceof ConstantArrayType) { |
1459: | return $this->resolveConstantArrayTypeComparison($leftType, $rightType, fn ($leftValueType, $rightValueType): TypeResult => $this->resolveIdenticalType($leftValueType, $rightValueType)); |
1460: | } |
1461: | |
1462: | return new TypeResult(new BooleanType(), []); |
1463: | } |
1464: | |
1465: | |
1466: | |
1467: | |
1468: | public function resolveEqualType(Type $leftType, Type $rightType): TypeResult |
1469: | { |
1470: | if ( |
1471: | ($leftType->isEnum()->yes() && $rightType->isTrue()->no()) |
1472: | || ($rightType->isEnum()->yes() && $leftType->isTrue()->no()) |
1473: | ) { |
1474: | return $this->resolveIdenticalType($leftType, $rightType); |
1475: | } |
1476: | |
1477: | if ($leftType instanceof ConstantArrayType && $rightType instanceof ConstantArrayType) { |
1478: | return $this->resolveConstantArrayTypeComparison($leftType, $rightType, fn ($leftValueType, $rightValueType): TypeResult => $this->resolveEqualType($leftValueType, $rightValueType)); |
1479: | } |
1480: | |
1481: | return new TypeResult($leftType->looseCompare($rightType, $this->phpVersion), []); |
1482: | } |
1483: | |
1484: | |
1485: | |
1486: | |
1487: | |
1488: | private function resolveConstantArrayTypeComparison(ConstantArrayType $leftType, ConstantArrayType $rightType, callable $valueComparisonCallback): TypeResult |
1489: | { |
1490: | $leftKeyTypes = $leftType->getKeyTypes(); |
1491: | $rightKeyTypes = $rightType->getKeyTypes(); |
1492: | $leftValueTypes = $leftType->getValueTypes(); |
1493: | $rightValueTypes = $rightType->getValueTypes(); |
1494: | |
1495: | $resultType = new ConstantBooleanType(true); |
1496: | |
1497: | foreach ($leftKeyTypes as $i => $leftKeyType) { |
1498: | $leftOptional = $leftType->isOptionalKey($i); |
1499: | if ($leftOptional) { |
1500: | $resultType = new BooleanType(); |
1501: | } |
1502: | |
1503: | if (count($rightKeyTypes) === 0) { |
1504: | if (!$leftOptional) { |
1505: | return new TypeResult(new ConstantBooleanType(false), []); |
1506: | } |
1507: | continue; |
1508: | } |
1509: | |
1510: | $found = false; |
1511: | foreach ($rightKeyTypes as $j => $rightKeyType) { |
1512: | unset($rightKeyTypes[$j]); |
1513: | |
1514: | if ($leftKeyType->equals($rightKeyType)) { |
1515: | $found = true; |
1516: | break; |
1517: | } elseif (!$rightType->isOptionalKey($j)) { |
1518: | return new TypeResult(new ConstantBooleanType(false), []); |
1519: | } |
1520: | } |
1521: | |
1522: | if (!$found) { |
1523: | if (!$leftOptional) { |
1524: | return new TypeResult(new ConstantBooleanType(false), []); |
1525: | } |
1526: | continue; |
1527: | } |
1528: | |
1529: | if (!isset($j)) { |
1530: | throw new ShouldNotHappenException(); |
1531: | } |
1532: | |
1533: | $rightOptional = $rightType->isOptionalKey($j); |
1534: | if ($rightOptional) { |
1535: | $resultType = new BooleanType(); |
1536: | if ($leftOptional) { |
1537: | continue; |
1538: | } |
1539: | } |
1540: | |
1541: | $leftIdenticalToRightResult = $valueComparisonCallback($leftValueTypes[$i], $rightValueTypes[$j]); |
1542: | $leftIdenticalToRight = $leftIdenticalToRightResult->type; |
1543: | if ($leftIdenticalToRight->isFalse()->yes()) { |
1544: | return $leftIdenticalToRightResult; |
1545: | } |
1546: | $resultType = TypeCombinator::union($resultType, $leftIdenticalToRight); |
1547: | } |
1548: | |
1549: | foreach (array_keys($rightKeyTypes) as $j) { |
1550: | if (!$rightType->isOptionalKey($j)) { |
1551: | return new TypeResult(new ConstantBooleanType(false), []); |
1552: | } |
1553: | $resultType = new BooleanType(); |
1554: | } |
1555: | |
1556: | return new TypeResult($resultType->toBoolean(), []); |
1557: | } |
1558: | |
1559: | |
1560: | |
1561: | |
1562: | private function resolveCommonMath(Expr\BinaryOp $expr, Type $leftType, Type $rightType): Type |
1563: | { |
1564: | $types = TypeCombinator::union($leftType, $rightType); |
1565: | $leftNumberType = $leftType->toNumber(); |
1566: | $rightNumberType = $rightType->toNumber(); |
1567: | |
1568: | if ( |
1569: | !$types instanceof MixedType |
1570: | && ( |
1571: | $rightNumberType instanceof IntegerRangeType |
1572: | || $rightNumberType instanceof ConstantIntegerType |
1573: | || $rightNumberType instanceof UnionType |
1574: | ) |
1575: | ) { |
1576: | if ($leftNumberType instanceof IntegerRangeType || $leftNumberType instanceof ConstantIntegerType) { |
1577: | return $this->integerRangeMath( |
1578: | $leftNumberType, |
1579: | $expr, |
1580: | $rightNumberType, |
1581: | ); |
1582: | } elseif ($leftNumberType instanceof UnionType) { |
1583: | $unionParts = []; |
1584: | |
1585: | foreach ($leftNumberType->getTypes() as $type) { |
1586: | $numberType = $type->toNumber(); |
1587: | if ($numberType instanceof IntegerRangeType || $numberType instanceof ConstantIntegerType) { |
1588: | $unionParts[] = $this->integerRangeMath($numberType, $expr, $rightNumberType); |
1589: | } else { |
1590: | $unionParts[] = $numberType; |
1591: | } |
1592: | } |
1593: | |
1594: | $union = TypeCombinator::union(...$unionParts); |
1595: | if ($leftNumberType instanceof BenevolentUnionType) { |
1596: | return TypeUtils::toBenevolentUnion($union)->toNumber(); |
1597: | } |
1598: | |
1599: | return $union->toNumber(); |
1600: | } |
1601: | } |
1602: | |
1603: | $specifiedTypes = $this->operatorTypeSpecifyingExtensionRegistryProvider->getRegistry() |
1604: | ->callOperatorTypeSpecifyingExtensions($expr, $leftType, $rightType); |
1605: | if ($specifiedTypes !== null) { |
1606: | return $specifiedTypes; |
1607: | } |
1608: | |
1609: | if ( |
1610: | $leftType->isArray()->yes() |
1611: | || $rightType->isArray()->yes() |
1612: | || $types->isArray()->yes() |
1613: | ) { |
1614: | return new ErrorType(); |
1615: | } |
1616: | |
1617: | if ($leftNumberType instanceof ErrorType || $rightNumberType instanceof ErrorType) { |
1618: | return new ErrorType(); |
1619: | } |
1620: | if ($leftNumberType instanceof NeverType || $rightNumberType instanceof NeverType) { |
1621: | return $this->getNeverType($leftNumberType, $rightNumberType); |
1622: | } |
1623: | |
1624: | if ( |
1625: | $leftNumberType->isFloat()->yes() |
1626: | || $rightNumberType->isFloat()->yes() |
1627: | ) { |
1628: | if ($expr instanceof Expr\BinaryOp\ShiftLeft || $expr instanceof Expr\BinaryOp\ShiftRight) { |
1629: | return new IntegerType(); |
1630: | } |
1631: | return new FloatType(); |
1632: | } |
1633: | |
1634: | $resultType = TypeCombinator::union($leftNumberType, $rightNumberType); |
1635: | if ($expr instanceof Expr\BinaryOp\Div) { |
1636: | if ($types instanceof MixedType || $resultType->isInteger()->yes()) { |
1637: | return new BenevolentUnionType([new IntegerType(), new FloatType()]); |
1638: | } |
1639: | |
1640: | return new UnionType([new IntegerType(), new FloatType()]); |
1641: | } |
1642: | |
1643: | if ($types instanceof MixedType |
1644: | || $leftType instanceof BenevolentUnionType |
1645: | || $rightType instanceof BenevolentUnionType |
1646: | ) { |
1647: | return TypeUtils::toBenevolentUnion($resultType); |
1648: | } |
1649: | |
1650: | return $resultType; |
1651: | } |
1652: | |
1653: | |
1654: | |
1655: | |
1656: | |
1657: | private function integerRangeMath(Type $range, BinaryOp $node, Type $operand): Type |
1658: | { |
1659: | if ($range instanceof IntegerRangeType) { |
1660: | $rangeMin = $range->getMin(); |
1661: | $rangeMax = $range->getMax(); |
1662: | } else { |
1663: | $rangeMin = $range->getValue(); |
1664: | $rangeMax = $rangeMin; |
1665: | } |
1666: | |
1667: | if ($operand instanceof UnionType) { |
1668: | |
1669: | $unionParts = []; |
1670: | |
1671: | foreach ($operand->getTypes() as $type) { |
1672: | $numberType = $type->toNumber(); |
1673: | if ($numberType instanceof IntegerRangeType || $numberType instanceof ConstantIntegerType) { |
1674: | $unionParts[] = $this->integerRangeMath($range, $node, $numberType); |
1675: | } else { |
1676: | $unionParts[] = $type->toNumber(); |
1677: | } |
1678: | } |
1679: | |
1680: | $union = TypeCombinator::union(...$unionParts); |
1681: | if ($operand instanceof BenevolentUnionType) { |
1682: | return TypeUtils::toBenevolentUnion($union)->toNumber(); |
1683: | } |
1684: | |
1685: | return $union->toNumber(); |
1686: | } |
1687: | |
1688: | $operand = $operand->toNumber(); |
1689: | if ($operand instanceof IntegerRangeType) { |
1690: | $operandMin = $operand->getMin(); |
1691: | $operandMax = $operand->getMax(); |
1692: | } elseif ($operand instanceof ConstantIntegerType) { |
1693: | $operandMin = $operand->getValue(); |
1694: | $operandMax = $operand->getValue(); |
1695: | } else { |
1696: | return $operand; |
1697: | } |
1698: | |
1699: | if ($node instanceof BinaryOp\Plus) { |
1700: | if ($operand instanceof ConstantIntegerType) { |
1701: | |
1702: | $min = $rangeMin !== null ? $rangeMin + $operand->getValue() : null; |
1703: | |
1704: | |
1705: | $max = $rangeMax !== null ? $rangeMax + $operand->getValue() : null; |
1706: | } else { |
1707: | |
1708: | $min = $rangeMin !== null && $operand->getMin() !== null ? $rangeMin + $operand->getMin() : null; |
1709: | |
1710: | |
1711: | $max = $rangeMax !== null && $operand->getMax() !== null ? $rangeMax + $operand->getMax() : null; |
1712: | } |
1713: | } elseif ($node instanceof BinaryOp\Minus) { |
1714: | if ($operand instanceof ConstantIntegerType) { |
1715: | |
1716: | $min = $rangeMin !== null ? $rangeMin - $operand->getValue() : null; |
1717: | |
1718: | |
1719: | $max = $rangeMax !== null ? $rangeMax - $operand->getValue() : null; |
1720: | } else { |
1721: | if ($rangeMin === $rangeMax && $rangeMin !== null |
1722: | && ($operand->getMin() === null || $operand->getMax() === null)) { |
1723: | $min = null; |
1724: | $max = $rangeMin; |
1725: | } else { |
1726: | if ($operand->getMin() === null) { |
1727: | $min = null; |
1728: | } elseif ($rangeMin !== null) { |
1729: | if ($operand->getMax() !== null) { |
1730: | |
1731: | $min = $rangeMin - $operand->getMax(); |
1732: | } else { |
1733: | |
1734: | $min = $rangeMin - $operand->getMin(); |
1735: | } |
1736: | } else { |
1737: | $min = null; |
1738: | } |
1739: | |
1740: | if ($operand->getMax() === null) { |
1741: | $min = null; |
1742: | $max = null; |
1743: | } elseif ($rangeMax !== null) { |
1744: | if ($rangeMin !== null && $operand->getMin() === null) { |
1745: | |
1746: | $min = $rangeMin - $operand->getMax(); |
1747: | $max = null; |
1748: | } elseif ($operand->getMin() !== null) { |
1749: | |
1750: | $max = $rangeMax - $operand->getMin(); |
1751: | } else { |
1752: | $max = null; |
1753: | } |
1754: | } else { |
1755: | $max = null; |
1756: | } |
1757: | |
1758: | if ($min !== null && $max !== null && $min > $max) { |
1759: | [$min, $max] = [$max, $min]; |
1760: | } |
1761: | } |
1762: | } |
1763: | } elseif ($node instanceof Expr\BinaryOp\Mul) { |
1764: | $min1 = $rangeMin === 0 || $operandMin === 0 ? 0 : ($rangeMin ?? -INF) * ($operandMin ?? -INF); |
1765: | $min2 = $rangeMin === 0 || $operandMax === 0 ? 0 : ($rangeMin ?? -INF) * ($operandMax ?? INF); |
1766: | $max1 = $rangeMax === 0 || $operandMin === 0 ? 0 : ($rangeMax ?? INF) * ($operandMin ?? -INF); |
1767: | $max2 = $rangeMax === 0 || $operandMax === 0 ? 0 : ($rangeMax ?? INF) * ($operandMax ?? INF); |
1768: | |
1769: | $min = min($min1, $min2, $max1, $max2); |
1770: | $max = max($min1, $min2, $max1, $max2); |
1771: | |
1772: | if (!is_finite($min)) { |
1773: | $min = null; |
1774: | } |
1775: | if (!is_finite($max)) { |
1776: | $max = null; |
1777: | } |
1778: | } elseif ($node instanceof Expr\BinaryOp\Div) { |
1779: | if ($operand instanceof ConstantIntegerType) { |
1780: | $min = $rangeMin !== null && $operand->getValue() !== 0 ? $rangeMin / $operand->getValue() : null; |
1781: | $max = $rangeMax !== null && $operand->getValue() !== 0 ? $rangeMax / $operand->getValue() : null; |
1782: | } else { |
1783: | |
1784: | $operandMin = $operandMin !== 0 ? $operandMin : 1; |
1785: | $operandMax = $operandMax !== 0 ? $operandMax : -1; |
1786: | |
1787: | if ( |
1788: | ($operandMin < 0 || $operandMin === null) |
1789: | && ($operandMax > 0 || $operandMax === null) |
1790: | ) { |
1791: | $negativeOperand = IntegerRangeType::fromInterval($operandMin, 0); |
1792: | assert($negativeOperand instanceof IntegerRangeType); |
1793: | $positiveOperand = IntegerRangeType::fromInterval(0, $operandMax); |
1794: | assert($positiveOperand instanceof IntegerRangeType); |
1795: | |
1796: | $result = TypeCombinator::union( |
1797: | $this->integerRangeMath($range, $node, $negativeOperand), |
1798: | $this->integerRangeMath($range, $node, $positiveOperand), |
1799: | )->toNumber(); |
1800: | |
1801: | if ($result->equals(new UnionType([new IntegerType(), new FloatType()]))) { |
1802: | return new BenevolentUnionType([new IntegerType(), new FloatType()]); |
1803: | } |
1804: | |
1805: | return $result; |
1806: | } |
1807: | if ( |
1808: | ($rangeMin < 0 || $rangeMin === null) |
1809: | && ($rangeMax > 0 || $rangeMax === null) |
1810: | ) { |
1811: | $negativeRange = IntegerRangeType::fromInterval($rangeMin, 0); |
1812: | assert($negativeRange instanceof IntegerRangeType); |
1813: | $positiveRange = IntegerRangeType::fromInterval(0, $rangeMax); |
1814: | assert($positiveRange instanceof IntegerRangeType); |
1815: | |
1816: | $result = TypeCombinator::union( |
1817: | $this->integerRangeMath($negativeRange, $node, $operand), |
1818: | $this->integerRangeMath($positiveRange, $node, $operand), |
1819: | )->toNumber(); |
1820: | |
1821: | if ($result->equals(new UnionType([new IntegerType(), new FloatType()]))) { |
1822: | return new BenevolentUnionType([new IntegerType(), new FloatType()]); |
1823: | } |
1824: | |
1825: | return $result; |
1826: | } |
1827: | |
1828: | $rangeMinSign = ($rangeMin ?? -INF) <=> 0; |
1829: | $rangeMaxSign = ($rangeMax ?? INF) <=> 0; |
1830: | |
1831: | $min1 = $operandMin !== null ? ($rangeMin ?? -INF) / $operandMin : $rangeMinSign * -0.1; |
1832: | $min2 = $operandMax !== null ? ($rangeMin ?? -INF) / $operandMax : $rangeMinSign * 0.1; |
1833: | $max1 = $operandMin !== null ? ($rangeMax ?? INF) / $operandMin : $rangeMaxSign * -0.1; |
1834: | $max2 = $operandMax !== null ? ($rangeMax ?? INF) / $operandMax : $rangeMaxSign * 0.1; |
1835: | |
1836: | $min = min($min1, $min2, $max1, $max2); |
1837: | $max = max($min1, $min2, $max1, $max2); |
1838: | |
1839: | if ($min === -INF) { |
1840: | $min = null; |
1841: | } |
1842: | if ($max === INF) { |
1843: | $max = null; |
1844: | } |
1845: | } |
1846: | |
1847: | if ($min !== null && $max !== null && $min > $max) { |
1848: | [$min, $max] = [$max, $min]; |
1849: | } |
1850: | |
1851: | if (is_float($min)) { |
1852: | $min = (int) ceil($min); |
1853: | } |
1854: | if (is_float($max)) { |
1855: | $max = (int) floor($max); |
1856: | } |
1857: | |
1858: | |
1859: | if ((($range instanceof ConstantIntegerType && $range->getValue() < 0) |
1860: | || ($operand instanceof ConstantIntegerType && $operand->getValue() < 0)) |
1861: | && ($min === null || $max === null)) { |
1862: | [$min, $max] = [$max, $min]; |
1863: | } |
1864: | |
1865: | if ($min === null && $max === null) { |
1866: | return new BenevolentUnionType([new IntegerType(), new FloatType()]); |
1867: | } |
1868: | |
1869: | return TypeCombinator::union(IntegerRangeType::fromInterval($min, $max), new FloatType()); |
1870: | } elseif ($node instanceof Expr\BinaryOp\ShiftLeft) { |
1871: | if (!$operand instanceof ConstantIntegerType) { |
1872: | return new IntegerType(); |
1873: | } |
1874: | if ($operand->getValue() < 0) { |
1875: | return new ErrorType(); |
1876: | } |
1877: | $min = $rangeMin !== null ? intval($rangeMin) << $operand->getValue() : null; |
1878: | $max = $rangeMax !== null ? intval($rangeMax) << $operand->getValue() : null; |
1879: | } elseif ($node instanceof Expr\BinaryOp\ShiftRight) { |
1880: | if (!$operand instanceof ConstantIntegerType) { |
1881: | return new IntegerType(); |
1882: | } |
1883: | if ($operand->getValue() < 0) { |
1884: | return new ErrorType(); |
1885: | } |
1886: | $min = $rangeMin !== null ? intval($rangeMin) >> $operand->getValue() : null; |
1887: | $max = $rangeMax !== null ? intval($rangeMax) >> $operand->getValue() : null; |
1888: | } else { |
1889: | throw new ShouldNotHappenException(); |
1890: | } |
1891: | |
1892: | if (is_float($min)) { |
1893: | $min = null; |
1894: | } |
1895: | if (is_float($max)) { |
1896: | $max = null; |
1897: | } |
1898: | |
1899: | return IntegerRangeType::fromInterval($min, $max); |
1900: | } |
1901: | |
1902: | |
1903: | |
1904: | |
1905: | public function getClassConstFetchTypeByReflection(Name|Expr $class, string $constantName, ?ClassReflection $classReflection, callable $getTypeCallback): Type |
1906: | { |
1907: | $isObject = false; |
1908: | if ($class instanceof Name) { |
1909: | $constantClass = (string) $class; |
1910: | $constantClassType = new ObjectType($constantClass); |
1911: | $namesToResolve = [ |
1912: | 'self', |
1913: | 'parent', |
1914: | ]; |
1915: | if ($classReflection !== null) { |
1916: | if ($classReflection->isFinal()) { |
1917: | $namesToResolve[] = 'static'; |
1918: | } elseif (strtolower($constantClass) === 'static') { |
1919: | if (strtolower($constantName) === 'class') { |
1920: | return new GenericClassStringType(new StaticType($classReflection)); |
1921: | } |
1922: | |
1923: | $namesToResolve[] = 'static'; |
1924: | $isObject = true; |
1925: | } |
1926: | } |
1927: | if (in_array(strtolower($constantClass), $namesToResolve, true)) { |
1928: | $resolvedName = $this->resolveName($class, $classReflection); |
1929: | if (strtolower($resolvedName) === 'parent' && strtolower($constantName) === 'class') { |
1930: | return new ClassStringType(); |
1931: | } |
1932: | $constantClassType = $this->resolveTypeByName($class, $classReflection); |
1933: | } |
1934: | |
1935: | if (strtolower($constantName) === 'class') { |
1936: | return new ConstantStringType($constantClassType->getClassName(), true); |
1937: | } |
1938: | } elseif ($class instanceof String_ && strtolower($constantName) === 'class') { |
1939: | return new ConstantStringType($class->value, true); |
1940: | } else { |
1941: | $constantClassType = $getTypeCallback($class); |
1942: | $isObject = true; |
1943: | } |
1944: | |
1945: | if (strtolower($constantName) === 'class') { |
1946: | return TypeTraverser::map( |
1947: | $constantClassType, |
1948: | function (Type $type, callable $traverse): Type { |
1949: | if ($type instanceof UnionType || $type instanceof IntersectionType) { |
1950: | return $traverse($type); |
1951: | } |
1952: | |
1953: | if ($type instanceof NullType) { |
1954: | return $type; |
1955: | } |
1956: | |
1957: | if ($type instanceof EnumCaseObjectType) { |
1958: | return TypeCombinator::intersect( |
1959: | new GenericClassStringType(new ObjectType($type->getClassName())), |
1960: | new AccessoryLiteralStringType(), |
1961: | ); |
1962: | } |
1963: | |
1964: | $objectClassNames = $type->getObjectClassNames(); |
1965: | if (count($objectClassNames) > 1) { |
1966: | throw new ShouldNotHappenException(); |
1967: | } |
1968: | |
1969: | if ($type instanceof TemplateType && $objectClassNames === []) { |
1970: | return TypeCombinator::intersect( |
1971: | new GenericClassStringType($type), |
1972: | new AccessoryLiteralStringType(), |
1973: | ); |
1974: | } elseif ($objectClassNames !== [] && $this->getReflectionProvider()->hasClass($objectClassNames[0])) { |
1975: | $reflection = $this->getReflectionProvider()->getClass($objectClassNames[0]); |
1976: | if ($reflection->isFinalByKeyword()) { |
1977: | return new ConstantStringType($reflection->getName(), true); |
1978: | } |
1979: | |
1980: | return TypeCombinator::intersect( |
1981: | new GenericClassStringType($type), |
1982: | new AccessoryLiteralStringType(), |
1983: | ); |
1984: | } elseif ($type->isObject()->yes()) { |
1985: | return TypeCombinator::intersect( |
1986: | new ClassStringType(), |
1987: | new AccessoryLiteralStringType(), |
1988: | ); |
1989: | } |
1990: | |
1991: | return new ErrorType(); |
1992: | }, |
1993: | ); |
1994: | } |
1995: | |
1996: | if ($constantClassType->isClassString()->yes()) { |
1997: | if ($constantClassType->isConstantScalarValue()->yes()) { |
1998: | $isObject = false; |
1999: | } |
2000: | $constantClassType = $constantClassType->getClassStringObjectType(); |
2001: | } |
2002: | |
2003: | $types = []; |
2004: | foreach ($constantClassType->getObjectClassNames() as $referencedClass) { |
2005: | if (!$this->getReflectionProvider()->hasClass($referencedClass)) { |
2006: | continue; |
2007: | } |
2008: | |
2009: | $constantClassReflection = $this->getReflectionProvider()->getClass($referencedClass); |
2010: | if (!$constantClassReflection->hasConstant($constantName)) { |
2011: | if ($constantClassReflection->getName() === 'Attribute' && $constantName === 'TARGET_CONSTANT') { |
2012: | return new ConstantIntegerType(1 << 16); |
2013: | } |
2014: | continue; |
2015: | } |
2016: | |
2017: | if ($constantClassReflection->isEnum() && $constantClassReflection->hasEnumCase($constantName)) { |
2018: | $types[] = new EnumCaseObjectType($constantClassReflection->getName(), $constantName); |
2019: | continue; |
2020: | } |
2021: | |
2022: | $resolvingName = sprintf('%s::%s', $constantClassReflection->getName(), $constantName); |
2023: | if (array_key_exists($resolvingName, $this->currentlyResolvingClassConstant)) { |
2024: | $types[] = new MixedType(); |
2025: | continue; |
2026: | } |
2027: | |
2028: | $this->currentlyResolvingClassConstant[$resolvingName] = true; |
2029: | |
2030: | if (!$isObject) { |
2031: | $reflectionConstant = $constantClassReflection->getNativeReflection()->getReflectionConstant($constantName); |
2032: | if ($reflectionConstant === false) { |
2033: | unset($this->currentlyResolvingClassConstant[$resolvingName]); |
2034: | continue; |
2035: | } |
2036: | $reflectionConstantDeclaringClass = $reflectionConstant->getDeclaringClass(); |
2037: | $constantType = $this->getType($reflectionConstant->getValueExpression(), InitializerExprContext::fromClass($reflectionConstantDeclaringClass->getName(), $reflectionConstantDeclaringClass->getFileName() ?: null)); |
2038: | $nativeType = null; |
2039: | if ($reflectionConstant->getType() !== null) { |
2040: | $nativeType = TypehintHelper::decideTypeFromReflection($reflectionConstant->getType(), selfClass: $constantClassReflection); |
2041: | } |
2042: | $types[] = $this->constantResolver->resolveClassConstantType( |
2043: | $constantClassReflection->getName(), |
2044: | $constantName, |
2045: | $constantType, |
2046: | $nativeType, |
2047: | ); |
2048: | unset($this->currentlyResolvingClassConstant[$resolvingName]); |
2049: | continue; |
2050: | } |
2051: | |
2052: | $constantReflection = $constantClassReflection->getConstant($constantName); |
2053: | if ( |
2054: | !$constantClassReflection->isFinal() |
2055: | && !$constantReflection->isFinal() |
2056: | && !$constantReflection->hasPhpDocType() |
2057: | && !$constantReflection->hasNativeType() |
2058: | ) { |
2059: | unset($this->currentlyResolvingClassConstant[$resolvingName]); |
2060: | return new MixedType(); |
2061: | } |
2062: | |
2063: | if (!$constantClassReflection->isFinal()) { |
2064: | $constantType = $constantReflection->getValueType(); |
2065: | } else { |
2066: | $constantType = $this->getType($constantReflection->getValueExpr(), InitializerExprContext::fromClassReflection($constantReflection->getDeclaringClass())); |
2067: | } |
2068: | |
2069: | $nativeType = $constantReflection->getNativeType(); |
2070: | $constantType = $this->constantResolver->resolveClassConstantType( |
2071: | $constantClassReflection->getName(), |
2072: | $constantName, |
2073: | $constantType, |
2074: | $nativeType, |
2075: | ); |
2076: | unset($this->currentlyResolvingClassConstant[$resolvingName]); |
2077: | $types[] = $constantType; |
2078: | } |
2079: | |
2080: | if (count($types) > 0) { |
2081: | return TypeCombinator::union(...$types); |
2082: | } |
2083: | |
2084: | if (!$constantClassType->hasConstant($constantName)->yes()) { |
2085: | return new ErrorType(); |
2086: | } |
2087: | |
2088: | return $constantClassType->getConstant($constantName)->getValueType(); |
2089: | } |
2090: | |
2091: | |
2092: | |
2093: | |
2094: | public function getClassConstFetchType(Name|Expr $class, string $constantName, ?string $className, callable $getTypeCallback): Type |
2095: | { |
2096: | $classReflection = null; |
2097: | if ($className !== null && $this->getReflectionProvider()->hasClass($className)) { |
2098: | $classReflection = $this->getReflectionProvider()->getClass($className); |
2099: | } |
2100: | |
2101: | return $this->getClassConstFetchTypeByReflection($class, $constantName, $classReflection, $getTypeCallback); |
2102: | } |
2103: | |
2104: | |
2105: | |
2106: | |
2107: | public function getUnaryMinusType(Expr $expr, callable $getTypeCallback): Type |
2108: | { |
2109: | $type = $getTypeCallback($expr)->toNumber(); |
2110: | $scalarValues = $type->getConstantScalarValues(); |
2111: | |
2112: | if (count($scalarValues) > 0) { |
2113: | $newTypes = []; |
2114: | foreach ($scalarValues as $scalarValue) { |
2115: | if (is_int($scalarValue)) { |
2116: | |
2117: | $newValue = -$scalarValue; |
2118: | if (!is_int($newValue)) { |
2119: | return $type; |
2120: | } |
2121: | $newTypes[] = new ConstantIntegerType($newValue); |
2122: | } elseif (is_float($scalarValue)) { |
2123: | $newTypes[] = new ConstantFloatType(-$scalarValue); |
2124: | } |
2125: | } |
2126: | |
2127: | return TypeCombinator::union(...$newTypes); |
2128: | } |
2129: | |
2130: | if ($type instanceof IntegerRangeType) { |
2131: | return $getTypeCallback(new Expr\BinaryOp\Mul($expr, new Int_(-1))); |
2132: | } |
2133: | |
2134: | return $type; |
2135: | } |
2136: | |
2137: | |
2138: | |
2139: | |
2140: | public function getBitwiseNotType(Expr $expr, callable $getTypeCallback): Type |
2141: | { |
2142: | $exprType = $getTypeCallback($expr); |
2143: | return TypeTraverser::map($exprType, static function (Type $type, callable $traverse): Type { |
2144: | if ($type instanceof UnionType || $type instanceof IntersectionType) { |
2145: | return $traverse($type); |
2146: | } |
2147: | if ($type instanceof ConstantStringType) { |
2148: | return new ConstantStringType(~$type->getValue()); |
2149: | } |
2150: | if ($type->isString()->yes()) { |
2151: | $accessories = [ |
2152: | new StringType(), |
2153: | ]; |
2154: | if ($type->isNonEmptyString()->yes()) { |
2155: | $accessories[] = new AccessoryNonEmptyStringType(); |
2156: | } |
2157: | |
2158: | |
2159: | |
2160: | return TypeCombinator::intersect(...$accessories); |
2161: | } |
2162: | if ($type->isInteger()->yes() || $type->isFloat()->yes()) { |
2163: | return new IntegerType(); |
2164: | } |
2165: | return new ErrorType(); |
2166: | }); |
2167: | } |
2168: | |
2169: | private function resolveName(Name $name, ?ClassReflection $classReflection): string |
2170: | { |
2171: | $originalClass = (string) $name; |
2172: | if ($classReflection !== null) { |
2173: | $lowerClass = strtolower($originalClass); |
2174: | |
2175: | if (in_array($lowerClass, [ |
2176: | 'self', |
2177: | 'static', |
2178: | ], true)) { |
2179: | return $classReflection->getName(); |
2180: | } elseif ($lowerClass === 'parent') { |
2181: | if ($classReflection->getParentClass() !== null) { |
2182: | return $classReflection->getParentClass()->getName(); |
2183: | } |
2184: | } |
2185: | } |
2186: | |
2187: | return $originalClass; |
2188: | } |
2189: | |
2190: | private function resolveTypeByName(Name $name, ?ClassReflection $classReflection): TypeWithClassName |
2191: | { |
2192: | if ($name->toLowerString() === 'static' && $classReflection !== null) { |
2193: | return new StaticType($classReflection); |
2194: | } |
2195: | |
2196: | $originalClass = $this->resolveName($name, $classReflection); |
2197: | if ($classReflection !== null) { |
2198: | $thisType = new ThisType($classReflection); |
2199: | $ancestor = $thisType->getAncestorWithClassName($originalClass); |
2200: | if ($ancestor !== null) { |
2201: | return $ancestor; |
2202: | } |
2203: | } |
2204: | |
2205: | return new ObjectType($originalClass); |
2206: | } |
2207: | |
2208: | |
2209: | |
2210: | |
2211: | private function getTypeFromValue($value): Type |
2212: | { |
2213: | return ConstantTypeHelper::getTypeFromValue($value); |
2214: | } |
2215: | |
2216: | private function getReflectionProvider(): ReflectionProvider |
2217: | { |
2218: | return $this->reflectionProviderProvider->getReflectionProvider(); |
2219: | } |
2220: | |
2221: | private function getNeverType(Type $leftType, Type $rightType): Type |
2222: | { |
2223: | |
2224: | if ($leftType instanceof NeverType && $leftType->isExplicit()) { |
2225: | return $leftType; |
2226: | } |
2227: | if ($rightType instanceof NeverType && $rightType->isExplicit()) { |
2228: | return $rightType; |
2229: | } |
2230: | return new NeverType(); |
2231: | } |
2232: | |
2233: | } |
2234: | |