-
Notifications
You must be signed in to change notification settings - Fork 21
/
processor.ex
409 lines (340 loc) · 13.1 KB
/
processor.ex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
defmodule Cldr.Rbnf.Processor do
@moduledoc """
Macro to define the interpreter for the compiled RBNF rules specific to a rule group (Ordinal,
Spellout, NumberingSystem)
"""
defmacro __using__(opts) do
backend = opts[:backend]
ordinal_module = Module.concat(backend, Number.Ordinal)
cardinal_module = Module.concat(backend, Number.Cardinal)
spellout_module = Module.concat(backend, Rbnf.Spellout)
quote location: :keep do
alias Cldr.Number
alias Cldr.Digits
import Cldr.Rbnf.Processor
Module.put_attribute(__MODULE__, :backend, unquote(backend))
defp do_rule(number, locale, function, rule, parsed) do
results =
Enum.map(parsed, fn {operation, argument} ->
do_operation(operation, number, locale, function, rule, argument)
end)
if Enum.any?(results, fn
{:error, _} -> true
_ -> false
end) do
{:error, collect_errors(results)}
else
:erlang.iolist_to_binary(results)
end
end
defp collect_errors(results) do
results
|> Enum.map(fn
{_, v} -> v
other -> other
end)
|> Enum.join(", ")
end
defp do_operation(:literal, _number, _locale, _function, _rule, string) do
string
end
defp do_operation(:modulo, number, locale, function, rule, nil)
when is_number(number) and number < 0 do
apply(__MODULE__, function, [abs(number), locale])
end
defp do_operation(:modulo, number, locale, function, rule, {:format, format})
when is_number(number) and number < 0 do
Cldr.Number.to_string!(abs(number), unquote(backend), locale: locale, format: format)
end
defp do_operation(:modulo, number, locale, function, rule, nil)
when is_integer(number) do
mod = number - div(number, rule.divisor) * rule.divisor
apply(__MODULE__, function, [mod, locale])
end
# For Fractional rules we format the integral part
defp do_operation(:modulo, number, locale, function, _rule, nil)
when is_float(number) do
format_fraction(number, locale)
end
defp do_operation(:modulo, number, locale, _function, rule, {:rule, rule_name}) do
mod = number - div(number, rule.divisor) * rule.divisor
apply(__MODULE__, rule_name, [mod, locale])
end
defp do_operation(:modulo, number, locale, function, rule, {:format, format}) do
mod = number - div(number, rule.divisor) * rule.divisor
Cldr.Number.to_string!(mod, unquote(backend), locale: locale, format: format)
end
# For Fractional rules we format the fraction as individual digits.
defp do_operation(:quotient, number, locale, function, rule, nil)
when is_float(number) do
apply(__MODULE__, function, [trunc(number), locale])
end
defp do_operation(:quotient, number, locale, function, rule, nil) do
divisor = div(number, rule.divisor)
apply(__MODULE__, function, [divisor, locale])
end
defp do_operation(:quotient, number, locale, _function, rule, {:rule, rule_name}) do
divisor = div(number, rule.divisor)
apply(__MODULE__, rule_name, [divisor, locale])
end
defp do_operation(:call, number, locale, _function, _rule, {:format, format}) do
Cldr.Number.to_string!(number, unquote(backend), locale: locale, format: format)
end
defp do_operation(:call, number, locale, _function, _rule, {:rule, rule_name}) do
apply(__MODULE__, rule_name, [number, locale])
end
defp do_operation(:ordinal, number, locale, _function, _rule, plurals) do
plural = unquote(ordinal_module).plural_rule(number, locale)
Map.get(plurals, plural) || Map.get(plurals, :other)
end
defp do_operation(:cardinal, number, locale, _function, _rule, plurals) do
plural = unquote(cardinal_module).plural_rule(number, locale)
Map.get(plurals, plural) || Map.get(plurals, :other)
end
defp do_operation(:conditional, number, locale, function, rule, argument) do
mod = number - div(number, rule.divisor) * rule.divisor
if mod > 0 do
do_rule(mod, locale, function, rule, argument)
else
""
end
end
defp format_fraction(number, locale) do
fraction =
number
|> Digits.fraction_as_integer()
|> Integer.to_string()
|> String.split("", trim: true)
|> Enum.map(&String.to_integer/1)
|> Enum.map(&unquote(spellout_module).spellout_cardinal(&1, locale))
|> Enum.join(" ")
end
@before_compile Cldr.Rbnf.Processor
end
end
@public_rulesets :public_rulesets
def define_rules(rule_group_name, backend, env) do
Module.register_attribute(env.module, @public_rulesets, [])
iterate_rules(rule_group_name, backend, fn
rule_group, locale, "public", :error ->
define_rule(:error, nil, rule_group, locale, nil)
|> Code.eval_quoted([], env)
_rule_group, _locale, "private", :error ->
nil
rule_group, locale, "public", :redirect ->
define_rule(:redirect, backend, rule_group, locale, nil)
|> Code.eval_quoted([], env)
_rule_group, _locale, "private", :redirect ->
nil
rule_group, locale, access, rule ->
{:ok, parsed} = Cldr.Rbnf.Rule.parse(rule.definition)
function_body = rule_body(locale, rule_group, rule, parsed, backend)
rule.base_value
|> define_rule(rule.range, rule_group, locale, function_body)
|> add_function_to_exports(access, env.module, locale)
|> Code.eval_quoted([], env)
end)
end
defp iterate_rules(rule_group_type, backend, fun) do
all_rules = Cldr.Rbnf.for_all_locales(backend)[rule_group_type]
unless is_nil(all_rules) do
for {locale_name, _rule_group} <- all_rules do
for {rule_group, %{access: access, rules: rules}} <- all_rules[locale_name] do
for rule <- rules do
fun.(rule_group, locale_name, access, rule)
end
fun.(rule_group, locale_name, access, :redirect)
fun.(rule_group, locale_name, access, :error)
end
end
end
end
# If we are provided with a Decimal integer then we can call the
# equivalent integer function without loss of precision
defp define_rule(:error, _range, rule_group, locale_name, _body) do
quote location: :keep do
def unquote(rule_group)(
%Decimal{exp: 0, coef: number},
%Cldr.LanguageTag{rbnf_locale_name: unquote(locale_name)} = locale
) do
unquote(rule_group)(number, locale)
end
def unquote(rule_group)(number, %Cldr.LanguageTag{rbnf_locale_name: unquote(locale_name)}) do
{:error, rbnf_rule_error(number, unquote(rule_group), unquote(locale_name))}
end
end
end
defp define_rule(:redirect, backend, rule_group, locale_name, _body) do
quote location: :keep do
def unquote(rule_group)(number, unquote(locale_name)) do
with {:ok, locale} <- Module.concat(unquote(backend), Locale).new(unquote(locale_name)) do
unquote(rule_group)(number, locale)
end
end
end
end
defp define_rule("-x", _range, rule_group, locale_name, body) do
quote location: :keep do
def unquote(rule_group)(number, %Cldr.LanguageTag{rbnf_locale_name: unquote(locale_name)})
when Kernel.and(is_number(number), number < 0),
do: unquote(body)
end
end
# Improper fraction rule
defp define_rule("x.x", _range, rule_group, locale_name, body) do
quote location: :keep do
def unquote(rule_group)(number, %Cldr.LanguageTag{rbnf_locale_name: unquote(locale_name)})
when is_float(number),
do: unquote(body)
end
end
defp define_rule("x,x", range, rule_group, locale, body) do
define_rule("x.x", range, rule_group, locale, body)
end
defp define_rule(0, "undefined", rule_group, locale_name, body) do
quote location: :keep do
def unquote(rule_group)(number, %Cldr.LanguageTag{rbnf_locale_name: unquote(locale_name)})
when is_integer(number),
do: unquote(body)
end
end
defp define_rule(base_value, "undefined", rule_group, locale_name, body)
when is_integer(base_value) do
quote location: :keep do
def unquote(rule_group)(number, %Cldr.LanguageTag{rbnf_locale_name: unquote(locale_name)})
when Kernel.and(is_integer(number), number >= unquote(base_value)),
do: unquote(body)
end
end
defp define_rule(base_value, range, rule_group, locale_name, body)
when is_integer(range) and is_integer(base_value) do
quote location: :keep do
def unquote(rule_group)(number, %Cldr.LanguageTag{rbnf_locale_name: unquote(locale_name)})
when Kernel.and(
is_integer(number),
Kernel.and(number >= unquote(base_value), number < unquote(range))
),
do: unquote(body)
end
end
defp define_rule("Inf", _range, _rule_group, _locale_name, _body) do
{:error, "Infinite rule sets are not implemented"}
end
defp define_rule("NaN", _range, _rule_group, _locale_name, _body) do
{:error, "NaN rule sets are not implemented"}
end
defp define_rule("0.x", _range, _rule_group, _locale_name, _body) do
{:error, "Proper Fraction rule sets are not implemented"}
end
defp define_rule("x.0", _range, _rule_group, _locale_name, _body) do
{:error, "Master rule sets are not implemented"}
end
# Get the AST of the rule body
defp rule_body(locale_name, rule_group, rule, parsed, _backend) do
locale =
Cldr.Config.all_language_tags()
|> Map.get(locale_name)
quote location: :keep do
do_rule(
number,
unquote(Macro.escape(locale)),
unquote(rule_group),
unquote(Macro.escape(rule)),
unquote(Macro.escape(parsed))
)
end
end
# Keep track of the public rulesets per locale so we can introspect the
# public interface
defp add_function_to_exports(
{:def, _aliases, [{:when, _, [{name, _, _} | _]} | _]} = function,
"public",
module,
locale
) do
public_rulesets = Module.get_attribute(module, @public_rulesets) || %{}
locale_public_rulesets = [name | Map.get(public_rulesets, locale) || []]
Module.put_attribute(
module,
@public_rulesets,
Map.put(public_rulesets, locale, Enum.uniq(locale_public_rulesets))
)
function
end
defp add_function_to_exports(other, _access, _module, _locale) do
other
end
def rbnf_rule_error(number, rule_group, locale_name) do
{
Cldr.Rbnf.NoRuleForNumber,
"rule group #{inspect(rule_group)} for locale #{inspect(locale_name)} does not " <>
"know how to process #{inspect(number)}"
}
end
defmacro __before_compile__(env) do
module = env.module
backend =
module
|> Module.get_attribute(:backend)
rule_sets =
module
|> Module.get_attribute(:public_rulesets)
all_rule_sets =
rule_sets
|> Map.values()
|> List.flatten()
|> Enum.uniq()
|> Enum.sort()
rule_sets = Macro.escape(rule_sets)
quote location: :keep,
bind_quoted: [
rule_sets: rule_sets,
all_rule_sets: all_rule_sets,
backend: backend,
module: module] do
# A map of rule sets by locale
def rule_sets do
unquote(Macro.escape(rule_sets))
end
# All rule sets for a locale
def rule_sets(%Cldr.LanguageTag{rbnf_locale_name: rbnf_locale_name}) do
rule_sets(rbnf_locale_name)
end
def rule_sets(rbnf_locale_name) when is_atom(rbnf_locale_name) do
Map.get(rule_sets(), rbnf_locale_name)
end
def rule_sets(rbnf_locale_name) when is_binary(rbnf_locale_name) do
rbnf_locale_name
|> String.to_existing_atom()
|> rule_sets
rescue ArgumentError ->
nil
end
# All rule sets for all locales
def all_rule_sets do
unquote(all_rule_sets)
end
# Return an error for a valid rule set which
# is not supported for either the locale or
# the number
for rule_group <- all_rule_sets do
@dialyzer {:nowarn_function, [{rule_group, 2}]}
def unquote(rule_group)(number, locale_name) when is_atom(locale_name) or is_binary(locale_name) do
with {:ok, locale} <- unquote(backend).validate_locale(locale_name) do
unquote(rule_group)(number, locale)
end
end
def unquote(rule_group)(number, %Cldr.LanguageTag{rbnf_locale_name: rbnf_locale_name}) do
{:error, rbnf_rule_error(number, unquote(rule_group), rbnf_locale_name)}
end
# NumberSystem rules are only in the root locale so
# lets make it easier to use them by defaulting the locale
if hd(Enum.reverse(Module.split(module))) == "NumberSystem" do
def unquote(rule_group)(number) do
unquote(rule_group)(number, unquote(Cldr.Config.root_locale_name()))
end
end
end
end
end
end