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.
3 from concurrent.futures import Executor, ProcessPoolExecutor
4 from contextlib import contextmanager
5 from datetime import datetime
7 from functools import lru_cache, partial, wraps
11 from multiprocessing import Manager, freeze_support
13 from pathlib import Path
40 from typing_extensions import Final
41 from mypy_extensions import mypyc_attr
43 from appdirs import user_cache_dir
44 from dataclasses import dataclass, field, replace
47 from typed_ast import ast3, ast27
48 from pathspec import PathSpec
51 from blib2to3.pytree import Node, Leaf, type_repr
52 from blib2to3 import pygram, pytree
53 from blib2to3.pgen2 import driver, token
54 from blib2to3.pgen2.grammar import Grammar
55 from blib2to3.pgen2.parse import ParseError
57 from _black_version import version as __version__
59 DEFAULT_LINE_LENGTH = 88
60 DEFAULT_EXCLUDES = r"/(\.eggs|\.git|\.hg|\.mypy_cache|\.nox|\.tox|\.venv|\.svn|_build|buck-out|build|dist)/" # noqa: B950
61 DEFAULT_INCLUDES = r"\.pyi?$"
62 CACHE_DIR = Path(user_cache_dir("black", version=__version__))
74 LN = Union[Leaf, Node]
75 SplitFunc = Callable[["Line", Collection["Feature"]], Iterator["Line"]]
78 CacheInfo = Tuple[Timestamp, FileSize]
79 Cache = Dict[Path, CacheInfo]
80 out = partial(click.secho, bold=True, err=True)
81 err = partial(click.secho, fg="red", err=True)
83 pygram.initialize(CACHE_DIR)
84 syms = pygram.python_symbols
87 class NothingChanged(UserWarning):
88 """Raised when reformatted code is the same as source."""
91 class CannotSplit(Exception):
92 """A readable split that fits the allotted line length is impossible."""
95 class InvalidInput(ValueError):
96 """Raised when input source code fails all parse attempts."""
99 class WriteBack(Enum):
106 def from_configuration(cls, *, check: bool, diff: bool) -> "WriteBack":
107 if check and not diff:
110 return cls.DIFF if diff else cls.YES
119 class TargetVersion(Enum):
128 def is_python2(self) -> bool:
129 return self is TargetVersion.PY27
132 PY36_VERSIONS = {TargetVersion.PY36, TargetVersion.PY37, TargetVersion.PY38}
136 # All string literals are unicode
139 NUMERIC_UNDERSCORES = 3
140 TRAILING_COMMA_IN_CALL = 4
141 TRAILING_COMMA_IN_DEF = 5
142 # The following two feature-flags are mutually exclusive, and exactly one should be
143 # set for every version of python.
144 ASYNC_IDENTIFIERS = 6
146 ASSIGNMENT_EXPRESSIONS = 8
147 POS_ONLY_ARGUMENTS = 9
150 VERSION_TO_FEATURES: Dict[TargetVersion, Set[Feature]] = {
151 TargetVersion.PY27: {Feature.ASYNC_IDENTIFIERS},
152 TargetVersion.PY33: {Feature.UNICODE_LITERALS, Feature.ASYNC_IDENTIFIERS},
153 TargetVersion.PY34: {Feature.UNICODE_LITERALS, Feature.ASYNC_IDENTIFIERS},
154 TargetVersion.PY35: {
155 Feature.UNICODE_LITERALS,
156 Feature.TRAILING_COMMA_IN_CALL,
157 Feature.ASYNC_IDENTIFIERS,
159 TargetVersion.PY36: {
160 Feature.UNICODE_LITERALS,
162 Feature.NUMERIC_UNDERSCORES,
163 Feature.TRAILING_COMMA_IN_CALL,
164 Feature.TRAILING_COMMA_IN_DEF,
165 Feature.ASYNC_IDENTIFIERS,
167 TargetVersion.PY37: {
168 Feature.UNICODE_LITERALS,
170 Feature.NUMERIC_UNDERSCORES,
171 Feature.TRAILING_COMMA_IN_CALL,
172 Feature.TRAILING_COMMA_IN_DEF,
173 Feature.ASYNC_KEYWORDS,
175 TargetVersion.PY38: {
176 Feature.UNICODE_LITERALS,
178 Feature.NUMERIC_UNDERSCORES,
179 Feature.TRAILING_COMMA_IN_CALL,
180 Feature.TRAILING_COMMA_IN_DEF,
181 Feature.ASYNC_KEYWORDS,
182 Feature.ASSIGNMENT_EXPRESSIONS,
183 Feature.POS_ONLY_ARGUMENTS,
190 target_versions: Set[TargetVersion] = field(default_factory=set)
191 line_length: int = DEFAULT_LINE_LENGTH
192 string_normalization: bool = True
195 def get_cache_key(self) -> str:
196 if self.target_versions:
197 version_str = ",".join(
199 for version in sorted(self.target_versions, key=lambda v: v.value)
205 str(self.line_length),
206 str(int(self.string_normalization)),
207 str(int(self.is_pyi)),
209 return ".".join(parts)
212 def supports_feature(target_versions: Set[TargetVersion], feature: Feature) -> bool:
213 return all(feature in VERSION_TO_FEATURES[version] for version in target_versions)
216 def read_pyproject_toml(
217 ctx: click.Context, param: click.Parameter, value: Union[str, int, bool, None]
219 """Inject Black configuration from "pyproject.toml" into defaults in `ctx`.
221 Returns the path to a successfully found and read configuration file, None
224 assert not isinstance(value, (int, bool)), "Invalid parameter type passed"
226 root = find_project_root(ctx.params.get("src", ()))
227 path = root / "pyproject.toml"
234 pyproject_toml = toml.load(value)
235 config = pyproject_toml.get("tool", {}).get("black", {})
236 except (toml.TomlDecodeError, OSError) as e:
237 raise click.FileError(
238 filename=value, hint=f"Error reading configuration file: {e}"
244 if ctx.default_map is None:
246 ctx.default_map.update( # type: ignore # bad types in .pyi
247 {k.replace("--", "").replace("-", "_"): v for k, v in config.items()}
252 def target_version_option_callback(
253 c: click.Context, p: Union[click.Option, click.Parameter], v: Tuple[str, ...]
254 ) -> List[TargetVersion]:
255 """Compute the target versions from a --target-version flag.
257 This is its own function because mypy couldn't infer the type correctly
258 when it was a lambda, causing mypyc trouble.
260 return [TargetVersion[val.upper()] for val in v]
263 @click.command(context_settings=dict(help_option_names=["-h", "--help"]))
264 @click.option("-c", "--code", type=str, help="Format the code passed in as a string.")
269 default=DEFAULT_LINE_LENGTH,
270 help="How many characters per line to allow.",
276 type=click.Choice([v.name.lower() for v in TargetVersion]),
277 callback=target_version_option_callback,
280 "Python versions that should be supported by Black's output. [default: "
281 "per-file auto-detection]"
288 "Allow using Python 3.6-only syntax on all input files. This will put "
289 "trailing commas in function signatures and calls also after *args and "
290 "**kwargs. Deprecated; use --target-version instead. "
291 "[default: per-file auto-detection]"
298 "Format all input files like typing stubs regardless of file extension "
299 "(useful when piping source on standard input)."
304 "--skip-string-normalization",
306 help="Don't normalize string quotes or prefixes.",
312 "Don't write the files back, just return the status. Return code 0 "
313 "means nothing would change. Return code 1 means some files would be "
314 "reformatted. Return code 123 means there was an internal error."
320 help="Don't write the files back, just output a diff for each file on stdout.",
325 help="If --fast given, skip temporary sanity checks. [default: --safe]",
330 default=DEFAULT_INCLUDES,
332 "A regular expression that matches files and directories that should be "
333 "included on recursive searches. An empty value means all files are "
334 "included regardless of the name. Use forward slashes for directories on "
335 "all platforms (Windows, too). Exclusions are calculated first, inclusions "
343 default=DEFAULT_EXCLUDES,
345 "A regular expression that matches files and directories that should be "
346 "excluded on recursive searches. An empty value means no paths are excluded. "
347 "Use forward slashes for directories on all platforms (Windows, too). "
348 "Exclusions are calculated first, inclusions later."
357 "Don't emit non-error messages to stderr. Errors are still emitted; "
358 "silence those with 2>/dev/null."
366 "Also emit messages to stderr about files that were not changed or were "
367 "ignored due to --exclude=."
370 @click.version_option(version=__version__)
375 exists=True, file_okay=True, dir_okay=True, readable=True, allow_dash=True
382 exists=False, file_okay=True, dir_okay=False, readable=True, allow_dash=False
385 callback=read_pyproject_toml,
386 help="Read configuration from PATH.",
393 target_version: List[TargetVersion],
399 skip_string_normalization: bool,
404 src: Tuple[str, ...],
405 config: Optional[str],
407 """The uncompromising code formatter."""
408 write_back = WriteBack.from_configuration(check=check, diff=diff)
411 err(f"Cannot use both --target-version and --py36")
414 versions = set(target_version)
417 "--py36 is deprecated and will be removed in a future version. "
418 "Use --target-version py36 instead."
420 versions = PY36_VERSIONS
422 # We'll autodetect later.
425 target_versions=versions,
426 line_length=line_length,
428 string_normalization=not skip_string_normalization,
430 if config and verbose:
431 out(f"Using configuration from {config}.", bold=False, fg="blue")
433 print(format_str(code, mode=mode))
436 include_regex = re_compile_maybe_verbose(include)
438 err(f"Invalid regular expression for include given: {include!r}")
441 exclude_regex = re_compile_maybe_verbose(exclude)
443 err(f"Invalid regular expression for exclude given: {exclude!r}")
445 report = Report(check=check, quiet=quiet, verbose=verbose)
446 root = find_project_root(src)
447 sources: Set[Path] = set()
448 path_empty(src, quiet, verbose, ctx)
453 gen_python_files_in_dir(
454 p, root, include_regex, exclude_regex, report, get_gitignore(root)
457 elif p.is_file() or s == "-":
458 # if a file was explicitly given, we don't care about its extension
461 err(f"invalid path: {s}")
462 if len(sources) == 0:
463 if verbose or not quiet:
464 out("No Python files are present to be formatted. Nothing to do 😴")
467 if len(sources) == 1:
471 write_back=write_back,
477 sources=sources, fast=fast, write_back=write_back, mode=mode, report=report
480 if verbose or not quiet:
481 out("Oh no! 💥 💔 💥" if report.return_code else "All done! ✨ 🍰 ✨")
482 click.secho(str(report), err=True)
483 ctx.exit(report.return_code)
487 src: Tuple[str, ...], quiet: bool, verbose: bool, ctx: click.Context
490 Exit if there is no `src` provided for formatting
493 if verbose or not quiet:
494 out("No Path provided. Nothing to do 😴")
499 src: Path, fast: bool, write_back: WriteBack, mode: FileMode, report: "Report"
501 """Reformat a single file under `src` without spawning child processes.
503 `fast`, `write_back`, and `mode` options are passed to
504 :func:`format_file_in_place` or :func:`format_stdin_to_stdout`.
508 if not src.is_file() and str(src) == "-":
509 if format_stdin_to_stdout(fast=fast, write_back=write_back, mode=mode):
510 changed = Changed.YES
513 if write_back != WriteBack.DIFF:
514 cache = read_cache(mode)
515 res_src = src.resolve()
516 if res_src in cache and cache[res_src] == get_cache_info(res_src):
517 changed = Changed.CACHED
518 if changed is not Changed.CACHED and format_file_in_place(
519 src, fast=fast, write_back=write_back, mode=mode
521 changed = Changed.YES
522 if (write_back is WriteBack.YES and changed is not Changed.CACHED) or (
523 write_back is WriteBack.CHECK and changed is Changed.NO
525 write_cache(cache, [src], mode)
526 report.done(src, changed)
527 except Exception as exc:
528 report.failed(src, str(exc))
534 write_back: WriteBack,
538 """Reformat multiple files using a ProcessPoolExecutor."""
539 loop = asyncio.get_event_loop()
540 worker_count = os.cpu_count()
541 if sys.platform == "win32":
542 # Work around https://bugs.python.org/issue26903
543 worker_count = min(worker_count, 61)
544 executor = ProcessPoolExecutor(max_workers=worker_count)
546 loop.run_until_complete(
550 write_back=write_back,
562 async def schedule_formatting(
565 write_back: WriteBack,
568 loop: asyncio.AbstractEventLoop,
571 """Run formatting of `sources` in parallel using the provided `executor`.
573 (Use ProcessPoolExecutors for actual parallelism.)
575 `write_back`, `fast`, and `mode` options are passed to
576 :func:`format_file_in_place`.
579 if write_back != WriteBack.DIFF:
580 cache = read_cache(mode)
581 sources, cached = filter_cached(cache, sources)
582 for src in sorted(cached):
583 report.done(src, Changed.CACHED)
588 sources_to_cache = []
590 if write_back == WriteBack.DIFF:
591 # For diff output, we need locks to ensure we don't interleave output
592 # from different processes.
594 lock = manager.Lock()
596 asyncio.ensure_future(
597 loop.run_in_executor(
598 executor, format_file_in_place, src, fast, mode, write_back, lock
601 for src in sorted(sources)
603 pending: Iterable["asyncio.Future[bool]"] = tasks.keys()
605 loop.add_signal_handler(signal.SIGINT, cancel, pending)
606 loop.add_signal_handler(signal.SIGTERM, cancel, pending)
607 except NotImplementedError:
608 # There are no good alternatives for these on Windows.
611 done, _ = await asyncio.wait(pending, return_when=asyncio.FIRST_COMPLETED)
613 src = tasks.pop(task)
615 cancelled.append(task)
616 elif task.exception():
617 report.failed(src, str(task.exception()))
619 changed = Changed.YES if task.result() else Changed.NO
620 # If the file was written back or was successfully checked as
621 # well-formatted, store this information in the cache.
622 if write_back is WriteBack.YES or (
623 write_back is WriteBack.CHECK and changed is Changed.NO
625 sources_to_cache.append(src)
626 report.done(src, changed)
628 await asyncio.gather(*cancelled, loop=loop, return_exceptions=True)
630 write_cache(cache, sources_to_cache, mode)
633 def format_file_in_place(
637 write_back: WriteBack = WriteBack.NO,
638 lock: Any = None, # multiprocessing.Manager().Lock() is some crazy proxy
640 """Format file under `src` path. Return True if changed.
642 If `write_back` is DIFF, write a diff to stdout. If it is YES, write reformatted
644 `mode` and `fast` options are passed to :func:`format_file_contents`.
646 if src.suffix == ".pyi":
647 mode = replace(mode, is_pyi=True)
649 then = datetime.utcfromtimestamp(src.stat().st_mtime)
650 with open(src, "rb") as buf:
651 src_contents, encoding, newline = decode_bytes(buf.read())
653 dst_contents = format_file_contents(src_contents, fast=fast, mode=mode)
654 except NothingChanged:
657 if write_back == WriteBack.YES:
658 with open(src, "w", encoding=encoding, newline=newline) as f:
659 f.write(dst_contents)
660 elif write_back == WriteBack.DIFF:
661 now = datetime.utcnow()
662 src_name = f"{src}\t{then} +0000"
663 dst_name = f"{src}\t{now} +0000"
664 diff_contents = diff(src_contents, dst_contents, src_name, dst_name)
666 with lock or nullcontext():
667 f = io.TextIOWrapper(
673 f.write(diff_contents)
679 def format_stdin_to_stdout(
680 fast: bool, *, write_back: WriteBack = WriteBack.NO, mode: FileMode
682 """Format file on stdin. Return True if changed.
684 If `write_back` is YES, write reformatted code back to stdout. If it is DIFF,
685 write a diff to stdout. The `mode` argument is passed to
686 :func:`format_file_contents`.
688 then = datetime.utcnow()
689 src, encoding, newline = decode_bytes(sys.stdin.buffer.read())
692 dst = format_file_contents(src, fast=fast, mode=mode)
695 except NothingChanged:
699 f = io.TextIOWrapper(
700 sys.stdout.buffer, encoding=encoding, newline=newline, write_through=True
702 if write_back == WriteBack.YES:
704 elif write_back == WriteBack.DIFF:
705 now = datetime.utcnow()
706 src_name = f"STDIN\t{then} +0000"
707 dst_name = f"STDOUT\t{now} +0000"
708 f.write(diff(src, dst, src_name, dst_name))
712 def format_file_contents(
713 src_contents: str, *, fast: bool, mode: FileMode
715 """Reformat contents a file and return new contents.
717 If `fast` is False, additionally confirm that the reformatted code is
718 valid by calling :func:`assert_equivalent` and :func:`assert_stable` on it.
719 `mode` is passed to :func:`format_str`.
721 if src_contents.strip() == "":
724 dst_contents = format_str(src_contents, mode=mode)
725 if src_contents == dst_contents:
729 assert_equivalent(src_contents, dst_contents)
730 assert_stable(src_contents, dst_contents, mode=mode)
734 def format_str(src_contents: str, *, mode: FileMode) -> FileContent:
735 """Reformat a string and return new contents.
737 `mode` determines formatting options, such as how many characters per line are
740 src_node = lib2to3_parse(src_contents.lstrip(), mode.target_versions)
742 future_imports = get_future_imports(src_node)
743 if mode.target_versions:
744 versions = mode.target_versions
746 versions = detect_target_versions(src_node)
747 normalize_fmt_off(src_node)
748 lines = LineGenerator(
749 remove_u_prefix="unicode_literals" in future_imports
750 or supports_feature(versions, Feature.UNICODE_LITERALS),
752 normalize_strings=mode.string_normalization,
754 elt = EmptyLineTracker(is_pyi=mode.is_pyi)
757 split_line_features = {
759 for feature in {Feature.TRAILING_COMMA_IN_CALL, Feature.TRAILING_COMMA_IN_DEF}
760 if supports_feature(versions, feature)
762 for current_line in lines.visit(src_node):
763 for _ in range(after):
764 dst_contents.append(str(empty_line))
765 before, after = elt.maybe_empty_lines(current_line)
766 for _ in range(before):
767 dst_contents.append(str(empty_line))
768 for line in split_line(
769 current_line, line_length=mode.line_length, features=split_line_features
771 dst_contents.append(str(line))
772 return "".join(dst_contents)
775 def decode_bytes(src: bytes) -> Tuple[FileContent, Encoding, NewLine]:
776 """Return a tuple of (decoded_contents, encoding, newline).
778 `newline` is either CRLF or LF but `decoded_contents` is decoded with
779 universal newlines (i.e. only contains LF).
781 srcbuf = io.BytesIO(src)
782 encoding, lines = tokenize.detect_encoding(srcbuf.readline)
784 return "", encoding, "\n"
786 newline = "\r\n" if b"\r\n" == lines[0][-2:] else "\n"
788 with io.TextIOWrapper(srcbuf, encoding) as tiow:
789 return tiow.read(), encoding, newline
792 def get_grammars(target_versions: Set[TargetVersion]) -> List[Grammar]:
793 if not target_versions:
794 # No target_version specified, so try all grammars.
797 pygram.python_grammar_no_print_statement_no_exec_statement_async_keywords,
799 pygram.python_grammar_no_print_statement_no_exec_statement,
800 # Python 2.7 with future print_function import
801 pygram.python_grammar_no_print_statement,
803 pygram.python_grammar,
806 if all(version.is_python2() for version in target_versions):
807 # Python 2-only code, so try Python 2 grammars.
809 # Python 2.7 with future print_function import
810 pygram.python_grammar_no_print_statement,
812 pygram.python_grammar,
815 # Python 3-compatible code, so only try Python 3 grammar.
817 # If we have to parse both, try to parse async as a keyword first
818 if not supports_feature(target_versions, Feature.ASYNC_IDENTIFIERS):
821 pygram.python_grammar_no_print_statement_no_exec_statement_async_keywords
823 if not supports_feature(target_versions, Feature.ASYNC_KEYWORDS):
825 grammars.append(pygram.python_grammar_no_print_statement_no_exec_statement)
826 # At least one of the above branches must have been taken, because every Python
827 # version has exactly one of the two 'ASYNC_*' flags
831 def lib2to3_parse(src_txt: str, target_versions: Iterable[TargetVersion] = ()) -> Node:
832 """Given a string with source, return the lib2to3 Node."""
833 if src_txt[-1:] != "\n":
836 for grammar in get_grammars(set(target_versions)):
837 drv = driver.Driver(grammar, pytree.convert)
839 result = drv.parse_string(src_txt, True)
842 except ParseError as pe:
843 lineno, column = pe.context[1]
844 lines = src_txt.splitlines()
846 faulty_line = lines[lineno - 1]
848 faulty_line = "<line number missing in source>"
849 exc = InvalidInput(f"Cannot parse: {lineno}:{column}: {faulty_line}")
853 if isinstance(result, Leaf):
854 result = Node(syms.file_input, [result])
858 def lib2to3_unparse(node: Node) -> str:
859 """Given a lib2to3 node, return its string representation."""
867 class Visitor(Generic[T]):
868 """Basic lib2to3 visitor that yields things of type `T` on `visit()`."""
870 def visit(self, node: LN) -> Iterator[T]:
871 """Main method to visit `node` and its children.
873 It tries to find a `visit_*()` method for the given `node.type`, like
874 `visit_simple_stmt` for Node objects or `visit_INDENT` for Leaf objects.
875 If no dedicated `visit_*()` method is found, chooses `visit_default()`
878 Then yields objects of type `T` from the selected visitor.
881 name = token.tok_name[node.type]
883 name = str(type_repr(node.type))
884 # We explicitly branch on whether a visitor exists (instead of
885 # using self.visit_default as the default arg to getattr) in order
886 # to save needing to create a bound method object and so mypyc can
887 # generate a native call to visit_default.
888 visitf = getattr(self, f"visit_{name}", None)
890 yield from visitf(node)
892 yield from self.visit_default(node)
894 def visit_default(self, node: LN) -> Iterator[T]:
895 """Default `visit_*()` implementation. Recurses to children of `node`."""
896 if isinstance(node, Node):
897 for child in node.children:
898 yield from self.visit(child)
902 class DebugVisitor(Visitor[T]):
905 def visit_default(self, node: LN) -> Iterator[T]:
906 indent = " " * (2 * self.tree_depth)
907 if isinstance(node, Node):
908 _type = type_repr(node.type)
909 out(f"{indent}{_type}", fg="yellow")
911 for child in node.children:
912 yield from self.visit(child)
915 out(f"{indent}/{_type}", fg="yellow", bold=False)
917 _type = token.tok_name.get(node.type, str(node.type))
918 out(f"{indent}{_type}", fg="blue", nl=False)
920 # We don't have to handle prefixes for `Node` objects since
921 # that delegates to the first child anyway.
922 out(f" {node.prefix!r}", fg="green", bold=False, nl=False)
923 out(f" {node.value!r}", fg="blue", bold=False)
926 def show(cls, code: Union[str, Leaf, Node]) -> None:
927 """Pretty-print the lib2to3 AST of a given string of `code`.
929 Convenience method for debugging.
931 v: DebugVisitor[None] = DebugVisitor()
932 if isinstance(code, str):
933 code = lib2to3_parse(code)
937 WHITESPACE: Final = {token.DEDENT, token.INDENT, token.NEWLINE}
948 STANDALONE_COMMENT: Final = 153
949 token.tok_name[STANDALONE_COMMENT] = "STANDALONE_COMMENT"
950 LOGIC_OPERATORS: Final = {"and", "or"}
951 COMPARATORS: Final = {
959 MATH_OPERATORS: Final = {
975 STARS: Final = {token.STAR, token.DOUBLESTAR}
976 VARARGS_SPECIALS: Final = STARS | {token.SLASH}
977 VARARGS_PARENTS: Final = {
979 syms.argument, # double star in arglist
980 syms.trailer, # single argument to call
982 syms.varargslist, # lambdas
984 UNPACKING_PARENTS: Final = {
985 syms.atom, # single element of a list or set literal
989 syms.testlist_star_expr,
991 TEST_DESCENDANTS: Final = {
1008 ASSIGNMENTS: Final = {
1024 COMPREHENSION_PRIORITY: Final = 20
1025 COMMA_PRIORITY: Final = 18
1026 TERNARY_PRIORITY: Final = 16
1027 LOGIC_PRIORITY: Final = 14
1028 STRING_PRIORITY: Final = 12
1029 COMPARATOR_PRIORITY: Final = 10
1030 MATH_PRIORITIES: Final = {
1032 token.CIRCUMFLEX: 8,
1035 token.RIGHTSHIFT: 6,
1040 token.DOUBLESLASH: 4,
1044 token.DOUBLESTAR: 2,
1046 DOT_PRIORITY: Final = 1
1050 class BracketTracker:
1051 """Keeps track of brackets on a line."""
1054 bracket_match: Dict[Tuple[Depth, NodeType], Leaf] = field(default_factory=dict)
1055 delimiters: Dict[LeafID, Priority] = field(default_factory=dict)
1056 previous: Optional[Leaf] = None
1057 _for_loop_depths: List[int] = field(default_factory=list)
1058 _lambda_argument_depths: List[int] = field(default_factory=list)
1060 def mark(self, leaf: Leaf) -> None:
1061 """Mark `leaf` with bracket-related metadata. Keep track of delimiters.
1063 All leaves receive an int `bracket_depth` field that stores how deep
1064 within brackets a given leaf is. 0 means there are no enclosing brackets
1065 that started on this line.
1067 If a leaf is itself a closing bracket, it receives an `opening_bracket`
1068 field that it forms a pair with. This is a one-directional link to
1069 avoid reference cycles.
1071 If a leaf is a delimiter (a token on which Black can split the line if
1072 needed) and it's on depth 0, its `id()` is stored in the tracker's
1075 if leaf.type == token.COMMENT:
1078 self.maybe_decrement_after_for_loop_variable(leaf)
1079 self.maybe_decrement_after_lambda_arguments(leaf)
1080 if leaf.type in CLOSING_BRACKETS:
1082 opening_bracket = self.bracket_match.pop((self.depth, leaf.type))
1083 leaf.opening_bracket = opening_bracket
1084 leaf.bracket_depth = self.depth
1086 delim = is_split_before_delimiter(leaf, self.previous)
1087 if delim and self.previous is not None:
1088 self.delimiters[id(self.previous)] = delim
1090 delim = is_split_after_delimiter(leaf, self.previous)
1092 self.delimiters[id(leaf)] = delim
1093 if leaf.type in OPENING_BRACKETS:
1094 self.bracket_match[self.depth, BRACKET[leaf.type]] = leaf
1096 self.previous = leaf
1097 self.maybe_increment_lambda_arguments(leaf)
1098 self.maybe_increment_for_loop_variable(leaf)
1100 def any_open_brackets(self) -> bool:
1101 """Return True if there is an yet unmatched open bracket on the line."""
1102 return bool(self.bracket_match)
1104 def max_delimiter_priority(self, exclude: Iterable[LeafID] = ()) -> Priority:
1105 """Return the highest priority of a delimiter found on the line.
1107 Values are consistent with what `is_split_*_delimiter()` return.
1108 Raises ValueError on no delimiters.
1110 return max(v for k, v in self.delimiters.items() if k not in exclude)
1112 def delimiter_count_with_priority(self, priority: Priority = 0) -> int:
1113 """Return the number of delimiters with the given `priority`.
1115 If no `priority` is passed, defaults to max priority on the line.
1117 if not self.delimiters:
1120 priority = priority or self.max_delimiter_priority()
1121 return sum(1 for p in self.delimiters.values() if p == priority)
1123 def maybe_increment_for_loop_variable(self, leaf: Leaf) -> bool:
1124 """In a for loop, or comprehension, the variables are often unpacks.
1126 To avoid splitting on the comma in this situation, increase the depth of
1127 tokens between `for` and `in`.
1129 if leaf.type == token.NAME and leaf.value == "for":
1131 self._for_loop_depths.append(self.depth)
1136 def maybe_decrement_after_for_loop_variable(self, leaf: Leaf) -> bool:
1137 """See `maybe_increment_for_loop_variable` above for explanation."""
1139 self._for_loop_depths
1140 and self._for_loop_depths[-1] == self.depth
1141 and leaf.type == token.NAME
1142 and leaf.value == "in"
1145 self._for_loop_depths.pop()
1150 def maybe_increment_lambda_arguments(self, leaf: Leaf) -> bool:
1151 """In a lambda expression, there might be more than one argument.
1153 To avoid splitting on the comma in this situation, increase the depth of
1154 tokens between `lambda` and `:`.
1156 if leaf.type == token.NAME and leaf.value == "lambda":
1158 self._lambda_argument_depths.append(self.depth)
1163 def maybe_decrement_after_lambda_arguments(self, leaf: Leaf) -> bool:
1164 """See `maybe_increment_lambda_arguments` above for explanation."""
1166 self._lambda_argument_depths
1167 and self._lambda_argument_depths[-1] == self.depth
1168 and leaf.type == token.COLON
1171 self._lambda_argument_depths.pop()
1176 def get_open_lsqb(self) -> Optional[Leaf]:
1177 """Return the most recent opening square bracket (if any)."""
1178 return self.bracket_match.get((self.depth - 1, token.RSQB))
1183 """Holds leaves and comments. Can be printed with `str(line)`."""
1186 leaves: List[Leaf] = field(default_factory=list)
1187 # keys ordered like `leaves`
1188 comments: Dict[LeafID, List[Leaf]] = field(default_factory=dict)
1189 bracket_tracker: BracketTracker = field(default_factory=BracketTracker)
1190 inside_brackets: bool = False
1191 should_explode: bool = False
1193 def append(self, leaf: Leaf, preformatted: bool = False) -> None:
1194 """Add a new `leaf` to the end of the line.
1196 Unless `preformatted` is True, the `leaf` will receive a new consistent
1197 whitespace prefix and metadata applied by :class:`BracketTracker`.
1198 Trailing commas are maybe removed, unpacked for loop variables are
1199 demoted from being delimiters.
1201 Inline comments are put aside.
1203 has_value = leaf.type in BRACKETS or bool(leaf.value.strip())
1207 if token.COLON == leaf.type and self.is_class_paren_empty:
1208 del self.leaves[-2:]
1209 if self.leaves and not preformatted:
1210 # Note: at this point leaf.prefix should be empty except for
1211 # imports, for which we only preserve newlines.
1212 leaf.prefix += whitespace(
1213 leaf, complex_subscript=self.is_complex_subscript(leaf)
1215 if self.inside_brackets or not preformatted:
1216 self.bracket_tracker.mark(leaf)
1217 self.maybe_remove_trailing_comma(leaf)
1218 if not self.append_comment(leaf):
1219 self.leaves.append(leaf)
1221 def append_safe(self, leaf: Leaf, preformatted: bool = False) -> None:
1222 """Like :func:`append()` but disallow invalid standalone comment structure.
1224 Raises ValueError when any `leaf` is appended after a standalone comment
1225 or when a standalone comment is not the first leaf on the line.
1227 if self.bracket_tracker.depth == 0:
1229 raise ValueError("cannot append to standalone comments")
1231 if self.leaves and leaf.type == STANDALONE_COMMENT:
1233 "cannot append standalone comments to a populated line"
1236 self.append(leaf, preformatted=preformatted)
1239 def is_comment(self) -> bool:
1240 """Is this line a standalone comment?"""
1241 return len(self.leaves) == 1 and self.leaves[0].type == STANDALONE_COMMENT
1244 def is_decorator(self) -> bool:
1245 """Is this line a decorator?"""
1246 return bool(self) and self.leaves[0].type == token.AT
1249 def is_import(self) -> bool:
1250 """Is this an import line?"""
1251 return bool(self) and is_import(self.leaves[0])
1254 def is_class(self) -> bool:
1255 """Is this line a class definition?"""
1258 and self.leaves[0].type == token.NAME
1259 and self.leaves[0].value == "class"
1263 def is_stub_class(self) -> bool:
1264 """Is this line a class definition with a body consisting only of "..."?"""
1265 return self.is_class and self.leaves[-3:] == [
1266 Leaf(token.DOT, ".") for _ in range(3)
1270 def is_collection_with_optional_trailing_comma(self) -> bool:
1271 """Is this line a collection literal with a trailing comma that's optional?
1273 Note that the trailing comma in a 1-tuple is not optional.
1275 if not self.leaves or len(self.leaves) < 4:
1278 # Look for and address a trailing colon.
1279 if self.leaves[-1].type == token.COLON:
1280 closer = self.leaves[-2]
1283 closer = self.leaves[-1]
1285 if closer.type not in CLOSING_BRACKETS or self.inside_brackets:
1288 if closer.type == token.RPAR:
1289 # Tuples require an extra check, because if there's only
1290 # one element in the tuple removing the comma unmakes the
1293 # We also check for parens before looking for the trailing
1294 # comma because in some cases (eg assigning a dict
1295 # literal) the literal gets wrapped in temporary parens
1296 # during parsing. This case is covered by the
1297 # collections.py test data.
1298 opener = closer.opening_bracket
1299 for _open_index, leaf in enumerate(self.leaves):
1304 # Couldn't find the matching opening paren, play it safe.
1308 comma_depth = self.leaves[close_index - 1].bracket_depth
1309 for leaf in self.leaves[_open_index + 1 : close_index]:
1310 if leaf.bracket_depth == comma_depth and leaf.type == token.COMMA:
1313 # We haven't looked yet for the trailing comma because
1314 # we might also have caught noop parens.
1315 return self.leaves[close_index - 1].type == token.COMMA
1318 return False # it's either a one-tuple or didn't have a trailing comma
1320 if self.leaves[close_index - 1].type in CLOSING_BRACKETS:
1322 closer = self.leaves[close_index]
1323 if closer.type == token.RPAR:
1324 # TODO: this is a gut feeling. Will we ever see this?
1327 if self.leaves[close_index - 1].type != token.COMMA:
1333 def is_def(self) -> bool:
1334 """Is this a function definition? (Also returns True for async defs.)"""
1336 first_leaf = self.leaves[0]
1341 second_leaf: Optional[Leaf] = self.leaves[1]
1344 return (first_leaf.type == token.NAME and first_leaf.value == "def") or (
1345 first_leaf.type == token.ASYNC
1346 and second_leaf is not None
1347 and second_leaf.type == token.NAME
1348 and second_leaf.value == "def"
1352 def is_class_paren_empty(self) -> bool:
1353 """Is this a class with no base classes but using parentheses?
1355 Those are unnecessary and should be removed.
1359 and len(self.leaves) == 4
1361 and self.leaves[2].type == token.LPAR
1362 and self.leaves[2].value == "("
1363 and self.leaves[3].type == token.RPAR
1364 and self.leaves[3].value == ")"
1368 def is_triple_quoted_string(self) -> bool:
1369 """Is the line a triple quoted string?"""
1372 and self.leaves[0].type == token.STRING
1373 and self.leaves[0].value.startswith(('"""', "'''"))
1376 def contains_standalone_comments(self, depth_limit: int = sys.maxsize) -> bool:
1377 """If so, needs to be split before emitting."""
1378 for leaf in self.leaves:
1379 if leaf.type == STANDALONE_COMMENT and leaf.bracket_depth <= depth_limit:
1384 def contains_uncollapsable_type_comments(self) -> bool:
1387 last_leaf = self.leaves[-1]
1388 ignored_ids.add(id(last_leaf))
1389 if last_leaf.type == token.COMMA or (
1390 last_leaf.type == token.RPAR and not last_leaf.value
1392 # When trailing commas or optional parens are inserted by Black for
1393 # consistency, comments after the previous last element are not moved
1394 # (they don't have to, rendering will still be correct). So we ignore
1395 # trailing commas and invisible.
1396 last_leaf = self.leaves[-2]
1397 ignored_ids.add(id(last_leaf))
1401 # A type comment is uncollapsable if it is attached to a leaf
1402 # that isn't at the end of the line (since that could cause it
1403 # to get associated to a different argument) or if there are
1404 # comments before it (since that could cause it to get hidden
1406 comment_seen = False
1407 for leaf_id, comments in self.comments.items():
1408 for comment in comments:
1409 if is_type_comment(comment):
1410 if comment_seen or (
1411 not is_type_comment(comment, " ignore")
1412 and leaf_id not in ignored_ids
1420 def contains_unsplittable_type_ignore(self) -> bool:
1424 # If a 'type: ignore' is attached to the end of a line, we
1425 # can't split the line, because we can't know which of the
1426 # subexpressions the ignore was meant to apply to.
1428 # We only want this to apply to actual physical lines from the
1429 # original source, though: we don't want the presence of a
1430 # 'type: ignore' at the end of a multiline expression to
1431 # justify pushing it all onto one line. Thus we
1432 # (unfortunately) need to check the actual source lines and
1433 # only report an unsplittable 'type: ignore' if this line was
1434 # one line in the original code.
1436 # Grab the first and last line numbers, skipping generated leaves
1437 first_line = next((l.lineno for l in self.leaves if l.lineno != 0), 0)
1438 last_line = next((l.lineno for l in reversed(self.leaves) if l.lineno != 0), 0)
1440 if first_line == last_line:
1441 # We look at the last two leaves since a comma or an
1442 # invisible paren could have been added at the end of the
1444 for node in self.leaves[-2:]:
1445 for comment in self.comments.get(id(node), []):
1446 if is_type_comment(comment, " ignore"):
1451 def contains_multiline_strings(self) -> bool:
1452 for leaf in self.leaves:
1453 if is_multiline_string(leaf):
1458 def maybe_remove_trailing_comma(self, closing: Leaf) -> bool:
1459 """Remove trailing comma if there is one and it's safe."""
1460 if not (self.leaves and self.leaves[-1].type == token.COMMA):
1463 # We remove trailing commas only in the case of importing a
1464 # single name from a module.
1468 and len(self.leaves) > 4
1469 and self.leaves[-1].type == token.COMMA
1470 and closing.type in CLOSING_BRACKETS
1471 and self.leaves[-4].type == token.NAME
1473 # regular `from foo import bar,`
1474 self.leaves[-4].value == "import"
1475 # `from foo import (bar as baz,)
1477 len(self.leaves) > 6
1478 and self.leaves[-6].value == "import"
1479 and self.leaves[-3].value == "as"
1481 # `from foo import bar as baz,`
1483 len(self.leaves) > 5
1484 and self.leaves[-5].value == "import"
1485 and self.leaves[-3].value == "as"
1488 and closing.type == token.RPAR
1492 self.remove_trailing_comma()
1495 def append_comment(self, comment: Leaf) -> bool:
1496 """Add an inline or standalone comment to the line."""
1498 comment.type == STANDALONE_COMMENT
1499 and self.bracket_tracker.any_open_brackets()
1504 if comment.type != token.COMMENT:
1508 comment.type = STANDALONE_COMMENT
1512 last_leaf = self.leaves[-1]
1514 last_leaf.type == token.RPAR
1515 and not last_leaf.value
1516 and last_leaf.parent
1517 and len(list(last_leaf.parent.leaves())) <= 3
1518 and not is_type_comment(comment)
1520 # Comments on an optional parens wrapping a single leaf should belong to
1521 # the wrapped node except if it's a type comment. Pinning the comment like
1522 # this avoids unstable formatting caused by comment migration.
1523 if len(self.leaves) < 2:
1524 comment.type = STANDALONE_COMMENT
1528 last_leaf = self.leaves[-2]
1529 self.comments.setdefault(id(last_leaf), []).append(comment)
1532 def comments_after(self, leaf: Leaf) -> List[Leaf]:
1533 """Generate comments that should appear directly after `leaf`."""
1534 return self.comments.get(id(leaf), [])
1536 def remove_trailing_comma(self) -> None:
1537 """Remove the trailing comma and moves the comments attached to it."""
1538 trailing_comma = self.leaves.pop()
1539 trailing_comma_comments = self.comments.pop(id(trailing_comma), [])
1540 self.comments.setdefault(id(self.leaves[-1]), []).extend(
1541 trailing_comma_comments
1544 def is_complex_subscript(self, leaf: Leaf) -> bool:
1545 """Return True iff `leaf` is part of a slice with non-trivial exprs."""
1546 open_lsqb = self.bracket_tracker.get_open_lsqb()
1547 if open_lsqb is None:
1550 subscript_start = open_lsqb.next_sibling
1552 if isinstance(subscript_start, Node):
1553 if subscript_start.type == syms.listmaker:
1556 if subscript_start.type == syms.subscriptlist:
1557 subscript_start = child_towards(subscript_start, leaf)
1558 return subscript_start is not None and any(
1559 n.type in TEST_DESCENDANTS for n in subscript_start.pre_order()
1562 def __str__(self) -> str:
1563 """Render the line."""
1567 indent = " " * self.depth
1568 leaves = iter(self.leaves)
1569 first = next(leaves)
1570 res = f"{first.prefix}{indent}{first.value}"
1573 for comment in itertools.chain.from_iterable(self.comments.values()):
1577 def __bool__(self) -> bool:
1578 """Return True if the line has leaves or comments."""
1579 return bool(self.leaves or self.comments)
1583 class EmptyLineTracker:
1584 """Provides a stateful method that returns the number of potential extra
1585 empty lines needed before and after the currently processed line.
1587 Note: this tracker works on lines that haven't been split yet. It assumes
1588 the prefix of the first leaf consists of optional newlines. Those newlines
1589 are consumed by `maybe_empty_lines()` and included in the computation.
1592 is_pyi: bool = False
1593 previous_line: Optional[Line] = None
1594 previous_after: int = 0
1595 previous_defs: List[int] = field(default_factory=list)
1597 def maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1598 """Return the number of extra empty lines before and after the `current_line`.
1600 This is for separating `def`, `async def` and `class` with extra empty
1601 lines (two on module-level).
1603 before, after = self._maybe_empty_lines(current_line)
1605 # Black should not insert empty lines at the beginning
1608 if self.previous_line is None
1609 else before - self.previous_after
1611 self.previous_after = after
1612 self.previous_line = current_line
1613 return before, after
1615 def _maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1617 if current_line.depth == 0:
1618 max_allowed = 1 if self.is_pyi else 2
1619 if current_line.leaves:
1620 # Consume the first leaf's extra newlines.
1621 first_leaf = current_line.leaves[0]
1622 before = first_leaf.prefix.count("\n")
1623 before = min(before, max_allowed)
1624 first_leaf.prefix = ""
1627 depth = current_line.depth
1628 while self.previous_defs and self.previous_defs[-1] >= depth:
1629 self.previous_defs.pop()
1631 before = 0 if depth else 1
1633 before = 1 if depth else 2
1634 if current_line.is_decorator or current_line.is_def or current_line.is_class:
1635 return self._maybe_empty_lines_for_class_or_def(current_line, before)
1639 and self.previous_line.is_import
1640 and not current_line.is_import
1641 and depth == self.previous_line.depth
1643 return (before or 1), 0
1647 and self.previous_line.is_class
1648 and current_line.is_triple_quoted_string
1654 def _maybe_empty_lines_for_class_or_def(
1655 self, current_line: Line, before: int
1656 ) -> Tuple[int, int]:
1657 if not current_line.is_decorator:
1658 self.previous_defs.append(current_line.depth)
1659 if self.previous_line is None:
1660 # Don't insert empty lines before the first line in the file.
1663 if self.previous_line.is_decorator:
1666 if self.previous_line.depth < current_line.depth and (
1667 self.previous_line.is_class or self.previous_line.is_def
1672 self.previous_line.is_comment
1673 and self.previous_line.depth == current_line.depth
1679 if self.previous_line.depth > current_line.depth:
1681 elif current_line.is_class or self.previous_line.is_class:
1682 if current_line.is_stub_class and self.previous_line.is_stub_class:
1683 # No blank line between classes with an empty body
1687 elif current_line.is_def and not self.previous_line.is_def:
1688 # Blank line between a block of functions and a block of non-functions
1694 if current_line.depth and newlines:
1700 class LineGenerator(Visitor[Line]):
1701 """Generates reformatted Line objects. Empty lines are not emitted.
1703 Note: destroys the tree it's visiting by mutating prefixes of its leaves
1704 in ways that will no longer stringify to valid Python code on the tree.
1707 is_pyi: bool = False
1708 normalize_strings: bool = True
1709 current_line: Line = field(default_factory=Line)
1710 remove_u_prefix: bool = False
1712 def line(self, indent: int = 0) -> Iterator[Line]:
1715 If the line is empty, only emit if it makes sense.
1716 If the line is too long, split it first and then generate.
1718 If any lines were generated, set up a new current_line.
1720 if not self.current_line:
1721 self.current_line.depth += indent
1722 return # Line is empty, don't emit. Creating a new one unnecessary.
1724 complete_line = self.current_line
1725 self.current_line = Line(depth=complete_line.depth + indent)
1728 def visit_default(self, node: LN) -> Iterator[Line]:
1729 """Default `visit_*()` implementation. Recurses to children of `node`."""
1730 if isinstance(node, Leaf):
1731 any_open_brackets = self.current_line.bracket_tracker.any_open_brackets()
1732 for comment in generate_comments(node):
1733 if any_open_brackets:
1734 # any comment within brackets is subject to splitting
1735 self.current_line.append(comment)
1736 elif comment.type == token.COMMENT:
1737 # regular trailing comment
1738 self.current_line.append(comment)
1739 yield from self.line()
1742 # regular standalone comment
1743 yield from self.line()
1745 self.current_line.append(comment)
1746 yield from self.line()
1748 normalize_prefix(node, inside_brackets=any_open_brackets)
1749 if self.normalize_strings and node.type == token.STRING:
1750 normalize_string_prefix(node, remove_u_prefix=self.remove_u_prefix)
1751 normalize_string_quotes(node)
1752 if node.type == token.NUMBER:
1753 normalize_numeric_literal(node)
1754 if node.type not in WHITESPACE:
1755 self.current_line.append(node)
1756 yield from super().visit_default(node)
1758 def visit_INDENT(self, node: Leaf) -> Iterator[Line]:
1759 """Increase indentation level, maybe yield a line."""
1760 # In blib2to3 INDENT never holds comments.
1761 yield from self.line(+1)
1762 yield from self.visit_default(node)
1764 def visit_DEDENT(self, node: Leaf) -> Iterator[Line]:
1765 """Decrease indentation level, maybe yield a line."""
1766 # The current line might still wait for trailing comments. At DEDENT time
1767 # there won't be any (they would be prefixes on the preceding NEWLINE).
1768 # Emit the line then.
1769 yield from self.line()
1771 # While DEDENT has no value, its prefix may contain standalone comments
1772 # that belong to the current indentation level. Get 'em.
1773 yield from self.visit_default(node)
1775 # Finally, emit the dedent.
1776 yield from self.line(-1)
1779 self, node: Node, keywords: Set[str], parens: Set[str]
1780 ) -> Iterator[Line]:
1781 """Visit a statement.
1783 This implementation is shared for `if`, `while`, `for`, `try`, `except`,
1784 `def`, `with`, `class`, `assert` and assignments.
1786 The relevant Python language `keywords` for a given statement will be
1787 NAME leaves within it. This methods puts those on a separate line.
1789 `parens` holds a set of string leaf values immediately after which
1790 invisible parens should be put.
1792 normalize_invisible_parens(node, parens_after=parens)
1793 for child in node.children:
1794 if child.type == token.NAME and child.value in keywords: # type: ignore
1795 yield from self.line()
1797 yield from self.visit(child)
1799 def visit_suite(self, node: Node) -> Iterator[Line]:
1800 """Visit a suite."""
1801 if self.is_pyi and is_stub_suite(node):
1802 yield from self.visit(node.children[2])
1804 yield from self.visit_default(node)
1806 def visit_simple_stmt(self, node: Node) -> Iterator[Line]:
1807 """Visit a statement without nested statements."""
1808 is_suite_like = node.parent and node.parent.type in STATEMENT
1810 if self.is_pyi and is_stub_body(node):
1811 yield from self.visit_default(node)
1813 yield from self.line(+1)
1814 yield from self.visit_default(node)
1815 yield from self.line(-1)
1818 if not self.is_pyi or not node.parent or not is_stub_suite(node.parent):
1819 yield from self.line()
1820 yield from self.visit_default(node)
1822 def visit_async_stmt(self, node: Node) -> Iterator[Line]:
1823 """Visit `async def`, `async for`, `async with`."""
1824 yield from self.line()
1826 children = iter(node.children)
1827 for child in children:
1828 yield from self.visit(child)
1830 if child.type == token.ASYNC:
1833 internal_stmt = next(children)
1834 for child in internal_stmt.children:
1835 yield from self.visit(child)
1837 def visit_decorators(self, node: Node) -> Iterator[Line]:
1838 """Visit decorators."""
1839 for child in node.children:
1840 yield from self.line()
1841 yield from self.visit(child)
1843 def visit_SEMI(self, leaf: Leaf) -> Iterator[Line]:
1844 """Remove a semicolon and put the other statement on a separate line."""
1845 yield from self.line()
1847 def visit_ENDMARKER(self, leaf: Leaf) -> Iterator[Line]:
1848 """End of file. Process outstanding comments and end with a newline."""
1849 yield from self.visit_default(leaf)
1850 yield from self.line()
1852 def visit_STANDALONE_COMMENT(self, leaf: Leaf) -> Iterator[Line]:
1853 if not self.current_line.bracket_tracker.any_open_brackets():
1854 yield from self.line()
1855 yield from self.visit_default(leaf)
1857 def visit_factor(self, node: Node) -> Iterator[Line]:
1858 """Force parentheses between a unary op and a binary power:
1860 -2 ** 8 -> -(2 ** 8)
1862 _operator, operand = node.children
1864 operand.type == syms.power
1865 and len(operand.children) == 3
1866 and operand.children[1].type == token.DOUBLESTAR
1868 lpar = Leaf(token.LPAR, "(")
1869 rpar = Leaf(token.RPAR, ")")
1870 index = operand.remove() or 0
1871 node.insert_child(index, Node(syms.atom, [lpar, operand, rpar]))
1872 yield from self.visit_default(node)
1874 def __post_init__(self) -> None:
1875 """You are in a twisty little maze of passages."""
1878 self.visit_assert_stmt = partial(v, keywords={"assert"}, parens={"assert", ","})
1879 self.visit_if_stmt = partial(
1880 v, keywords={"if", "else", "elif"}, parens={"if", "elif"}
1882 self.visit_while_stmt = partial(v, keywords={"while", "else"}, parens={"while"})
1883 self.visit_for_stmt = partial(v, keywords={"for", "else"}, parens={"for", "in"})
1884 self.visit_try_stmt = partial(
1885 v, keywords={"try", "except", "else", "finally"}, parens=Ø
1887 self.visit_except_clause = partial(v, keywords={"except"}, parens=Ø)
1888 self.visit_with_stmt = partial(v, keywords={"with"}, parens=Ø)
1889 self.visit_funcdef = partial(v, keywords={"def"}, parens=Ø)
1890 self.visit_classdef = partial(v, keywords={"class"}, parens=Ø)
1891 self.visit_expr_stmt = partial(v, keywords=Ø, parens=ASSIGNMENTS)
1892 self.visit_return_stmt = partial(v, keywords={"return"}, parens={"return"})
1893 self.visit_import_from = partial(v, keywords=Ø, parens={"import"})
1894 self.visit_del_stmt = partial(v, keywords=Ø, parens={"del"})
1895 self.visit_async_funcdef = self.visit_async_stmt
1896 self.visit_decorated = self.visit_decorators
1899 IMPLICIT_TUPLE = {syms.testlist, syms.testlist_star_expr, syms.exprlist}
1900 BRACKET = {token.LPAR: token.RPAR, token.LSQB: token.RSQB, token.LBRACE: token.RBRACE}
1901 OPENING_BRACKETS = set(BRACKET.keys())
1902 CLOSING_BRACKETS = set(BRACKET.values())
1903 BRACKETS = OPENING_BRACKETS | CLOSING_BRACKETS
1904 ALWAYS_NO_SPACE = CLOSING_BRACKETS | {token.COMMA, STANDALONE_COMMENT}
1907 def whitespace(leaf: Leaf, *, complex_subscript: bool) -> str: # noqa: C901
1908 """Return whitespace prefix if needed for the given `leaf`.
1910 `complex_subscript` signals whether the given leaf is part of a subscription
1911 which has non-trivial arguments, like arithmetic expressions or function calls.
1919 if t in ALWAYS_NO_SPACE:
1922 if t == token.COMMENT:
1925 assert p is not None, f"INTERNAL ERROR: hand-made leaf without parent: {leaf!r}"
1926 if t == token.COLON and p.type not in {
1933 prev = leaf.prev_sibling
1935 prevp = preceding_leaf(p)
1936 if not prevp or prevp.type in OPENING_BRACKETS:
1939 if t == token.COLON:
1940 if prevp.type == token.COLON:
1943 elif prevp.type != token.COMMA and not complex_subscript:
1948 if prevp.type == token.EQUAL:
1950 if prevp.parent.type in {
1958 elif prevp.parent.type == syms.typedargslist:
1959 # A bit hacky: if the equal sign has whitespace, it means we
1960 # previously found it's a typed argument. So, we're using
1964 elif prevp.type in VARARGS_SPECIALS:
1965 if is_vararg(prevp, within=VARARGS_PARENTS | UNPACKING_PARENTS):
1968 elif prevp.type == token.COLON:
1969 if prevp.parent and prevp.parent.type in {syms.subscript, syms.sliceop}:
1970 return SPACE if complex_subscript else NO
1974 and prevp.parent.type == syms.factor
1975 and prevp.type in MATH_OPERATORS
1980 prevp.type == token.RIGHTSHIFT
1982 and prevp.parent.type == syms.shift_expr
1983 and prevp.prev_sibling
1984 and prevp.prev_sibling.type == token.NAME
1985 and prevp.prev_sibling.value == "print" # type: ignore
1987 # Python 2 print chevron
1990 elif prev.type in OPENING_BRACKETS:
1993 if p.type in {syms.parameters, syms.arglist}:
1994 # untyped function signatures or calls
1995 if not prev or prev.type != token.COMMA:
1998 elif p.type == syms.varargslist:
2000 if prev and prev.type != token.COMMA:
2003 elif p.type == syms.typedargslist:
2004 # typed function signatures
2008 if t == token.EQUAL:
2009 if prev.type != syms.tname:
2012 elif prev.type == token.EQUAL:
2013 # A bit hacky: if the equal sign has whitespace, it means we
2014 # previously found it's a typed argument. So, we're using that, too.
2017 elif prev.type != token.COMMA:
2020 elif p.type == syms.tname:
2023 prevp = preceding_leaf(p)
2024 if not prevp or prevp.type != token.COMMA:
2027 elif p.type == syms.trailer:
2028 # attributes and calls
2029 if t == token.LPAR or t == token.RPAR:
2034 prevp = preceding_leaf(p)
2035 if not prevp or prevp.type != token.NUMBER:
2038 elif t == token.LSQB:
2041 elif prev.type != token.COMMA:
2044 elif p.type == syms.argument:
2046 if t == token.EQUAL:
2050 prevp = preceding_leaf(p)
2051 if not prevp or prevp.type == token.LPAR:
2054 elif prev.type in {token.EQUAL} | VARARGS_SPECIALS:
2057 elif p.type == syms.decorator:
2061 elif p.type == syms.dotted_name:
2065 prevp = preceding_leaf(p)
2066 if not prevp or prevp.type == token.AT or prevp.type == token.DOT:
2069 elif p.type == syms.classdef:
2073 if prev and prev.type == token.LPAR:
2076 elif p.type in {syms.subscript, syms.sliceop}:
2079 assert p.parent is not None, "subscripts are always parented"
2080 if p.parent.type == syms.subscriptlist:
2085 elif not complex_subscript:
2088 elif p.type == syms.atom:
2089 if prev and t == token.DOT:
2090 # dots, but not the first one.
2093 elif p.type == syms.dictsetmaker:
2095 if prev and prev.type == token.DOUBLESTAR:
2098 elif p.type in {syms.factor, syms.star_expr}:
2101 prevp = preceding_leaf(p)
2102 if not prevp or prevp.type in OPENING_BRACKETS:
2105 prevp_parent = prevp.parent
2106 assert prevp_parent is not None
2107 if prevp.type == token.COLON and prevp_parent.type in {
2113 elif prevp.type == token.EQUAL and prevp_parent.type == syms.argument:
2116 elif t in {token.NAME, token.NUMBER, token.STRING}:
2119 elif p.type == syms.import_from:
2121 if prev and prev.type == token.DOT:
2124 elif t == token.NAME:
2128 if prev and prev.type == token.DOT:
2131 elif p.type == syms.sliceop:
2137 def preceding_leaf(node: Optional[LN]) -> Optional[Leaf]:
2138 """Return the first leaf that precedes `node`, if any."""
2140 res = node.prev_sibling
2142 if isinstance(res, Leaf):
2146 return list(res.leaves())[-1]
2155 def child_towards(ancestor: Node, descendant: LN) -> Optional[LN]:
2156 """Return the child of `ancestor` that contains `descendant`."""
2157 node: Optional[LN] = descendant
2158 while node and node.parent != ancestor:
2163 def container_of(leaf: Leaf) -> LN:
2164 """Return `leaf` or one of its ancestors that is the topmost container of it.
2166 By "container" we mean a node where `leaf` is the very first child.
2168 same_prefix = leaf.prefix
2169 container: LN = leaf
2171 parent = container.parent
2175 if parent.children[0].prefix != same_prefix:
2178 if parent.type == syms.file_input:
2181 if parent.prev_sibling is not None and parent.prev_sibling.type in BRACKETS:
2188 def is_split_after_delimiter(leaf: Leaf, previous: Optional[Leaf] = None) -> Priority:
2189 """Return the priority of the `leaf` delimiter, given a line break after it.
2191 The delimiter priorities returned here are from those delimiters that would
2192 cause a line break after themselves.
2194 Higher numbers are higher priority.
2196 if leaf.type == token.COMMA:
2197 return COMMA_PRIORITY
2202 def is_split_before_delimiter(leaf: Leaf, previous: Optional[Leaf] = None) -> Priority:
2203 """Return the priority of the `leaf` delimiter, given a line break before it.
2205 The delimiter priorities returned here are from those delimiters that would
2206 cause a line break before themselves.
2208 Higher numbers are higher priority.
2210 if is_vararg(leaf, within=VARARGS_PARENTS | UNPACKING_PARENTS):
2211 # * and ** might also be MATH_OPERATORS but in this case they are not.
2212 # Don't treat them as a delimiter.
2216 leaf.type == token.DOT
2218 and leaf.parent.type not in {syms.import_from, syms.dotted_name}
2219 and (previous is None or previous.type in CLOSING_BRACKETS)
2224 leaf.type in MATH_OPERATORS
2226 and leaf.parent.type not in {syms.factor, syms.star_expr}
2228 return MATH_PRIORITIES[leaf.type]
2230 if leaf.type in COMPARATORS:
2231 return COMPARATOR_PRIORITY
2234 leaf.type == token.STRING
2235 and previous is not None
2236 and previous.type == token.STRING
2238 return STRING_PRIORITY
2240 if leaf.type not in {token.NAME, token.ASYNC}:
2246 and leaf.parent.type in {syms.comp_for, syms.old_comp_for}
2247 or leaf.type == token.ASYNC
2250 not isinstance(leaf.prev_sibling, Leaf)
2251 or leaf.prev_sibling.value != "async"
2253 return COMPREHENSION_PRIORITY
2258 and leaf.parent.type in {syms.comp_if, syms.old_comp_if}
2260 return COMPREHENSION_PRIORITY
2262 if leaf.value in {"if", "else"} and leaf.parent and leaf.parent.type == syms.test:
2263 return TERNARY_PRIORITY
2265 if leaf.value == "is":
2266 return COMPARATOR_PRIORITY
2271 and leaf.parent.type in {syms.comp_op, syms.comparison}
2273 previous is not None
2274 and previous.type == token.NAME
2275 and previous.value == "not"
2278 return COMPARATOR_PRIORITY
2283 and leaf.parent.type == syms.comp_op
2285 previous is not None
2286 and previous.type == token.NAME
2287 and previous.value == "is"
2290 return COMPARATOR_PRIORITY
2292 if leaf.value in LOGIC_OPERATORS and leaf.parent:
2293 return LOGIC_PRIORITY
2298 FMT_OFF = {"# fmt: off", "# fmt:off", "# yapf: disable"}
2299 FMT_ON = {"# fmt: on", "# fmt:on", "# yapf: enable"}
2302 def generate_comments(leaf: LN) -> Iterator[Leaf]:
2303 """Clean the prefix of the `leaf` and generate comments from it, if any.
2305 Comments in lib2to3 are shoved into the whitespace prefix. This happens
2306 in `pgen2/driver.py:Driver.parse_tokens()`. This was a brilliant implementation
2307 move because it does away with modifying the grammar to include all the
2308 possible places in which comments can be placed.
2310 The sad consequence for us though is that comments don't "belong" anywhere.
2311 This is why this function generates simple parentless Leaf objects for
2312 comments. We simply don't know what the correct parent should be.
2314 No matter though, we can live without this. We really only need to
2315 differentiate between inline and standalone comments. The latter don't
2316 share the line with any code.
2318 Inline comments are emitted as regular token.COMMENT leaves. Standalone
2319 are emitted with a fake STANDALONE_COMMENT token identifier.
2321 for pc in list_comments(leaf.prefix, is_endmarker=leaf.type == token.ENDMARKER):
2322 yield Leaf(pc.type, pc.value, prefix="\n" * pc.newlines)
2327 """Describes a piece of syntax that is a comment.
2329 It's not a :class:`blib2to3.pytree.Leaf` so that:
2331 * it can be cached (`Leaf` objects should not be reused more than once as
2332 they store their lineno, column, prefix, and parent information);
2333 * `newlines` and `consumed` fields are kept separate from the `value`. This
2334 simplifies handling of special marker comments like ``# fmt: off/on``.
2337 type: int # token.COMMENT or STANDALONE_COMMENT
2338 value: str # content of the comment
2339 newlines: int # how many newlines before the comment
2340 consumed: int # how many characters of the original leaf's prefix did we consume
2343 @lru_cache(maxsize=4096)
2344 def list_comments(prefix: str, *, is_endmarker: bool) -> List[ProtoComment]:
2345 """Return a list of :class:`ProtoComment` objects parsed from the given `prefix`."""
2346 result: List[ProtoComment] = []
2347 if not prefix or "#" not in prefix:
2353 for index, line in enumerate(prefix.split("\n")):
2354 consumed += len(line) + 1 # adding the length of the split '\n'
2355 line = line.lstrip()
2358 if not line.startswith("#"):
2359 # Escaped newlines outside of a comment are not really newlines at
2360 # all. We treat a single-line comment following an escaped newline
2361 # as a simple trailing comment.
2362 if line.endswith("\\"):
2366 if index == ignored_lines and not is_endmarker:
2367 comment_type = token.COMMENT # simple trailing comment
2369 comment_type = STANDALONE_COMMENT
2370 comment = make_comment(line)
2373 type=comment_type, value=comment, newlines=nlines, consumed=consumed
2380 def make_comment(content: str) -> str:
2381 """Return a consistently formatted comment from the given `content` string.
2383 All comments (except for "##", "#!", "#:", '#'", "#%%") should have a single
2384 space between the hash sign and the content.
2386 If `content` didn't start with a hash sign, one is provided.
2388 content = content.rstrip()
2392 if content[0] == "#":
2393 content = content[1:]
2394 if content and content[0] not in " !:#'%":
2395 content = " " + content
2396 return "#" + content
2402 inner: bool = False,
2403 features: Collection[Feature] = (),
2404 ) -> Iterator[Line]:
2405 """Split a `line` into potentially many lines.
2407 They should fit in the allotted `line_length` but might not be able to.
2408 `inner` signifies that there were a pair of brackets somewhere around the
2409 current `line`, possibly transitively. This means we can fallback to splitting
2410 by delimiters if the LHS/RHS don't yield any results.
2412 `features` are syntactical features that may be used in the output.
2418 line_str = str(line).strip("\n")
2421 not line.contains_uncollapsable_type_comments()
2422 and not line.should_explode
2423 and not line.is_collection_with_optional_trailing_comma
2425 is_line_short_enough(line, line_length=line_length, line_str=line_str)
2426 or line.contains_unsplittable_type_ignore()
2432 split_funcs: List[SplitFunc]
2434 split_funcs = [left_hand_split]
2437 def rhs(line: Line, features: Collection[Feature]) -> Iterator[Line]:
2438 for omit in generate_trailers_to_omit(line, line_length):
2439 lines = list(right_hand_split(line, line_length, features, omit=omit))
2440 if is_line_short_enough(lines[0], line_length=line_length):
2444 # All splits failed, best effort split with no omits.
2445 # This mostly happens to multiline strings that are by definition
2446 # reported as not fitting a single line.
2447 # line_length=1 here was historically a bug that somehow became a feature.
2448 # See #762 and #781 for the full story.
2449 yield from right_hand_split(line, line_length=1, features=features)
2451 if line.inside_brackets:
2452 split_funcs = [delimiter_split, standalone_comment_split, rhs]
2455 for split_func in split_funcs:
2456 # We are accumulating lines in `result` because we might want to abort
2457 # mission and return the original line in the end, or attempt a different
2459 result: List[Line] = []
2461 for l in split_func(line, features):
2462 if str(l).strip("\n") == line_str:
2463 raise CannotSplit("Split function returned an unchanged result")
2467 l, line_length=line_length, inner=True, features=features
2481 def left_hand_split(line: Line, features: Collection[Feature] = ()) -> Iterator[Line]:
2482 """Split line into many lines, starting with the first matching bracket pair.
2484 Note: this usually looks weird, only use this for function definitions.
2485 Prefer RHS otherwise. This is why this function is not symmetrical with
2486 :func:`right_hand_split` which also handles optional parentheses.
2488 tail_leaves: List[Leaf] = []
2489 body_leaves: List[Leaf] = []
2490 head_leaves: List[Leaf] = []
2491 current_leaves = head_leaves
2492 matching_bracket: Optional[Leaf] = None
2493 for leaf in line.leaves:
2495 current_leaves is body_leaves
2496 and leaf.type in CLOSING_BRACKETS
2497 and leaf.opening_bracket is matching_bracket
2499 current_leaves = tail_leaves if body_leaves else head_leaves
2500 current_leaves.append(leaf)
2501 if current_leaves is head_leaves:
2502 if leaf.type in OPENING_BRACKETS:
2503 matching_bracket = leaf
2504 current_leaves = body_leaves
2505 if not matching_bracket:
2506 raise CannotSplit("No brackets found")
2508 head = bracket_split_build_line(head_leaves, line, matching_bracket)
2509 body = bracket_split_build_line(body_leaves, line, matching_bracket, is_body=True)
2510 tail = bracket_split_build_line(tail_leaves, line, matching_bracket)
2511 bracket_split_succeeded_or_raise(head, body, tail)
2512 for result in (head, body, tail):
2517 def right_hand_split(
2520 features: Collection[Feature] = (),
2521 omit: Collection[LeafID] = (),
2522 ) -> Iterator[Line]:
2523 """Split line into many lines, starting with the last matching bracket pair.
2525 If the split was by optional parentheses, attempt splitting without them, too.
2526 `omit` is a collection of closing bracket IDs that shouldn't be considered for
2529 Note: running this function modifies `bracket_depth` on the leaves of `line`.
2531 tail_leaves: List[Leaf] = []
2532 body_leaves: List[Leaf] = []
2533 head_leaves: List[Leaf] = []
2534 current_leaves = tail_leaves
2535 opening_bracket: Optional[Leaf] = None
2536 closing_bracket: Optional[Leaf] = None
2537 for leaf in reversed(line.leaves):
2538 if current_leaves is body_leaves:
2539 if leaf is opening_bracket:
2540 current_leaves = head_leaves if body_leaves else tail_leaves
2541 current_leaves.append(leaf)
2542 if current_leaves is tail_leaves:
2543 if leaf.type in CLOSING_BRACKETS and id(leaf) not in omit:
2544 opening_bracket = leaf.opening_bracket
2545 closing_bracket = leaf
2546 current_leaves = body_leaves
2547 if not (opening_bracket and closing_bracket and head_leaves):
2548 # If there is no opening or closing_bracket that means the split failed and
2549 # all content is in the tail. Otherwise, if `head_leaves` are empty, it means
2550 # the matching `opening_bracket` wasn't available on `line` anymore.
2551 raise CannotSplit("No brackets found")
2553 tail_leaves.reverse()
2554 body_leaves.reverse()
2555 head_leaves.reverse()
2556 head = bracket_split_build_line(head_leaves, line, opening_bracket)
2557 body = bracket_split_build_line(body_leaves, line, opening_bracket, is_body=True)
2558 tail = bracket_split_build_line(tail_leaves, line, opening_bracket)
2559 bracket_split_succeeded_or_raise(head, body, tail)
2561 # the body shouldn't be exploded
2562 not body.should_explode
2563 # the opening bracket is an optional paren
2564 and opening_bracket.type == token.LPAR
2565 and not opening_bracket.value
2566 # the closing bracket is an optional paren
2567 and closing_bracket.type == token.RPAR
2568 and not closing_bracket.value
2569 # it's not an import (optional parens are the only thing we can split on
2570 # in this case; attempting a split without them is a waste of time)
2571 and not line.is_import
2572 # there are no standalone comments in the body
2573 and not body.contains_standalone_comments(0)
2574 # and we can actually remove the parens
2575 and can_omit_invisible_parens(body, line_length)
2577 omit = {id(closing_bracket), *omit}
2579 yield from right_hand_split(line, line_length, features=features, omit=omit)
2585 or is_line_short_enough(body, line_length=line_length)
2588 "Splitting failed, body is still too long and can't be split."
2591 elif head.contains_multiline_strings() or tail.contains_multiline_strings():
2593 "The current optional pair of parentheses is bound to fail to "
2594 "satisfy the splitting algorithm because the head or the tail "
2595 "contains multiline strings which by definition never fit one "
2599 ensure_visible(opening_bracket)
2600 ensure_visible(closing_bracket)
2601 for result in (head, body, tail):
2606 def bracket_split_succeeded_or_raise(head: Line, body: Line, tail: Line) -> None:
2607 """Raise :exc:`CannotSplit` if the last left- or right-hand split failed.
2609 Do nothing otherwise.
2611 A left- or right-hand split is based on a pair of brackets. Content before
2612 (and including) the opening bracket is left on one line, content inside the
2613 brackets is put on a separate line, and finally content starting with and
2614 following the closing bracket is put on a separate line.
2616 Those are called `head`, `body`, and `tail`, respectively. If the split
2617 produced the same line (all content in `head`) or ended up with an empty `body`
2618 and the `tail` is just the closing bracket, then it's considered failed.
2620 tail_len = len(str(tail).strip())
2623 raise CannotSplit("Splitting brackets produced the same line")
2627 f"Splitting brackets on an empty body to save "
2628 f"{tail_len} characters is not worth it"
2632 def bracket_split_build_line(
2633 leaves: List[Leaf], original: Line, opening_bracket: Leaf, *, is_body: bool = False
2635 """Return a new line with given `leaves` and respective comments from `original`.
2637 If `is_body` is True, the result line is one-indented inside brackets and as such
2638 has its first leaf's prefix normalized and a trailing comma added when expected.
2640 result = Line(depth=original.depth)
2642 result.inside_brackets = True
2645 # Since body is a new indent level, remove spurious leading whitespace.
2646 normalize_prefix(leaves[0], inside_brackets=True)
2647 # Ensure a trailing comma for imports and standalone function arguments, but
2648 # be careful not to add one after any comments or within type annotations.
2651 and opening_bracket.value == "("
2652 and not any(l.type == token.COMMA for l in leaves)
2655 if original.is_import or no_commas:
2656 for i in range(len(leaves) - 1, -1, -1):
2657 if leaves[i].type == STANDALONE_COMMENT:
2660 if leaves[i].type != token.COMMA:
2661 leaves.insert(i + 1, Leaf(token.COMMA, ","))
2666 result.append(leaf, preformatted=True)
2667 for comment_after in original.comments_after(leaf):
2668 result.append(comment_after, preformatted=True)
2670 result.should_explode = should_explode(result, opening_bracket)
2674 def dont_increase_indentation(split_func: SplitFunc) -> SplitFunc:
2675 """Normalize prefix of the first leaf in every line returned by `split_func`.
2677 This is a decorator over relevant split functions.
2681 def split_wrapper(line: Line, features: Collection[Feature] = ()) -> Iterator[Line]:
2682 for l in split_func(line, features):
2683 normalize_prefix(l.leaves[0], inside_brackets=True)
2686 return split_wrapper
2689 @dont_increase_indentation
2690 def delimiter_split(line: Line, features: Collection[Feature] = ()) -> Iterator[Line]:
2691 """Split according to delimiters of the highest priority.
2693 If the appropriate Features are given, the split will add trailing commas
2694 also in function signatures and calls that contain `*` and `**`.
2697 last_leaf = line.leaves[-1]
2699 raise CannotSplit("Line empty")
2701 bt = line.bracket_tracker
2703 delimiter_priority = bt.max_delimiter_priority(exclude={id(last_leaf)})
2705 raise CannotSplit("No delimiters found")
2707 if delimiter_priority == DOT_PRIORITY:
2708 if bt.delimiter_count_with_priority(delimiter_priority) == 1:
2709 raise CannotSplit("Splitting a single attribute from its owner looks wrong")
2711 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2712 lowest_depth = sys.maxsize
2713 trailing_comma_safe = True
2715 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2716 """Append `leaf` to current line or to new line if appending impossible."""
2717 nonlocal current_line
2719 current_line.append_safe(leaf, preformatted=True)
2723 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2724 current_line.append(leaf)
2726 for leaf in line.leaves:
2727 yield from append_to_line(leaf)
2729 for comment_after in line.comments_after(leaf):
2730 yield from append_to_line(comment_after)
2732 lowest_depth = min(lowest_depth, leaf.bracket_depth)
2733 if leaf.bracket_depth == lowest_depth:
2734 if is_vararg(leaf, within={syms.typedargslist}):
2735 trailing_comma_safe = (
2736 trailing_comma_safe and Feature.TRAILING_COMMA_IN_DEF in features
2738 elif is_vararg(leaf, within={syms.arglist, syms.argument}):
2739 trailing_comma_safe = (
2740 trailing_comma_safe and Feature.TRAILING_COMMA_IN_CALL in features
2743 leaf_priority = bt.delimiters.get(id(leaf))
2744 if leaf_priority == delimiter_priority:
2747 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2751 and delimiter_priority == COMMA_PRIORITY
2752 and current_line.leaves[-1].type != token.COMMA
2753 and current_line.leaves[-1].type != STANDALONE_COMMENT
2755 current_line.append(Leaf(token.COMMA, ","))
2759 @dont_increase_indentation
2760 def standalone_comment_split(
2761 line: Line, features: Collection[Feature] = ()
2762 ) -> Iterator[Line]:
2763 """Split standalone comments from the rest of the line."""
2764 if not line.contains_standalone_comments(0):
2765 raise CannotSplit("Line does not have any standalone comments")
2767 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2769 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2770 """Append `leaf` to current line or to new line if appending impossible."""
2771 nonlocal current_line
2773 current_line.append_safe(leaf, preformatted=True)
2777 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2778 current_line.append(leaf)
2780 for leaf in line.leaves:
2781 yield from append_to_line(leaf)
2783 for comment_after in line.comments_after(leaf):
2784 yield from append_to_line(comment_after)
2790 def is_import(leaf: Leaf) -> bool:
2791 """Return True if the given leaf starts an import statement."""
2798 (v == "import" and p and p.type == syms.import_name)
2799 or (v == "from" and p and p.type == syms.import_from)
2804 def is_type_comment(leaf: Leaf, suffix: str = "") -> bool:
2805 """Return True if the given leaf is a special comment.
2806 Only returns true for type comments for now."""
2809 return t in {token.COMMENT, STANDALONE_COMMENT} and v.startswith("# type:" + suffix)
2812 def normalize_prefix(leaf: Leaf, *, inside_brackets: bool) -> None:
2813 """Leave existing extra newlines if not `inside_brackets`. Remove everything
2816 Note: don't use backslashes for formatting or you'll lose your voting rights.
2818 if not inside_brackets:
2819 spl = leaf.prefix.split("#")
2820 if "\\" not in spl[0]:
2821 nl_count = spl[-1].count("\n")
2824 leaf.prefix = "\n" * nl_count
2830 def normalize_string_prefix(leaf: Leaf, remove_u_prefix: bool = False) -> None:
2831 """Make all string prefixes lowercase.
2833 If remove_u_prefix is given, also removes any u prefix from the string.
2835 Note: Mutates its argument.
2837 match = re.match(r"^([furbFURB]*)(.*)$", leaf.value, re.DOTALL)
2838 assert match is not None, f"failed to match string {leaf.value!r}"
2839 orig_prefix = match.group(1)
2840 new_prefix = orig_prefix.lower()
2842 new_prefix = new_prefix.replace("u", "")
2843 leaf.value = f"{new_prefix}{match.group(2)}"
2846 def normalize_string_quotes(leaf: Leaf) -> None:
2847 """Prefer double quotes but only if it doesn't cause more escaping.
2849 Adds or removes backslashes as appropriate. Doesn't parse and fix
2850 strings nested in f-strings (yet).
2852 Note: Mutates its argument.
2854 value = leaf.value.lstrip("furbFURB")
2855 if value[:3] == '"""':
2858 elif value[:3] == "'''":
2861 elif value[0] == '"':
2867 first_quote_pos = leaf.value.find(orig_quote)
2868 if first_quote_pos == -1:
2869 return # There's an internal error
2871 prefix = leaf.value[:first_quote_pos]
2872 unescaped_new_quote = re.compile(rf"(([^\\]|^)(\\\\)*){new_quote}")
2873 escaped_new_quote = re.compile(rf"([^\\]|^)\\((?:\\\\)*){new_quote}")
2874 escaped_orig_quote = re.compile(rf"([^\\]|^)\\((?:\\\\)*){orig_quote}")
2875 body = leaf.value[first_quote_pos + len(orig_quote) : -len(orig_quote)]
2876 if "r" in prefix.casefold():
2877 if unescaped_new_quote.search(body):
2878 # There's at least one unescaped new_quote in this raw string
2879 # so converting is impossible
2882 # Do not introduce or remove backslashes in raw strings
2885 # remove unnecessary escapes
2886 new_body = sub_twice(escaped_new_quote, rf"\1\2{new_quote}", body)
2887 if body != new_body:
2888 # Consider the string without unnecessary escapes as the original
2890 leaf.value = f"{prefix}{orig_quote}{body}{orig_quote}"
2891 new_body = sub_twice(escaped_orig_quote, rf"\1\2{orig_quote}", new_body)
2892 new_body = sub_twice(unescaped_new_quote, rf"\1\\{new_quote}", new_body)
2893 if "f" in prefix.casefold():
2894 matches = re.findall(
2896 (?:[^{]|^)\{ # start of the string or a non-{ followed by a single {
2897 ([^{].*?) # contents of the brackets except if begins with {{
2898 \}(?:[^}]|$) # A } followed by end of the string or a non-}
2905 # Do not introduce backslashes in interpolated expressions
2908 if new_quote == '"""' and new_body[-1:] == '"':
2910 new_body = new_body[:-1] + '\\"'
2911 orig_escape_count = body.count("\\")
2912 new_escape_count = new_body.count("\\")
2913 if new_escape_count > orig_escape_count:
2914 return # Do not introduce more escaping
2916 if new_escape_count == orig_escape_count and orig_quote == '"':
2917 return # Prefer double quotes
2919 leaf.value = f"{prefix}{new_quote}{new_body}{new_quote}"
2922 def normalize_numeric_literal(leaf: Leaf) -> None:
2923 """Normalizes numeric (float, int, and complex) literals.
2925 All letters used in the representation are normalized to lowercase (except
2926 in Python 2 long literals).
2928 text = leaf.value.lower()
2929 if text.startswith(("0o", "0b")):
2930 # Leave octal and binary literals alone.
2932 elif text.startswith("0x"):
2933 # Change hex literals to upper case.
2934 before, after = text[:2], text[2:]
2935 text = f"{before}{after.upper()}"
2937 before, after = text.split("e")
2939 if after.startswith("-"):
2942 elif after.startswith("+"):
2944 before = format_float_or_int_string(before)
2945 text = f"{before}e{sign}{after}"
2946 elif text.endswith(("j", "l")):
2949 # Capitalize in "2L" because "l" looks too similar to "1".
2952 text = f"{format_float_or_int_string(number)}{suffix}"
2954 text = format_float_or_int_string(text)
2958 def format_float_or_int_string(text: str) -> str:
2959 """Formats a float string like "1.0"."""
2963 before, after = text.split(".")
2964 return f"{before or 0}.{after or 0}"
2967 def normalize_invisible_parens(node: Node, parens_after: Set[str]) -> None:
2968 """Make existing optional parentheses invisible or create new ones.
2970 `parens_after` is a set of string leaf values immediately after which parens
2973 Standardizes on visible parentheses for single-element tuples, and keeps
2974 existing visible parentheses for other tuples and generator expressions.
2976 for pc in list_comments(node.prefix, is_endmarker=False):
2977 if pc.value in FMT_OFF:
2978 # This `node` has a prefix with `# fmt: off`, don't mess with parens.
2981 for index, child in enumerate(list(node.children)):
2982 # Add parentheses around long tuple unpacking in assignments.
2985 and isinstance(child, Node)
2986 and child.type == syms.testlist_star_expr
2991 if is_walrus_assignment(child):
2994 if child.type == syms.atom:
2995 if maybe_make_parens_invisible_in_atom(child, parent=node):
2996 wrap_in_parentheses(node, child, visible=False)
2997 elif is_one_tuple(child):
2998 wrap_in_parentheses(node, child, visible=True)
2999 elif node.type == syms.import_from:
3000 # "import from" nodes store parentheses directly as part of
3002 if child.type == token.LPAR:
3003 # make parentheses invisible
3004 child.value = "" # type: ignore
3005 node.children[-1].value = "" # type: ignore
3006 elif child.type != token.STAR:
3007 # insert invisible parentheses
3008 node.insert_child(index, Leaf(token.LPAR, ""))
3009 node.append_child(Leaf(token.RPAR, ""))
3012 elif not (isinstance(child, Leaf) and is_multiline_string(child)):
3013 wrap_in_parentheses(node, child, visible=False)
3015 check_lpar = isinstance(child, Leaf) and child.value in parens_after
3018 def normalize_fmt_off(node: Node) -> None:
3019 """Convert content between `# fmt: off`/`# fmt: on` into standalone comments."""
3022 try_again = convert_one_fmt_off_pair(node)
3025 def convert_one_fmt_off_pair(node: Node) -> bool:
3026 """Convert content of a single `# fmt: off`/`# fmt: on` into a standalone comment.
3028 Returns True if a pair was converted.
3030 for leaf in node.leaves():
3031 previous_consumed = 0
3032 for comment in list_comments(leaf.prefix, is_endmarker=False):
3033 if comment.value in FMT_OFF:
3034 # We only want standalone comments. If there's no previous leaf or
3035 # the previous leaf is indentation, it's a standalone comment in
3037 if comment.type != STANDALONE_COMMENT:
3038 prev = preceding_leaf(leaf)
3039 if prev and prev.type not in WHITESPACE:
3042 ignored_nodes = list(generate_ignored_nodes(leaf))
3043 if not ignored_nodes:
3046 first = ignored_nodes[0] # Can be a container node with the `leaf`.
3047 parent = first.parent
3048 prefix = first.prefix
3049 first.prefix = prefix[comment.consumed :]
3051 comment.value + "\n" + "".join(str(n) for n in ignored_nodes)
3053 if hidden_value.endswith("\n"):
3054 # That happens when one of the `ignored_nodes` ended with a NEWLINE
3055 # leaf (possibly followed by a DEDENT).
3056 hidden_value = hidden_value[:-1]
3057 first_idx: Optional[int] = None
3058 for ignored in ignored_nodes:
3059 index = ignored.remove()
3060 if first_idx is None:
3062 assert parent is not None, "INTERNAL ERROR: fmt: on/off handling (1)"
3063 assert first_idx is not None, "INTERNAL ERROR: fmt: on/off handling (2)"
3064 parent.insert_child(
3069 prefix=prefix[:previous_consumed] + "\n" * comment.newlines,
3074 previous_consumed = comment.consumed
3079 def generate_ignored_nodes(leaf: Leaf) -> Iterator[LN]:
3080 """Starting from the container of `leaf`, generate all leaves until `# fmt: on`.
3082 Stops at the end of the block.
3084 container: Optional[LN] = container_of(leaf)
3085 while container is not None and container.type != token.ENDMARKER:
3087 for comment in list_comments(container.prefix, is_endmarker=False):
3088 if comment.value in FMT_ON:
3090 elif comment.value in FMT_OFF:
3097 container = container.next_sibling
3100 def maybe_make_parens_invisible_in_atom(node: LN, parent: LN) -> bool:
3101 """If it's safe, make the parens in the atom `node` invisible, recursively.
3102 Additionally, remove repeated, adjacent invisible parens from the atom `node`
3103 as they are redundant.
3105 Returns whether the node should itself be wrapped in invisible parentheses.
3109 node.type != syms.atom
3110 or is_empty_tuple(node)
3111 or is_one_tuple(node)
3112 or (is_yield(node) and parent.type != syms.expr_stmt)
3113 or max_delimiter_priority_in_atom(node) >= COMMA_PRIORITY
3117 first = node.children[0]
3118 last = node.children[-1]
3119 if first.type == token.LPAR and last.type == token.RPAR:
3120 middle = node.children[1]
3121 # make parentheses invisible
3122 first.value = "" # type: ignore
3123 last.value = "" # type: ignore
3124 maybe_make_parens_invisible_in_atom(middle, parent=parent)
3126 if is_atom_with_invisible_parens(middle):
3127 # Strip the invisible parens from `middle` by replacing
3128 # it with the child in-between the invisible parens
3129 middle.replace(middle.children[1])
3136 def is_atom_with_invisible_parens(node: LN) -> bool:
3137 """Given a `LN`, determines whether it's an atom `node` with invisible
3138 parens. Useful in dedupe-ing and normalizing parens.
3140 if isinstance(node, Leaf) or node.type != syms.atom:
3143 first, last = node.children[0], node.children[-1]
3145 isinstance(first, Leaf)
3146 and first.type == token.LPAR
3147 and first.value == ""
3148 and isinstance(last, Leaf)
3149 and last.type == token.RPAR
3150 and last.value == ""
3154 def is_empty_tuple(node: LN) -> bool:
3155 """Return True if `node` holds an empty tuple."""
3157 node.type == syms.atom
3158 and len(node.children) == 2
3159 and node.children[0].type == token.LPAR
3160 and node.children[1].type == token.RPAR
3164 def unwrap_singleton_parenthesis(node: LN) -> Optional[LN]:
3165 """Returns `wrapped` if `node` is of the shape ( wrapped ).
3167 Parenthesis can be optional. Returns None otherwise"""
3168 if len(node.children) != 3:
3171 lpar, wrapped, rpar = node.children
3172 if not (lpar.type == token.LPAR and rpar.type == token.RPAR):
3178 def wrap_in_parentheses(parent: Node, child: LN, *, visible: bool = True) -> None:
3179 """Wrap `child` in parentheses.
3181 This replaces `child` with an atom holding the parentheses and the old
3182 child. That requires moving the prefix.
3184 If `visible` is False, the leaves will be valueless (and thus invisible).
3186 lpar = Leaf(token.LPAR, "(" if visible else "")
3187 rpar = Leaf(token.RPAR, ")" if visible else "")
3188 prefix = child.prefix
3190 index = child.remove() or 0
3191 new_child = Node(syms.atom, [lpar, child, rpar])
3192 new_child.prefix = prefix
3193 parent.insert_child(index, new_child)
3196 def is_one_tuple(node: LN) -> bool:
3197 """Return True if `node` holds a tuple with one element, with or without parens."""
3198 if node.type == syms.atom:
3199 gexp = unwrap_singleton_parenthesis(node)
3200 if gexp is None or gexp.type != syms.testlist_gexp:
3203 return len(gexp.children) == 2 and gexp.children[1].type == token.COMMA
3206 node.type in IMPLICIT_TUPLE
3207 and len(node.children) == 2
3208 and node.children[1].type == token.COMMA
3212 def is_walrus_assignment(node: LN) -> bool:
3213 """Return True iff `node` is of the shape ( test := test )"""
3214 inner = unwrap_singleton_parenthesis(node)
3215 return inner is not None and inner.type == syms.namedexpr_test
3218 def is_yield(node: LN) -> bool:
3219 """Return True if `node` holds a `yield` or `yield from` expression."""
3220 if node.type == syms.yield_expr:
3223 if node.type == token.NAME and node.value == "yield": # type: ignore
3226 if node.type != syms.atom:
3229 if len(node.children) != 3:
3232 lpar, expr, rpar = node.children
3233 if lpar.type == token.LPAR and rpar.type == token.RPAR:
3234 return is_yield(expr)
3239 def is_vararg(leaf: Leaf, within: Set[NodeType]) -> bool:
3240 """Return True if `leaf` is a star or double star in a vararg or kwarg.
3242 If `within` includes VARARGS_PARENTS, this applies to function signatures.
3243 If `within` includes UNPACKING_PARENTS, it applies to right hand-side
3244 extended iterable unpacking (PEP 3132) and additional unpacking
3245 generalizations (PEP 448).
3247 if leaf.type not in VARARGS_SPECIALS or not leaf.parent:
3251 if p.type == syms.star_expr:
3252 # Star expressions are also used as assignment targets in extended
3253 # iterable unpacking (PEP 3132). See what its parent is instead.
3259 return p.type in within
3262 def is_multiline_string(leaf: Leaf) -> bool:
3263 """Return True if `leaf` is a multiline string that actually spans many lines."""
3264 value = leaf.value.lstrip("furbFURB")
3265 return value[:3] in {'"""', "'''"} and "\n" in value
3268 def is_stub_suite(node: Node) -> bool:
3269 """Return True if `node` is a suite with a stub body."""
3271 len(node.children) != 4
3272 or node.children[0].type != token.NEWLINE
3273 or node.children[1].type != token.INDENT
3274 or node.children[3].type != token.DEDENT
3278 return is_stub_body(node.children[2])
3281 def is_stub_body(node: LN) -> bool:
3282 """Return True if `node` is a simple statement containing an ellipsis."""
3283 if not isinstance(node, Node) or node.type != syms.simple_stmt:
3286 if len(node.children) != 2:
3289 child = node.children[0]
3291 child.type == syms.atom
3292 and len(child.children) == 3
3293 and all(leaf == Leaf(token.DOT, ".") for leaf in child.children)
3297 def max_delimiter_priority_in_atom(node: LN) -> Priority:
3298 """Return maximum delimiter priority inside `node`.
3300 This is specific to atoms with contents contained in a pair of parentheses.
3301 If `node` isn't an atom or there are no enclosing parentheses, returns 0.
3303 if node.type != syms.atom:
3306 first = node.children[0]
3307 last = node.children[-1]
3308 if not (first.type == token.LPAR and last.type == token.RPAR):
3311 bt = BracketTracker()
3312 for c in node.children[1:-1]:
3313 if isinstance(c, Leaf):
3316 for leaf in c.leaves():
3319 return bt.max_delimiter_priority()
3325 def ensure_visible(leaf: Leaf) -> None:
3326 """Make sure parentheses are visible.
3328 They could be invisible as part of some statements (see
3329 :func:`normalize_invisible_parens` and :func:`visit_import_from`).
3331 if leaf.type == token.LPAR:
3333 elif leaf.type == token.RPAR:
3337 def should_explode(line: Line, opening_bracket: Leaf) -> bool:
3338 """Should `line` immediately be split with `delimiter_split()` after RHS?"""
3341 opening_bracket.parent
3342 and opening_bracket.parent.type in {syms.atom, syms.import_from}
3343 and opening_bracket.value in "[{("
3348 last_leaf = line.leaves[-1]
3349 exclude = {id(last_leaf)} if last_leaf.type == token.COMMA else set()
3350 max_priority = line.bracket_tracker.max_delimiter_priority(exclude=exclude)
3351 except (IndexError, ValueError):
3354 return max_priority == COMMA_PRIORITY
3357 def get_features_used(node: Node) -> Set[Feature]:
3358 """Return a set of (relatively) new Python features used in this file.
3360 Currently looking for:
3362 - underscores in numeric literals;
3363 - trailing commas after * or ** in function signatures and calls;
3364 - positional only arguments in function signatures and lambdas;
3366 features: Set[Feature] = set()
3367 for n in node.pre_order():
3368 if n.type == token.STRING:
3369 value_head = n.value[:2] # type: ignore
3370 if value_head in {'f"', 'F"', "f'", "F'", "rf", "fr", "RF", "FR"}:
3371 features.add(Feature.F_STRINGS)
3373 elif n.type == token.NUMBER:
3374 if "_" in n.value: # type: ignore
3375 features.add(Feature.NUMERIC_UNDERSCORES)
3377 elif n.type == token.SLASH:
3378 if n.parent and n.parent.type in {syms.typedargslist, syms.arglist}:
3379 features.add(Feature.POS_ONLY_ARGUMENTS)
3381 elif n.type == token.COLONEQUAL:
3382 features.add(Feature.ASSIGNMENT_EXPRESSIONS)
3385 n.type in {syms.typedargslist, syms.arglist}
3387 and n.children[-1].type == token.COMMA
3389 if n.type == syms.typedargslist:
3390 feature = Feature.TRAILING_COMMA_IN_DEF
3392 feature = Feature.TRAILING_COMMA_IN_CALL
3394 for ch in n.children:
3395 if ch.type in STARS:
3396 features.add(feature)
3398 if ch.type == syms.argument:
3399 for argch in ch.children:
3400 if argch.type in STARS:
3401 features.add(feature)
3406 def detect_target_versions(node: Node) -> Set[TargetVersion]:
3407 """Detect the version to target based on the nodes used."""
3408 features = get_features_used(node)
3410 version for version in TargetVersion if features <= VERSION_TO_FEATURES[version]
3414 def generate_trailers_to_omit(line: Line, line_length: int) -> Iterator[Set[LeafID]]:
3415 """Generate sets of closing bracket IDs that should be omitted in a RHS.
3417 Brackets can be omitted if the entire trailer up to and including
3418 a preceding closing bracket fits in one line.
3420 Yielded sets are cumulative (contain results of previous yields, too). First
3424 omit: Set[LeafID] = set()
3427 length = 4 * line.depth
3428 opening_bracket: Optional[Leaf] = None
3429 closing_bracket: Optional[Leaf] = None
3430 inner_brackets: Set[LeafID] = set()
3431 for index, leaf, leaf_length in enumerate_with_length(line, reversed=True):
3432 length += leaf_length
3433 if length > line_length:
3436 has_inline_comment = leaf_length > len(leaf.value) + len(leaf.prefix)
3437 if leaf.type == STANDALONE_COMMENT or has_inline_comment:
3441 if leaf is opening_bracket:
3442 opening_bracket = None
3443 elif leaf.type in CLOSING_BRACKETS:
3444 inner_brackets.add(id(leaf))
3445 elif leaf.type in CLOSING_BRACKETS:
3446 if index > 0 and line.leaves[index - 1].type in OPENING_BRACKETS:
3447 # Empty brackets would fail a split so treat them as "inner"
3448 # brackets (e.g. only add them to the `omit` set if another
3449 # pair of brackets was good enough.
3450 inner_brackets.add(id(leaf))
3454 omit.add(id(closing_bracket))
3455 omit.update(inner_brackets)
3456 inner_brackets.clear()
3460 opening_bracket = leaf.opening_bracket
3461 closing_bracket = leaf
3464 def get_future_imports(node: Node) -> Set[str]:
3465 """Return a set of __future__ imports in the file."""
3466 imports: Set[str] = set()
3468 def get_imports_from_children(children: List[LN]) -> Generator[str, None, None]:
3469 for child in children:
3470 if isinstance(child, Leaf):
3471 if child.type == token.NAME:
3474 elif child.type == syms.import_as_name:
3475 orig_name = child.children[0]
3476 assert isinstance(orig_name, Leaf), "Invalid syntax parsing imports"
3477 assert orig_name.type == token.NAME, "Invalid syntax parsing imports"
3478 yield orig_name.value
3480 elif child.type == syms.import_as_names:
3481 yield from get_imports_from_children(child.children)
3484 raise AssertionError("Invalid syntax parsing imports")
3486 for child in node.children:
3487 if child.type != syms.simple_stmt:
3490 first_child = child.children[0]
3491 if isinstance(first_child, Leaf):
3492 # Continue looking if we see a docstring; otherwise stop.
3494 len(child.children) == 2
3495 and first_child.type == token.STRING
3496 and child.children[1].type == token.NEWLINE
3502 elif first_child.type == syms.import_from:
3503 module_name = first_child.children[1]
3504 if not isinstance(module_name, Leaf) or module_name.value != "__future__":
3507 imports |= set(get_imports_from_children(first_child.children[3:]))
3515 def get_gitignore(root: Path) -> PathSpec:
3516 """ Return a PathSpec matching gitignore content if present."""
3517 gitignore = root / ".gitignore"
3518 lines: List[str] = []
3519 if gitignore.is_file():
3520 with gitignore.open() as gf:
3521 lines = gf.readlines()
3522 return PathSpec.from_lines("gitwildmatch", lines)
3525 def gen_python_files_in_dir(
3528 include: Pattern[str],
3529 exclude: Pattern[str],
3531 gitignore: PathSpec,
3532 ) -> Iterator[Path]:
3533 """Generate all files under `path` whose paths are not excluded by the
3534 `exclude` regex, but are included by the `include` regex.
3536 Symbolic links pointing outside of the `root` directory are ignored.
3538 `report` is where output about exclusions goes.
3540 assert root.is_absolute(), f"INTERNAL ERROR: `root` must be absolute but is {root}"
3541 for child in path.iterdir():
3542 # First ignore files matching .gitignore
3543 if gitignore.match_file(child.as_posix()):
3544 report.path_ignored(child, f"matches the .gitignore file content")
3547 # Then ignore with `exclude` option.
3549 normalized_path = "/" + child.resolve().relative_to(root).as_posix()
3550 except OSError as e:
3551 report.path_ignored(child, f"cannot be read because {e}")
3555 if child.is_symlink():
3556 report.path_ignored(
3557 child, f"is a symbolic link that points outside {root}"
3564 normalized_path += "/"
3566 exclude_match = exclude.search(normalized_path)
3567 if exclude_match and exclude_match.group(0):
3568 report.path_ignored(child, f"matches the --exclude regular expression")
3572 yield from gen_python_files_in_dir(
3573 child, root, include, exclude, report, gitignore
3576 elif child.is_file():
3577 include_match = include.search(normalized_path)
3583 def find_project_root(srcs: Iterable[str]) -> Path:
3584 """Return a directory containing .git, .hg, or pyproject.toml.
3586 That directory can be one of the directories passed in `srcs` or their
3589 If no directory in the tree contains a marker that would specify it's the
3590 project root, the root of the file system is returned.
3593 return Path("/").resolve()
3595 common_base = min(Path(src).resolve() for src in srcs)
3596 if common_base.is_dir():
3597 # Append a fake file so `parents` below returns `common_base_dir`, too.
3598 common_base /= "fake-file"
3599 for directory in common_base.parents:
3600 if (directory / ".git").is_dir():
3603 if (directory / ".hg").is_dir():
3606 if (directory / "pyproject.toml").is_file():
3614 """Provides a reformatting counter. Can be rendered with `str(report)`."""
3618 verbose: bool = False
3619 change_count: int = 0
3621 failure_count: int = 0
3623 def done(self, src: Path, changed: Changed) -> None:
3624 """Increment the counter for successful reformatting. Write out a message."""
3625 if changed is Changed.YES:
3626 reformatted = "would reformat" if self.check else "reformatted"
3627 if self.verbose or not self.quiet:
3628 out(f"{reformatted} {src}")
3629 self.change_count += 1
3632 if changed is Changed.NO:
3633 msg = f"{src} already well formatted, good job."
3635 msg = f"{src} wasn't modified on disk since last run."
3636 out(msg, bold=False)
3637 self.same_count += 1
3639 def failed(self, src: Path, message: str) -> None:
3640 """Increment the counter for failed reformatting. Write out a message."""
3641 err(f"error: cannot format {src}: {message}")
3642 self.failure_count += 1
3644 def path_ignored(self, path: Path, message: str) -> None:
3646 out(f"{path} ignored: {message}", bold=False)
3649 def return_code(self) -> int:
3650 """Return the exit code that the app should use.
3652 This considers the current state of changed files and failures:
3653 - if there were any failures, return 123;
3654 - if any files were changed and --check is being used, return 1;
3655 - otherwise return 0.
3657 # According to http://tldp.org/LDP/abs/html/exitcodes.html starting with
3658 # 126 we have special return codes reserved by the shell.
3659 if self.failure_count:
3662 elif self.change_count and self.check:
3667 def __str__(self) -> str:
3668 """Render a color report of the current state.
3670 Use `click.unstyle` to remove colors.
3673 reformatted = "would be reformatted"
3674 unchanged = "would be left unchanged"
3675 failed = "would fail to reformat"
3677 reformatted = "reformatted"
3678 unchanged = "left unchanged"
3679 failed = "failed to reformat"
3681 if self.change_count:
3682 s = "s" if self.change_count > 1 else ""
3684 click.style(f"{self.change_count} file{s} {reformatted}", bold=True)
3687 s = "s" if self.same_count > 1 else ""
3688 report.append(f"{self.same_count} file{s} {unchanged}")
3689 if self.failure_count:
3690 s = "s" if self.failure_count > 1 else ""
3692 click.style(f"{self.failure_count} file{s} {failed}", fg="red")
3694 return ", ".join(report) + "."
3697 def parse_ast(src: str) -> Union[ast.AST, ast3.AST, ast27.AST]:
3698 filename = "<unknown>"
3699 if sys.version_info >= (3, 8):
3700 # TODO: support Python 4+ ;)
3701 for minor_version in range(sys.version_info[1], 4, -1):
3703 return ast.parse(src, filename, feature_version=(3, minor_version))
3707 for feature_version in (7, 6):
3709 return ast3.parse(src, filename, feature_version=feature_version)
3713 return ast27.parse(src)
3716 def _fixup_ast_constants(
3717 node: Union[ast.AST, ast3.AST, ast27.AST]
3718 ) -> Union[ast.AST, ast3.AST, ast27.AST]:
3719 """Map ast nodes deprecated in 3.8 to Constant."""
3720 if isinstance(node, (ast.Str, ast3.Str, ast27.Str, ast.Bytes, ast3.Bytes)):
3721 return ast.Constant(value=node.s)
3723 if isinstance(node, (ast.Num, ast3.Num, ast27.Num)):
3724 return ast.Constant(value=node.n)
3726 if isinstance(node, (ast.NameConstant, ast3.NameConstant)):
3727 return ast.Constant(value=node.value)
3732 def assert_equivalent(src: str, dst: str) -> None:
3733 """Raise AssertionError if `src` and `dst` aren't equivalent."""
3735 def _v(node: Union[ast.AST, ast3.AST, ast27.AST], depth: int = 0) -> Iterator[str]:
3736 """Simple visitor generating strings to compare ASTs by content."""
3738 node = _fixup_ast_constants(node)
3740 yield f"{' ' * depth}{node.__class__.__name__}("
3742 for field in sorted(node._fields): # noqa: F402
3743 # TypeIgnore has only one field 'lineno' which breaks this comparison
3744 type_ignore_classes = (ast3.TypeIgnore, ast27.TypeIgnore)
3745 if sys.version_info >= (3, 8):
3746 type_ignore_classes += (ast.TypeIgnore,)
3747 if isinstance(node, type_ignore_classes):
3751 value = getattr(node, field)
3752 except AttributeError:
3755 yield f"{' ' * (depth+1)}{field}="
3757 if isinstance(value, list):
3759 # Ignore nested tuples within del statements, because we may insert
3760 # parentheses and they change the AST.
3763 and isinstance(node, (ast.Delete, ast3.Delete, ast27.Delete))
3764 and isinstance(item, (ast.Tuple, ast3.Tuple, ast27.Tuple))
3766 for item in item.elts:
3767 yield from _v(item, depth + 2)
3769 elif isinstance(item, (ast.AST, ast3.AST, ast27.AST)):
3770 yield from _v(item, depth + 2)
3772 elif isinstance(value, (ast.AST, ast3.AST, ast27.AST)):
3773 yield from _v(value, depth + 2)
3776 yield f"{' ' * (depth+2)}{value!r}, # {value.__class__.__name__}"
3778 yield f"{' ' * depth}) # /{node.__class__.__name__}"
3781 src_ast = parse_ast(src)
3782 except Exception as exc:
3783 raise AssertionError(
3784 f"cannot use --safe with this file; failed to parse source file. "
3785 f"AST error message: {exc}"
3789 dst_ast = parse_ast(dst)
3790 except Exception as exc:
3791 log = dump_to_file("".join(traceback.format_tb(exc.__traceback__)), dst)
3792 raise AssertionError(
3793 f"INTERNAL ERROR: Black produced invalid code: {exc}. "
3794 f"Please report a bug on https://github.com/psf/black/issues. "
3795 f"This invalid output might be helpful: {log}"
3798 src_ast_str = "\n".join(_v(src_ast))
3799 dst_ast_str = "\n".join(_v(dst_ast))
3800 if src_ast_str != dst_ast_str:
3801 log = dump_to_file(diff(src_ast_str, dst_ast_str, "src", "dst"))
3802 raise AssertionError(
3803 f"INTERNAL ERROR: Black produced code that is not equivalent to "
3805 f"Please report a bug on https://github.com/psf/black/issues. "
3806 f"This diff might be helpful: {log}"
3810 def assert_stable(src: str, dst: str, mode: FileMode) -> None:
3811 """Raise AssertionError if `dst` reformats differently the second time."""
3812 newdst = format_str(dst, mode=mode)
3815 diff(src, dst, "source", "first pass"),
3816 diff(dst, newdst, "first pass", "second pass"),
3818 raise AssertionError(
3819 f"INTERNAL ERROR: Black produced different code on the second pass "
3820 f"of the formatter. "
3821 f"Please report a bug on https://github.com/psf/black/issues. "
3822 f"This diff might be helpful: {log}"
3826 @mypyc_attr(patchable=True)
3827 def dump_to_file(*output: str) -> str:
3828 """Dump `output` to a temporary file. Return path to the file."""
3829 with tempfile.NamedTemporaryFile(
3830 mode="w", prefix="blk_", suffix=".log", delete=False, encoding="utf8"
3832 for lines in output:
3834 if lines and lines[-1] != "\n":
3840 def nullcontext() -> Iterator[None]:
3841 """Return an empty context manager.
3843 To be used like `nullcontext` in Python 3.7.
3848 def diff(a: str, b: str, a_name: str, b_name: str) -> str:
3849 """Return a unified diff string between strings `a` and `b`."""
3852 a_lines = [line + "\n" for line in a.split("\n")]
3853 b_lines = [line + "\n" for line in b.split("\n")]
3855 difflib.unified_diff(a_lines, b_lines, fromfile=a_name, tofile=b_name, n=5)
3859 def cancel(tasks: Iterable["asyncio.Task[Any]"]) -> None:
3860 """asyncio signal handler that cancels all `tasks` and reports to stderr."""
3866 def shutdown(loop: asyncio.AbstractEventLoop) -> None:
3867 """Cancel all pending tasks on `loop`, wait for them, and close the loop."""
3869 if sys.version_info[:2] >= (3, 7):
3870 all_tasks = asyncio.all_tasks
3872 all_tasks = asyncio.Task.all_tasks
3873 # This part is borrowed from asyncio/runners.py in Python 3.7b2.
3874 to_cancel = [task for task in all_tasks(loop) if not task.done()]
3878 for task in to_cancel:
3880 loop.run_until_complete(
3881 asyncio.gather(*to_cancel, loop=loop, return_exceptions=True)
3884 # `concurrent.futures.Future` objects cannot be cancelled once they
3885 # are already running. There might be some when the `shutdown()` happened.
3886 # Silence their logger's spew about the event loop being closed.
3887 cf_logger = logging.getLogger("concurrent.futures")
3888 cf_logger.setLevel(logging.CRITICAL)
3892 def sub_twice(regex: Pattern[str], replacement: str, original: str) -> str:
3893 """Replace `regex` with `replacement` twice on `original`.
3895 This is used by string normalization to perform replaces on
3896 overlapping matches.
3898 return regex.sub(replacement, regex.sub(replacement, original))
3901 def re_compile_maybe_verbose(regex: str) -> Pattern[str]:
3902 """Compile a regular expression string in `regex`.
3904 If it contains newlines, use verbose mode.
3907 regex = "(?x)" + regex
3908 compiled: Pattern[str] = re.compile(regex)
3912 def enumerate_reversed(sequence: Sequence[T]) -> Iterator[Tuple[Index, T]]:
3913 """Like `reversed(enumerate(sequence))` if that were possible."""
3914 index = len(sequence) - 1
3915 for element in reversed(sequence):
3916 yield (index, element)
3920 def enumerate_with_length(
3921 line: Line, reversed: bool = False
3922 ) -> Iterator[Tuple[Index, Leaf, int]]:
3923 """Return an enumeration of leaves with their length.
3925 Stops prematurely on multiline strings and standalone comments.
3928 Callable[[Sequence[Leaf]], Iterator[Tuple[Index, Leaf]]],
3929 enumerate_reversed if reversed else enumerate,
3931 for index, leaf in op(line.leaves):
3932 length = len(leaf.prefix) + len(leaf.value)
3933 if "\n" in leaf.value:
3934 return # Multiline strings, we can't continue.
3936 for comment in line.comments_after(leaf):
3937 length += len(comment.value)
3939 yield index, leaf, length
3942 def is_line_short_enough(line: Line, *, line_length: int, line_str: str = "") -> bool:
3943 """Return True if `line` is no longer than `line_length`.
3945 Uses the provided `line_str` rendering, if any, otherwise computes a new one.
3948 line_str = str(line).strip("\n")
3950 len(line_str) <= line_length
3951 and "\n" not in line_str # multiline strings
3952 and not line.contains_standalone_comments()
3956 def can_be_split(line: Line) -> bool:
3957 """Return False if the line cannot be split *for sure*.
3959 This is not an exhaustive search but a cheap heuristic that we can use to
3960 avoid some unfortunate formattings (mostly around wrapping unsplittable code
3961 in unnecessary parentheses).
3963 leaves = line.leaves
3967 if leaves[0].type == token.STRING and leaves[1].type == token.DOT:
3971 for leaf in leaves[-2::-1]:
3972 if leaf.type in OPENING_BRACKETS:
3973 if next.type not in CLOSING_BRACKETS:
3977 elif leaf.type == token.DOT:
3979 elif leaf.type == token.NAME:
3980 if not (next.type == token.DOT or next.type in OPENING_BRACKETS):
3983 elif leaf.type not in CLOSING_BRACKETS:
3986 if dot_count > 1 and call_count > 1:
3992 def can_omit_invisible_parens(line: Line, line_length: int) -> bool:
3993 """Does `line` have a shape safe to reformat without optional parens around it?
3995 Returns True for only a subset of potentially nice looking formattings but
3996 the point is to not return false positives that end up producing lines that
3999 bt = line.bracket_tracker
4000 if not bt.delimiters:
4001 # Without delimiters the optional parentheses are useless.
4004 max_priority = bt.max_delimiter_priority()
4005 if bt.delimiter_count_with_priority(max_priority) > 1:
4006 # With more than one delimiter of a kind the optional parentheses read better.
4009 if max_priority == DOT_PRIORITY:
4010 # A single stranded method call doesn't require optional parentheses.
4013 assert len(line.leaves) >= 2, "Stranded delimiter"
4015 first = line.leaves[0]
4016 second = line.leaves[1]
4017 penultimate = line.leaves[-2]
4018 last = line.leaves[-1]
4020 # With a single delimiter, omit if the expression starts or ends with
4022 if first.type in OPENING_BRACKETS and second.type not in CLOSING_BRACKETS:
4024 length = 4 * line.depth
4025 for _index, leaf, leaf_length in enumerate_with_length(line):
4026 if leaf.type in CLOSING_BRACKETS and leaf.opening_bracket is first:
4029 length += leaf_length
4030 if length > line_length:
4033 if leaf.type in OPENING_BRACKETS:
4034 # There are brackets we can further split on.
4038 # checked the entire string and line length wasn't exceeded
4039 if len(line.leaves) == _index + 1:
4042 # Note: we are not returning False here because a line might have *both*
4043 # a leading opening bracket and a trailing closing bracket. If the
4044 # opening bracket doesn't match our rule, maybe the closing will.
4047 last.type == token.RPAR
4048 or last.type == token.RBRACE
4050 # don't use indexing for omitting optional parentheses;
4052 last.type == token.RSQB
4054 and last.parent.type != syms.trailer
4057 if penultimate.type in OPENING_BRACKETS:
4058 # Empty brackets don't help.
4061 if is_multiline_string(first):
4062 # Additional wrapping of a multiline string in this situation is
4066 length = 4 * line.depth
4067 seen_other_brackets = False
4068 for _index, leaf, leaf_length in enumerate_with_length(line):
4069 length += leaf_length
4070 if leaf is last.opening_bracket:
4071 if seen_other_brackets or length <= line_length:
4074 elif leaf.type in OPENING_BRACKETS:
4075 # There are brackets we can further split on.
4076 seen_other_brackets = True
4081 def get_cache_file(mode: FileMode) -> Path:
4082 return CACHE_DIR / f"cache.{mode.get_cache_key()}.pickle"
4085 def read_cache(mode: FileMode) -> Cache:
4086 """Read the cache if it exists and is well formed.
4088 If it is not well formed, the call to write_cache later should resolve the issue.
4090 cache_file = get_cache_file(mode)
4091 if not cache_file.exists():
4094 with cache_file.open("rb") as fobj:
4096 cache: Cache = pickle.load(fobj)
4097 except (pickle.UnpicklingError, ValueError):
4103 def get_cache_info(path: Path) -> CacheInfo:
4104 """Return the information used to check if a file is already formatted or not."""
4106 return stat.st_mtime, stat.st_size
4109 def filter_cached(cache: Cache, sources: Iterable[Path]) -> Tuple[Set[Path], Set[Path]]:
4110 """Split an iterable of paths in `sources` into two sets.
4112 The first contains paths of files that modified on disk or are not in the
4113 cache. The other contains paths to non-modified files.
4115 todo, done = set(), set()
4118 if cache.get(src) != get_cache_info(src):
4125 def write_cache(cache: Cache, sources: Iterable[Path], mode: FileMode) -> None:
4126 """Update the cache file."""
4127 cache_file = get_cache_file(mode)
4129 CACHE_DIR.mkdir(parents=True, exist_ok=True)
4130 new_cache = {**cache, **{src.resolve(): get_cache_info(src) for src in sources}}
4131 with tempfile.NamedTemporaryFile(dir=str(cache_file.parent), delete=False) as f:
4132 pickle.dump(new_cache, f, protocol=4)
4133 os.replace(f.name, cache_file)
4138 def patch_click() -> None:
4139 """Make Click not crash.
4141 On certain misconfigured environments, Python 3 selects the ASCII encoding as the
4142 default which restricts paths that it can access during the lifetime of the
4143 application. Click refuses to work in this scenario by raising a RuntimeError.
4145 In case of Black the likelihood that non-ASCII characters are going to be used in
4146 file paths is minimal since it's Python source code. Moreover, this crash was
4147 spurious on Python 3.7 thanks to PEP 538 and PEP 540.
4150 from click import core
4151 from click import _unicodefun # type: ignore
4152 except ModuleNotFoundError:
4155 for module in (core, _unicodefun):
4156 if hasattr(module, "_verify_python3_env"):
4157 module._verify_python3_env = lambda: None
4160 def patched_main() -> None:
4166 if __name__ == "__main__":