Add support for readonly classes

Author: kocsismate

Zend/tests/readonly_classes/readonly_class_duplicated_modifier.phpt

@@ -0,0 +1,12 @@
+--TEST--
+The readonly class modifier can only be added once
+--FILE--
+<?php
+
+readonly readonly class Foo
+{
+}
+
+?>
+--EXPECTF--
+Fatal error: Multiple readonly modifiers are not allowed in %s on line %d

Zend/tests/readonly_classes/readonly_class_dynamic_property.phpt

@@ -0,0 +1,20 @@
+--TEST--
+Readonly classes cannot use dynamic properties
+--FILE--
+<?php
+
+readonly class Foo
+{
+}
+
+$foo = new Foo();
+
+try {
+    $foo->bar = 1;
+} catch (Error $exception) {
+    echo $exception->getMessage() . "\n";
+}
+
+?>
+--EXPECT--
+Cannot create dynamic property Foo::$bar

Zend/tests/readonly_classes/readonly_class_inheritance_error1.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Non-readonly class cannot extend a readonly class
+--FILE--
+<?php
+
+readonly class Foo
+{
+}
+
+class Bar extends Foo
+{
+}
+
+?>
+--EXPECTF--
+Fatal error: Non-readonly class Bar cannot extend readonly class Foo in %s on line %d

Zend/tests/readonly_classes/readonly_class_inheritance_error2.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Readonly class cannot extend a non-readonly class
+--FILE--
+<?php
+
+class Foo
+{
+}
+
+readonly class Bar extends Foo
+{
+}
+
+?>
+--EXPECTF--
+Fatal error: Readonly class Bar cannot extend non-readonly class Foo in %s on line %d

Zend/tests/readonly_classes/readonly_class_inheritance_success.phpt

@@ -0,0 +1,15 @@
+--TEST--
+Readonly class can extend a readonly class
+--FILE--
+<?php
+
+readonly class Foo
+{
+}
+
+readonly class Bar extends Foo
+{
+}
+
+?>
+--EXPECT--

Zend/tests/readonly_classes/readonly_class_missing_type1.phpt

@@ -0,0 +1,13 @@
+--TEST--
+Normal properties of a readonly class must have type
+--FILE--
+<?php
+
+readonly class Foo
+{
+    public $bar;
+}
+
+?>
+--EXPECTF--
+Fatal error: Readonly property Foo::$bar must have type in %s on line %d

Zend/tests/readonly_classes/readonly_class_missing_type2.phpt

@@ -0,0 +1,15 @@
+--TEST--
+Promoted properties of a readonly class must have type
+--FILE--
+<?php
+
+readonly class Foo
+{
+    public function __construct(
+        private $bar
+    ) {}
+}
+
+?>
+--EXPECTF--
+Fatal error: Readonly property Foo::$bar must have type in %s on line %d

Zend/tests/readonly_classes/readonly_class_property1.phpt

@@ -0,0 +1,25 @@
+--TEST--
+Normal properties of a readonly class are implicitly declared as readonly
+--FILE--
+<?php
+
+readonly class Foo
+{
+    public int $bar;
+
+    public function __construct() {
+        $this->bar = 1;
+    }
+}
+
+$foo = new Foo();
+
+try {
+    $foo->bar = 2;
+} catch (Error $exception) {
+    echo $exception->getMessage() . "\n";
+}
+
+?>
+--EXPECT--
+Cannot modify readonly property Foo::$bar

Zend/tests/readonly_classes/readonly_class_property2.phpt

@@ -0,0 +1,23 @@
+--TEST--
+Promoted properties of a readonly class are implicitly declared as readonly
+--FILE--
+<?php
+
+readonly class Foo
+{
+    public function __construct(
+        public int $bar
+    ) {}
+}
+
+$foo = new Foo(1);
+
+try {
+    $foo->bar = 2;
+} catch (Error $exception) {
+    echo $exception->getMessage() . "\n";
+}
+
+?>
+--EXPECT--
+Cannot modify readonly property Foo::$bar

Zend/tests/readonly_classes/readonly_enum.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Enums cannot be readonly
+--FILE--
+<?php
+
+readonly enum Foo
+{
+}
+
+?>
+--EXPECTF--
+Parse error: syntax error, unexpected token "enum", expecting "abstract" or "final" or "readonly" or "class" in %s on line %d