xref: /PHP-8.1/ext/enchant/enchant.stub.php (revision d02b9b95) 
1<?php
2
3/** @generate-class-entries */
4
5/**
6 * @strict-properties
7 * @not-serializable
8 */
9final class EnchantBroker
10{
11}
12
13/**
14 * @strict-properties
15 * @not-serializable
16 */
17final class EnchantDictionary
18{
19}
20
21function enchant_broker_init(): EnchantBroker|false {}
22
23/** @deprecated */
24function enchant_broker_free(EnchantBroker $broker): bool {}
25
26function enchant_broker_get_error(EnchantBroker $broker): string|false {}
27
28/** @deprecated */
29function enchant_broker_set_dict_path(EnchantBroker $broker, int $type, string $path): bool {}
30
31/** @deprecated */
32function enchant_broker_get_dict_path(EnchantBroker $broker, int $type): string|false {}
33
34/**
35 * @return array<int, array>
36 * @refcount 1
37 */
38function enchant_broker_list_dicts(EnchantBroker $broker): array {}
39
40function enchant_broker_request_dict(EnchantBroker $broker, string $tag): EnchantDictionary|false {}
41
42function enchant_broker_request_pwl_dict(EnchantBroker $broker, string $filename): EnchantDictionary|false {}
43
44/** @deprecated */
45function enchant_broker_free_dict(EnchantDictionary $dictionary): bool {}
46
47function enchant_broker_dict_exists(EnchantBroker $broker, string $tag): bool {}
48
49function enchant_broker_set_ordering(EnchantBroker $broker, string $tag, string $ordering): bool {}
50
51/**
52 * @return array<int, array>
53 * @refcount 1
54 */
55function enchant_broker_describe(EnchantBroker $broker): array {}
56
57/** @param array $suggestions */
58function enchant_dict_quick_check(EnchantDictionary $dictionary, string $word, &$suggestions = null): bool {}
59
60function enchant_dict_check(EnchantDictionary $dictionary, string $word): bool {}
61
62/**
63 * @return array<int, string>
64 * @refcount 1
65 */
66function enchant_dict_suggest(EnchantDictionary $dictionary, string $word): array {}
67
68function enchant_dict_add(EnchantDictionary $dictionary, string $word): void {}
69
70/**
71* @alias enchant_dict_add
72* @deprecated
73*/
74function enchant_dict_add_to_personal(EnchantDictionary $dictionary, string $word): void {}
75
76function enchant_dict_add_to_session(EnchantDictionary $dictionary, string $word): void {}
77
78function enchant_dict_is_added(EnchantDictionary $dictionary, string $word): bool {}
79
80/**
81* @alias enchant_dict_is_added
82* @deprecated
83*/
84function enchant_dict_is_in_session(EnchantDictionary $dictionary, string $word): bool {}
85
86function enchant_dict_store_replacement(EnchantDictionary $dictionary, string $misspelled, string $correct): void {}
87
88function enchant_dict_get_error(EnchantDictionary $dictionary): string|false {}
89
90/**
91 * @return array<string, string>
92 * @refcount 1
93 */
94function enchant_dict_describe(EnchantDictionary $dictionary): array {}
95