More specific array return types

vimeo · Nov 28, 2021 · 84079d1 · 84079d1
1 parent d64539f
commit 84079d1
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 24 deletions.
diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php
@@ -8462,18 +8462,20 @@
 'mysqli_error_list' => ['array', 'mysql'=>'mysqli'],
 'mysqli_escape_string' => ['string', 'mysql'=>'mysqli', 'string'=>'string'],
 'mysqli_execute' => ['bool', 'statement'=>'mysqli_stmt', 'params='=>'list<mixed>|null'],
-'mysqli_fetch_all' => ['array', 'result'=>'mysqli_result', 'mode='=>'int'],
-'mysqli_fetch_array' => ['array|false|null', 'result'=>'mysqli_result', 'mode='=>'MYSQLI_BOTH'],
-'mysqli_fetch_array\'1' => ['array<string,mixed>|false|null', 'result'=>'mysqli_result', 'mode='=>'MYSQLI_ASSOC'],
-'mysqli_fetch_array\'2' => ['list<mixed>|false|null', 'result'=>'mysqli_result', 'mode='=>'MYSQLI_NUM'],
-'mysqli_fetch_assoc' => ['array<string,mixed>|false|null', 'result'=>'mysqli_result'],
+'mysqli_fetch_all' => ['list<array<array-key,null|int|float|string>>', 'result'=>'mysqli_result', 'mode='=>'3'],
+'mysqli_fetch_all\'1' => ['list<array<string,null|int|float|string>>', 'result'=>'mysqli_result', 'mode='=>'1'],
+'mysqli_fetch_all\'2' => ['list<list<null|int|float|string>>', 'result'=>'mysqli_result', 'mode='=>'2'],
+'mysqli_fetch_array' => ['array<array-key,null|int|float|string>|false|null', 'result'=>'mysqli_result', 'mode='=>'3'],
+'mysqli_fetch_array\'1' => ['array<string,null|int|float|string>|false|null', 'result'=>'mysqli_result', 'mode='=>'1'],
+'mysqli_fetch_array\'2' => ['list<null|int|float|string>|false|null', 'result'=>'mysqli_result', 'mode='=>'2'],
+'mysqli_fetch_assoc' => ['array<string,null|int|float|string>|false|null', 'result'=>'mysqli_result'],
 'mysqli_fetch_column' => ['null|int|float|string|false', 'result'=>'mysqli_result', 'column='=>'int'],
 'mysqli_fetch_field' => ['object|false', 'result'=>'mysqli_result'],
 'mysqli_fetch_field_direct' => ['object|false', 'result'=>'mysqli_result', 'index'=>'int'],
 'mysqli_fetch_fields' => ['array|false', 'result'=>'mysqli_result'],
 'mysqli_fetch_lengths' => ['array|false', 'result'=>'mysqli_result'],
 'mysqli_fetch_object' => ['object|false|null', 'result'=>'mysqli_result', 'class='=>'class-string', 'constructor_args='=>'array'],
-'mysqli_fetch_row' => ['list<mixed>|false|null', 'result'=>'mysqli_result'],
+'mysqli_fetch_row' => ['list<null|int|float|string>|false|null', 'result'=>'mysqli_result'],
 'mysqli_field_count' => ['int', 'mysql'=>'mysqli'],
 'mysqli_field_seek' => ['bool', 'result'=>'mysqli_result', 'index'=>'int'],
 'mysqli_field_tell' => ['int', 'result'=>'mysqli_result'],
@@ -8516,17 +8518,19 @@
 'mysqli_result::__construct' => ['void', 'mysql'=>'mysqli', 'result_mode='=>'int'],
 'mysqli_result::close' => ['void'],
 'mysqli_result::data_seek' => ['bool', 'offset'=>'int'],
-'mysqli_result::fetch_all' => ['array', 'mode='=>'int'],
-'mysqli_result::fetch_array' => ['array|false|null', 'mode='=>'MYSQLI_BOTH'],
-'mysqli_result::fetch_array\'1' => ['array<string,mixed>|false|null', 'mode='=>'MYSQLI_ASSOC'],
-'mysqli_result::fetch_array\'2' => ['list<mixed>|false|null', 'mode='=>'MYSQLI_NUM'],
-'mysqli_result::fetch_assoc' => ['array<string,mixed>|false|null'],
+'mysqli_result::fetch_all' => ['list<array<array-key,null|int|float|string>>', 'mode='=>'3'],
+'mysqli_result::fetch_all\'1' => ['list<array<string,null|int|float|string>>', 'mode='=>'1'],
+'mysqli_result::fetch_all\'2' => ['list<list<null|int|float|string>>', 'mode='=>'2'],
+'mysqli_result::fetch_array' => ['array<array-key,null|int|float|string>|false|null', 'mode='=>'3'],
+'mysqli_result::fetch_array\'1' => ['array<string,null|int|float|string>|false|null', 'mode='=>'1'],
+'mysqli_result::fetch_array\'2' => ['list<null|int|float|string>|false|null', 'mode='=>'2'],
+'mysqli_result::fetch_assoc' => ['array<string,null|int|float|string>|false|null'],
 'mysqli_result::fetch_column' => ['null|int|float|string|false', 'column='=>'int'],
 'mysqli_result::fetch_field' => ['object|false'],
 'mysqli_result::fetch_field_direct' => ['object|false', 'index'=>'int'],
 'mysqli_result::fetch_fields' => ['array|false'],
 'mysqli_result::fetch_object' => ['object|false|null', 'class='=>'class-string', 'constructor_args='=>'array'],
-'mysqli_result::fetch_row' => ['list<mixed>|false|null'],
+'mysqli_result::fetch_row' => ['list<null|int|float|string>|false|null'],
 'mysqli_result::field_seek' => ['bool', 'index'=>'int'],
 'mysqli_result::free' => ['void'],
 'mysqli_result::free_result' => ['void'],

