Rename GetFloatBounds to IntervalBoundary

Author: TimWolla

ext/random/php_random.h

@@ -270,7 +270,8 @@ extern PHPAPI zend_class_entry *random_ce_Random_Engine_Xoshiro256StarStar;
 extern PHPAPI zend_class_entry *random_ce_Random_Engine_Secure;
 
 extern PHPAPI zend_class_entry *random_ce_Random_Randomizer;
-extern PHPAPI zend_class_entry *random_ce_Random_Randomizer_GetFloatBounds;
+
+extern PHPAPI zend_class_entry *random_ce_Random_IntervalBoundary;
 
 static inline php_random_engine *php_random_engine_from_obj(zend_object *object) {
 	return (php_random_engine *)((char *)(object) - XtOffsetOf(php_random_engine, std));

ext/random/random.c

@@ -76,7 +76,8 @@ PHPAPI zend_class_entry *random_ce_Random_Engine_Xoshiro256StarStar;
 PHPAPI zend_class_entry *random_ce_Random_Engine_Secure;
 
 PHPAPI zend_class_entry *random_ce_Random_Randomizer;
-PHPAPI zend_class_entry *random_ce_Random_Randomizer_GetFloatBounds;
+
+PHPAPI zend_class_entry *random_ce_Random_IntervalBoundary;
 
 PHPAPI zend_class_entry *random_ce_Random_RandomError;
 PHPAPI zend_class_entry *random_ce_Random_BrokenRandomEngineError;
@@ -886,8 +887,8 @@ PHP_MINIT_FUNCTION(random)
 	random_randomizer_object_handlers.free_obj = randomizer_free_obj;
 	random_randomizer_object_handlers.clone_obj = NULL;
 
-	/* Random\Randomizer\GetFloatBounds */
-	random_ce_Random_Randomizer_GetFloatBounds = register_class_Random_Randomizer_GetFloatBounds();
+	/* Random\IntervalBoundary */
+	random_ce_Random_IntervalBoundary = register_class_Random_IntervalBoundary();
 
 	register_random_symbols(module_number);
 

ext/random/random.stub.php

@@ -111,16 +111,6 @@ public function generate(): string {}
     }
 }
 
-namespace Random\Randomizer
-{
-    enum GetFloatBounds {
-        case ClosedOpen;
-        case ClosedClosed;
-        case OpenClosed;
-        case OpenOpen;
-    }
-}
-
 namespace Random
 {
     interface Engine
@@ -145,7 +135,7 @@ public function nextInt(): int {}
 
         public function nextFloat(): float {}
 
-        public function getFloat(float $min, float $max, Randomizer\GetFloatBounds $bounds = GetFloatBounds::ClosedOpen): float {}
+        public function getFloat(float $min, float $max, IntervalBoundary $bounds = IntervalBoundary::ClosedOpen): float {}
 
         public function getInt(int $min, int $max): int {}
 
@@ -162,6 +152,13 @@ public function __serialize(): array {}
         public function __unserialize(array $data): void {}
     }
 
+    enum IntervalBoundary {
+        case ClosedOpen;
+        case ClosedClosed;
+        case OpenClosed;
+        case OpenOpen;
+    }
+
     /**
      * @strict-properties
      */

ext/random/random_arginfo.h

@@ -232,7 +232,7 @@ PHP_METHOD(Random_Randomizer, getFloat)
 		Z_PARAM_DOUBLE(min)
 		Z_PARAM_DOUBLE(max)
 		Z_PARAM_OPTIONAL
-		Z_PARAM_OBJ_OF_CLASS(bounds, random_ce_Random_Randomizer_GetFloatBounds);
+		Z_PARAM_OBJ_OF_CLASS(bounds, random_ce_Random_IntervalBoundary);
 	ZEND_PARSE_PARAMETERS_END();
 
 #ifndef __STDC_IEC_559__