All patches and comments are welcome. Please squash your changes to logical
commits before using git-format-patch and git-send-email to
patches@git.madduck.net.
If you'd read over the Git project's submission guidelines and adhered to them,
I'd be especially grateful.
2 from asyncio.base_events import BaseEventLoop
3 from concurrent.futures import Executor, ProcessPoolExecutor
4 from datetime import datetime
5 from enum import Enum, Flag
6 from functools import lru_cache, partial, wraps
10 from multiprocessing import Manager
12 from pathlib import Path
38 from appdirs import user_cache_dir
39 from attr import dataclass, Factory
44 from blib2to3.pytree import Node, Leaf, type_repr
45 from blib2to3 import pygram, pytree
46 from blib2to3.pgen2 import driver, token
47 from blib2to3.pgen2.parse import ParseError
50 __version__ = "18.6b1"
51 DEFAULT_LINE_LENGTH = 88
53 r"/(\.git|\.hg|\.mypy_cache|\.tox|\.venv|_build|buck-out|build|dist)/"
55 DEFAULT_INCLUDES = r"\.pyi?$"
56 CACHE_DIR = Path(user_cache_dir("black", version=__version__))
68 LN = Union[Leaf, Node]
69 SplitFunc = Callable[["Line", bool], Iterator["Line"]]
72 CacheInfo = Tuple[Timestamp, FileSize]
73 Cache = Dict[Path, CacheInfo]
74 out = partial(click.secho, bold=True, err=True)
75 err = partial(click.secho, fg="red", err=True)
77 pygram.initialize(CACHE_DIR)
78 syms = pygram.python_symbols
81 class NothingChanged(UserWarning):
82 """Raised by :func:`format_file` when reformatted code is the same as source."""
85 class CannotSplit(Exception):
86 """A readable split that fits the allotted line length is impossible.
88 Raised by :func:`left_hand_split`, :func:`right_hand_split`, and
89 :func:`delimiter_split`.
93 class FormatError(Exception):
94 """Base exception for `# fmt: on` and `# fmt: off` handling.
96 It holds the number of bytes of the prefix consumed before the format
97 control comment appeared.
100 def __init__(self, consumed: int) -> None:
101 super().__init__(consumed)
102 self.consumed = consumed
104 def trim_prefix(self, leaf: Leaf) -> None:
105 leaf.prefix = leaf.prefix[self.consumed :]
107 def leaf_from_consumed(self, leaf: Leaf) -> Leaf:
108 """Returns a new Leaf from the consumed part of the prefix."""
109 unformatted_prefix = leaf.prefix[: self.consumed]
110 return Leaf(token.NEWLINE, unformatted_prefix)
113 class FormatOn(FormatError):
114 """Found a comment like `# fmt: on` in the file."""
117 class FormatOff(FormatError):
118 """Found a comment like `# fmt: off` in the file."""
121 class WriteBack(Enum):
127 def from_configuration(cls, *, check: bool, diff: bool) -> "WriteBack":
128 if check and not diff:
131 return cls.DIFF if diff else cls.YES
140 class FileMode(Flag):
144 NO_STRING_NORMALIZATION = 4
147 def from_configuration(
148 cls, *, py36: bool, pyi: bool, skip_string_normalization: bool
150 mode = cls.AUTO_DETECT
155 if skip_string_normalization:
156 mode |= cls.NO_STRING_NORMALIZATION
160 def read_pyproject_toml(
161 ctx: click.Context, param: click.Parameter, value: Union[str, int, bool, None]
163 """Inject Black configuration from "pyproject.toml" into defaults in `ctx`.
165 Returns the path to a successfully found and read configuration file, None
168 assert not isinstance(value, (int, bool)), "Invalid parameter type passed"
170 root = find_project_root(ctx.params.get("src", ()))
171 path = root / "pyproject.toml"
178 pyproject_toml = toml.load(value)
179 config = pyproject_toml.get("tool", {}).get("black", {})
180 except (toml.TomlDecodeError, OSError) as e:
181 raise click.BadOptionUsage(f"Error reading configuration file: {e}", ctx)
186 if ctx.default_map is None:
188 ctx.default_map.update( # type: ignore # bad types in .pyi
189 {k.replace("--", "").replace("-", "_"): v for k, v in config.items()}
194 @click.command(context_settings=dict(help_option_names=["-h", "--help"]))
199 default=DEFAULT_LINE_LENGTH,
200 help="How many character per line to allow.",
207 "Allow using Python 3.6-only syntax on all input files. This will put "
208 "trailing commas in function signatures and calls also after *args and "
209 "**kwargs. [default: per-file auto-detection]"
216 "Format all input files like typing stubs regardless of file extension "
217 "(useful when piping source on standard input)."
222 "--skip-string-normalization",
224 help="Don't normalize string quotes or prefixes.",
230 "Don't write the files back, just return the status. Return code 0 "
231 "means nothing would change. Return code 1 means some files would be "
232 "reformatted. Return code 123 means there was an internal error."
238 help="Don't write the files back, just output a diff for each file on stdout.",
243 help="If --fast given, skip temporary sanity checks. [default: --safe]",
248 default=DEFAULT_INCLUDES,
250 "A regular expression that matches files and directories that should be "
251 "included on recursive searches. An empty value means all files are "
252 "included regardless of the name. Use forward slashes for directories on "
253 "all platforms (Windows, too). Exclusions are calculated first, inclusions "
261 default=DEFAULT_EXCLUDES,
263 "A regular expression that matches files and directories that should be "
264 "excluded on recursive searches. An empty value means no paths are excluded. "
265 "Use forward slashes for directories on all platforms (Windows, too). "
266 "Exclusions are calculated first, inclusions later."
275 "Don't emit non-error messages to stderr. Errors are still emitted, "
276 "silence those with 2>/dev/null."
284 "Also emit messages to stderr about files that were not changed or were "
285 "ignored due to --exclude=."
288 @click.version_option(version=__version__)
293 exists=True, file_okay=True, dir_okay=True, readable=True, allow_dash=True
300 exists=False, file_okay=True, dir_okay=False, readable=True, allow_dash=False
303 callback=read_pyproject_toml,
304 help="Read configuration from PATH.",
315 skip_string_normalization: bool,
321 config: Optional[str],
323 """The uncompromising code formatter."""
324 write_back = WriteBack.from_configuration(check=check, diff=diff)
325 mode = FileMode.from_configuration(
326 py36=py36, pyi=pyi, skip_string_normalization=skip_string_normalization
328 if config and verbose:
329 out(f"Using configuration from {config}.", bold=False, fg="blue")
331 include_regex = re_compile_maybe_verbose(include)
333 err(f"Invalid regular expression for include given: {include!r}")
336 exclude_regex = re_compile_maybe_verbose(exclude)
338 err(f"Invalid regular expression for exclude given: {exclude!r}")
340 report = Report(check=check, quiet=quiet, verbose=verbose)
341 root = find_project_root(src)
342 sources: Set[Path] = set()
347 gen_python_files_in_dir(p, root, include_regex, exclude_regex, report)
349 elif p.is_file() or s == "-":
350 # if a file was explicitly given, we don't care about its extension
353 err(f"invalid path: {s}")
354 if len(sources) == 0:
355 if verbose or not quiet:
356 out("No paths given. Nothing to do 😴")
359 if len(sources) == 1:
362 line_length=line_length,
364 write_back=write_back,
369 loop = asyncio.get_event_loop()
370 executor = ProcessPoolExecutor(max_workers=os.cpu_count())
372 loop.run_until_complete(
375 line_length=line_length,
377 write_back=write_back,
386 if verbose or not quiet:
387 bang = "💥 💔 💥" if report.return_code else "✨ 🍰 ✨"
388 out(f"All done! {bang}")
389 click.secho(str(report), err=True)
390 ctx.exit(report.return_code)
397 write_back: WriteBack,
401 """Reformat a single file under `src` without spawning child processes.
403 If `quiet` is True, non-error messages are not output. `line_length`,
404 `write_back`, `fast` and `pyi` options are passed to
405 :func:`format_file_in_place` or :func:`format_stdin_to_stdout`.
409 if not src.is_file() and str(src) == "-":
410 if format_stdin_to_stdout(
411 line_length=line_length, fast=fast, write_back=write_back, mode=mode
413 changed = Changed.YES
416 if write_back != WriteBack.DIFF:
417 cache = read_cache(line_length, mode)
418 res_src = src.resolve()
419 if res_src in cache and cache[res_src] == get_cache_info(res_src):
420 changed = Changed.CACHED
421 if changed is not Changed.CACHED and format_file_in_place(
423 line_length=line_length,
425 write_back=write_back,
428 changed = Changed.YES
429 if write_back == WriteBack.YES and changed is not Changed.NO:
430 write_cache(cache, [src], line_length, mode)
431 report.done(src, changed)
432 except Exception as exc:
433 report.failed(src, str(exc))
436 async def schedule_formatting(
440 write_back: WriteBack,
446 """Run formatting of `sources` in parallel using the provided `executor`.
448 (Use ProcessPoolExecutors for actual parallelism.)
450 `line_length`, `write_back`, `fast`, and `pyi` options are passed to
451 :func:`format_file_in_place`.
454 if write_back != WriteBack.DIFF:
455 cache = read_cache(line_length, mode)
456 sources, cached = filter_cached(cache, sources)
457 for src in sorted(cached):
458 report.done(src, Changed.CACHED)
463 if write_back == WriteBack.DIFF:
464 # For diff output, we need locks to ensure we don't interleave output
465 # from different processes.
467 lock = manager.Lock()
469 loop.run_in_executor(
471 format_file_in_place,
479 for src in sorted(sources)
481 pending: Iterable[asyncio.Task] = tasks.keys()
483 loop.add_signal_handler(signal.SIGINT, cancel, pending)
484 loop.add_signal_handler(signal.SIGTERM, cancel, pending)
485 except NotImplementedError:
486 # There are no good alternatives for these on Windows
489 done, _ = await asyncio.wait(pending, return_when=asyncio.FIRST_COMPLETED)
491 src = tasks.pop(task)
493 cancelled.append(task)
494 elif task.exception():
495 report.failed(src, str(task.exception()))
497 formatted.append(src)
498 report.done(src, Changed.YES if task.result() else Changed.NO)
500 await asyncio.gather(*cancelled, loop=loop, return_exceptions=True)
501 if write_back == WriteBack.YES and formatted:
502 write_cache(cache, formatted, line_length, mode)
505 def format_file_in_place(
509 write_back: WriteBack = WriteBack.NO,
510 mode: FileMode = FileMode.AUTO_DETECT,
511 lock: Any = None, # multiprocessing.Manager().Lock() is some crazy proxy
513 """Format file under `src` path. Return True if changed.
515 If `write_back` is True, write reformatted code back to stdout.
516 `line_length` and `fast` options are passed to :func:`format_file_contents`.
518 if src.suffix == ".pyi":
521 then = datetime.utcfromtimestamp(src.stat().st_mtime)
522 with open(src, "rb") as buf:
523 src_contents, encoding, newline = decode_bytes(buf.read())
525 dst_contents = format_file_contents(
526 src_contents, line_length=line_length, fast=fast, mode=mode
528 except NothingChanged:
531 if write_back == write_back.YES:
532 with open(src, "w", encoding=encoding, newline=newline) as f:
533 f.write(dst_contents)
534 elif write_back == write_back.DIFF:
535 now = datetime.utcnow()
536 src_name = f"{src}\t{then} +0000"
537 dst_name = f"{src}\t{now} +0000"
538 diff_contents = diff(src_contents, dst_contents, src_name, dst_name)
542 f = io.TextIOWrapper(
548 f.write(diff_contents)
556 def format_stdin_to_stdout(
559 write_back: WriteBack = WriteBack.NO,
560 mode: FileMode = FileMode.AUTO_DETECT,
562 """Format file on stdin. Return True if changed.
564 If `write_back` is True, write reformatted code back to stdout.
565 `line_length`, `fast`, `is_pyi`, and `force_py36` arguments are passed to
566 :func:`format_file_contents`.
568 then = datetime.utcnow()
569 src, encoding, newline = decode_bytes(sys.stdin.buffer.read())
572 dst = format_file_contents(src, line_length=line_length, fast=fast, mode=mode)
575 except NothingChanged:
579 f = io.TextIOWrapper(
580 sys.stdout.buffer, encoding=encoding, newline=newline, write_through=True
582 if write_back == WriteBack.YES:
584 elif write_back == WriteBack.DIFF:
585 now = datetime.utcnow()
586 src_name = f"STDIN\t{then} +0000"
587 dst_name = f"STDOUT\t{now} +0000"
588 f.write(diff(src, dst, src_name, dst_name))
592 def format_file_contents(
597 mode: FileMode = FileMode.AUTO_DETECT,
599 """Reformat contents a file and return new contents.
601 If `fast` is False, additionally confirm that the reformatted code is
602 valid by calling :func:`assert_equivalent` and :func:`assert_stable` on it.
603 `line_length` is passed to :func:`format_str`.
605 if src_contents.strip() == "":
608 dst_contents = format_str(src_contents, line_length=line_length, mode=mode)
609 if src_contents == dst_contents:
613 assert_equivalent(src_contents, dst_contents)
614 assert_stable(src_contents, dst_contents, line_length=line_length, mode=mode)
619 src_contents: str, line_length: int, *, mode: FileMode = FileMode.AUTO_DETECT
621 """Reformat a string and return new contents.
623 `line_length` determines how many characters per line are allowed.
625 src_node = lib2to3_parse(src_contents)
627 future_imports = get_future_imports(src_node)
628 is_pyi = bool(mode & FileMode.PYI)
629 py36 = bool(mode & FileMode.PYTHON36) or is_python36(src_node)
630 normalize_strings = not bool(mode & FileMode.NO_STRING_NORMALIZATION)
631 lines = LineGenerator(
632 remove_u_prefix=py36 or "unicode_literals" in future_imports,
634 normalize_strings=normalize_strings,
636 elt = EmptyLineTracker(is_pyi=is_pyi)
639 for current_line in lines.visit(src_node):
640 for _ in range(after):
641 dst_contents += str(empty_line)
642 before, after = elt.maybe_empty_lines(current_line)
643 for _ in range(before):
644 dst_contents += str(empty_line)
645 for line in split_line(current_line, line_length=line_length, py36=py36):
646 dst_contents += str(line)
650 def decode_bytes(src: bytes) -> Tuple[FileContent, Encoding, NewLine]:
651 """Return a tuple of (decoded_contents, encoding, newline).
653 `newline` is either CRLF or LF but `decoded_contents` is decoded with
654 universal newlines (i.e. only contains LF).
656 srcbuf = io.BytesIO(src)
657 encoding, lines = tokenize.detect_encoding(srcbuf.readline)
659 return "", encoding, "\n"
661 newline = "\r\n" if b"\r\n" == lines[0][-2:] else "\n"
663 with io.TextIOWrapper(srcbuf, encoding) as tiow:
664 return tiow.read(), encoding, newline
668 pygram.python_grammar_no_print_statement_no_exec_statement,
669 pygram.python_grammar_no_print_statement,
670 pygram.python_grammar,
674 def lib2to3_parse(src_txt: str) -> Node:
675 """Given a string with source, return the lib2to3 Node."""
676 grammar = pygram.python_grammar_no_print_statement
677 if src_txt[-1:] != "\n":
679 for grammar in GRAMMARS:
680 drv = driver.Driver(grammar, pytree.convert)
682 result = drv.parse_string(src_txt, True)
685 except ParseError as pe:
686 lineno, column = pe.context[1]
687 lines = src_txt.splitlines()
689 faulty_line = lines[lineno - 1]
691 faulty_line = "<line number missing in source>"
692 exc = ValueError(f"Cannot parse: {lineno}:{column}: {faulty_line}")
696 if isinstance(result, Leaf):
697 result = Node(syms.file_input, [result])
701 def lib2to3_unparse(node: Node) -> str:
702 """Given a lib2to3 node, return its string representation."""
710 class Visitor(Generic[T]):
711 """Basic lib2to3 visitor that yields things of type `T` on `visit()`."""
713 def visit(self, node: LN) -> Iterator[T]:
714 """Main method to visit `node` and its children.
716 It tries to find a `visit_*()` method for the given `node.type`, like
717 `visit_simple_stmt` for Node objects or `visit_INDENT` for Leaf objects.
718 If no dedicated `visit_*()` method is found, chooses `visit_default()`
721 Then yields objects of type `T` from the selected visitor.
724 name = token.tok_name[node.type]
726 name = type_repr(node.type)
727 yield from getattr(self, f"visit_{name}", self.visit_default)(node)
729 def visit_default(self, node: LN) -> Iterator[T]:
730 """Default `visit_*()` implementation. Recurses to children of `node`."""
731 if isinstance(node, Node):
732 for child in node.children:
733 yield from self.visit(child)
737 class DebugVisitor(Visitor[T]):
740 def visit_default(self, node: LN) -> Iterator[T]:
741 indent = " " * (2 * self.tree_depth)
742 if isinstance(node, Node):
743 _type = type_repr(node.type)
744 out(f"{indent}{_type}", fg="yellow")
746 for child in node.children:
747 yield from self.visit(child)
750 out(f"{indent}/{_type}", fg="yellow", bold=False)
752 _type = token.tok_name.get(node.type, str(node.type))
753 out(f"{indent}{_type}", fg="blue", nl=False)
755 # We don't have to handle prefixes for `Node` objects since
756 # that delegates to the first child anyway.
757 out(f" {node.prefix!r}", fg="green", bold=False, nl=False)
758 out(f" {node.value!r}", fg="blue", bold=False)
761 def show(cls, code: str) -> None:
762 """Pretty-print the lib2to3 AST of a given string of `code`.
764 Convenience method for debugging.
766 v: DebugVisitor[None] = DebugVisitor()
767 list(v.visit(lib2to3_parse(code)))
770 KEYWORDS = set(keyword.kwlist)
771 WHITESPACE = {token.DEDENT, token.INDENT, token.NEWLINE}
772 FLOW_CONTROL = {"return", "raise", "break", "continue"}
783 STANDALONE_COMMENT = 153
784 LOGIC_OPERATORS = {"and", "or"}
809 STARS = {token.STAR, token.DOUBLESTAR}
812 syms.argument, # double star in arglist
813 syms.trailer, # single argument to call
815 syms.varargslist, # lambdas
817 UNPACKING_PARENTS = {
818 syms.atom, # single element of a list or set literal
822 syms.testlist_star_expr,
857 COMPREHENSION_PRIORITY = 20
859 TERNARY_PRIORITY = 16
862 COMPARATOR_PRIORITY = 10
873 token.DOUBLESLASH: 4,
883 class BracketTracker:
884 """Keeps track of brackets on a line."""
887 bracket_match: Dict[Tuple[Depth, NodeType], Leaf] = Factory(dict)
888 delimiters: Dict[LeafID, Priority] = Factory(dict)
889 previous: Optional[Leaf] = None
890 _for_loop_variable: int = 0
891 _lambda_arguments: int = 0
893 def mark(self, leaf: Leaf) -> None:
894 """Mark `leaf` with bracket-related metadata. Keep track of delimiters.
896 All leaves receive an int `bracket_depth` field that stores how deep
897 within brackets a given leaf is. 0 means there are no enclosing brackets
898 that started on this line.
900 If a leaf is itself a closing bracket, it receives an `opening_bracket`
901 field that it forms a pair with. This is a one-directional link to
902 avoid reference cycles.
904 If a leaf is a delimiter (a token on which Black can split the line if
905 needed) and it's on depth 0, its `id()` is stored in the tracker's
908 if leaf.type == token.COMMENT:
911 self.maybe_decrement_after_for_loop_variable(leaf)
912 self.maybe_decrement_after_lambda_arguments(leaf)
913 if leaf.type in CLOSING_BRACKETS:
915 opening_bracket = self.bracket_match.pop((self.depth, leaf.type))
916 leaf.opening_bracket = opening_bracket
917 leaf.bracket_depth = self.depth
919 delim = is_split_before_delimiter(leaf, self.previous)
920 if delim and self.previous is not None:
921 self.delimiters[id(self.previous)] = delim
923 delim = is_split_after_delimiter(leaf, self.previous)
925 self.delimiters[id(leaf)] = delim
926 if leaf.type in OPENING_BRACKETS:
927 self.bracket_match[self.depth, BRACKET[leaf.type]] = leaf
930 self.maybe_increment_lambda_arguments(leaf)
931 self.maybe_increment_for_loop_variable(leaf)
933 def any_open_brackets(self) -> bool:
934 """Return True if there is an yet unmatched open bracket on the line."""
935 return bool(self.bracket_match)
937 def max_delimiter_priority(self, exclude: Iterable[LeafID] = ()) -> int:
938 """Return the highest priority of a delimiter found on the line.
940 Values are consistent with what `is_split_*_delimiter()` return.
941 Raises ValueError on no delimiters.
943 return max(v for k, v in self.delimiters.items() if k not in exclude)
945 def delimiter_count_with_priority(self, priority: int = 0) -> int:
946 """Return the number of delimiters with the given `priority`.
948 If no `priority` is passed, defaults to max priority on the line.
950 if not self.delimiters:
953 priority = priority or self.max_delimiter_priority()
954 return sum(1 for p in self.delimiters.values() if p == priority)
956 def maybe_increment_for_loop_variable(self, leaf: Leaf) -> bool:
957 """In a for loop, or comprehension, the variables are often unpacks.
959 To avoid splitting on the comma in this situation, increase the depth of
960 tokens between `for` and `in`.
962 if leaf.type == token.NAME and leaf.value == "for":
964 self._for_loop_variable += 1
969 def maybe_decrement_after_for_loop_variable(self, leaf: Leaf) -> bool:
970 """See `maybe_increment_for_loop_variable` above for explanation."""
971 if self._for_loop_variable and leaf.type == token.NAME and leaf.value == "in":
973 self._for_loop_variable -= 1
978 def maybe_increment_lambda_arguments(self, leaf: Leaf) -> bool:
979 """In a lambda expression, there might be more than one argument.
981 To avoid splitting on the comma in this situation, increase the depth of
982 tokens between `lambda` and `:`.
984 if leaf.type == token.NAME and leaf.value == "lambda":
986 self._lambda_arguments += 1
991 def maybe_decrement_after_lambda_arguments(self, leaf: Leaf) -> bool:
992 """See `maybe_increment_lambda_arguments` above for explanation."""
993 if self._lambda_arguments and leaf.type == token.COLON:
995 self._lambda_arguments -= 1
1000 def get_open_lsqb(self) -> Optional[Leaf]:
1001 """Return the most recent opening square bracket (if any)."""
1002 return self.bracket_match.get((self.depth - 1, token.RSQB))
1007 """Holds leaves and comments. Can be printed with `str(line)`."""
1010 leaves: List[Leaf] = Factory(list)
1011 comments: List[Tuple[Index, Leaf]] = Factory(list)
1012 bracket_tracker: BracketTracker = Factory(BracketTracker)
1013 inside_brackets: bool = False
1014 should_explode: bool = False
1016 def append(self, leaf: Leaf, preformatted: bool = False) -> None:
1017 """Add a new `leaf` to the end of the line.
1019 Unless `preformatted` is True, the `leaf` will receive a new consistent
1020 whitespace prefix and metadata applied by :class:`BracketTracker`.
1021 Trailing commas are maybe removed, unpacked for loop variables are
1022 demoted from being delimiters.
1024 Inline comments are put aside.
1026 has_value = leaf.type in BRACKETS or bool(leaf.value.strip())
1030 if token.COLON == leaf.type and self.is_class_paren_empty:
1031 del self.leaves[-2:]
1032 if self.leaves and not preformatted:
1033 # Note: at this point leaf.prefix should be empty except for
1034 # imports, for which we only preserve newlines.
1035 leaf.prefix += whitespace(
1036 leaf, complex_subscript=self.is_complex_subscript(leaf)
1038 if self.inside_brackets or not preformatted:
1039 self.bracket_tracker.mark(leaf)
1040 self.maybe_remove_trailing_comma(leaf)
1041 if not self.append_comment(leaf):
1042 self.leaves.append(leaf)
1044 def append_safe(self, leaf: Leaf, preformatted: bool = False) -> None:
1045 """Like :func:`append()` but disallow invalid standalone comment structure.
1047 Raises ValueError when any `leaf` is appended after a standalone comment
1048 or when a standalone comment is not the first leaf on the line.
1050 if self.bracket_tracker.depth == 0:
1052 raise ValueError("cannot append to standalone comments")
1054 if self.leaves and leaf.type == STANDALONE_COMMENT:
1056 "cannot append standalone comments to a populated line"
1059 self.append(leaf, preformatted=preformatted)
1062 def is_comment(self) -> bool:
1063 """Is this line a standalone comment?"""
1064 return len(self.leaves) == 1 and self.leaves[0].type == STANDALONE_COMMENT
1067 def is_decorator(self) -> bool:
1068 """Is this line a decorator?"""
1069 return bool(self) and self.leaves[0].type == token.AT
1072 def is_import(self) -> bool:
1073 """Is this an import line?"""
1074 return bool(self) and is_import(self.leaves[0])
1077 def is_class(self) -> bool:
1078 """Is this line a class definition?"""
1081 and self.leaves[0].type == token.NAME
1082 and self.leaves[0].value == "class"
1086 def is_stub_class(self) -> bool:
1087 """Is this line a class definition with a body consisting only of "..."?"""
1088 return self.is_class and self.leaves[-3:] == [
1089 Leaf(token.DOT, ".") for _ in range(3)
1093 def is_def(self) -> bool:
1094 """Is this a function definition? (Also returns True for async defs.)"""
1096 first_leaf = self.leaves[0]
1101 second_leaf: Optional[Leaf] = self.leaves[1]
1104 return (first_leaf.type == token.NAME and first_leaf.value == "def") or (
1105 first_leaf.type == token.ASYNC
1106 and second_leaf is not None
1107 and second_leaf.type == token.NAME
1108 and second_leaf.value == "def"
1112 def is_class_paren_empty(self) -> bool:
1113 """Is this a class with no base classes but using parentheses?
1115 Those are unnecessary and should be removed.
1119 and len(self.leaves) == 4
1121 and self.leaves[2].type == token.LPAR
1122 and self.leaves[2].value == "("
1123 and self.leaves[3].type == token.RPAR
1124 and self.leaves[3].value == ")"
1128 def is_triple_quoted_string(self) -> bool:
1129 """Is the line a triple quoted string?"""
1132 and self.leaves[0].type == token.STRING
1133 and self.leaves[0].value.startswith(('"""', "'''"))
1136 def contains_standalone_comments(self, depth_limit: int = sys.maxsize) -> bool:
1137 """If so, needs to be split before emitting."""
1138 for leaf in self.leaves:
1139 if leaf.type == STANDALONE_COMMENT:
1140 if leaf.bracket_depth <= depth_limit:
1145 def contains_multiline_strings(self) -> bool:
1146 for leaf in self.leaves:
1147 if is_multiline_string(leaf):
1152 def maybe_remove_trailing_comma(self, closing: Leaf) -> bool:
1153 """Remove trailing comma if there is one and it's safe."""
1156 and self.leaves[-1].type == token.COMMA
1157 and closing.type in CLOSING_BRACKETS
1161 if closing.type == token.RBRACE:
1162 self.remove_trailing_comma()
1165 if closing.type == token.RSQB:
1166 comma = self.leaves[-1]
1167 if comma.parent and comma.parent.type == syms.listmaker:
1168 self.remove_trailing_comma()
1171 # For parens let's check if it's safe to remove the comma.
1172 # Imports are always safe.
1174 self.remove_trailing_comma()
1177 # Otheriwsse, if the trailing one is the only one, we might mistakenly
1178 # change a tuple into a different type by removing the comma.
1179 depth = closing.bracket_depth + 1
1181 opening = closing.opening_bracket
1182 for _opening_index, leaf in enumerate(self.leaves):
1189 for leaf in self.leaves[_opening_index + 1 :]:
1193 bracket_depth = leaf.bracket_depth
1194 if bracket_depth == depth and leaf.type == token.COMMA:
1196 if leaf.parent and leaf.parent.type == syms.arglist:
1201 self.remove_trailing_comma()
1206 def append_comment(self, comment: Leaf) -> bool:
1207 """Add an inline or standalone comment to the line."""
1209 comment.type == STANDALONE_COMMENT
1210 and self.bracket_tracker.any_open_brackets()
1215 if comment.type != token.COMMENT:
1218 after = len(self.leaves) - 1
1220 comment.type = STANDALONE_COMMENT
1225 self.comments.append((after, comment))
1228 def comments_after(self, leaf: Leaf, _index: int = -1) -> Iterator[Leaf]:
1229 """Generate comments that should appear directly after `leaf`.
1231 Provide a non-negative leaf `_index` to speed up the function.
1233 if not self.comments:
1237 for _index, _leaf in enumerate(self.leaves):
1244 for index, comment_after in self.comments:
1248 def remove_trailing_comma(self) -> None:
1249 """Remove the trailing comma and moves the comments attached to it."""
1250 comma_index = len(self.leaves) - 1
1251 for i in range(len(self.comments)):
1252 comment_index, comment = self.comments[i]
1253 if comment_index == comma_index:
1254 self.comments[i] = (comma_index - 1, comment)
1257 def is_complex_subscript(self, leaf: Leaf) -> bool:
1258 """Return True iff `leaf` is part of a slice with non-trivial exprs."""
1260 leaf if leaf.type == token.LSQB else self.bracket_tracker.get_open_lsqb()
1262 if open_lsqb is None:
1265 subscript_start = open_lsqb.next_sibling
1267 isinstance(subscript_start, Node)
1268 and subscript_start.type == syms.subscriptlist
1270 subscript_start = child_towards(subscript_start, leaf)
1271 return subscript_start is not None and any(
1272 n.type in TEST_DESCENDANTS for n in subscript_start.pre_order()
1275 def __str__(self) -> str:
1276 """Render the line."""
1280 indent = " " * self.depth
1281 leaves = iter(self.leaves)
1282 first = next(leaves)
1283 res = f"{first.prefix}{indent}{first.value}"
1286 for _, comment in self.comments:
1290 def __bool__(self) -> bool:
1291 """Return True if the line has leaves or comments."""
1292 return bool(self.leaves or self.comments)
1295 class UnformattedLines(Line):
1296 """Just like :class:`Line` but stores lines which aren't reformatted."""
1298 def append(self, leaf: Leaf, preformatted: bool = True) -> None:
1299 """Just add a new `leaf` to the end of the lines.
1301 The `preformatted` argument is ignored.
1303 Keeps track of indentation `depth`, which is useful when the user
1304 says `# fmt: on`. Otherwise, doesn't do anything with the `leaf`.
1307 list(generate_comments(leaf))
1308 except FormatOn as f_on:
1309 self.leaves.append(f_on.leaf_from_consumed(leaf))
1312 self.leaves.append(leaf)
1313 if leaf.type == token.INDENT:
1315 elif leaf.type == token.DEDENT:
1318 def __str__(self) -> str:
1319 """Render unformatted lines from leaves which were added with `append()`.
1321 `depth` is not used for indentation in this case.
1327 for leaf in self.leaves:
1331 def append_comment(self, comment: Leaf) -> bool:
1332 """Not implemented in this class. Raises `NotImplementedError`."""
1333 raise NotImplementedError("Unformatted lines don't store comments separately.")
1335 def maybe_remove_trailing_comma(self, closing: Leaf) -> bool:
1336 """Does nothing and returns False."""
1339 def maybe_increment_for_loop_variable(self, leaf: Leaf) -> bool:
1340 """Does nothing and returns False."""
1345 class EmptyLineTracker:
1346 """Provides a stateful method that returns the number of potential extra
1347 empty lines needed before and after the currently processed line.
1349 Note: this tracker works on lines that haven't been split yet. It assumes
1350 the prefix of the first leaf consists of optional newlines. Those newlines
1351 are consumed by `maybe_empty_lines()` and included in the computation.
1354 is_pyi: bool = False
1355 previous_line: Optional[Line] = None
1356 previous_after: int = 0
1357 previous_defs: List[int] = Factory(list)
1359 def maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1360 """Return the number of extra empty lines before and after the `current_line`.
1362 This is for separating `def`, `async def` and `class` with extra empty
1363 lines (two on module-level).
1365 if isinstance(current_line, UnformattedLines):
1368 before, after = self._maybe_empty_lines(current_line)
1369 before -= self.previous_after
1370 self.previous_after = after
1371 self.previous_line = current_line
1372 return before, after
1374 def _maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1376 if current_line.depth == 0:
1377 max_allowed = 1 if self.is_pyi else 2
1378 if current_line.leaves:
1379 # Consume the first leaf's extra newlines.
1380 first_leaf = current_line.leaves[0]
1381 before = first_leaf.prefix.count("\n")
1382 before = min(before, max_allowed)
1383 first_leaf.prefix = ""
1386 depth = current_line.depth
1387 while self.previous_defs and self.previous_defs[-1] >= depth:
1388 self.previous_defs.pop()
1390 before = 0 if depth else 1
1392 before = 1 if depth else 2
1393 is_decorator = current_line.is_decorator
1394 if is_decorator or current_line.is_def or current_line.is_class:
1395 if not is_decorator:
1396 self.previous_defs.append(depth)
1397 if self.previous_line is None:
1398 # Don't insert empty lines before the first line in the file.
1401 if self.previous_line.is_decorator:
1404 if self.previous_line.depth < current_line.depth and (
1405 self.previous_line.is_class or self.previous_line.is_def
1410 self.previous_line.is_comment
1411 and self.previous_line.depth == current_line.depth
1417 if self.previous_line.depth > current_line.depth:
1419 elif current_line.is_class or self.previous_line.is_class:
1420 if current_line.is_stub_class and self.previous_line.is_stub_class:
1428 if current_line.depth and newlines:
1434 and self.previous_line.is_import
1435 and not current_line.is_import
1436 and depth == self.previous_line.depth
1438 return (before or 1), 0
1442 and self.previous_line.is_class
1443 and current_line.is_triple_quoted_string
1451 class LineGenerator(Visitor[Line]):
1452 """Generates reformatted Line objects. Empty lines are not emitted.
1454 Note: destroys the tree it's visiting by mutating prefixes of its leaves
1455 in ways that will no longer stringify to valid Python code on the tree.
1458 is_pyi: bool = False
1459 normalize_strings: bool = True
1460 current_line: Line = Factory(Line)
1461 remove_u_prefix: bool = False
1463 def line(self, indent: int = 0, type: Type[Line] = Line) -> Iterator[Line]:
1466 If the line is empty, only emit if it makes sense.
1467 If the line is too long, split it first and then generate.
1469 If any lines were generated, set up a new current_line.
1471 if not self.current_line:
1472 if self.current_line.__class__ == type:
1473 self.current_line.depth += indent
1475 self.current_line = type(depth=self.current_line.depth + indent)
1476 return # Line is empty, don't emit. Creating a new one unnecessary.
1478 complete_line = self.current_line
1479 self.current_line = type(depth=complete_line.depth + indent)
1482 def visit(self, node: LN) -> Iterator[Line]:
1483 """Main method to visit `node` and its children.
1485 Yields :class:`Line` objects.
1487 if isinstance(self.current_line, UnformattedLines):
1488 # File contained `# fmt: off`
1489 yield from self.visit_unformatted(node)
1492 yield from super().visit(node)
1494 def visit_default(self, node: LN) -> Iterator[Line]:
1495 """Default `visit_*()` implementation. Recurses to children of `node`."""
1496 if isinstance(node, Leaf):
1497 any_open_brackets = self.current_line.bracket_tracker.any_open_brackets()
1499 for comment in generate_comments(node):
1500 if any_open_brackets:
1501 # any comment within brackets is subject to splitting
1502 self.current_line.append(comment)
1503 elif comment.type == token.COMMENT:
1504 # regular trailing comment
1505 self.current_line.append(comment)
1506 yield from self.line()
1509 # regular standalone comment
1510 yield from self.line()
1512 self.current_line.append(comment)
1513 yield from self.line()
1515 except FormatOff as f_off:
1516 f_off.trim_prefix(node)
1517 yield from self.line(type=UnformattedLines)
1518 yield from self.visit(node)
1520 except FormatOn as f_on:
1521 # This only happens here if somebody says "fmt: on" multiple
1523 f_on.trim_prefix(node)
1524 yield from self.visit_default(node)
1527 normalize_prefix(node, inside_brackets=any_open_brackets)
1528 if self.normalize_strings and node.type == token.STRING:
1529 normalize_string_prefix(node, remove_u_prefix=self.remove_u_prefix)
1530 normalize_string_quotes(node)
1531 if node.type not in WHITESPACE:
1532 self.current_line.append(node)
1533 yield from super().visit_default(node)
1535 def visit_INDENT(self, node: Node) -> Iterator[Line]:
1536 """Increase indentation level, maybe yield a line."""
1537 # In blib2to3 INDENT never holds comments.
1538 yield from self.line(+1)
1539 yield from self.visit_default(node)
1541 def visit_DEDENT(self, node: Node) -> Iterator[Line]:
1542 """Decrease indentation level, maybe yield a line."""
1543 # The current line might still wait for trailing comments. At DEDENT time
1544 # there won't be any (they would be prefixes on the preceding NEWLINE).
1545 # Emit the line then.
1546 yield from self.line()
1548 # While DEDENT has no value, its prefix may contain standalone comments
1549 # that belong to the current indentation level. Get 'em.
1550 yield from self.visit_default(node)
1552 # Finally, emit the dedent.
1553 yield from self.line(-1)
1556 self, node: Node, keywords: Set[str], parens: Set[str]
1557 ) -> Iterator[Line]:
1558 """Visit a statement.
1560 This implementation is shared for `if`, `while`, `for`, `try`, `except`,
1561 `def`, `with`, `class`, `assert` and assignments.
1563 The relevant Python language `keywords` for a given statement will be
1564 NAME leaves within it. This methods puts those on a separate line.
1566 `parens` holds a set of string leaf values immediately after which
1567 invisible parens should be put.
1569 normalize_invisible_parens(node, parens_after=parens)
1570 for child in node.children:
1571 if child.type == token.NAME and child.value in keywords: # type: ignore
1572 yield from self.line()
1574 yield from self.visit(child)
1576 def visit_suite(self, node: Node) -> Iterator[Line]:
1577 """Visit a suite."""
1578 if self.is_pyi and is_stub_suite(node):
1579 yield from self.visit(node.children[2])
1581 yield from self.visit_default(node)
1583 def visit_simple_stmt(self, node: Node) -> Iterator[Line]:
1584 """Visit a statement without nested statements."""
1585 is_suite_like = node.parent and node.parent.type in STATEMENT
1587 if self.is_pyi and is_stub_body(node):
1588 yield from self.visit_default(node)
1590 yield from self.line(+1)
1591 yield from self.visit_default(node)
1592 yield from self.line(-1)
1595 if not self.is_pyi or not node.parent or not is_stub_suite(node.parent):
1596 yield from self.line()
1597 yield from self.visit_default(node)
1599 def visit_async_stmt(self, node: Node) -> Iterator[Line]:
1600 """Visit `async def`, `async for`, `async with`."""
1601 yield from self.line()
1603 children = iter(node.children)
1604 for child in children:
1605 yield from self.visit(child)
1607 if child.type == token.ASYNC:
1610 internal_stmt = next(children)
1611 for child in internal_stmt.children:
1612 yield from self.visit(child)
1614 def visit_decorators(self, node: Node) -> Iterator[Line]:
1615 """Visit decorators."""
1616 for child in node.children:
1617 yield from self.line()
1618 yield from self.visit(child)
1620 def visit_SEMI(self, leaf: Leaf) -> Iterator[Line]:
1621 """Remove a semicolon and put the other statement on a separate line."""
1622 yield from self.line()
1624 def visit_ENDMARKER(self, leaf: Leaf) -> Iterator[Line]:
1625 """End of file. Process outstanding comments and end with a newline."""
1626 yield from self.visit_default(leaf)
1627 yield from self.line()
1629 def visit_unformatted(self, node: LN) -> Iterator[Line]:
1630 """Used when file contained a `# fmt: off`."""
1631 if isinstance(node, Node):
1632 for child in node.children:
1633 yield from self.visit(child)
1637 self.current_line.append(node)
1638 except FormatOn as f_on:
1639 f_on.trim_prefix(node)
1640 yield from self.line()
1641 yield from self.visit(node)
1643 if node.type == token.ENDMARKER:
1644 # somebody decided not to put a final `# fmt: on`
1645 yield from self.line()
1647 def __attrs_post_init__(self) -> None:
1648 """You are in a twisty little maze of passages."""
1651 self.visit_assert_stmt = partial(v, keywords={"assert"}, parens={"assert", ","})
1652 self.visit_if_stmt = partial(
1653 v, keywords={"if", "else", "elif"}, parens={"if", "elif"}
1655 self.visit_while_stmt = partial(v, keywords={"while", "else"}, parens={"while"})
1656 self.visit_for_stmt = partial(v, keywords={"for", "else"}, parens={"for", "in"})
1657 self.visit_try_stmt = partial(
1658 v, keywords={"try", "except", "else", "finally"}, parens=Ø
1660 self.visit_except_clause = partial(v, keywords={"except"}, parens=Ø)
1661 self.visit_with_stmt = partial(v, keywords={"with"}, parens=Ø)
1662 self.visit_funcdef = partial(v, keywords={"def"}, parens=Ø)
1663 self.visit_classdef = partial(v, keywords={"class"}, parens=Ø)
1664 self.visit_expr_stmt = partial(v, keywords=Ø, parens=ASSIGNMENTS)
1665 self.visit_return_stmt = partial(v, keywords={"return"}, parens={"return"})
1666 self.visit_import_from = partial(v, keywords=Ø, parens={"import"})
1667 self.visit_async_funcdef = self.visit_async_stmt
1668 self.visit_decorated = self.visit_decorators
1671 IMPLICIT_TUPLE = {syms.testlist, syms.testlist_star_expr, syms.exprlist}
1672 BRACKET = {token.LPAR: token.RPAR, token.LSQB: token.RSQB, token.LBRACE: token.RBRACE}
1673 OPENING_BRACKETS = set(BRACKET.keys())
1674 CLOSING_BRACKETS = set(BRACKET.values())
1675 BRACKETS = OPENING_BRACKETS | CLOSING_BRACKETS
1676 ALWAYS_NO_SPACE = CLOSING_BRACKETS | {token.COMMA, STANDALONE_COMMENT}
1679 def whitespace(leaf: Leaf, *, complex_subscript: bool) -> str: # noqa C901
1680 """Return whitespace prefix if needed for the given `leaf`.
1682 `complex_subscript` signals whether the given leaf is part of a subscription
1683 which has non-trivial arguments, like arithmetic expressions or function calls.
1691 if t in ALWAYS_NO_SPACE:
1694 if t == token.COMMENT:
1697 assert p is not None, f"INTERNAL ERROR: hand-made leaf without parent: {leaf!r}"
1698 if t == token.COLON and p.type not in {
1705 prev = leaf.prev_sibling
1707 prevp = preceding_leaf(p)
1708 if not prevp or prevp.type in OPENING_BRACKETS:
1711 if t == token.COLON:
1712 if prevp.type == token.COLON:
1715 elif prevp.type != token.COMMA and not complex_subscript:
1720 if prevp.type == token.EQUAL:
1722 if prevp.parent.type in {
1730 elif prevp.parent.type == syms.typedargslist:
1731 # A bit hacky: if the equal sign has whitespace, it means we
1732 # previously found it's a typed argument. So, we're using
1736 elif prevp.type in STARS:
1737 if is_vararg(prevp, within=VARARGS_PARENTS | UNPACKING_PARENTS):
1740 elif prevp.type == token.COLON:
1741 if prevp.parent and prevp.parent.type in {syms.subscript, syms.sliceop}:
1742 return SPACE if complex_subscript else NO
1746 and prevp.parent.type == syms.factor
1747 and prevp.type in MATH_OPERATORS
1752 prevp.type == token.RIGHTSHIFT
1754 and prevp.parent.type == syms.shift_expr
1755 and prevp.prev_sibling
1756 and prevp.prev_sibling.type == token.NAME
1757 and prevp.prev_sibling.value == "print" # type: ignore
1759 # Python 2 print chevron
1762 elif prev.type in OPENING_BRACKETS:
1765 if p.type in {syms.parameters, syms.arglist}:
1766 # untyped function signatures or calls
1767 if not prev or prev.type != token.COMMA:
1770 elif p.type == syms.varargslist:
1772 if prev and prev.type != token.COMMA:
1775 elif p.type == syms.typedargslist:
1776 # typed function signatures
1780 if t == token.EQUAL:
1781 if prev.type != syms.tname:
1784 elif prev.type == token.EQUAL:
1785 # A bit hacky: if the equal sign has whitespace, it means we
1786 # previously found it's a typed argument. So, we're using that, too.
1789 elif prev.type != token.COMMA:
1792 elif p.type == syms.tname:
1795 prevp = preceding_leaf(p)
1796 if not prevp or prevp.type != token.COMMA:
1799 elif p.type == syms.trailer:
1800 # attributes and calls
1801 if t == token.LPAR or t == token.RPAR:
1806 prevp = preceding_leaf(p)
1807 if not prevp or prevp.type != token.NUMBER:
1810 elif t == token.LSQB:
1813 elif prev.type != token.COMMA:
1816 elif p.type == syms.argument:
1818 if t == token.EQUAL:
1822 prevp = preceding_leaf(p)
1823 if not prevp or prevp.type == token.LPAR:
1826 elif prev.type in {token.EQUAL} | STARS:
1829 elif p.type == syms.decorator:
1833 elif p.type == syms.dotted_name:
1837 prevp = preceding_leaf(p)
1838 if not prevp or prevp.type == token.AT or prevp.type == token.DOT:
1841 elif p.type == syms.classdef:
1845 if prev and prev.type == token.LPAR:
1848 elif p.type in {syms.subscript, syms.sliceop}:
1851 assert p.parent is not None, "subscripts are always parented"
1852 if p.parent.type == syms.subscriptlist:
1857 elif not complex_subscript:
1860 elif p.type == syms.atom:
1861 if prev and t == token.DOT:
1862 # dots, but not the first one.
1865 elif p.type == syms.dictsetmaker:
1867 if prev and prev.type == token.DOUBLESTAR:
1870 elif p.type in {syms.factor, syms.star_expr}:
1873 prevp = preceding_leaf(p)
1874 if not prevp or prevp.type in OPENING_BRACKETS:
1877 prevp_parent = prevp.parent
1878 assert prevp_parent is not None
1879 if prevp.type == token.COLON and prevp_parent.type in {
1885 elif prevp.type == token.EQUAL and prevp_parent.type == syms.argument:
1888 elif t in {token.NAME, token.NUMBER, token.STRING}:
1891 elif p.type == syms.import_from:
1893 if prev and prev.type == token.DOT:
1896 elif t == token.NAME:
1900 if prev and prev.type == token.DOT:
1903 elif p.type == syms.sliceop:
1909 def preceding_leaf(node: Optional[LN]) -> Optional[Leaf]:
1910 """Return the first leaf that precedes `node`, if any."""
1912 res = node.prev_sibling
1914 if isinstance(res, Leaf):
1918 return list(res.leaves())[-1]
1927 def child_towards(ancestor: Node, descendant: LN) -> Optional[LN]:
1928 """Return the child of `ancestor` that contains `descendant`."""
1929 node: Optional[LN] = descendant
1930 while node and node.parent != ancestor:
1935 def is_split_after_delimiter(leaf: Leaf, previous: Leaf = None) -> int:
1936 """Return the priority of the `leaf` delimiter, given a line break after it.
1938 The delimiter priorities returned here are from those delimiters that would
1939 cause a line break after themselves.
1941 Higher numbers are higher priority.
1943 if leaf.type == token.COMMA:
1944 return COMMA_PRIORITY
1949 def is_split_before_delimiter(leaf: Leaf, previous: Leaf = None) -> int:
1950 """Return the priority of the `leaf` delimiter, given a line before after it.
1952 The delimiter priorities returned here are from those delimiters that would
1953 cause a line break before themselves.
1955 Higher numbers are higher priority.
1957 if is_vararg(leaf, within=VARARGS_PARENTS | UNPACKING_PARENTS):
1958 # * and ** might also be MATH_OPERATORS but in this case they are not.
1959 # Don't treat them as a delimiter.
1963 leaf.type == token.DOT
1965 and leaf.parent.type not in {syms.import_from, syms.dotted_name}
1966 and (previous is None or previous.type in CLOSING_BRACKETS)
1971 leaf.type in MATH_OPERATORS
1973 and leaf.parent.type not in {syms.factor, syms.star_expr}
1975 return MATH_PRIORITIES[leaf.type]
1977 if leaf.type in COMPARATORS:
1978 return COMPARATOR_PRIORITY
1981 leaf.type == token.STRING
1982 and previous is not None
1983 and previous.type == token.STRING
1985 return STRING_PRIORITY
1987 if leaf.type != token.NAME:
1993 and leaf.parent.type in {syms.comp_for, syms.old_comp_for}
1995 return COMPREHENSION_PRIORITY
2000 and leaf.parent.type in {syms.comp_if, syms.old_comp_if}
2002 return COMPREHENSION_PRIORITY
2004 if leaf.value in {"if", "else"} and leaf.parent and leaf.parent.type == syms.test:
2005 return TERNARY_PRIORITY
2007 if leaf.value == "is":
2008 return COMPARATOR_PRIORITY
2013 and leaf.parent.type in {syms.comp_op, syms.comparison}
2015 previous is not None
2016 and previous.type == token.NAME
2017 and previous.value == "not"
2020 return COMPARATOR_PRIORITY
2025 and leaf.parent.type == syms.comp_op
2027 previous is not None
2028 and previous.type == token.NAME
2029 and previous.value == "is"
2032 return COMPARATOR_PRIORITY
2034 if leaf.value in LOGIC_OPERATORS and leaf.parent:
2035 return LOGIC_PRIORITY
2040 def generate_comments(leaf: LN) -> Iterator[Leaf]:
2041 """Clean the prefix of the `leaf` and generate comments from it, if any.
2043 Comments in lib2to3 are shoved into the whitespace prefix. This happens
2044 in `pgen2/driver.py:Driver.parse_tokens()`. This was a brilliant implementation
2045 move because it does away with modifying the grammar to include all the
2046 possible places in which comments can be placed.
2048 The sad consequence for us though is that comments don't "belong" anywhere.
2049 This is why this function generates simple parentless Leaf objects for
2050 comments. We simply don't know what the correct parent should be.
2052 No matter though, we can live without this. We really only need to
2053 differentiate between inline and standalone comments. The latter don't
2054 share the line with any code.
2056 Inline comments are emitted as regular token.COMMENT leaves. Standalone
2057 are emitted with a fake STANDALONE_COMMENT token identifier.
2068 for index, line in enumerate(p.split("\n")):
2069 consumed += len(line) + 1 # adding the length of the split '\n'
2070 line = line.lstrip()
2073 if not line.startswith("#"):
2076 if index == 0 and leaf.type != token.ENDMARKER:
2077 comment_type = token.COMMENT # simple trailing comment
2079 comment_type = STANDALONE_COMMENT
2080 comment = make_comment(line)
2081 yield Leaf(comment_type, comment, prefix="\n" * nlines)
2083 if comment in {"# fmt: on", "# yapf: enable"}:
2084 raise FormatOn(consumed)
2086 if comment in {"# fmt: off", "# yapf: disable"}:
2087 if comment_type == STANDALONE_COMMENT:
2088 raise FormatOff(consumed)
2090 prev = preceding_leaf(leaf)
2091 if not prev or prev.type in WHITESPACE: # standalone comment in disguise
2092 raise FormatOff(consumed)
2097 def make_comment(content: str) -> str:
2098 """Return a consistently formatted comment from the given `content` string.
2100 All comments (except for "##", "#!", "#:") should have a single space between
2101 the hash sign and the content.
2103 If `content` didn't start with a hash sign, one is provided.
2105 content = content.rstrip()
2109 if content[0] == "#":
2110 content = content[1:]
2111 if content and content[0] not in " !:#":
2112 content = " " + content
2113 return "#" + content
2117 line: Line, line_length: int, inner: bool = False, py36: bool = False
2118 ) -> Iterator[Line]:
2119 """Split a `line` into potentially many lines.
2121 They should fit in the allotted `line_length` but might not be able to.
2122 `inner` signifies that there were a pair of brackets somewhere around the
2123 current `line`, possibly transitively. This means we can fallback to splitting
2124 by delimiters if the LHS/RHS don't yield any results.
2126 If `py36` is True, splitting may generate syntax that is only compatible
2127 with Python 3.6 and later.
2129 if isinstance(line, UnformattedLines) or line.is_comment:
2133 line_str = str(line).strip("\n")
2134 if not line.should_explode and is_line_short_enough(
2135 line, line_length=line_length, line_str=line_str
2140 split_funcs: List[SplitFunc]
2142 split_funcs = [left_hand_split]
2145 def rhs(line: Line, py36: bool = False) -> Iterator[Line]:
2146 for omit in generate_trailers_to_omit(line, line_length):
2147 lines = list(right_hand_split(line, line_length, py36, omit=omit))
2148 if is_line_short_enough(lines[0], line_length=line_length):
2152 # All splits failed, best effort split with no omits.
2153 # This mostly happens to multiline strings that are by definition
2154 # reported as not fitting a single line.
2155 yield from right_hand_split(line, py36)
2157 if line.inside_brackets:
2158 split_funcs = [delimiter_split, standalone_comment_split, rhs]
2161 for split_func in split_funcs:
2162 # We are accumulating lines in `result` because we might want to abort
2163 # mission and return the original line in the end, or attempt a different
2165 result: List[Line] = []
2167 for l in split_func(line, py36):
2168 if str(l).strip("\n") == line_str:
2169 raise CannotSplit("Split function returned an unchanged result")
2172 split_line(l, line_length=line_length, inner=True, py36=py36)
2174 except CannotSplit as cs:
2185 def left_hand_split(line: Line, py36: bool = False) -> Iterator[Line]:
2186 """Split line into many lines, starting with the first matching bracket pair.
2188 Note: this usually looks weird, only use this for function definitions.
2189 Prefer RHS otherwise. This is why this function is not symmetrical with
2190 :func:`right_hand_split` which also handles optional parentheses.
2192 head = Line(depth=line.depth)
2193 body = Line(depth=line.depth + 1, inside_brackets=True)
2194 tail = Line(depth=line.depth)
2195 tail_leaves: List[Leaf] = []
2196 body_leaves: List[Leaf] = []
2197 head_leaves: List[Leaf] = []
2198 current_leaves = head_leaves
2199 matching_bracket = None
2200 for leaf in line.leaves:
2202 current_leaves is body_leaves
2203 and leaf.type in CLOSING_BRACKETS
2204 and leaf.opening_bracket is matching_bracket
2206 current_leaves = tail_leaves if body_leaves else head_leaves
2207 current_leaves.append(leaf)
2208 if current_leaves is head_leaves:
2209 if leaf.type in OPENING_BRACKETS:
2210 matching_bracket = leaf
2211 current_leaves = body_leaves
2212 # Since body is a new indent level, remove spurious leading whitespace.
2214 normalize_prefix(body_leaves[0], inside_brackets=True)
2215 # Build the new lines.
2216 for result, leaves in (head, head_leaves), (body, body_leaves), (tail, tail_leaves):
2218 result.append(leaf, preformatted=True)
2219 for comment_after in line.comments_after(leaf):
2220 result.append(comment_after, preformatted=True)
2221 bracket_split_succeeded_or_raise(head, body, tail)
2222 for result in (head, body, tail):
2227 def right_hand_split(
2228 line: Line, line_length: int, py36: bool = False, omit: Collection[LeafID] = ()
2229 ) -> Iterator[Line]:
2230 """Split line into many lines, starting with the last matching bracket pair.
2232 If the split was by optional parentheses, attempt splitting without them, too.
2233 `omit` is a collection of closing bracket IDs that shouldn't be considered for
2236 Note: running this function modifies `bracket_depth` on the leaves of `line`.
2238 head = Line(depth=line.depth)
2239 body = Line(depth=line.depth + 1, inside_brackets=True)
2240 tail = Line(depth=line.depth)
2241 tail_leaves: List[Leaf] = []
2242 body_leaves: List[Leaf] = []
2243 head_leaves: List[Leaf] = []
2244 current_leaves = tail_leaves
2245 opening_bracket = None
2246 closing_bracket = None
2247 for leaf in reversed(line.leaves):
2248 if current_leaves is body_leaves:
2249 if leaf is opening_bracket:
2250 current_leaves = head_leaves if body_leaves else tail_leaves
2251 current_leaves.append(leaf)
2252 if current_leaves is tail_leaves:
2253 if leaf.type in CLOSING_BRACKETS and id(leaf) not in omit:
2254 opening_bracket = leaf.opening_bracket
2255 closing_bracket = leaf
2256 current_leaves = body_leaves
2257 tail_leaves.reverse()
2258 body_leaves.reverse()
2259 head_leaves.reverse()
2260 # Since body is a new indent level, remove spurious leading whitespace.
2262 normalize_prefix(body_leaves[0], inside_brackets=True)
2264 # No `head` means the split failed. Either `tail` has all content or
2265 # the matching `opening_bracket` wasn't available on `line` anymore.
2266 raise CannotSplit("No brackets found")
2268 # Build the new lines.
2269 for result, leaves in (head, head_leaves), (body, body_leaves), (tail, tail_leaves):
2271 result.append(leaf, preformatted=True)
2272 for comment_after in line.comments_after(leaf):
2273 result.append(comment_after, preformatted=True)
2274 assert opening_bracket and closing_bracket
2275 body.should_explode = should_explode(body, opening_bracket)
2276 bracket_split_succeeded_or_raise(head, body, tail)
2278 # the body shouldn't be exploded
2279 not body.should_explode
2280 # the opening bracket is an optional paren
2281 and opening_bracket.type == token.LPAR
2282 and not opening_bracket.value
2283 # the closing bracket is an optional paren
2284 and closing_bracket.type == token.RPAR
2285 and not closing_bracket.value
2286 # it's not an import (optional parens are the only thing we can split on
2287 # in this case; attempting a split without them is a waste of time)
2288 and not line.is_import
2289 # there are no standalone comments in the body
2290 and not body.contains_standalone_comments(0)
2291 # and we can actually remove the parens
2292 and can_omit_invisible_parens(body, line_length)
2294 omit = {id(closing_bracket), *omit}
2296 yield from right_hand_split(line, line_length, py36=py36, omit=omit)
2302 or is_line_short_enough(body, line_length=line_length)
2305 "Splitting failed, body is still too long and can't be split."
2308 elif head.contains_multiline_strings() or tail.contains_multiline_strings():
2310 "The current optional pair of parentheses is bound to fail to "
2311 "satisfy the splitting algorithm because the head or the tail "
2312 "contains multiline strings which by definition never fit one "
2316 ensure_visible(opening_bracket)
2317 ensure_visible(closing_bracket)
2318 for result in (head, body, tail):
2323 def bracket_split_succeeded_or_raise(head: Line, body: Line, tail: Line) -> None:
2324 """Raise :exc:`CannotSplit` if the last left- or right-hand split failed.
2326 Do nothing otherwise.
2328 A left- or right-hand split is based on a pair of brackets. Content before
2329 (and including) the opening bracket is left on one line, content inside the
2330 brackets is put on a separate line, and finally content starting with and
2331 following the closing bracket is put on a separate line.
2333 Those are called `head`, `body`, and `tail`, respectively. If the split
2334 produced the same line (all content in `head`) or ended up with an empty `body`
2335 and the `tail` is just the closing bracket, then it's considered failed.
2337 tail_len = len(str(tail).strip())
2340 raise CannotSplit("Splitting brackets produced the same line")
2344 f"Splitting brackets on an empty body to save "
2345 f"{tail_len} characters is not worth it"
2349 def dont_increase_indentation(split_func: SplitFunc) -> SplitFunc:
2350 """Normalize prefix of the first leaf in every line returned by `split_func`.
2352 This is a decorator over relevant split functions.
2356 def split_wrapper(line: Line, py36: bool = False) -> Iterator[Line]:
2357 for l in split_func(line, py36):
2358 normalize_prefix(l.leaves[0], inside_brackets=True)
2361 return split_wrapper
2364 @dont_increase_indentation
2365 def delimiter_split(line: Line, py36: bool = False) -> Iterator[Line]:
2366 """Split according to delimiters of the highest priority.
2368 If `py36` is True, the split will add trailing commas also in function
2369 signatures that contain `*` and `**`.
2372 last_leaf = line.leaves[-1]
2374 raise CannotSplit("Line empty")
2376 bt = line.bracket_tracker
2378 delimiter_priority = bt.max_delimiter_priority(exclude={id(last_leaf)})
2380 raise CannotSplit("No delimiters found")
2382 if delimiter_priority == DOT_PRIORITY:
2383 if bt.delimiter_count_with_priority(delimiter_priority) == 1:
2384 raise CannotSplit("Splitting a single attribute from its owner looks wrong")
2386 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2387 lowest_depth = sys.maxsize
2388 trailing_comma_safe = True
2390 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2391 """Append `leaf` to current line or to new line if appending impossible."""
2392 nonlocal current_line
2394 current_line.append_safe(leaf, preformatted=True)
2395 except ValueError as ve:
2398 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2399 current_line.append(leaf)
2401 for index, leaf in enumerate(line.leaves):
2402 yield from append_to_line(leaf)
2404 for comment_after in line.comments_after(leaf, index):
2405 yield from append_to_line(comment_after)
2407 lowest_depth = min(lowest_depth, leaf.bracket_depth)
2408 if leaf.bracket_depth == lowest_depth and is_vararg(
2409 leaf, within=VARARGS_PARENTS
2411 trailing_comma_safe = trailing_comma_safe and py36
2412 leaf_priority = bt.delimiters.get(id(leaf))
2413 if leaf_priority == delimiter_priority:
2416 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2420 and delimiter_priority == COMMA_PRIORITY
2421 and current_line.leaves[-1].type != token.COMMA
2422 and current_line.leaves[-1].type != STANDALONE_COMMENT
2424 current_line.append(Leaf(token.COMMA, ","))
2428 @dont_increase_indentation
2429 def standalone_comment_split(line: Line, py36: bool = False) -> Iterator[Line]:
2430 """Split standalone comments from the rest of the line."""
2431 if not line.contains_standalone_comments(0):
2432 raise CannotSplit("Line does not have any standalone comments")
2434 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2436 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2437 """Append `leaf` to current line or to new line if appending impossible."""
2438 nonlocal current_line
2440 current_line.append_safe(leaf, preformatted=True)
2441 except ValueError as ve:
2444 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2445 current_line.append(leaf)
2447 for index, leaf in enumerate(line.leaves):
2448 yield from append_to_line(leaf)
2450 for comment_after in line.comments_after(leaf, index):
2451 yield from append_to_line(comment_after)
2457 def is_import(leaf: Leaf) -> bool:
2458 """Return True if the given leaf starts an import statement."""
2465 (v == "import" and p and p.type == syms.import_name)
2466 or (v == "from" and p and p.type == syms.import_from)
2471 def normalize_prefix(leaf: Leaf, *, inside_brackets: bool) -> None:
2472 """Leave existing extra newlines if not `inside_brackets`. Remove everything
2475 Note: don't use backslashes for formatting or you'll lose your voting rights.
2477 if not inside_brackets:
2478 spl = leaf.prefix.split("#")
2479 if "\\" not in spl[0]:
2480 nl_count = spl[-1].count("\n")
2483 leaf.prefix = "\n" * nl_count
2489 def normalize_string_prefix(leaf: Leaf, remove_u_prefix: bool = False) -> None:
2490 """Make all string prefixes lowercase.
2492 If remove_u_prefix is given, also removes any u prefix from the string.
2494 Note: Mutates its argument.
2496 match = re.match(r"^([furbFURB]*)(.*)$", leaf.value, re.DOTALL)
2497 assert match is not None, f"failed to match string {leaf.value!r}"
2498 orig_prefix = match.group(1)
2499 new_prefix = orig_prefix.lower()
2501 new_prefix = new_prefix.replace("u", "")
2502 leaf.value = f"{new_prefix}{match.group(2)}"
2505 def normalize_string_quotes(leaf: Leaf) -> None:
2506 """Prefer double quotes but only if it doesn't cause more escaping.
2508 Adds or removes backslashes as appropriate. Doesn't parse and fix
2509 strings nested in f-strings (yet).
2511 Note: Mutates its argument.
2513 value = leaf.value.lstrip("furbFURB")
2514 if value[:3] == '"""':
2517 elif value[:3] == "'''":
2520 elif value[0] == '"':
2526 first_quote_pos = leaf.value.find(orig_quote)
2527 if first_quote_pos == -1:
2528 return # There's an internal error
2530 prefix = leaf.value[:first_quote_pos]
2531 unescaped_new_quote = re.compile(rf"(([^\\]|^)(\\\\)*){new_quote}")
2532 escaped_new_quote = re.compile(rf"([^\\]|^)\\(\\\\)*{new_quote}")
2533 escaped_orig_quote = re.compile(rf"([^\\]|^)\\(\\\\)*{orig_quote}")
2534 body = leaf.value[first_quote_pos + len(orig_quote) : -len(orig_quote)]
2535 if "r" in prefix.casefold():
2536 if unescaped_new_quote.search(body):
2537 # There's at least one unescaped new_quote in this raw string
2538 # so converting is impossible
2541 # Do not introduce or remove backslashes in raw strings
2544 # remove unnecessary quotes
2545 new_body = sub_twice(escaped_new_quote, rf"\1\2{new_quote}", body)
2546 if body != new_body:
2547 # Consider the string without unnecessary quotes as the original
2549 leaf.value = f"{prefix}{orig_quote}{body}{orig_quote}"
2550 new_body = sub_twice(escaped_orig_quote, rf"\1\2{orig_quote}", new_body)
2551 new_body = sub_twice(unescaped_new_quote, rf"\1\\{new_quote}", new_body)
2552 if new_quote == '"""' and new_body[-1:] == '"':
2554 new_body = new_body[:-1] + '\\"'
2555 orig_escape_count = body.count("\\")
2556 new_escape_count = new_body.count("\\")
2557 if new_escape_count > orig_escape_count:
2558 return # Do not introduce more escaping
2560 if new_escape_count == orig_escape_count and orig_quote == '"':
2561 return # Prefer double quotes
2563 leaf.value = f"{prefix}{new_quote}{new_body}{new_quote}"
2566 def normalize_invisible_parens(node: Node, parens_after: Set[str]) -> None:
2567 """Make existing optional parentheses invisible or create new ones.
2569 `parens_after` is a set of string leaf values immeditely after which parens
2572 Standardizes on visible parentheses for single-element tuples, and keeps
2573 existing visible parentheses for other tuples and generator expressions.
2576 list(generate_comments(node))
2578 return # This `node` has a prefix with `# fmt: off`, don't mess with parens.
2581 for index, child in enumerate(list(node.children)):
2583 if child.type == syms.atom:
2584 maybe_make_parens_invisible_in_atom(child)
2585 elif is_one_tuple(child):
2586 # wrap child in visible parentheses
2587 lpar = Leaf(token.LPAR, "(")
2588 rpar = Leaf(token.RPAR, ")")
2590 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2591 elif node.type == syms.import_from:
2592 # "import from" nodes store parentheses directly as part of
2594 if child.type == token.LPAR:
2595 # make parentheses invisible
2596 child.value = "" # type: ignore
2597 node.children[-1].value = "" # type: ignore
2598 elif child.type != token.STAR:
2599 # insert invisible parentheses
2600 node.insert_child(index, Leaf(token.LPAR, ""))
2601 node.append_child(Leaf(token.RPAR, ""))
2604 elif not (isinstance(child, Leaf) and is_multiline_string(child)):
2605 # wrap child in invisible parentheses
2606 lpar = Leaf(token.LPAR, "")
2607 rpar = Leaf(token.RPAR, "")
2608 index = child.remove() or 0
2609 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2611 check_lpar = isinstance(child, Leaf) and child.value in parens_after
2614 def maybe_make_parens_invisible_in_atom(node: LN) -> bool:
2615 """If it's safe, make the parens in the atom `node` invisible, recursively."""
2617 node.type != syms.atom
2618 or is_empty_tuple(node)
2619 or is_one_tuple(node)
2621 or max_delimiter_priority_in_atom(node) >= COMMA_PRIORITY
2625 first = node.children[0]
2626 last = node.children[-1]
2627 if first.type == token.LPAR and last.type == token.RPAR:
2628 # make parentheses invisible
2629 first.value = "" # type: ignore
2630 last.value = "" # type: ignore
2631 if len(node.children) > 1:
2632 maybe_make_parens_invisible_in_atom(node.children[1])
2638 def is_empty_tuple(node: LN) -> bool:
2639 """Return True if `node` holds an empty tuple."""
2641 node.type == syms.atom
2642 and len(node.children) == 2
2643 and node.children[0].type == token.LPAR
2644 and node.children[1].type == token.RPAR
2648 def is_one_tuple(node: LN) -> bool:
2649 """Return True if `node` holds a tuple with one element, with or without parens."""
2650 if node.type == syms.atom:
2651 if len(node.children) != 3:
2654 lpar, gexp, rpar = node.children
2656 lpar.type == token.LPAR
2657 and gexp.type == syms.testlist_gexp
2658 and rpar.type == token.RPAR
2662 return len(gexp.children) == 2 and gexp.children[1].type == token.COMMA
2665 node.type in IMPLICIT_TUPLE
2666 and len(node.children) == 2
2667 and node.children[1].type == token.COMMA
2671 def is_yield(node: LN) -> bool:
2672 """Return True if `node` holds a `yield` or `yield from` expression."""
2673 if node.type == syms.yield_expr:
2676 if node.type == token.NAME and node.value == "yield": # type: ignore
2679 if node.type != syms.atom:
2682 if len(node.children) != 3:
2685 lpar, expr, rpar = node.children
2686 if lpar.type == token.LPAR and rpar.type == token.RPAR:
2687 return is_yield(expr)
2692 def is_vararg(leaf: Leaf, within: Set[NodeType]) -> bool:
2693 """Return True if `leaf` is a star or double star in a vararg or kwarg.
2695 If `within` includes VARARGS_PARENTS, this applies to function signatures.
2696 If `within` includes UNPACKING_PARENTS, it applies to right hand-side
2697 extended iterable unpacking (PEP 3132) and additional unpacking
2698 generalizations (PEP 448).
2700 if leaf.type not in STARS or not leaf.parent:
2704 if p.type == syms.star_expr:
2705 # Star expressions are also used as assignment targets in extended
2706 # iterable unpacking (PEP 3132). See what its parent is instead.
2712 return p.type in within
2715 def is_multiline_string(leaf: Leaf) -> bool:
2716 """Return True if `leaf` is a multiline string that actually spans many lines."""
2717 value = leaf.value.lstrip("furbFURB")
2718 return value[:3] in {'"""', "'''"} and "\n" in value
2721 def is_stub_suite(node: Node) -> bool:
2722 """Return True if `node` is a suite with a stub body."""
2724 len(node.children) != 4
2725 or node.children[0].type != token.NEWLINE
2726 or node.children[1].type != token.INDENT
2727 or node.children[3].type != token.DEDENT
2731 return is_stub_body(node.children[2])
2734 def is_stub_body(node: LN) -> bool:
2735 """Return True if `node` is a simple statement containing an ellipsis."""
2736 if not isinstance(node, Node) or node.type != syms.simple_stmt:
2739 if len(node.children) != 2:
2742 child = node.children[0]
2744 child.type == syms.atom
2745 and len(child.children) == 3
2746 and all(leaf == Leaf(token.DOT, ".") for leaf in child.children)
2750 def max_delimiter_priority_in_atom(node: LN) -> int:
2751 """Return maximum delimiter priority inside `node`.
2753 This is specific to atoms with contents contained in a pair of parentheses.
2754 If `node` isn't an atom or there are no enclosing parentheses, returns 0.
2756 if node.type != syms.atom:
2759 first = node.children[0]
2760 last = node.children[-1]
2761 if not (first.type == token.LPAR and last.type == token.RPAR):
2764 bt = BracketTracker()
2765 for c in node.children[1:-1]:
2766 if isinstance(c, Leaf):
2769 for leaf in c.leaves():
2772 return bt.max_delimiter_priority()
2778 def ensure_visible(leaf: Leaf) -> None:
2779 """Make sure parentheses are visible.
2781 They could be invisible as part of some statements (see
2782 :func:`normalize_invible_parens` and :func:`visit_import_from`).
2784 if leaf.type == token.LPAR:
2786 elif leaf.type == token.RPAR:
2790 def should_explode(line: Line, opening_bracket: Leaf) -> bool:
2791 """Should `line` immediately be split with `delimiter_split()` after RHS?"""
2793 opening_bracket.parent
2794 and opening_bracket.parent.type in {syms.atom, syms.import_from}
2795 and opening_bracket.value in "[{("
2800 last_leaf = line.leaves[-1]
2801 exclude = {id(last_leaf)} if last_leaf.type == token.COMMA else set()
2802 max_priority = line.bracket_tracker.max_delimiter_priority(exclude=exclude)
2803 except (IndexError, ValueError):
2806 return max_priority == COMMA_PRIORITY
2809 def is_python36(node: Node) -> bool:
2810 """Return True if the current file is using Python 3.6+ features.
2812 Currently looking for:
2814 - trailing commas after * or ** in function signatures and calls.
2816 for n in node.pre_order():
2817 if n.type == token.STRING:
2818 value_head = n.value[:2] # type: ignore
2819 if value_head in {'f"', 'F"', "f'", "F'", "rf", "fr", "RF", "FR"}:
2823 n.type in {syms.typedargslist, syms.arglist}
2825 and n.children[-1].type == token.COMMA
2827 for ch in n.children:
2828 if ch.type in STARS:
2831 if ch.type == syms.argument:
2832 for argch in ch.children:
2833 if argch.type in STARS:
2839 def generate_trailers_to_omit(line: Line, line_length: int) -> Iterator[Set[LeafID]]:
2840 """Generate sets of closing bracket IDs that should be omitted in a RHS.
2842 Brackets can be omitted if the entire trailer up to and including
2843 a preceding closing bracket fits in one line.
2845 Yielded sets are cumulative (contain results of previous yields, too). First
2849 omit: Set[LeafID] = set()
2852 length = 4 * line.depth
2853 opening_bracket = None
2854 closing_bracket = None
2855 optional_brackets: Set[LeafID] = set()
2856 inner_brackets: Set[LeafID] = set()
2857 for index, leaf, leaf_length in enumerate_with_length(line, reversed=True):
2858 length += leaf_length
2859 if length > line_length:
2862 has_inline_comment = leaf_length > len(leaf.value) + len(leaf.prefix)
2863 if leaf.type == STANDALONE_COMMENT or has_inline_comment:
2866 optional_brackets.discard(id(leaf))
2868 if leaf is opening_bracket:
2869 opening_bracket = None
2870 elif leaf.type in CLOSING_BRACKETS:
2871 inner_brackets.add(id(leaf))
2872 elif leaf.type in CLOSING_BRACKETS:
2874 optional_brackets.add(id(opening_bracket))
2877 if index > 0 and line.leaves[index - 1].type in OPENING_BRACKETS:
2878 # Empty brackets would fail a split so treat them as "inner"
2879 # brackets (e.g. only add them to the `omit` set if another
2880 # pair of brackets was good enough.
2881 inner_brackets.add(id(leaf))
2884 opening_bracket = leaf.opening_bracket
2886 omit.add(id(closing_bracket))
2887 omit.update(inner_brackets)
2888 inner_brackets.clear()
2890 closing_bracket = leaf
2893 def get_future_imports(node: Node) -> Set[str]:
2894 """Return a set of __future__ imports in the file."""
2896 for child in node.children:
2897 if child.type != syms.simple_stmt:
2899 first_child = child.children[0]
2900 if isinstance(first_child, Leaf):
2901 # Continue looking if we see a docstring; otherwise stop.
2903 len(child.children) == 2
2904 and first_child.type == token.STRING
2905 and child.children[1].type == token.NEWLINE
2910 elif first_child.type == syms.import_from:
2911 module_name = first_child.children[1]
2912 if not isinstance(module_name, Leaf) or module_name.value != "__future__":
2914 for import_from_child in first_child.children[3:]:
2915 if isinstance(import_from_child, Leaf):
2916 if import_from_child.type == token.NAME:
2917 imports.add(import_from_child.value)
2919 assert import_from_child.type == syms.import_as_names
2920 for leaf in import_from_child.children:
2921 if isinstance(leaf, Leaf) and leaf.type == token.NAME:
2922 imports.add(leaf.value)
2928 def gen_python_files_in_dir(
2931 include: Pattern[str],
2932 exclude: Pattern[str],
2934 ) -> Iterator[Path]:
2935 """Generate all files under `path` whose paths are not excluded by the
2936 `exclude` regex, but are included by the `include` regex.
2938 `report` is where output about exclusions goes.
2940 assert root.is_absolute(), f"INTERNAL ERROR: `root` must be absolute but is {root}"
2941 for child in path.iterdir():
2942 normalized_path = "/" + child.resolve().relative_to(root).as_posix()
2944 normalized_path += "/"
2945 exclude_match = exclude.search(normalized_path)
2946 if exclude_match and exclude_match.group(0):
2947 report.path_ignored(child, f"matches the --exclude regular expression")
2951 yield from gen_python_files_in_dir(child, root, include, exclude, report)
2953 elif child.is_file():
2954 include_match = include.search(normalized_path)
2960 def find_project_root(srcs: Iterable[str]) -> Path:
2961 """Return a directory containing .git, .hg, or pyproject.toml.
2963 That directory can be one of the directories passed in `srcs` or their
2966 If no directory in the tree contains a marker that would specify it's the
2967 project root, the root of the file system is returned.
2970 return Path("/").resolve()
2972 common_base = min(Path(src).resolve() for src in srcs)
2973 if common_base.is_dir():
2974 # Append a fake file so `parents` below returns `common_base_dir`, too.
2975 common_base /= "fake-file"
2976 for directory in common_base.parents:
2977 if (directory / ".git").is_dir():
2980 if (directory / ".hg").is_dir():
2983 if (directory / "pyproject.toml").is_file():
2991 """Provides a reformatting counter. Can be rendered with `str(report)`."""
2995 verbose: bool = False
2996 change_count: int = 0
2998 failure_count: int = 0
3000 def done(self, src: Path, changed: Changed) -> None:
3001 """Increment the counter for successful reformatting. Write out a message."""
3002 if changed is Changed.YES:
3003 reformatted = "would reformat" if self.check else "reformatted"
3004 if self.verbose or not self.quiet:
3005 out(f"{reformatted} {src}")
3006 self.change_count += 1
3009 if changed is Changed.NO:
3010 msg = f"{src} already well formatted, good job."
3012 msg = f"{src} wasn't modified on disk since last run."
3013 out(msg, bold=False)
3014 self.same_count += 1
3016 def failed(self, src: Path, message: str) -> None:
3017 """Increment the counter for failed reformatting. Write out a message."""
3018 err(f"error: cannot format {src}: {message}")
3019 self.failure_count += 1
3021 def path_ignored(self, path: Path, message: str) -> None:
3023 out(f"{path} ignored: {message}", bold=False)
3026 def return_code(self) -> int:
3027 """Return the exit code that the app should use.
3029 This considers the current state of changed files and failures:
3030 - if there were any failures, return 123;
3031 - if any files were changed and --check is being used, return 1;
3032 - otherwise return 0.
3034 # According to http://tldp.org/LDP/abs/html/exitcodes.html starting with
3035 # 126 we have special returncodes reserved by the shell.
3036 if self.failure_count:
3039 elif self.change_count and self.check:
3044 def __str__(self) -> str:
3045 """Render a color report of the current state.
3047 Use `click.unstyle` to remove colors.
3050 reformatted = "would be reformatted"
3051 unchanged = "would be left unchanged"
3052 failed = "would fail to reformat"
3054 reformatted = "reformatted"
3055 unchanged = "left unchanged"
3056 failed = "failed to reformat"
3058 if self.change_count:
3059 s = "s" if self.change_count > 1 else ""
3061 click.style(f"{self.change_count} file{s} {reformatted}", bold=True)
3064 s = "s" if self.same_count > 1 else ""
3065 report.append(f"{self.same_count} file{s} {unchanged}")
3066 if self.failure_count:
3067 s = "s" if self.failure_count > 1 else ""
3069 click.style(f"{self.failure_count} file{s} {failed}", fg="red")
3071 return ", ".join(report) + "."
3074 def assert_equivalent(src: str, dst: str) -> None:
3075 """Raise AssertionError if `src` and `dst` aren't equivalent."""
3080 def _v(node: ast.AST, depth: int = 0) -> Iterator[str]:
3081 """Simple visitor generating strings to compare ASTs by content."""
3082 yield f"{' ' * depth}{node.__class__.__name__}("
3084 for field in sorted(node._fields):
3086 value = getattr(node, field)
3087 except AttributeError:
3090 yield f"{' ' * (depth+1)}{field}="
3092 if isinstance(value, list):
3094 if isinstance(item, ast.AST):
3095 yield from _v(item, depth + 2)
3097 elif isinstance(value, ast.AST):
3098 yield from _v(value, depth + 2)
3101 yield f"{' ' * (depth+2)}{value!r}, # {value.__class__.__name__}"
3103 yield f"{' ' * depth}) # /{node.__class__.__name__}"
3106 src_ast = ast.parse(src)
3107 except Exception as exc:
3108 major, minor = sys.version_info[:2]
3109 raise AssertionError(
3110 f"cannot use --safe with this file; failed to parse source file "
3111 f"with Python {major}.{minor}'s builtin AST. Re-run with --fast "
3112 f"or stop using deprecated Python 2 syntax. AST error message: {exc}"
3116 dst_ast = ast.parse(dst)
3117 except Exception as exc:
3118 log = dump_to_file("".join(traceback.format_tb(exc.__traceback__)), dst)
3119 raise AssertionError(
3120 f"INTERNAL ERROR: Black produced invalid code: {exc}. "
3121 f"Please report a bug on https://github.com/ambv/black/issues. "
3122 f"This invalid output might be helpful: {log}"
3125 src_ast_str = "\n".join(_v(src_ast))
3126 dst_ast_str = "\n".join(_v(dst_ast))
3127 if src_ast_str != dst_ast_str:
3128 log = dump_to_file(diff(src_ast_str, dst_ast_str, "src", "dst"))
3129 raise AssertionError(
3130 f"INTERNAL ERROR: Black produced code that is not equivalent to "
3132 f"Please report a bug on https://github.com/ambv/black/issues. "
3133 f"This diff might be helpful: {log}"
3138 src: str, dst: str, line_length: int, mode: FileMode = FileMode.AUTO_DETECT
3140 """Raise AssertionError if `dst` reformats differently the second time."""
3141 newdst = format_str(dst, line_length=line_length, mode=mode)
3144 diff(src, dst, "source", "first pass"),
3145 diff(dst, newdst, "first pass", "second pass"),
3147 raise AssertionError(
3148 f"INTERNAL ERROR: Black produced different code on the second pass "
3149 f"of the formatter. "
3150 f"Please report a bug on https://github.com/ambv/black/issues. "
3151 f"This diff might be helpful: {log}"
3155 def dump_to_file(*output: str) -> str:
3156 """Dump `output` to a temporary file. Return path to the file."""
3159 with tempfile.NamedTemporaryFile(
3160 mode="w", prefix="blk_", suffix=".log", delete=False, encoding="utf8"
3162 for lines in output:
3164 if lines and lines[-1] != "\n":
3169 def diff(a: str, b: str, a_name: str, b_name: str) -> str:
3170 """Return a unified diff string between strings `a` and `b`."""
3173 a_lines = [line + "\n" for line in a.split("\n")]
3174 b_lines = [line + "\n" for line in b.split("\n")]
3176 difflib.unified_diff(a_lines, b_lines, fromfile=a_name, tofile=b_name, n=5)
3180 def cancel(tasks: Iterable[asyncio.Task]) -> None:
3181 """asyncio signal handler that cancels all `tasks` and reports to stderr."""
3187 def shutdown(loop: BaseEventLoop) -> None:
3188 """Cancel all pending tasks on `loop`, wait for them, and close the loop."""
3190 # This part is borrowed from asyncio/runners.py in Python 3.7b2.
3191 to_cancel = [task for task in asyncio.Task.all_tasks(loop) if not task.done()]
3195 for task in to_cancel:
3197 loop.run_until_complete(
3198 asyncio.gather(*to_cancel, loop=loop, return_exceptions=True)
3201 # `concurrent.futures.Future` objects cannot be cancelled once they
3202 # are already running. There might be some when the `shutdown()` happened.
3203 # Silence their logger's spew about the event loop being closed.
3204 cf_logger = logging.getLogger("concurrent.futures")
3205 cf_logger.setLevel(logging.CRITICAL)
3209 def sub_twice(regex: Pattern[str], replacement: str, original: str) -> str:
3210 """Replace `regex` with `replacement` twice on `original`.
3212 This is used by string normalization to perform replaces on
3213 overlapping matches.
3215 return regex.sub(replacement, regex.sub(replacement, original))
3218 def re_compile_maybe_verbose(regex: str) -> Pattern[str]:
3219 """Compile a regular expression string in `regex`.
3221 If it contains newlines, use verbose mode.
3224 regex = "(?x)" + regex
3225 return re.compile(regex)
3228 def enumerate_reversed(sequence: Sequence[T]) -> Iterator[Tuple[Index, T]]:
3229 """Like `reversed(enumerate(sequence))` if that were possible."""
3230 index = len(sequence) - 1
3231 for element in reversed(sequence):
3232 yield (index, element)
3236 def enumerate_with_length(
3237 line: Line, reversed: bool = False
3238 ) -> Iterator[Tuple[Index, Leaf, int]]:
3239 """Return an enumeration of leaves with their length.
3241 Stops prematurely on multiline strings and standalone comments.
3244 Callable[[Sequence[Leaf]], Iterator[Tuple[Index, Leaf]]],
3245 enumerate_reversed if reversed else enumerate,
3247 for index, leaf in op(line.leaves):
3248 length = len(leaf.prefix) + len(leaf.value)
3249 if "\n" in leaf.value:
3250 return # Multiline strings, we can't continue.
3252 comment: Optional[Leaf]
3253 for comment in line.comments_after(leaf, index):
3254 length += len(comment.value)
3256 yield index, leaf, length
3259 def is_line_short_enough(line: Line, *, line_length: int, line_str: str = "") -> bool:
3260 """Return True if `line` is no longer than `line_length`.
3262 Uses the provided `line_str` rendering, if any, otherwise computes a new one.
3265 line_str = str(line).strip("\n")
3267 len(line_str) <= line_length
3268 and "\n" not in line_str # multiline strings
3269 and not line.contains_standalone_comments()
3273 def can_be_split(line: Line) -> bool:
3274 """Return False if the line cannot be split *for sure*.
3276 This is not an exhaustive search but a cheap heuristic that we can use to
3277 avoid some unfortunate formattings (mostly around wrapping unsplittable code
3278 in unnecessary parentheses).
3280 leaves = line.leaves
3284 if leaves[0].type == token.STRING and leaves[1].type == token.DOT:
3288 for leaf in leaves[-2::-1]:
3289 if leaf.type in OPENING_BRACKETS:
3290 if next.type not in CLOSING_BRACKETS:
3294 elif leaf.type == token.DOT:
3296 elif leaf.type == token.NAME:
3297 if not (next.type == token.DOT or next.type in OPENING_BRACKETS):
3300 elif leaf.type not in CLOSING_BRACKETS:
3303 if dot_count > 1 and call_count > 1:
3309 def can_omit_invisible_parens(line: Line, line_length: int) -> bool:
3310 """Does `line` have a shape safe to reformat without optional parens around it?
3312 Returns True for only a subset of potentially nice looking formattings but
3313 the point is to not return false positives that end up producing lines that
3316 bt = line.bracket_tracker
3317 if not bt.delimiters:
3318 # Without delimiters the optional parentheses are useless.
3321 max_priority = bt.max_delimiter_priority()
3322 if bt.delimiter_count_with_priority(max_priority) > 1:
3323 # With more than one delimiter of a kind the optional parentheses read better.
3326 if max_priority == DOT_PRIORITY:
3327 # A single stranded method call doesn't require optional parentheses.
3330 assert len(line.leaves) >= 2, "Stranded delimiter"
3332 first = line.leaves[0]
3333 second = line.leaves[1]
3334 penultimate = line.leaves[-2]
3335 last = line.leaves[-1]
3337 # With a single delimiter, omit if the expression starts or ends with
3339 if first.type in OPENING_BRACKETS and second.type not in CLOSING_BRACKETS:
3341 length = 4 * line.depth
3342 for _index, leaf, leaf_length in enumerate_with_length(line):
3343 if leaf.type in CLOSING_BRACKETS and leaf.opening_bracket is first:
3346 length += leaf_length
3347 if length > line_length:
3350 if leaf.type in OPENING_BRACKETS:
3351 # There are brackets we can further split on.
3355 # checked the entire string and line length wasn't exceeded
3356 if len(line.leaves) == _index + 1:
3359 # Note: we are not returning False here because a line might have *both*
3360 # a leading opening bracket and a trailing closing bracket. If the
3361 # opening bracket doesn't match our rule, maybe the closing will.
3364 last.type == token.RPAR
3365 or last.type == token.RBRACE
3367 # don't use indexing for omitting optional parentheses;
3369 last.type == token.RSQB
3371 and last.parent.type != syms.trailer
3374 if penultimate.type in OPENING_BRACKETS:
3375 # Empty brackets don't help.
3378 if is_multiline_string(first):
3379 # Additional wrapping of a multiline string in this situation is
3383 length = 4 * line.depth
3384 seen_other_brackets = False
3385 for _index, leaf, leaf_length in enumerate_with_length(line):
3386 length += leaf_length
3387 if leaf is last.opening_bracket:
3388 if seen_other_brackets or length <= line_length:
3391 elif leaf.type in OPENING_BRACKETS:
3392 # There are brackets we can further split on.
3393 seen_other_brackets = True
3398 def get_cache_file(line_length: int, mode: FileMode) -> Path:
3399 return CACHE_DIR / f"cache.{line_length}.{mode.value}.pickle"
3402 def read_cache(line_length: int, mode: FileMode) -> Cache:
3403 """Read the cache if it exists and is well formed.
3405 If it is not well formed, the call to write_cache later should resolve the issue.
3407 cache_file = get_cache_file(line_length, mode)
3408 if not cache_file.exists():
3411 with cache_file.open("rb") as fobj:
3413 cache: Cache = pickle.load(fobj)
3414 except pickle.UnpicklingError:
3420 def get_cache_info(path: Path) -> CacheInfo:
3421 """Return the information used to check if a file is already formatted or not."""
3423 return stat.st_mtime, stat.st_size
3426 def filter_cached(cache: Cache, sources: Iterable[Path]) -> Tuple[Set[Path], Set[Path]]:
3427 """Split an iterable of paths in `sources` into two sets.
3429 The first contains paths of files that modified on disk or are not in the
3430 cache. The other contains paths to non-modified files.
3432 todo, done = set(), set()
3435 if cache.get(src) != get_cache_info(src):
3443 cache: Cache, sources: Iterable[Path], line_length: int, mode: FileMode
3445 """Update the cache file."""
3446 cache_file = get_cache_file(line_length, mode)
3448 if not CACHE_DIR.exists():
3449 CACHE_DIR.mkdir(parents=True)
3450 new_cache = {**cache, **{src.resolve(): get_cache_info(src) for src in sources}}
3451 with cache_file.open("wb") as fobj:
3452 pickle.dump(new_cache, fobj, protocol=pickle.HIGHEST_PROTOCOL)
3457 if __name__ == "__main__":