blob: abfa17f66db1cb38f3cf6c9997bdb0ab9fe9dddd [file] [log] [blame]
Don Newton98fd8812019-09-23 15:15:02 -04001// Copyright 2013 The Go Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file.
4
5//go:generate go run gen.go -output tables.go
6
7package language
8
9// TODO: Remove above NOTE after:
10// - verifying that tables are dropped correctly (most notably matcher tables).
11
12import (
13 "strings"
14
15 "golang.org/x/text/internal/language"
16 "golang.org/x/text/internal/language/compact"
17)
18
19// Tag represents a BCP 47 language tag. It is used to specify an instance of a
20// specific language or locale. All language tag values are guaranteed to be
21// well-formed.
22type Tag compact.Tag
23
24func makeTag(t language.Tag) (tag Tag) {
25 return Tag(compact.Make(t))
26}
27
28func (t *Tag) tag() language.Tag {
29 return (*compact.Tag)(t).Tag()
30}
31
32func (t *Tag) isCompact() bool {
33 return (*compact.Tag)(t).IsCompact()
34}
35
36// TODO: improve performance.
37func (t *Tag) lang() language.Language { return t.tag().LangID }
38func (t *Tag) region() language.Region { return t.tag().RegionID }
39func (t *Tag) script() language.Script { return t.tag().ScriptID }
40
41// Make is a convenience wrapper for Parse that omits the error.
42// In case of an error, a sensible default is returned.
43func Make(s string) Tag {
44 return Default.Make(s)
45}
46
47// Make is a convenience wrapper for c.Parse that omits the error.
48// In case of an error, a sensible default is returned.
49func (c CanonType) Make(s string) Tag {
50 t, _ := c.Parse(s)
51 return t
52}
53
54// Raw returns the raw base language, script and region, without making an
55// attempt to infer their values.
56func (t Tag) Raw() (b Base, s Script, r Region) {
57 tt := t.tag()
58 return Base{tt.LangID}, Script{tt.ScriptID}, Region{tt.RegionID}
59}
60
61// IsRoot returns true if t is equal to language "und".
62func (t Tag) IsRoot() bool {
63 return compact.Tag(t).IsRoot()
64}
65
66// CanonType can be used to enable or disable various types of canonicalization.
67type CanonType int
68
69const (
70 // Replace deprecated base languages with their preferred replacements.
71 DeprecatedBase CanonType = 1 << iota
72 // Replace deprecated scripts with their preferred replacements.
73 DeprecatedScript
74 // Replace deprecated regions with their preferred replacements.
75 DeprecatedRegion
76 // Remove redundant scripts.
77 SuppressScript
78 // Normalize legacy encodings. This includes legacy languages defined in
79 // CLDR as well as bibliographic codes defined in ISO-639.
80 Legacy
81 // Map the dominant language of a macro language group to the macro language
82 // subtag. For example cmn -> zh.
83 Macro
84 // The CLDR flag should be used if full compatibility with CLDR is required.
85 // There are a few cases where language.Tag may differ from CLDR. To follow all
86 // of CLDR's suggestions, use All|CLDR.
87 CLDR
88
89 // Raw can be used to Compose or Parse without Canonicalization.
90 Raw CanonType = 0
91
92 // Replace all deprecated tags with their preferred replacements.
93 Deprecated = DeprecatedBase | DeprecatedScript | DeprecatedRegion
94
95 // All canonicalizations recommended by BCP 47.
96 BCP47 = Deprecated | SuppressScript
97
98 // All canonicalizations.
99 All = BCP47 | Legacy | Macro
100
101 // Default is the canonicalization used by Parse, Make and Compose. To
102 // preserve as much information as possible, canonicalizations that remove
103 // potentially valuable information are not included. The Matcher is
104 // designed to recognize similar tags that would be the same if
105 // they were canonicalized using All.
106 Default = Deprecated | Legacy
107
108 canonLang = DeprecatedBase | Legacy | Macro
109
110 // TODO: LikelyScript, LikelyRegion: suppress similar to ICU.
111)
112
113// canonicalize returns the canonicalized equivalent of the tag and
114// whether there was any change.
115func canonicalize(c CanonType, t language.Tag) (language.Tag, bool) {
116 if c == Raw {
117 return t, false
118 }
119 changed := false
120 if c&SuppressScript != 0 {
121 if t.LangID.SuppressScript() == t.ScriptID {
122 t.ScriptID = 0
123 changed = true
124 }
125 }
126 if c&canonLang != 0 {
127 for {
128 if l, aliasType := t.LangID.Canonicalize(); l != t.LangID {
129 switch aliasType {
130 case language.Legacy:
131 if c&Legacy != 0 {
132 if t.LangID == _sh && t.ScriptID == 0 {
133 t.ScriptID = _Latn
134 }
135 t.LangID = l
136 changed = true
137 }
138 case language.Macro:
139 if c&Macro != 0 {
140 // We deviate here from CLDR. The mapping "nb" -> "no"
141 // qualifies as a typical Macro language mapping. However,
142 // for legacy reasons, CLDR maps "no", the macro language
143 // code for Norwegian, to the dominant variant "nb". This
144 // change is currently under consideration for CLDR as well.
145 // See https://unicode.org/cldr/trac/ticket/2698 and also
146 // https://unicode.org/cldr/trac/ticket/1790 for some of the
147 // practical implications. TODO: this check could be removed
148 // if CLDR adopts this change.
149 if c&CLDR == 0 || t.LangID != _nb {
150 changed = true
151 t.LangID = l
152 }
153 }
154 case language.Deprecated:
155 if c&DeprecatedBase != 0 {
156 if t.LangID == _mo && t.RegionID == 0 {
157 t.RegionID = _MD
158 }
159 t.LangID = l
160 changed = true
161 // Other canonicalization types may still apply.
162 continue
163 }
164 }
165 } else if c&Legacy != 0 && t.LangID == _no && c&CLDR != 0 {
166 t.LangID = _nb
167 changed = true
168 }
169 break
170 }
171 }
172 if c&DeprecatedScript != 0 {
173 if t.ScriptID == _Qaai {
174 changed = true
175 t.ScriptID = _Zinh
176 }
177 }
178 if c&DeprecatedRegion != 0 {
179 if r := t.RegionID.Canonicalize(); r != t.RegionID {
180 changed = true
181 t.RegionID = r
182 }
183 }
184 return t, changed
185}
186
187// Canonicalize returns the canonicalized equivalent of the tag.
188func (c CanonType) Canonicalize(t Tag) (Tag, error) {
189 // First try fast path.
190 if t.isCompact() {
191 if _, changed := canonicalize(c, compact.Tag(t).Tag()); !changed {
192 return t, nil
193 }
194 }
195 // It is unlikely that one will canonicalize a tag after matching. So do
196 // a slow but simple approach here.
197 if tag, changed := canonicalize(c, t.tag()); changed {
198 tag.RemakeString()
199 return makeTag(tag), nil
200 }
201 return t, nil
202
203}
204
205// Confidence indicates the level of certainty for a given return value.
206// For example, Serbian may be written in Cyrillic or Latin script.
207// The confidence level indicates whether a value was explicitly specified,
208// whether it is typically the only possible value, or whether there is
209// an ambiguity.
210type Confidence int
211
212const (
213 No Confidence = iota // full confidence that there was no match
214 Low // most likely value picked out of a set of alternatives
215 High // value is generally assumed to be the correct match
216 Exact // exact match or explicitly specified value
217)
218
219var confName = []string{"No", "Low", "High", "Exact"}
220
221func (c Confidence) String() string {
222 return confName[c]
223}
224
225// String returns the canonical string representation of the language tag.
226func (t Tag) String() string {
227 return t.tag().String()
228}
229
230// MarshalText implements encoding.TextMarshaler.
231func (t Tag) MarshalText() (text []byte, err error) {
232 return t.tag().MarshalText()
233}
234
235// UnmarshalText implements encoding.TextUnmarshaler.
236func (t *Tag) UnmarshalText(text []byte) error {
237 var tag language.Tag
238 err := tag.UnmarshalText(text)
239 *t = makeTag(tag)
240 return err
241}
242
243// Base returns the base language of the language tag. If the base language is
244// unspecified, an attempt will be made to infer it from the context.
245// It uses a variant of CLDR's Add Likely Subtags algorithm. This is subject to change.
246func (t Tag) Base() (Base, Confidence) {
247 if b := t.lang(); b != 0 {
248 return Base{b}, Exact
249 }
250 tt := t.tag()
251 c := High
252 if tt.ScriptID == 0 && !tt.RegionID.IsCountry() {
253 c = Low
254 }
255 if tag, err := tt.Maximize(); err == nil && tag.LangID != 0 {
256 return Base{tag.LangID}, c
257 }
258 return Base{0}, No
259}
260
261// Script infers the script for the language tag. If it was not explicitly given, it will infer
262// a most likely candidate.
263// If more than one script is commonly used for a language, the most likely one
264// is returned with a low confidence indication. For example, it returns (Cyrl, Low)
265// for Serbian.
266// If a script cannot be inferred (Zzzz, No) is returned. We do not use Zyyy (undetermined)
267// as one would suspect from the IANA registry for BCP 47. In a Unicode context Zyyy marks
268// common characters (like 1, 2, 3, '.', etc.) and is therefore more like multiple scripts.
269// See https://www.unicode.org/reports/tr24/#Values for more details. Zzzz is also used for
270// unknown value in CLDR. (Zzzz, Exact) is returned if Zzzz was explicitly specified.
271// Note that an inferred script is never guaranteed to be the correct one. Latin is
272// almost exclusively used for Afrikaans, but Arabic has been used for some texts
273// in the past. Also, the script that is commonly used may change over time.
274// It uses a variant of CLDR's Add Likely Subtags algorithm. This is subject to change.
275func (t Tag) Script() (Script, Confidence) {
276 if scr := t.script(); scr != 0 {
277 return Script{scr}, Exact
278 }
279 tt := t.tag()
280 sc, c := language.Script(_Zzzz), No
281 if scr := tt.LangID.SuppressScript(); scr != 0 {
282 // Note: it is not always the case that a language with a suppress
283 // script value is only written in one script (e.g. kk, ms, pa).
284 if tt.RegionID == 0 {
285 return Script{scr}, High
286 }
287 sc, c = scr, High
288 }
289 if tag, err := tt.Maximize(); err == nil {
290 if tag.ScriptID != sc {
291 sc, c = tag.ScriptID, Low
292 }
293 } else {
294 tt, _ = canonicalize(Deprecated|Macro, tt)
295 if tag, err := tt.Maximize(); err == nil && tag.ScriptID != sc {
296 sc, c = tag.ScriptID, Low
297 }
298 }
299 return Script{sc}, c
300}
301
302// Region returns the region for the language tag. If it was not explicitly given, it will
303// infer a most likely candidate from the context.
304// It uses a variant of CLDR's Add Likely Subtags algorithm. This is subject to change.
305func (t Tag) Region() (Region, Confidence) {
306 if r := t.region(); r != 0 {
307 return Region{r}, Exact
308 }
309 tt := t.tag()
310 if tt, err := tt.Maximize(); err == nil {
311 return Region{tt.RegionID}, Low // TODO: differentiate between high and low.
312 }
313 tt, _ = canonicalize(Deprecated|Macro, tt)
314 if tag, err := tt.Maximize(); err == nil {
315 return Region{tag.RegionID}, Low
316 }
317 return Region{_ZZ}, No // TODO: return world instead of undetermined?
318}
319
320// Variants returns the variants specified explicitly for this language tag.
321// or nil if no variant was specified.
322func (t Tag) Variants() []Variant {
323 if !compact.Tag(t).MayHaveVariants() {
324 return nil
325 }
326 v := []Variant{}
327 x, str := "", t.tag().Variants()
328 for str != "" {
329 x, str = nextToken(str)
330 v = append(v, Variant{x})
331 }
332 return v
333}
334
335// Parent returns the CLDR parent of t. In CLDR, missing fields in data for a
336// specific language are substituted with fields from the parent language.
337// The parent for a language may change for newer versions of CLDR.
338//
339// Parent returns a tag for a less specific language that is mutually
340// intelligible or Und if there is no such language. This may not be the same as
341// simply stripping the last BCP 47 subtag. For instance, the parent of "zh-TW"
342// is "zh-Hant", and the parent of "zh-Hant" is "und".
343func (t Tag) Parent() Tag {
344 return Tag(compact.Tag(t).Parent())
345}
346
347// returns token t and the rest of the string.
348func nextToken(s string) (t, tail string) {
349 p := strings.Index(s[1:], "-")
350 if p == -1 {
351 return s[1:], ""
352 }
353 p++
354 return s[1:p], s[p:]
355}
356
357// Extension is a single BCP 47 extension.
358type Extension struct {
359 s string
360}
361
362// String returns the string representation of the extension, including the
363// type tag.
364func (e Extension) String() string {
365 return e.s
366}
367
368// ParseExtension parses s as an extension and returns it on success.
369func ParseExtension(s string) (e Extension, err error) {
370 ext, err := language.ParseExtension(s)
371 return Extension{ext}, err
372}
373
374// Type returns the one-byte extension type of e. It returns 0 for the zero
375// exception.
376func (e Extension) Type() byte {
377 if e.s == "" {
378 return 0
379 }
380 return e.s[0]
381}
382
383// Tokens returns the list of tokens of e.
384func (e Extension) Tokens() []string {
385 return strings.Split(e.s, "-")
386}
387
388// Extension returns the extension of type x for tag t. It will return
389// false for ok if t does not have the requested extension. The returned
390// extension will be invalid in this case.
391func (t Tag) Extension(x byte) (ext Extension, ok bool) {
392 if !compact.Tag(t).MayHaveExtensions() {
393 return Extension{}, false
394 }
395 e, ok := t.tag().Extension(x)
396 return Extension{e}, ok
397}
398
399// Extensions returns all extensions of t.
400func (t Tag) Extensions() []Extension {
401 if !compact.Tag(t).MayHaveExtensions() {
402 return nil
403 }
404 e := []Extension{}
405 for _, ext := range t.tag().Extensions() {
406 e = append(e, Extension{ext})
407 }
408 return e
409}
410
411// TypeForKey returns the type associated with the given key, where key and type
412// are of the allowed values defined for the Unicode locale extension ('u') in
413// https://www.unicode.org/reports/tr35/#Unicode_Language_and_Locale_Identifiers.
414// TypeForKey will traverse the inheritance chain to get the correct value.
415func (t Tag) TypeForKey(key string) string {
416 if !compact.Tag(t).MayHaveExtensions() {
417 if key != "rg" && key != "va" {
418 return ""
419 }
420 }
421 return t.tag().TypeForKey(key)
422}
423
424// SetTypeForKey returns a new Tag with the key set to type, where key and type
425// are of the allowed values defined for the Unicode locale extension ('u') in
426// https://www.unicode.org/reports/tr35/#Unicode_Language_and_Locale_Identifiers.
427// An empty value removes an existing pair with the same key.
428func (t Tag) SetTypeForKey(key, value string) (Tag, error) {
429 tt, err := t.tag().SetTypeForKey(key, value)
430 return makeTag(tt), err
431}
432
433// NumCompactTags is the number of compact tags. The maximum tag is
434// NumCompactTags-1.
435const NumCompactTags = compact.NumCompactTags
436
437// CompactIndex returns an index, where 0 <= index < NumCompactTags, for tags
438// for which data exists in the text repository.The index will change over time
439// and should not be stored in persistent storage. If t does not match a compact
440// index, exact will be false and the compact index will be returned for the
441// first match after repeatedly taking the Parent of t.
442func CompactIndex(t Tag) (index int, exact bool) {
443 id, exact := compact.LanguageID(compact.Tag(t))
444 return int(id), exact
445}
446
447var root = language.Tag{}
448
449// Base is an ISO 639 language code, used for encoding the base language
450// of a language tag.
451type Base struct {
452 langID language.Language
453}
454
455// ParseBase parses a 2- or 3-letter ISO 639 code.
456// It returns a ValueError if s is a well-formed but unknown language identifier
457// or another error if another error occurred.
458func ParseBase(s string) (Base, error) {
459 l, err := language.ParseBase(s)
460 return Base{l}, err
461}
462
463// String returns the BCP 47 representation of the base language.
464func (b Base) String() string {
465 return b.langID.String()
466}
467
468// ISO3 returns the ISO 639-3 language code.
469func (b Base) ISO3() string {
470 return b.langID.ISO3()
471}
472
473// IsPrivateUse reports whether this language code is reserved for private use.
474func (b Base) IsPrivateUse() bool {
475 return b.langID.IsPrivateUse()
476}
477
478// Script is a 4-letter ISO 15924 code for representing scripts.
479// It is idiomatically represented in title case.
480type Script struct {
481 scriptID language.Script
482}
483
484// ParseScript parses a 4-letter ISO 15924 code.
485// It returns a ValueError if s is a well-formed but unknown script identifier
486// or another error if another error occurred.
487func ParseScript(s string) (Script, error) {
488 sc, err := language.ParseScript(s)
489 return Script{sc}, err
490}
491
492// String returns the script code in title case.
493// It returns "Zzzz" for an unspecified script.
494func (s Script) String() string {
495 return s.scriptID.String()
496}
497
498// IsPrivateUse reports whether this script code is reserved for private use.
499func (s Script) IsPrivateUse() bool {
500 return s.scriptID.IsPrivateUse()
501}
502
503// Region is an ISO 3166-1 or UN M.49 code for representing countries and regions.
504type Region struct {
505 regionID language.Region
506}
507
508// EncodeM49 returns the Region for the given UN M.49 code.
509// It returns an error if r is not a valid code.
510func EncodeM49(r int) (Region, error) {
511 rid, err := language.EncodeM49(r)
512 return Region{rid}, err
513}
514
515// ParseRegion parses a 2- or 3-letter ISO 3166-1 or a UN M.49 code.
516// It returns a ValueError if s is a well-formed but unknown region identifier
517// or another error if another error occurred.
518func ParseRegion(s string) (Region, error) {
519 r, err := language.ParseRegion(s)
520 return Region{r}, err
521}
522
523// String returns the BCP 47 representation for the region.
524// It returns "ZZ" for an unspecified region.
525func (r Region) String() string {
526 return r.regionID.String()
527}
528
529// ISO3 returns the 3-letter ISO code of r.
530// Note that not all regions have a 3-letter ISO code.
531// In such cases this method returns "ZZZ".
532func (r Region) ISO3() string {
533 return r.regionID.ISO3()
534}
535
536// M49 returns the UN M.49 encoding of r, or 0 if this encoding
537// is not defined for r.
538func (r Region) M49() int {
539 return r.regionID.M49()
540}
541
542// IsPrivateUse reports whether r has the ISO 3166 User-assigned status. This
543// may include private-use tags that are assigned by CLDR and used in this
544// implementation. So IsPrivateUse and IsCountry can be simultaneously true.
545func (r Region) IsPrivateUse() bool {
546 return r.regionID.IsPrivateUse()
547}
548
549// IsCountry returns whether this region is a country or autonomous area. This
550// includes non-standard definitions from CLDR.
551func (r Region) IsCountry() bool {
552 return r.regionID.IsCountry()
553}
554
555// IsGroup returns whether this region defines a collection of regions. This
556// includes non-standard definitions from CLDR.
557func (r Region) IsGroup() bool {
558 return r.regionID.IsGroup()
559}
560
561// Contains returns whether Region c is contained by Region r. It returns true
562// if c == r.
563func (r Region) Contains(c Region) bool {
564 return r.regionID.Contains(c.regionID)
565}
566
567// TLD returns the country code top-level domain (ccTLD). UK is returned for GB.
568// In all other cases it returns either the region itself or an error.
569//
570// This method may return an error for a region for which there exists a
571// canonical form with a ccTLD. To get that ccTLD canonicalize r first. The
572// region will already be canonicalized it was obtained from a Tag that was
573// obtained using any of the default methods.
574func (r Region) TLD() (Region, error) {
575 tld, err := r.regionID.TLD()
576 return Region{tld}, err
577}
578
579// Canonicalize returns the region or a possible replacement if the region is
580// deprecated. It will not return a replacement for deprecated regions that
581// are split into multiple regions.
582func (r Region) Canonicalize() Region {
583 return Region{r.regionID.Canonicalize()}
584}
585
586// Variant represents a registered variant of a language as defined by BCP 47.
587type Variant struct {
588 variant string
589}
590
591// ParseVariant parses and returns a Variant. An error is returned if s is not
592// a valid variant.
593func ParseVariant(s string) (Variant, error) {
594 v, err := language.ParseVariant(s)
595 return Variant{v.String()}, err
596}
597
598// String returns the string representation of the variant.
599func (v Variant) String() string {
600 return v.variant
601}