public string $email { get => 'mailto:' . $this->email; }

 get { 'mailto:' . $this->email; }

set ($value) { $this->[propertyName = $value }

set { $this->[propertyName = $value }

set ($value) => {expression}

set => {expression}// expression form with implicit $value

&get => { }

public string $role = 'anonymous' { set { Roles::from($value); $this->role = $value; } }

class StandardUser { public string $email { final set { if (! filter_var($value, FILTER_VALIDATE_EMAIL, FILTER_FLAG_EMAIL_UNICODE)) { throw new InvalidArgumentException('Invalid email'); } $this->email = $value; } } }

class User { // Child classes may not add hooks of any kind to this property. public final string $name; // Child classes may not add any hooks or override set, // but this set will still apply. public final string $username { set => [strtolower](http://www.php.net/strtolower)($value); } }

abstract class StandardUser { abstract public string $email { get; } }

interface I { // An implementing class MUST have a publicly-readable property, // but whether or not it's publicly settable is unrestricted. public string $readable { get; } }

interface I { // An implementing class MUST have a publicly-writeable property, // but whether or not it's publicly readable is unrestricted. public string $writeable { set; } }

interface I { // An implementing class MUST have a property that is both publicly // readable and publicly writeable. public string $both { get; set; } }