| 1: | <?php declare(strict_types = 1); | 
| 2: | |
| 3: | namespace PHPStan\Reflection; | 
| 4: | |
| 5: | /** @api */ | 
| 6: | interface PropertiesClassReflectionExtension | 
| 7: | { | 
| 8: | |
| 9: | public function hasProperty(ClassReflection $classReflection, string $propertyName): bool; | 
| 10: | |
| 11: | public function getProperty(ClassReflection $classReflection, string $propertyName): PropertyReflection; | 
| 12: | |
| 13: | } | 
| 14: |