From 6353959bced6e46fb3fa91da63f270d6b8e707ab Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Tue, 1 Mar 2022 10:52:23 +0100 Subject: refresh reflection with 8.0 --- REFLECTION | 45 +++++++++++++++++++++++++++++++-------------- 1 file changed, 31 insertions(+), 14 deletions(-) diff --git a/REFLECTION b/REFLECTION index f95ee95..871ab66 100644 --- a/REFLECTION +++ b/REFLECTION @@ -1,12 +1,12 @@ -Extension [ extension #73 hdrhistogram version 0.4.2 ] { +Extension [ extension #74 hdrhistogram version 0.4.2 ] { - Functions { Function [ function hdr_init ] { - Parameters [3] { - Parameter #0 [ $lowest_trackable_value ] - Parameter #1 [ $highest_trackable_value ] - Parameter #2 [ $significant_figures ] + Parameter #0 [ int $lowest_trackable_value ] + Parameter #1 [ int $highest_trackable_value ] + Parameter #2 [ int $significant_figures ] } } Function [ function hdr_get_memory_size ] { @@ -14,79 +14,91 @@ Extension [ extension #73 hdrhistogram version 0.4.2 ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ int ] } Function [ function hdr_record_value ] { - Parameters [2] { Parameter #0 [ $hdr ] - Parameter #1 [ $value ] + Parameter #1 [ int $value ] } + - Return [ bool ] } Function [ function hdr_record_values ] { - Parameters [3] { Parameter #0 [ $hdr ] - Parameter #1 [ $value ] - Parameter #2 [ $count ] + Parameter #1 [ int $value ] + Parameter #2 [ int $count ] } + - Return [ bool ] } Function [ function hdr_record_corrected_value ] { - Parameters [3] { Parameter #0 [ $hdr ] - Parameter #1 [ $value ] - Parameter #2 [ $expected_interval ] + Parameter #1 [ int $value ] + Parameter #2 [ int $expected_interval ] } + - Return [ void ] } Function [ function hdr_mean ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ int ] } Function [ function hdr_stddev ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ float ] } Function [ function hdr_min ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ int ] } Function [ function hdr_max ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ int ] } Function [ function hdr_total_count ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ int ] } Function [ function hdr_reset ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ void ] } Function [ function hdr_count_at_value ] { - Parameters [2] { Parameter #0 [ $hdr ] - Parameter #1 [ $value ] + Parameter #1 [ int $value ] } + - Return [ int ] } Function [ function hdr_value_at_percentile ] { - Parameters [2] { Parameter #0 [ $hdr ] - Parameter #1 [ $percentile ] + Parameter #1 [ float $percentile ] } + - Return [ int ] } Function [ function hdr_add ] { @@ -101,6 +113,7 @@ Extension [ extension #73 hdrhistogram version 0.4.2 ] { Parameter #0 [ $hdr1 ] Parameter #1 [ $hdr2 ] } + - Return [ int ] } Function [ function hdr_iter_init ] { @@ -113,12 +126,13 @@ Extension [ extension #73 hdrhistogram version 0.4.2 ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ array|false ] } Function [ function hdr_percentile_iter_init ] { - Parameters [2] { Parameter #0 [ $hdr ] - Parameter #1 [ $ticks_per_half_distance ] + Parameter #1 [ int $ticks_per_half_distance ] } } Function [ function hdr_percentile_iter_next ] { @@ -126,17 +140,19 @@ Extension [ extension #73 hdrhistogram version 0.4.2 ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ array|false ] } Function [ function hdr_export ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ array ] } Function [ function hdr_import ] { - Parameters [1] { - Parameter #0 [ $import ] + Parameter #0 [ array $import ] } } Function [ function hdr_base64_encode ] { @@ -144,11 +160,12 @@ Extension [ extension #73 hdrhistogram version 0.4.2 ] { - Parameters [1] { Parameter #0 [ $hdr ] } + - Return [ string|false ] } Function [ function hdr_base64_decode ] { - Parameters [1] { - Parameter #0 [ $data ] + Parameter #0 [ string $data ] } } } -- cgit