regexp.go 9.4 KB

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