1: <?php declare(strict_types = 1);
2:
3: namespace PHPStan\Rules\Properties;
4:
5: use PHPStan\Reflection\PropertyReflection;
6:
7: /** @api */
8: interface ReadWritePropertiesExtension
9: {
10:
11: public function isAlwaysRead(PropertyReflection $property, string $propertyName): bool;
12:
13: public function isAlwaysWritten(PropertyReflection $property, string $propertyName): bool;
14:
15: public function isInitialized(PropertyReflection $property, string $propertyName): bool;
16:
17: }
18: