| 1 | """Parser for future statements
|
|---|
| 2 |
|
|---|
| 3 | """
|
|---|
| 4 |
|
|---|
| 5 | from compiler import ast, walk
|
|---|
| 6 |
|
|---|
| 7 | def 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 |
|
|---|
| 16 | class FutureParser:
|
|---|
| 17 |
|
|---|
| 18 | features = ("nested_scopes", "generators", "division",
|
|---|
| 19 | "absolute_import", "with_statement", "print_function",
|
|---|
| 20 | "unicode_literals")
|
|---|
| 21 |
|
|---|
| 22 | def __init__(self):
|
|---|
| 23 | self.found = {} # set
|
|---|
| 24 |
|
|---|
| 25 | def visitModule(self, node):
|
|---|
| 26 | stmt = node.node
|
|---|
| 27 | for s in stmt.nodes:
|
|---|
| 28 | if not self.check_stmt(s):
|
|---|
| 29 | break
|
|---|
| 30 |
|
|---|
| 31 | def check_stmt(self, stmt):
|
|---|
| 32 | if is_future(stmt):
|
|---|
| 33 | for name, asname in stmt.names:
|
|---|
| 34 | if name in self.features:
|
|---|
| 35 | self.found[name] = 1
|
|---|
| 36 | else:
|
|---|
| 37 | raise SyntaxError, \
|
|---|
| 38 | "future feature %s is not defined" % name
|
|---|
| 39 | stmt.valid_future = 1
|
|---|
| 40 | return 1
|
|---|
| 41 | return 0
|
|---|
| 42 |
|
|---|
| 43 | def get_features(self):
|
|---|
| 44 | """Return list of features enabled by future statements"""
|
|---|
| 45 | return self.found.keys()
|
|---|
| 46 |
|
|---|
| 47 | class BadFutureParser:
|
|---|
| 48 | """Check for invalid future statements"""
|
|---|
| 49 |
|
|---|
| 50 | def visitFrom(self, node):
|
|---|
| 51 | if hasattr(node, 'valid_future'):
|
|---|
| 52 | return
|
|---|
| 53 | if node.modname != "__future__":
|
|---|
| 54 | return
|
|---|
| 55 | raise SyntaxError, "invalid future statement " + repr(node)
|
|---|
| 56 |
|
|---|
| 57 | def find_futures(node):
|
|---|
| 58 | p1 = FutureParser()
|
|---|
| 59 | p2 = BadFutureParser()
|
|---|
| 60 | walk(node, p1)
|
|---|
| 61 | walk(node, p2)
|
|---|
| 62 | return p1.get_features()
|
|---|
| 63 |
|
|---|
| 64 | if __name__ == "__main__":
|
|---|
| 65 | import sys
|
|---|
| 66 | from compiler import parseFile, walk
|
|---|
| 67 |
|
|---|
| 68 | for file in sys.argv[1:]:
|
|---|
| 69 | print file
|
|---|
| 70 | tree = parseFile(file)
|
|---|
| 71 | v = FutureParser()
|
|---|
| 72 | walk(tree, v)
|
|---|
| 73 | print v.found
|
|---|
| 74 | print
|
|---|