1// 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}
602