blob: 868b7cbb52280ba64f1886e16f43932b75c67294 [file] [log] [blame]
Jeremy Hylton80e29bd2001-04-09 04:28:48 +00001"""Parser for future statements
2
3"""
4
5from compiler import ast, walk
6
7def is_future(stmt):
8 """Return true if statement is a well-formed future statement"""
9 if not isinstance(stmt, ast.From):
10 return 0
11 if stmt.modname == "__future__":
12 return 1
13 else:
14 return 0
15
16class FutureParser:
17
Jeremy Hyltonec5bfd12001-08-18 00:07:46 +000018 features = ("nested_scopes", "generators", "division")
Tim Peterse0c446b2001-10-18 21:57:37 +000019
Jeremy Hylton80e29bd2001-04-09 04:28:48 +000020 def __init__(self):
21 self.found = {} # set
22
23 def visitModule(self, node):
Jeremy Hylton80e29bd2001-04-09 04:28:48 +000024 stmt = node.node
Jeremy Hyltonec5bfd12001-08-18 00:07:46 +000025 for s in stmt.nodes:
Jeremy Hylton80e29bd2001-04-09 04:28:48 +000026 if not self.check_stmt(s):
27 break
28
29 def check_stmt(self, stmt):
30 if is_future(stmt):
31 for name, asname in stmt.names:
32 if name in self.features:
33 self.found[name] = 1
34 else:
35 raise SyntaxError, \
36 "future feature %s is not defined" % name
37 stmt.valid_future = 1
38 return 1
39 return 0
40
41 def get_features(self):
42 """Return list of features enabled by future statements"""
43 return self.found.keys()
44
45class BadFutureParser:
46 """Check for invalid future statements"""
47
48 def visitFrom(self, node):
49 if hasattr(node, 'valid_future'):
50 return
51 if node.modname != "__future__":
52 return
53 raise SyntaxError, "invalid future statement"
54
55def find_futures(node):
56 p1 = FutureParser()
57 p2 = BadFutureParser()
58 walk(node, p1)
59 walk(node, p2)
60 return p1.get_features()
61
62if __name__ == "__main__":
63 import sys
64 from compiler import parseFile, walk
65
66 for file in sys.argv[1:]:
67 print file
68 tree = parseFile(file)
69 v = FutureParser()
70 walk(tree, v)
71 print v.found
72 print