123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933 |
- // Copyright 2013 The Go Authors. All rights reserved.
- // Use of this source code is governed by a BSD-style
- // license that can be found in the LICENSE file.
- package language
- import "errors"
- // A MatchOption configures a Matcher.
- type MatchOption func(*matcher)
- // PreferSameScript will, in the absence of a match, result in the first
- // preferred tag with the same script as a supported tag to match this supported
- // tag. The default is currently true, but this may change in the future.
- func PreferSameScript(preferSame bool) MatchOption {
- return func(m *matcher) { m.preferSameScript = preferSame }
- }
- // TODO(v1.0.0): consider making Matcher a concrete type, instead of interface.
- // There doesn't seem to be too much need for multiple types.
- // Making it a concrete type allows MatchStrings to be a method, which will
- // improve its discoverability.
- // MatchStrings parses and matches the given strings until one of them matches
- // the language in the Matcher. A string may be an Accept-Language header as
- // handled by ParseAcceptLanguage. The default language is returned if no
- // other language matched.
- func MatchStrings(m Matcher, lang ...string) (tag Tag, index int) {
- for _, accept := range lang {
- desired, _, err := ParseAcceptLanguage(accept)
- if err != nil {
- continue
- }
- if tag, index, conf := m.Match(desired...); conf != No {
- return tag, index
- }
- }
- tag, index, _ = m.Match()
- return
- }
- // Matcher is the interface that wraps the Match method.
- //
- // Match returns the best match for any of the given tags, along with
- // a unique index associated with the returned tag and a confidence
- // score.
- type Matcher interface {
- Match(t ...Tag) (tag Tag, index int, c Confidence)
- }
- // Comprehends reports the confidence score for a speaker of a given language
- // to being able to comprehend the written form of an alternative language.
- func Comprehends(speaker, alternative Tag) Confidence {
- _, _, c := NewMatcher([]Tag{alternative}).Match(speaker)
- return c
- }
- // NewMatcher returns a Matcher that matches an ordered list of preferred tags
- // against a list of supported tags based on written intelligibility, closeness
- // of dialect, equivalence of subtags and various other rules. It is initialized
- // with the list of supported tags. The first element is used as the default
- // value in case no match is found.
- //
- // Its Match method matches the first of the given Tags to reach a certain
- // confidence threshold. The tags passed to Match should therefore be specified
- // in order of preference. Extensions are ignored for matching.
- //
- // The index returned by the Match method corresponds to the index of the
- // matched tag in t, but is augmented with the Unicode extension ('u')of the
- // corresponding preferred tag. This allows user locale options to be passed
- // transparently.
- func NewMatcher(t []Tag, options ...MatchOption) Matcher {
- return newMatcher(t, options)
- }
- func (m *matcher) Match(want ...Tag) (t Tag, index int, c Confidence) {
- match, w, c := m.getBest(want...)
- if match != nil {
- t, index = match.tag, match.index
- } else {
- // TODO: this should be an option
- t = m.default_.tag
- if m.preferSameScript {
- outer:
- for _, w := range want {
- script, _ := w.Script()
- if script.scriptID == 0 {
- // Don't do anything if there is no script, such as with
- // private subtags.
- continue
- }
- for i, h := range m.supported {
- if script.scriptID == h.maxScript {
- t, index = h.tag, i
- break outer
- }
- }
- }
- }
- // TODO: select first language tag based on script.
- }
- if w.region != 0 && t.region != 0 && t.region.contains(w.region) {
- t, _ = Raw.Compose(t, Region{w.region})
- }
- // Copy options from the user-provided tag into the result tag. This is hard
- // to do after the fact, so we do it here.
- // TODO: add in alternative variants to -u-va-.
- // TODO: add preferred region to -u-rg-.
- if e := w.Extensions(); len(e) > 0 {
- t, _ = Raw.Compose(t, e)
- }
- return t, index, c
- }
- type scriptRegionFlags uint8
- const (
- isList = 1 << iota
- scriptInFrom
- regionInFrom
- )
- func (t *Tag) setUndefinedLang(id langID) {
- if t.lang == 0 {
- t.lang = id
- }
- }
- func (t *Tag) setUndefinedScript(id scriptID) {
- if t.script == 0 {
- t.script = id
- }
- }
- func (t *Tag) setUndefinedRegion(id regionID) {
- if t.region == 0 || t.region.contains(id) {
- t.region = id
- }
- }
- // ErrMissingLikelyTagsData indicates no information was available
- // to compute likely values of missing tags.
- var ErrMissingLikelyTagsData = errors.New("missing likely tags data")
- // addLikelySubtags sets subtags to their most likely value, given the locale.
- // In most cases this means setting fields for unknown values, but in some
- // cases it may alter a value. It returns an ErrMissingLikelyTagsData error
- // if the given locale cannot be expanded.
- func (t Tag) addLikelySubtags() (Tag, error) {
- id, err := addTags(t)
- if err != nil {
- return t, err
- } else if id.equalTags(t) {
- return t, nil
- }
- id.remakeString()
- return id, nil
- }
- // specializeRegion attempts to specialize a group region.
- func specializeRegion(t *Tag) bool {
- if i := regionInclusion[t.region]; i < nRegionGroups {
- x := likelyRegionGroup[i]
- if langID(x.lang) == t.lang && scriptID(x.script) == t.script {
- t.region = regionID(x.region)
- }
- return true
- }
- return false
- }
- func addTags(t Tag) (Tag, error) {
- // We leave private use identifiers alone.
- if t.private() {
- return t, nil
- }
- if t.script != 0 && t.region != 0 {
- if t.lang != 0 {
- // already fully specified
- specializeRegion(&t)
- return t, nil
- }
- // Search matches for und-script-region. Note that for these cases
- // region will never be a group so there is no need to check for this.
- list := likelyRegion[t.region : t.region+1]
- if x := list[0]; x.flags&isList != 0 {
- list = likelyRegionList[x.lang : x.lang+uint16(x.script)]
- }
- for _, x := range list {
- // Deviating from the spec. See match_test.go for details.
- if scriptID(x.script) == t.script {
- t.setUndefinedLang(langID(x.lang))
- return t, nil
- }
- }
- }
- if t.lang != 0 {
- // Search matches for lang-script and lang-region, where lang != und.
- if t.lang < langNoIndexOffset {
- x := likelyLang[t.lang]
- if x.flags&isList != 0 {
- list := likelyLangList[x.region : x.region+uint16(x.script)]
- if t.script != 0 {
- for _, x := range list {
- if scriptID(x.script) == t.script && x.flags&scriptInFrom != 0 {
- t.setUndefinedRegion(regionID(x.region))
- return t, nil
- }
- }
- } else if t.region != 0 {
- count := 0
- goodScript := true
- tt := t
- for _, x := range list {
- // We visit all entries for which the script was not
- // defined, including the ones where the region was not
- // defined. This allows for proper disambiguation within
- // regions.
- if x.flags&scriptInFrom == 0 && t.region.contains(regionID(x.region)) {
- tt.region = regionID(x.region)
- tt.setUndefinedScript(scriptID(x.script))
- goodScript = goodScript && tt.script == scriptID(x.script)
- count++
- }
- }
- if count == 1 {
- return tt, nil
- }
- // Even if we fail to find a unique Region, we might have
- // an unambiguous script.
- if goodScript {
- t.script = tt.script
- }
- }
- }
- }
- } else {
- // Search matches for und-script.
- if t.script != 0 {
- x := likelyScript[t.script]
- if x.region != 0 {
- t.setUndefinedRegion(regionID(x.region))
- t.setUndefinedLang(langID(x.lang))
- return t, nil
- }
- }
- // Search matches for und-region. If und-script-region exists, it would
- // have been found earlier.
- if t.region != 0 {
- if i := regionInclusion[t.region]; i < nRegionGroups {
- x := likelyRegionGroup[i]
- if x.region != 0 {
- t.setUndefinedLang(langID(x.lang))
- t.setUndefinedScript(scriptID(x.script))
- t.region = regionID(x.region)
- }
- } else {
- x := likelyRegion[t.region]
- if x.flags&isList != 0 {
- x = likelyRegionList[x.lang]
- }
- if x.script != 0 && x.flags != scriptInFrom {
- t.setUndefinedLang(langID(x.lang))
- t.setUndefinedScript(scriptID(x.script))
- return t, nil
- }
- }
- }
- }
- // Search matches for lang.
- if t.lang < langNoIndexOffset {
- x := likelyLang[t.lang]
- if x.flags&isList != 0 {
- x = likelyLangList[x.region]
- }
- if x.region != 0 {
- t.setUndefinedScript(scriptID(x.script))
- t.setUndefinedRegion(regionID(x.region))
- }
- specializeRegion(&t)
- if t.lang == 0 {
- t.lang = _en // default language
- }
- return t, nil
- }
- return t, ErrMissingLikelyTagsData
- }
- func (t *Tag) setTagsFrom(id Tag) {
- t.lang = id.lang
- t.script = id.script
- t.region = id.region
- }
- // minimize removes the region or script subtags from t such that
- // t.addLikelySubtags() == t.minimize().addLikelySubtags().
- func (t Tag) minimize() (Tag, error) {
- t, err := minimizeTags(t)
- if err != nil {
- return t, err
- }
- t.remakeString()
- return t, nil
- }
- // minimizeTags mimics the behavior of the ICU 51 C implementation.
- func minimizeTags(t Tag) (Tag, error) {
- if t.equalTags(und) {
- return t, nil
- }
- max, err := addTags(t)
- if err != nil {
- return t, err
- }
- for _, id := range [...]Tag{
- {lang: t.lang},
- {lang: t.lang, region: t.region},
- {lang: t.lang, script: t.script},
- } {
- if x, err := addTags(id); err == nil && max.equalTags(x) {
- t.setTagsFrom(id)
- break
- }
- }
- return t, nil
- }
- // Tag Matching
- // CLDR defines an algorithm for finding the best match between two sets of language
- // tags. The basic algorithm defines how to score a possible match and then find
- // the match with the best score
- // (see http://www.unicode.org/reports/tr35/#LanguageMatching).
- // Using scoring has several disadvantages. The scoring obfuscates the importance of
- // the various factors considered, making the algorithm harder to understand. Using
- // scoring also requires the full score to be computed for each pair of tags.
- //
- // We will use a different algorithm which aims to have the following properties:
- // - clarity on the precedence of the various selection factors, and
- // - improved performance by allowing early termination of a comparison.
- //
- // Matching algorithm (overview)
- // Input:
- // - supported: a set of supported tags
- // - default: the default tag to return in case there is no match
- // - desired: list of desired tags, ordered by preference, starting with
- // the most-preferred.
- //
- // Algorithm:
- // 1) Set the best match to the lowest confidence level
- // 2) For each tag in "desired":
- // a) For each tag in "supported":
- // 1) compute the match between the two tags.
- // 2) if the match is better than the previous best match, replace it
- // with the new match. (see next section)
- // b) if the current best match is Exact and pin is true the result will be
- // frozen to the language found thusfar, although better matches may
- // still be found for the same language.
- // 3) If the best match so far is below a certain threshold, return "default".
- //
- // Ranking:
- // We use two phases to determine whether one pair of tags are a better match
- // than another pair of tags. First, we determine a rough confidence level. If the
- // levels are different, the one with the highest confidence wins.
- // Second, if the rough confidence levels are identical, we use a set of tie-breaker
- // rules.
- //
- // The confidence level of matching a pair of tags is determined by finding the
- // lowest confidence level of any matches of the corresponding subtags (the
- // result is deemed as good as its weakest link).
- // We define the following levels:
- // Exact - An exact match of a subtag, before adding likely subtags.
- // MaxExact - An exact match of a subtag, after adding likely subtags.
- // [See Note 2].
- // High - High level of mutual intelligibility between different subtag
- // variants.
- // Low - Low level of mutual intelligibility between different subtag
- // variants.
- // No - No mutual intelligibility.
- //
- // The following levels can occur for each type of subtag:
- // Base: Exact, MaxExact, High, Low, No
- // Script: Exact, MaxExact [see Note 3], Low, No
- // Region: Exact, MaxExact, High
- // Variant: Exact, High
- // Private: Exact, No
- //
- // Any result with a confidence level of Low or higher is deemed a possible match.
- // Once a desired tag matches any of the supported tags with a level of MaxExact
- // or higher, the next desired tag is not considered (see Step 2.b).
- // Note that CLDR provides languageMatching data that defines close equivalence
- // classes for base languages, scripts and regions.
- //
- // Tie-breaking
- // If we get the same confidence level for two matches, we apply a sequence of
- // tie-breaking rules. The first that succeeds defines the result. The rules are
- // applied in the following order.
- // 1) Original language was defined and was identical.
- // 2) Original region was defined and was identical.
- // 3) Distance between two maximized regions was the smallest.
- // 4) Original script was defined and was identical.
- // 5) Distance from want tag to have tag using the parent relation [see Note 5.]
- // If there is still no winner after these rules are applied, the first match
- // found wins.
- //
- // Notes:
- // [2] In practice, as matching of Exact is done in a separate phase from
- // matching the other levels, we reuse the Exact level to mean MaxExact in
- // the second phase. As a consequence, we only need the levels defined by
- // the Confidence type. The MaxExact confidence level is mapped to High in
- // the public API.
- // [3] We do not differentiate between maximized script values that were derived
- // from suppressScript versus most likely tag data. We determined that in
- // ranking the two, one ranks just after the other. Moreover, the two cannot
- // occur concurrently. As a consequence, they are identical for practical
- // purposes.
- // [4] In case of deprecated, macro-equivalents and legacy mappings, we assign
- // the MaxExact level to allow iw vs he to still be a closer match than
- // en-AU vs en-US, for example.
- // [5] In CLDR a locale inherits fields that are unspecified for this locale
- // from its parent. Therefore, if a locale is a parent of another locale,
- // it is a strong measure for closeness, especially when no other tie
- // breaker rule applies. One could also argue it is inconsistent, for
- // example, when pt-AO matches pt (which CLDR equates with pt-BR), even
- // though its parent is pt-PT according to the inheritance rules.
- //
- // Implementation Details:
- // There are several performance considerations worth pointing out. Most notably,
- // we preprocess as much as possible (within reason) at the time of creation of a
- // matcher. This includes:
- // - creating a per-language map, which includes data for the raw base language
- // and its canonicalized variant (if applicable),
- // - expanding entries for the equivalence classes defined in CLDR's
- // languageMatch data.
- // The per-language map ensures that typically only a very small number of tags
- // need to be considered. The pre-expansion of canonicalized subtags and
- // equivalence classes reduces the amount of map lookups that need to be done at
- // runtime.
- // matcher keeps a set of supported language tags, indexed by language.
- type matcher struct {
- default_ *haveTag
- supported []*haveTag
- index map[langID]*matchHeader
- passSettings bool
- preferSameScript bool
- }
- // matchHeader has the lists of tags for exact matches and matches based on
- // maximized and canonicalized tags for a given language.
- type matchHeader struct {
- haveTags []*haveTag
- original bool
- }
- // haveTag holds a supported Tag and its maximized script and region. The maximized
- // or canonicalized language is not stored as it is not needed during matching.
- type haveTag struct {
- tag Tag
- // index of this tag in the original list of supported tags.
- index int
- // conf is the maximum confidence that can result from matching this haveTag.
- // When conf < Exact this means it was inserted after applying a CLDR equivalence rule.
- conf Confidence
- // Maximized region and script.
- maxRegion regionID
- maxScript scriptID
- // altScript may be checked as an alternative match to maxScript. If altScript
- // matches, the confidence level for this match is Low. Theoretically there
- // could be multiple alternative scripts. This does not occur in practice.
- altScript scriptID
- // nextMax is the index of the next haveTag with the same maximized tags.
- nextMax uint16
- }
- func makeHaveTag(tag Tag, index int) (haveTag, langID) {
- max := tag
- if tag.lang != 0 || tag.region != 0 || tag.script != 0 {
- max, _ = max.canonicalize(All)
- max, _ = addTags(max)
- max.remakeString()
- }
- return haveTag{tag, index, Exact, max.region, max.script, altScript(max.lang, max.script), 0}, max.lang
- }
- // altScript returns an alternative script that may match the given script with
- // a low confidence. At the moment, the langMatch data allows for at most one
- // script to map to another and we rely on this to keep the code simple.
- func altScript(l langID, s scriptID) scriptID {
- for _, alt := range matchScript {
- // TODO: also match cases where language is not the same.
- if (langID(alt.wantLang) == l || langID(alt.haveLang) == l) &&
- scriptID(alt.haveScript) == s {
- return scriptID(alt.wantScript)
- }
- }
- return 0
- }
- // addIfNew adds a haveTag to the list of tags only if it is a unique tag.
- // Tags that have the same maximized values are linked by index.
- func (h *matchHeader) addIfNew(n haveTag, exact bool) {
- h.original = h.original || exact
- // Don't add new exact matches.
- for _, v := range h.haveTags {
- if v.tag.equalsRest(n.tag) {
- return
- }
- }
- // Allow duplicate maximized tags, but create a linked list to allow quickly
- // comparing the equivalents and bail out.
- for i, v := range h.haveTags {
- if v.maxScript == n.maxScript &&
- v.maxRegion == n.maxRegion &&
- v.tag.variantOrPrivateTagStr() == n.tag.variantOrPrivateTagStr() {
- for h.haveTags[i].nextMax != 0 {
- i = int(h.haveTags[i].nextMax)
- }
- h.haveTags[i].nextMax = uint16(len(h.haveTags))
- break
- }
- }
- h.haveTags = append(h.haveTags, &n)
- }
- // header returns the matchHeader for the given language. It creates one if
- // it doesn't already exist.
- func (m *matcher) header(l langID) *matchHeader {
- if h := m.index[l]; h != nil {
- return h
- }
- h := &matchHeader{}
- m.index[l] = h
- return h
- }
- func toConf(d uint8) Confidence {
- if d <= 10 {
- return High
- }
- if d < 30 {
- return Low
- }
- return No
- }
- // newMatcher builds an index for the given supported tags and returns it as
- // a matcher. It also expands the index by considering various equivalence classes
- // for a given tag.
- func newMatcher(supported []Tag, options []MatchOption) *matcher {
- m := &matcher{
- index: make(map[langID]*matchHeader),
- preferSameScript: true,
- }
- for _, o := range options {
- o(m)
- }
- if len(supported) == 0 {
- m.default_ = &haveTag{}
- return m
- }
- // Add supported languages to the index. Add exact matches first to give
- // them precedence.
- for i, tag := range supported {
- pair, _ := makeHaveTag(tag, i)
- m.header(tag.lang).addIfNew(pair, true)
- m.supported = append(m.supported, &pair)
- }
- m.default_ = m.header(supported[0].lang).haveTags[0]
- // Keep these in two different loops to support the case that two equivalent
- // languages are distinguished, such as iw and he.
- for i, tag := range supported {
- pair, max := makeHaveTag(tag, i)
- if max != tag.lang {
- m.header(max).addIfNew(pair, true)
- }
- }
- // update is used to add indexes in the map for equivalent languages.
- // update will only add entries to original indexes, thus not computing any
- // transitive relations.
- update := func(want, have uint16, conf Confidence) {
- if hh := m.index[langID(have)]; hh != nil {
- if !hh.original {
- return
- }
- hw := m.header(langID(want))
- for _, ht := range hh.haveTags {
- v := *ht
- if conf < v.conf {
- v.conf = conf
- }
- v.nextMax = 0 // this value needs to be recomputed
- if v.altScript != 0 {
- v.altScript = altScript(langID(want), v.maxScript)
- }
- hw.addIfNew(v, conf == Exact && hh.original)
- }
- }
- }
- // Add entries for languages with mutual intelligibility as defined by CLDR's
- // languageMatch data.
- for _, ml := range matchLang {
- update(ml.want, ml.have, toConf(ml.distance))
- if !ml.oneway {
- update(ml.have, ml.want, toConf(ml.distance))
- }
- }
- // Add entries for possible canonicalizations. This is an optimization to
- // ensure that only one map lookup needs to be done at runtime per desired tag.
- // First we match deprecated equivalents. If they are perfect equivalents
- // (their canonicalization simply substitutes a different language code, but
- // nothing else), the match confidence is Exact, otherwise it is High.
- for i, lm := range langAliasMap {
- // If deprecated codes match and there is no fiddling with the script or
- // or region, we consider it an exact match.
- conf := Exact
- if langAliasTypes[i] != langMacro {
- if !isExactEquivalent(langID(lm.from)) {
- conf = High
- }
- update(lm.to, lm.from, conf)
- }
- update(lm.from, lm.to, conf)
- }
- return m
- }
- // getBest gets the best matching tag in m for any of the given tags, taking into
- // account the order of preference of the given tags.
- func (m *matcher) getBest(want ...Tag) (got *haveTag, orig Tag, c Confidence) {
- best := bestMatch{}
- for i, w := range want {
- var max Tag
- // Check for exact match first.
- h := m.index[w.lang]
- if w.lang != 0 {
- if h == nil {
- continue
- }
- // Base language is defined.
- max, _ = w.canonicalize(Legacy | Deprecated | Macro)
- // A region that is added through canonicalization is stronger than
- // a maximized region: set it in the original (e.g. mo -> ro-MD).
- if w.region != max.region {
- w.region = max.region
- }
- // TODO: should we do the same for scripts?
- // See test case: en, sr, nl ; sh ; sr
- max, _ = addTags(max)
- } else {
- // Base language is not defined.
- if h != nil {
- for i := range h.haveTags {
- have := h.haveTags[i]
- if have.tag.equalsRest(w) {
- return have, w, Exact
- }
- }
- }
- if w.script == 0 && w.region == 0 {
- // We skip all tags matching und for approximate matching, including
- // private tags.
- continue
- }
- max, _ = addTags(w)
- if h = m.index[max.lang]; h == nil {
- continue
- }
- }
- pin := true
- for _, t := range want[i+1:] {
- if w.lang == t.lang {
- pin = false
- break
- }
- }
- // Check for match based on maximized tag.
- for i := range h.haveTags {
- have := h.haveTags[i]
- best.update(have, w, max.script, max.region, pin)
- if best.conf == Exact {
- for have.nextMax != 0 {
- have = h.haveTags[have.nextMax]
- best.update(have, w, max.script, max.region, pin)
- }
- return best.have, best.want, best.conf
- }
- }
- }
- if best.conf <= No {
- if len(want) != 0 {
- return nil, want[0], No
- }
- return nil, Tag{}, No
- }
- return best.have, best.want, best.conf
- }
- // bestMatch accumulates the best match so far.
- type bestMatch struct {
- have *haveTag
- want Tag
- conf Confidence
- pinnedRegion regionID
- pinLanguage bool
- sameRegionGroup bool
- // Cached results from applying tie-breaking rules.
- origLang bool
- origReg bool
- paradigmReg bool
- regGroupDist uint8
- origScript bool
- }
- // update updates the existing best match if the new pair is considered to be a
- // better match. To determine if the given pair is a better match, it first
- // computes the rough confidence level. If this surpasses the current match, it
- // will replace it and update the tie-breaker rule cache. If there is a tie, it
- // proceeds with applying a series of tie-breaker rules. If there is no
- // conclusive winner after applying the tie-breaker rules, it leaves the current
- // match as the preferred match.
- //
- // If pin is true and have and tag are a strong match, it will henceforth only
- // consider matches for this language. This corresponds to the nothing that most
- // users have a strong preference for the first defined language. A user can
- // still prefer a second language over a dialect of the preferred language by
- // explicitly specifying dialects, e.g. "en, nl, en-GB". In this case pin should
- // be false.
- func (m *bestMatch) update(have *haveTag, tag Tag, maxScript scriptID, maxRegion regionID, pin bool) {
- // Bail if the maximum attainable confidence is below that of the current best match.
- c := have.conf
- if c < m.conf {
- return
- }
- // Don't change the language once we already have found an exact match.
- if m.pinLanguage && tag.lang != m.want.lang {
- return
- }
- // Pin the region group if we are comparing tags for the same language.
- if tag.lang == m.want.lang && m.sameRegionGroup {
- _, sameGroup := regionGroupDist(m.pinnedRegion, have.maxRegion, have.maxScript, m.want.lang)
- if !sameGroup {
- return
- }
- }
- if c == Exact && have.maxScript == maxScript {
- // If there is another language and then another entry of this language,
- // don't pin anything, otherwise pin the language.
- m.pinLanguage = pin
- }
- if have.tag.equalsRest(tag) {
- } else if have.maxScript != maxScript {
- // There is usually very little comprehension between different scripts.
- // In a few cases there may still be Low comprehension. This possibility
- // is pre-computed and stored in have.altScript.
- if Low < m.conf || have.altScript != maxScript {
- return
- }
- c = Low
- } else if have.maxRegion != maxRegion {
- if High < c {
- // There is usually a small difference between languages across regions.
- c = High
- }
- }
- // We store the results of the computations of the tie-breaker rules along
- // with the best match. There is no need to do the checks once we determine
- // we have a winner, but we do still need to do the tie-breaker computations.
- // We use "beaten" to keep track if we still need to do the checks.
- beaten := false // true if the new pair defeats the current one.
- if c != m.conf {
- if c < m.conf {
- return
- }
- beaten = true
- }
- // Tie-breaker rules:
- // We prefer if the pre-maximized language was specified and identical.
- origLang := have.tag.lang == tag.lang && tag.lang != 0
- if !beaten && m.origLang != origLang {
- if m.origLang {
- return
- }
- beaten = true
- }
- // We prefer if the pre-maximized region was specified and identical.
- origReg := have.tag.region == tag.region && tag.region != 0
- if !beaten && m.origReg != origReg {
- if m.origReg {
- return
- }
- beaten = true
- }
- regGroupDist, sameGroup := regionGroupDist(have.maxRegion, maxRegion, maxScript, tag.lang)
- if !beaten && m.regGroupDist != regGroupDist {
- if regGroupDist > m.regGroupDist {
- return
- }
- beaten = true
- }
- paradigmReg := isParadigmLocale(tag.lang, have.maxRegion)
- if !beaten && m.paradigmReg != paradigmReg {
- if !paradigmReg {
- return
- }
- beaten = true
- }
- // Next we prefer if the pre-maximized script was specified and identical.
- origScript := have.tag.script == tag.script && tag.script != 0
- if !beaten && m.origScript != origScript {
- if m.origScript {
- return
- }
- beaten = true
- }
- // Update m to the newly found best match.
- if beaten {
- m.have = have
- m.want = tag
- m.conf = c
- m.pinnedRegion = maxRegion
- m.sameRegionGroup = sameGroup
- m.origLang = origLang
- m.origReg = origReg
- m.paradigmReg = paradigmReg
- m.origScript = origScript
- m.regGroupDist = regGroupDist
- }
- }
- func isParadigmLocale(lang langID, r regionID) bool {
- for _, e := range paradigmLocales {
- if langID(e[0]) == lang && (r == regionID(e[1]) || r == regionID(e[2])) {
- return true
- }
- }
- return false
- }
- // regionGroupDist computes the distance between two regions based on their
- // CLDR grouping.
- func regionGroupDist(a, b regionID, script scriptID, lang langID) (dist uint8, same bool) {
- const defaultDistance = 4
- aGroup := uint(regionToGroups[a]) << 1
- bGroup := uint(regionToGroups[b]) << 1
- for _, ri := range matchRegion {
- if langID(ri.lang) == lang && (ri.script == 0 || scriptID(ri.script) == script) {
- group := uint(1 << (ri.group &^ 0x80))
- if 0x80&ri.group == 0 {
- if aGroup&bGroup&group != 0 { // Both regions are in the group.
- return ri.distance, ri.distance == defaultDistance
- }
- } else {
- if (aGroup|bGroup)&group == 0 { // Both regions are not in the group.
- return ri.distance, ri.distance == defaultDistance
- }
- }
- }
- }
- return defaultDistance, true
- }
- func (t Tag) variants() string {
- if t.pVariant == 0 {
- return ""
- }
- return t.str[t.pVariant:t.pExt]
- }
- // variantOrPrivateTagStr returns variants or private use tags.
- func (t Tag) variantOrPrivateTagStr() string {
- if t.pExt > 0 {
- return t.str[t.pVariant:t.pExt]
- }
- return t.str[t.pVariant:]
- }
- // equalsRest compares everything except the language.
- func (a Tag) equalsRest(b Tag) bool {
- // TODO: don't include extensions in this comparison. To do this efficiently,
- // though, we should handle private tags separately.
- return a.script == b.script && a.region == b.region && a.variantOrPrivateTagStr() == b.variantOrPrivateTagStr()
- }
- // isExactEquivalent returns true if canonicalizing the language will not alter
- // the script or region of a tag.
- func isExactEquivalent(l langID) bool {
- for _, o := range notEquivalent {
- if o == l {
- return false
- }
- }
- return true
- }
- var notEquivalent []langID
- func init() {
- // Create a list of all languages for which canonicalization may alter the
- // script or region.
- for _, lm := range langAliasMap {
- tag := Tag{lang: langID(lm.from)}
- if tag, _ = tag.canonicalize(All); tag.script != 0 || tag.region != 0 {
- notEquivalent = append(notEquivalent, langID(lm.from))
- }
- }
- // Maximize undefined regions of paradigm locales.
- for i, v := range paradigmLocales {
- max, _ := addTags(Tag{lang: langID(v[0])})
- if v[1] == 0 {
- paradigmLocales[i][1] = uint16(max.region)
- }
- if v[2] == 0 {
- paradigmLocales[i][2] = uint16(max.region)
- }
- }
- }
|