idna10.0.0.go 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769
  1. // Code generated by running "go generate" in golang.org/x/text. DO NOT EDIT.
  2. // Copyright 2016 The Go Authors. All rights reserved.
  3. // Use of this source code is governed by a BSD-style
  4. // license that can be found in the LICENSE file.
  5. //go:build go1.10
  6. // Package idna implements IDNA2008 using the compatibility processing
  7. // defined by UTS (Unicode Technical Standard) #46, which defines a standard to
  8. // deal with the transition from IDNA2003.
  9. //
  10. // IDNA2008 (Internationalized Domain Names for Applications), is defined in RFC
  11. // 5890, RFC 5891, RFC 5892, RFC 5893 and RFC 5894.
  12. // UTS #46 is defined in https://www.unicode.org/reports/tr46.
  13. // See https://unicode.org/cldr/utility/idna.jsp for a visualization of the
  14. // differences between these two standards.
  15. package idna // import "golang.org/x/net/idna"
  16. import (
  17. "fmt"
  18. "strings"
  19. "unicode/utf8"
  20. "golang.org/x/text/secure/bidirule"
  21. "golang.org/x/text/unicode/bidi"
  22. "golang.org/x/text/unicode/norm"
  23. )
  24. // NOTE: Unlike common practice in Go APIs, the functions will return a
  25. // sanitized domain name in case of errors. Browsers sometimes use a partially
  26. // evaluated string as lookup.
  27. // TODO: the current error handling is, in my opinion, the least opinionated.
  28. // Other strategies are also viable, though:
  29. // Option 1) Return an empty string in case of error, but allow the user to
  30. // specify explicitly which errors to ignore.
  31. // Option 2) Return the partially evaluated string if it is itself a valid
  32. // string, otherwise return the empty string in case of error.
  33. // Option 3) Option 1 and 2.
  34. // Option 4) Always return an empty string for now and implement Option 1 as
  35. // needed, and document that the return string may not be empty in case of
  36. // error in the future.
  37. // I think Option 1 is best, but it is quite opinionated.
  38. // ToASCII is a wrapper for Punycode.ToASCII.
  39. func ToASCII(s string) (string, error) {
  40. return Punycode.process(s, true)
  41. }
  42. // ToUnicode is a wrapper for Punycode.ToUnicode.
  43. func ToUnicode(s string) (string, error) {
  44. return Punycode.process(s, false)
  45. }
  46. // An Option configures a Profile at creation time.
  47. type Option func(*options)
  48. // Transitional sets a Profile to use the Transitional mapping as defined in UTS
  49. // #46. This will cause, for example, "ß" to be mapped to "ss". Using the
  50. // transitional mapping provides a compromise between IDNA2003 and IDNA2008
  51. // compatibility. It is used by some browsers when resolving domain names. This
  52. // option is only meaningful if combined with MapForLookup.
  53. func Transitional(transitional bool) Option {
  54. return func(o *options) { o.transitional = transitional }
  55. }
  56. // VerifyDNSLength sets whether a Profile should fail if any of the IDN parts
  57. // are longer than allowed by the RFC.
  58. //
  59. // This option corresponds to the VerifyDnsLength flag in UTS #46.
  60. func VerifyDNSLength(verify bool) Option {
  61. return func(o *options) { o.verifyDNSLength = verify }
  62. }
  63. // RemoveLeadingDots removes leading label separators. Leading runes that map to
  64. // dots, such as U+3002 IDEOGRAPHIC FULL STOP, are removed as well.
  65. func RemoveLeadingDots(remove bool) Option {
  66. return func(o *options) { o.removeLeadingDots = remove }
  67. }
  68. // ValidateLabels sets whether to check the mandatory label validation criteria
  69. // as defined in Section 5.4 of RFC 5891. This includes testing for correct use
  70. // of hyphens ('-'), normalization, validity of runes, and the context rules.
  71. // In particular, ValidateLabels also sets the CheckHyphens and CheckJoiners flags
  72. // in UTS #46.
  73. func ValidateLabels(enable bool) Option {
  74. return func(o *options) {
  75. // Don't override existing mappings, but set one that at least checks
  76. // normalization if it is not set.
  77. if o.mapping == nil && enable {
  78. o.mapping = normalize
  79. }
  80. o.trie = trie
  81. o.checkJoiners = enable
  82. o.checkHyphens = enable
  83. if enable {
  84. o.fromPuny = validateFromPunycode
  85. } else {
  86. o.fromPuny = nil
  87. }
  88. }
  89. }
  90. // CheckHyphens sets whether to check for correct use of hyphens ('-') in
  91. // labels. Most web browsers do not have this option set, since labels such as
  92. // "r3---sn-apo3qvuoxuxbt-j5pe" are in common use.
  93. //
  94. // This option corresponds to the CheckHyphens flag in UTS #46.
  95. func CheckHyphens(enable bool) Option {
  96. return func(o *options) { o.checkHyphens = enable }
  97. }
  98. // CheckJoiners sets whether to check the ContextJ rules as defined in Appendix
  99. // A of RFC 5892, concerning the use of joiner runes.
  100. //
  101. // This option corresponds to the CheckJoiners flag in UTS #46.
  102. func CheckJoiners(enable bool) Option {
  103. return func(o *options) {
  104. o.trie = trie
  105. o.checkJoiners = enable
  106. }
  107. }
  108. // StrictDomainName limits the set of permissible ASCII characters to those
  109. // allowed in domain names as defined in RFC 1034 (A-Z, a-z, 0-9 and the
  110. // hyphen). This is set by default for MapForLookup and ValidateForRegistration,
  111. // but is only useful if ValidateLabels is set.
  112. //
  113. // This option is useful, for instance, for browsers that allow characters
  114. // outside this range, for example a '_' (U+005F LOW LINE). See
  115. // http://www.rfc-editor.org/std/std3.txt for more details.
  116. //
  117. // This option corresponds to the UseSTD3ASCIIRules flag in UTS #46.
  118. func StrictDomainName(use bool) Option {
  119. return func(o *options) { o.useSTD3Rules = use }
  120. }
  121. // NOTE: the following options pull in tables. The tables should not be linked
  122. // in as long as the options are not used.
  123. // BidiRule enables the Bidi rule as defined in RFC 5893. Any application
  124. // that relies on proper validation of labels should include this rule.
  125. //
  126. // This option corresponds to the CheckBidi flag in UTS #46.
  127. func BidiRule() Option {
  128. return func(o *options) { o.bidirule = bidirule.ValidString }
  129. }
  130. // ValidateForRegistration sets validation options to verify that a given IDN is
  131. // properly formatted for registration as defined by Section 4 of RFC 5891.
  132. func ValidateForRegistration() Option {
  133. return func(o *options) {
  134. o.mapping = validateRegistration
  135. StrictDomainName(true)(o)
  136. ValidateLabels(true)(o)
  137. VerifyDNSLength(true)(o)
  138. BidiRule()(o)
  139. }
  140. }
  141. // MapForLookup sets validation and mapping options such that a given IDN is
  142. // transformed for domain name lookup according to the requirements set out in
  143. // Section 5 of RFC 5891. The mappings follow the recommendations of RFC 5894,
  144. // RFC 5895 and UTS 46. It does not add the Bidi Rule. Use the BidiRule option
  145. // to add this check.
  146. //
  147. // The mappings include normalization and mapping case, width and other
  148. // compatibility mappings.
  149. func MapForLookup() Option {
  150. return func(o *options) {
  151. o.mapping = validateAndMap
  152. StrictDomainName(true)(o)
  153. ValidateLabels(true)(o)
  154. }
  155. }
  156. type options struct {
  157. transitional bool
  158. useSTD3Rules bool
  159. checkHyphens bool
  160. checkJoiners bool
  161. verifyDNSLength bool
  162. removeLeadingDots bool
  163. trie *idnaTrie
  164. // fromPuny calls validation rules when converting A-labels to U-labels.
  165. fromPuny func(p *Profile, s string) error
  166. // mapping implements a validation and mapping step as defined in RFC 5895
  167. // or UTS 46, tailored to, for example, domain registration or lookup.
  168. mapping func(p *Profile, s string) (mapped string, isBidi bool, err error)
  169. // bidirule, if specified, checks whether s conforms to the Bidi Rule
  170. // defined in RFC 5893.
  171. bidirule func(s string) bool
  172. }
  173. // A Profile defines the configuration of an IDNA mapper.
  174. type Profile struct {
  175. options
  176. }
  177. func apply(o *options, opts []Option) {
  178. for _, f := range opts {
  179. f(o)
  180. }
  181. }
  182. // New creates a new Profile.
  183. //
  184. // With no options, the returned Profile is the most permissive and equals the
  185. // Punycode Profile. Options can be passed to further restrict the Profile. The
  186. // MapForLookup and ValidateForRegistration options set a collection of options,
  187. // for lookup and registration purposes respectively, which can be tailored by
  188. // adding more fine-grained options, where later options override earlier
  189. // options.
  190. func New(o ...Option) *Profile {
  191. p := &Profile{}
  192. apply(&p.options, o)
  193. return p
  194. }
  195. // ToASCII converts a domain or domain label to its ASCII form. For example,
  196. // ToASCII("bücher.example.com") is "xn--bcher-kva.example.com", and
  197. // ToASCII("golang") is "golang". If an error is encountered it will return
  198. // an error and a (partially) processed result.
  199. func (p *Profile) ToASCII(s string) (string, error) {
  200. return p.process(s, true)
  201. }
  202. // ToUnicode converts a domain or domain label to its Unicode form. For example,
  203. // ToUnicode("xn--bcher-kva.example.com") is "bücher.example.com", and
  204. // ToUnicode("golang") is "golang". If an error is encountered it will return
  205. // an error and a (partially) processed result.
  206. func (p *Profile) ToUnicode(s string) (string, error) {
  207. pp := *p
  208. pp.transitional = false
  209. return pp.process(s, false)
  210. }
  211. // String reports a string with a description of the profile for debugging
  212. // purposes. The string format may change with different versions.
  213. func (p *Profile) String() string {
  214. s := ""
  215. if p.transitional {
  216. s = "Transitional"
  217. } else {
  218. s = "NonTransitional"
  219. }
  220. if p.useSTD3Rules {
  221. s += ":UseSTD3Rules"
  222. }
  223. if p.checkHyphens {
  224. s += ":CheckHyphens"
  225. }
  226. if p.checkJoiners {
  227. s += ":CheckJoiners"
  228. }
  229. if p.verifyDNSLength {
  230. s += ":VerifyDNSLength"
  231. }
  232. return s
  233. }
  234. var (
  235. // Punycode is a Profile that does raw punycode processing with a minimum
  236. // of validation.
  237. Punycode *Profile = punycode
  238. // Lookup is the recommended profile for looking up domain names, according
  239. // to Section 5 of RFC 5891. The exact configuration of this profile may
  240. // change over time.
  241. Lookup *Profile = lookup
  242. // Display is the recommended profile for displaying domain names.
  243. // The configuration of this profile may change over time.
  244. Display *Profile = display
  245. // Registration is the recommended profile for checking whether a given
  246. // IDN is valid for registration, according to Section 4 of RFC 5891.
  247. Registration *Profile = registration
  248. punycode = &Profile{}
  249. lookup = &Profile{options{
  250. transitional: transitionalLookup,
  251. useSTD3Rules: true,
  252. checkHyphens: true,
  253. checkJoiners: true,
  254. trie: trie,
  255. fromPuny: validateFromPunycode,
  256. mapping: validateAndMap,
  257. bidirule: bidirule.ValidString,
  258. }}
  259. display = &Profile{options{
  260. useSTD3Rules: true,
  261. checkHyphens: true,
  262. checkJoiners: true,
  263. trie: trie,
  264. fromPuny: validateFromPunycode,
  265. mapping: validateAndMap,
  266. bidirule: bidirule.ValidString,
  267. }}
  268. registration = &Profile{options{
  269. useSTD3Rules: true,
  270. verifyDNSLength: true,
  271. checkHyphens: true,
  272. checkJoiners: true,
  273. trie: trie,
  274. fromPuny: validateFromPunycode,
  275. mapping: validateRegistration,
  276. bidirule: bidirule.ValidString,
  277. }}
  278. // TODO: profiles
  279. // Register: recommended for approving domain names: don't do any mappings
  280. // but rather reject on invalid input. Bundle or block deviation characters.
  281. )
  282. type labelError struct{ label, code_ string }
  283. func (e labelError) code() string { return e.code_ }
  284. func (e labelError) Error() string {
  285. return fmt.Sprintf("idna: invalid label %q", e.label)
  286. }
  287. type runeError rune
  288. func (e runeError) code() string { return "P1" }
  289. func (e runeError) Error() string {
  290. return fmt.Sprintf("idna: disallowed rune %U", e)
  291. }
  292. // process implements the algorithm described in section 4 of UTS #46,
  293. // see https://www.unicode.org/reports/tr46.
  294. func (p *Profile) process(s string, toASCII bool) (string, error) {
  295. var err error
  296. var isBidi bool
  297. if p.mapping != nil {
  298. s, isBidi, err = p.mapping(p, s)
  299. }
  300. // Remove leading empty labels.
  301. if p.removeLeadingDots {
  302. for ; len(s) > 0 && s[0] == '.'; s = s[1:] {
  303. }
  304. }
  305. // TODO: allow for a quick check of the tables data.
  306. // It seems like we should only create this error on ToASCII, but the
  307. // UTS 46 conformance tests suggests we should always check this.
  308. if err == nil && p.verifyDNSLength && s == "" {
  309. err = &labelError{s, "A4"}
  310. }
  311. labels := labelIter{orig: s}
  312. for ; !labels.done(); labels.next() {
  313. label := labels.label()
  314. if label == "" {
  315. // Empty labels are not okay. The label iterator skips the last
  316. // label if it is empty.
  317. if err == nil && p.verifyDNSLength {
  318. err = &labelError{s, "A4"}
  319. }
  320. continue
  321. }
  322. if strings.HasPrefix(label, acePrefix) {
  323. u, err2 := decode(label[len(acePrefix):])
  324. if err2 != nil {
  325. if err == nil {
  326. err = err2
  327. }
  328. // Spec says keep the old label.
  329. continue
  330. }
  331. isBidi = isBidi || bidirule.DirectionString(u) != bidi.LeftToRight
  332. labels.set(u)
  333. if err == nil && p.fromPuny != nil {
  334. err = p.fromPuny(p, u)
  335. }
  336. if err == nil {
  337. // This should be called on NonTransitional, according to the
  338. // spec, but that currently does not have any effect. Use the
  339. // original profile to preserve options.
  340. err = p.validateLabel(u)
  341. }
  342. } else if err == nil {
  343. err = p.validateLabel(label)
  344. }
  345. }
  346. if isBidi && p.bidirule != nil && err == nil {
  347. for labels.reset(); !labels.done(); labels.next() {
  348. if !p.bidirule(labels.label()) {
  349. err = &labelError{s, "B"}
  350. break
  351. }
  352. }
  353. }
  354. if toASCII {
  355. for labels.reset(); !labels.done(); labels.next() {
  356. label := labels.label()
  357. if !ascii(label) {
  358. a, err2 := encode(acePrefix, label)
  359. if err == nil {
  360. err = err2
  361. }
  362. label = a
  363. labels.set(a)
  364. }
  365. n := len(label)
  366. if p.verifyDNSLength && err == nil && (n == 0 || n > 63) {
  367. err = &labelError{label, "A4"}
  368. }
  369. }
  370. }
  371. s = labels.result()
  372. if toASCII && p.verifyDNSLength && err == nil {
  373. // Compute the length of the domain name minus the root label and its dot.
  374. n := len(s)
  375. if n > 0 && s[n-1] == '.' {
  376. n--
  377. }
  378. if len(s) < 1 || n > 253 {
  379. err = &labelError{s, "A4"}
  380. }
  381. }
  382. return s, err
  383. }
  384. func normalize(p *Profile, s string) (mapped string, isBidi bool, err error) {
  385. // TODO: consider first doing a quick check to see if any of these checks
  386. // need to be done. This will make it slower in the general case, but
  387. // faster in the common case.
  388. mapped = norm.NFC.String(s)
  389. isBidi = bidirule.DirectionString(mapped) == bidi.RightToLeft
  390. return mapped, isBidi, nil
  391. }
  392. func validateRegistration(p *Profile, s string) (idem string, bidi bool, err error) {
  393. // TODO: filter need for normalization in loop below.
  394. if !norm.NFC.IsNormalString(s) {
  395. return s, false, &labelError{s, "V1"}
  396. }
  397. for i := 0; i < len(s); {
  398. v, sz := trie.lookupString(s[i:])
  399. if sz == 0 {
  400. return s, bidi, runeError(utf8.RuneError)
  401. }
  402. bidi = bidi || info(v).isBidi(s[i:])
  403. // Copy bytes not copied so far.
  404. switch p.simplify(info(v).category()) {
  405. // TODO: handle the NV8 defined in the Unicode idna data set to allow
  406. // for strict conformance to IDNA2008.
  407. case valid, deviation:
  408. case disallowed, mapped, unknown, ignored:
  409. r, _ := utf8.DecodeRuneInString(s[i:])
  410. return s, bidi, runeError(r)
  411. }
  412. i += sz
  413. }
  414. return s, bidi, nil
  415. }
  416. func (c info) isBidi(s string) bool {
  417. if !c.isMapped() {
  418. return c&attributesMask == rtl
  419. }
  420. // TODO: also store bidi info for mapped data. This is possible, but a bit
  421. // cumbersome and not for the common case.
  422. p, _ := bidi.LookupString(s)
  423. switch p.Class() {
  424. case bidi.R, bidi.AL, bidi.AN:
  425. return true
  426. }
  427. return false
  428. }
  429. func validateAndMap(p *Profile, s string) (vm string, bidi bool, err error) {
  430. var (
  431. b []byte
  432. k int
  433. )
  434. // combinedInfoBits contains the or-ed bits of all runes. We use this
  435. // to derive the mayNeedNorm bit later. This may trigger normalization
  436. // overeagerly, but it will not do so in the common case. The end result
  437. // is another 10% saving on BenchmarkProfile for the common case.
  438. var combinedInfoBits info
  439. for i := 0; i < len(s); {
  440. v, sz := trie.lookupString(s[i:])
  441. if sz == 0 {
  442. b = append(b, s[k:i]...)
  443. b = append(b, "\ufffd"...)
  444. k = len(s)
  445. if err == nil {
  446. err = runeError(utf8.RuneError)
  447. }
  448. break
  449. }
  450. combinedInfoBits |= info(v)
  451. bidi = bidi || info(v).isBidi(s[i:])
  452. start := i
  453. i += sz
  454. // Copy bytes not copied so far.
  455. switch p.simplify(info(v).category()) {
  456. case valid:
  457. continue
  458. case disallowed:
  459. if err == nil {
  460. r, _ := utf8.DecodeRuneInString(s[start:])
  461. err = runeError(r)
  462. }
  463. continue
  464. case mapped, deviation:
  465. b = append(b, s[k:start]...)
  466. b = info(v).appendMapping(b, s[start:i])
  467. case ignored:
  468. b = append(b, s[k:start]...)
  469. // drop the rune
  470. case unknown:
  471. b = append(b, s[k:start]...)
  472. b = append(b, "\ufffd"...)
  473. }
  474. k = i
  475. }
  476. if k == 0 {
  477. // No changes so far.
  478. if combinedInfoBits&mayNeedNorm != 0 {
  479. s = norm.NFC.String(s)
  480. }
  481. } else {
  482. b = append(b, s[k:]...)
  483. if norm.NFC.QuickSpan(b) != len(b) {
  484. b = norm.NFC.Bytes(b)
  485. }
  486. // TODO: the punycode converters require strings as input.
  487. s = string(b)
  488. }
  489. return s, bidi, err
  490. }
  491. // A labelIter allows iterating over domain name labels.
  492. type labelIter struct {
  493. orig string
  494. slice []string
  495. curStart int
  496. curEnd int
  497. i int
  498. }
  499. func (l *labelIter) reset() {
  500. l.curStart = 0
  501. l.curEnd = 0
  502. l.i = 0
  503. }
  504. func (l *labelIter) done() bool {
  505. return l.curStart >= len(l.orig)
  506. }
  507. func (l *labelIter) result() string {
  508. if l.slice != nil {
  509. return strings.Join(l.slice, ".")
  510. }
  511. return l.orig
  512. }
  513. func (l *labelIter) label() string {
  514. if l.slice != nil {
  515. return l.slice[l.i]
  516. }
  517. p := strings.IndexByte(l.orig[l.curStart:], '.')
  518. l.curEnd = l.curStart + p
  519. if p == -1 {
  520. l.curEnd = len(l.orig)
  521. }
  522. return l.orig[l.curStart:l.curEnd]
  523. }
  524. // next sets the value to the next label. It skips the last label if it is empty.
  525. func (l *labelIter) next() {
  526. l.i++
  527. if l.slice != nil {
  528. if l.i >= len(l.slice) || l.i == len(l.slice)-1 && l.slice[l.i] == "" {
  529. l.curStart = len(l.orig)
  530. }
  531. } else {
  532. l.curStart = l.curEnd + 1
  533. if l.curStart == len(l.orig)-1 && l.orig[l.curStart] == '.' {
  534. l.curStart = len(l.orig)
  535. }
  536. }
  537. }
  538. func (l *labelIter) set(s string) {
  539. if l.slice == nil {
  540. l.slice = strings.Split(l.orig, ".")
  541. }
  542. l.slice[l.i] = s
  543. }
  544. // acePrefix is the ASCII Compatible Encoding prefix.
  545. const acePrefix = "xn--"
  546. func (p *Profile) simplify(cat category) category {
  547. switch cat {
  548. case disallowedSTD3Mapped:
  549. if p.useSTD3Rules {
  550. cat = disallowed
  551. } else {
  552. cat = mapped
  553. }
  554. case disallowedSTD3Valid:
  555. if p.useSTD3Rules {
  556. cat = disallowed
  557. } else {
  558. cat = valid
  559. }
  560. case deviation:
  561. if !p.transitional {
  562. cat = valid
  563. }
  564. case validNV8, validXV8:
  565. // TODO: handle V2008
  566. cat = valid
  567. }
  568. return cat
  569. }
  570. func validateFromPunycode(p *Profile, s string) error {
  571. if !norm.NFC.IsNormalString(s) {
  572. return &labelError{s, "V1"}
  573. }
  574. // TODO: detect whether string may have to be normalized in the following
  575. // loop.
  576. for i := 0; i < len(s); {
  577. v, sz := trie.lookupString(s[i:])
  578. if sz == 0 {
  579. return runeError(utf8.RuneError)
  580. }
  581. if c := p.simplify(info(v).category()); c != valid && c != deviation {
  582. return &labelError{s, "V6"}
  583. }
  584. i += sz
  585. }
  586. return nil
  587. }
  588. const (
  589. zwnj = "\u200c"
  590. zwj = "\u200d"
  591. )
  592. type joinState int8
  593. const (
  594. stateStart joinState = iota
  595. stateVirama
  596. stateBefore
  597. stateBeforeVirama
  598. stateAfter
  599. stateFAIL
  600. )
  601. var joinStates = [][numJoinTypes]joinState{
  602. stateStart: {
  603. joiningL: stateBefore,
  604. joiningD: stateBefore,
  605. joinZWNJ: stateFAIL,
  606. joinZWJ: stateFAIL,
  607. joinVirama: stateVirama,
  608. },
  609. stateVirama: {
  610. joiningL: stateBefore,
  611. joiningD: stateBefore,
  612. },
  613. stateBefore: {
  614. joiningL: stateBefore,
  615. joiningD: stateBefore,
  616. joiningT: stateBefore,
  617. joinZWNJ: stateAfter,
  618. joinZWJ: stateFAIL,
  619. joinVirama: stateBeforeVirama,
  620. },
  621. stateBeforeVirama: {
  622. joiningL: stateBefore,
  623. joiningD: stateBefore,
  624. joiningT: stateBefore,
  625. },
  626. stateAfter: {
  627. joiningL: stateFAIL,
  628. joiningD: stateBefore,
  629. joiningT: stateAfter,
  630. joiningR: stateStart,
  631. joinZWNJ: stateFAIL,
  632. joinZWJ: stateFAIL,
  633. joinVirama: stateAfter, // no-op as we can't accept joiners here
  634. },
  635. stateFAIL: {
  636. 0: stateFAIL,
  637. joiningL: stateFAIL,
  638. joiningD: stateFAIL,
  639. joiningT: stateFAIL,
  640. joiningR: stateFAIL,
  641. joinZWNJ: stateFAIL,
  642. joinZWJ: stateFAIL,
  643. joinVirama: stateFAIL,
  644. },
  645. }
  646. // validateLabel validates the criteria from Section 4.1. Item 1, 4, and 6 are
  647. // already implicitly satisfied by the overall implementation.
  648. func (p *Profile) validateLabel(s string) (err error) {
  649. if s == "" {
  650. if p.verifyDNSLength {
  651. return &labelError{s, "A4"}
  652. }
  653. return nil
  654. }
  655. if p.checkHyphens {
  656. if len(s) > 4 && s[2] == '-' && s[3] == '-' {
  657. return &labelError{s, "V2"}
  658. }
  659. if s[0] == '-' || s[len(s)-1] == '-' {
  660. return &labelError{s, "V3"}
  661. }
  662. }
  663. if !p.checkJoiners {
  664. return nil
  665. }
  666. trie := p.trie // p.checkJoiners is only set if trie is set.
  667. // TODO: merge the use of this in the trie.
  668. v, sz := trie.lookupString(s)
  669. x := info(v)
  670. if x.isModifier() {
  671. return &labelError{s, "V5"}
  672. }
  673. // Quickly return in the absence of zero-width (non) joiners.
  674. if strings.Index(s, zwj) == -1 && strings.Index(s, zwnj) == -1 {
  675. return nil
  676. }
  677. st := stateStart
  678. for i := 0; ; {
  679. jt := x.joinType()
  680. if s[i:i+sz] == zwj {
  681. jt = joinZWJ
  682. } else if s[i:i+sz] == zwnj {
  683. jt = joinZWNJ
  684. }
  685. st = joinStates[st][jt]
  686. if x.isViramaModifier() {
  687. st = joinStates[st][joinVirama]
  688. }
  689. if i += sz; i == len(s) {
  690. break
  691. }
  692. v, sz = trie.lookupString(s[i:])
  693. x = info(v)
  694. }
  695. if st == stateFAIL || st == stateAfter {
  696. return &labelError{s, "C"}
  697. }
  698. return nil
  699. }
  700. func ascii(s string) bool {
  701. for i := 0; i < len(s); i++ {
  702. if s[i] >= utf8.RuneSelf {
  703. return false
  704. }
  705. }
  706. return true
  707. }