X-Git-Url: https://code.kerkeslager.com/?p=fur;a=blobdiff_plain;f=tokenization.py;h=819a0de9ea7fd5e07a9c2c0a5c7d93b55d6f0fda;hp=0421b84592fa58280c8f84c105870fd197f65c0e;hb=c7f381fbcb57ba1b7e33558a28fdb34f31234c07;hpb=fd918259dd949c8fababcf49ced426ab3c39da38 diff --git a/tokenization.py b/tokenization.py index 0421b84..819a0de 100644 --- a/tokenization.py +++ b/tokenization.py @@ -5,18 +5,26 @@ import util Token = collections.namedtuple( 'Token', - [ + ( 'type', 'match', + 'metadata', + ), +) + +NodeMetadata = collections.namedtuple( + 'NodeMetadata', + ( 'index', - ], + 'line', + ), ) def _make_token_matcher(definition): name, regex = definition regex_matcher = re.compile(regex) - def token_matcher(index, source): + def token_matcher(index, source, line): match = regex_matcher.match(source[index:]) if match is None: @@ -25,20 +33,36 @@ def _make_token_matcher(definition): return ( True, index + len(match.group()), - Token(type=name, match=match.group(), index=index), + Token( + type=name, + match=match.group(), + metadata=NodeMetadata( + index=index, + line=line, + ), + ), ) return token_matcher - _TOKEN_MATCHERS = [ + ('keyword', r'(def|do|else|end|if|lambda)(?![a-z_])'), + ('open_bracket', r'\['), + ('close_bracket', r'\]'), ('open_parenthese', r'\('), ('close_parenthese', r'\)'), + ('comma', r','), + ('colon', r':'), + ('period', r'\.'), ('integer_literal', r'\d+'), - ('symbol', r'[a-z]+'), + ('symbol', r'[a-z_]+'), ('single_quoted_string_literal', r"'.*?'"), - ('addition_level_operator', r'(\+|-)'), - ('multiplication_level_operator', r'(\*|//|%)'), + ('double_quoted_string_literal', r'".*?"'), + ('comparison_level_operator', r'(<=|>=|==|!=|<|>)'), + ('assignment_operator', r'='), + ('addition_level_operator', r'(\+\+|\+|-)'), + ('multiplication_level_operator', r'(\*|//|%)'), + ('newline', r'\n'), ] _TOKEN_MATCHERS = list(map(_make_token_matcher, _TOKEN_MATCHERS)) @@ -46,26 +70,36 @@ _TOKEN_MATCHERS = list(map(_make_token_matcher, _TOKEN_MATCHERS)) @util.force_generator(tuple) def tokenize(source): index = 0 + line = 1 while index < len(source): if source[index] == ' ': index += 1 continue + if source[index] == '#': + while index < len(source) and source[index] != '\n': + index += 1 + + continue + success = False for matcher in _TOKEN_MATCHERS: - success, index, token = matcher(index, source) + success, index, token = matcher(index, source, line) if success: yield token break if not success: - raise Exception('Unexpected character "{}"'.format(source[index])) + raise Exception('Unexpected character "{}" on line {}'.format( + source[index], + line, + )) - while index < len(source) and source[index] in set(['\n']): - index += 1 + if token.type == 'newline': + line += 1 if __name__ == '__main__': import unittest @@ -78,6 +112,7 @@ if __name__ == '__main__': type='open_parenthese', match='(', index=0, + line=1, ),), ) @@ -88,6 +123,7 @@ if __name__ == '__main__': type='close_parenthese', match=')', index=0, + line=1, ),), ) @@ -98,6 +134,7 @@ if __name__ == '__main__': type='symbol', match='print', index=0, + line=1, ),), ) @@ -108,6 +145,7 @@ if __name__ == '__main__': type='single_quoted_string_literal', match="'Hello, world'", index=0, + line=1, ),), ) @@ -118,6 +156,7 @@ if __name__ == '__main__': type='addition_level_operator', match='+', index=0, + line=1, ),), ) @@ -128,6 +167,7 @@ if __name__ == '__main__': type='addition_level_operator', match='-', index=0, + line=1, ),), ) @@ -138,6 +178,7 @@ if __name__ == '__main__': type='multiplication_level_operator', match='*', index=0, + line=1, ),), ) @@ -148,6 +189,7 @@ if __name__ == '__main__': type='multiplication_level_operator', match='//', index=0, + line=1, ),), ) @@ -158,16 +200,106 @@ if __name__ == '__main__': type='multiplication_level_operator', match='%', index=0, + line=1, ),), ) - def test_handles_trailing_newline(self): + def test_tokenizes_comma(self): self.assertEqual( - tokenize('print\n'), + tokenize(','), (Token( - type='symbol', - match='print', + type='comma', + match=',', + index=0, + line=1, + ),), + ) + + def test_tokenizes_assignment_operator(self): + self.assertEqual( + tokenize('='), + (Token( + type='assignment_operator', + match='=', index=0, + line=1, + ),), + ) + + def test_tokenizes_equality_operator(self): + self.assertEqual( + tokenize('=='), + (Token( + type='comparison_level_operator', + match='==', + index=0, + line=1, + ),), + ) + + def test_tokenizes_greater_than_or_equal_operator(self): + self.assertEqual( + tokenize('>='), + (Token( + type='comparison_level_operator', + match='>=', + index=0, + line=1, + ),), + ) + + def test_tokenizes_less_than_or_equal_operator(self): + self.assertEqual( + tokenize('<='), + (Token( + type='comparison_level_operator', + match='<=', + index=0, + line=1, + ),), + ) + + def test_tokenizes_greater_than_equal_operator(self): + self.assertEqual( + tokenize('>'), + (Token( + type='comparison_level_operator', + match='>', + index=0, + line=1, + ),), + ) + + def test_tokenizes_less_than_equal_operator(self): + self.assertEqual( + tokenize('<'), + (Token( + type='comparison_level_operator', + match='<', + index=0, + line=1, + ),), + ) + + def test_tokenizes_not_equal_operator(self): + self.assertEqual( + tokenize('!='), + (Token( + type='comparison_level_operator', + match='!=', + index=0, + line=1, + ),), + ) + + def test_tokenizes_newline(self): + self.assertEqual( + tokenize('\n'), + (Token( + type='newline', + match='\n', + index=0, + line=1, ),), ) @@ -178,7 +310,34 @@ if __name__ == '__main__': type='symbol', match='print', index=1, + line=1, ),), ) + def test_tokenizes_with_proper_line_numbers(self): + self.assertEqual( + tokenize('print\n('), + ( + Token( + type='symbol', + match='print', + index=0, + line=1, + ), + Token( + type='newline', + match='\n', + index=5, + line=1, + ), + Token( + type='open_parenthese', + match='(', + index=6, + line=2, + ), + ), + ) + + unittest.main()