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
|
<?php
namespace Gettext\Languages;
use Exception;
/**
* A helper class to convert a CLDR formula to a gettext formula.
*/
class FormulaConverter
{
/**
* Converts a formula from the CLDR representation to the gettext representation.
* @param string $cldrFormula The CLDR formula to convert.
* @throws Exception
* @return bool|string Returns true if the gettext will always evaluate to true, false if gettext will always evaluate to false, return the gettext formula otherwise.
*/
public static function convertFormula($cldrFormula)
{
if (strpbrk($cldrFormula, '()') !== false) {
throw new Exception("Unable to convert the formula '$cldrFormula': parenthesis handling not implemented");
}
$orSeparatedChunks = array();
foreach (explode(' or ', $cldrFormula) as $cldrFormulaChunk) {
$gettextFormulaChunk = null;
$andSeparatedChunks = array();
foreach (explode(' and ', $cldrFormulaChunk) as $cldrAtom) {
$gettextAtom = self::convertAtom($cldrAtom);
if ($gettextAtom === false) {
// One atom joined by 'and' always evaluates to false => the whole 'and' group is always false
$gettextFormulaChunk = false;
break;
} elseif ($gettextAtom !== true) {
$andSeparatedChunks[] = $gettextAtom;
}
}
if (!isset($gettextFormulaChunk)) {
if (empty($andSeparatedChunks)) {
// All the atoms joined by 'and' always evaluate to true => the whole 'and' group is always true
$gettextFormulaChunk = true;
} else {
$gettextFormulaChunk = implode(' && ', $andSeparatedChunks);
// Special cases simplification
switch ($gettextFormulaChunk) {
case 'n >= 0 && n <= 2 && n != 2':
$gettextFormulaChunk = 'n == 0 || n == 1';
break;
}
}
}
if ($gettextFormulaChunk === true) {
// One part of the formula joined with the others by 'or' always evaluates to true => the whole formula always evaluates to true
return true;
} elseif ($gettextFormulaChunk !== false) {
$orSeparatedChunks[] = $gettextFormulaChunk;
}
}
if (empty($orSeparatedChunks)) {
// All the parts joined by 'or' always evaluate to false => the whole formula always evaluates to false
return false;
} else {
return implode(' || ', $orSeparatedChunks);
}
}
/**
* Converts an atomic part of the CLDR formula to its gettext representation.
* @param string $cldrAtom The CLDR formula atom to convert.
* @throws Exception
* @return bool|string Returns true if the gettext will always evaluate to true, false if gettext will always evaluate to false, return the gettext formula otherwise.
*/
private static function convertAtom($cldrAtom)
{
$m = null;
$gettextAtom = $cldrAtom;
$gettextAtom = str_replace(' = ', ' == ', $gettextAtom);
$gettextAtom = str_replace('i', 'n', $gettextAtom);
if (preg_match('/^n( % \d+)? (!=|==) \d+$/', $gettextAtom)) {
return $gettextAtom;
}
if (preg_match('/^n( % \d+)? (!=|==) \d+(,\d+|\.\.\d+)+$/', $gettextAtom)) {
return self::expandAtom($gettextAtom);
}
if (preg_match('/^(?:v|w)(?: % 10+)? == (\d+)(?:\.\.\d+)?$/', $gettextAtom, $m)) { // For gettext: v == 0, w == 0
return (intval($m[1]) === 0) ? true : false;
}
if (preg_match('/^(?:v|w)(?: % 10+)? != (\d+)(?:\.\.\d+)?$/', $gettextAtom, $m)) { // For gettext: v == 0, w == 0
return (intval($m[1]) === 0) ? false : true;
}
if (preg_match('/^(?:f|t)(?: % 10+)? == (\d+)(?:\.\.\d+)?$/', $gettextAtom, $m)) { // f == empty, t == empty
return (intval($m[1]) === 0) ? true : false;
}
if (preg_match('/^(?:f|t)(?: % 10+)? != (\d+)(?:\.\.\d+)?$/', $gettextAtom, $m)) { // f == empty, t == empty
return (intval($m[1]) === 0) ? false : true;
}
throw new Exception("Unable to convert the formula chunk '$cldrAtom' from CLDR to gettext");
}
/**
* Expands an atom containing a range (for instance: 'n == 1,3..5').
* @param string $atom
* @throws Exception
* @return string
*/
private static function expandAtom($atom)
{
$m = null;
if (preg_match('/^(n(?: % \d+)?) (==|!=) (\d+(?:\.\.\d+|,\d+)+)$/', $atom, $m)) {
$what = $m[1];
$op = $m[2];
$chunks = array();
foreach (explode(',', $m[3]) as $range) {
$chunk = null;
if ((!isset($chunk)) && preg_match('/^\d+$/', $range)) {
$chunk = "$what $op $range";
}
if ((!isset($chunk)) && preg_match('/^(\d+)\.\.(\d+)$/', $range, $m)) {
$from = intval($m[1]);
$to = intval($m[2]);
if (($to - $from) === 1) {
switch ($op) {
case '==':
$chunk = "($what == $from || $what == $to)";
break;
case '!=':
$chunk = "$what != $from && $what == $to";
break;
}
} else {
switch ($op) {
case '==':
$chunk = "$what >= $from && $what <= $to";
break;
case '!=':
if ($what === 'n' && $from <= 0) {
$chunk = "$what > $to";
} else {
$chunk = "($what < $from || $what > $to)";
}
break;
}
}
}
if (!isset($chunk)) {
throw new Exception("Unhandled range '$range' in '$atom'");
}
$chunks[] = $chunk;
}
if (count($chunks) === 1) {
return $chunks[0];
}
switch ($op) {
case '==':
return '('.implode(' || ', $chunks).')';break;
case '!=':
return implode(' && ', $chunks);
}
}
throw new Exception("Unable to expand '$atom'");
}
}
|