lexer.go 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830
  1. package parser
  2. import (
  3. "bytes"
  4. "errors"
  5. "fmt"
  6. "regexp"
  7. "strconv"
  8. "strings"
  9. "unicode"
  10. "unicode/utf8"
  11. "github.com/dop251/goja/file"
  12. "github.com/dop251/goja/token"
  13. "unicode/utf16"
  14. )
  15. type _chr struct {
  16. value rune
  17. width int
  18. }
  19. var matchIdentifier = regexp.MustCompile(`^[$_\p{L}][$_\p{L}\d}]*$`)
  20. func isDecimalDigit(chr rune) bool {
  21. return '0' <= chr && chr <= '9'
  22. }
  23. func digitValue(chr rune) int {
  24. switch {
  25. case '0' <= chr && chr <= '9':
  26. return int(chr - '0')
  27. case 'a' <= chr && chr <= 'f':
  28. return int(chr - 'a' + 10)
  29. case 'A' <= chr && chr <= 'F':
  30. return int(chr - 'A' + 10)
  31. }
  32. return 16 // Larger than any legal digit value
  33. }
  34. func isDigit(chr rune, base int) bool {
  35. return digitValue(chr) < base
  36. }
  37. func isIdentifierStart(chr rune) bool {
  38. return chr == '$' || chr == '_' || chr == '\\' ||
  39. 'a' <= chr && chr <= 'z' || 'A' <= chr && chr <= 'Z' ||
  40. chr >= utf8.RuneSelf && unicode.IsLetter(chr)
  41. }
  42. func isIdentifierPart(chr rune) bool {
  43. return chr == '$' || chr == '_' || chr == '\\' ||
  44. 'a' <= chr && chr <= 'z' || 'A' <= chr && chr <= 'Z' ||
  45. '0' <= chr && chr <= '9' ||
  46. chr >= utf8.RuneSelf && (unicode.IsLetter(chr) || unicode.IsDigit(chr))
  47. }
  48. func (self *_parser) scanIdentifier() (string, error) {
  49. offset := self.chrOffset
  50. parse := false
  51. for isIdentifierPart(self.chr) {
  52. if self.chr == '\\' {
  53. distance := self.chrOffset - offset
  54. self.read()
  55. if self.chr != 'u' {
  56. return "", fmt.Errorf("Invalid identifier escape character: %c (%s)", self.chr, string(self.chr))
  57. }
  58. parse = true
  59. var value rune
  60. for j := 0; j < 4; j++ {
  61. self.read()
  62. decimal, ok := hex2decimal(byte(self.chr))
  63. if !ok {
  64. return "", fmt.Errorf("Invalid identifier escape character: %c (%s)", self.chr, string(self.chr))
  65. }
  66. value = value<<4 | decimal
  67. }
  68. if value == '\\' {
  69. return "", fmt.Errorf("Invalid identifier escape value: %c (%s)", value, string(value))
  70. } else if distance == 0 {
  71. if !isIdentifierStart(value) {
  72. return "", fmt.Errorf("Invalid identifier escape value: %c (%s)", value, string(value))
  73. }
  74. } else if distance > 0 {
  75. if !isIdentifierPart(value) {
  76. return "", fmt.Errorf("Invalid identifier escape value: %c (%s)", value, string(value))
  77. }
  78. }
  79. }
  80. self.read()
  81. }
  82. literal := string(self.str[offset:self.chrOffset])
  83. if parse {
  84. return parseStringLiteral(literal)
  85. }
  86. return literal, nil
  87. }
  88. // 7.2
  89. func isLineWhiteSpace(chr rune) bool {
  90. switch chr {
  91. case '\u0009', '\u000b', '\u000c', '\u0020', '\u00a0', '\ufeff':
  92. return true
  93. case '\u000a', '\u000d', '\u2028', '\u2029':
  94. return false
  95. case '\u0085':
  96. return false
  97. }
  98. return unicode.IsSpace(chr)
  99. }
  100. // 7.3
  101. func isLineTerminator(chr rune) bool {
  102. switch chr {
  103. case '\u000a', '\u000d', '\u2028', '\u2029':
  104. return true
  105. }
  106. return false
  107. }
  108. func (self *_parser) scan() (tkn token.Token, literal string, idx file.Idx) {
  109. self.implicitSemicolon = false
  110. for {
  111. self.skipWhiteSpace()
  112. idx = self.idxOf(self.chrOffset)
  113. insertSemicolon := false
  114. switch chr := self.chr; {
  115. case isIdentifierStart(chr):
  116. var err error
  117. literal, err = self.scanIdentifier()
  118. if err != nil {
  119. tkn = token.ILLEGAL
  120. break
  121. }
  122. if len(literal) > 1 {
  123. // Keywords are longer than 1 character, avoid lookup otherwise
  124. var strict bool
  125. tkn, strict = token.IsKeyword(literal)
  126. switch tkn {
  127. case 0: // Not a keyword
  128. if literal == "true" || literal == "false" {
  129. self.insertSemicolon = true
  130. tkn = token.BOOLEAN
  131. return
  132. } else if literal == "null" {
  133. self.insertSemicolon = true
  134. tkn = token.NULL
  135. return
  136. }
  137. case token.KEYWORD:
  138. tkn = token.KEYWORD
  139. if strict {
  140. // TODO If strict and in strict mode, then this is not a break
  141. break
  142. }
  143. return
  144. case
  145. token.THIS,
  146. token.BREAK,
  147. token.THROW, // A newline after a throw is not allowed, but we need to detect it
  148. token.RETURN,
  149. token.CONTINUE,
  150. token.DEBUGGER:
  151. self.insertSemicolon = true
  152. return
  153. default:
  154. return
  155. }
  156. }
  157. self.insertSemicolon = true
  158. tkn = token.IDENTIFIER
  159. return
  160. case '0' <= chr && chr <= '9':
  161. self.insertSemicolon = true
  162. tkn, literal = self.scanNumericLiteral(false)
  163. return
  164. default:
  165. self.read()
  166. switch chr {
  167. case -1:
  168. if self.insertSemicolon {
  169. self.insertSemicolon = false
  170. self.implicitSemicolon = true
  171. }
  172. tkn = token.EOF
  173. case '\r', '\n', '\u2028', '\u2029':
  174. self.insertSemicolon = false
  175. self.implicitSemicolon = true
  176. continue
  177. case ':':
  178. tkn = token.COLON
  179. case '.':
  180. if digitValue(self.chr) < 10 {
  181. insertSemicolon = true
  182. tkn, literal = self.scanNumericLiteral(true)
  183. } else {
  184. tkn = token.PERIOD
  185. }
  186. case ',':
  187. tkn = token.COMMA
  188. case ';':
  189. tkn = token.SEMICOLON
  190. case '(':
  191. tkn = token.LEFT_PARENTHESIS
  192. case ')':
  193. tkn = token.RIGHT_PARENTHESIS
  194. insertSemicolon = true
  195. case '[':
  196. tkn = token.LEFT_BRACKET
  197. case ']':
  198. tkn = token.RIGHT_BRACKET
  199. insertSemicolon = true
  200. case '{':
  201. tkn = token.LEFT_BRACE
  202. case '}':
  203. tkn = token.RIGHT_BRACE
  204. insertSemicolon = true
  205. case '+':
  206. tkn = self.switch3(token.PLUS, token.ADD_ASSIGN, '+', token.INCREMENT)
  207. if tkn == token.INCREMENT {
  208. insertSemicolon = true
  209. }
  210. case '-':
  211. tkn = self.switch3(token.MINUS, token.SUBTRACT_ASSIGN, '-', token.DECREMENT)
  212. if tkn == token.DECREMENT {
  213. insertSemicolon = true
  214. }
  215. case '*':
  216. tkn = self.switch2(token.MULTIPLY, token.MULTIPLY_ASSIGN)
  217. case '/':
  218. if self.chr == '/' {
  219. self.skipSingleLineComment()
  220. continue
  221. } else if self.chr == '*' {
  222. self.skipMultiLineComment()
  223. continue
  224. } else {
  225. // Could be division, could be RegExp literal
  226. tkn = self.switch2(token.SLASH, token.QUOTIENT_ASSIGN)
  227. insertSemicolon = true
  228. }
  229. case '%':
  230. tkn = self.switch2(token.REMAINDER, token.REMAINDER_ASSIGN)
  231. case '^':
  232. tkn = self.switch2(token.EXCLUSIVE_OR, token.EXCLUSIVE_OR_ASSIGN)
  233. case '<':
  234. tkn = self.switch4(token.LESS, token.LESS_OR_EQUAL, '<', token.SHIFT_LEFT, token.SHIFT_LEFT_ASSIGN)
  235. case '>':
  236. tkn = self.switch6(token.GREATER, token.GREATER_OR_EQUAL, '>', token.SHIFT_RIGHT, token.SHIFT_RIGHT_ASSIGN, '>', token.UNSIGNED_SHIFT_RIGHT, token.UNSIGNED_SHIFT_RIGHT_ASSIGN)
  237. case '=':
  238. tkn = self.switch2(token.ASSIGN, token.EQUAL)
  239. if tkn == token.EQUAL && self.chr == '=' {
  240. self.read()
  241. tkn = token.STRICT_EQUAL
  242. }
  243. case '!':
  244. tkn = self.switch2(token.NOT, token.NOT_EQUAL)
  245. if tkn == token.NOT_EQUAL && self.chr == '=' {
  246. self.read()
  247. tkn = token.STRICT_NOT_EQUAL
  248. }
  249. case '&':
  250. if self.chr == '^' {
  251. self.read()
  252. tkn = self.switch2(token.AND_NOT, token.AND_NOT_ASSIGN)
  253. } else {
  254. tkn = self.switch3(token.AND, token.AND_ASSIGN, '&', token.LOGICAL_AND)
  255. }
  256. case '|':
  257. tkn = self.switch3(token.OR, token.OR_ASSIGN, '|', token.LOGICAL_OR)
  258. case '~':
  259. tkn = token.BITWISE_NOT
  260. case '?':
  261. tkn = token.QUESTION_MARK
  262. case '"', '\'':
  263. insertSemicolon = true
  264. tkn = token.STRING
  265. var err error
  266. literal, err = self.scanString(self.chrOffset - 1)
  267. if err != nil {
  268. tkn = token.ILLEGAL
  269. }
  270. default:
  271. self.errorUnexpected(idx, chr)
  272. tkn = token.ILLEGAL
  273. }
  274. }
  275. self.insertSemicolon = insertSemicolon
  276. return
  277. }
  278. }
  279. func (self *_parser) switch2(tkn0, tkn1 token.Token) token.Token {
  280. if self.chr == '=' {
  281. self.read()
  282. return tkn1
  283. }
  284. return tkn0
  285. }
  286. func (self *_parser) switch3(tkn0, tkn1 token.Token, chr2 rune, tkn2 token.Token) token.Token {
  287. if self.chr == '=' {
  288. self.read()
  289. return tkn1
  290. }
  291. if self.chr == chr2 {
  292. self.read()
  293. return tkn2
  294. }
  295. return tkn0
  296. }
  297. func (self *_parser) switch4(tkn0, tkn1 token.Token, chr2 rune, tkn2, tkn3 token.Token) token.Token {
  298. if self.chr == '=' {
  299. self.read()
  300. return tkn1
  301. }
  302. if self.chr == chr2 {
  303. self.read()
  304. if self.chr == '=' {
  305. self.read()
  306. return tkn3
  307. }
  308. return tkn2
  309. }
  310. return tkn0
  311. }
  312. func (self *_parser) switch6(tkn0, tkn1 token.Token, chr2 rune, tkn2, tkn3 token.Token, chr3 rune, tkn4, tkn5 token.Token) token.Token {
  313. if self.chr == '=' {
  314. self.read()
  315. return tkn1
  316. }
  317. if self.chr == chr2 {
  318. self.read()
  319. if self.chr == '=' {
  320. self.read()
  321. return tkn3
  322. }
  323. if self.chr == chr3 {
  324. self.read()
  325. if self.chr == '=' {
  326. self.read()
  327. return tkn5
  328. }
  329. return tkn4
  330. }
  331. return tkn2
  332. }
  333. return tkn0
  334. }
  335. func (self *_parser) chrAt(index int) _chr {
  336. value, width := utf8.DecodeRuneInString(self.str[index:])
  337. return _chr{
  338. value: value,
  339. width: width,
  340. }
  341. }
  342. func (self *_parser) _peek() rune {
  343. if self.offset+1 < self.length {
  344. return rune(self.str[self.offset+1])
  345. }
  346. return -1
  347. }
  348. func (self *_parser) read() {
  349. if self.offset < self.length {
  350. self.chrOffset = self.offset
  351. chr, width := rune(self.str[self.offset]), 1
  352. if chr >= utf8.RuneSelf { // !ASCII
  353. chr, width = utf8.DecodeRuneInString(self.str[self.offset:])
  354. if chr == utf8.RuneError && width == 1 {
  355. self.error(self.chrOffset, "Invalid UTF-8 character")
  356. }
  357. }
  358. self.offset += width
  359. self.chr = chr
  360. } else {
  361. self.chrOffset = self.length
  362. self.chr = -1 // EOF
  363. }
  364. }
  365. // This is here since the functions are so similar
  366. func (self *_RegExp_parser) read() {
  367. if self.offset < self.length {
  368. self.chrOffset = self.offset
  369. chr, width := rune(self.str[self.offset]), 1
  370. if chr >= utf8.RuneSelf { // !ASCII
  371. chr, width = utf8.DecodeRuneInString(self.str[self.offset:])
  372. if chr == utf8.RuneError && width == 1 {
  373. self.error(self.chrOffset, "Invalid UTF-8 character")
  374. }
  375. }
  376. self.offset += width
  377. self.chr = chr
  378. } else {
  379. self.chrOffset = self.length
  380. self.chr = -1 // EOF
  381. }
  382. }
  383. func (self *_parser) skipSingleLineComment() {
  384. for self.chr != -1 {
  385. self.read()
  386. if isLineTerminator(self.chr) {
  387. return
  388. }
  389. }
  390. }
  391. func (self *_parser) skipMultiLineComment() {
  392. self.read()
  393. for self.chr >= 0 {
  394. chr := self.chr
  395. self.read()
  396. if chr == '*' && self.chr == '/' {
  397. self.read()
  398. return
  399. }
  400. }
  401. self.errorUnexpected(0, self.chr)
  402. }
  403. func (self *_parser) skipWhiteSpace() {
  404. for {
  405. switch self.chr {
  406. case ' ', '\t', '\f', '\v', '\u00a0', '\ufeff':
  407. self.read()
  408. continue
  409. case '\r':
  410. if self._peek() == '\n' {
  411. self.read()
  412. }
  413. fallthrough
  414. case '\u2028', '\u2029', '\n':
  415. if self.insertSemicolon {
  416. return
  417. }
  418. self.read()
  419. continue
  420. }
  421. if self.chr >= utf8.RuneSelf {
  422. if unicode.IsSpace(self.chr) {
  423. self.read()
  424. continue
  425. }
  426. }
  427. break
  428. }
  429. }
  430. func (self *_parser) skipLineWhiteSpace() {
  431. for isLineWhiteSpace(self.chr) {
  432. self.read()
  433. }
  434. }
  435. func (self *_parser) scanMantissa(base int) {
  436. for digitValue(self.chr) < base {
  437. self.read()
  438. }
  439. }
  440. func (self *_parser) scanEscape(quote rune) {
  441. var length, base uint32
  442. switch self.chr {
  443. //case '0', '1', '2', '3', '4', '5', '6', '7':
  444. // Octal:
  445. // length, base, limit = 3, 8, 255
  446. case 'a', 'b', 'f', 'n', 'r', 't', 'v', '\\', '"', '\'', '0':
  447. self.read()
  448. return
  449. case '\r', '\n', '\u2028', '\u2029':
  450. self.scanNewline()
  451. return
  452. case 'x':
  453. self.read()
  454. length, base = 2, 16
  455. case 'u':
  456. self.read()
  457. length, base = 4, 16
  458. default:
  459. self.read() // Always make progress
  460. return
  461. }
  462. var value uint32
  463. for ; length > 0 && self.chr != quote && self.chr >= 0; length-- {
  464. digit := uint32(digitValue(self.chr))
  465. if digit >= base {
  466. break
  467. }
  468. value = value*base + digit
  469. self.read()
  470. }
  471. }
  472. func (self *_parser) scanString(offset int) (string, error) {
  473. // " ' /
  474. quote := rune(self.str[offset])
  475. for self.chr != quote {
  476. chr := self.chr
  477. if chr == '\n' || chr == '\r' || chr == '\u2028' || chr == '\u2029' || chr < 0 {
  478. goto newline
  479. }
  480. self.read()
  481. if chr == '\\' {
  482. if quote == '/' {
  483. if self.chr == '\n' || self.chr == '\r' || self.chr == '\u2028' || self.chr == '\u2029' || self.chr < 0 {
  484. goto newline
  485. }
  486. self.read()
  487. } else {
  488. self.scanEscape(quote)
  489. }
  490. } else if chr == '[' && quote == '/' {
  491. // Allow a slash (/) in a bracket character class ([...])
  492. // TODO Fix this, this is hacky...
  493. quote = -1
  494. } else if chr == ']' && quote == -1 {
  495. quote = '/'
  496. }
  497. }
  498. // " ' /
  499. self.read()
  500. return string(self.str[offset:self.chrOffset]), nil
  501. newline:
  502. self.scanNewline()
  503. err := "String not terminated"
  504. if quote == '/' {
  505. err = "Invalid regular expression: missing /"
  506. self.error(self.idxOf(offset), err)
  507. }
  508. return "", errors.New(err)
  509. }
  510. func (self *_parser) scanNewline() {
  511. if self.chr == '\r' {
  512. self.read()
  513. if self.chr != '\n' {
  514. return
  515. }
  516. }
  517. self.read()
  518. }
  519. func hex2decimal(chr byte) (value rune, ok bool) {
  520. {
  521. chr := rune(chr)
  522. switch {
  523. case '0' <= chr && chr <= '9':
  524. return chr - '0', true
  525. case 'a' <= chr && chr <= 'f':
  526. return chr - 'a' + 10, true
  527. case 'A' <= chr && chr <= 'F':
  528. return chr - 'A' + 10, true
  529. }
  530. return
  531. }
  532. }
  533. func parseNumberLiteral(literal string) (value interface{}, err error) {
  534. // TODO Is Uint okay? What about -MAX_UINT
  535. value, err = strconv.ParseInt(literal, 0, 64)
  536. if err == nil {
  537. return
  538. }
  539. parseIntErr := err // Save this first error, just in case
  540. value, err = strconv.ParseFloat(literal, 64)
  541. if err == nil {
  542. return
  543. } else if err.(*strconv.NumError).Err == strconv.ErrRange {
  544. // Infinity, etc.
  545. return value, nil
  546. }
  547. err = parseIntErr
  548. if err.(*strconv.NumError).Err == strconv.ErrRange {
  549. if len(literal) > 2 && literal[0] == '0' && (literal[1] == 'X' || literal[1] == 'x') {
  550. // Could just be a very large number (e.g. 0x8000000000000000)
  551. var value float64
  552. literal = literal[2:]
  553. for _, chr := range literal {
  554. digit := digitValue(chr)
  555. if digit >= 16 {
  556. goto error
  557. }
  558. value = value*16 + float64(digit)
  559. }
  560. return value, nil
  561. }
  562. }
  563. error:
  564. return nil, errors.New("Illegal numeric literal")
  565. }
  566. func parseStringLiteral(literal string) (string, error) {
  567. // Best case scenario...
  568. if literal == "" {
  569. return "", nil
  570. }
  571. // Slightly less-best case scenario...
  572. if !strings.ContainsRune(literal, '\\') {
  573. return literal, nil
  574. }
  575. str := literal
  576. buffer := bytes.NewBuffer(make([]byte, 0, 3*len(literal)/2))
  577. var surrogate rune
  578. S:
  579. for len(str) > 0 {
  580. switch chr := str[0]; {
  581. // We do not explicitly handle the case of the quote
  582. // value, which can be: " ' /
  583. // This assumes we're already passed a partially well-formed literal
  584. case chr >= utf8.RuneSelf:
  585. chr, size := utf8.DecodeRuneInString(str)
  586. buffer.WriteRune(chr)
  587. str = str[size:]
  588. continue
  589. case chr != '\\':
  590. buffer.WriteByte(chr)
  591. str = str[1:]
  592. continue
  593. }
  594. if len(str) <= 1 {
  595. panic("len(str) <= 1")
  596. }
  597. chr := str[1]
  598. var value rune
  599. if chr >= utf8.RuneSelf {
  600. str = str[1:]
  601. var size int
  602. value, size = utf8.DecodeRuneInString(str)
  603. str = str[size:] // \ + <character>
  604. } else {
  605. str = str[2:] // \<character>
  606. switch chr {
  607. case 'b':
  608. value = '\b'
  609. case 'f':
  610. value = '\f'
  611. case 'n':
  612. value = '\n'
  613. case 'r':
  614. value = '\r'
  615. case 't':
  616. value = '\t'
  617. case 'v':
  618. value = '\v'
  619. case 'x', 'u':
  620. size := 0
  621. switch chr {
  622. case 'x':
  623. size = 2
  624. case 'u':
  625. size = 4
  626. }
  627. if len(str) < size {
  628. return "", fmt.Errorf("invalid escape: \\%s: len(%q) != %d", string(chr), str, size)
  629. }
  630. for j := 0; j < size; j++ {
  631. decimal, ok := hex2decimal(str[j])
  632. if !ok {
  633. return "", fmt.Errorf("invalid escape: \\%s: %q", string(chr), str[:size])
  634. }
  635. value = value<<4 | decimal
  636. }
  637. str = str[size:]
  638. if chr == 'x' {
  639. break
  640. }
  641. if value > utf8.MaxRune {
  642. panic("value > utf8.MaxRune")
  643. }
  644. case '0':
  645. if len(str) == 0 || '0' > str[0] || str[0] > '7' {
  646. value = 0
  647. break
  648. }
  649. fallthrough
  650. case '1', '2', '3', '4', '5', '6', '7':
  651. // TODO strict
  652. value = rune(chr) - '0'
  653. j := 0
  654. for ; j < 2; j++ {
  655. if len(str) < j+1 {
  656. break
  657. }
  658. chr := str[j]
  659. if '0' > chr || chr > '7' {
  660. break
  661. }
  662. decimal := rune(str[j]) - '0'
  663. value = (value << 3) | decimal
  664. }
  665. str = str[j:]
  666. case '\\':
  667. value = '\\'
  668. case '\'', '"':
  669. value = rune(chr)
  670. case '\r':
  671. if len(str) > 0 {
  672. if str[0] == '\n' {
  673. str = str[1:]
  674. }
  675. }
  676. fallthrough
  677. case '\n':
  678. continue
  679. default:
  680. value = rune(chr)
  681. }
  682. if surrogate != 0 {
  683. value = utf16.DecodeRune(surrogate, value)
  684. surrogate = 0
  685. } else {
  686. if utf16.IsSurrogate(value) {
  687. surrogate = value
  688. continue S
  689. }
  690. }
  691. }
  692. buffer.WriteRune(value)
  693. }
  694. return buffer.String(), nil
  695. }
  696. func (self *_parser) scanNumericLiteral(decimalPoint bool) (token.Token, string) {
  697. offset := self.chrOffset
  698. tkn := token.NUMBER
  699. if decimalPoint {
  700. offset--
  701. self.scanMantissa(10)
  702. goto exponent
  703. }
  704. if self.chr == '0' {
  705. offset := self.chrOffset
  706. self.read()
  707. if self.chr == 'x' || self.chr == 'X' {
  708. // Hexadecimal
  709. self.read()
  710. if isDigit(self.chr, 16) {
  711. self.read()
  712. } else {
  713. return token.ILLEGAL, self.str[offset:self.chrOffset]
  714. }
  715. self.scanMantissa(16)
  716. if self.chrOffset-offset <= 2 {
  717. // Only "0x" or "0X"
  718. self.error(0, "Illegal hexadecimal number")
  719. }
  720. goto hexadecimal
  721. } else if self.chr == '.' {
  722. // Float
  723. goto float
  724. } else {
  725. // Octal, Float
  726. if self.chr == 'e' || self.chr == 'E' {
  727. goto exponent
  728. }
  729. self.scanMantissa(8)
  730. if self.chr == '8' || self.chr == '9' {
  731. return token.ILLEGAL, self.str[offset:self.chrOffset]
  732. }
  733. goto octal
  734. }
  735. }
  736. self.scanMantissa(10)
  737. float:
  738. if self.chr == '.' {
  739. self.read()
  740. self.scanMantissa(10)
  741. }
  742. exponent:
  743. if self.chr == 'e' || self.chr == 'E' {
  744. self.read()
  745. if self.chr == '-' || self.chr == '+' {
  746. self.read()
  747. }
  748. if isDecimalDigit(self.chr) {
  749. self.read()
  750. self.scanMantissa(10)
  751. } else {
  752. return token.ILLEGAL, self.str[offset:self.chrOffset]
  753. }
  754. }
  755. hexadecimal:
  756. octal:
  757. if isIdentifierStart(self.chr) || isDecimalDigit(self.chr) {
  758. return token.ILLEGAL, self.str[offset:self.chrOffset]
  759. }
  760. return tkn, self.str[offset:self.chrOffset]
  761. }