10 lines
194 B
Plaintext
10 lines
194 B
Plaintext
WHITESPACE = _{ " " | "\t" | "\r" | "\n" }
|
|
|
|
integer = @{ ASCII_DIGIT+ }
|
|
|
|
map = { "/*" ~ integer ~ ":" ~ integer ~ "*/" }
|
|
|
|
non_map = { (!map ~ ANY)+ }
|
|
|
|
mapping = { SOI ~ (map | non_map)* ~ EOI }
|