Improve integer parser

This commit is contained in:
Bartłomiej Pluta
2019-07-12 14:30:49 +02:00
parent ac8b46b077
commit 1a09a73c91
3 changed files with 14 additions and 11 deletions

View File

@@ -50,3 +50,14 @@ def separated(tokenizer, end=r"\W"):
return (0, None)
return separated
def mapValue(tokenizer, mapper):
def tokenize(input, current, line):
consumedChars, token = tokenizer(input, current, line)
if consumedChars > 0:
return (consumedChars, Token(token.type, mapper(token.value), token.pos))
return (0, None)
return tokenize