regexper-static/src/js/parser/javascript/grammar.peg

grammar JavascriptRegexp
  root <- ( ( "/" regexp "/" _flags:[igm]* ) / regexp ""? ) <Root>
  regexp <- _match:match _alternates:( "|" match )* <Regexp>
  match <- _anchor_start:anchor_start?
           (!repeat) _parts:match_fragment*
           _anchor_end:anchor_end? <Match>
  match_fragment <- _content:( subexp / charset / terminal ) _repeat:repeat? <MatchFragment>
  anchor_start <- "^"
  anchor_end <- "$"
  repeat <- _spec:( repeat_any / repeat_required / repeat_optional / repeat_spec ) _greedy:repeat_greedy? <Repeat>
  repeat_any <- "*" <RepeatAny>
  repeat_required <- "+" <RepeatRequired>
  repeat_optional <- "?" <RepeatOptional>
  repeat_spec <- ( "{" _min:[0-9]+ "," _max:[0-9]+ "}"
                 / "{," _max:[0-9]+ "}"
                 / "{" _min:[0-9]+ ",}"
                 / "{" _exact:[0-9]+ "}" ) <RepeatSpec>
  repeat_greedy <- "?"
  subexp <- "(" ( subexp_no_capture / subexp_positive_lookahead / subexp_negative_lookahead )? regexp ")" <Subexp>
  subexp_no_capture <- "?:"
  subexp_positive_lookahead <- "?="
  subexp_negative_lookahead <- "?!"
  charset <- "[" "^"? ( charset_range / charset_terminal )* "]" <Charset>
  charset_range <- charset_terminal "-" charset_terminal
  charset_terminal <- charset_escape / charset_literal
  charset_escape <- "\\" esc:(
         code:[bdDfnrsStvwW] arg:""?
       / code:"0" arg:[0-7]+
       / code:"x" arg:( [0-9a-fA-F] [0-9a-fA-F] )
       / code:"u" arg:( [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F] ) )
  charset_literal <- [^\\\]] / ( "\\" . )
  terminal <- any_character <AnyCharacter>
            / escape <Escape>
            / literal <Literal>
  any_character <- "."
  escape <- "\\" esc:(
         code:[bBdDfnrsStvwW1-9] arg:""?
       / code:"c" arg:.
       / code:"0" arg:[0-7]+
       / code:"x" arg:( [0-9a-fA-F] [0-9a-fA-F] )
       / code:"u" arg:( [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F] )
       / code:"0" arg:""? )
  literal <- ( ""? literal:[^|\\/.\[\(\)?+*$^] ) / ( "\\" literal:. )
Adding initial cut of JS regexp parser 2014-11-26 00:37:54 +00:00			`grammar JavascriptRegexp`
Changing names of grammar elements. Starting with an "_" will prevent collisions with extensions 2014-12-03 00:59:10 +00:00			`root <- ( ( "/" regexp "/" _flags:[igm]* ) / regexp ""? ) <Root>`
			`regexp <- _match:match _alternates:( "\|" match )* <Regexp>`
			`match <- _anchor_start:anchor_start?`
Adding code to render loop and skip paths for repetitions This currently breaks the rendering and will need more work. Also need to add labels for {a,b} syntax 2014-12-06 17:34:00 +00:00			`(!repeat) _parts:match_fragment*`
Changing names of grammar elements. Starting with an "_" will prevent collisions with extensions 2014-12-03 00:59:10 +00:00			`_anchor_end:anchor_end? <Match>`
Adding code to render loop and skip paths for repetitions This currently breaks the rendering and will need more work. Also need to add labels for {a,b} syntax 2014-12-06 17:34:00 +00:00			`match_fragment <- _content:( subexp / charset / terminal ) _repeat:repeat? <MatchFragment>`
Adding initial cut of JS regexp parser 2014-11-26 00:37:54 +00:00			`anchor_start <- "^"`
			`anchor_end <- "$"`
Adding code to render loop and skip paths for repetitions This currently breaks the rendering and will need more work. Also need to add labels for {a,b} syntax 2014-12-06 17:34:00 +00:00			`repeat <- _spec:( repeat_any / repeat_required / repeat_optional / repeat_spec ) _greedy:repeat_greedy? <Repeat>`
			`repeat_any <- "*" <RepeatAny>`
			`repeat_required <- "+" <RepeatRequired>`
			`repeat_optional <- "?" <RepeatOptional>`
			`repeat_spec <- ( "{" _min:[0-9]+ "," _max:[0-9]+ "}"`
			`/ "{," _max:[0-9]+ "}"`
			`/ "{" _min:[0-9]+ ",}"`
			`/ "{" _exact:[0-9]+ "}" ) <RepeatSpec>`
Adding initial cut of JS regexp parser 2014-11-26 00:37:54 +00:00			`repeat_greedy <- "?"`
First cut of rendering match elements This is currently broken, but a starting point for further work. 2014-12-03 02:02:48 +00:00			`subexp <- "(" ( subexp_no_capture / subexp_positive_lookahead / subexp_negative_lookahead )? regexp ")" <Subexp>`
Adding initial cut of JS regexp parser 2014-11-26 00:37:54 +00:00			`subexp_no_capture <- "?:"`
			`subexp_positive_lookahead <- "?="`
			`subexp_negative_lookahead <- "?!"`
First cut of rendering match elements This is currently broken, but a starting point for further work. 2014-12-03 02:02:48 +00:00			`charset <- "[" "^"? ( charset_range / charset_terminal )* "]" <Charset>`
Adding initial cut of JS regexp parser 2014-11-26 00:37:54 +00:00			`charset_range <- charset_terminal "-" charset_terminal`
			`charset_terminal <- charset_escape / charset_literal`
Adding rendering code for escape, literal, and "." 2014-12-07 20:26:45 +00:00			`charset_escape <- "\\" esc:(`
			`code:[bdDfnrsStvwW] arg:""?`
			`/ code:"0" arg:[0-7]+`
			`/ code:"x" arg:( [0-9a-fA-F] [0-9a-fA-F] )`
			`/ code:"u" arg:( [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F] ) )`
Removing Terminal type and replacing with Literal, Escape, and AnyChar This is to eventually simplify the combining of Literals together (and to actually make it work correctly, since terminals should not have been merged) 2014-12-06 21:03:58 +00:00			`charset_literal <- [^\\\]] / ( "\\" . )`
			`terminal <- any_character <AnyCharacter>`
			`/ escape <Escape>`
			`/ literal <Literal>`
Adding initial cut of JS regexp parser 2014-11-26 00:37:54 +00:00			`any_character <- "."`
Adding rendering code for escape, literal, and "." 2014-12-07 20:26:45 +00:00			`escape <- "\\" esc:(`
			`code:[bBdDfnrsStvwW1-9] arg:""?`
			`/ code:"c" arg:.`
			`/ code:"0" arg:[0-7]+`
			`/ code:"x" arg:( [0-9a-fA-F] [0-9a-fA-F] )`
			`/ code:"u" arg:( [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F] [0-9a-fA-F] )`
			`/ code:"0" arg:""? )`
Removing Terminal type and replacing with Literal, Escape, and AnyChar This is to eventually simplify the combining of Literals together (and to actually make it work correctly, since terminals should not have been merged) 2014-12-06 21:03:58 +00:00			`literal <- ( ""? literal:[^\|\\/.\[\(\)?+*$^] ) / ( "\\" literal:. )`