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
41 from appdirs import user_cache_dir
42 from attr import dataclass, evolve, Factory
45 from typed_ast import ast3, ast27
46 from pathspec import PathSpec
49 from blib2to3.pytree import Node, Leaf, type_repr
50 from blib2to3 import pygram, pytree
51 from blib2to3.pgen2 import driver, token
52 from blib2to3.pgen2.grammar import Grammar
53 from blib2to3.pgen2.parse import ParseError
55 from _black_version import version as __version__
57 DEFAULT_LINE_LENGTH = 88
58 DEFAULT_EXCLUDES = r"/(\.eggs|\.git|\.hg|\.mypy_cache|\.nox|\.tox|\.venv|\.svn|_build|buck-out|build|dist)/" # noqa: B950
59 DEFAULT_INCLUDES = r"\.pyi?$"
60 CACHE_DIR = Path(user_cache_dir("black", version=__version__))
72 LN = Union[Leaf, Node]
73 SplitFunc = Callable[["Line", Collection["Feature"]], Iterator["Line"]]
76 CacheInfo = Tuple[Timestamp, FileSize]
77 Cache = Dict[Path, CacheInfo]
78 out = partial(click.secho, bold=True, err=True)
79 err = partial(click.secho, fg="red", err=True)
81 pygram.initialize(CACHE_DIR)
82 syms = pygram.python_symbols
85 class NothingChanged(UserWarning):
86 """Raised when reformatted code is the same as source."""
89 class CannotSplit(Exception):
90 """A readable split that fits the allotted line length is impossible."""
93 class InvalidInput(ValueError):
94 """Raised when input source code fails all parse attempts."""
97 class WriteBack(Enum):
104 def from_configuration(cls, *, check: bool, diff: bool) -> "WriteBack":
105 if check and not diff:
108 return cls.DIFF if diff else cls.YES
117 class TargetVersion(Enum):
126 def is_python2(self) -> bool:
127 return self is TargetVersion.PY27
130 PY36_VERSIONS = {TargetVersion.PY36, TargetVersion.PY37, TargetVersion.PY38}
134 # All string literals are unicode
137 NUMERIC_UNDERSCORES = 3
138 TRAILING_COMMA_IN_CALL = 4
139 TRAILING_COMMA_IN_DEF = 5
140 # The following two feature-flags are mutually exclusive, and exactly one should be
141 # set for every version of python.
142 ASYNC_IDENTIFIERS = 6
144 ASSIGNMENT_EXPRESSIONS = 8
145 POS_ONLY_ARGUMENTS = 9
148 VERSION_TO_FEATURES: Dict[TargetVersion, Set[Feature]] = {
149 TargetVersion.PY27: {Feature.ASYNC_IDENTIFIERS},
150 TargetVersion.PY33: {Feature.UNICODE_LITERALS, Feature.ASYNC_IDENTIFIERS},
151 TargetVersion.PY34: {Feature.UNICODE_LITERALS, Feature.ASYNC_IDENTIFIERS},
152 TargetVersion.PY35: {
153 Feature.UNICODE_LITERALS,
154 Feature.TRAILING_COMMA_IN_CALL,
155 Feature.ASYNC_IDENTIFIERS,
157 TargetVersion.PY36: {
158 Feature.UNICODE_LITERALS,
160 Feature.NUMERIC_UNDERSCORES,
161 Feature.TRAILING_COMMA_IN_CALL,
162 Feature.TRAILING_COMMA_IN_DEF,
163 Feature.ASYNC_IDENTIFIERS,
165 TargetVersion.PY37: {
166 Feature.UNICODE_LITERALS,
168 Feature.NUMERIC_UNDERSCORES,
169 Feature.TRAILING_COMMA_IN_CALL,
170 Feature.TRAILING_COMMA_IN_DEF,
171 Feature.ASYNC_KEYWORDS,
173 TargetVersion.PY38: {
174 Feature.UNICODE_LITERALS,
176 Feature.NUMERIC_UNDERSCORES,
177 Feature.TRAILING_COMMA_IN_CALL,
178 Feature.TRAILING_COMMA_IN_DEF,
179 Feature.ASYNC_KEYWORDS,
180 Feature.ASSIGNMENT_EXPRESSIONS,
181 Feature.POS_ONLY_ARGUMENTS,
188 target_versions: Set[TargetVersion] = Factory(set)
189 line_length: int = DEFAULT_LINE_LENGTH
190 string_normalization: bool = True
193 def get_cache_key(self) -> str:
194 if self.target_versions:
195 version_str = ",".join(
197 for version in sorted(self.target_versions, key=lambda v: v.value)
203 str(self.line_length),
204 str(int(self.string_normalization)),
205 str(int(self.is_pyi)),
207 return ".".join(parts)
210 def supports_feature(target_versions: Set[TargetVersion], feature: Feature) -> bool:
211 return all(feature in VERSION_TO_FEATURES[version] for version in target_versions)
214 def read_pyproject_toml(
215 ctx: click.Context, param: click.Parameter, value: Union[str, int, bool, None]
217 """Inject Black configuration from "pyproject.toml" into defaults in `ctx`.
219 Returns the path to a successfully found and read configuration file, None
222 assert not isinstance(value, (int, bool)), "Invalid parameter type passed"
224 root = find_project_root(ctx.params.get("src", ()))
225 path = root / "pyproject.toml"
232 pyproject_toml = toml.load(value)
233 config = pyproject_toml.get("tool", {}).get("black", {})
234 except (toml.TomlDecodeError, OSError) as e:
235 raise click.FileError(
236 filename=value, hint=f"Error reading configuration file: {e}"
242 if ctx.default_map is None:
244 ctx.default_map.update( # type: ignore # bad types in .pyi
245 {k.replace("--", "").replace("-", "_"): v for k, v in config.items()}
250 @click.command(context_settings=dict(help_option_names=["-h", "--help"]))
251 @click.option("-c", "--code", type=str, help="Format the code passed in as a string.")
256 default=DEFAULT_LINE_LENGTH,
257 help="How many characters per line to allow.",
263 type=click.Choice([v.name.lower() for v in TargetVersion]),
264 callback=lambda c, p, v: [TargetVersion[val.upper()] for val in v],
267 "Python versions that should be supported by Black's output. [default: "
268 "per-file auto-detection]"
275 "Allow using Python 3.6-only syntax on all input files. This will put "
276 "trailing commas in function signatures and calls also after *args and "
277 "**kwargs. Deprecated; use --target-version instead. "
278 "[default: per-file auto-detection]"
285 "Format all input files like typing stubs regardless of file extension "
286 "(useful when piping source on standard input)."
291 "--skip-string-normalization",
293 help="Don't normalize string quotes or prefixes.",
299 "Don't write the files back, just return the status. Return code 0 "
300 "means nothing would change. Return code 1 means some files would be "
301 "reformatted. Return code 123 means there was an internal error."
307 help="Don't write the files back, just output a diff for each file on stdout.",
312 help="If --fast given, skip temporary sanity checks. [default: --safe]",
317 default=DEFAULT_INCLUDES,
319 "A regular expression that matches files and directories that should be "
320 "included on recursive searches. An empty value means all files are "
321 "included regardless of the name. Use forward slashes for directories on "
322 "all platforms (Windows, too). Exclusions are calculated first, inclusions "
330 default=DEFAULT_EXCLUDES,
332 "A regular expression that matches files and directories that should be "
333 "excluded on recursive searches. An empty value means no paths are excluded. "
334 "Use forward slashes for directories on all platforms (Windows, too). "
335 "Exclusions are calculated first, inclusions later."
344 "Don't emit non-error messages to stderr. Errors are still emitted; "
345 "silence those with 2>/dev/null."
353 "Also emit messages to stderr about files that were not changed or were "
354 "ignored due to --exclude=."
357 @click.version_option(version=__version__)
362 exists=True, file_okay=True, dir_okay=True, readable=True, allow_dash=True
369 exists=False, file_okay=True, dir_okay=False, readable=True, allow_dash=False
372 callback=read_pyproject_toml,
373 help="Read configuration from PATH.",
380 target_version: List[TargetVersion],
386 skip_string_normalization: bool,
392 config: Optional[str],
394 """The uncompromising code formatter."""
395 write_back = WriteBack.from_configuration(check=check, diff=diff)
398 err(f"Cannot use both --target-version and --py36")
401 versions = set(target_version)
404 "--py36 is deprecated and will be removed in a future version. "
405 "Use --target-version py36 instead."
407 versions = PY36_VERSIONS
409 # We'll autodetect later.
412 target_versions=versions,
413 line_length=line_length,
415 string_normalization=not skip_string_normalization,
417 if config and verbose:
418 out(f"Using configuration from {config}.", bold=False, fg="blue")
420 print(format_str(code, mode=mode))
423 include_regex = re_compile_maybe_verbose(include)
425 err(f"Invalid regular expression for include given: {include!r}")
428 exclude_regex = re_compile_maybe_verbose(exclude)
430 err(f"Invalid regular expression for exclude given: {exclude!r}")
432 report = Report(check=check, quiet=quiet, verbose=verbose)
433 root = find_project_root(src)
434 sources: Set[Path] = set()
435 path_empty(src, quiet, verbose, ctx)
440 gen_python_files_in_dir(
441 p, root, include_regex, exclude_regex, report, get_gitignore(root)
444 elif p.is_file() or s == "-":
445 # if a file was explicitly given, we don't care about its extension
448 err(f"invalid path: {s}")
449 if len(sources) == 0:
450 if verbose or not quiet:
451 out("No Python files are present to be formatted. Nothing to do 😴")
454 if len(sources) == 1:
458 write_back=write_back,
464 sources=sources, fast=fast, write_back=write_back, mode=mode, report=report
467 if verbose or not quiet:
468 out("Oh no! 💥 💔 💥" if report.return_code else "All done! ✨ 🍰 ✨")
469 click.secho(str(report), err=True)
470 ctx.exit(report.return_code)
473 def path_empty(src: Tuple[str], quiet: bool, verbose: bool, ctx: click.Context) -> None:
475 Exit if there is no `src` provided for formatting
478 if verbose or not quiet:
479 out("No Path provided. Nothing to do 😴")
484 src: Path, fast: bool, write_back: WriteBack, mode: FileMode, report: "Report"
486 """Reformat a single file under `src` without spawning child processes.
488 `fast`, `write_back`, and `mode` options are passed to
489 :func:`format_file_in_place` or :func:`format_stdin_to_stdout`.
493 if not src.is_file() and str(src) == "-":
494 if format_stdin_to_stdout(fast=fast, write_back=write_back, mode=mode):
495 changed = Changed.YES
498 if write_back != WriteBack.DIFF:
499 cache = read_cache(mode)
500 res_src = src.resolve()
501 if res_src in cache and cache[res_src] == get_cache_info(res_src):
502 changed = Changed.CACHED
503 if changed is not Changed.CACHED and format_file_in_place(
504 src, fast=fast, write_back=write_back, mode=mode
506 changed = Changed.YES
507 if (write_back is WriteBack.YES and changed is not Changed.CACHED) or (
508 write_back is WriteBack.CHECK and changed is Changed.NO
510 write_cache(cache, [src], mode)
511 report.done(src, changed)
512 except Exception as exc:
513 report.failed(src, str(exc))
519 write_back: WriteBack,
523 """Reformat multiple files using a ProcessPoolExecutor."""
524 loop = asyncio.get_event_loop()
525 worker_count = os.cpu_count()
526 if sys.platform == "win32":
527 # Work around https://bugs.python.org/issue26903
528 worker_count = min(worker_count, 61)
529 executor = ProcessPoolExecutor(max_workers=worker_count)
531 loop.run_until_complete(
535 write_back=write_back,
547 async def schedule_formatting(
550 write_back: WriteBack,
553 loop: asyncio.AbstractEventLoop,
556 """Run formatting of `sources` in parallel using the provided `executor`.
558 (Use ProcessPoolExecutors for actual parallelism.)
560 `write_back`, `fast`, and `mode` options are passed to
561 :func:`format_file_in_place`.
564 if write_back != WriteBack.DIFF:
565 cache = read_cache(mode)
566 sources, cached = filter_cached(cache, sources)
567 for src in sorted(cached):
568 report.done(src, Changed.CACHED)
573 sources_to_cache = []
575 if write_back == WriteBack.DIFF:
576 # For diff output, we need locks to ensure we don't interleave output
577 # from different processes.
579 lock = manager.Lock()
581 asyncio.ensure_future(
582 loop.run_in_executor(
583 executor, format_file_in_place, src, fast, mode, write_back, lock
586 for src in sorted(sources)
588 pending: Iterable[asyncio.Future] = tasks.keys()
590 loop.add_signal_handler(signal.SIGINT, cancel, pending)
591 loop.add_signal_handler(signal.SIGTERM, cancel, pending)
592 except NotImplementedError:
593 # There are no good alternatives for these on Windows.
596 done, _ = await asyncio.wait(pending, return_when=asyncio.FIRST_COMPLETED)
598 src = tasks.pop(task)
600 cancelled.append(task)
601 elif task.exception():
602 report.failed(src, str(task.exception()))
604 changed = Changed.YES if task.result() else Changed.NO
605 # If the file was written back or was successfully checked as
606 # well-formatted, store this information in the cache.
607 if write_back is WriteBack.YES or (
608 write_back is WriteBack.CHECK and changed is Changed.NO
610 sources_to_cache.append(src)
611 report.done(src, changed)
613 await asyncio.gather(*cancelled, loop=loop, return_exceptions=True)
615 write_cache(cache, sources_to_cache, mode)
618 def format_file_in_place(
622 write_back: WriteBack = WriteBack.NO,
623 lock: Any = None, # multiprocessing.Manager().Lock() is some crazy proxy
625 """Format file under `src` path. Return True if changed.
627 If `write_back` is DIFF, write a diff to stdout. If it is YES, write reformatted
629 `mode` and `fast` options are passed to :func:`format_file_contents`.
631 if src.suffix == ".pyi":
632 mode = evolve(mode, is_pyi=True)
634 then = datetime.utcfromtimestamp(src.stat().st_mtime)
635 with open(src, "rb") as buf:
636 src_contents, encoding, newline = decode_bytes(buf.read())
638 dst_contents = format_file_contents(src_contents, fast=fast, mode=mode)
639 except NothingChanged:
642 if write_back == write_back.YES:
643 with open(src, "w", encoding=encoding, newline=newline) as f:
644 f.write(dst_contents)
645 elif write_back == write_back.DIFF:
646 now = datetime.utcnow()
647 src_name = f"{src}\t{then} +0000"
648 dst_name = f"{src}\t{now} +0000"
649 diff_contents = diff(src_contents, dst_contents, src_name, dst_name)
651 with lock or nullcontext():
652 f = io.TextIOWrapper(
658 f.write(diff_contents)
664 def format_stdin_to_stdout(
665 fast: bool, *, write_back: WriteBack = WriteBack.NO, mode: FileMode
667 """Format file on stdin. Return True if changed.
669 If `write_back` is YES, write reformatted code back to stdout. If it is DIFF,
670 write a diff to stdout. The `mode` argument is passed to
671 :func:`format_file_contents`.
673 then = datetime.utcnow()
674 src, encoding, newline = decode_bytes(sys.stdin.buffer.read())
677 dst = format_file_contents(src, fast=fast, mode=mode)
680 except NothingChanged:
684 f = io.TextIOWrapper(
685 sys.stdout.buffer, encoding=encoding, newline=newline, write_through=True
687 if write_back == WriteBack.YES:
689 elif write_back == WriteBack.DIFF:
690 now = datetime.utcnow()
691 src_name = f"STDIN\t{then} +0000"
692 dst_name = f"STDOUT\t{now} +0000"
693 f.write(diff(src, dst, src_name, dst_name))
697 def format_file_contents(
698 src_contents: str, *, fast: bool, mode: FileMode
700 """Reformat contents a file and return new contents.
702 If `fast` is False, additionally confirm that the reformatted code is
703 valid by calling :func:`assert_equivalent` and :func:`assert_stable` on it.
704 `mode` is passed to :func:`format_str`.
706 if src_contents.strip() == "":
709 dst_contents = format_str(src_contents, mode=mode)
710 if src_contents == dst_contents:
714 assert_equivalent(src_contents, dst_contents)
715 assert_stable(src_contents, dst_contents, mode=mode)
719 def format_str(src_contents: str, *, mode: FileMode) -> FileContent:
720 """Reformat a string and return new contents.
722 `mode` determines formatting options, such as how many characters per line are
725 src_node = lib2to3_parse(src_contents.lstrip(), mode.target_versions)
727 future_imports = get_future_imports(src_node)
728 if mode.target_versions:
729 versions = mode.target_versions
731 versions = detect_target_versions(src_node)
732 normalize_fmt_off(src_node)
733 lines = LineGenerator(
734 remove_u_prefix="unicode_literals" in future_imports
735 or supports_feature(versions, Feature.UNICODE_LITERALS),
737 normalize_strings=mode.string_normalization,
739 elt = EmptyLineTracker(is_pyi=mode.is_pyi)
742 split_line_features = {
744 for feature in {Feature.TRAILING_COMMA_IN_CALL, Feature.TRAILING_COMMA_IN_DEF}
745 if supports_feature(versions, feature)
747 for current_line in lines.visit(src_node):
748 for _ in range(after):
749 dst_contents.append(str(empty_line))
750 before, after = elt.maybe_empty_lines(current_line)
751 for _ in range(before):
752 dst_contents.append(str(empty_line))
753 for line in split_line(
754 current_line, line_length=mode.line_length, features=split_line_features
756 dst_contents.append(str(line))
757 return "".join(dst_contents)
760 def decode_bytes(src: bytes) -> Tuple[FileContent, Encoding, NewLine]:
761 """Return a tuple of (decoded_contents, encoding, newline).
763 `newline` is either CRLF or LF but `decoded_contents` is decoded with
764 universal newlines (i.e. only contains LF).
766 srcbuf = io.BytesIO(src)
767 encoding, lines = tokenize.detect_encoding(srcbuf.readline)
769 return "", encoding, "\n"
771 newline = "\r\n" if b"\r\n" == lines[0][-2:] else "\n"
773 with io.TextIOWrapper(srcbuf, encoding) as tiow:
774 return tiow.read(), encoding, newline
777 def get_grammars(target_versions: Set[TargetVersion]) -> List[Grammar]:
778 if not target_versions:
779 # No target_version specified, so try all grammars.
782 pygram.python_grammar_no_print_statement_no_exec_statement_async_keywords,
784 pygram.python_grammar_no_print_statement_no_exec_statement,
785 # Python 2.7 with future print_function import
786 pygram.python_grammar_no_print_statement,
788 pygram.python_grammar,
790 elif all(version.is_python2() for version in target_versions):
791 # Python 2-only code, so try Python 2 grammars.
793 # Python 2.7 with future print_function import
794 pygram.python_grammar_no_print_statement,
796 pygram.python_grammar,
799 # Python 3-compatible code, so only try Python 3 grammar.
801 # If we have to parse both, try to parse async as a keyword first
802 if not supports_feature(target_versions, Feature.ASYNC_IDENTIFIERS):
805 pygram.python_grammar_no_print_statement_no_exec_statement_async_keywords # noqa: B950
807 if not supports_feature(target_versions, Feature.ASYNC_KEYWORDS):
809 grammars.append(pygram.python_grammar_no_print_statement_no_exec_statement)
810 # At least one of the above branches must have been taken, because every Python
811 # version has exactly one of the two 'ASYNC_*' flags
815 def lib2to3_parse(src_txt: str, target_versions: Iterable[TargetVersion] = ()) -> Node:
816 """Given a string with source, return the lib2to3 Node."""
817 if src_txt[-1:] != "\n":
820 for grammar in get_grammars(set(target_versions)):
821 drv = driver.Driver(grammar, pytree.convert)
823 result = drv.parse_string(src_txt, True)
826 except ParseError as pe:
827 lineno, column = pe.context[1]
828 lines = src_txt.splitlines()
830 faulty_line = lines[lineno - 1]
832 faulty_line = "<line number missing in source>"
833 exc = InvalidInput(f"Cannot parse: {lineno}:{column}: {faulty_line}")
837 if isinstance(result, Leaf):
838 result = Node(syms.file_input, [result])
842 def lib2to3_unparse(node: Node) -> str:
843 """Given a lib2to3 node, return its string representation."""
851 class Visitor(Generic[T]):
852 """Basic lib2to3 visitor that yields things of type `T` on `visit()`."""
854 def visit(self, node: LN) -> Iterator[T]:
855 """Main method to visit `node` and its children.
857 It tries to find a `visit_*()` method for the given `node.type`, like
858 `visit_simple_stmt` for Node objects or `visit_INDENT` for Leaf objects.
859 If no dedicated `visit_*()` method is found, chooses `visit_default()`
862 Then yields objects of type `T` from the selected visitor.
865 name = token.tok_name[node.type]
867 name = type_repr(node.type)
868 yield from getattr(self, f"visit_{name}", self.visit_default)(node)
870 def visit_default(self, node: LN) -> Iterator[T]:
871 """Default `visit_*()` implementation. Recurses to children of `node`."""
872 if isinstance(node, Node):
873 for child in node.children:
874 yield from self.visit(child)
878 class DebugVisitor(Visitor[T]):
881 def visit_default(self, node: LN) -> Iterator[T]:
882 indent = " " * (2 * self.tree_depth)
883 if isinstance(node, Node):
884 _type = type_repr(node.type)
885 out(f"{indent}{_type}", fg="yellow")
887 for child in node.children:
888 yield from self.visit(child)
891 out(f"{indent}/{_type}", fg="yellow", bold=False)
893 _type = token.tok_name.get(node.type, str(node.type))
894 out(f"{indent}{_type}", fg="blue", nl=False)
896 # We don't have to handle prefixes for `Node` objects since
897 # that delegates to the first child anyway.
898 out(f" {node.prefix!r}", fg="green", bold=False, nl=False)
899 out(f" {node.value!r}", fg="blue", bold=False)
902 def show(cls, code: Union[str, Leaf, Node]) -> None:
903 """Pretty-print the lib2to3 AST of a given string of `code`.
905 Convenience method for debugging.
907 v: DebugVisitor[None] = DebugVisitor()
908 if isinstance(code, str):
909 code = lib2to3_parse(code)
913 WHITESPACE = {token.DEDENT, token.INDENT, token.NEWLINE}
924 STANDALONE_COMMENT = 153
925 token.tok_name[STANDALONE_COMMENT] = "STANDALONE_COMMENT"
926 LOGIC_OPERATORS = {"and", "or"}
951 STARS = {token.STAR, token.DOUBLESTAR}
952 VARARGS_SPECIALS = STARS | {token.SLASH}
955 syms.argument, # double star in arglist
956 syms.trailer, # single argument to call
958 syms.varargslist, # lambdas
960 UNPACKING_PARENTS = {
961 syms.atom, # single element of a list or set literal
965 syms.testlist_star_expr,
1000 COMPREHENSION_PRIORITY = 20
1002 TERNARY_PRIORITY = 16
1004 STRING_PRIORITY = 12
1005 COMPARATOR_PRIORITY = 10
1008 token.CIRCUMFLEX: 8,
1011 token.RIGHTSHIFT: 6,
1016 token.DOUBLESLASH: 4,
1020 token.DOUBLESTAR: 2,
1026 class BracketTracker:
1027 """Keeps track of brackets on a line."""
1030 bracket_match: Dict[Tuple[Depth, NodeType], Leaf] = Factory(dict)
1031 delimiters: Dict[LeafID, Priority] = Factory(dict)
1032 previous: Optional[Leaf] = None
1033 _for_loop_depths: List[int] = Factory(list)
1034 _lambda_argument_depths: List[int] = Factory(list)
1036 def mark(self, leaf: Leaf) -> None:
1037 """Mark `leaf` with bracket-related metadata. Keep track of delimiters.
1039 All leaves receive an int `bracket_depth` field that stores how deep
1040 within brackets a given leaf is. 0 means there are no enclosing brackets
1041 that started on this line.
1043 If a leaf is itself a closing bracket, it receives an `opening_bracket`
1044 field that it forms a pair with. This is a one-directional link to
1045 avoid reference cycles.
1047 If a leaf is a delimiter (a token on which Black can split the line if
1048 needed) and it's on depth 0, its `id()` is stored in the tracker's
1051 if leaf.type == token.COMMENT:
1054 self.maybe_decrement_after_for_loop_variable(leaf)
1055 self.maybe_decrement_after_lambda_arguments(leaf)
1056 if leaf.type in CLOSING_BRACKETS:
1058 opening_bracket = self.bracket_match.pop((self.depth, leaf.type))
1059 leaf.opening_bracket = opening_bracket
1060 leaf.bracket_depth = self.depth
1062 delim = is_split_before_delimiter(leaf, self.previous)
1063 if delim and self.previous is not None:
1064 self.delimiters[id(self.previous)] = delim
1066 delim = is_split_after_delimiter(leaf, self.previous)
1068 self.delimiters[id(leaf)] = delim
1069 if leaf.type in OPENING_BRACKETS:
1070 self.bracket_match[self.depth, BRACKET[leaf.type]] = leaf
1072 self.previous = leaf
1073 self.maybe_increment_lambda_arguments(leaf)
1074 self.maybe_increment_for_loop_variable(leaf)
1076 def any_open_brackets(self) -> bool:
1077 """Return True if there is an yet unmatched open bracket on the line."""
1078 return bool(self.bracket_match)
1080 def max_delimiter_priority(self, exclude: Iterable[LeafID] = ()) -> Priority:
1081 """Return the highest priority of a delimiter found on the line.
1083 Values are consistent with what `is_split_*_delimiter()` return.
1084 Raises ValueError on no delimiters.
1086 return max(v for k, v in self.delimiters.items() if k not in exclude)
1088 def delimiter_count_with_priority(self, priority: Priority = 0) -> int:
1089 """Return the number of delimiters with the given `priority`.
1091 If no `priority` is passed, defaults to max priority on the line.
1093 if not self.delimiters:
1096 priority = priority or self.max_delimiter_priority()
1097 return sum(1 for p in self.delimiters.values() if p == priority)
1099 def maybe_increment_for_loop_variable(self, leaf: Leaf) -> bool:
1100 """In a for loop, or comprehension, the variables are often unpacks.
1102 To avoid splitting on the comma in this situation, increase the depth of
1103 tokens between `for` and `in`.
1105 if leaf.type == token.NAME and leaf.value == "for":
1107 self._for_loop_depths.append(self.depth)
1112 def maybe_decrement_after_for_loop_variable(self, leaf: Leaf) -> bool:
1113 """See `maybe_increment_for_loop_variable` above for explanation."""
1115 self._for_loop_depths
1116 and self._for_loop_depths[-1] == self.depth
1117 and leaf.type == token.NAME
1118 and leaf.value == "in"
1121 self._for_loop_depths.pop()
1126 def maybe_increment_lambda_arguments(self, leaf: Leaf) -> bool:
1127 """In a lambda expression, there might be more than one argument.
1129 To avoid splitting on the comma in this situation, increase the depth of
1130 tokens between `lambda` and `:`.
1132 if leaf.type == token.NAME and leaf.value == "lambda":
1134 self._lambda_argument_depths.append(self.depth)
1139 def maybe_decrement_after_lambda_arguments(self, leaf: Leaf) -> bool:
1140 """See `maybe_increment_lambda_arguments` above for explanation."""
1142 self._lambda_argument_depths
1143 and self._lambda_argument_depths[-1] == self.depth
1144 and leaf.type == token.COLON
1147 self._lambda_argument_depths.pop()
1152 def get_open_lsqb(self) -> Optional[Leaf]:
1153 """Return the most recent opening square bracket (if any)."""
1154 return self.bracket_match.get((self.depth - 1, token.RSQB))
1159 """Holds leaves and comments. Can be printed with `str(line)`."""
1162 leaves: List[Leaf] = Factory(list)
1163 comments: Dict[LeafID, List[Leaf]] = Factory(dict) # keys ordered like `leaves`
1164 bracket_tracker: BracketTracker = Factory(BracketTracker)
1165 inside_brackets: bool = False
1166 should_explode: bool = False
1168 def append(self, leaf: Leaf, preformatted: bool = False) -> None:
1169 """Add a new `leaf` to the end of the line.
1171 Unless `preformatted` is True, the `leaf` will receive a new consistent
1172 whitespace prefix and metadata applied by :class:`BracketTracker`.
1173 Trailing commas are maybe removed, unpacked for loop variables are
1174 demoted from being delimiters.
1176 Inline comments are put aside.
1178 has_value = leaf.type in BRACKETS or bool(leaf.value.strip())
1182 if token.COLON == leaf.type and self.is_class_paren_empty:
1183 del self.leaves[-2:]
1184 if self.leaves and not preformatted:
1185 # Note: at this point leaf.prefix should be empty except for
1186 # imports, for which we only preserve newlines.
1187 leaf.prefix += whitespace(
1188 leaf, complex_subscript=self.is_complex_subscript(leaf)
1190 if self.inside_brackets or not preformatted:
1191 self.bracket_tracker.mark(leaf)
1192 self.maybe_remove_trailing_comma(leaf)
1193 if not self.append_comment(leaf):
1194 self.leaves.append(leaf)
1196 def append_safe(self, leaf: Leaf, preformatted: bool = False) -> None:
1197 """Like :func:`append()` but disallow invalid standalone comment structure.
1199 Raises ValueError when any `leaf` is appended after a standalone comment
1200 or when a standalone comment is not the first leaf on the line.
1202 if self.bracket_tracker.depth == 0:
1204 raise ValueError("cannot append to standalone comments")
1206 if self.leaves and leaf.type == STANDALONE_COMMENT:
1208 "cannot append standalone comments to a populated line"
1211 self.append(leaf, preformatted=preformatted)
1214 def is_comment(self) -> bool:
1215 """Is this line a standalone comment?"""
1216 return len(self.leaves) == 1 and self.leaves[0].type == STANDALONE_COMMENT
1219 def is_decorator(self) -> bool:
1220 """Is this line a decorator?"""
1221 return bool(self) and self.leaves[0].type == token.AT
1224 def is_import(self) -> bool:
1225 """Is this an import line?"""
1226 return bool(self) and is_import(self.leaves[0])
1229 def is_class(self) -> bool:
1230 """Is this line a class definition?"""
1233 and self.leaves[0].type == token.NAME
1234 and self.leaves[0].value == "class"
1238 def is_stub_class(self) -> bool:
1239 """Is this line a class definition with a body consisting only of "..."?"""
1240 return self.is_class and self.leaves[-3:] == [
1241 Leaf(token.DOT, ".") for _ in range(3)
1245 def is_collection_with_optional_trailing_comma(self) -> bool:
1246 """Is this line a collection literal with a trailing comma that's optional?
1248 Note that the trailing comma in a 1-tuple is not optional.
1250 if not self.leaves or len(self.leaves) < 4:
1252 # Look for and address a trailing colon.
1253 if self.leaves[-1].type == token.COLON:
1254 closer = self.leaves[-2]
1257 closer = self.leaves[-1]
1259 if closer.type not in CLOSING_BRACKETS or self.inside_brackets:
1261 if closer.type == token.RPAR:
1262 # Tuples require an extra check, because if there's only
1263 # one element in the tuple removing the comma unmakes the
1266 # We also check for parens before looking for the trailing
1267 # comma because in some cases (eg assigning a dict
1268 # literal) the literal gets wrapped in temporary parens
1269 # during parsing. This case is covered by the
1270 # collections.py test data.
1271 opener = closer.opening_bracket
1272 for _open_index, leaf in enumerate(self.leaves):
1276 # Couldn't find the matching opening paren, play it safe.
1279 comma_depth = self.leaves[close_index - 1].bracket_depth
1280 for leaf in self.leaves[_open_index + 1 : close_index]:
1281 if leaf.bracket_depth == comma_depth and leaf.type == token.COMMA:
1284 # We haven't looked yet for the trailing comma because
1285 # we might also have caught noop parens.
1286 return self.leaves[close_index - 1].type == token.COMMA
1288 return False # it's either a one-tuple or didn't have a trailing comma
1289 if self.leaves[close_index - 1].type in CLOSING_BRACKETS:
1291 closer = self.leaves[close_index]
1292 if closer.type == token.RPAR:
1293 # TODO: this is a gut feeling. Will we ever see this?
1295 if self.leaves[close_index - 1].type != token.COMMA:
1300 def is_def(self) -> bool:
1301 """Is this a function definition? (Also returns True for async defs.)"""
1303 first_leaf = self.leaves[0]
1308 second_leaf: Optional[Leaf] = self.leaves[1]
1311 return (first_leaf.type == token.NAME and first_leaf.value == "def") or (
1312 first_leaf.type == token.ASYNC
1313 and second_leaf is not None
1314 and second_leaf.type == token.NAME
1315 and second_leaf.value == "def"
1319 def is_class_paren_empty(self) -> bool:
1320 """Is this a class with no base classes but using parentheses?
1322 Those are unnecessary and should be removed.
1326 and len(self.leaves) == 4
1328 and self.leaves[2].type == token.LPAR
1329 and self.leaves[2].value == "("
1330 and self.leaves[3].type == token.RPAR
1331 and self.leaves[3].value == ")"
1335 def is_triple_quoted_string(self) -> bool:
1336 """Is the line a triple quoted string?"""
1339 and self.leaves[0].type == token.STRING
1340 and self.leaves[0].value.startswith(('"""', "'''"))
1343 def contains_standalone_comments(self, depth_limit: int = sys.maxsize) -> bool:
1344 """If so, needs to be split before emitting."""
1345 for leaf in self.leaves:
1346 if leaf.type == STANDALONE_COMMENT:
1347 if leaf.bracket_depth <= depth_limit:
1351 def contains_uncollapsable_type_comments(self) -> bool:
1354 last_leaf = self.leaves[-1]
1355 ignored_ids.add(id(last_leaf))
1356 if last_leaf.type == token.COMMA or (
1357 last_leaf.type == token.RPAR and not last_leaf.value
1359 # When trailing commas or optional parens are inserted by Black for
1360 # consistency, comments after the previous last element are not moved
1361 # (they don't have to, rendering will still be correct). So we ignore
1362 # trailing commas and invisible.
1363 last_leaf = self.leaves[-2]
1364 ignored_ids.add(id(last_leaf))
1368 # A type comment is uncollapsable if it is attached to a leaf
1369 # that isn't at the end of the line (since that could cause it
1370 # to get associated to a different argument) or if there are
1371 # comments before it (since that could cause it to get hidden
1373 comment_seen = False
1374 for leaf_id, comments in self.comments.items():
1375 for comment in comments:
1376 if is_type_comment(comment):
1377 if leaf_id not in ignored_ids or comment_seen:
1384 def contains_unsplittable_type_ignore(self) -> bool:
1388 # If a 'type: ignore' is attached to the end of a line, we
1389 # can't split the line, because we can't know which of the
1390 # subexpressions the ignore was meant to apply to.
1392 # We only want this to apply to actual physical lines from the
1393 # original source, though: we don't want the presence of a
1394 # 'type: ignore' at the end of a multiline expression to
1395 # justify pushing it all onto one line. Thus we
1396 # (unfortunately) need to check the actual source lines and
1397 # only report an unsplittable 'type: ignore' if this line was
1398 # one line in the original code.
1400 # Grab the first and last line numbers, skipping generated leaves
1401 first_line = next((l.lineno for l in self.leaves if l.lineno != 0), 0)
1402 last_line = next((l.lineno for l in reversed(self.leaves) if l.lineno != 0), 0)
1404 if first_line == last_line:
1405 # We look at the last two leaves since a comma or an
1406 # invisible paren could have been added at the end of the
1408 for node in self.leaves[-2:]:
1409 for comment in self.comments.get(id(node), []):
1410 if is_type_comment(comment, " ignore"):
1415 def contains_multiline_strings(self) -> bool:
1416 for leaf in self.leaves:
1417 if is_multiline_string(leaf):
1422 def maybe_remove_trailing_comma(self, closing: Leaf) -> bool:
1423 """Remove trailing comma if there is one and it's safe."""
1424 if not (self.leaves and self.leaves[-1].type == token.COMMA):
1426 # We remove trailing commas only in the case of importing a
1427 # single name from a module.
1431 and len(self.leaves) > 4
1432 and self.leaves[-1].type == token.COMMA
1433 and closing.type in CLOSING_BRACKETS
1434 and self.leaves[-4].type == token.NAME
1436 # regular `from foo import bar,`
1437 self.leaves[-4].value == "import"
1438 # `from foo import (bar as baz,)
1440 len(self.leaves) > 6
1441 and self.leaves[-6].value == "import"
1442 and self.leaves[-3].value == "as"
1444 # `from foo import bar as baz,`
1446 len(self.leaves) > 5
1447 and self.leaves[-5].value == "import"
1448 and self.leaves[-3].value == "as"
1451 and closing.type == token.RPAR
1455 self.remove_trailing_comma()
1458 def append_comment(self, comment: Leaf) -> bool:
1459 """Add an inline or standalone comment to the line."""
1461 comment.type == STANDALONE_COMMENT
1462 and self.bracket_tracker.any_open_brackets()
1467 if comment.type != token.COMMENT:
1471 comment.type = STANDALONE_COMMENT
1475 last_leaf = self.leaves[-1]
1477 last_leaf.type == token.RPAR
1478 and not last_leaf.value
1479 and last_leaf.parent
1480 and len(list(last_leaf.parent.leaves())) <= 3
1481 and not is_type_comment(comment)
1483 # Comments on an optional parens wrapping a single leaf should belong to
1484 # the wrapped node except if it's a type comment. Pinning the comment like
1485 # this avoids unstable formatting caused by comment migration.
1486 if len(self.leaves) < 2:
1487 comment.type = STANDALONE_COMMENT
1490 last_leaf = self.leaves[-2]
1491 self.comments.setdefault(id(last_leaf), []).append(comment)
1494 def comments_after(self, leaf: Leaf) -> List[Leaf]:
1495 """Generate comments that should appear directly after `leaf`."""
1496 return self.comments.get(id(leaf), [])
1498 def remove_trailing_comma(self) -> None:
1499 """Remove the trailing comma and moves the comments attached to it."""
1500 trailing_comma = self.leaves.pop()
1501 trailing_comma_comments = self.comments.pop(id(trailing_comma), [])
1502 self.comments.setdefault(id(self.leaves[-1]), []).extend(
1503 trailing_comma_comments
1506 def is_complex_subscript(self, leaf: Leaf) -> bool:
1507 """Return True iff `leaf` is part of a slice with non-trivial exprs."""
1508 open_lsqb = self.bracket_tracker.get_open_lsqb()
1509 if open_lsqb is None:
1512 subscript_start = open_lsqb.next_sibling
1514 if isinstance(subscript_start, Node):
1515 if subscript_start.type == syms.listmaker:
1518 if subscript_start.type == syms.subscriptlist:
1519 subscript_start = child_towards(subscript_start, leaf)
1520 return subscript_start is not None and any(
1521 n.type in TEST_DESCENDANTS for n in subscript_start.pre_order()
1524 def __str__(self) -> str:
1525 """Render the line."""
1529 indent = " " * self.depth
1530 leaves = iter(self.leaves)
1531 first = next(leaves)
1532 res = f"{first.prefix}{indent}{first.value}"
1535 for comment in itertools.chain.from_iterable(self.comments.values()):
1539 def __bool__(self) -> bool:
1540 """Return True if the line has leaves or comments."""
1541 return bool(self.leaves or self.comments)
1545 class EmptyLineTracker:
1546 """Provides a stateful method that returns the number of potential extra
1547 empty lines needed before and after the currently processed line.
1549 Note: this tracker works on lines that haven't been split yet. It assumes
1550 the prefix of the first leaf consists of optional newlines. Those newlines
1551 are consumed by `maybe_empty_lines()` and included in the computation.
1554 is_pyi: bool = False
1555 previous_line: Optional[Line] = None
1556 previous_after: int = 0
1557 previous_defs: List[int] = Factory(list)
1559 def maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1560 """Return the number of extra empty lines before and after the `current_line`.
1562 This is for separating `def`, `async def` and `class` with extra empty
1563 lines (two on module-level).
1565 before, after = self._maybe_empty_lines(current_line)
1567 # Black should not insert empty lines at the beginning
1570 if self.previous_line is None
1571 else before - self.previous_after
1573 self.previous_after = after
1574 self.previous_line = current_line
1575 return before, after
1577 def _maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1579 if current_line.depth == 0:
1580 max_allowed = 1 if self.is_pyi else 2
1581 if current_line.leaves:
1582 # Consume the first leaf's extra newlines.
1583 first_leaf = current_line.leaves[0]
1584 before = first_leaf.prefix.count("\n")
1585 before = min(before, max_allowed)
1586 first_leaf.prefix = ""
1589 depth = current_line.depth
1590 while self.previous_defs and self.previous_defs[-1] >= depth:
1591 self.previous_defs.pop()
1593 before = 0 if depth else 1
1595 before = 1 if depth else 2
1596 if current_line.is_decorator or current_line.is_def or current_line.is_class:
1597 return self._maybe_empty_lines_for_class_or_def(current_line, before)
1601 and self.previous_line.is_import
1602 and not current_line.is_import
1603 and depth == self.previous_line.depth
1605 return (before or 1), 0
1609 and self.previous_line.is_class
1610 and current_line.is_triple_quoted_string
1616 def _maybe_empty_lines_for_class_or_def(
1617 self, current_line: Line, before: int
1618 ) -> Tuple[int, int]:
1619 if not current_line.is_decorator:
1620 self.previous_defs.append(current_line.depth)
1621 if self.previous_line is None:
1622 # Don't insert empty lines before the first line in the file.
1625 if self.previous_line.is_decorator:
1628 if self.previous_line.depth < current_line.depth and (
1629 self.previous_line.is_class or self.previous_line.is_def
1634 self.previous_line.is_comment
1635 and self.previous_line.depth == current_line.depth
1641 if self.previous_line.depth > current_line.depth:
1643 elif current_line.is_class or self.previous_line.is_class:
1644 if current_line.is_stub_class and self.previous_line.is_stub_class:
1645 # No blank line between classes with an empty body
1649 elif current_line.is_def and not self.previous_line.is_def:
1650 # Blank line between a block of functions and a block of non-functions
1656 if current_line.depth and newlines:
1662 class LineGenerator(Visitor[Line]):
1663 """Generates reformatted Line objects. Empty lines are not emitted.
1665 Note: destroys the tree it's visiting by mutating prefixes of its leaves
1666 in ways that will no longer stringify to valid Python code on the tree.
1669 is_pyi: bool = False
1670 normalize_strings: bool = True
1671 current_line: Line = Factory(Line)
1672 remove_u_prefix: bool = False
1674 def line(self, indent: int = 0) -> Iterator[Line]:
1677 If the line is empty, only emit if it makes sense.
1678 If the line is too long, split it first and then generate.
1680 If any lines were generated, set up a new current_line.
1682 if not self.current_line:
1683 self.current_line.depth += indent
1684 return # Line is empty, don't emit. Creating a new one unnecessary.
1686 complete_line = self.current_line
1687 self.current_line = Line(depth=complete_line.depth + indent)
1690 def visit_default(self, node: LN) -> Iterator[Line]:
1691 """Default `visit_*()` implementation. Recurses to children of `node`."""
1692 if isinstance(node, Leaf):
1693 any_open_brackets = self.current_line.bracket_tracker.any_open_brackets()
1694 for comment in generate_comments(node):
1695 if any_open_brackets:
1696 # any comment within brackets is subject to splitting
1697 self.current_line.append(comment)
1698 elif comment.type == token.COMMENT:
1699 # regular trailing comment
1700 self.current_line.append(comment)
1701 yield from self.line()
1704 # regular standalone comment
1705 yield from self.line()
1707 self.current_line.append(comment)
1708 yield from self.line()
1710 normalize_prefix(node, inside_brackets=any_open_brackets)
1711 if self.normalize_strings and node.type == token.STRING:
1712 normalize_string_prefix(node, remove_u_prefix=self.remove_u_prefix)
1713 normalize_string_quotes(node)
1714 if node.type == token.NUMBER:
1715 normalize_numeric_literal(node)
1716 if node.type not in WHITESPACE:
1717 self.current_line.append(node)
1718 yield from super().visit_default(node)
1720 def visit_factor(self, node: Node) -> Iterator[Line]:
1721 """Force parentheses between a unary op and a binary power:
1723 -2 ** 8 -> -(2 ** 8)
1725 child = node.children[1]
1726 if child.type == syms.power and len(child.children) == 3:
1727 lpar = Leaf(token.LPAR, "(")
1728 rpar = Leaf(token.RPAR, ")")
1729 index = child.remove() or 0
1730 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
1731 yield from self.visit_default(node)
1733 def visit_INDENT(self, node: Node) -> Iterator[Line]:
1734 """Increase indentation level, maybe yield a line."""
1735 # In blib2to3 INDENT never holds comments.
1736 yield from self.line(+1)
1737 yield from self.visit_default(node)
1739 def visit_DEDENT(self, node: Node) -> Iterator[Line]:
1740 """Decrease indentation level, maybe yield a line."""
1741 # The current line might still wait for trailing comments. At DEDENT time
1742 # there won't be any (they would be prefixes on the preceding NEWLINE).
1743 # Emit the line then.
1744 yield from self.line()
1746 # While DEDENT has no value, its prefix may contain standalone comments
1747 # that belong to the current indentation level. Get 'em.
1748 yield from self.visit_default(node)
1750 # Finally, emit the dedent.
1751 yield from self.line(-1)
1754 self, node: Node, keywords: Set[str], parens: Set[str]
1755 ) -> Iterator[Line]:
1756 """Visit a statement.
1758 This implementation is shared for `if`, `while`, `for`, `try`, `except`,
1759 `def`, `with`, `class`, `assert` and assignments.
1761 The relevant Python language `keywords` for a given statement will be
1762 NAME leaves within it. This methods puts those on a separate line.
1764 `parens` holds a set of string leaf values immediately after which
1765 invisible parens should be put.
1767 normalize_invisible_parens(node, parens_after=parens)
1768 for child in node.children:
1769 if child.type == token.NAME and child.value in keywords: # type: ignore
1770 yield from self.line()
1772 yield from self.visit(child)
1774 def visit_suite(self, node: Node) -> Iterator[Line]:
1775 """Visit a suite."""
1776 if self.is_pyi and is_stub_suite(node):
1777 yield from self.visit(node.children[2])
1779 yield from self.visit_default(node)
1781 def visit_simple_stmt(self, node: Node) -> Iterator[Line]:
1782 """Visit a statement without nested statements."""
1783 is_suite_like = node.parent and node.parent.type in STATEMENT
1785 if self.is_pyi and is_stub_body(node):
1786 yield from self.visit_default(node)
1788 yield from self.line(+1)
1789 yield from self.visit_default(node)
1790 yield from self.line(-1)
1793 if not self.is_pyi or not node.parent or not is_stub_suite(node.parent):
1794 yield from self.line()
1795 yield from self.visit_default(node)
1797 def visit_async_stmt(self, node: Node) -> Iterator[Line]:
1798 """Visit `async def`, `async for`, `async with`."""
1799 yield from self.line()
1801 children = iter(node.children)
1802 for child in children:
1803 yield from self.visit(child)
1805 if child.type == token.ASYNC:
1808 internal_stmt = next(children)
1809 for child in internal_stmt.children:
1810 yield from self.visit(child)
1812 def visit_decorators(self, node: Node) -> Iterator[Line]:
1813 """Visit decorators."""
1814 for child in node.children:
1815 yield from self.line()
1816 yield from self.visit(child)
1818 def visit_SEMI(self, leaf: Leaf) -> Iterator[Line]:
1819 """Remove a semicolon and put the other statement on a separate line."""
1820 yield from self.line()
1822 def visit_ENDMARKER(self, leaf: Leaf) -> Iterator[Line]:
1823 """End of file. Process outstanding comments and end with a newline."""
1824 yield from self.visit_default(leaf)
1825 yield from self.line()
1827 def visit_STANDALONE_COMMENT(self, leaf: Leaf) -> Iterator[Line]:
1828 if not self.current_line.bracket_tracker.any_open_brackets():
1829 yield from self.line()
1830 yield from self.visit_default(leaf)
1832 def __attrs_post_init__(self) -> None:
1833 """You are in a twisty little maze of passages."""
1836 self.visit_assert_stmt = partial(v, keywords={"assert"}, parens={"assert", ","})
1837 self.visit_if_stmt = partial(
1838 v, keywords={"if", "else", "elif"}, parens={"if", "elif"}
1840 self.visit_while_stmt = partial(v, keywords={"while", "else"}, parens={"while"})
1841 self.visit_for_stmt = partial(v, keywords={"for", "else"}, parens={"for", "in"})
1842 self.visit_try_stmt = partial(
1843 v, keywords={"try", "except", "else", "finally"}, parens=Ø
1845 self.visit_except_clause = partial(v, keywords={"except"}, parens=Ø)
1846 self.visit_with_stmt = partial(v, keywords={"with"}, parens=Ø)
1847 self.visit_funcdef = partial(v, keywords={"def"}, parens=Ø)
1848 self.visit_classdef = partial(v, keywords={"class"}, parens=Ø)
1849 self.visit_expr_stmt = partial(v, keywords=Ø, parens=ASSIGNMENTS)
1850 self.visit_return_stmt = partial(v, keywords={"return"}, parens={"return"})
1851 self.visit_import_from = partial(v, keywords=Ø, parens={"import"})
1852 self.visit_del_stmt = partial(v, keywords=Ø, parens={"del"})
1853 self.visit_async_funcdef = self.visit_async_stmt
1854 self.visit_decorated = self.visit_decorators
1857 IMPLICIT_TUPLE = {syms.testlist, syms.testlist_star_expr, syms.exprlist}
1858 BRACKET = {token.LPAR: token.RPAR, token.LSQB: token.RSQB, token.LBRACE: token.RBRACE}
1859 OPENING_BRACKETS = set(BRACKET.keys())
1860 CLOSING_BRACKETS = set(BRACKET.values())
1861 BRACKETS = OPENING_BRACKETS | CLOSING_BRACKETS
1862 ALWAYS_NO_SPACE = CLOSING_BRACKETS | {token.COMMA, STANDALONE_COMMENT}
1865 def whitespace(leaf: Leaf, *, complex_subscript: bool) -> str: # noqa: C901
1866 """Return whitespace prefix if needed for the given `leaf`.
1868 `complex_subscript` signals whether the given leaf is part of a subscription
1869 which has non-trivial arguments, like arithmetic expressions or function calls.
1877 if t in ALWAYS_NO_SPACE:
1880 if t == token.COMMENT:
1883 assert p is not None, f"INTERNAL ERROR: hand-made leaf without parent: {leaf!r}"
1884 if t == token.COLON and p.type not in {
1891 prev = leaf.prev_sibling
1893 prevp = preceding_leaf(p)
1894 if not prevp or prevp.type in OPENING_BRACKETS:
1897 if t == token.COLON:
1898 if prevp.type == token.COLON:
1901 elif prevp.type != token.COMMA and not complex_subscript:
1906 if prevp.type == token.EQUAL:
1908 if prevp.parent.type in {
1916 elif prevp.parent.type == syms.typedargslist:
1917 # A bit hacky: if the equal sign has whitespace, it means we
1918 # previously found it's a typed argument. So, we're using
1922 elif prevp.type in VARARGS_SPECIALS:
1923 if is_vararg(prevp, within=VARARGS_PARENTS | UNPACKING_PARENTS):
1926 elif prevp.type == token.COLON:
1927 if prevp.parent and prevp.parent.type in {syms.subscript, syms.sliceop}:
1928 return SPACE if complex_subscript else NO
1932 and prevp.parent.type == syms.factor
1933 and prevp.type in MATH_OPERATORS
1938 prevp.type == token.RIGHTSHIFT
1940 and prevp.parent.type == syms.shift_expr
1941 and prevp.prev_sibling
1942 and prevp.prev_sibling.type == token.NAME
1943 and prevp.prev_sibling.value == "print" # type: ignore
1945 # Python 2 print chevron
1948 elif prev.type in OPENING_BRACKETS:
1951 if p.type in {syms.parameters, syms.arglist}:
1952 # untyped function signatures or calls
1953 if not prev or prev.type != token.COMMA:
1956 elif p.type == syms.varargslist:
1958 if prev and prev.type != token.COMMA:
1961 elif p.type == syms.typedargslist:
1962 # typed function signatures
1966 if t == token.EQUAL:
1967 if prev.type != syms.tname:
1970 elif prev.type == token.EQUAL:
1971 # A bit hacky: if the equal sign has whitespace, it means we
1972 # previously found it's a typed argument. So, we're using that, too.
1975 elif prev.type != token.COMMA:
1978 elif p.type == syms.tname:
1981 prevp = preceding_leaf(p)
1982 if not prevp or prevp.type != token.COMMA:
1985 elif p.type == syms.trailer:
1986 # attributes and calls
1987 if t == token.LPAR or t == token.RPAR:
1992 prevp = preceding_leaf(p)
1993 if not prevp or prevp.type != token.NUMBER:
1996 elif t == token.LSQB:
1999 elif prev.type != token.COMMA:
2002 elif p.type == syms.argument:
2004 if t == token.EQUAL:
2008 prevp = preceding_leaf(p)
2009 if not prevp or prevp.type == token.LPAR:
2012 elif prev.type in {token.EQUAL} | VARARGS_SPECIALS:
2015 elif p.type == syms.decorator:
2019 elif p.type == syms.dotted_name:
2023 prevp = preceding_leaf(p)
2024 if not prevp or prevp.type == token.AT or prevp.type == token.DOT:
2027 elif p.type == syms.classdef:
2031 if prev and prev.type == token.LPAR:
2034 elif p.type in {syms.subscript, syms.sliceop}:
2037 assert p.parent is not None, "subscripts are always parented"
2038 if p.parent.type == syms.subscriptlist:
2043 elif not complex_subscript:
2046 elif p.type == syms.atom:
2047 if prev and t == token.DOT:
2048 # dots, but not the first one.
2051 elif p.type == syms.dictsetmaker:
2053 if prev and prev.type == token.DOUBLESTAR:
2056 elif p.type in {syms.factor, syms.star_expr}:
2059 prevp = preceding_leaf(p)
2060 if not prevp or prevp.type in OPENING_BRACKETS:
2063 prevp_parent = prevp.parent
2064 assert prevp_parent is not None
2065 if prevp.type == token.COLON and prevp_parent.type in {
2071 elif prevp.type == token.EQUAL and prevp_parent.type == syms.argument:
2074 elif t in {token.NAME, token.NUMBER, token.STRING}:
2077 elif p.type == syms.import_from:
2079 if prev and prev.type == token.DOT:
2082 elif t == token.NAME:
2086 if prev and prev.type == token.DOT:
2089 elif p.type == syms.sliceop:
2095 def preceding_leaf(node: Optional[LN]) -> Optional[Leaf]:
2096 """Return the first leaf that precedes `node`, if any."""
2098 res = node.prev_sibling
2100 if isinstance(res, Leaf):
2104 return list(res.leaves())[-1]
2113 def child_towards(ancestor: Node, descendant: LN) -> Optional[LN]:
2114 """Return the child of `ancestor` that contains `descendant`."""
2115 node: Optional[LN] = descendant
2116 while node and node.parent != ancestor:
2121 def container_of(leaf: Leaf) -> LN:
2122 """Return `leaf` or one of its ancestors that is the topmost container of it.
2124 By "container" we mean a node where `leaf` is the very first child.
2126 same_prefix = leaf.prefix
2127 container: LN = leaf
2129 parent = container.parent
2133 if parent.children[0].prefix != same_prefix:
2136 if parent.type == syms.file_input:
2139 if parent.prev_sibling is not None and parent.prev_sibling.type in BRACKETS:
2146 def is_split_after_delimiter(leaf: Leaf, previous: Optional[Leaf] = None) -> Priority:
2147 """Return the priority of the `leaf` delimiter, given a line break after it.
2149 The delimiter priorities returned here are from those delimiters that would
2150 cause a line break after themselves.
2152 Higher numbers are higher priority.
2154 if leaf.type == token.COMMA:
2155 return COMMA_PRIORITY
2160 def is_split_before_delimiter(leaf: Leaf, previous: Optional[Leaf] = None) -> Priority:
2161 """Return the priority of the `leaf` delimiter, given a line break before it.
2163 The delimiter priorities returned here are from those delimiters that would
2164 cause a line break before themselves.
2166 Higher numbers are higher priority.
2168 if is_vararg(leaf, within=VARARGS_PARENTS | UNPACKING_PARENTS):
2169 # * and ** might also be MATH_OPERATORS but in this case they are not.
2170 # Don't treat them as a delimiter.
2174 leaf.type == token.DOT
2176 and leaf.parent.type not in {syms.import_from, syms.dotted_name}
2177 and (previous is None or previous.type in CLOSING_BRACKETS)
2182 leaf.type in MATH_OPERATORS
2184 and leaf.parent.type not in {syms.factor, syms.star_expr}
2186 return MATH_PRIORITIES[leaf.type]
2188 if leaf.type in COMPARATORS:
2189 return COMPARATOR_PRIORITY
2192 leaf.type == token.STRING
2193 and previous is not None
2194 and previous.type == token.STRING
2196 return STRING_PRIORITY
2198 if leaf.type not in {token.NAME, token.ASYNC}:
2204 and leaf.parent.type in {syms.comp_for, syms.old_comp_for}
2205 or leaf.type == token.ASYNC
2208 not isinstance(leaf.prev_sibling, Leaf)
2209 or leaf.prev_sibling.value != "async"
2211 return COMPREHENSION_PRIORITY
2216 and leaf.parent.type in {syms.comp_if, syms.old_comp_if}
2218 return COMPREHENSION_PRIORITY
2220 if leaf.value in {"if", "else"} and leaf.parent and leaf.parent.type == syms.test:
2221 return TERNARY_PRIORITY
2223 if leaf.value == "is":
2224 return COMPARATOR_PRIORITY
2229 and leaf.parent.type in {syms.comp_op, syms.comparison}
2231 previous is not None
2232 and previous.type == token.NAME
2233 and previous.value == "not"
2236 return COMPARATOR_PRIORITY
2241 and leaf.parent.type == syms.comp_op
2243 previous is not None
2244 and previous.type == token.NAME
2245 and previous.value == "is"
2248 return COMPARATOR_PRIORITY
2250 if leaf.value in LOGIC_OPERATORS and leaf.parent:
2251 return LOGIC_PRIORITY
2256 FMT_OFF = {"# fmt: off", "# fmt:off", "# yapf: disable"}
2257 FMT_ON = {"# fmt: on", "# fmt:on", "# yapf: enable"}
2260 def generate_comments(leaf: LN) -> Iterator[Leaf]:
2261 """Clean the prefix of the `leaf` and generate comments from it, if any.
2263 Comments in lib2to3 are shoved into the whitespace prefix. This happens
2264 in `pgen2/driver.py:Driver.parse_tokens()`. This was a brilliant implementation
2265 move because it does away with modifying the grammar to include all the
2266 possible places in which comments can be placed.
2268 The sad consequence for us though is that comments don't "belong" anywhere.
2269 This is why this function generates simple parentless Leaf objects for
2270 comments. We simply don't know what the correct parent should be.
2272 No matter though, we can live without this. We really only need to
2273 differentiate between inline and standalone comments. The latter don't
2274 share the line with any code.
2276 Inline comments are emitted as regular token.COMMENT leaves. Standalone
2277 are emitted with a fake STANDALONE_COMMENT token identifier.
2279 for pc in list_comments(leaf.prefix, is_endmarker=leaf.type == token.ENDMARKER):
2280 yield Leaf(pc.type, pc.value, prefix="\n" * pc.newlines)
2285 """Describes a piece of syntax that is a comment.
2287 It's not a :class:`blib2to3.pytree.Leaf` so that:
2289 * it can be cached (`Leaf` objects should not be reused more than once as
2290 they store their lineno, column, prefix, and parent information);
2291 * `newlines` and `consumed` fields are kept separate from the `value`. This
2292 simplifies handling of special marker comments like ``# fmt: off/on``.
2295 type: int # token.COMMENT or STANDALONE_COMMENT
2296 value: str # content of the comment
2297 newlines: int # how many newlines before the comment
2298 consumed: int # how many characters of the original leaf's prefix did we consume
2301 @lru_cache(maxsize=4096)
2302 def list_comments(prefix: str, *, is_endmarker: bool) -> List[ProtoComment]:
2303 """Return a list of :class:`ProtoComment` objects parsed from the given `prefix`."""
2304 result: List[ProtoComment] = []
2305 if not prefix or "#" not in prefix:
2311 for index, line in enumerate(prefix.split("\n")):
2312 consumed += len(line) + 1 # adding the length of the split '\n'
2313 line = line.lstrip()
2316 if not line.startswith("#"):
2317 # Escaped newlines outside of a comment are not really newlines at
2318 # all. We treat a single-line comment following an escaped newline
2319 # as a simple trailing comment.
2320 if line.endswith("\\"):
2324 if index == ignored_lines and not is_endmarker:
2325 comment_type = token.COMMENT # simple trailing comment
2327 comment_type = STANDALONE_COMMENT
2328 comment = make_comment(line)
2331 type=comment_type, value=comment, newlines=nlines, consumed=consumed
2338 def make_comment(content: str) -> str:
2339 """Return a consistently formatted comment from the given `content` string.
2341 All comments (except for "##", "#!", "#:", '#'", "#%%") should have a single
2342 space between the hash sign and the content.
2344 If `content` didn't start with a hash sign, one is provided.
2346 content = content.rstrip()
2350 if content[0] == "#":
2351 content = content[1:]
2352 if content and content[0] not in " !:#'%":
2353 content = " " + content
2354 return "#" + content
2360 inner: bool = False,
2361 features: Collection[Feature] = (),
2362 ) -> Iterator[Line]:
2363 """Split a `line` into potentially many lines.
2365 They should fit in the allotted `line_length` but might not be able to.
2366 `inner` signifies that there were a pair of brackets somewhere around the
2367 current `line`, possibly transitively. This means we can fallback to splitting
2368 by delimiters if the LHS/RHS don't yield any results.
2370 `features` are syntactical features that may be used in the output.
2376 line_str = str(line).strip("\n")
2379 not line.contains_uncollapsable_type_comments()
2380 and not line.should_explode
2381 and not line.is_collection_with_optional_trailing_comma
2383 is_line_short_enough(line, line_length=line_length, line_str=line_str)
2384 or line.contains_unsplittable_type_ignore()
2390 split_funcs: List[SplitFunc]
2392 split_funcs = [left_hand_split]
2395 def rhs(line: Line, features: Collection[Feature]) -> Iterator[Line]:
2396 for omit in generate_trailers_to_omit(line, line_length):
2397 lines = list(right_hand_split(line, line_length, features, omit=omit))
2398 if is_line_short_enough(lines[0], line_length=line_length):
2402 # All splits failed, best effort split with no omits.
2403 # This mostly happens to multiline strings that are by definition
2404 # reported as not fitting a single line.
2405 yield from right_hand_split(line, line_length, features=features)
2407 if line.inside_brackets:
2408 split_funcs = [delimiter_split, standalone_comment_split, rhs]
2411 for split_func in split_funcs:
2412 # We are accumulating lines in `result` because we might want to abort
2413 # mission and return the original line in the end, or attempt a different
2415 result: List[Line] = []
2417 for l in split_func(line, features):
2418 if str(l).strip("\n") == line_str:
2419 raise CannotSplit("Split function returned an unchanged result")
2423 l, line_length=line_length, inner=True, features=features
2437 def left_hand_split(line: Line, features: Collection[Feature] = ()) -> Iterator[Line]:
2438 """Split line into many lines, starting with the first matching bracket pair.
2440 Note: this usually looks weird, only use this for function definitions.
2441 Prefer RHS otherwise. This is why this function is not symmetrical with
2442 :func:`right_hand_split` which also handles optional parentheses.
2444 tail_leaves: List[Leaf] = []
2445 body_leaves: List[Leaf] = []
2446 head_leaves: List[Leaf] = []
2447 current_leaves = head_leaves
2448 matching_bracket = None
2449 for leaf in line.leaves:
2451 current_leaves is body_leaves
2452 and leaf.type in CLOSING_BRACKETS
2453 and leaf.opening_bracket is matching_bracket
2455 current_leaves = tail_leaves if body_leaves else head_leaves
2456 current_leaves.append(leaf)
2457 if current_leaves is head_leaves:
2458 if leaf.type in OPENING_BRACKETS:
2459 matching_bracket = leaf
2460 current_leaves = body_leaves
2461 if not matching_bracket:
2462 raise CannotSplit("No brackets found")
2464 head = bracket_split_build_line(head_leaves, line, matching_bracket)
2465 body = bracket_split_build_line(body_leaves, line, matching_bracket, is_body=True)
2466 tail = bracket_split_build_line(tail_leaves, line, matching_bracket)
2467 bracket_split_succeeded_or_raise(head, body, tail)
2468 for result in (head, body, tail):
2473 def right_hand_split(
2476 features: Collection[Feature] = (),
2477 omit: Collection[LeafID] = (),
2478 ) -> Iterator[Line]:
2479 """Split line into many lines, starting with the last matching bracket pair.
2481 If the split was by optional parentheses, attempt splitting without them, too.
2482 `omit` is a collection of closing bracket IDs that shouldn't be considered for
2485 Note: running this function modifies `bracket_depth` on the leaves of `line`.
2487 tail_leaves: List[Leaf] = []
2488 body_leaves: List[Leaf] = []
2489 head_leaves: List[Leaf] = []
2490 current_leaves = tail_leaves
2491 opening_bracket = None
2492 closing_bracket = None
2493 for leaf in reversed(line.leaves):
2494 if current_leaves is body_leaves:
2495 if leaf is opening_bracket:
2496 current_leaves = head_leaves if body_leaves else tail_leaves
2497 current_leaves.append(leaf)
2498 if current_leaves is tail_leaves:
2499 if leaf.type in CLOSING_BRACKETS and id(leaf) not in omit:
2500 opening_bracket = leaf.opening_bracket
2501 closing_bracket = leaf
2502 current_leaves = body_leaves
2503 if not (opening_bracket and closing_bracket and head_leaves):
2504 # If there is no opening or closing_bracket that means the split failed and
2505 # all content is in the tail. Otherwise, if `head_leaves` are empty, it means
2506 # the matching `opening_bracket` wasn't available on `line` anymore.
2507 raise CannotSplit("No brackets found")
2509 tail_leaves.reverse()
2510 body_leaves.reverse()
2511 head_leaves.reverse()
2512 head = bracket_split_build_line(head_leaves, line, opening_bracket)
2513 body = bracket_split_build_line(body_leaves, line, opening_bracket, is_body=True)
2514 tail = bracket_split_build_line(tail_leaves, line, opening_bracket)
2515 bracket_split_succeeded_or_raise(head, body, tail)
2517 # the body shouldn't be exploded
2518 not body.should_explode
2519 # the opening bracket is an optional paren
2520 and opening_bracket.type == token.LPAR
2521 and not opening_bracket.value
2522 # the closing bracket is an optional paren
2523 and closing_bracket.type == token.RPAR
2524 and not closing_bracket.value
2525 # it's not an import (optional parens are the only thing we can split on
2526 # in this case; attempting a split without them is a waste of time)
2527 and not line.is_import
2528 # there are no standalone comments in the body
2529 and not body.contains_standalone_comments(0)
2530 # and we can actually remove the parens
2531 and can_omit_invisible_parens(body, line_length)
2533 omit = {id(closing_bracket), *omit}
2535 yield from right_hand_split(line, line_length, features=features, omit=omit)
2541 or is_line_short_enough(body, line_length=line_length)
2544 "Splitting failed, body is still too long and can't be split."
2547 elif head.contains_multiline_strings() or tail.contains_multiline_strings():
2549 "The current optional pair of parentheses is bound to fail to "
2550 "satisfy the splitting algorithm because the head or the tail "
2551 "contains multiline strings which by definition never fit one "
2555 ensure_visible(opening_bracket)
2556 ensure_visible(closing_bracket)
2557 for result in (head, body, tail):
2562 def bracket_split_succeeded_or_raise(head: Line, body: Line, tail: Line) -> None:
2563 """Raise :exc:`CannotSplit` if the last left- or right-hand split failed.
2565 Do nothing otherwise.
2567 A left- or right-hand split is based on a pair of brackets. Content before
2568 (and including) the opening bracket is left on one line, content inside the
2569 brackets is put on a separate line, and finally content starting with and
2570 following the closing bracket is put on a separate line.
2572 Those are called `head`, `body`, and `tail`, respectively. If the split
2573 produced the same line (all content in `head`) or ended up with an empty `body`
2574 and the `tail` is just the closing bracket, then it's considered failed.
2576 tail_len = len(str(tail).strip())
2579 raise CannotSplit("Splitting brackets produced the same line")
2583 f"Splitting brackets on an empty body to save "
2584 f"{tail_len} characters is not worth it"
2588 def bracket_split_build_line(
2589 leaves: List[Leaf], original: Line, opening_bracket: Leaf, *, is_body: bool = False
2591 """Return a new line with given `leaves` and respective comments from `original`.
2593 If `is_body` is True, the result line is one-indented inside brackets and as such
2594 has its first leaf's prefix normalized and a trailing comma added when expected.
2596 result = Line(depth=original.depth)
2598 result.inside_brackets = True
2601 # Since body is a new indent level, remove spurious leading whitespace.
2602 normalize_prefix(leaves[0], inside_brackets=True)
2603 # Ensure a trailing comma for imports and standalone function arguments, but
2604 # be careful not to add one after any comments or within type annotations.
2607 and opening_bracket.value == "("
2608 and not any(l.type == token.COMMA for l in leaves)
2611 if original.is_import or no_commas:
2612 for i in range(len(leaves) - 1, -1, -1):
2613 if leaves[i].type == STANDALONE_COMMENT:
2615 elif leaves[i].type == token.COMMA:
2618 leaves.insert(i + 1, Leaf(token.COMMA, ","))
2622 result.append(leaf, preformatted=True)
2623 for comment_after in original.comments_after(leaf):
2624 result.append(comment_after, preformatted=True)
2626 result.should_explode = should_explode(result, opening_bracket)
2630 def dont_increase_indentation(split_func: SplitFunc) -> SplitFunc:
2631 """Normalize prefix of the first leaf in every line returned by `split_func`.
2633 This is a decorator over relevant split functions.
2637 def split_wrapper(line: Line, features: Collection[Feature] = ()) -> Iterator[Line]:
2638 for l in split_func(line, features):
2639 normalize_prefix(l.leaves[0], inside_brackets=True)
2642 return split_wrapper
2645 @dont_increase_indentation
2646 def delimiter_split(line: Line, features: Collection[Feature] = ()) -> Iterator[Line]:
2647 """Split according to delimiters of the highest priority.
2649 If the appropriate Features are given, the split will add trailing commas
2650 also in function signatures and calls that contain `*` and `**`.
2653 last_leaf = line.leaves[-1]
2655 raise CannotSplit("Line empty")
2657 bt = line.bracket_tracker
2659 delimiter_priority = bt.max_delimiter_priority(exclude={id(last_leaf)})
2661 raise CannotSplit("No delimiters found")
2663 if delimiter_priority == DOT_PRIORITY:
2664 if bt.delimiter_count_with_priority(delimiter_priority) == 1:
2665 raise CannotSplit("Splitting a single attribute from its owner looks wrong")
2667 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2668 lowest_depth = sys.maxsize
2669 trailing_comma_safe = True
2671 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2672 """Append `leaf` to current line or to new line if appending impossible."""
2673 nonlocal current_line
2675 current_line.append_safe(leaf, preformatted=True)
2679 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2680 current_line.append(leaf)
2682 for leaf in line.leaves:
2683 yield from append_to_line(leaf)
2685 for comment_after in line.comments_after(leaf):
2686 yield from append_to_line(comment_after)
2688 lowest_depth = min(lowest_depth, leaf.bracket_depth)
2689 if leaf.bracket_depth == lowest_depth:
2690 if is_vararg(leaf, within={syms.typedargslist}):
2691 trailing_comma_safe = (
2692 trailing_comma_safe and Feature.TRAILING_COMMA_IN_DEF in features
2694 elif is_vararg(leaf, within={syms.arglist, syms.argument}):
2695 trailing_comma_safe = (
2696 trailing_comma_safe and Feature.TRAILING_COMMA_IN_CALL in features
2699 leaf_priority = bt.delimiters.get(id(leaf))
2700 if leaf_priority == delimiter_priority:
2703 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2707 and delimiter_priority == COMMA_PRIORITY
2708 and current_line.leaves[-1].type != token.COMMA
2709 and current_line.leaves[-1].type != STANDALONE_COMMENT
2711 current_line.append(Leaf(token.COMMA, ","))
2715 @dont_increase_indentation
2716 def standalone_comment_split(
2717 line: Line, features: Collection[Feature] = ()
2718 ) -> Iterator[Line]:
2719 """Split standalone comments from the rest of the line."""
2720 if not line.contains_standalone_comments(0):
2721 raise CannotSplit("Line does not have any standalone comments")
2723 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2725 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2726 """Append `leaf` to current line or to new line if appending impossible."""
2727 nonlocal current_line
2729 current_line.append_safe(leaf, preformatted=True)
2733 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2734 current_line.append(leaf)
2736 for leaf in line.leaves:
2737 yield from append_to_line(leaf)
2739 for comment_after in line.comments_after(leaf):
2740 yield from append_to_line(comment_after)
2746 def is_import(leaf: Leaf) -> bool:
2747 """Return True if the given leaf starts an import statement."""
2754 (v == "import" and p and p.type == syms.import_name)
2755 or (v == "from" and p and p.type == syms.import_from)
2760 def is_type_comment(leaf: Leaf, suffix: str = "") -> bool:
2761 """Return True if the given leaf is a special comment.
2762 Only returns true for type comments for now."""
2765 return t in {token.COMMENT, STANDALONE_COMMENT} and v.startswith("# type:" + suffix)
2768 def normalize_prefix(leaf: Leaf, *, inside_brackets: bool) -> None:
2769 """Leave existing extra newlines if not `inside_brackets`. Remove everything
2772 Note: don't use backslashes for formatting or you'll lose your voting rights.
2774 if not inside_brackets:
2775 spl = leaf.prefix.split("#")
2776 if "\\" not in spl[0]:
2777 nl_count = spl[-1].count("\n")
2780 leaf.prefix = "\n" * nl_count
2786 def normalize_string_prefix(leaf: Leaf, remove_u_prefix: bool = False) -> None:
2787 """Make all string prefixes lowercase.
2789 If remove_u_prefix is given, also removes any u prefix from the string.
2791 Note: Mutates its argument.
2793 match = re.match(r"^([furbFURB]*)(.*)$", leaf.value, re.DOTALL)
2794 assert match is not None, f"failed to match string {leaf.value!r}"
2795 orig_prefix = match.group(1)
2796 new_prefix = orig_prefix.lower()
2798 new_prefix = new_prefix.replace("u", "")
2799 leaf.value = f"{new_prefix}{match.group(2)}"
2802 def normalize_string_quotes(leaf: Leaf) -> None:
2803 """Prefer double quotes but only if it doesn't cause more escaping.
2805 Adds or removes backslashes as appropriate. Doesn't parse and fix
2806 strings nested in f-strings (yet).
2808 Note: Mutates its argument.
2810 value = leaf.value.lstrip("furbFURB")
2811 if value[:3] == '"""':
2814 elif value[:3] == "'''":
2817 elif value[0] == '"':
2823 first_quote_pos = leaf.value.find(orig_quote)
2824 if first_quote_pos == -1:
2825 return # There's an internal error
2827 prefix = leaf.value[:first_quote_pos]
2828 unescaped_new_quote = re.compile(rf"(([^\\]|^)(\\\\)*){new_quote}")
2829 escaped_new_quote = re.compile(rf"([^\\]|^)\\((?:\\\\)*){new_quote}")
2830 escaped_orig_quote = re.compile(rf"([^\\]|^)\\((?:\\\\)*){orig_quote}")
2831 body = leaf.value[first_quote_pos + len(orig_quote) : -len(orig_quote)]
2832 if "r" in prefix.casefold():
2833 if unescaped_new_quote.search(body):
2834 # There's at least one unescaped new_quote in this raw string
2835 # so converting is impossible
2838 # Do not introduce or remove backslashes in raw strings
2841 # remove unnecessary escapes
2842 new_body = sub_twice(escaped_new_quote, rf"\1\2{new_quote}", body)
2843 if body != new_body:
2844 # Consider the string without unnecessary escapes as the original
2846 leaf.value = f"{prefix}{orig_quote}{body}{orig_quote}"
2847 new_body = sub_twice(escaped_orig_quote, rf"\1\2{orig_quote}", new_body)
2848 new_body = sub_twice(unescaped_new_quote, rf"\1\\{new_quote}", new_body)
2849 if "f" in prefix.casefold():
2850 matches = re.findall(
2852 (?:[^{]|^)\{ # start of the string or a non-{ followed by a single {
2853 ([^{].*?) # contents of the brackets except if begins with {{
2854 \}(?:[^}]|$) # A } followed by end of the string or a non-}
2861 # Do not introduce backslashes in interpolated expressions
2863 if new_quote == '"""' and new_body[-1:] == '"':
2865 new_body = new_body[:-1] + '\\"'
2866 orig_escape_count = body.count("\\")
2867 new_escape_count = new_body.count("\\")
2868 if new_escape_count > orig_escape_count:
2869 return # Do not introduce more escaping
2871 if new_escape_count == orig_escape_count and orig_quote == '"':
2872 return # Prefer double quotes
2874 leaf.value = f"{prefix}{new_quote}{new_body}{new_quote}"
2877 def normalize_numeric_literal(leaf: Leaf) -> None:
2878 """Normalizes numeric (float, int, and complex) literals.
2880 All letters used in the representation are normalized to lowercase (except
2881 in Python 2 long literals).
2883 text = leaf.value.lower()
2884 if text.startswith(("0o", "0b")):
2885 # Leave octal and binary literals alone.
2887 elif text.startswith("0x"):
2888 # Change hex literals to upper case.
2889 before, after = text[:2], text[2:]
2890 text = f"{before}{after.upper()}"
2892 before, after = text.split("e")
2894 if after.startswith("-"):
2897 elif after.startswith("+"):
2899 before = format_float_or_int_string(before)
2900 text = f"{before}e{sign}{after}"
2901 elif text.endswith(("j", "l")):
2904 # Capitalize in "2L" because "l" looks too similar to "1".
2907 text = f"{format_float_or_int_string(number)}{suffix}"
2909 text = format_float_or_int_string(text)
2913 def format_float_or_int_string(text: str) -> str:
2914 """Formats a float string like "1.0"."""
2918 before, after = text.split(".")
2919 return f"{before or 0}.{after or 0}"
2922 def normalize_invisible_parens(node: Node, parens_after: Set[str]) -> None:
2923 """Make existing optional parentheses invisible or create new ones.
2925 `parens_after` is a set of string leaf values immediately after which parens
2928 Standardizes on visible parentheses for single-element tuples, and keeps
2929 existing visible parentheses for other tuples and generator expressions.
2931 for pc in list_comments(node.prefix, is_endmarker=False):
2932 if pc.value in FMT_OFF:
2933 # This `node` has a prefix with `# fmt: off`, don't mess with parens.
2937 for index, child in enumerate(list(node.children)):
2938 # Add parentheses around long tuple unpacking in assignments.
2941 and isinstance(child, Node)
2942 and child.type == syms.testlist_star_expr
2947 if is_walrus_assignment(child):
2949 if child.type == syms.atom:
2950 # Determines if the underlying atom should be surrounded with
2951 # invisible params - also makes parens invisible recursively
2952 # within the atom and removes repeated invisible parens within
2954 should_surround_with_parens = maybe_make_parens_invisible_in_atom(
2958 if should_surround_with_parens:
2959 lpar = Leaf(token.LPAR, "")
2960 rpar = Leaf(token.RPAR, "")
2961 index = child.remove() or 0
2962 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2963 elif is_one_tuple(child):
2964 # wrap child in visible parentheses
2965 lpar = Leaf(token.LPAR, "(")
2966 rpar = Leaf(token.RPAR, ")")
2968 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2969 elif node.type == syms.import_from:
2970 # "import from" nodes store parentheses directly as part of
2972 if child.type == token.LPAR:
2973 # make parentheses invisible
2974 child.value = "" # type: ignore
2975 node.children[-1].value = "" # type: ignore
2976 elif child.type != token.STAR:
2977 # insert invisible parentheses
2978 node.insert_child(index, Leaf(token.LPAR, ""))
2979 node.append_child(Leaf(token.RPAR, ""))
2982 elif not (isinstance(child, Leaf) and is_multiline_string(child)):
2983 # wrap child in invisible parentheses
2984 lpar = Leaf(token.LPAR, "")
2985 rpar = Leaf(token.RPAR, "")
2986 index = child.remove() or 0
2987 prefix = child.prefix
2989 new_child = Node(syms.atom, [lpar, child, rpar])
2990 new_child.prefix = prefix
2991 node.insert_child(index, new_child)
2993 check_lpar = isinstance(child, Leaf) and child.value in parens_after
2996 def normalize_fmt_off(node: Node) -> None:
2997 """Convert content between `# fmt: off`/`# fmt: on` into standalone comments."""
3000 try_again = convert_one_fmt_off_pair(node)
3003 def convert_one_fmt_off_pair(node: Node) -> bool:
3004 """Convert content of a single `# fmt: off`/`# fmt: on` into a standalone comment.
3006 Returns True if a pair was converted.
3008 for leaf in node.leaves():
3009 previous_consumed = 0
3010 for comment in list_comments(leaf.prefix, is_endmarker=False):
3011 if comment.value in FMT_OFF:
3012 # We only want standalone comments. If there's no previous leaf or
3013 # the previous leaf is indentation, it's a standalone comment in
3015 if comment.type != STANDALONE_COMMENT:
3016 prev = preceding_leaf(leaf)
3017 if prev and prev.type not in WHITESPACE:
3020 ignored_nodes = list(generate_ignored_nodes(leaf))
3021 if not ignored_nodes:
3024 first = ignored_nodes[0] # Can be a container node with the `leaf`.
3025 parent = first.parent
3026 prefix = first.prefix
3027 first.prefix = prefix[comment.consumed :]
3029 comment.value + "\n" + "".join(str(n) for n in ignored_nodes)
3031 if hidden_value.endswith("\n"):
3032 # That happens when one of the `ignored_nodes` ended with a NEWLINE
3033 # leaf (possibly followed by a DEDENT).
3034 hidden_value = hidden_value[:-1]
3036 for ignored in ignored_nodes:
3037 index = ignored.remove()
3038 if first_idx is None:
3040 assert parent is not None, "INTERNAL ERROR: fmt: on/off handling (1)"
3041 assert first_idx is not None, "INTERNAL ERROR: fmt: on/off handling (2)"
3042 parent.insert_child(
3047 prefix=prefix[:previous_consumed] + "\n" * comment.newlines,
3052 previous_consumed = comment.consumed
3057 def generate_ignored_nodes(leaf: Leaf) -> Iterator[LN]:
3058 """Starting from the container of `leaf`, generate all leaves until `# fmt: on`.
3060 Stops at the end of the block.
3062 container: Optional[LN] = container_of(leaf)
3063 while container is not None and container.type != token.ENDMARKER:
3064 for comment in list_comments(container.prefix, is_endmarker=False):
3065 if comment.value in FMT_ON:
3070 container = container.next_sibling
3073 def maybe_make_parens_invisible_in_atom(node: LN, parent: LN) -> bool:
3074 """If it's safe, make the parens in the atom `node` invisible, recursively.
3075 Additionally, remove repeated, adjacent invisible parens from the atom `node`
3076 as they are redundant.
3078 Returns whether the node should itself be wrapped in invisible parentheses.
3082 node.type != syms.atom
3083 or is_empty_tuple(node)
3084 or is_one_tuple(node)
3085 or (is_yield(node) and parent.type != syms.expr_stmt)
3086 or max_delimiter_priority_in_atom(node) >= COMMA_PRIORITY
3090 first = node.children[0]
3091 last = node.children[-1]
3092 if first.type == token.LPAR and last.type == token.RPAR:
3093 middle = node.children[1]
3094 # make parentheses invisible
3095 first.value = "" # type: ignore
3096 last.value = "" # type: ignore
3097 maybe_make_parens_invisible_in_atom(middle, parent=parent)
3099 if is_atom_with_invisible_parens(middle):
3100 # Strip the invisible parens from `middle` by replacing
3101 # it with the child in-between the invisible parens
3102 middle.replace(middle.children[1])
3109 def is_atom_with_invisible_parens(node: LN) -> bool:
3110 """Given a `LN`, determines whether it's an atom `node` with invisible
3111 parens. Useful in dedupe-ing and normalizing parens.
3113 if isinstance(node, Leaf) or node.type != syms.atom:
3116 first, last = node.children[0], node.children[-1]
3118 isinstance(first, Leaf)
3119 and first.type == token.LPAR
3120 and first.value == ""
3121 and isinstance(last, Leaf)
3122 and last.type == token.RPAR
3123 and last.value == ""
3127 def is_empty_tuple(node: LN) -> bool:
3128 """Return True if `node` holds an empty tuple."""
3130 node.type == syms.atom
3131 and len(node.children) == 2
3132 and node.children[0].type == token.LPAR
3133 and node.children[1].type == token.RPAR
3137 def unwrap_singleton_parenthesis(node: LN) -> Optional[LN]:
3138 """Returns `wrapped` if `node` is of the shape ( wrapped ).
3140 Parenthesis can be optional. Returns None otherwise"""
3141 if len(node.children) != 3:
3143 lpar, wrapped, rpar = node.children
3144 if not (lpar.type == token.LPAR and rpar.type == token.RPAR):
3150 def is_one_tuple(node: LN) -> bool:
3151 """Return True if `node` holds a tuple with one element, with or without parens."""
3152 if node.type == syms.atom:
3153 gexp = unwrap_singleton_parenthesis(node)
3154 if gexp is None or gexp.type != syms.testlist_gexp:
3157 return len(gexp.children) == 2 and gexp.children[1].type == token.COMMA
3160 node.type in IMPLICIT_TUPLE
3161 and len(node.children) == 2
3162 and node.children[1].type == token.COMMA
3166 def is_walrus_assignment(node: LN) -> bool:
3167 """Return True iff `node` is of the shape ( test := test )"""
3168 inner = unwrap_singleton_parenthesis(node)
3169 return inner is not None and inner.type == syms.namedexpr_test
3172 def is_yield(node: LN) -> bool:
3173 """Return True if `node` holds a `yield` or `yield from` expression."""
3174 if node.type == syms.yield_expr:
3177 if node.type == token.NAME and node.value == "yield": # type: ignore
3180 if node.type != syms.atom:
3183 if len(node.children) != 3:
3186 lpar, expr, rpar = node.children
3187 if lpar.type == token.LPAR and rpar.type == token.RPAR:
3188 return is_yield(expr)
3193 def is_vararg(leaf: Leaf, within: Set[NodeType]) -> bool:
3194 """Return True if `leaf` is a star or double star in a vararg or kwarg.
3196 If `within` includes VARARGS_PARENTS, this applies to function signatures.
3197 If `within` includes UNPACKING_PARENTS, it applies to right hand-side
3198 extended iterable unpacking (PEP 3132) and additional unpacking
3199 generalizations (PEP 448).
3201 if leaf.type not in VARARGS_SPECIALS or not leaf.parent:
3205 if p.type == syms.star_expr:
3206 # Star expressions are also used as assignment targets in extended
3207 # iterable unpacking (PEP 3132). See what its parent is instead.
3213 return p.type in within
3216 def is_multiline_string(leaf: Leaf) -> bool:
3217 """Return True if `leaf` is a multiline string that actually spans many lines."""
3218 value = leaf.value.lstrip("furbFURB")
3219 return value[:3] in {'"""', "'''"} and "\n" in value
3222 def is_stub_suite(node: Node) -> bool:
3223 """Return True if `node` is a suite with a stub body."""
3225 len(node.children) != 4
3226 or node.children[0].type != token.NEWLINE
3227 or node.children[1].type != token.INDENT
3228 or node.children[3].type != token.DEDENT
3232 return is_stub_body(node.children[2])
3235 def is_stub_body(node: LN) -> bool:
3236 """Return True if `node` is a simple statement containing an ellipsis."""
3237 if not isinstance(node, Node) or node.type != syms.simple_stmt:
3240 if len(node.children) != 2:
3243 child = node.children[0]
3245 child.type == syms.atom
3246 and len(child.children) == 3
3247 and all(leaf == Leaf(token.DOT, ".") for leaf in child.children)
3251 def max_delimiter_priority_in_atom(node: LN) -> Priority:
3252 """Return maximum delimiter priority inside `node`.
3254 This is specific to atoms with contents contained in a pair of parentheses.
3255 If `node` isn't an atom or there are no enclosing parentheses, returns 0.
3257 if node.type != syms.atom:
3260 first = node.children[0]
3261 last = node.children[-1]
3262 if not (first.type == token.LPAR and last.type == token.RPAR):
3265 bt = BracketTracker()
3266 for c in node.children[1:-1]:
3267 if isinstance(c, Leaf):
3270 for leaf in c.leaves():
3273 return bt.max_delimiter_priority()
3279 def ensure_visible(leaf: Leaf) -> None:
3280 """Make sure parentheses are visible.
3282 They could be invisible as part of some statements (see
3283 :func:`normalize_invisible_parens` and :func:`visit_import_from`).
3285 if leaf.type == token.LPAR:
3287 elif leaf.type == token.RPAR:
3291 def should_explode(line: Line, opening_bracket: Leaf) -> bool:
3292 """Should `line` immediately be split with `delimiter_split()` after RHS?"""
3295 opening_bracket.parent
3296 and opening_bracket.parent.type in {syms.atom, syms.import_from}
3297 and opening_bracket.value in "[{("
3302 last_leaf = line.leaves[-1]
3303 exclude = {id(last_leaf)} if last_leaf.type == token.COMMA else set()
3304 max_priority = line.bracket_tracker.max_delimiter_priority(exclude=exclude)
3305 except (IndexError, ValueError):
3308 return max_priority == COMMA_PRIORITY
3311 def get_features_used(node: Node) -> Set[Feature]:
3312 """Return a set of (relatively) new Python features used in this file.
3314 Currently looking for:
3316 - underscores in numeric literals;
3317 - trailing commas after * or ** in function signatures and calls;
3318 - positional only arguments in function signatures and lambdas;
3320 features: Set[Feature] = set()
3321 for n in node.pre_order():
3322 if n.type == token.STRING:
3323 value_head = n.value[:2] # type: ignore
3324 if value_head in {'f"', 'F"', "f'", "F'", "rf", "fr", "RF", "FR"}:
3325 features.add(Feature.F_STRINGS)
3327 elif n.type == token.NUMBER:
3328 if "_" in n.value: # type: ignore
3329 features.add(Feature.NUMERIC_UNDERSCORES)
3331 elif n.type == token.SLASH:
3332 if n.parent and n.parent.type in {syms.typedargslist, syms.arglist}:
3333 features.add(Feature.POS_ONLY_ARGUMENTS)
3335 elif n.type == token.COLONEQUAL:
3336 features.add(Feature.ASSIGNMENT_EXPRESSIONS)
3339 n.type in {syms.typedargslist, syms.arglist}
3341 and n.children[-1].type == token.COMMA
3343 if n.type == syms.typedargslist:
3344 feature = Feature.TRAILING_COMMA_IN_DEF
3346 feature = Feature.TRAILING_COMMA_IN_CALL
3348 for ch in n.children:
3349 if ch.type in STARS:
3350 features.add(feature)
3352 if ch.type == syms.argument:
3353 for argch in ch.children:
3354 if argch.type in STARS:
3355 features.add(feature)
3360 def detect_target_versions(node: Node) -> Set[TargetVersion]:
3361 """Detect the version to target based on the nodes used."""
3362 features = get_features_used(node)
3364 version for version in TargetVersion if features <= VERSION_TO_FEATURES[version]
3368 def generate_trailers_to_omit(line: Line, line_length: int) -> Iterator[Set[LeafID]]:
3369 """Generate sets of closing bracket IDs that should be omitted in a RHS.
3371 Brackets can be omitted if the entire trailer up to and including
3372 a preceding closing bracket fits in one line.
3374 Yielded sets are cumulative (contain results of previous yields, too). First
3378 omit: Set[LeafID] = set()
3381 length = 4 * line.depth
3382 opening_bracket = None
3383 closing_bracket = None
3384 inner_brackets: Set[LeafID] = set()
3385 for index, leaf, leaf_length in enumerate_with_length(line, reversed=True):
3386 length += leaf_length
3387 if length > line_length:
3390 has_inline_comment = leaf_length > len(leaf.value) + len(leaf.prefix)
3391 if leaf.type == STANDALONE_COMMENT or has_inline_comment:
3395 if leaf is opening_bracket:
3396 opening_bracket = None
3397 elif leaf.type in CLOSING_BRACKETS:
3398 inner_brackets.add(id(leaf))
3399 elif leaf.type in CLOSING_BRACKETS:
3400 if index > 0 and line.leaves[index - 1].type in OPENING_BRACKETS:
3401 # Empty brackets would fail a split so treat them as "inner"
3402 # brackets (e.g. only add them to the `omit` set if another
3403 # pair of brackets was good enough.
3404 inner_brackets.add(id(leaf))
3408 omit.add(id(closing_bracket))
3409 omit.update(inner_brackets)
3410 inner_brackets.clear()
3414 opening_bracket = leaf.opening_bracket
3415 closing_bracket = leaf
3418 def get_future_imports(node: Node) -> Set[str]:
3419 """Return a set of __future__ imports in the file."""
3420 imports: Set[str] = set()
3422 def get_imports_from_children(children: List[LN]) -> Generator[str, None, None]:
3423 for child in children:
3424 if isinstance(child, Leaf):
3425 if child.type == token.NAME:
3427 elif child.type == syms.import_as_name:
3428 orig_name = child.children[0]
3429 assert isinstance(orig_name, Leaf), "Invalid syntax parsing imports"
3430 assert orig_name.type == token.NAME, "Invalid syntax parsing imports"
3431 yield orig_name.value
3432 elif child.type == syms.import_as_names:
3433 yield from get_imports_from_children(child.children)
3435 raise AssertionError("Invalid syntax parsing imports")
3437 for child in node.children:
3438 if child.type != syms.simple_stmt:
3440 first_child = child.children[0]
3441 if isinstance(first_child, Leaf):
3442 # Continue looking if we see a docstring; otherwise stop.
3444 len(child.children) == 2
3445 and first_child.type == token.STRING
3446 and child.children[1].type == token.NEWLINE
3451 elif first_child.type == syms.import_from:
3452 module_name = first_child.children[1]
3453 if not isinstance(module_name, Leaf) or module_name.value != "__future__":
3455 imports |= set(get_imports_from_children(first_child.children[3:]))
3462 def get_gitignore(root: Path) -> PathSpec:
3463 """ Return a PathSpec matching gitignore content if present."""
3464 gitignore = root / ".gitignore"
3465 if not gitignore.is_file():
3466 return PathSpec.from_lines("gitwildmatch", [])
3468 return PathSpec.from_lines("gitwildmatch", gitignore.open())
3471 def gen_python_files_in_dir(
3474 include: Pattern[str],
3475 exclude: Pattern[str],
3477 gitignore: PathSpec,
3478 ) -> Iterator[Path]:
3479 """Generate all files under `path` whose paths are not excluded by the
3480 `exclude` regex, but are included by the `include` regex.
3482 Symbolic links pointing outside of the `root` directory are ignored.
3484 `report` is where output about exclusions goes.
3486 assert root.is_absolute(), f"INTERNAL ERROR: `root` must be absolute but is {root}"
3487 for child in path.iterdir():
3488 # First ignore files matching .gitignore
3489 if gitignore.match_file(child.as_posix()):
3490 report.path_ignored(child, f"matches the .gitignore file content")
3493 # Then ignore with `exclude` option.
3495 normalized_path = "/" + child.resolve().relative_to(root).as_posix()
3496 except OSError as e:
3497 report.path_ignored(child, f"cannot be read because {e}")
3500 if child.is_symlink():
3501 report.path_ignored(
3502 child, f"is a symbolic link that points outside {root}"
3509 normalized_path += "/"
3511 exclude_match = exclude.search(normalized_path)
3512 if exclude_match and exclude_match.group(0):
3513 report.path_ignored(child, f"matches the --exclude regular expression")
3517 yield from gen_python_files_in_dir(
3518 child, root, include, exclude, report, gitignore
3521 elif child.is_file():
3522 include_match = include.search(normalized_path)
3528 def find_project_root(srcs: Iterable[str]) -> Path:
3529 """Return a directory containing .git, .hg, or pyproject.toml.
3531 That directory can be one of the directories passed in `srcs` or their
3534 If no directory in the tree contains a marker that would specify it's the
3535 project root, the root of the file system is returned.
3538 return Path("/").resolve()
3540 common_base = min(Path(src).resolve() for src in srcs)
3541 if common_base.is_dir():
3542 # Append a fake file so `parents` below returns `common_base_dir`, too.
3543 common_base /= "fake-file"
3544 for directory in common_base.parents:
3545 if (directory / ".git").is_dir():
3548 if (directory / ".hg").is_dir():
3551 if (directory / "pyproject.toml").is_file():
3559 """Provides a reformatting counter. Can be rendered with `str(report)`."""
3563 verbose: bool = False
3564 change_count: int = 0
3566 failure_count: int = 0
3568 def done(self, src: Path, changed: Changed) -> None:
3569 """Increment the counter for successful reformatting. Write out a message."""
3570 if changed is Changed.YES:
3571 reformatted = "would reformat" if self.check else "reformatted"
3572 if self.verbose or not self.quiet:
3573 out(f"{reformatted} {src}")
3574 self.change_count += 1
3577 if changed is Changed.NO:
3578 msg = f"{src} already well formatted, good job."
3580 msg = f"{src} wasn't modified on disk since last run."
3581 out(msg, bold=False)
3582 self.same_count += 1
3584 def failed(self, src: Path, message: str) -> None:
3585 """Increment the counter for failed reformatting. Write out a message."""
3586 err(f"error: cannot format {src}: {message}")
3587 self.failure_count += 1
3589 def path_ignored(self, path: Path, message: str) -> None:
3591 out(f"{path} ignored: {message}", bold=False)
3594 def return_code(self) -> int:
3595 """Return the exit code that the app should use.
3597 This considers the current state of changed files and failures:
3598 - if there were any failures, return 123;
3599 - if any files were changed and --check is being used, return 1;
3600 - otherwise return 0.
3602 # According to http://tldp.org/LDP/abs/html/exitcodes.html starting with
3603 # 126 we have special return codes reserved by the shell.
3604 if self.failure_count:
3607 elif self.change_count and self.check:
3612 def __str__(self) -> str:
3613 """Render a color report of the current state.
3615 Use `click.unstyle` to remove colors.
3618 reformatted = "would be reformatted"
3619 unchanged = "would be left unchanged"
3620 failed = "would fail to reformat"
3622 reformatted = "reformatted"
3623 unchanged = "left unchanged"
3624 failed = "failed to reformat"
3626 if self.change_count:
3627 s = "s" if self.change_count > 1 else ""
3629 click.style(f"{self.change_count} file{s} {reformatted}", bold=True)
3632 s = "s" if self.same_count > 1 else ""
3633 report.append(f"{self.same_count} file{s} {unchanged}")
3634 if self.failure_count:
3635 s = "s" if self.failure_count > 1 else ""
3637 click.style(f"{self.failure_count} file{s} {failed}", fg="red")
3639 return ", ".join(report) + "."
3642 def parse_ast(src: str) -> Union[ast.AST, ast3.AST, ast27.AST]:
3643 filename = "<unknown>"
3644 if sys.version_info >= (3, 8):
3645 # TODO: support Python 4+ ;)
3646 for minor_version in range(sys.version_info[1], 4, -1):
3648 return ast.parse(src, filename, feature_version=(3, minor_version))
3652 for feature_version in (7, 6):
3654 return ast3.parse(src, filename, feature_version=feature_version)
3658 return ast27.parse(src)
3661 def _fixup_ast_constants(
3662 node: Union[ast.AST, ast3.AST, ast27.AST]
3663 ) -> Union[ast.AST, ast3.AST, ast27.AST]:
3664 """Map ast nodes deprecated in 3.8 to Constant."""
3665 # casts are required until this is released:
3666 # https://github.com/python/typeshed/pull/3142
3667 if isinstance(node, (ast.Str, ast3.Str, ast27.Str, ast.Bytes, ast3.Bytes)):
3668 return cast(ast.AST, ast.Constant(value=node.s))
3669 elif isinstance(node, (ast.Num, ast3.Num, ast27.Num)):
3670 return cast(ast.AST, ast.Constant(value=node.n))
3671 elif isinstance(node, (ast.NameConstant, ast3.NameConstant)):
3672 return cast(ast.AST, ast.Constant(value=node.value))
3676 def assert_equivalent(src: str, dst: str) -> None:
3677 """Raise AssertionError if `src` and `dst` aren't equivalent."""
3679 def _v(node: Union[ast.AST, ast3.AST, ast27.AST], depth: int = 0) -> Iterator[str]:
3680 """Simple visitor generating strings to compare ASTs by content."""
3682 node = _fixup_ast_constants(node)
3684 yield f"{' ' * depth}{node.__class__.__name__}("
3686 for field in sorted(node._fields):
3687 # TypeIgnore has only one field 'lineno' which breaks this comparison
3688 type_ignore_classes = (ast3.TypeIgnore, ast27.TypeIgnore)
3689 if sys.version_info >= (3, 8):
3690 type_ignore_classes += (ast.TypeIgnore,)
3691 if isinstance(node, type_ignore_classes):
3695 value = getattr(node, field)
3696 except AttributeError:
3699 yield f"{' ' * (depth+1)}{field}="
3701 if isinstance(value, list):
3703 # Ignore nested tuples within del statements, because we may insert
3704 # parentheses and they change the AST.
3707 and isinstance(node, (ast.Delete, ast3.Delete, ast27.Delete))
3708 and isinstance(item, (ast.Tuple, ast3.Tuple, ast27.Tuple))
3710 for item in item.elts:
3711 yield from _v(item, depth + 2)
3712 elif isinstance(item, (ast.AST, ast3.AST, ast27.AST)):
3713 yield from _v(item, depth + 2)
3715 elif isinstance(value, (ast.AST, ast3.AST, ast27.AST)):
3716 yield from _v(value, depth + 2)
3719 yield f"{' ' * (depth+2)}{value!r}, # {value.__class__.__name__}"
3721 yield f"{' ' * depth}) # /{node.__class__.__name__}"
3724 src_ast = parse_ast(src)
3725 except Exception as exc:
3726 raise AssertionError(
3727 f"cannot use --safe with this file; failed to parse source file. "
3728 f"AST error message: {exc}"
3732 dst_ast = parse_ast(dst)
3733 except Exception as exc:
3734 log = dump_to_file("".join(traceback.format_tb(exc.__traceback__)), dst)
3735 raise AssertionError(
3736 f"INTERNAL ERROR: Black produced invalid code: {exc}. "
3737 f"Please report a bug on https://github.com/psf/black/issues. "
3738 f"This invalid output might be helpful: {log}"
3741 src_ast_str = "\n".join(_v(src_ast))
3742 dst_ast_str = "\n".join(_v(dst_ast))
3743 if src_ast_str != dst_ast_str:
3744 log = dump_to_file(diff(src_ast_str, dst_ast_str, "src", "dst"))
3745 raise AssertionError(
3746 f"INTERNAL ERROR: Black produced code that is not equivalent to "
3748 f"Please report a bug on https://github.com/psf/black/issues. "
3749 f"This diff might be helpful: {log}"
3753 def assert_stable(src: str, dst: str, mode: FileMode) -> None:
3754 """Raise AssertionError if `dst` reformats differently the second time."""
3755 newdst = format_str(dst, mode=mode)
3758 diff(src, dst, "source", "first pass"),
3759 diff(dst, newdst, "first pass", "second pass"),
3761 raise AssertionError(
3762 f"INTERNAL ERROR: Black produced different code on the second pass "
3763 f"of the formatter. "
3764 f"Please report a bug on https://github.com/psf/black/issues. "
3765 f"This diff might be helpful: {log}"
3769 def dump_to_file(*output: str) -> str:
3770 """Dump `output` to a temporary file. Return path to the file."""
3771 with tempfile.NamedTemporaryFile(
3772 mode="w", prefix="blk_", suffix=".log", delete=False, encoding="utf8"
3774 for lines in output:
3776 if lines and lines[-1] != "\n":
3782 def nullcontext() -> Iterator[None]:
3783 """Return context manager that does nothing.
3784 Similar to `nullcontext` from python 3.7"""
3788 def diff(a: str, b: str, a_name: str, b_name: str) -> str:
3789 """Return a unified diff string between strings `a` and `b`."""
3792 a_lines = [line + "\n" for line in a.split("\n")]
3793 b_lines = [line + "\n" for line in b.split("\n")]
3795 difflib.unified_diff(a_lines, b_lines, fromfile=a_name, tofile=b_name, n=5)
3799 def cancel(tasks: Iterable[asyncio.Task]) -> None:
3800 """asyncio signal handler that cancels all `tasks` and reports to stderr."""
3806 def shutdown(loop: asyncio.AbstractEventLoop) -> None:
3807 """Cancel all pending tasks on `loop`, wait for them, and close the loop."""
3809 if sys.version_info[:2] >= (3, 7):
3810 all_tasks = asyncio.all_tasks
3812 all_tasks = asyncio.Task.all_tasks
3813 # This part is borrowed from asyncio/runners.py in Python 3.7b2.
3814 to_cancel = [task for task in all_tasks(loop) if not task.done()]
3818 for task in to_cancel:
3820 loop.run_until_complete(
3821 asyncio.gather(*to_cancel, loop=loop, return_exceptions=True)
3824 # `concurrent.futures.Future` objects cannot be cancelled once they
3825 # are already running. There might be some when the `shutdown()` happened.
3826 # Silence their logger's spew about the event loop being closed.
3827 cf_logger = logging.getLogger("concurrent.futures")
3828 cf_logger.setLevel(logging.CRITICAL)
3832 def sub_twice(regex: Pattern[str], replacement: str, original: str) -> str:
3833 """Replace `regex` with `replacement` twice on `original`.
3835 This is used by string normalization to perform replaces on
3836 overlapping matches.
3838 return regex.sub(replacement, regex.sub(replacement, original))
3841 def re_compile_maybe_verbose(regex: str) -> Pattern[str]:
3842 """Compile a regular expression string in `regex`.
3844 If it contains newlines, use verbose mode.
3847 regex = "(?x)" + regex
3848 compiled: Pattern[str] = re.compile(regex)
3852 def enumerate_reversed(sequence: Sequence[T]) -> Iterator[Tuple[Index, T]]:
3853 """Like `reversed(enumerate(sequence))` if that were possible."""
3854 index = len(sequence) - 1
3855 for element in reversed(sequence):
3856 yield (index, element)
3860 def enumerate_with_length(
3861 line: Line, reversed: bool = False
3862 ) -> Iterator[Tuple[Index, Leaf, int]]:
3863 """Return an enumeration of leaves with their length.
3865 Stops prematurely on multiline strings and standalone comments.
3868 Callable[[Sequence[Leaf]], Iterator[Tuple[Index, Leaf]]],
3869 enumerate_reversed if reversed else enumerate,
3871 for index, leaf in op(line.leaves):
3872 length = len(leaf.prefix) + len(leaf.value)
3873 if "\n" in leaf.value:
3874 return # Multiline strings, we can't continue.
3876 for comment in line.comments_after(leaf):
3877 length += len(comment.value)
3879 yield index, leaf, length
3882 def is_line_short_enough(line: Line, *, line_length: int, line_str: str = "") -> bool:
3883 """Return True if `line` is no longer than `line_length`.
3885 Uses the provided `line_str` rendering, if any, otherwise computes a new one.
3888 line_str = str(line).strip("\n")
3890 len(line_str) <= line_length
3891 and "\n" not in line_str # multiline strings
3892 and not line.contains_standalone_comments()
3896 def can_be_split(line: Line) -> bool:
3897 """Return False if the line cannot be split *for sure*.
3899 This is not an exhaustive search but a cheap heuristic that we can use to
3900 avoid some unfortunate formattings (mostly around wrapping unsplittable code
3901 in unnecessary parentheses).
3903 leaves = line.leaves
3907 if leaves[0].type == token.STRING and leaves[1].type == token.DOT:
3911 for leaf in leaves[-2::-1]:
3912 if leaf.type in OPENING_BRACKETS:
3913 if next.type not in CLOSING_BRACKETS:
3917 elif leaf.type == token.DOT:
3919 elif leaf.type == token.NAME:
3920 if not (next.type == token.DOT or next.type in OPENING_BRACKETS):
3923 elif leaf.type not in CLOSING_BRACKETS:
3926 if dot_count > 1 and call_count > 1:
3932 def can_omit_invisible_parens(line: Line, line_length: int) -> bool:
3933 """Does `line` have a shape safe to reformat without optional parens around it?
3935 Returns True for only a subset of potentially nice looking formattings but
3936 the point is to not return false positives that end up producing lines that
3939 bt = line.bracket_tracker
3940 if not bt.delimiters:
3941 # Without delimiters the optional parentheses are useless.
3944 max_priority = bt.max_delimiter_priority()
3945 if bt.delimiter_count_with_priority(max_priority) > 1:
3946 # With more than one delimiter of a kind the optional parentheses read better.
3949 if max_priority == DOT_PRIORITY:
3950 # A single stranded method call doesn't require optional parentheses.
3953 assert len(line.leaves) >= 2, "Stranded delimiter"
3955 first = line.leaves[0]
3956 second = line.leaves[1]
3957 penultimate = line.leaves[-2]
3958 last = line.leaves[-1]
3960 # With a single delimiter, omit if the expression starts or ends with
3962 if first.type in OPENING_BRACKETS and second.type not in CLOSING_BRACKETS:
3964 length = 4 * line.depth
3965 for _index, leaf, leaf_length in enumerate_with_length(line):
3966 if leaf.type in CLOSING_BRACKETS and leaf.opening_bracket is first:
3969 length += leaf_length
3970 if length > line_length:
3973 if leaf.type in OPENING_BRACKETS:
3974 # There are brackets we can further split on.
3978 # checked the entire string and line length wasn't exceeded
3979 if len(line.leaves) == _index + 1:
3982 # Note: we are not returning False here because a line might have *both*
3983 # a leading opening bracket and a trailing closing bracket. If the
3984 # opening bracket doesn't match our rule, maybe the closing will.
3987 last.type == token.RPAR
3988 or last.type == token.RBRACE
3990 # don't use indexing for omitting optional parentheses;
3992 last.type == token.RSQB
3994 and last.parent.type != syms.trailer
3997 if penultimate.type in OPENING_BRACKETS:
3998 # Empty brackets don't help.
4001 if is_multiline_string(first):
4002 # Additional wrapping of a multiline string in this situation is
4006 length = 4 * line.depth
4007 seen_other_brackets = False
4008 for _index, leaf, leaf_length in enumerate_with_length(line):
4009 length += leaf_length
4010 if leaf is last.opening_bracket:
4011 if seen_other_brackets or length <= line_length:
4014 elif leaf.type in OPENING_BRACKETS:
4015 # There are brackets we can further split on.
4016 seen_other_brackets = True
4021 def get_cache_file(mode: FileMode) -> Path:
4022 return CACHE_DIR / f"cache.{mode.get_cache_key()}.pickle"
4025 def read_cache(mode: FileMode) -> Cache:
4026 """Read the cache if it exists and is well formed.
4028 If it is not well formed, the call to write_cache later should resolve the issue.
4030 cache_file = get_cache_file(mode)
4031 if not cache_file.exists():
4034 with cache_file.open("rb") as fobj:
4036 cache: Cache = pickle.load(fobj)
4037 except (pickle.UnpicklingError, ValueError):
4043 def get_cache_info(path: Path) -> CacheInfo:
4044 """Return the information used to check if a file is already formatted or not."""
4046 return stat.st_mtime, stat.st_size
4049 def filter_cached(cache: Cache, sources: Iterable[Path]) -> Tuple[Set[Path], Set[Path]]:
4050 """Split an iterable of paths in `sources` into two sets.
4052 The first contains paths of files that modified on disk or are not in the
4053 cache. The other contains paths to non-modified files.
4055 todo, done = set(), set()
4058 if cache.get(src) != get_cache_info(src):
4065 def write_cache(cache: Cache, sources: Iterable[Path], mode: FileMode) -> None:
4066 """Update the cache file."""
4067 cache_file = get_cache_file(mode)
4069 CACHE_DIR.mkdir(parents=True, exist_ok=True)
4070 new_cache = {**cache, **{src.resolve(): get_cache_info(src) for src in sources}}
4071 with tempfile.NamedTemporaryFile(dir=str(cache_file.parent), delete=False) as f:
4072 pickle.dump(new_cache, f, protocol=4)
4073 os.replace(f.name, cache_file)
4078 def patch_click() -> None:
4079 """Make Click not crash.
4081 On certain misconfigured environments, Python 3 selects the ASCII encoding as the
4082 default which restricts paths that it can access during the lifetime of the
4083 application. Click refuses to work in this scenario by raising a RuntimeError.
4085 In case of Black the likelihood that non-ASCII characters are going to be used in
4086 file paths is minimal since it's Python source code. Moreover, this crash was
4087 spurious on Python 3.7 thanks to PEP 538 and PEP 540.
4090 from click import core
4091 from click import _unicodefun # type: ignore
4092 except ModuleNotFoundError:
4095 for module in (core, _unicodefun):
4096 if hasattr(module, "_verify_python3_env"):
4097 module._verify_python3_env = lambda: None
4100 def patched_main() -> None:
4106 if __name__ == "__main__":