2006-06-29 04:59:49 +08:00
|
|
|
"""
|
|
|
|
Iterator based sre token scanner
|
|
|
|
"""
|
|
|
|
import re
|
2008-07-28 07:38:28 +08:00
|
|
|
from re import VERBOSE, MULTILINE, DOTALL
|
|
|
|
import sre_parse
|
|
|
|
import sre_compile
|
|
|
|
import sre_constants
|
|
|
|
from sre_constants import BRANCH, SUBPATTERN
|
2006-06-29 04:59:49 +08:00
|
|
|
|
|
|
|
__all__ = ['Scanner', 'pattern']
|
|
|
|
|
2007-01-31 06:34:15 +08:00
|
|
|
FLAGS = (VERBOSE | MULTILINE | DOTALL)
|
2008-07-28 07:38:28 +08:00
|
|
|
|
2006-06-29 04:59:49 +08:00
|
|
|
class Scanner(object):
|
|
|
|
def __init__(self, lexicon, flags=FLAGS):
|
|
|
|
self.actions = [None]
|
2008-07-28 07:38:28 +08:00
|
|
|
# Combine phrases into a compound pattern
|
2006-06-29 04:59:49 +08:00
|
|
|
s = sre_parse.Pattern()
|
|
|
|
s.flags = flags
|
|
|
|
p = []
|
|
|
|
for idx, token in enumerate(lexicon):
|
|
|
|
phrase = token.pattern
|
|
|
|
try:
|
|
|
|
subpattern = sre_parse.SubPattern(s,
|
|
|
|
[(SUBPATTERN, (idx + 1, sre_parse.parse(phrase, flags)))])
|
|
|
|
except sre_constants.error:
|
|
|
|
raise
|
|
|
|
p.append(subpattern)
|
|
|
|
self.actions.append(token)
|
|
|
|
|
2008-07-28 07:38:28 +08:00
|
|
|
s.groups = len(p) + 1 # NOTE(guido): Added to make SRE validation work
|
2006-06-29 04:59:49 +08:00
|
|
|
p = sre_parse.SubPattern(s, [(BRANCH, (None, p))])
|
|
|
|
self.scanner = sre_compile.compile(p)
|
|
|
|
|
|
|
|
def iterscan(self, string, idx=0, context=None):
|
|
|
|
"""
|
|
|
|
Yield match, end_idx for each match
|
|
|
|
"""
|
|
|
|
match = self.scanner.scanner(string, idx).match
|
|
|
|
actions = self.actions
|
|
|
|
lastend = idx
|
|
|
|
end = len(string)
|
|
|
|
while True:
|
|
|
|
m = match()
|
|
|
|
if m is None:
|
|
|
|
break
|
|
|
|
matchbegin, matchend = m.span()
|
|
|
|
if lastend == matchend:
|
|
|
|
break
|
|
|
|
action = actions[m.lastindex]
|
|
|
|
if action is not None:
|
|
|
|
rval, next_pos = action(m, context)
|
|
|
|
if next_pos is not None and next_pos != matchend:
|
|
|
|
# "fast forward" the scanner
|
|
|
|
matchend = next_pos
|
|
|
|
match = self.scanner.scanner(string, matchend).match
|
|
|
|
yield rval, matchend
|
|
|
|
lastend = matchend
|
2008-07-28 07:38:28 +08:00
|
|
|
|
|
|
|
|
2006-06-29 04:59:49 +08:00
|
|
|
def pattern(pattern, flags=FLAGS):
|
|
|
|
def decorator(fn):
|
|
|
|
fn.pattern = pattern
|
|
|
|
fn.regex = re.compile(pattern, flags)
|
|
|
|
return fn
|
2008-07-28 07:38:28 +08:00
|
|
|
return decorator
|