blob: 414e64e8880815ba229f6ada37d9185391458ec2 [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
Martin v. Löwis415ed932006-02-27 19:56:30 +000025 found_docstring = False
Jeremy Hyltonec5bfd12001-08-18 00:07:46 +000026 for s in stmt.nodes:
Martin v. Löwis415ed932006-02-27 19:56:30 +000027 # Skip over docstrings
28 if not found_docstring and isinstance(s, ast.Discard) \
29 and isinstance(s.expr, ast.Const) \
30 and isinstance(s.expr.value, str):
31 found_docstring = True
32 continue
Jeremy Hylton80e29bd2001-04-09 04:28:48 +000033 if not self.check_stmt(s):
34 break
35
36 def check_stmt(self, stmt):
37 if is_future(stmt):
38 for name, asname in stmt.names:
39 if name in self.features:
40 self.found[name] = 1
41 else:
42 raise SyntaxError, \
43 "future feature %s is not defined" % name
44 stmt.valid_future = 1
45 return 1
46 return 0
47
48 def get_features(self):
49 """Return list of features enabled by future statements"""
50 return self.found.keys()
51
52class BadFutureParser:
53 """Check for invalid future statements"""
54
55 def visitFrom(self, node):
56 if hasattr(node, 'valid_future'):
57 return
58 if node.modname != "__future__":
59 return
Martin v. Löwis415ed932006-02-27 19:56:30 +000060 raise SyntaxError, "invalid future statement " + repr(node)
Jeremy Hylton80e29bd2001-04-09 04:28:48 +000061
62def find_futures(node):
63 p1 = FutureParser()
64 p2 = BadFutureParser()
65 walk(node, p1)
66 walk(node, p2)
67 return p1.get_features()
68
69if __name__ == "__main__":
70 import sys
71 from compiler import parseFile, walk
72
73 for file in sys.argv[1:]:
74 print file
75 tree = parseFile(file)
76 v = FutureParser()
77 walk(tree, v)
78 print v.found
79 print