regexp.go 9.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465
  1. package parser
  2. import (
  3. "fmt"
  4. "strconv"
  5. "strings"
  6. "unicode/utf8"
  7. )
  8. const (
  9. WhitespaceChars = " \f\n\r\t\v\u00a0\u1680\u2000\u2001\u2002\u2003\u2004\u2005\u2006\u2007\u2008\u2009\u200a\u2028\u2029\u202f\u205f\u3000\ufeff"
  10. Re2Dot = "[^\r\n\u2028\u2029]"
  11. )
  12. type regexpParseError struct {
  13. offset int
  14. err string
  15. }
  16. type RegexpErrorIncompatible struct {
  17. regexpParseError
  18. }
  19. type RegexpSyntaxError struct {
  20. regexpParseError
  21. }
  22. func (s regexpParseError) Error() string {
  23. return s.err
  24. }
  25. type _RegExp_parser struct {
  26. str string
  27. length int
  28. chr rune // The current character
  29. chrOffset int // The offset of current character
  30. offset int // The offset after current character (may be greater than 1)
  31. err error
  32. goRegexp strings.Builder
  33. passOffset int
  34. dotAll bool // Enable dotAll mode
  35. }
  36. // TransformRegExp transforms a JavaScript pattern into a Go "regexp" pattern.
  37. //
  38. // re2 (Go) cannot do backtracking, so the presence of a lookahead (?=) (?!) or
  39. // backreference (\1, \2, ...) will cause an error.
  40. //
  41. // re2 (Go) has a different definition for \s: [\t\n\f\r ].
  42. // The JavaScript definition, on the other hand, also includes \v, Unicode "Separator, Space", etc.
  43. //
  44. // If the pattern is valid, but incompatible (contains a lookahead or backreference),
  45. // then this function returns an empty string an error of type RegexpErrorIncompatible.
  46. //
  47. // If the pattern is invalid (not valid even in JavaScript), then this function
  48. // returns an empty string and a generic error.
  49. func TransformRegExp(pattern string, dotAll bool) (transformed string, err error) {
  50. if pattern == "" {
  51. return "", nil
  52. }
  53. parser := _RegExp_parser{
  54. str: pattern,
  55. length: len(pattern),
  56. dotAll: dotAll,
  57. }
  58. err = parser.parse()
  59. if err != nil {
  60. return "", err
  61. }
  62. return parser.ResultString(), nil
  63. }
  64. func (self *_RegExp_parser) ResultString() string {
  65. if self.passOffset != -1 {
  66. return self.str[:self.passOffset]
  67. }
  68. return self.goRegexp.String()
  69. }
  70. func (self *_RegExp_parser) parse() (err error) {
  71. self.read() // Pull in the first character
  72. self.scan()
  73. return self.err
  74. }
  75. func (self *_RegExp_parser) read() {
  76. if self.offset < self.length {
  77. self.chrOffset = self.offset
  78. chr, width := rune(self.str[self.offset]), 1
  79. if chr >= utf8.RuneSelf { // !ASCII
  80. chr, width = utf8.DecodeRuneInString(self.str[self.offset:])
  81. if chr == utf8.RuneError && width == 1 {
  82. self.error(true, "Invalid UTF-8 character")
  83. return
  84. }
  85. }
  86. self.offset += width
  87. self.chr = chr
  88. } else {
  89. self.chrOffset = self.length
  90. self.chr = -1 // EOF
  91. }
  92. }
  93. func (self *_RegExp_parser) stopPassing() {
  94. self.goRegexp.Grow(3 * len(self.str) / 2)
  95. self.goRegexp.WriteString(self.str[:self.passOffset])
  96. self.passOffset = -1
  97. }
  98. func (self *_RegExp_parser) write(p []byte) {
  99. if self.passOffset != -1 {
  100. self.stopPassing()
  101. }
  102. self.goRegexp.Write(p)
  103. }
  104. func (self *_RegExp_parser) writeByte(b byte) {
  105. if self.passOffset != -1 {
  106. self.stopPassing()
  107. }
  108. self.goRegexp.WriteByte(b)
  109. }
  110. func (self *_RegExp_parser) writeString(s string) {
  111. if self.passOffset != -1 {
  112. self.stopPassing()
  113. }
  114. self.goRegexp.WriteString(s)
  115. }
  116. func (self *_RegExp_parser) scan() {
  117. for self.chr != -1 {
  118. switch self.chr {
  119. case '\\':
  120. self.read()
  121. self.scanEscape(false)
  122. case '(':
  123. self.pass()
  124. self.scanGroup()
  125. case '[':
  126. self.scanBracket()
  127. case ')':
  128. self.error(true, "Unmatched ')'")
  129. return
  130. case '.':
  131. if self.dotAll {
  132. self.pass()
  133. break
  134. }
  135. self.writeString(Re2Dot)
  136. self.read()
  137. default:
  138. self.pass()
  139. }
  140. }
  141. }
  142. // (...)
  143. func (self *_RegExp_parser) scanGroup() {
  144. str := self.str[self.chrOffset:]
  145. if len(str) > 1 { // A possibility of (?= or (?!
  146. if str[0] == '?' {
  147. ch := str[1]
  148. switch {
  149. case ch == '=' || ch == '!':
  150. self.error(false, "re2: Invalid (%s) <lookahead>", self.str[self.chrOffset:self.chrOffset+2])
  151. return
  152. case ch == '<':
  153. self.error(false, "re2: Invalid (%s) <lookbehind>", self.str[self.chrOffset:self.chrOffset+2])
  154. return
  155. case ch != ':':
  156. self.error(true, "Invalid group")
  157. return
  158. }
  159. }
  160. }
  161. for self.chr != -1 && self.chr != ')' {
  162. switch self.chr {
  163. case '\\':
  164. self.read()
  165. self.scanEscape(false)
  166. case '(':
  167. self.pass()
  168. self.scanGroup()
  169. case '[':
  170. self.scanBracket()
  171. case '.':
  172. self.writeString(Re2Dot)
  173. self.read()
  174. default:
  175. self.pass()
  176. continue
  177. }
  178. }
  179. if self.chr != ')' {
  180. self.error(true, "Unterminated group")
  181. return
  182. }
  183. self.pass()
  184. }
  185. // [...]
  186. func (self *_RegExp_parser) scanBracket() {
  187. str := self.str[self.chrOffset:]
  188. if strings.HasPrefix(str, "[]") {
  189. // [] -- Empty character class
  190. self.writeString("[^\u0000-\U0001FFFF]")
  191. self.offset += 1
  192. self.read()
  193. return
  194. }
  195. if strings.HasPrefix(str, "[^]") {
  196. self.writeString("[\u0000-\U0001FFFF]")
  197. self.offset += 2
  198. self.read()
  199. return
  200. }
  201. self.pass()
  202. for self.chr != -1 {
  203. if self.chr == ']' {
  204. break
  205. } else if self.chr == '\\' {
  206. self.read()
  207. self.scanEscape(true)
  208. continue
  209. }
  210. self.pass()
  211. }
  212. if self.chr != ']' {
  213. self.error(true, "Unterminated character class")
  214. return
  215. }
  216. self.pass()
  217. }
  218. // \...
  219. func (self *_RegExp_parser) scanEscape(inClass bool) {
  220. offset := self.chrOffset
  221. var length, base uint32
  222. switch self.chr {
  223. case '0', '1', '2', '3', '4', '5', '6', '7':
  224. var value int64
  225. size := 0
  226. for {
  227. digit := int64(digitValue(self.chr))
  228. if digit >= 8 {
  229. // Not a valid digit
  230. break
  231. }
  232. value = value*8 + digit
  233. self.read()
  234. size += 1
  235. }
  236. if size == 1 { // The number of characters read
  237. if value != 0 {
  238. // An invalid backreference
  239. self.error(false, "re2: Invalid \\%d <backreference>", value)
  240. return
  241. }
  242. self.passString(offset-1, self.chrOffset)
  243. return
  244. }
  245. tmp := []byte{'\\', 'x', '0', 0}
  246. if value >= 16 {
  247. tmp = tmp[0:2]
  248. } else {
  249. tmp = tmp[0:3]
  250. }
  251. tmp = strconv.AppendInt(tmp, value, 16)
  252. self.write(tmp)
  253. return
  254. case '8', '9':
  255. self.read()
  256. self.error(false, "re2: Invalid \\%s <backreference>", self.str[offset:self.chrOffset])
  257. return
  258. case 'x':
  259. self.read()
  260. length, base = 2, 16
  261. case 'u':
  262. self.read()
  263. if self.chr == '{' {
  264. self.read()
  265. length, base = 0, 16
  266. } else {
  267. length, base = 4, 16
  268. }
  269. case 'b':
  270. if inClass {
  271. self.write([]byte{'\\', 'x', '0', '8'})
  272. self.read()
  273. return
  274. }
  275. fallthrough
  276. case 'B':
  277. fallthrough
  278. case 'd', 'D', 'w', 'W':
  279. // This is slightly broken, because ECMAScript
  280. // includes \v in \s, \S, while re2 does not
  281. fallthrough
  282. case '\\':
  283. fallthrough
  284. case 'f', 'n', 'r', 't', 'v':
  285. self.passString(offset-1, self.offset)
  286. self.read()
  287. return
  288. case 'c':
  289. self.read()
  290. var value int64
  291. if 'a' <= self.chr && self.chr <= 'z' {
  292. value = int64(self.chr - 'a' + 1)
  293. } else if 'A' <= self.chr && self.chr <= 'Z' {
  294. value = int64(self.chr - 'A' + 1)
  295. } else {
  296. self.writeByte('c')
  297. return
  298. }
  299. tmp := []byte{'\\', 'x', '0', 0}
  300. if value >= 16 {
  301. tmp = tmp[0:2]
  302. } else {
  303. tmp = tmp[0:3]
  304. }
  305. tmp = strconv.AppendInt(tmp, value, 16)
  306. self.write(tmp)
  307. self.read()
  308. return
  309. case 's':
  310. if inClass {
  311. self.writeString(WhitespaceChars)
  312. } else {
  313. self.writeString("[" + WhitespaceChars + "]")
  314. }
  315. self.read()
  316. return
  317. case 'S':
  318. if inClass {
  319. self.error(false, "S in class")
  320. return
  321. } else {
  322. self.writeString("[^" + WhitespaceChars + "]")
  323. }
  324. self.read()
  325. return
  326. default:
  327. // $ is an identifier character, so we have to have
  328. // a special case for it here
  329. if self.chr == '$' || self.chr < utf8.RuneSelf && !isIdentifierPart(self.chr) {
  330. // A non-identifier character needs escaping
  331. self.passString(offset-1, self.offset)
  332. self.read()
  333. return
  334. }
  335. // Unescape the character for re2
  336. self.pass()
  337. return
  338. }
  339. // Otherwise, we're a \u.... or \x...
  340. valueOffset := self.chrOffset
  341. if length > 0 {
  342. for length := length; length > 0; length-- {
  343. digit := uint32(digitValue(self.chr))
  344. if digit >= base {
  345. // Not a valid digit
  346. goto skip
  347. }
  348. self.read()
  349. }
  350. } else {
  351. for self.chr != '}' && self.chr != -1 {
  352. digit := uint32(digitValue(self.chr))
  353. if digit >= base {
  354. // Not a valid digit
  355. goto skip
  356. }
  357. self.read()
  358. }
  359. }
  360. if length == 4 || length == 0 {
  361. self.write([]byte{
  362. '\\',
  363. 'x',
  364. '{',
  365. })
  366. self.passString(valueOffset, self.chrOffset)
  367. if length != 0 {
  368. self.writeByte('}')
  369. }
  370. } else if length == 2 {
  371. self.passString(offset-1, valueOffset+2)
  372. } else {
  373. // Should never, ever get here...
  374. self.error(true, "re2: Illegal branch in scanEscape")
  375. return
  376. }
  377. return
  378. skip:
  379. self.passString(offset, self.chrOffset)
  380. }
  381. func (self *_RegExp_parser) pass() {
  382. if self.passOffset == self.chrOffset {
  383. self.passOffset = self.offset
  384. } else {
  385. if self.passOffset != -1 {
  386. self.stopPassing()
  387. }
  388. if self.chr != -1 {
  389. self.goRegexp.WriteRune(self.chr)
  390. }
  391. }
  392. self.read()
  393. }
  394. func (self *_RegExp_parser) passString(start, end int) {
  395. if self.passOffset == start {
  396. self.passOffset = end
  397. return
  398. }
  399. if self.passOffset != -1 {
  400. self.stopPassing()
  401. }
  402. self.goRegexp.WriteString(self.str[start:end])
  403. }
  404. func (self *_RegExp_parser) error(fatal bool, msg string, msgValues ...interface{}) {
  405. if self.err != nil {
  406. return
  407. }
  408. e := regexpParseError{
  409. offset: self.offset,
  410. err: fmt.Sprintf(msg, msgValues...),
  411. }
  412. if fatal {
  413. self.err = RegexpSyntaxError{e}
  414. } else {
  415. self.err = RegexpErrorIncompatible{e}
  416. }
  417. self.offset = self.length
  418. self.chr = -1
  419. }