| 1: | <?php declare(strict_types = 1); |
| 2: | |
| 3: | namespace PHPStan\Analyser; |
| 4: | |
| 5: | use PhpParser\Node\Expr; |
| 6: | use PHPStan\Type\Type; |
| 7: | |
| 8: | /** |
| 9: | * @api |
| 10: | */ |
| 11: | interface TypeSpecifier |
| 12: | { |
| 13: | |
| 14: | public function specifyTypesInCondition( |
| 15: | Scope $scope, |
| 16: | Expr $expr, |
| 17: | TypeSpecifierContext $context, |
| 18: | ): SpecifiedTypes; |
| 19: | |
| 20: | public function create( |
| 21: | Expr $expr, |
| 22: | Type $type, |
| 23: | TypeSpecifierContext $context, |
| 24: | Scope $scope, |
| 25: | ): SpecifiedTypes; |
| 26: | |
| 27: | } |
| 28: |