regexp.go 8.6 KB

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