Enums will no longer crash the playground

Author: ondrejmirtes

src/Reflection/ClassReflection.php

@@ -544,6 +544,27 @@ public function hasEnumCase(string $name): bool
 		return $this->reflection->hasCase($name);
 	}
 
+	/**
+	 * @return array<string, EnumCaseReflection>
+	 */
+	public function getEnumCases(): array
+	{
+		if (!$this->reflection instanceof ReflectionEnum) {
+			throw new ShouldNotHappenException();
+		}
+
+		$cases = [];
+		foreach ($this->reflection->getCases() as $case) {
+			$valueType = null;
+			if ($case instanceof ReflectionEnumBackedCase) {
+				$valueType = ConstantTypeHelper::getTypeFromValue($case->getBackingValue());
+			}
+			$cases[$case->getName()] = new EnumCaseReflection($this, $case->getName(), $valueType);
+		}
+
+		return $cases;
+	}
+
 	public function getEnumCase(string $name): EnumCaseReflection
 	{
 		if (!$this->hasEnumCase($name)) {

src/Reflection/Php/PhpClassReflectionExtension.php

@@ -158,11 +158,7 @@ private function createProperty(
 				|| ($declaringClassReflection->isBackedEnum() && $propertyName === 'value')
 			) {
 				$types = [];
-				foreach (array_keys($classReflection->getNativeReflection()->getConstants()) as $name) {
-					if (!$classReflection->hasEnumCase($name)) {
-						continue;
-					}
-
+				foreach (array_keys($classReflection->getEnumCases()) as $name) {
 					if ($propertyName === 'name') {
 						$types[] = new ConstantStringType($name);
 						continue;
@@ -450,11 +446,7 @@ private function createMethod(
 			&& strtolower($methodReflection->getName()) === 'cases'
 		) {
 			$arrayBuilder = ConstantArrayTypeBuilder::createEmpty();
-			foreach (array_keys($classReflection->getNativeReflection()->getConstants()) as $name) {
-				if (!$classReflection->hasEnumCase($name)) {
-					continue;
-				}
-
+			foreach (array_keys($classReflection->getEnumCases()) as $name) {
 				$arrayBuilder->setOffsetValueType(null, new EnumCaseObjectType($classReflection->getName(), $name));
 			}
 

src/Type/ObjectType.php

@@ -979,14 +979,9 @@ public function changeSubtractedType(?Type $subtractedType): Type
 	{
 		$classReflection = $this->getClassReflection();
 		if ($classReflection !== null && $classReflection->isEnum() && $subtractedType !== null) {
-			$constants = $classReflection->getNativeReflection()->getConstants();
 			$cases = [];
-			foreach (array_keys($constants) as $constantName) {
-				if (!$classReflection->hasEnumCase($constantName)) {
-					continue;
-				}
-
-				$cases[$constantName] = new EnumCaseObjectType($classReflection->getName(), $constantName);
+			foreach (array_keys($classReflection->getEnumCases()) as $name) {
+				$cases[$name] = new EnumCaseObjectType($classReflection->getName(), $name);
 			}
 
 			foreach (TypeUtils::flattenTypes($subtractedType) as $subType) {

src/Type/StaticType.php

@@ -408,13 +408,8 @@ public function changeSubtractedType(?Type $subtractedType): Type
 	{
 		$classReflection = $this->getClassReflection();
 		if ($classReflection !== null && $classReflection->isEnum() && $subtractedType !== null) {
-			$constants = $classReflection->getNativeReflection()->getConstants();
 			$cases = [];
-			foreach (array_keys($constants) as $constantName) {
-				if (!$classReflection->hasEnumCase($constantName)) {
-					continue;
-				}
-
+			foreach (array_keys($classReflection->getEnumCases()) as $constantName) {
 				$cases[$constantName] = new EnumCaseObjectType($classReflection->getName(), $constantName);
 			}