From 6353959bced6e46fb3fa91da63f270d6b8e707ab Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Tue, 1 Mar 2022 10:52:23 +0100
Subject: refresh reflection with 8.0

---
 REFLECTION | 45 +++++++++++++++++++++++++++++++--------------
 1 file changed, 31 insertions(+), 14 deletions(-)

(limited to 'REFLECTION')

diff --git a/REFLECTION b/REFLECTION
index f95ee95..871ab66 100644
--- a/REFLECTION
+++ b/REFLECTION
@@ -1,12 +1,12 @@
-Extension [ <persistent> extension #73 hdrhistogram version 0.4.2 ] {
+Extension [ <persistent> extension #74 hdrhistogram version 0.4.2 ] {
 
   - Functions {
     Function [ <internal:hdrhistogram> function hdr_init ] {
 
       - Parameters [3] {
-        Parameter #0 [ <required> $lowest_trackable_value ]
-        Parameter #1 [ <required> $highest_trackable_value ]
-        Parameter #2 [ <required> $significant_figures ]
+        Parameter #0 [ <required> int $lowest_trackable_value ]
+        Parameter #1 [ <required> int $highest_trackable_value ]
+        Parameter #2 [ <required> int $significant_figures ]
       }
     }
     Function [ <internal:hdrhistogram> function hdr_get_memory_size ] {
@@ -14,79 +14,91 @@ Extension [ <persistent> extension #73 hdrhistogram version 0.4.2 ] {
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ int ]
     }
     Function [ <internal:hdrhistogram> function hdr_record_value ] {
 
       - Parameters [2] {
         Parameter #0 [ <required> $hdr ]
-        Parameter #1 [ <required> $value ]
+        Parameter #1 [ <required> int $value ]
       }
+      - Return [ bool ]
     }
     Function [ <internal:hdrhistogram> function hdr_record_values ] {
 
       - Parameters [3] {
         Parameter #0 [ <required> $hdr ]
-        Parameter #1 [ <required> $value ]
-        Parameter #2 [ <required> $count ]
+        Parameter #1 [ <required> int $value ]
+        Parameter #2 [ <required> int $count ]
       }
+      - Return [ bool ]
     }
     Function [ <internal:hdrhistogram> function hdr_record_corrected_value ] {
 
       - Parameters [3] {
         Parameter #0 [ <required> $hdr ]
-        Parameter #1 [ <required> $value ]
-        Parameter #2 [ <required> $expected_interval ]
+        Parameter #1 [ <required> int $value ]
+        Parameter #2 [ <required> int $expected_interval ]
       }
+      - Return [ void ]
     }
     Function [ <internal:hdrhistogram> function hdr_mean ] {
 
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ int ]
     }
     Function [ <internal:hdrhistogram> function hdr_stddev ] {
 
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ float ]
     }
     Function [ <internal:hdrhistogram> function hdr_min ] {
 
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ int ]
     }
     Function [ <internal:hdrhistogram> function hdr_max ] {
 
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ int ]
     }
     Function [ <internal:hdrhistogram> function hdr_total_count ] {
 
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ int ]
     }
     Function [ <internal:hdrhistogram> function hdr_reset ] {
 
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ void ]
     }
     Function [ <internal:hdrhistogram> function hdr_count_at_value ] {
 
       - Parameters [2] {
         Parameter #0 [ <required> $hdr ]
-        Parameter #1 [ <required> $value ]
+        Parameter #1 [ <required> int $value ]
       }
+      - Return [ int ]
     }
     Function [ <internal:hdrhistogram> function hdr_value_at_percentile ] {
 
       - Parameters [2] {
         Parameter #0 [ <required> $hdr ]
-        Parameter #1 [ <required> $percentile ]
+        Parameter #1 [ <required> float $percentile ]
       }
+      - Return [ int ]
     }
     Function [ <internal:hdrhistogram> function hdr_add ] {
 
@@ -101,6 +113,7 @@ Extension [ <persistent> extension #73 hdrhistogram version 0.4.2 ] {
         Parameter #0 [ <required> $hdr1 ]
         Parameter #1 [ <required> $hdr2 ]
       }
+      - Return [ int ]
     }
     Function [ <internal:hdrhistogram> function hdr_iter_init ] {
 
@@ -113,12 +126,13 @@ Extension [ <persistent> extension #73 hdrhistogram version 0.4.2 ] {
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ array|false ]
     }
     Function [ <internal:hdrhistogram> function hdr_percentile_iter_init ] {
 
       - Parameters [2] {
         Parameter #0 [ <required> $hdr ]
-        Parameter #1 [ <required> $ticks_per_half_distance ]
+        Parameter #1 [ <required> int $ticks_per_half_distance ]
       }
     }
     Function [ <internal:hdrhistogram> function hdr_percentile_iter_next ] {
@@ -126,17 +140,19 @@ Extension [ <persistent> extension #73 hdrhistogram version 0.4.2 ] {
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ array|false ]
     }
     Function [ <internal:hdrhistogram> function hdr_export ] {
 
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ array ]
     }
     Function [ <internal:hdrhistogram> function hdr_import ] {
 
       - Parameters [1] {
-        Parameter #0 [ <required> $import ]
+        Parameter #0 [ <required> array $import ]
       }
     }
     Function [ <internal:hdrhistogram> function hdr_base64_encode ] {
@@ -144,11 +160,12 @@ Extension [ <persistent> extension #73 hdrhistogram version 0.4.2 ] {
       - Parameters [1] {
         Parameter #0 [ <required> $hdr ]
       }
+      - Return [ string|false ]
     }
     Function [ <internal:hdrhistogram> function hdr_base64_decode ] {
 
       - Parameters [1] {
-        Parameter #0 [ <required> $data ]
+        Parameter #0 [ <required> string $data ]
       }
     }
   }
-- 
cgit