fix_map.py 3.55 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
# Copyright 2007 Google, Inc. All Rights Reserved.
# Licensed to PSF under a Contributor Agreement.

"""Fixer that changes map(F, ...) into list(map(F, ...)) unless there
exists a 'from future_builtins import map' statement in the top-level
namespace.

As a special case, map(None, X) is changed into list(X).  (This is
necessary because the semantics are changed in this case -- the new
map(None, X) is equivalent to [(x,) for x in X].)

We avoid the transformation (except for the special case mentioned
above) if the map() call is directly contained in iter(<>), list(<>),
tuple(<>), sorted(<>), ...join(<>), or for V in <>:.

NOTE: This is still not correct if the original code was depending on
map(F, X, Y, ...) to go on until the longest argument is exhausted,
substituting None for missing values -- like zip(), it now stops as
soon as the shortest argument is exhausted.
"""

# Local imports
from ..pgen2 import token
24
from .. import fixer_base
25
from ..fixer_util import Name, ArgList, Call, ListComp, in_special_context
26
from ..pygram import python_symbols as syms
27 28
from ..pytree import Node

29

30
class FixMap(fixer_base.ConditionalFix):
Benjamin Peterson's avatar
Benjamin Peterson committed
31
    BM_compatible = True
32 33 34 35 36

    PATTERN = """
    map_none=power<
        'map'
        trailer< '(' arglist< 'None' ',' arg=any [','] > ')' >
37
        [extra_trailers=trailer*]
38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
    >
    |
    map_lambda=power<
        'map'
        trailer<
            '('
            arglist<
                lambdef< 'lambda'
                         (fp=NAME | vfpdef< '(' fp=NAME ')'> ) ':' xp=any
                >
                ','
                it=any
            >
            ')'
        >
53
        [extra_trailers=trailer*]
54 55 56
    >
    |
    power<
57 58
        'map' args=trailer< '(' [any] ')' >
        [extra_trailers=trailer*]
59 60 61
    >
    """

62
    skip_on = 'future_builtins.map'
63 64

    def transform(self, node, results):
65
        if self.should_skip(node):
66
            return
67

68 69 70 71 72
        trailers = []
        if 'extra_trailers' in results:
            for t in results['extra_trailers']:
                trailers.append(t.clone())

73 74 75
        if node.parent.type == syms.simple_stmt:
            self.warning(node, "You should use a for loop here")
            new = node.clone()
76
            new.prefix = ""
77 78
            new = Call(Name("list"), [new])
        elif "map_lambda" in results:
79 80 81
            new = ListComp(results["xp"].clone(),
                           results["fp"].clone(),
                           results["it"].clone())
82 83
            new = Node(syms.power, [new] + trailers, prefix="")

84 85 86
        else:
            if "map_none" in results:
                new = results["arg"].clone()
87
                new.prefix = ""
88
            else:
89 90 91 92 93 94
                if "args" in results:
                    args = results["args"]
                    if args.type == syms.trailer and \
                       args.children[1].type == syms.arglist and \
                       args.children[1].children[0].type == token.NAME and \
                       args.children[1].children[0].value == "None":
95 96 97 98
                        self.warning(node, "cannot convert map(None, ...) "
                                     "with multiple arguments because map() "
                                     "now truncates to the shortest sequence")
                        return
99 100 101 102

                    new = Node(syms.power, [Name("map"), args.clone()])
                    new.prefix = ""

103 104
                if in_special_context(node):
                    return None
105 106

            new = Node(syms.power, [Name("list"), ArgList([new])] + trailers)
107
            new.prefix = ""
108

109
        new.prefix = node.prefix
110
        return new