PropertyPropertyExtension

PHPStan extension for handling dynamic properties in WebDAV Property classes.

class PropertyPropertyExtension implements \Hazaar\HTTP\WebDAV\PHPStan\PropertiesClassReflectionExtension

Implements logic to inform PHPStan about properties available on WebDAV Property classes and their subclasses.

Methods

hasProperty

Determines if the given class or its subclass has the specified property.

public hasProperty(ClassReflection $classReflection, string $propertyName): bool

Used by PHPStan to check for dynamic properties on WebDAV Property classes.

Parameters

Parameter	Type	Description
$classReflection	ClassReflection	the class reflection to check
$propertyName	string	the name of the property to check for

getProperty

Returns a PropertyReflection instance for the specified property.

public getProperty(ClassReflection $classReflection, string $propertyName): PropertyReflection

Used by PHPStan to provide reflection information for dynamic properties on WebDAV Property classes.

Parameters

Parameter	Type	Description
$classReflection	ClassReflection	the class reflection for which to get the property
$propertyName	string	the name of the property to reflect

---

Generated by Hazaar API Doc Generator on Tue, 21 Apr 2026 04:00:25 +0000