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.6b4"
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 WriteBack(Enum):
100 def from_configuration(cls, *, check: bool, diff: bool) -> "WriteBack":
101 if check and not diff:
104 return cls.DIFF if diff else cls.YES
113 class FileMode(Flag):
117 NO_STRING_NORMALIZATION = 4
120 def from_configuration(
121 cls, *, py36: bool, pyi: bool, skip_string_normalization: bool
123 mode = cls.AUTO_DETECT
128 if skip_string_normalization:
129 mode |= cls.NO_STRING_NORMALIZATION
133 def read_pyproject_toml(
134 ctx: click.Context, param: click.Parameter, value: Union[str, int, bool, None]
136 """Inject Black configuration from "pyproject.toml" into defaults in `ctx`.
138 Returns the path to a successfully found and read configuration file, None
141 assert not isinstance(value, (int, bool)), "Invalid parameter type passed"
143 root = find_project_root(ctx.params.get("src", ()))
144 path = root / "pyproject.toml"
151 pyproject_toml = toml.load(value)
152 config = pyproject_toml.get("tool", {}).get("black", {})
153 except (toml.TomlDecodeError, OSError) as e:
154 raise click.BadOptionUsage(f"Error reading configuration file: {e}", ctx)
159 if ctx.default_map is None:
161 ctx.default_map.update( # type: ignore # bad types in .pyi
162 {k.replace("--", "").replace("-", "_"): v for k, v in config.items()}
167 @click.command(context_settings=dict(help_option_names=["-h", "--help"]))
172 default=DEFAULT_LINE_LENGTH,
173 help="How many characters per line to allow.",
180 "Allow using Python 3.6-only syntax on all input files. This will put "
181 "trailing commas in function signatures and calls also after *args and "
182 "**kwargs. [default: per-file auto-detection]"
189 "Format all input files like typing stubs regardless of file extension "
190 "(useful when piping source on standard input)."
195 "--skip-string-normalization",
197 help="Don't normalize string quotes or prefixes.",
203 "Don't write the files back, just return the status. Return code 0 "
204 "means nothing would change. Return code 1 means some files would be "
205 "reformatted. Return code 123 means there was an internal error."
211 help="Don't write the files back, just output a diff for each file on stdout.",
216 help="If --fast given, skip temporary sanity checks. [default: --safe]",
221 default=DEFAULT_INCLUDES,
223 "A regular expression that matches files and directories that should be "
224 "included on recursive searches. An empty value means all files are "
225 "included regardless of the name. Use forward slashes for directories on "
226 "all platforms (Windows, too). Exclusions are calculated first, inclusions "
234 default=DEFAULT_EXCLUDES,
236 "A regular expression that matches files and directories that should be "
237 "excluded on recursive searches. An empty value means no paths are excluded. "
238 "Use forward slashes for directories on all platforms (Windows, too). "
239 "Exclusions are calculated first, inclusions later."
248 "Don't emit non-error messages to stderr. Errors are still emitted, "
249 "silence those with 2>/dev/null."
257 "Also emit messages to stderr about files that were not changed or were "
258 "ignored due to --exclude=."
261 @click.version_option(version=__version__)
266 exists=True, file_okay=True, dir_okay=True, readable=True, allow_dash=True
273 exists=False, file_okay=True, dir_okay=False, readable=True, allow_dash=False
276 callback=read_pyproject_toml,
277 help="Read configuration from PATH.",
288 skip_string_normalization: bool,
294 config: Optional[str],
296 """The uncompromising code formatter."""
297 write_back = WriteBack.from_configuration(check=check, diff=diff)
298 mode = FileMode.from_configuration(
299 py36=py36, pyi=pyi, skip_string_normalization=skip_string_normalization
301 if config and verbose:
302 out(f"Using configuration from {config}.", bold=False, fg="blue")
304 include_regex = re_compile_maybe_verbose(include)
306 err(f"Invalid regular expression for include given: {include!r}")
309 exclude_regex = re_compile_maybe_verbose(exclude)
311 err(f"Invalid regular expression for exclude given: {exclude!r}")
313 report = Report(check=check, quiet=quiet, verbose=verbose)
314 root = find_project_root(src)
315 sources: Set[Path] = set()
320 gen_python_files_in_dir(p, root, include_regex, exclude_regex, report)
322 elif p.is_file() or s == "-":
323 # if a file was explicitly given, we don't care about its extension
326 err(f"invalid path: {s}")
327 if len(sources) == 0:
328 if verbose or not quiet:
329 out("No paths given. Nothing to do 😴")
332 if len(sources) == 1:
335 line_length=line_length,
337 write_back=write_back,
342 loop = asyncio.get_event_loop()
343 executor = ProcessPoolExecutor(max_workers=os.cpu_count())
345 loop.run_until_complete(
348 line_length=line_length,
350 write_back=write_back,
359 if verbose or not quiet:
360 bang = "💥 💔 💥" if report.return_code else "✨ 🍰 ✨"
361 out(f"All done! {bang}")
362 click.secho(str(report), err=True)
363 ctx.exit(report.return_code)
370 write_back: WriteBack,
374 """Reformat a single file under `src` without spawning child processes.
376 If `quiet` is True, non-error messages are not output. `line_length`,
377 `write_back`, `fast` and `pyi` options are passed to
378 :func:`format_file_in_place` or :func:`format_stdin_to_stdout`.
382 if not src.is_file() and str(src) == "-":
383 if format_stdin_to_stdout(
384 line_length=line_length, fast=fast, write_back=write_back, mode=mode
386 changed = Changed.YES
389 if write_back != WriteBack.DIFF:
390 cache = read_cache(line_length, mode)
391 res_src = src.resolve()
392 if res_src in cache and cache[res_src] == get_cache_info(res_src):
393 changed = Changed.CACHED
394 if changed is not Changed.CACHED and format_file_in_place(
396 line_length=line_length,
398 write_back=write_back,
401 changed = Changed.YES
402 if (write_back is WriteBack.YES and changed is not Changed.CACHED) or (
403 write_back is WriteBack.CHECK and changed is Changed.NO
405 write_cache(cache, [src], line_length, mode)
406 report.done(src, changed)
407 except Exception as exc:
408 report.failed(src, str(exc))
411 async def schedule_formatting(
415 write_back: WriteBack,
421 """Run formatting of `sources` in parallel using the provided `executor`.
423 (Use ProcessPoolExecutors for actual parallelism.)
425 `line_length`, `write_back`, `fast`, and `pyi` options are passed to
426 :func:`format_file_in_place`.
429 if write_back != WriteBack.DIFF:
430 cache = read_cache(line_length, mode)
431 sources, cached = filter_cached(cache, sources)
432 for src in sorted(cached):
433 report.done(src, Changed.CACHED)
438 sources_to_cache = []
440 if write_back == WriteBack.DIFF:
441 # For diff output, we need locks to ensure we don't interleave output
442 # from different processes.
444 lock = manager.Lock()
446 loop.run_in_executor(
448 format_file_in_place,
456 for src in sorted(sources)
458 pending: Iterable[asyncio.Task] = tasks.keys()
460 loop.add_signal_handler(signal.SIGINT, cancel, pending)
461 loop.add_signal_handler(signal.SIGTERM, cancel, pending)
462 except NotImplementedError:
463 # There are no good alternatives for these on Windows.
466 done, _ = await asyncio.wait(pending, return_when=asyncio.FIRST_COMPLETED)
468 src = tasks.pop(task)
470 cancelled.append(task)
471 elif task.exception():
472 report.failed(src, str(task.exception()))
474 changed = Changed.YES if task.result() else Changed.NO
475 # If the file was written back or was successfully checked as
476 # well-formatted, store this information in the cache.
477 if write_back is WriteBack.YES or (
478 write_back is WriteBack.CHECK and changed is Changed.NO
480 sources_to_cache.append(src)
481 report.done(src, changed)
483 await asyncio.gather(*cancelled, loop=loop, return_exceptions=True)
485 write_cache(cache, sources_to_cache, line_length, mode)
488 def format_file_in_place(
492 write_back: WriteBack = WriteBack.NO,
493 mode: FileMode = FileMode.AUTO_DETECT,
494 lock: Any = None, # multiprocessing.Manager().Lock() is some crazy proxy
496 """Format file under `src` path. Return True if changed.
498 If `write_back` is DIFF, write a diff to stdout. If it is YES, write reformatted
500 `line_length` and `fast` options are passed to :func:`format_file_contents`.
502 if src.suffix == ".pyi":
505 then = datetime.utcfromtimestamp(src.stat().st_mtime)
506 with open(src, "rb") as buf:
507 src_contents, encoding, newline = decode_bytes(buf.read())
509 dst_contents = format_file_contents(
510 src_contents, line_length=line_length, fast=fast, mode=mode
512 except NothingChanged:
515 if write_back == write_back.YES:
516 with open(src, "w", encoding=encoding, newline=newline) as f:
517 f.write(dst_contents)
518 elif write_back == write_back.DIFF:
519 now = datetime.utcnow()
520 src_name = f"{src}\t{then} +0000"
521 dst_name = f"{src}\t{now} +0000"
522 diff_contents = diff(src_contents, dst_contents, src_name, dst_name)
526 f = io.TextIOWrapper(
532 f.write(diff_contents)
540 def format_stdin_to_stdout(
543 write_back: WriteBack = WriteBack.NO,
544 mode: FileMode = FileMode.AUTO_DETECT,
546 """Format file on stdin. Return True if changed.
548 If `write_back` is YES, write reformatted code back to stdout. If it is DIFF,
549 write a diff to stdout.
550 `line_length`, `fast`, `is_pyi`, and `force_py36` arguments are passed to
551 :func:`format_file_contents`.
553 then = datetime.utcnow()
554 src, encoding, newline = decode_bytes(sys.stdin.buffer.read())
557 dst = format_file_contents(src, line_length=line_length, fast=fast, mode=mode)
560 except NothingChanged:
564 f = io.TextIOWrapper(
565 sys.stdout.buffer, encoding=encoding, newline=newline, write_through=True
567 if write_back == WriteBack.YES:
569 elif write_back == WriteBack.DIFF:
570 now = datetime.utcnow()
571 src_name = f"STDIN\t{then} +0000"
572 dst_name = f"STDOUT\t{now} +0000"
573 f.write(diff(src, dst, src_name, dst_name))
577 def format_file_contents(
582 mode: FileMode = FileMode.AUTO_DETECT,
584 """Reformat contents a file and return new contents.
586 If `fast` is False, additionally confirm that the reformatted code is
587 valid by calling :func:`assert_equivalent` and :func:`assert_stable` on it.
588 `line_length` is passed to :func:`format_str`.
590 if src_contents.strip() == "":
593 dst_contents = format_str(src_contents, line_length=line_length, mode=mode)
594 if src_contents == dst_contents:
598 assert_equivalent(src_contents, dst_contents)
599 assert_stable(src_contents, dst_contents, line_length=line_length, mode=mode)
604 src_contents: str, line_length: int, *, mode: FileMode = FileMode.AUTO_DETECT
606 """Reformat a string and return new contents.
608 `line_length` determines how many characters per line are allowed.
610 src_node = lib2to3_parse(src_contents)
612 future_imports = get_future_imports(src_node)
613 is_pyi = bool(mode & FileMode.PYI)
614 py36 = bool(mode & FileMode.PYTHON36) or is_python36(src_node)
615 normalize_strings = not bool(mode & FileMode.NO_STRING_NORMALIZATION)
616 normalize_fmt_off(src_node)
617 lines = LineGenerator(
618 remove_u_prefix=py36 or "unicode_literals" in future_imports,
620 normalize_strings=normalize_strings,
621 allow_underscores=py36,
623 elt = EmptyLineTracker(is_pyi=is_pyi)
626 for current_line in lines.visit(src_node):
627 for _ in range(after):
628 dst_contents += str(empty_line)
629 before, after = elt.maybe_empty_lines(current_line)
630 for _ in range(before):
631 dst_contents += str(empty_line)
632 for line in split_line(current_line, line_length=line_length, py36=py36):
633 dst_contents += str(line)
637 def decode_bytes(src: bytes) -> Tuple[FileContent, Encoding, NewLine]:
638 """Return a tuple of (decoded_contents, encoding, newline).
640 `newline` is either CRLF or LF but `decoded_contents` is decoded with
641 universal newlines (i.e. only contains LF).
643 srcbuf = io.BytesIO(src)
644 encoding, lines = tokenize.detect_encoding(srcbuf.readline)
646 return "", encoding, "\n"
648 newline = "\r\n" if b"\r\n" == lines[0][-2:] else "\n"
650 with io.TextIOWrapper(srcbuf, encoding) as tiow:
651 return tiow.read(), encoding, newline
655 pygram.python_grammar_no_print_statement_no_exec_statement,
656 pygram.python_grammar_no_print_statement,
657 pygram.python_grammar,
661 def lib2to3_parse(src_txt: str) -> Node:
662 """Given a string with source, return the lib2to3 Node."""
663 grammar = pygram.python_grammar_no_print_statement
664 if src_txt[-1:] != "\n":
666 for grammar in GRAMMARS:
667 drv = driver.Driver(grammar, pytree.convert)
669 result = drv.parse_string(src_txt, True)
672 except ParseError as pe:
673 lineno, column = pe.context[1]
674 lines = src_txt.splitlines()
676 faulty_line = lines[lineno - 1]
678 faulty_line = "<line number missing in source>"
679 exc = ValueError(f"Cannot parse: {lineno}:{column}: {faulty_line}")
683 if isinstance(result, Leaf):
684 result = Node(syms.file_input, [result])
688 def lib2to3_unparse(node: Node) -> str:
689 """Given a lib2to3 node, return its string representation."""
697 class Visitor(Generic[T]):
698 """Basic lib2to3 visitor that yields things of type `T` on `visit()`."""
700 def visit(self, node: LN) -> Iterator[T]:
701 """Main method to visit `node` and its children.
703 It tries to find a `visit_*()` method for the given `node.type`, like
704 `visit_simple_stmt` for Node objects or `visit_INDENT` for Leaf objects.
705 If no dedicated `visit_*()` method is found, chooses `visit_default()`
708 Then yields objects of type `T` from the selected visitor.
711 name = token.tok_name[node.type]
713 name = type_repr(node.type)
714 yield from getattr(self, f"visit_{name}", self.visit_default)(node)
716 def visit_default(self, node: LN) -> Iterator[T]:
717 """Default `visit_*()` implementation. Recurses to children of `node`."""
718 if isinstance(node, Node):
719 for child in node.children:
720 yield from self.visit(child)
724 class DebugVisitor(Visitor[T]):
727 def visit_default(self, node: LN) -> Iterator[T]:
728 indent = " " * (2 * self.tree_depth)
729 if isinstance(node, Node):
730 _type = type_repr(node.type)
731 out(f"{indent}{_type}", fg="yellow")
733 for child in node.children:
734 yield from self.visit(child)
737 out(f"{indent}/{_type}", fg="yellow", bold=False)
739 _type = token.tok_name.get(node.type, str(node.type))
740 out(f"{indent}{_type}", fg="blue", nl=False)
742 # We don't have to handle prefixes for `Node` objects since
743 # that delegates to the first child anyway.
744 out(f" {node.prefix!r}", fg="green", bold=False, nl=False)
745 out(f" {node.value!r}", fg="blue", bold=False)
748 def show(cls, code: Union[str, Leaf, Node]) -> None:
749 """Pretty-print the lib2to3 AST of a given string of `code`.
751 Convenience method for debugging.
753 v: DebugVisitor[None] = DebugVisitor()
754 if isinstance(code, str):
755 code = lib2to3_parse(code)
759 KEYWORDS = set(keyword.kwlist)
760 WHITESPACE = {token.DEDENT, token.INDENT, token.NEWLINE}
761 FLOW_CONTROL = {"return", "raise", "break", "continue"}
772 STANDALONE_COMMENT = 153
773 token.tok_name[STANDALONE_COMMENT] = "STANDALONE_COMMENT"
774 LOGIC_OPERATORS = {"and", "or"}
799 STARS = {token.STAR, token.DOUBLESTAR}
802 syms.argument, # double star in arglist
803 syms.trailer, # single argument to call
805 syms.varargslist, # lambdas
807 UNPACKING_PARENTS = {
808 syms.atom, # single element of a list or set literal
812 syms.testlist_star_expr,
847 COMPREHENSION_PRIORITY = 20
849 TERNARY_PRIORITY = 16
852 COMPARATOR_PRIORITY = 10
863 token.DOUBLESLASH: 4,
873 class BracketTracker:
874 """Keeps track of brackets on a line."""
877 bracket_match: Dict[Tuple[Depth, NodeType], Leaf] = Factory(dict)
878 delimiters: Dict[LeafID, Priority] = Factory(dict)
879 previous: Optional[Leaf] = None
880 _for_loop_variable: int = 0
881 _lambda_arguments: int = 0
883 def mark(self, leaf: Leaf) -> None:
884 """Mark `leaf` with bracket-related metadata. Keep track of delimiters.
886 All leaves receive an int `bracket_depth` field that stores how deep
887 within brackets a given leaf is. 0 means there are no enclosing brackets
888 that started on this line.
890 If a leaf is itself a closing bracket, it receives an `opening_bracket`
891 field that it forms a pair with. This is a one-directional link to
892 avoid reference cycles.
894 If a leaf is a delimiter (a token on which Black can split the line if
895 needed) and it's on depth 0, its `id()` is stored in the tracker's
898 if leaf.type == token.COMMENT:
901 self.maybe_decrement_after_for_loop_variable(leaf)
902 self.maybe_decrement_after_lambda_arguments(leaf)
903 if leaf.type in CLOSING_BRACKETS:
905 opening_bracket = self.bracket_match.pop((self.depth, leaf.type))
906 leaf.opening_bracket = opening_bracket
907 leaf.bracket_depth = self.depth
909 delim = is_split_before_delimiter(leaf, self.previous)
910 if delim and self.previous is not None:
911 self.delimiters[id(self.previous)] = delim
913 delim = is_split_after_delimiter(leaf, self.previous)
915 self.delimiters[id(leaf)] = delim
916 if leaf.type in OPENING_BRACKETS:
917 self.bracket_match[self.depth, BRACKET[leaf.type]] = leaf
920 self.maybe_increment_lambda_arguments(leaf)
921 self.maybe_increment_for_loop_variable(leaf)
923 def any_open_brackets(self) -> bool:
924 """Return True if there is an yet unmatched open bracket on the line."""
925 return bool(self.bracket_match)
927 def max_delimiter_priority(self, exclude: Iterable[LeafID] = ()) -> int:
928 """Return the highest priority of a delimiter found on the line.
930 Values are consistent with what `is_split_*_delimiter()` return.
931 Raises ValueError on no delimiters.
933 return max(v for k, v in self.delimiters.items() if k not in exclude)
935 def delimiter_count_with_priority(self, priority: int = 0) -> int:
936 """Return the number of delimiters with the given `priority`.
938 If no `priority` is passed, defaults to max priority on the line.
940 if not self.delimiters:
943 priority = priority or self.max_delimiter_priority()
944 return sum(1 for p in self.delimiters.values() if p == priority)
946 def maybe_increment_for_loop_variable(self, leaf: Leaf) -> bool:
947 """In a for loop, or comprehension, the variables are often unpacks.
949 To avoid splitting on the comma in this situation, increase the depth of
950 tokens between `for` and `in`.
952 if leaf.type == token.NAME and leaf.value == "for":
954 self._for_loop_variable += 1
959 def maybe_decrement_after_for_loop_variable(self, leaf: Leaf) -> bool:
960 """See `maybe_increment_for_loop_variable` above for explanation."""
961 if self._for_loop_variable and leaf.type == token.NAME and leaf.value == "in":
963 self._for_loop_variable -= 1
968 def maybe_increment_lambda_arguments(self, leaf: Leaf) -> bool:
969 """In a lambda expression, there might be more than one argument.
971 To avoid splitting on the comma in this situation, increase the depth of
972 tokens between `lambda` and `:`.
974 if leaf.type == token.NAME and leaf.value == "lambda":
976 self._lambda_arguments += 1
981 def maybe_decrement_after_lambda_arguments(self, leaf: Leaf) -> bool:
982 """See `maybe_increment_lambda_arguments` above for explanation."""
983 if self._lambda_arguments and leaf.type == token.COLON:
985 self._lambda_arguments -= 1
990 def get_open_lsqb(self) -> Optional[Leaf]:
991 """Return the most recent opening square bracket (if any)."""
992 return self.bracket_match.get((self.depth - 1, token.RSQB))
997 """Holds leaves and comments. Can be printed with `str(line)`."""
1000 leaves: List[Leaf] = Factory(list)
1001 comments: List[Tuple[Index, Leaf]] = Factory(list)
1002 bracket_tracker: BracketTracker = Factory(BracketTracker)
1003 inside_brackets: bool = False
1004 should_explode: bool = False
1006 def append(self, leaf: Leaf, preformatted: bool = False) -> None:
1007 """Add a new `leaf` to the end of the line.
1009 Unless `preformatted` is True, the `leaf` will receive a new consistent
1010 whitespace prefix and metadata applied by :class:`BracketTracker`.
1011 Trailing commas are maybe removed, unpacked for loop variables are
1012 demoted from being delimiters.
1014 Inline comments are put aside.
1016 has_value = leaf.type in BRACKETS or bool(leaf.value.strip())
1020 if token.COLON == leaf.type and self.is_class_paren_empty:
1021 del self.leaves[-2:]
1022 if self.leaves and not preformatted:
1023 # Note: at this point leaf.prefix should be empty except for
1024 # imports, for which we only preserve newlines.
1025 leaf.prefix += whitespace(
1026 leaf, complex_subscript=self.is_complex_subscript(leaf)
1028 if self.inside_brackets or not preformatted:
1029 self.bracket_tracker.mark(leaf)
1030 self.maybe_remove_trailing_comma(leaf)
1031 if not self.append_comment(leaf):
1032 self.leaves.append(leaf)
1034 def append_safe(self, leaf: Leaf, preformatted: bool = False) -> None:
1035 """Like :func:`append()` but disallow invalid standalone comment structure.
1037 Raises ValueError when any `leaf` is appended after a standalone comment
1038 or when a standalone comment is not the first leaf on the line.
1040 if self.bracket_tracker.depth == 0:
1042 raise ValueError("cannot append to standalone comments")
1044 if self.leaves and leaf.type == STANDALONE_COMMENT:
1046 "cannot append standalone comments to a populated line"
1049 self.append(leaf, preformatted=preformatted)
1052 def is_comment(self) -> bool:
1053 """Is this line a standalone comment?"""
1054 return len(self.leaves) == 1 and self.leaves[0].type == STANDALONE_COMMENT
1057 def is_decorator(self) -> bool:
1058 """Is this line a decorator?"""
1059 return bool(self) and self.leaves[0].type == token.AT
1062 def is_import(self) -> bool:
1063 """Is this an import line?"""
1064 return bool(self) and is_import(self.leaves[0])
1067 def is_class(self) -> bool:
1068 """Is this line a class definition?"""
1071 and self.leaves[0].type == token.NAME
1072 and self.leaves[0].value == "class"
1076 def is_stub_class(self) -> bool:
1077 """Is this line a class definition with a body consisting only of "..."?"""
1078 return self.is_class and self.leaves[-3:] == [
1079 Leaf(token.DOT, ".") for _ in range(3)
1083 def is_def(self) -> bool:
1084 """Is this a function definition? (Also returns True for async defs.)"""
1086 first_leaf = self.leaves[0]
1091 second_leaf: Optional[Leaf] = self.leaves[1]
1094 return (first_leaf.type == token.NAME and first_leaf.value == "def") or (
1095 first_leaf.type == token.ASYNC
1096 and second_leaf is not None
1097 and second_leaf.type == token.NAME
1098 and second_leaf.value == "def"
1102 def is_class_paren_empty(self) -> bool:
1103 """Is this a class with no base classes but using parentheses?
1105 Those are unnecessary and should be removed.
1109 and len(self.leaves) == 4
1111 and self.leaves[2].type == token.LPAR
1112 and self.leaves[2].value == "("
1113 and self.leaves[3].type == token.RPAR
1114 and self.leaves[3].value == ")"
1118 def is_triple_quoted_string(self) -> bool:
1119 """Is the line a triple quoted string?"""
1122 and self.leaves[0].type == token.STRING
1123 and self.leaves[0].value.startswith(('"""', "'''"))
1126 def contains_standalone_comments(self, depth_limit: int = sys.maxsize) -> bool:
1127 """If so, needs to be split before emitting."""
1128 for leaf in self.leaves:
1129 if leaf.type == STANDALONE_COMMENT:
1130 if leaf.bracket_depth <= depth_limit:
1135 def contains_multiline_strings(self) -> bool:
1136 for leaf in self.leaves:
1137 if is_multiline_string(leaf):
1142 def maybe_remove_trailing_comma(self, closing: Leaf) -> bool:
1143 """Remove trailing comma if there is one and it's safe."""
1146 and self.leaves[-1].type == token.COMMA
1147 and closing.type in CLOSING_BRACKETS
1151 if closing.type == token.RBRACE:
1152 self.remove_trailing_comma()
1155 if closing.type == token.RSQB:
1156 comma = self.leaves[-1]
1157 if comma.parent and comma.parent.type == syms.listmaker:
1158 self.remove_trailing_comma()
1161 # For parens let's check if it's safe to remove the comma.
1162 # Imports are always safe.
1164 self.remove_trailing_comma()
1167 # Otherwise, if the trailing one is the only one, we might mistakenly
1168 # change a tuple into a different type by removing the comma.
1169 depth = closing.bracket_depth + 1
1171 opening = closing.opening_bracket
1172 for _opening_index, leaf in enumerate(self.leaves):
1179 for leaf in self.leaves[_opening_index + 1 :]:
1183 bracket_depth = leaf.bracket_depth
1184 if bracket_depth == depth and leaf.type == token.COMMA:
1186 if leaf.parent and leaf.parent.type == syms.arglist:
1191 self.remove_trailing_comma()
1196 def append_comment(self, comment: Leaf) -> bool:
1197 """Add an inline or standalone comment to the line."""
1199 comment.type == STANDALONE_COMMENT
1200 and self.bracket_tracker.any_open_brackets()
1205 if comment.type != token.COMMENT:
1208 after = len(self.leaves) - 1
1210 comment.type = STANDALONE_COMMENT
1215 self.comments.append((after, comment))
1218 def comments_after(self, leaf: Leaf, _index: int = -1) -> Iterator[Leaf]:
1219 """Generate comments that should appear directly after `leaf`.
1221 Provide a non-negative leaf `_index` to speed up the function.
1223 if not self.comments:
1227 for _index, _leaf in enumerate(self.leaves):
1234 for index, comment_after in self.comments:
1238 def remove_trailing_comma(self) -> None:
1239 """Remove the trailing comma and moves the comments attached to it."""
1240 comma_index = len(self.leaves) - 1
1241 for i in range(len(self.comments)):
1242 comment_index, comment = self.comments[i]
1243 if comment_index == comma_index:
1244 self.comments[i] = (comma_index - 1, comment)
1247 def is_complex_subscript(self, leaf: Leaf) -> bool:
1248 """Return True iff `leaf` is part of a slice with non-trivial exprs."""
1249 open_lsqb = self.bracket_tracker.get_open_lsqb()
1250 if open_lsqb is None:
1253 subscript_start = open_lsqb.next_sibling
1255 if isinstance(subscript_start, Node):
1256 if subscript_start.type == syms.listmaker:
1259 if subscript_start.type == syms.subscriptlist:
1260 subscript_start = child_towards(subscript_start, leaf)
1261 return subscript_start is not None and any(
1262 n.type in TEST_DESCENDANTS for n in subscript_start.pre_order()
1265 def __str__(self) -> str:
1266 """Render the line."""
1270 indent = " " * self.depth
1271 leaves = iter(self.leaves)
1272 first = next(leaves)
1273 res = f"{first.prefix}{indent}{first.value}"
1276 for _, comment in self.comments:
1280 def __bool__(self) -> bool:
1281 """Return True if the line has leaves or comments."""
1282 return bool(self.leaves or self.comments)
1286 class EmptyLineTracker:
1287 """Provides a stateful method that returns the number of potential extra
1288 empty lines needed before and after the currently processed line.
1290 Note: this tracker works on lines that haven't been split yet. It assumes
1291 the prefix of the first leaf consists of optional newlines. Those newlines
1292 are consumed by `maybe_empty_lines()` and included in the computation.
1295 is_pyi: bool = False
1296 previous_line: Optional[Line] = None
1297 previous_after: int = 0
1298 previous_defs: List[int] = Factory(list)
1300 def maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1301 """Return the number of extra empty lines before and after the `current_line`.
1303 This is for separating `def`, `async def` and `class` with extra empty
1304 lines (two on module-level).
1306 before, after = self._maybe_empty_lines(current_line)
1307 before -= self.previous_after
1308 self.previous_after = after
1309 self.previous_line = current_line
1310 return before, after
1312 def _maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1314 if current_line.depth == 0:
1315 max_allowed = 1 if self.is_pyi else 2
1316 if current_line.leaves:
1317 # Consume the first leaf's extra newlines.
1318 first_leaf = current_line.leaves[0]
1319 before = first_leaf.prefix.count("\n")
1320 before = min(before, max_allowed)
1321 first_leaf.prefix = ""
1324 depth = current_line.depth
1325 while self.previous_defs and self.previous_defs[-1] >= depth:
1326 self.previous_defs.pop()
1328 before = 0 if depth else 1
1330 before = 1 if depth else 2
1331 if current_line.is_decorator or current_line.is_def or current_line.is_class:
1332 return self._maybe_empty_lines_for_class_or_def(current_line, before)
1336 and self.previous_line.is_import
1337 and not current_line.is_import
1338 and depth == self.previous_line.depth
1340 return (before or 1), 0
1344 and self.previous_line.is_class
1345 and current_line.is_triple_quoted_string
1351 def _maybe_empty_lines_for_class_or_def(
1352 self, current_line: Line, before: int
1353 ) -> Tuple[int, int]:
1354 if not current_line.is_decorator:
1355 self.previous_defs.append(current_line.depth)
1356 if self.previous_line is None:
1357 # Don't insert empty lines before the first line in the file.
1360 if self.previous_line.is_decorator:
1363 if self.previous_line.depth < current_line.depth and (
1364 self.previous_line.is_class or self.previous_line.is_def
1369 self.previous_line.is_comment
1370 and self.previous_line.depth == current_line.depth
1376 if self.previous_line.depth > current_line.depth:
1378 elif current_line.is_class or self.previous_line.is_class:
1379 if current_line.is_stub_class and self.previous_line.is_stub_class:
1380 # No blank line between classes with an empty body
1384 elif current_line.is_def and not self.previous_line.is_def:
1385 # Blank line between a block of functions and a block of non-functions
1391 if current_line.depth and newlines:
1397 class LineGenerator(Visitor[Line]):
1398 """Generates reformatted Line objects. Empty lines are not emitted.
1400 Note: destroys the tree it's visiting by mutating prefixes of its leaves
1401 in ways that will no longer stringify to valid Python code on the tree.
1404 is_pyi: bool = False
1405 normalize_strings: bool = True
1406 current_line: Line = Factory(Line)
1407 remove_u_prefix: bool = False
1408 allow_underscores: bool = False
1410 def line(self, indent: int = 0) -> Iterator[Line]:
1413 If the line is empty, only emit if it makes sense.
1414 If the line is too long, split it first and then generate.
1416 If any lines were generated, set up a new current_line.
1418 if not self.current_line:
1419 self.current_line.depth += indent
1420 return # Line is empty, don't emit. Creating a new one unnecessary.
1422 complete_line = self.current_line
1423 self.current_line = Line(depth=complete_line.depth + indent)
1426 def visit_default(self, node: LN) -> Iterator[Line]:
1427 """Default `visit_*()` implementation. Recurses to children of `node`."""
1428 if isinstance(node, Leaf):
1429 any_open_brackets = self.current_line.bracket_tracker.any_open_brackets()
1430 for comment in generate_comments(node):
1431 if any_open_brackets:
1432 # any comment within brackets is subject to splitting
1433 self.current_line.append(comment)
1434 elif comment.type == token.COMMENT:
1435 # regular trailing comment
1436 self.current_line.append(comment)
1437 yield from self.line()
1440 # regular standalone comment
1441 yield from self.line()
1443 self.current_line.append(comment)
1444 yield from self.line()
1446 normalize_prefix(node, inside_brackets=any_open_brackets)
1447 if self.normalize_strings and node.type == token.STRING:
1448 normalize_string_prefix(node, remove_u_prefix=self.remove_u_prefix)
1449 normalize_string_quotes(node)
1450 if node.type == token.NUMBER:
1451 normalize_numeric_literal(node, self.allow_underscores)
1452 if node.type not in WHITESPACE:
1453 self.current_line.append(node)
1454 yield from super().visit_default(node)
1456 def visit_INDENT(self, node: Node) -> Iterator[Line]:
1457 """Increase indentation level, maybe yield a line."""
1458 # In blib2to3 INDENT never holds comments.
1459 yield from self.line(+1)
1460 yield from self.visit_default(node)
1462 def visit_DEDENT(self, node: Node) -> Iterator[Line]:
1463 """Decrease indentation level, maybe yield a line."""
1464 # The current line might still wait for trailing comments. At DEDENT time
1465 # there won't be any (they would be prefixes on the preceding NEWLINE).
1466 # Emit the line then.
1467 yield from self.line()
1469 # While DEDENT has no value, its prefix may contain standalone comments
1470 # that belong to the current indentation level. Get 'em.
1471 yield from self.visit_default(node)
1473 # Finally, emit the dedent.
1474 yield from self.line(-1)
1477 self, node: Node, keywords: Set[str], parens: Set[str]
1478 ) -> Iterator[Line]:
1479 """Visit a statement.
1481 This implementation is shared for `if`, `while`, `for`, `try`, `except`,
1482 `def`, `with`, `class`, `assert` and assignments.
1484 The relevant Python language `keywords` for a given statement will be
1485 NAME leaves within it. This methods puts those on a separate line.
1487 `parens` holds a set of string leaf values immediately after which
1488 invisible parens should be put.
1490 normalize_invisible_parens(node, parens_after=parens)
1491 for child in node.children:
1492 if child.type == token.NAME and child.value in keywords: # type: ignore
1493 yield from self.line()
1495 yield from self.visit(child)
1497 def visit_suite(self, node: Node) -> Iterator[Line]:
1498 """Visit a suite."""
1499 if self.is_pyi and is_stub_suite(node):
1500 yield from self.visit(node.children[2])
1502 yield from self.visit_default(node)
1504 def visit_simple_stmt(self, node: Node) -> Iterator[Line]:
1505 """Visit a statement without nested statements."""
1506 is_suite_like = node.parent and node.parent.type in STATEMENT
1508 if self.is_pyi and is_stub_body(node):
1509 yield from self.visit_default(node)
1511 yield from self.line(+1)
1512 yield from self.visit_default(node)
1513 yield from self.line(-1)
1516 if not self.is_pyi or not node.parent or not is_stub_suite(node.parent):
1517 yield from self.line()
1518 yield from self.visit_default(node)
1520 def visit_async_stmt(self, node: Node) -> Iterator[Line]:
1521 """Visit `async def`, `async for`, `async with`."""
1522 yield from self.line()
1524 children = iter(node.children)
1525 for child in children:
1526 yield from self.visit(child)
1528 if child.type == token.ASYNC:
1531 internal_stmt = next(children)
1532 for child in internal_stmt.children:
1533 yield from self.visit(child)
1535 def visit_decorators(self, node: Node) -> Iterator[Line]:
1536 """Visit decorators."""
1537 for child in node.children:
1538 yield from self.line()
1539 yield from self.visit(child)
1541 def visit_SEMI(self, leaf: Leaf) -> Iterator[Line]:
1542 """Remove a semicolon and put the other statement on a separate line."""
1543 yield from self.line()
1545 def visit_ENDMARKER(self, leaf: Leaf) -> Iterator[Line]:
1546 """End of file. Process outstanding comments and end with a newline."""
1547 yield from self.visit_default(leaf)
1548 yield from self.line()
1550 def visit_STANDALONE_COMMENT(self, leaf: Leaf) -> Iterator[Line]:
1551 if not self.current_line.bracket_tracker.any_open_brackets():
1552 yield from self.line()
1553 yield from self.visit_default(leaf)
1555 def __attrs_post_init__(self) -> None:
1556 """You are in a twisty little maze of passages."""
1559 self.visit_assert_stmt = partial(v, keywords={"assert"}, parens={"assert", ","})
1560 self.visit_if_stmt = partial(
1561 v, keywords={"if", "else", "elif"}, parens={"if", "elif"}
1563 self.visit_while_stmt = partial(v, keywords={"while", "else"}, parens={"while"})
1564 self.visit_for_stmt = partial(v, keywords={"for", "else"}, parens={"for", "in"})
1565 self.visit_try_stmt = partial(
1566 v, keywords={"try", "except", "else", "finally"}, parens=Ø
1568 self.visit_except_clause = partial(v, keywords={"except"}, parens=Ø)
1569 self.visit_with_stmt = partial(v, keywords={"with"}, parens=Ø)
1570 self.visit_funcdef = partial(v, keywords={"def"}, parens=Ø)
1571 self.visit_classdef = partial(v, keywords={"class"}, parens=Ø)
1572 self.visit_expr_stmt = partial(v, keywords=Ø, parens=ASSIGNMENTS)
1573 self.visit_return_stmt = partial(v, keywords={"return"}, parens={"return"})
1574 self.visit_import_from = partial(v, keywords=Ø, parens={"import"})
1575 self.visit_async_funcdef = self.visit_async_stmt
1576 self.visit_decorated = self.visit_decorators
1579 IMPLICIT_TUPLE = {syms.testlist, syms.testlist_star_expr, syms.exprlist}
1580 BRACKET = {token.LPAR: token.RPAR, token.LSQB: token.RSQB, token.LBRACE: token.RBRACE}
1581 OPENING_BRACKETS = set(BRACKET.keys())
1582 CLOSING_BRACKETS = set(BRACKET.values())
1583 BRACKETS = OPENING_BRACKETS | CLOSING_BRACKETS
1584 ALWAYS_NO_SPACE = CLOSING_BRACKETS | {token.COMMA, STANDALONE_COMMENT}
1587 def whitespace(leaf: Leaf, *, complex_subscript: bool) -> str: # noqa C901
1588 """Return whitespace prefix if needed for the given `leaf`.
1590 `complex_subscript` signals whether the given leaf is part of a subscription
1591 which has non-trivial arguments, like arithmetic expressions or function calls.
1599 if t in ALWAYS_NO_SPACE:
1602 if t == token.COMMENT:
1605 assert p is not None, f"INTERNAL ERROR: hand-made leaf without parent: {leaf!r}"
1606 if t == token.COLON and p.type not in {
1613 prev = leaf.prev_sibling
1615 prevp = preceding_leaf(p)
1616 if not prevp or prevp.type in OPENING_BRACKETS:
1619 if t == token.COLON:
1620 if prevp.type == token.COLON:
1623 elif prevp.type != token.COMMA and not complex_subscript:
1628 if prevp.type == token.EQUAL:
1630 if prevp.parent.type in {
1638 elif prevp.parent.type == syms.typedargslist:
1639 # A bit hacky: if the equal sign has whitespace, it means we
1640 # previously found it's a typed argument. So, we're using
1644 elif prevp.type in STARS:
1645 if is_vararg(prevp, within=VARARGS_PARENTS | UNPACKING_PARENTS):
1648 elif prevp.type == token.COLON:
1649 if prevp.parent and prevp.parent.type in {syms.subscript, syms.sliceop}:
1650 return SPACE if complex_subscript else NO
1654 and prevp.parent.type == syms.factor
1655 and prevp.type in MATH_OPERATORS
1660 prevp.type == token.RIGHTSHIFT
1662 and prevp.parent.type == syms.shift_expr
1663 and prevp.prev_sibling
1664 and prevp.prev_sibling.type == token.NAME
1665 and prevp.prev_sibling.value == "print" # type: ignore
1667 # Python 2 print chevron
1670 elif prev.type in OPENING_BRACKETS:
1673 if p.type in {syms.parameters, syms.arglist}:
1674 # untyped function signatures or calls
1675 if not prev or prev.type != token.COMMA:
1678 elif p.type == syms.varargslist:
1680 if prev and prev.type != token.COMMA:
1683 elif p.type == syms.typedargslist:
1684 # typed function signatures
1688 if t == token.EQUAL:
1689 if prev.type != syms.tname:
1692 elif prev.type == token.EQUAL:
1693 # A bit hacky: if the equal sign has whitespace, it means we
1694 # previously found it's a typed argument. So, we're using that, too.
1697 elif prev.type != token.COMMA:
1700 elif p.type == syms.tname:
1703 prevp = preceding_leaf(p)
1704 if not prevp or prevp.type != token.COMMA:
1707 elif p.type == syms.trailer:
1708 # attributes and calls
1709 if t == token.LPAR or t == token.RPAR:
1714 prevp = preceding_leaf(p)
1715 if not prevp or prevp.type != token.NUMBER:
1718 elif t == token.LSQB:
1721 elif prev.type != token.COMMA:
1724 elif p.type == syms.argument:
1726 if t == token.EQUAL:
1730 prevp = preceding_leaf(p)
1731 if not prevp or prevp.type == token.LPAR:
1734 elif prev.type in {token.EQUAL} | STARS:
1737 elif p.type == syms.decorator:
1741 elif p.type == syms.dotted_name:
1745 prevp = preceding_leaf(p)
1746 if not prevp or prevp.type == token.AT or prevp.type == token.DOT:
1749 elif p.type == syms.classdef:
1753 if prev and prev.type == token.LPAR:
1756 elif p.type in {syms.subscript, syms.sliceop}:
1759 assert p.parent is not None, "subscripts are always parented"
1760 if p.parent.type == syms.subscriptlist:
1765 elif not complex_subscript:
1768 elif p.type == syms.atom:
1769 if prev and t == token.DOT:
1770 # dots, but not the first one.
1773 elif p.type == syms.dictsetmaker:
1775 if prev and prev.type == token.DOUBLESTAR:
1778 elif p.type in {syms.factor, syms.star_expr}:
1781 prevp = preceding_leaf(p)
1782 if not prevp or prevp.type in OPENING_BRACKETS:
1785 prevp_parent = prevp.parent
1786 assert prevp_parent is not None
1787 if prevp.type == token.COLON and prevp_parent.type in {
1793 elif prevp.type == token.EQUAL and prevp_parent.type == syms.argument:
1796 elif t in {token.NAME, token.NUMBER, token.STRING}:
1799 elif p.type == syms.import_from:
1801 if prev and prev.type == token.DOT:
1804 elif t == token.NAME:
1808 if prev and prev.type == token.DOT:
1811 elif p.type == syms.sliceop:
1817 def preceding_leaf(node: Optional[LN]) -> Optional[Leaf]:
1818 """Return the first leaf that precedes `node`, if any."""
1820 res = node.prev_sibling
1822 if isinstance(res, Leaf):
1826 return list(res.leaves())[-1]
1835 def child_towards(ancestor: Node, descendant: LN) -> Optional[LN]:
1836 """Return the child of `ancestor` that contains `descendant`."""
1837 node: Optional[LN] = descendant
1838 while node and node.parent != ancestor:
1843 def container_of(leaf: Leaf) -> LN:
1844 """Return `leaf` or one of its ancestors that is the topmost container of it.
1846 By "container" we mean a node where `leaf` is the very first child.
1848 same_prefix = leaf.prefix
1849 container: LN = leaf
1851 parent = container.parent
1855 if parent.children[0].prefix != same_prefix:
1858 if parent.type == syms.file_input:
1861 if parent.prev_sibling is not None and parent.prev_sibling.type in BRACKETS:
1868 def is_split_after_delimiter(leaf: Leaf, previous: Leaf = None) -> int:
1869 """Return the priority of the `leaf` delimiter, given a line break after it.
1871 The delimiter priorities returned here are from those delimiters that would
1872 cause a line break after themselves.
1874 Higher numbers are higher priority.
1876 if leaf.type == token.COMMA:
1877 return COMMA_PRIORITY
1882 def is_split_before_delimiter(leaf: Leaf, previous: Leaf = None) -> int:
1883 """Return the priority of the `leaf` delimiter, given a line before after it.
1885 The delimiter priorities returned here are from those delimiters that would
1886 cause a line break before themselves.
1888 Higher numbers are higher priority.
1890 if is_vararg(leaf, within=VARARGS_PARENTS | UNPACKING_PARENTS):
1891 # * and ** might also be MATH_OPERATORS but in this case they are not.
1892 # Don't treat them as a delimiter.
1896 leaf.type == token.DOT
1898 and leaf.parent.type not in {syms.import_from, syms.dotted_name}
1899 and (previous is None or previous.type in CLOSING_BRACKETS)
1904 leaf.type in MATH_OPERATORS
1906 and leaf.parent.type not in {syms.factor, syms.star_expr}
1908 return MATH_PRIORITIES[leaf.type]
1910 if leaf.type in COMPARATORS:
1911 return COMPARATOR_PRIORITY
1914 leaf.type == token.STRING
1915 and previous is not None
1916 and previous.type == token.STRING
1918 return STRING_PRIORITY
1920 if leaf.type != token.NAME:
1926 and leaf.parent.type in {syms.comp_for, syms.old_comp_for}
1928 return COMPREHENSION_PRIORITY
1933 and leaf.parent.type in {syms.comp_if, syms.old_comp_if}
1935 return COMPREHENSION_PRIORITY
1937 if leaf.value in {"if", "else"} and leaf.parent and leaf.parent.type == syms.test:
1938 return TERNARY_PRIORITY
1940 if leaf.value == "is":
1941 return COMPARATOR_PRIORITY
1946 and leaf.parent.type in {syms.comp_op, syms.comparison}
1948 previous is not None
1949 and previous.type == token.NAME
1950 and previous.value == "not"
1953 return COMPARATOR_PRIORITY
1958 and leaf.parent.type == syms.comp_op
1960 previous is not None
1961 and previous.type == token.NAME
1962 and previous.value == "is"
1965 return COMPARATOR_PRIORITY
1967 if leaf.value in LOGIC_OPERATORS and leaf.parent:
1968 return LOGIC_PRIORITY
1973 FMT_OFF = {"# fmt: off", "# fmt:off", "# yapf: disable"}
1974 FMT_ON = {"# fmt: on", "# fmt:on", "# yapf: enable"}
1977 def generate_comments(leaf: LN) -> Iterator[Leaf]:
1978 """Clean the prefix of the `leaf` and generate comments from it, if any.
1980 Comments in lib2to3 are shoved into the whitespace prefix. This happens
1981 in `pgen2/driver.py:Driver.parse_tokens()`. This was a brilliant implementation
1982 move because it does away with modifying the grammar to include all the
1983 possible places in which comments can be placed.
1985 The sad consequence for us though is that comments don't "belong" anywhere.
1986 This is why this function generates simple parentless Leaf objects for
1987 comments. We simply don't know what the correct parent should be.
1989 No matter though, we can live without this. We really only need to
1990 differentiate between inline and standalone comments. The latter don't
1991 share the line with any code.
1993 Inline comments are emitted as regular token.COMMENT leaves. Standalone
1994 are emitted with a fake STANDALONE_COMMENT token identifier.
1996 for pc in list_comments(leaf.prefix, is_endmarker=leaf.type == token.ENDMARKER):
1997 yield Leaf(pc.type, pc.value, prefix="\n" * pc.newlines)
2002 type: int # token.COMMENT or STANDALONE_COMMENT
2003 value: str # content of the comment
2004 newlines: int # how many newlines before the comment
2005 consumed: int # how many characters of the original leaf's prefix did we consume
2008 @lru_cache(maxsize=4096)
2009 def list_comments(prefix: str, *, is_endmarker: bool) -> List[ProtoComment]:
2010 result: List[ProtoComment] = []
2011 if not prefix or "#" not in prefix:
2016 for index, line in enumerate(prefix.split("\n")):
2017 consumed += len(line) + 1 # adding the length of the split '\n'
2018 line = line.lstrip()
2021 if not line.startswith("#"):
2024 if index == 0 and not is_endmarker:
2025 comment_type = token.COMMENT # simple trailing comment
2027 comment_type = STANDALONE_COMMENT
2028 comment = make_comment(line)
2031 type=comment_type, value=comment, newlines=nlines, consumed=consumed
2038 def make_comment(content: str) -> str:
2039 """Return a consistently formatted comment from the given `content` string.
2041 All comments (except for "##", "#!", "#:") should have a single space between
2042 the hash sign and the content.
2044 If `content` didn't start with a hash sign, one is provided.
2046 content = content.rstrip()
2050 if content[0] == "#":
2051 content = content[1:]
2052 if content and content[0] not in " !:#":
2053 content = " " + content
2054 return "#" + content
2058 line: Line, line_length: int, inner: bool = False, py36: bool = False
2059 ) -> Iterator[Line]:
2060 """Split a `line` into potentially many lines.
2062 They should fit in the allotted `line_length` but might not be able to.
2063 `inner` signifies that there were a pair of brackets somewhere around the
2064 current `line`, possibly transitively. This means we can fallback to splitting
2065 by delimiters if the LHS/RHS don't yield any results.
2067 If `py36` is True, splitting may generate syntax that is only compatible
2068 with Python 3.6 and later.
2074 line_str = str(line).strip("\n")
2075 if not line.should_explode and is_line_short_enough(
2076 line, line_length=line_length, line_str=line_str
2081 split_funcs: List[SplitFunc]
2083 split_funcs = [left_hand_split]
2086 def rhs(line: Line, py36: bool = False) -> Iterator[Line]:
2087 for omit in generate_trailers_to_omit(line, line_length):
2088 lines = list(right_hand_split(line, line_length, py36, omit=omit))
2089 if is_line_short_enough(lines[0], line_length=line_length):
2093 # All splits failed, best effort split with no omits.
2094 # This mostly happens to multiline strings that are by definition
2095 # reported as not fitting a single line.
2096 yield from right_hand_split(line, py36)
2098 if line.inside_brackets:
2099 split_funcs = [delimiter_split, standalone_comment_split, rhs]
2102 for split_func in split_funcs:
2103 # We are accumulating lines in `result` because we might want to abort
2104 # mission and return the original line in the end, or attempt a different
2106 result: List[Line] = []
2108 for l in split_func(line, py36):
2109 if str(l).strip("\n") == line_str:
2110 raise CannotSplit("Split function returned an unchanged result")
2113 split_line(l, line_length=line_length, inner=True, py36=py36)
2115 except CannotSplit as cs:
2126 def left_hand_split(line: Line, py36: bool = False) -> Iterator[Line]:
2127 """Split line into many lines, starting with the first matching bracket pair.
2129 Note: this usually looks weird, only use this for function definitions.
2130 Prefer RHS otherwise. This is why this function is not symmetrical with
2131 :func:`right_hand_split` which also handles optional parentheses.
2133 head = Line(depth=line.depth)
2134 body = Line(depth=line.depth + 1, inside_brackets=True)
2135 tail = Line(depth=line.depth)
2136 tail_leaves: List[Leaf] = []
2137 body_leaves: List[Leaf] = []
2138 head_leaves: List[Leaf] = []
2139 current_leaves = head_leaves
2140 matching_bracket = None
2141 for leaf in line.leaves:
2143 current_leaves is body_leaves
2144 and leaf.type in CLOSING_BRACKETS
2145 and leaf.opening_bracket is matching_bracket
2147 current_leaves = tail_leaves if body_leaves else head_leaves
2148 current_leaves.append(leaf)
2149 if current_leaves is head_leaves:
2150 if leaf.type in OPENING_BRACKETS:
2151 matching_bracket = leaf
2152 current_leaves = body_leaves
2153 # Since body is a new indent level, remove spurious leading whitespace.
2155 normalize_prefix(body_leaves[0], inside_brackets=True)
2156 # Build the new lines.
2157 for result, leaves in (head, head_leaves), (body, body_leaves), (tail, tail_leaves):
2159 result.append(leaf, preformatted=True)
2160 for comment_after in line.comments_after(leaf):
2161 result.append(comment_after, preformatted=True)
2162 bracket_split_succeeded_or_raise(head, body, tail)
2163 for result in (head, body, tail):
2168 def right_hand_split(
2169 line: Line, line_length: int, py36: bool = False, omit: Collection[LeafID] = ()
2170 ) -> Iterator[Line]:
2171 """Split line into many lines, starting with the last matching bracket pair.
2173 If the split was by optional parentheses, attempt splitting without them, too.
2174 `omit` is a collection of closing bracket IDs that shouldn't be considered for
2177 Note: running this function modifies `bracket_depth` on the leaves of `line`.
2179 head = Line(depth=line.depth)
2180 body = Line(depth=line.depth + 1, inside_brackets=True)
2181 tail = Line(depth=line.depth)
2182 tail_leaves: List[Leaf] = []
2183 body_leaves: List[Leaf] = []
2184 head_leaves: List[Leaf] = []
2185 current_leaves = tail_leaves
2186 opening_bracket = None
2187 closing_bracket = None
2188 for leaf in reversed(line.leaves):
2189 if current_leaves is body_leaves:
2190 if leaf is opening_bracket:
2191 current_leaves = head_leaves if body_leaves else tail_leaves
2192 current_leaves.append(leaf)
2193 if current_leaves is tail_leaves:
2194 if leaf.type in CLOSING_BRACKETS and id(leaf) not in omit:
2195 opening_bracket = leaf.opening_bracket
2196 closing_bracket = leaf
2197 current_leaves = body_leaves
2198 tail_leaves.reverse()
2199 body_leaves.reverse()
2200 head_leaves.reverse()
2201 # Since body is a new indent level, remove spurious leading whitespace.
2203 normalize_prefix(body_leaves[0], inside_brackets=True)
2205 # No `head` means the split failed. Either `tail` has all content or
2206 # the matching `opening_bracket` wasn't available on `line` anymore.
2207 raise CannotSplit("No brackets found")
2209 # Build the new lines.
2210 for result, leaves in (head, head_leaves), (body, body_leaves), (tail, tail_leaves):
2212 result.append(leaf, preformatted=True)
2213 for comment_after in line.comments_after(leaf):
2214 result.append(comment_after, preformatted=True)
2215 assert opening_bracket and closing_bracket
2216 body.should_explode = should_explode(body, opening_bracket)
2217 bracket_split_succeeded_or_raise(head, body, tail)
2219 # the body shouldn't be exploded
2220 not body.should_explode
2221 # the opening bracket is an optional paren
2222 and opening_bracket.type == token.LPAR
2223 and not opening_bracket.value
2224 # the closing bracket is an optional paren
2225 and closing_bracket.type == token.RPAR
2226 and not closing_bracket.value
2227 # it's not an import (optional parens are the only thing we can split on
2228 # in this case; attempting a split without them is a waste of time)
2229 and not line.is_import
2230 # there are no standalone comments in the body
2231 and not body.contains_standalone_comments(0)
2232 # and we can actually remove the parens
2233 and can_omit_invisible_parens(body, line_length)
2235 omit = {id(closing_bracket), *omit}
2237 yield from right_hand_split(line, line_length, py36=py36, omit=omit)
2243 or is_line_short_enough(body, line_length=line_length)
2246 "Splitting failed, body is still too long and can't be split."
2249 elif head.contains_multiline_strings() or tail.contains_multiline_strings():
2251 "The current optional pair of parentheses is bound to fail to "
2252 "satisfy the splitting algorithm because the head or the tail "
2253 "contains multiline strings which by definition never fit one "
2257 ensure_visible(opening_bracket)
2258 ensure_visible(closing_bracket)
2259 for result in (head, body, tail):
2264 def bracket_split_succeeded_or_raise(head: Line, body: Line, tail: Line) -> None:
2265 """Raise :exc:`CannotSplit` if the last left- or right-hand split failed.
2267 Do nothing otherwise.
2269 A left- or right-hand split is based on a pair of brackets. Content before
2270 (and including) the opening bracket is left on one line, content inside the
2271 brackets is put on a separate line, and finally content starting with and
2272 following the closing bracket is put on a separate line.
2274 Those are called `head`, `body`, and `tail`, respectively. If the split
2275 produced the same line (all content in `head`) or ended up with an empty `body`
2276 and the `tail` is just the closing bracket, then it's considered failed.
2278 tail_len = len(str(tail).strip())
2281 raise CannotSplit("Splitting brackets produced the same line")
2285 f"Splitting brackets on an empty body to save "
2286 f"{tail_len} characters is not worth it"
2290 def dont_increase_indentation(split_func: SplitFunc) -> SplitFunc:
2291 """Normalize prefix of the first leaf in every line returned by `split_func`.
2293 This is a decorator over relevant split functions.
2297 def split_wrapper(line: Line, py36: bool = False) -> Iterator[Line]:
2298 for l in split_func(line, py36):
2299 normalize_prefix(l.leaves[0], inside_brackets=True)
2302 return split_wrapper
2305 @dont_increase_indentation
2306 def delimiter_split(line: Line, py36: bool = False) -> Iterator[Line]:
2307 """Split according to delimiters of the highest priority.
2309 If `py36` is True, the split will add trailing commas also in function
2310 signatures that contain `*` and `**`.
2313 last_leaf = line.leaves[-1]
2315 raise CannotSplit("Line empty")
2317 bt = line.bracket_tracker
2319 delimiter_priority = bt.max_delimiter_priority(exclude={id(last_leaf)})
2321 raise CannotSplit("No delimiters found")
2323 if delimiter_priority == DOT_PRIORITY:
2324 if bt.delimiter_count_with_priority(delimiter_priority) == 1:
2325 raise CannotSplit("Splitting a single attribute from its owner looks wrong")
2327 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2328 lowest_depth = sys.maxsize
2329 trailing_comma_safe = True
2331 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2332 """Append `leaf` to current line or to new line if appending impossible."""
2333 nonlocal current_line
2335 current_line.append_safe(leaf, preformatted=True)
2336 except ValueError as ve:
2339 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2340 current_line.append(leaf)
2342 for index, leaf in enumerate(line.leaves):
2343 yield from append_to_line(leaf)
2345 for comment_after in line.comments_after(leaf, index):
2346 yield from append_to_line(comment_after)
2348 lowest_depth = min(lowest_depth, leaf.bracket_depth)
2349 if leaf.bracket_depth == lowest_depth and is_vararg(
2350 leaf, within=VARARGS_PARENTS
2352 trailing_comma_safe = trailing_comma_safe and py36
2353 leaf_priority = bt.delimiters.get(id(leaf))
2354 if leaf_priority == delimiter_priority:
2357 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2361 and delimiter_priority == COMMA_PRIORITY
2362 and current_line.leaves[-1].type != token.COMMA
2363 and current_line.leaves[-1].type != STANDALONE_COMMENT
2365 current_line.append(Leaf(token.COMMA, ","))
2369 @dont_increase_indentation
2370 def standalone_comment_split(line: Line, py36: bool = False) -> Iterator[Line]:
2371 """Split standalone comments from the rest of the line."""
2372 if not line.contains_standalone_comments(0):
2373 raise CannotSplit("Line does not have any standalone comments")
2375 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2377 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2378 """Append `leaf` to current line or to new line if appending impossible."""
2379 nonlocal current_line
2381 current_line.append_safe(leaf, preformatted=True)
2382 except ValueError as ve:
2385 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2386 current_line.append(leaf)
2388 for index, leaf in enumerate(line.leaves):
2389 yield from append_to_line(leaf)
2391 for comment_after in line.comments_after(leaf, index):
2392 yield from append_to_line(comment_after)
2398 def is_import(leaf: Leaf) -> bool:
2399 """Return True if the given leaf starts an import statement."""
2406 (v == "import" and p and p.type == syms.import_name)
2407 or (v == "from" and p and p.type == syms.import_from)
2412 def normalize_prefix(leaf: Leaf, *, inside_brackets: bool) -> None:
2413 """Leave existing extra newlines if not `inside_brackets`. Remove everything
2416 Note: don't use backslashes for formatting or you'll lose your voting rights.
2418 if not inside_brackets:
2419 spl = leaf.prefix.split("#")
2420 if "\\" not in spl[0]:
2421 nl_count = spl[-1].count("\n")
2424 leaf.prefix = "\n" * nl_count
2430 def normalize_string_prefix(leaf: Leaf, remove_u_prefix: bool = False) -> None:
2431 """Make all string prefixes lowercase.
2433 If remove_u_prefix is given, also removes any u prefix from the string.
2435 Note: Mutates its argument.
2437 match = re.match(r"^([furbFURB]*)(.*)$", leaf.value, re.DOTALL)
2438 assert match is not None, f"failed to match string {leaf.value!r}"
2439 orig_prefix = match.group(1)
2440 new_prefix = orig_prefix.lower()
2442 new_prefix = new_prefix.replace("u", "")
2443 leaf.value = f"{new_prefix}{match.group(2)}"
2446 def normalize_string_quotes(leaf: Leaf) -> None:
2447 """Prefer double quotes but only if it doesn't cause more escaping.
2449 Adds or removes backslashes as appropriate. Doesn't parse and fix
2450 strings nested in f-strings (yet).
2452 Note: Mutates its argument.
2454 value = leaf.value.lstrip("furbFURB")
2455 if value[:3] == '"""':
2458 elif value[:3] == "'''":
2461 elif value[0] == '"':
2467 first_quote_pos = leaf.value.find(orig_quote)
2468 if first_quote_pos == -1:
2469 return # There's an internal error
2471 prefix = leaf.value[:first_quote_pos]
2472 unescaped_new_quote = re.compile(rf"(([^\\]|^)(\\\\)*){new_quote}")
2473 escaped_new_quote = re.compile(rf"([^\\]|^)\\((?:\\\\)*){new_quote}")
2474 escaped_orig_quote = re.compile(rf"([^\\]|^)\\((?:\\\\)*){orig_quote}")
2475 body = leaf.value[first_quote_pos + len(orig_quote) : -len(orig_quote)]
2476 if "r" in prefix.casefold():
2477 if unescaped_new_quote.search(body):
2478 # There's at least one unescaped new_quote in this raw string
2479 # so converting is impossible
2482 # Do not introduce or remove backslashes in raw strings
2485 # remove unnecessary escapes
2486 new_body = sub_twice(escaped_new_quote, rf"\1\2{new_quote}", body)
2487 if body != new_body:
2488 # Consider the string without unnecessary escapes as the original
2490 leaf.value = f"{prefix}{orig_quote}{body}{orig_quote}"
2491 new_body = sub_twice(escaped_orig_quote, rf"\1\2{orig_quote}", new_body)
2492 new_body = sub_twice(unescaped_new_quote, rf"\1\\{new_quote}", new_body)
2493 if "f" in prefix.casefold():
2494 matches = re.findall(r"[^{]\{(.*?)\}[^}]", new_body)
2497 # Do not introduce backslashes in interpolated expressions
2499 if new_quote == '"""' and new_body[-1:] == '"':
2501 new_body = new_body[:-1] + '\\"'
2502 orig_escape_count = body.count("\\")
2503 new_escape_count = new_body.count("\\")
2504 if new_escape_count > orig_escape_count:
2505 return # Do not introduce more escaping
2507 if new_escape_count == orig_escape_count and orig_quote == '"':
2508 return # Prefer double quotes
2510 leaf.value = f"{prefix}{new_quote}{new_body}{new_quote}"
2513 def normalize_numeric_literal(leaf: Leaf, allow_underscores: bool) -> None:
2514 """Normalizes numeric (float, int, and complex) literals.
2516 All letters used in the representation are normalized to lowercase, long number
2517 literals are split using underscores.
2519 text = leaf.value.lower()
2520 if text.startswith(("0o", "0x", "0b")):
2521 # Leave octal, hex, and binary literals alone.
2524 before, after = text.split("e")
2526 if after.startswith("-"):
2529 elif after.startswith("+"):
2531 before = format_float_or_int_string(before, allow_underscores)
2532 after = format_int_string(after, allow_underscores)
2533 text = f"{before}e{sign}{after}"
2534 elif text.endswith(("j", "l")):
2537 text = f"{format_float_or_int_string(number, allow_underscores)}{suffix}"
2539 text = format_float_or_int_string(text, allow_underscores)
2543 def format_float_or_int_string(text: str, allow_underscores: bool) -> str:
2544 """Formats a float string like "1.0"."""
2546 return format_int_string(text, allow_underscores)
2548 before, after = text.split(".")
2549 before = format_int_string(before, allow_underscores) if before else "0"
2550 after = format_int_string(after, allow_underscores) if after else "0"
2551 return f"{before}.{after}"
2554 def format_int_string(text: str, allow_underscores: bool) -> str:
2555 """Normalizes underscores in a string to e.g. 1_000_000.
2557 Input must be a string of at least six digits and optional underscores.
2559 if not allow_underscores:
2562 text = text.replace("_", "")
2564 # No underscores for numbers <= 6 digits long.
2567 # Avoid removing leading zeros, which are important if we're formatting
2568 # part of a number like "0.001".
2569 return format(int("1" + text), "3_")[1:].lstrip("_")
2572 def normalize_invisible_parens(node: Node, parens_after: Set[str]) -> None:
2573 """Make existing optional parentheses invisible or create new ones.
2575 `parens_after` is a set of string leaf values immeditely after which parens
2578 Standardizes on visible parentheses for single-element tuples, and keeps
2579 existing visible parentheses for other tuples and generator expressions.
2581 for pc in list_comments(node.prefix, is_endmarker=False):
2582 if pc.value in FMT_OFF:
2583 # This `node` has a prefix with `# fmt: off`, don't mess with parens.
2587 for index, child in enumerate(list(node.children)):
2589 if child.type == syms.atom:
2590 if maybe_make_parens_invisible_in_atom(child):
2591 lpar = Leaf(token.LPAR, "")
2592 rpar = Leaf(token.RPAR, "")
2593 index = child.remove() or 0
2594 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2595 elif is_one_tuple(child):
2596 # wrap child in visible parentheses
2597 lpar = Leaf(token.LPAR, "(")
2598 rpar = Leaf(token.RPAR, ")")
2600 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2601 elif node.type == syms.import_from:
2602 # "import from" nodes store parentheses directly as part of
2604 if child.type == token.LPAR:
2605 # make parentheses invisible
2606 child.value = "" # type: ignore
2607 node.children[-1].value = "" # type: ignore
2608 elif child.type != token.STAR:
2609 # insert invisible parentheses
2610 node.insert_child(index, Leaf(token.LPAR, ""))
2611 node.append_child(Leaf(token.RPAR, ""))
2614 elif not (isinstance(child, Leaf) and is_multiline_string(child)):
2615 # wrap child in invisible parentheses
2616 lpar = Leaf(token.LPAR, "")
2617 rpar = Leaf(token.RPAR, "")
2618 index = child.remove() or 0
2619 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2621 check_lpar = isinstance(child, Leaf) and child.value in parens_after
2624 def normalize_fmt_off(node: Node) -> None:
2625 """Convert content between `# fmt: off`/`# fmt: on` into standalone comments."""
2628 try_again = convert_one_fmt_off_pair(node)
2631 def convert_one_fmt_off_pair(node: Node) -> bool:
2632 """Convert content of a single `# fmt: off`/`# fmt: on` into a standalone comment.
2634 Returns True if a pair was converted.
2636 for leaf in node.leaves():
2637 previous_consumed = 0
2638 for comment in list_comments(leaf.prefix, is_endmarker=False):
2639 if comment.value in FMT_OFF:
2640 # We only want standalone comments. If there's no previous leaf or
2641 # the previous leaf is indentation, it's a standalone comment in
2643 if comment.type != STANDALONE_COMMENT:
2644 prev = preceding_leaf(leaf)
2645 if prev and prev.type not in WHITESPACE:
2648 ignored_nodes = list(generate_ignored_nodes(leaf))
2649 if not ignored_nodes:
2652 first = ignored_nodes[0] # Can be a container node with the `leaf`.
2653 parent = first.parent
2654 prefix = first.prefix
2655 first.prefix = prefix[comment.consumed :]
2657 comment.value + "\n" + "".join(str(n) for n in ignored_nodes)
2659 if hidden_value.endswith("\n"):
2660 # That happens when one of the `ignored_nodes` ended with a NEWLINE
2661 # leaf (possibly followed by a DEDENT).
2662 hidden_value = hidden_value[:-1]
2664 for ignored in ignored_nodes:
2665 index = ignored.remove()
2666 if first_idx is None:
2668 assert parent is not None, "INTERNAL ERROR: fmt: on/off handling (1)"
2669 assert first_idx is not None, "INTERNAL ERROR: fmt: on/off handling (2)"
2670 parent.insert_child(
2675 prefix=prefix[:previous_consumed] + "\n" * comment.newlines,
2680 previous_consumed = comment.consumed
2685 def generate_ignored_nodes(leaf: Leaf) -> Iterator[LN]:
2686 """Starting from the container of `leaf`, generate all leaves until `# fmt: on`.
2688 Stops at the end of the block.
2690 container: Optional[LN] = container_of(leaf)
2691 while container is not None and container.type != token.ENDMARKER:
2692 for comment in list_comments(container.prefix, is_endmarker=False):
2693 if comment.value in FMT_ON:
2698 container = container.next_sibling
2701 def maybe_make_parens_invisible_in_atom(node: LN) -> bool:
2702 """If it's safe, make the parens in the atom `node` invisible, recursively.
2704 Returns whether the node should itself be wrapped in invisible parentheses.
2708 node.type != syms.atom
2709 or is_empty_tuple(node)
2710 or is_one_tuple(node)
2712 or max_delimiter_priority_in_atom(node) >= COMMA_PRIORITY
2716 first = node.children[0]
2717 last = node.children[-1]
2718 if first.type == token.LPAR and last.type == token.RPAR:
2719 # make parentheses invisible
2720 first.value = "" # type: ignore
2721 last.value = "" # type: ignore
2722 if len(node.children) > 1:
2723 maybe_make_parens_invisible_in_atom(node.children[1])
2729 def is_empty_tuple(node: LN) -> bool:
2730 """Return True if `node` holds an empty tuple."""
2732 node.type == syms.atom
2733 and len(node.children) == 2
2734 and node.children[0].type == token.LPAR
2735 and node.children[1].type == token.RPAR
2739 def is_one_tuple(node: LN) -> bool:
2740 """Return True if `node` holds a tuple with one element, with or without parens."""
2741 if node.type == syms.atom:
2742 if len(node.children) != 3:
2745 lpar, gexp, rpar = node.children
2747 lpar.type == token.LPAR
2748 and gexp.type == syms.testlist_gexp
2749 and rpar.type == token.RPAR
2753 return len(gexp.children) == 2 and gexp.children[1].type == token.COMMA
2756 node.type in IMPLICIT_TUPLE
2757 and len(node.children) == 2
2758 and node.children[1].type == token.COMMA
2762 def is_yield(node: LN) -> bool:
2763 """Return True if `node` holds a `yield` or `yield from` expression."""
2764 if node.type == syms.yield_expr:
2767 if node.type == token.NAME and node.value == "yield": # type: ignore
2770 if node.type != syms.atom:
2773 if len(node.children) != 3:
2776 lpar, expr, rpar = node.children
2777 if lpar.type == token.LPAR and rpar.type == token.RPAR:
2778 return is_yield(expr)
2783 def is_vararg(leaf: Leaf, within: Set[NodeType]) -> bool:
2784 """Return True if `leaf` is a star or double star in a vararg or kwarg.
2786 If `within` includes VARARGS_PARENTS, this applies to function signatures.
2787 If `within` includes UNPACKING_PARENTS, it applies to right hand-side
2788 extended iterable unpacking (PEP 3132) and additional unpacking
2789 generalizations (PEP 448).
2791 if leaf.type not in STARS or not leaf.parent:
2795 if p.type == syms.star_expr:
2796 # Star expressions are also used as assignment targets in extended
2797 # iterable unpacking (PEP 3132). See what its parent is instead.
2803 return p.type in within
2806 def is_multiline_string(leaf: Leaf) -> bool:
2807 """Return True if `leaf` is a multiline string that actually spans many lines."""
2808 value = leaf.value.lstrip("furbFURB")
2809 return value[:3] in {'"""', "'''"} and "\n" in value
2812 def is_stub_suite(node: Node) -> bool:
2813 """Return True if `node` is a suite with a stub body."""
2815 len(node.children) != 4
2816 or node.children[0].type != token.NEWLINE
2817 or node.children[1].type != token.INDENT
2818 or node.children[3].type != token.DEDENT
2822 return is_stub_body(node.children[2])
2825 def is_stub_body(node: LN) -> bool:
2826 """Return True if `node` is a simple statement containing an ellipsis."""
2827 if not isinstance(node, Node) or node.type != syms.simple_stmt:
2830 if len(node.children) != 2:
2833 child = node.children[0]
2835 child.type == syms.atom
2836 and len(child.children) == 3
2837 and all(leaf == Leaf(token.DOT, ".") for leaf in child.children)
2841 def max_delimiter_priority_in_atom(node: LN) -> int:
2842 """Return maximum delimiter priority inside `node`.
2844 This is specific to atoms with contents contained in a pair of parentheses.
2845 If `node` isn't an atom or there are no enclosing parentheses, returns 0.
2847 if node.type != syms.atom:
2850 first = node.children[0]
2851 last = node.children[-1]
2852 if not (first.type == token.LPAR and last.type == token.RPAR):
2855 bt = BracketTracker()
2856 for c in node.children[1:-1]:
2857 if isinstance(c, Leaf):
2860 for leaf in c.leaves():
2863 return bt.max_delimiter_priority()
2869 def ensure_visible(leaf: Leaf) -> None:
2870 """Make sure parentheses are visible.
2872 They could be invisible as part of some statements (see
2873 :func:`normalize_invible_parens` and :func:`visit_import_from`).
2875 if leaf.type == token.LPAR:
2877 elif leaf.type == token.RPAR:
2881 def should_explode(line: Line, opening_bracket: Leaf) -> bool:
2882 """Should `line` immediately be split with `delimiter_split()` after RHS?"""
2884 opening_bracket.parent
2885 and opening_bracket.parent.type in {syms.atom, syms.import_from}
2886 and opening_bracket.value in "[{("
2891 last_leaf = line.leaves[-1]
2892 exclude = {id(last_leaf)} if last_leaf.type == token.COMMA else set()
2893 max_priority = line.bracket_tracker.max_delimiter_priority(exclude=exclude)
2894 except (IndexError, ValueError):
2897 return max_priority == COMMA_PRIORITY
2900 def is_python36(node: Node) -> bool:
2901 """Return True if the current file is using Python 3.6+ features.
2903 Currently looking for:
2905 - underscores in numeric literals; and
2906 - trailing commas after * or ** in function signatures and calls.
2908 for n in node.pre_order():
2909 if n.type == token.STRING:
2910 value_head = n.value[:2] # type: ignore
2911 if value_head in {'f"', 'F"', "f'", "F'", "rf", "fr", "RF", "FR"}:
2914 elif n.type == token.NUMBER:
2915 if "_" in n.value: # type: ignore
2919 n.type in {syms.typedargslist, syms.arglist}
2921 and n.children[-1].type == token.COMMA
2923 for ch in n.children:
2924 if ch.type in STARS:
2927 if ch.type == syms.argument:
2928 for argch in ch.children:
2929 if argch.type in STARS:
2935 def generate_trailers_to_omit(line: Line, line_length: int) -> Iterator[Set[LeafID]]:
2936 """Generate sets of closing bracket IDs that should be omitted in a RHS.
2938 Brackets can be omitted if the entire trailer up to and including
2939 a preceding closing bracket fits in one line.
2941 Yielded sets are cumulative (contain results of previous yields, too). First
2945 omit: Set[LeafID] = set()
2948 length = 4 * line.depth
2949 opening_bracket = None
2950 closing_bracket = None
2951 optional_brackets: Set[LeafID] = set()
2952 inner_brackets: Set[LeafID] = set()
2953 for index, leaf, leaf_length in enumerate_with_length(line, reversed=True):
2954 length += leaf_length
2955 if length > line_length:
2958 has_inline_comment = leaf_length > len(leaf.value) + len(leaf.prefix)
2959 if leaf.type == STANDALONE_COMMENT or has_inline_comment:
2962 optional_brackets.discard(id(leaf))
2964 if leaf is opening_bracket:
2965 opening_bracket = None
2966 elif leaf.type in CLOSING_BRACKETS:
2967 inner_brackets.add(id(leaf))
2968 elif leaf.type in CLOSING_BRACKETS:
2970 optional_brackets.add(id(opening_bracket))
2973 if index > 0 and line.leaves[index - 1].type in OPENING_BRACKETS:
2974 # Empty brackets would fail a split so treat them as "inner"
2975 # brackets (e.g. only add them to the `omit` set if another
2976 # pair of brackets was good enough.
2977 inner_brackets.add(id(leaf))
2980 opening_bracket = leaf.opening_bracket
2982 omit.add(id(closing_bracket))
2983 omit.update(inner_brackets)
2984 inner_brackets.clear()
2986 closing_bracket = leaf
2989 def get_future_imports(node: Node) -> Set[str]:
2990 """Return a set of __future__ imports in the file."""
2991 imports: Set[str] = set()
2993 def get_imports_from_children(children: List[LN]) -> Generator[str, None, None]:
2994 for child in children:
2995 if isinstance(child, Leaf):
2996 if child.type == token.NAME:
2998 elif child.type == syms.import_as_name:
2999 orig_name = child.children[0]
3000 assert isinstance(orig_name, Leaf), "Invalid syntax parsing imports"
3001 assert orig_name.type == token.NAME, "Invalid syntax parsing imports"
3002 yield orig_name.value
3003 elif child.type == syms.import_as_names:
3004 yield from get_imports_from_children(child.children)
3006 assert False, "Invalid syntax parsing imports"
3008 for child in node.children:
3009 if child.type != syms.simple_stmt:
3011 first_child = child.children[0]
3012 if isinstance(first_child, Leaf):
3013 # Continue looking if we see a docstring; otherwise stop.
3015 len(child.children) == 2
3016 and first_child.type == token.STRING
3017 and child.children[1].type == token.NEWLINE
3022 elif first_child.type == syms.import_from:
3023 module_name = first_child.children[1]
3024 if not isinstance(module_name, Leaf) or module_name.value != "__future__":
3026 imports |= set(get_imports_from_children(first_child.children[3:]))
3032 def gen_python_files_in_dir(
3035 include: Pattern[str],
3036 exclude: Pattern[str],
3038 ) -> Iterator[Path]:
3039 """Generate all files under `path` whose paths are not excluded by the
3040 `exclude` regex, but are included by the `include` regex.
3042 Symbolic links pointing outside of the `root` directory are ignored.
3044 `report` is where output about exclusions goes.
3046 assert root.is_absolute(), f"INTERNAL ERROR: `root` must be absolute but is {root}"
3047 for child in path.iterdir():
3049 normalized_path = "/" + child.resolve().relative_to(root).as_posix()
3051 if child.is_symlink():
3052 report.path_ignored(
3053 child, f"is a symbolic link that points outside {root}"
3060 normalized_path += "/"
3061 exclude_match = exclude.search(normalized_path)
3062 if exclude_match and exclude_match.group(0):
3063 report.path_ignored(child, f"matches the --exclude regular expression")
3067 yield from gen_python_files_in_dir(child, root, include, exclude, report)
3069 elif child.is_file():
3070 include_match = include.search(normalized_path)
3076 def find_project_root(srcs: Iterable[str]) -> Path:
3077 """Return a directory containing .git, .hg, or pyproject.toml.
3079 That directory can be one of the directories passed in `srcs` or their
3082 If no directory in the tree contains a marker that would specify it's the
3083 project root, the root of the file system is returned.
3086 return Path("/").resolve()
3088 common_base = min(Path(src).resolve() for src in srcs)
3089 if common_base.is_dir():
3090 # Append a fake file so `parents` below returns `common_base_dir`, too.
3091 common_base /= "fake-file"
3092 for directory in common_base.parents:
3093 if (directory / ".git").is_dir():
3096 if (directory / ".hg").is_dir():
3099 if (directory / "pyproject.toml").is_file():
3107 """Provides a reformatting counter. Can be rendered with `str(report)`."""
3111 verbose: bool = False
3112 change_count: int = 0
3114 failure_count: int = 0
3116 def done(self, src: Path, changed: Changed) -> None:
3117 """Increment the counter for successful reformatting. Write out a message."""
3118 if changed is Changed.YES:
3119 reformatted = "would reformat" if self.check else "reformatted"
3120 if self.verbose or not self.quiet:
3121 out(f"{reformatted} {src}")
3122 self.change_count += 1
3125 if changed is Changed.NO:
3126 msg = f"{src} already well formatted, good job."
3128 msg = f"{src} wasn't modified on disk since last run."
3129 out(msg, bold=False)
3130 self.same_count += 1
3132 def failed(self, src: Path, message: str) -> None:
3133 """Increment the counter for failed reformatting. Write out a message."""
3134 err(f"error: cannot format {src}: {message}")
3135 self.failure_count += 1
3137 def path_ignored(self, path: Path, message: str) -> None:
3139 out(f"{path} ignored: {message}", bold=False)
3142 def return_code(self) -> int:
3143 """Return the exit code that the app should use.
3145 This considers the current state of changed files and failures:
3146 - if there were any failures, return 123;
3147 - if any files were changed and --check is being used, return 1;
3148 - otherwise return 0.
3150 # According to http://tldp.org/LDP/abs/html/exitcodes.html starting with
3151 # 126 we have special return codes reserved by the shell.
3152 if self.failure_count:
3155 elif self.change_count and self.check:
3160 def __str__(self) -> str:
3161 """Render a color report of the current state.
3163 Use `click.unstyle` to remove colors.
3166 reformatted = "would be reformatted"
3167 unchanged = "would be left unchanged"
3168 failed = "would fail to reformat"
3170 reformatted = "reformatted"
3171 unchanged = "left unchanged"
3172 failed = "failed to reformat"
3174 if self.change_count:
3175 s = "s" if self.change_count > 1 else ""
3177 click.style(f"{self.change_count} file{s} {reformatted}", bold=True)
3180 s = "s" if self.same_count > 1 else ""
3181 report.append(f"{self.same_count} file{s} {unchanged}")
3182 if self.failure_count:
3183 s = "s" if self.failure_count > 1 else ""
3185 click.style(f"{self.failure_count} file{s} {failed}", fg="red")
3187 return ", ".join(report) + "."
3190 def assert_equivalent(src: str, dst: str) -> None:
3191 """Raise AssertionError if `src` and `dst` aren't equivalent."""
3196 def _v(node: ast.AST, depth: int = 0) -> Iterator[str]:
3197 """Simple visitor generating strings to compare ASTs by content."""
3198 yield f"{' ' * depth}{node.__class__.__name__}("
3200 for field in sorted(node._fields):
3202 value = getattr(node, field)
3203 except AttributeError:
3206 yield f"{' ' * (depth+1)}{field}="
3208 if isinstance(value, list):
3210 if isinstance(item, ast.AST):
3211 yield from _v(item, depth + 2)
3213 elif isinstance(value, ast.AST):
3214 yield from _v(value, depth + 2)
3217 yield f"{' ' * (depth+2)}{value!r}, # {value.__class__.__name__}"
3219 yield f"{' ' * depth}) # /{node.__class__.__name__}"
3222 src_ast = ast.parse(src)
3223 except Exception as exc:
3224 major, minor = sys.version_info[:2]
3225 raise AssertionError(
3226 f"cannot use --safe with this file; failed to parse source file "
3227 f"with Python {major}.{minor}'s builtin AST. Re-run with --fast "
3228 f"or stop using deprecated Python 2 syntax. AST error message: {exc}"
3232 dst_ast = ast.parse(dst)
3233 except Exception as exc:
3234 log = dump_to_file("".join(traceback.format_tb(exc.__traceback__)), dst)
3235 raise AssertionError(
3236 f"INTERNAL ERROR: Black produced invalid code: {exc}. "
3237 f"Please report a bug on https://github.com/ambv/black/issues. "
3238 f"This invalid output might be helpful: {log}"
3241 src_ast_str = "\n".join(_v(src_ast))
3242 dst_ast_str = "\n".join(_v(dst_ast))
3243 if src_ast_str != dst_ast_str:
3244 log = dump_to_file(diff(src_ast_str, dst_ast_str, "src", "dst"))
3245 raise AssertionError(
3246 f"INTERNAL ERROR: Black produced code that is not equivalent to "
3248 f"Please report a bug on https://github.com/ambv/black/issues. "
3249 f"This diff might be helpful: {log}"
3254 src: str, dst: str, line_length: int, mode: FileMode = FileMode.AUTO_DETECT
3256 """Raise AssertionError if `dst` reformats differently the second time."""
3257 newdst = format_str(dst, line_length=line_length, mode=mode)
3260 diff(src, dst, "source", "first pass"),
3261 diff(dst, newdst, "first pass", "second pass"),
3263 raise AssertionError(
3264 f"INTERNAL ERROR: Black produced different code on the second pass "
3265 f"of the formatter. "
3266 f"Please report a bug on https://github.com/ambv/black/issues. "
3267 f"This diff might be helpful: {log}"
3271 def dump_to_file(*output: str) -> str:
3272 """Dump `output` to a temporary file. Return path to the file."""
3275 with tempfile.NamedTemporaryFile(
3276 mode="w", prefix="blk_", suffix=".log", delete=False, encoding="utf8"
3278 for lines in output:
3280 if lines and lines[-1] != "\n":
3285 def diff(a: str, b: str, a_name: str, b_name: str) -> str:
3286 """Return a unified diff string between strings `a` and `b`."""
3289 a_lines = [line + "\n" for line in a.split("\n")]
3290 b_lines = [line + "\n" for line in b.split("\n")]
3292 difflib.unified_diff(a_lines, b_lines, fromfile=a_name, tofile=b_name, n=5)
3296 def cancel(tasks: Iterable[asyncio.Task]) -> None:
3297 """asyncio signal handler that cancels all `tasks` and reports to stderr."""
3303 def shutdown(loop: BaseEventLoop) -> None:
3304 """Cancel all pending tasks on `loop`, wait for them, and close the loop."""
3306 # This part is borrowed from asyncio/runners.py in Python 3.7b2.
3307 to_cancel = [task for task in asyncio.Task.all_tasks(loop) if not task.done()]
3311 for task in to_cancel:
3313 loop.run_until_complete(
3314 asyncio.gather(*to_cancel, loop=loop, return_exceptions=True)
3317 # `concurrent.futures.Future` objects cannot be cancelled once they
3318 # are already running. There might be some when the `shutdown()` happened.
3319 # Silence their logger's spew about the event loop being closed.
3320 cf_logger = logging.getLogger("concurrent.futures")
3321 cf_logger.setLevel(logging.CRITICAL)
3325 def sub_twice(regex: Pattern[str], replacement: str, original: str) -> str:
3326 """Replace `regex` with `replacement` twice on `original`.
3328 This is used by string normalization to perform replaces on
3329 overlapping matches.
3331 return regex.sub(replacement, regex.sub(replacement, original))
3334 def re_compile_maybe_verbose(regex: str) -> Pattern[str]:
3335 """Compile a regular expression string in `regex`.
3337 If it contains newlines, use verbose mode.
3340 regex = "(?x)" + regex
3341 return re.compile(regex)
3344 def enumerate_reversed(sequence: Sequence[T]) -> Iterator[Tuple[Index, T]]:
3345 """Like `reversed(enumerate(sequence))` if that were possible."""
3346 index = len(sequence) - 1
3347 for element in reversed(sequence):
3348 yield (index, element)
3352 def enumerate_with_length(
3353 line: Line, reversed: bool = False
3354 ) -> Iterator[Tuple[Index, Leaf, int]]:
3355 """Return an enumeration of leaves with their length.
3357 Stops prematurely on multiline strings and standalone comments.
3360 Callable[[Sequence[Leaf]], Iterator[Tuple[Index, Leaf]]],
3361 enumerate_reversed if reversed else enumerate,
3363 for index, leaf in op(line.leaves):
3364 length = len(leaf.prefix) + len(leaf.value)
3365 if "\n" in leaf.value:
3366 return # Multiline strings, we can't continue.
3368 comment: Optional[Leaf]
3369 for comment in line.comments_after(leaf, index):
3370 length += len(comment.value)
3372 yield index, leaf, length
3375 def is_line_short_enough(line: Line, *, line_length: int, line_str: str = "") -> bool:
3376 """Return True if `line` is no longer than `line_length`.
3378 Uses the provided `line_str` rendering, if any, otherwise computes a new one.
3381 line_str = str(line).strip("\n")
3383 len(line_str) <= line_length
3384 and "\n" not in line_str # multiline strings
3385 and not line.contains_standalone_comments()
3389 def can_be_split(line: Line) -> bool:
3390 """Return False if the line cannot be split *for sure*.
3392 This is not an exhaustive search but a cheap heuristic that we can use to
3393 avoid some unfortunate formattings (mostly around wrapping unsplittable code
3394 in unnecessary parentheses).
3396 leaves = line.leaves
3400 if leaves[0].type == token.STRING and leaves[1].type == token.DOT:
3404 for leaf in leaves[-2::-1]:
3405 if leaf.type in OPENING_BRACKETS:
3406 if next.type not in CLOSING_BRACKETS:
3410 elif leaf.type == token.DOT:
3412 elif leaf.type == token.NAME:
3413 if not (next.type == token.DOT or next.type in OPENING_BRACKETS):
3416 elif leaf.type not in CLOSING_BRACKETS:
3419 if dot_count > 1 and call_count > 1:
3425 def can_omit_invisible_parens(line: Line, line_length: int) -> bool:
3426 """Does `line` have a shape safe to reformat without optional parens around it?
3428 Returns True for only a subset of potentially nice looking formattings but
3429 the point is to not return false positives that end up producing lines that
3432 bt = line.bracket_tracker
3433 if not bt.delimiters:
3434 # Without delimiters the optional parentheses are useless.
3437 max_priority = bt.max_delimiter_priority()
3438 if bt.delimiter_count_with_priority(max_priority) > 1:
3439 # With more than one delimiter of a kind the optional parentheses read better.
3442 if max_priority == DOT_PRIORITY:
3443 # A single stranded method call doesn't require optional parentheses.
3446 assert len(line.leaves) >= 2, "Stranded delimiter"
3448 first = line.leaves[0]
3449 second = line.leaves[1]
3450 penultimate = line.leaves[-2]
3451 last = line.leaves[-1]
3453 # With a single delimiter, omit if the expression starts or ends with
3455 if first.type in OPENING_BRACKETS and second.type not in CLOSING_BRACKETS:
3457 length = 4 * line.depth
3458 for _index, leaf, leaf_length in enumerate_with_length(line):
3459 if leaf.type in CLOSING_BRACKETS and leaf.opening_bracket is first:
3462 length += leaf_length
3463 if length > line_length:
3466 if leaf.type in OPENING_BRACKETS:
3467 # There are brackets we can further split on.
3471 # checked the entire string and line length wasn't exceeded
3472 if len(line.leaves) == _index + 1:
3475 # Note: we are not returning False here because a line might have *both*
3476 # a leading opening bracket and a trailing closing bracket. If the
3477 # opening bracket doesn't match our rule, maybe the closing will.
3480 last.type == token.RPAR
3481 or last.type == token.RBRACE
3483 # don't use indexing for omitting optional parentheses;
3485 last.type == token.RSQB
3487 and last.parent.type != syms.trailer
3490 if penultimate.type in OPENING_BRACKETS:
3491 # Empty brackets don't help.
3494 if is_multiline_string(first):
3495 # Additional wrapping of a multiline string in this situation is
3499 length = 4 * line.depth
3500 seen_other_brackets = False
3501 for _index, leaf, leaf_length in enumerate_with_length(line):
3502 length += leaf_length
3503 if leaf is last.opening_bracket:
3504 if seen_other_brackets or length <= line_length:
3507 elif leaf.type in OPENING_BRACKETS:
3508 # There are brackets we can further split on.
3509 seen_other_brackets = True
3514 def get_cache_file(line_length: int, mode: FileMode) -> Path:
3515 return CACHE_DIR / f"cache.{line_length}.{mode.value}.pickle"
3518 def read_cache(line_length: int, mode: FileMode) -> Cache:
3519 """Read the cache if it exists and is well formed.
3521 If it is not well formed, the call to write_cache later should resolve the issue.
3523 cache_file = get_cache_file(line_length, mode)
3524 if not cache_file.exists():
3527 with cache_file.open("rb") as fobj:
3529 cache: Cache = pickle.load(fobj)
3530 except pickle.UnpicklingError:
3536 def get_cache_info(path: Path) -> CacheInfo:
3537 """Return the information used to check if a file is already formatted or not."""
3539 return stat.st_mtime, stat.st_size
3542 def filter_cached(cache: Cache, sources: Iterable[Path]) -> Tuple[Set[Path], Set[Path]]:
3543 """Split an iterable of paths in `sources` into two sets.
3545 The first contains paths of files that modified on disk or are not in the
3546 cache. The other contains paths to non-modified files.
3548 todo, done = set(), set()
3551 if cache.get(src) != get_cache_info(src):
3559 cache: Cache, sources: Iterable[Path], line_length: int, mode: FileMode
3561 """Update the cache file."""
3562 cache_file = get_cache_file(line_length, mode)
3564 if not CACHE_DIR.exists():
3565 CACHE_DIR.mkdir(parents=True)
3566 new_cache = {**cache, **{src.resolve(): get_cache_info(src) for src in sources}}
3567 with cache_file.open("wb") as fobj:
3568 pickle.dump(new_cache, fobj, protocol=pickle.HIGHEST_PROTOCOL)
3573 def patch_click() -> None:
3574 """Make Click not crash.
3576 On certain misconfigured environments, Python 3 selects the ASCII encoding as the
3577 default which restricts paths that it can access during the lifetime of the
3578 application. Click refuses to work in this scenario by raising a RuntimeError.
3580 In case of Black the likelihood that non-ASCII characters are going to be used in
3581 file paths is minimal since it's Python source code. Moreover, this crash was
3582 spurious on Python 3.7 thanks to PEP 538 and PEP 540.
3585 from click import core
3586 from click import _unicodefun # type: ignore
3587 except ModuleNotFoundError:
3590 for module in (core, _unicodefun):
3591 if hasattr(module, "_verify_python3_env"):
3592 module._verify_python3_env = lambda: None
3595 if __name__ == "__main__":