diff --git a/dictionaries/CallMap_historical.php b/dictionaries/CallMap_historical.php
@@ -13398,17 +13398,19 @@
     'mysqli_error_list' => ['array', 'mysql'=>'mysqli'],
     'mysqli_escape_string' => ['string', 'mysql'=>'mysqli', 'string'=>'string'],
     'mysqli_execute' => ['bool', 'statement'=>'mysqli_stmt'],
-    'mysqli_fetch_all' => ['array', 'result'=>'mysqli_result', 'mode='=>'int'],
-    'mysqli_fetch_array' => ['array|false|null', 'result'=>'mysqli_result', 'mode='=>'MYSQLI_BOTH'],
-    'mysqli_fetch_array\'1' => ['array<string,mixed>|false|null', 'result'=>'mysqli_result', 'mode='=>'MYSQLI_ASSOC'],
-    'mysqli_fetch_array\'2' => ['list<mixed>|false|null', 'result'=>'mysqli_result', 'mode='=>'MYSQLI_NUM'],
-    'mysqli_fetch_assoc' => ['array<string,mixed>|false|null', 'result'=>'mysqli_result'],
+    'mysqli_fetch_all' => ['list<array<array-key,null|int|float|string>>', 'result'=>'mysqli_result', 'mode='=>'3'],
+    'mysqli_fetch_all\'1' => ['list<array<string,null|int|float|string>>', 'result'=>'mysqli_result', 'mode='=>'1'],
+    'mysqli_fetch_all\'2' => ['list<list<null|int|float|string>>', 'result'=>'mysqli_result', 'mode='=>'2'],
+    'mysqli_fetch_array' => ['array<array-key,null|int|float|string>|false|null', 'result'=>'mysqli_result', 'mode='=>'3'],
+    'mysqli_fetch_array\'1' => ['array<string,null|int|float|string>|false|null', 'result'=>'mysqli_result', 'mode='=>'1'],
+    'mysqli_fetch_array\'2' => ['list<null|int|float|string>|false|null', 'result'=>'mysqli_result', 'mode='=>'2'],
+    'mysqli_fetch_assoc' => ['array<string,null|int|float|string>|false|null', 'result'=>'mysqli_result'],
     'mysqli_fetch_field' => ['object|false', 'result'=>'mysqli_result'],
     'mysqli_fetch_field_direct' => ['object|false', 'result'=>'mysqli_result', 'index'=>'int'],
     'mysqli_fetch_fields' => ['array|false', 'result'=>'mysqli_result'],
     'mysqli_fetch_lengths' => ['array|false', 'result'=>'mysqli_result'],
     'mysqli_fetch_object' => ['object|false|null', 'result'=>'mysqli_result', 'class='=>'class-string', 'constructor_args='=>'array'],
-    'mysqli_fetch_row' => ['list<mixed>|false|null', 'result'=>'mysqli_result'],
+    'mysqli_fetch_row' => ['list<null|int|float|string>|false|null', 'result'=>'mysqli_result'],
     'mysqli_field_count' => ['int', 'mysql'=>'mysqli'],
     'mysqli_field_seek' => ['bool', 'result'=>'mysqli_result', 'index'=>'int'],
     'mysqli_field_tell' => ['int', 'result'=>'mysqli_result'],
@@ -13451,16 +13453,18 @@
     'mysqli_result::__construct' => ['void', 'mysql'=>'mysqli', 'result_mode='=>'int'],
     'mysqli_result::close' => ['void'],
     'mysqli_result::data_seek' => ['bool', 'offset'=>'int'],
-    'mysqli_result::fetch_all' => ['array', 'mode='=>'int'],
-    'mysqli_result::fetch_array' => ['array|false|null', 'mode='=>'MYSQLI_BOTH'],
-    'mysqli_result::fetch_array\'1' => ['array<string,mixed>|false|null', 'mode='=>'MYSQLI_ASSOC'],
-    'mysqli_result::fetch_array\'2' => ['list<mixed>|false|null', 'mode='=>'MYSQLI_NUM'],
-    'mysqli_result::fetch_assoc' => ['array<string,mixed>|false|null'],
+    'mysqli_result::fetch_all' => ['list<array<array-key,null|int|float|string>>', 'mode='=>'3'],
+    'mysqli_result::fetch_all\'1' => ['list<array<string,null|int|float|string>>', 'mode='=>'1'],
+    'mysqli_result::fetch_all\'2' => ['list<list<null|int|float|string>>', 'mode='=>'2'],
+    'mysqli_result::fetch_array' => ['array<array-key,null|int|float|string>|false|null', 'mode='=>'3'],
+    'mysqli_result::fetch_array\'1' => ['array<string,null|int|float|string>|false|null', 'mode='=>'1'],
+    'mysqli_result::fetch_array\'2' => ['list<null|int|float|string>|false|null', 'mode='=>'2'],
+    'mysqli_result::fetch_assoc' => ['array<string,null|int|float|string>|false|null'],
     'mysqli_result::fetch_field' => ['object|false'],
     'mysqli_result::fetch_field_direct' => ['object|false', 'index'=>'int'],
     'mysqli_result::fetch_fields' => ['array|false'],
     'mysqli_result::fetch_object' => ['object|false|null', 'class='=>'class-string', 'constructor_args='=>'array'],
-    'mysqli_result::fetch_row' => ['list<mixed>|false|null'],
+    'mysqli_result::fetch_row' => ['list<null|int|float|string>|false|null'],
     'mysqli_result::field_seek' => ['bool', 'index'=>'int'],
     'mysqli_result::free' => ['void'],
     'mysqli_result::free_result' => ['void'],