Implement enums

RFC: https://wiki.php.net/rfc/enumerations

Author: iluuu1994

Zend/tests/enum/001.phpt

@@ -0,0 +1,30 @@
+--TEST--
+Enum comparison
+--FILE--
+<?php
+
+enum Foo {
+    case Bar;
+    case Baz;
+}
+
+$bar = Foo::Bar;
+$baz = Foo::Baz;
+
+var_dump($bar === $bar);
+var_dump($bar == $bar);
+
+var_dump($bar === $baz);
+var_dump($bar == $baz);
+
+var_dump($baz === $bar);
+var_dump($baz == $bar);
+
+?>
+--EXPECT--
+bool(true)
+bool(true)
+bool(false)
+bool(false)
+bool(false)
+bool(false)

Zend/tests/enum/002.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Enum methods
+--FILE--
+<?php
+
+enum Foo {
+    case Bar;
+    case Baz;
+
+    public function dump() {
+        var_dump($this);
+    }
+}
+
+Foo::Bar->dump();
+Foo::Baz->dump();
+
+?>
+--EXPECT--
+enum(Foo::Bar)
+enum(Foo::Baz)

Zend/tests/enum/003.phpt

@@ -0,0 +1,35 @@
+--TEST--
+Enum type hints
+--FILE--
+<?php
+
+enum Foo {
+    case Bar;
+}
+
+enum Baz {
+    case Qux;
+}
+
+function takesFoo(Foo $foo) {}
+function takesBaz(Baz $baz) {}
+
+takesFoo(Foo::Bar);
+takesBaz(Baz::Qux);
+
+try {
+    takesBaz(Foo::Bar);
+} catch (Error $e) {
+    echo $e->getMessage() . "\n";
+}
+
+try {
+    takesFoo(Baz::Qux);
+} catch (Error $e) {
+    echo $e->getMessage() . "\n";
+}
+
+?>
+--EXPECTF--
+takesBaz(): Argument #1 ($baz) must be of type Baz, Foo::Bar given, called in %s on line %d
+takesFoo(): Argument #1 ($foo) must be of type Foo, Baz::Qux given, called in %s on line %d

Zend/tests/enum/004.phpt

@@ -0,0 +1,25 @@
+--TEST--
+Enum instanceof
+--FILE--
+<?php
+
+enum Foo {
+    case Bar;
+}
+
+enum Baz {
+    case Qux;
+}
+
+var_dump(Foo::Bar instanceof Foo);
+var_dump(Baz::Qux instanceof Baz);
+
+var_dump(Foo::Bar instanceof Baz);
+var_dump(Baz::Qux instanceof Foo);
+
+?>
+--EXPECT--
+bool(true)
+bool(true)
+bool(false)
+bool(false)

Zend/tests/enum/005.phpt

@@ -0,0 +1,34 @@
+--TEST--
+Enum implements implemented in enum
+--FILE--
+<?php
+
+interface Colorful {
+    public function color(): string;
+}
+
+enum Suit /* implements Colorful */ {
+    case Hearts;
+    case Diamonds;
+    case Clubs;
+    case Spades;
+
+    public function color(): string {
+        return match ($this) {
+            self::Hearts, self::Diamonds => 'Red',
+            self::Clubs, self::Spades => 'Black',
+        };
+    }
+}
+
+echo Suit::Hearts->color() . "\n";
+echo Suit::Diamonds->color() . "\n";
+echo Suit::Clubs->color() . "\n";
+echo Suit::Spades->color() . "\n";
+
+?>
+--EXPECT--
+Red
+Red
+Black
+Black

Zend/tests/enum/006.phpt

@@ -0,0 +1,46 @@
+--TEST--
+Enum implements implemented in cases
+--FILE--
+<?php
+
+interface Colorful {
+    public function color(): string;
+}
+
+enum Suit /* implements Colorful */ {
+    case Hearts {
+        public function color(): string {
+            return 'Red';
+        }
+    }
+
+    case Diamonds {
+        public function color(): string {
+            return 'Red';
+        }
+    }
+
+    case Clubs {
+        public function color(): string {
+            return 'Black';
+        }
+    }
+
+    case Spades {
+        public function color(): string {
+            return 'Black';
+        }
+    }
+}
+
+echo Suit::Hearts->color() . "\n";
+echo Suit::Diamonds->color() . "\n";
+echo Suit::Clubs->color() . "\n";
+echo Suit::Spades->color() . "\n";
+
+?>
+--EXPECT--
+Red
+Red
+Black
+Black

Zend/tests/enum/007.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Enum is final
+--FILE--
+<?php
+
+enum Foo {}
+
+class Bar extends Foo {}
+
+?>
+--EXPECTF--
+Fatal error: Class Bar may not inherit from final class (Foo) in %s on line %d

Zend/tests/enum/008.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Enum case is final
+--FILE--
+<?php
+
+enum Foo {
+    case Bar;
+}
+
+class_alias('Foo::Bar', 'Bar');
+
+class Baz extends Bar {}
+
+?>
+--EXPECTF--
+Fatal error: Class Baz may not inherit from final class (Foo::Bar) in %s on line %d

Zend/tests/enum/009.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Enum disallows properties
+--FILE--
+<?php
+
+enum Foo {
+    public $bar;
+}
+
+?>
+--EXPECTF--
+Fatal error: Enums may not include member variables in %s on line %d

Zend/tests/enum/010.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Enum case disallows properties
+--FILE--
+<?php
+
+enum Foo {
+    case Bar {
+        public $baz;
+    }
+}
+
+?>
+--EXPECTF--
+Fatal error: Enum cases may not include member variables in %s on line %d