regexp.go 9.1 KB

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