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: