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
48 from blib2to3.pytree import Node, Leaf, type_repr
49 from blib2to3 import pygram, pytree
50 from blib2to3.pgen2 import driver, token
51 from blib2to3.pgen2.grammar import Grammar
52 from blib2to3.pgen2.parse import ParseError
54 from _version import version as __version__
56 DEFAULT_LINE_LENGTH = 88
57 DEFAULT_EXCLUDES = r"/(\.eggs|\.git|\.hg|\.mypy_cache|\.nox|\.tox|\.venv|\.svn|_build|buck-out|build|dist)/" # noqa: B950
58 DEFAULT_INCLUDES = r"\.pyi?$"
59 CACHE_DIR = Path(user_cache_dir("black", version=__version__))
71 LN = Union[Leaf, Node]
72 SplitFunc = Callable[["Line", Collection["Feature"]], Iterator["Line"]]
75 CacheInfo = Tuple[Timestamp, FileSize]
76 Cache = Dict[Path, CacheInfo]
77 out = partial(click.secho, bold=True, err=True)
78 err = partial(click.secho, fg="red", err=True)
80 pygram.initialize(CACHE_DIR)
81 syms = pygram.python_symbols
84 class NothingChanged(UserWarning):
85 """Raised when reformatted code is the same as source."""
88 class CannotSplit(Exception):
89 """A readable split that fits the allotted line length is impossible."""
92 class InvalidInput(ValueError):
93 """Raised when input source code fails all parse attempts."""
96 class WriteBack(Enum):
103 def from_configuration(cls, *, check: bool, diff: bool) -> "WriteBack":
104 if check and not diff:
107 return cls.DIFF if diff else cls.YES
116 class TargetVersion(Enum):
125 def is_python2(self) -> bool:
126 return self is TargetVersion.PY27
129 PY36_VERSIONS = {TargetVersion.PY36, TargetVersion.PY37, TargetVersion.PY38}
133 # All string literals are unicode
136 NUMERIC_UNDERSCORES = 3
137 TRAILING_COMMA_IN_CALL = 4
138 TRAILING_COMMA_IN_DEF = 5
139 # The following two feature-flags are mutually exclusive, and exactly one should be
140 # set for every version of python.
141 ASYNC_IDENTIFIERS = 6
143 ASSIGNMENT_EXPRESSIONS = 8
144 POS_ONLY_ARGUMENTS = 9
147 VERSION_TO_FEATURES: Dict[TargetVersion, Set[Feature]] = {
148 TargetVersion.PY27: {Feature.ASYNC_IDENTIFIERS},
149 TargetVersion.PY33: {Feature.UNICODE_LITERALS, Feature.ASYNC_IDENTIFIERS},
150 TargetVersion.PY34: {Feature.UNICODE_LITERALS, Feature.ASYNC_IDENTIFIERS},
151 TargetVersion.PY35: {
152 Feature.UNICODE_LITERALS,
153 Feature.TRAILING_COMMA_IN_CALL,
154 Feature.ASYNC_IDENTIFIERS,
156 TargetVersion.PY36: {
157 Feature.UNICODE_LITERALS,
159 Feature.NUMERIC_UNDERSCORES,
160 Feature.TRAILING_COMMA_IN_CALL,
161 Feature.TRAILING_COMMA_IN_DEF,
162 Feature.ASYNC_IDENTIFIERS,
164 TargetVersion.PY37: {
165 Feature.UNICODE_LITERALS,
167 Feature.NUMERIC_UNDERSCORES,
168 Feature.TRAILING_COMMA_IN_CALL,
169 Feature.TRAILING_COMMA_IN_DEF,
170 Feature.ASYNC_KEYWORDS,
172 TargetVersion.PY38: {
173 Feature.UNICODE_LITERALS,
175 Feature.NUMERIC_UNDERSCORES,
176 Feature.TRAILING_COMMA_IN_CALL,
177 Feature.TRAILING_COMMA_IN_DEF,
178 Feature.ASYNC_KEYWORDS,
179 Feature.ASSIGNMENT_EXPRESSIONS,
180 Feature.POS_ONLY_ARGUMENTS,
187 target_versions: Set[TargetVersion] = Factory(set)
188 line_length: int = DEFAULT_LINE_LENGTH
189 string_normalization: bool = True
192 def get_cache_key(self) -> str:
193 if self.target_versions:
194 version_str = ",".join(
196 for version in sorted(self.target_versions, key=lambda v: v.value)
202 str(self.line_length),
203 str(int(self.string_normalization)),
204 str(int(self.is_pyi)),
206 return ".".join(parts)
209 def supports_feature(target_versions: Set[TargetVersion], feature: Feature) -> bool:
210 return all(feature in VERSION_TO_FEATURES[version] for version in target_versions)
213 def read_pyproject_toml(
214 ctx: click.Context, param: click.Parameter, value: Union[str, int, bool, None]
216 """Inject Black configuration from "pyproject.toml" into defaults in `ctx`.
218 Returns the path to a successfully found and read configuration file, None
221 assert not isinstance(value, (int, bool)), "Invalid parameter type passed"
223 root = find_project_root(ctx.params.get("src", ()))
224 path = root / "pyproject.toml"
231 pyproject_toml = toml.load(value)
232 config = pyproject_toml.get("tool", {}).get("black", {})
233 except (toml.TomlDecodeError, OSError) as e:
234 raise click.FileError(
235 filename=value, hint=f"Error reading configuration file: {e}"
241 if ctx.default_map is None:
243 ctx.default_map.update( # type: ignore # bad types in .pyi
244 {k.replace("--", "").replace("-", "_"): v for k, v in config.items()}
249 @click.command(context_settings=dict(help_option_names=["-h", "--help"]))
250 @click.option("-c", "--code", type=str, help="Format the code passed in as a string.")
255 default=DEFAULT_LINE_LENGTH,
256 help="How many characters per line to allow.",
262 type=click.Choice([v.name.lower() for v in TargetVersion]),
263 callback=lambda c, p, v: [TargetVersion[val.upper()] for val in v],
266 "Python versions that should be supported by Black's output. [default: "
267 "per-file auto-detection]"
274 "Allow using Python 3.6-only syntax on all input files. This will put "
275 "trailing commas in function signatures and calls also after *args and "
276 "**kwargs. Deprecated; use --target-version instead. "
277 "[default: per-file auto-detection]"
284 "Format all input files like typing stubs regardless of file extension "
285 "(useful when piping source on standard input)."
290 "--skip-string-normalization",
292 help="Don't normalize string quotes or prefixes.",
298 "Don't write the files back, just return the status. Return code 0 "
299 "means nothing would change. Return code 1 means some files would be "
300 "reformatted. Return code 123 means there was an internal error."
306 help="Don't write the files back, just output a diff for each file on stdout.",
311 help="If --fast given, skip temporary sanity checks. [default: --safe]",
316 default=DEFAULT_INCLUDES,
318 "A regular expression that matches files and directories that should be "
319 "included on recursive searches. An empty value means all files are "
320 "included regardless of the name. Use forward slashes for directories on "
321 "all platforms (Windows, too). Exclusions are calculated first, inclusions "
329 default=DEFAULT_EXCLUDES,
331 "A regular expression that matches files and directories that should be "
332 "excluded on recursive searches. An empty value means no paths are excluded. "
333 "Use forward slashes for directories on all platforms (Windows, too). "
334 "Exclusions are calculated first, inclusions later."
343 "Don't emit non-error messages to stderr. Errors are still emitted; "
344 "silence those with 2>/dev/null."
352 "Also emit messages to stderr about files that were not changed or were "
353 "ignored due to --exclude=."
356 @click.version_option(version=__version__)
361 exists=True, file_okay=True, dir_okay=True, readable=True, allow_dash=True
368 exists=False, file_okay=True, dir_okay=False, readable=True, allow_dash=False
371 callback=read_pyproject_toml,
372 help="Read configuration from PATH.",
379 target_version: List[TargetVersion],
385 skip_string_normalization: bool,
391 config: Optional[str],
393 """The uncompromising code formatter."""
394 write_back = WriteBack.from_configuration(check=check, diff=diff)
397 err(f"Cannot use both --target-version and --py36")
400 versions = set(target_version)
403 "--py36 is deprecated and will be removed in a future version. "
404 "Use --target-version py36 instead."
406 versions = PY36_VERSIONS
408 # We'll autodetect later.
411 target_versions=versions,
412 line_length=line_length,
414 string_normalization=not skip_string_normalization,
416 if config and verbose:
417 out(f"Using configuration from {config}.", bold=False, fg="blue")
419 print(format_str(code, mode=mode))
422 include_regex = re_compile_maybe_verbose(include)
424 err(f"Invalid regular expression for include given: {include!r}")
427 exclude_regex = re_compile_maybe_verbose(exclude)
429 err(f"Invalid regular expression for exclude given: {exclude!r}")
431 report = Report(check=check, quiet=quiet, verbose=verbose)
432 root = find_project_root(src)
433 sources: Set[Path] = set()
434 path_empty(src, quiet, verbose, ctx)
439 gen_python_files_in_dir(p, root, include_regex, exclude_regex, report)
441 elif p.is_file() or s == "-":
442 # if a file was explicitly given, we don't care about its extension
445 err(f"invalid path: {s}")
446 if len(sources) == 0:
447 if verbose or not quiet:
448 out("No Python files are present to be formatted. Nothing to do 😴")
451 if len(sources) == 1:
455 write_back=write_back,
461 sources=sources, fast=fast, write_back=write_back, mode=mode, report=report
464 if verbose or not quiet:
465 out("Oh no! 💥 💔 💥" if report.return_code else "All done! ✨ 🍰 ✨")
466 click.secho(str(report), err=True)
467 ctx.exit(report.return_code)
470 def path_empty(src: Tuple[str], quiet: bool, verbose: bool, ctx: click.Context) -> None:
472 Exit if there is no `src` provided for formatting
475 if verbose or not quiet:
476 out("No Path provided. Nothing to do 😴")
481 src: Path, fast: bool, write_back: WriteBack, mode: FileMode, report: "Report"
483 """Reformat a single file under `src` without spawning child processes.
485 `fast`, `write_back`, and `mode` options are passed to
486 :func:`format_file_in_place` or :func:`format_stdin_to_stdout`.
490 if not src.is_file() and str(src) == "-":
491 if format_stdin_to_stdout(fast=fast, write_back=write_back, mode=mode):
492 changed = Changed.YES
495 if write_back != WriteBack.DIFF:
496 cache = read_cache(mode)
497 res_src = src.resolve()
498 if res_src in cache and cache[res_src] == get_cache_info(res_src):
499 changed = Changed.CACHED
500 if changed is not Changed.CACHED and format_file_in_place(
501 src, fast=fast, write_back=write_back, mode=mode
503 changed = Changed.YES
504 if (write_back is WriteBack.YES and changed is not Changed.CACHED) or (
505 write_back is WriteBack.CHECK and changed is Changed.NO
507 write_cache(cache, [src], mode)
508 report.done(src, changed)
509 except Exception as exc:
510 report.failed(src, str(exc))
516 write_back: WriteBack,
520 """Reformat multiple files using a ProcessPoolExecutor."""
521 loop = asyncio.get_event_loop()
522 worker_count = os.cpu_count()
523 if sys.platform == "win32":
524 # Work around https://bugs.python.org/issue26903
525 worker_count = min(worker_count, 61)
526 executor = ProcessPoolExecutor(max_workers=worker_count)
528 loop.run_until_complete(
532 write_back=write_back,
544 async def schedule_formatting(
547 write_back: WriteBack,
550 loop: asyncio.AbstractEventLoop,
553 """Run formatting of `sources` in parallel using the provided `executor`.
555 (Use ProcessPoolExecutors for actual parallelism.)
557 `write_back`, `fast`, and `mode` options are passed to
558 :func:`format_file_in_place`.
561 if write_back != WriteBack.DIFF:
562 cache = read_cache(mode)
563 sources, cached = filter_cached(cache, sources)
564 for src in sorted(cached):
565 report.done(src, Changed.CACHED)
570 sources_to_cache = []
572 if write_back == WriteBack.DIFF:
573 # For diff output, we need locks to ensure we don't interleave output
574 # from different processes.
576 lock = manager.Lock()
578 asyncio.ensure_future(
579 loop.run_in_executor(
580 executor, format_file_in_place, src, fast, mode, write_back, lock
583 for src in sorted(sources)
585 pending: Iterable[asyncio.Future] = tasks.keys()
587 loop.add_signal_handler(signal.SIGINT, cancel, pending)
588 loop.add_signal_handler(signal.SIGTERM, cancel, pending)
589 except NotImplementedError:
590 # There are no good alternatives for these on Windows.
593 done, _ = await asyncio.wait(pending, return_when=asyncio.FIRST_COMPLETED)
595 src = tasks.pop(task)
597 cancelled.append(task)
598 elif task.exception():
599 report.failed(src, str(task.exception()))
601 changed = Changed.YES if task.result() else Changed.NO
602 # If the file was written back or was successfully checked as
603 # well-formatted, store this information in the cache.
604 if write_back is WriteBack.YES or (
605 write_back is WriteBack.CHECK and changed is Changed.NO
607 sources_to_cache.append(src)
608 report.done(src, changed)
610 await asyncio.gather(*cancelled, loop=loop, return_exceptions=True)
612 write_cache(cache, sources_to_cache, mode)
615 def format_file_in_place(
619 write_back: WriteBack = WriteBack.NO,
620 lock: Any = None, # multiprocessing.Manager().Lock() is some crazy proxy
622 """Format file under `src` path. Return True if changed.
624 If `write_back` is DIFF, write a diff to stdout. If it is YES, write reformatted
626 `mode` and `fast` options are passed to :func:`format_file_contents`.
628 if src.suffix == ".pyi":
629 mode = evolve(mode, is_pyi=True)
631 then = datetime.utcfromtimestamp(src.stat().st_mtime)
632 with open(src, "rb") as buf:
633 src_contents, encoding, newline = decode_bytes(buf.read())
635 dst_contents = format_file_contents(src_contents, fast=fast, mode=mode)
636 except NothingChanged:
639 if write_back == write_back.YES:
640 with open(src, "w", encoding=encoding, newline=newline) as f:
641 f.write(dst_contents)
642 elif write_back == write_back.DIFF:
643 now = datetime.utcnow()
644 src_name = f"{src}\t{then} +0000"
645 dst_name = f"{src}\t{now} +0000"
646 diff_contents = diff(src_contents, dst_contents, src_name, dst_name)
648 with lock or nullcontext():
649 f = io.TextIOWrapper(
655 f.write(diff_contents)
661 def format_stdin_to_stdout(
662 fast: bool, *, write_back: WriteBack = WriteBack.NO, mode: FileMode
664 """Format file on stdin. Return True if changed.
666 If `write_back` is YES, write reformatted code back to stdout. If it is DIFF,
667 write a diff to stdout. The `mode` argument is passed to
668 :func:`format_file_contents`.
670 then = datetime.utcnow()
671 src, encoding, newline = decode_bytes(sys.stdin.buffer.read())
674 dst = format_file_contents(src, fast=fast, mode=mode)
677 except NothingChanged:
681 f = io.TextIOWrapper(
682 sys.stdout.buffer, encoding=encoding, newline=newline, write_through=True
684 if write_back == WriteBack.YES:
686 elif write_back == WriteBack.DIFF:
687 now = datetime.utcnow()
688 src_name = f"STDIN\t{then} +0000"
689 dst_name = f"STDOUT\t{now} +0000"
690 f.write(diff(src, dst, src_name, dst_name))
694 def format_file_contents(
695 src_contents: str, *, fast: bool, mode: FileMode
697 """Reformat contents a file and return new contents.
699 If `fast` is False, additionally confirm that the reformatted code is
700 valid by calling :func:`assert_equivalent` and :func:`assert_stable` on it.
701 `mode` is passed to :func:`format_str`.
703 if src_contents.strip() == "":
706 dst_contents = format_str(src_contents, mode=mode)
707 if src_contents == dst_contents:
711 assert_equivalent(src_contents, dst_contents)
712 assert_stable(src_contents, dst_contents, mode=mode)
716 def format_str(src_contents: str, *, mode: FileMode) -> FileContent:
717 """Reformat a string and return new contents.
719 `mode` determines formatting options, such as how many characters per line are
722 src_node = lib2to3_parse(src_contents.lstrip(), mode.target_versions)
724 future_imports = get_future_imports(src_node)
725 if mode.target_versions:
726 versions = mode.target_versions
728 versions = detect_target_versions(src_node)
729 normalize_fmt_off(src_node)
730 lines = LineGenerator(
731 remove_u_prefix="unicode_literals" in future_imports
732 or supports_feature(versions, Feature.UNICODE_LITERALS),
734 normalize_strings=mode.string_normalization,
736 elt = EmptyLineTracker(is_pyi=mode.is_pyi)
739 split_line_features = {
741 for feature in {Feature.TRAILING_COMMA_IN_CALL, Feature.TRAILING_COMMA_IN_DEF}
742 if supports_feature(versions, feature)
744 for current_line in lines.visit(src_node):
745 for _ in range(after):
746 dst_contents.append(str(empty_line))
747 before, after = elt.maybe_empty_lines(current_line)
748 for _ in range(before):
749 dst_contents.append(str(empty_line))
750 for line in split_line(
751 current_line, line_length=mode.line_length, features=split_line_features
753 dst_contents.append(str(line))
754 return "".join(dst_contents)
757 def decode_bytes(src: bytes) -> Tuple[FileContent, Encoding, NewLine]:
758 """Return a tuple of (decoded_contents, encoding, newline).
760 `newline` is either CRLF or LF but `decoded_contents` is decoded with
761 universal newlines (i.e. only contains LF).
763 srcbuf = io.BytesIO(src)
764 encoding, lines = tokenize.detect_encoding(srcbuf.readline)
766 return "", encoding, "\n"
768 newline = "\r\n" if b"\r\n" == lines[0][-2:] else "\n"
770 with io.TextIOWrapper(srcbuf, encoding) as tiow:
771 return tiow.read(), encoding, newline
774 def get_grammars(target_versions: Set[TargetVersion]) -> List[Grammar]:
775 if not target_versions:
776 # No target_version specified, so try all grammars.
779 pygram.python_grammar_no_print_statement_no_exec_statement_async_keywords,
781 pygram.python_grammar_no_print_statement_no_exec_statement,
782 # Python 2.7 with future print_function import
783 pygram.python_grammar_no_print_statement,
785 pygram.python_grammar,
787 elif all(version.is_python2() for version in target_versions):
788 # Python 2-only code, so try Python 2 grammars.
790 # Python 2.7 with future print_function import
791 pygram.python_grammar_no_print_statement,
793 pygram.python_grammar,
796 # Python 3-compatible code, so only try Python 3 grammar.
798 # If we have to parse both, try to parse async as a keyword first
799 if not supports_feature(target_versions, Feature.ASYNC_IDENTIFIERS):
802 pygram.python_grammar_no_print_statement_no_exec_statement_async_keywords # noqa: B950
804 if not supports_feature(target_versions, Feature.ASYNC_KEYWORDS):
806 grammars.append(pygram.python_grammar_no_print_statement_no_exec_statement)
807 # At least one of the above branches must have been taken, because every Python
808 # version has exactly one of the two 'ASYNC_*' flags
812 def lib2to3_parse(src_txt: str, target_versions: Iterable[TargetVersion] = ()) -> Node:
813 """Given a string with source, return the lib2to3 Node."""
814 if src_txt[-1:] != "\n":
817 for grammar in get_grammars(set(target_versions)):
818 drv = driver.Driver(grammar, pytree.convert)
820 result = drv.parse_string(src_txt, True)
823 except ParseError as pe:
824 lineno, column = pe.context[1]
825 lines = src_txt.splitlines()
827 faulty_line = lines[lineno - 1]
829 faulty_line = "<line number missing in source>"
830 exc = InvalidInput(f"Cannot parse: {lineno}:{column}: {faulty_line}")
834 if isinstance(result, Leaf):
835 result = Node(syms.file_input, [result])
839 def lib2to3_unparse(node: Node) -> str:
840 """Given a lib2to3 node, return its string representation."""
848 class Visitor(Generic[T]):
849 """Basic lib2to3 visitor that yields things of type `T` on `visit()`."""
851 def visit(self, node: LN) -> Iterator[T]:
852 """Main method to visit `node` and its children.
854 It tries to find a `visit_*()` method for the given `node.type`, like
855 `visit_simple_stmt` for Node objects or `visit_INDENT` for Leaf objects.
856 If no dedicated `visit_*()` method is found, chooses `visit_default()`
859 Then yields objects of type `T` from the selected visitor.
862 name = token.tok_name[node.type]
864 name = type_repr(node.type)
865 yield from getattr(self, f"visit_{name}", self.visit_default)(node)
867 def visit_default(self, node: LN) -> Iterator[T]:
868 """Default `visit_*()` implementation. Recurses to children of `node`."""
869 if isinstance(node, Node):
870 for child in node.children:
871 yield from self.visit(child)
875 class DebugVisitor(Visitor[T]):
878 def visit_default(self, node: LN) -> Iterator[T]:
879 indent = " " * (2 * self.tree_depth)
880 if isinstance(node, Node):
881 _type = type_repr(node.type)
882 out(f"{indent}{_type}", fg="yellow")
884 for child in node.children:
885 yield from self.visit(child)
888 out(f"{indent}/{_type}", fg="yellow", bold=False)
890 _type = token.tok_name.get(node.type, str(node.type))
891 out(f"{indent}{_type}", fg="blue", nl=False)
893 # We don't have to handle prefixes for `Node` objects since
894 # that delegates to the first child anyway.
895 out(f" {node.prefix!r}", fg="green", bold=False, nl=False)
896 out(f" {node.value!r}", fg="blue", bold=False)
899 def show(cls, code: Union[str, Leaf, Node]) -> None:
900 """Pretty-print the lib2to3 AST of a given string of `code`.
902 Convenience method for debugging.
904 v: DebugVisitor[None] = DebugVisitor()
905 if isinstance(code, str):
906 code = lib2to3_parse(code)
910 WHITESPACE = {token.DEDENT, token.INDENT, token.NEWLINE}
921 STANDALONE_COMMENT = 153
922 token.tok_name[STANDALONE_COMMENT] = "STANDALONE_COMMENT"
923 LOGIC_OPERATORS = {"and", "or"}
948 STARS = {token.STAR, token.DOUBLESTAR}
949 VARARGS_SPECIALS = STARS | {token.SLASH}
952 syms.argument, # double star in arglist
953 syms.trailer, # single argument to call
955 syms.varargslist, # lambdas
957 UNPACKING_PARENTS = {
958 syms.atom, # single element of a list or set literal
962 syms.testlist_star_expr,
997 COMPREHENSION_PRIORITY = 20
999 TERNARY_PRIORITY = 16
1001 STRING_PRIORITY = 12
1002 COMPARATOR_PRIORITY = 10
1005 token.CIRCUMFLEX: 8,
1008 token.RIGHTSHIFT: 6,
1013 token.DOUBLESLASH: 4,
1017 token.DOUBLESTAR: 2,
1023 class BracketTracker:
1024 """Keeps track of brackets on a line."""
1027 bracket_match: Dict[Tuple[Depth, NodeType], Leaf] = Factory(dict)
1028 delimiters: Dict[LeafID, Priority] = Factory(dict)
1029 previous: Optional[Leaf] = None
1030 _for_loop_depths: List[int] = Factory(list)
1031 _lambda_argument_depths: List[int] = Factory(list)
1033 def mark(self, leaf: Leaf) -> None:
1034 """Mark `leaf` with bracket-related metadata. Keep track of delimiters.
1036 All leaves receive an int `bracket_depth` field that stores how deep
1037 within brackets a given leaf is. 0 means there are no enclosing brackets
1038 that started on this line.
1040 If a leaf is itself a closing bracket, it receives an `opening_bracket`
1041 field that it forms a pair with. This is a one-directional link to
1042 avoid reference cycles.
1044 If a leaf is a delimiter (a token on which Black can split the line if
1045 needed) and it's on depth 0, its `id()` is stored in the tracker's
1048 if leaf.type == token.COMMENT:
1051 self.maybe_decrement_after_for_loop_variable(leaf)
1052 self.maybe_decrement_after_lambda_arguments(leaf)
1053 if leaf.type in CLOSING_BRACKETS:
1055 opening_bracket = self.bracket_match.pop((self.depth, leaf.type))
1056 leaf.opening_bracket = opening_bracket
1057 leaf.bracket_depth = self.depth
1059 delim = is_split_before_delimiter(leaf, self.previous)
1060 if delim and self.previous is not None:
1061 self.delimiters[id(self.previous)] = delim
1063 delim = is_split_after_delimiter(leaf, self.previous)
1065 self.delimiters[id(leaf)] = delim
1066 if leaf.type in OPENING_BRACKETS:
1067 self.bracket_match[self.depth, BRACKET[leaf.type]] = leaf
1069 self.previous = leaf
1070 self.maybe_increment_lambda_arguments(leaf)
1071 self.maybe_increment_for_loop_variable(leaf)
1073 def any_open_brackets(self) -> bool:
1074 """Return True if there is an yet unmatched open bracket on the line."""
1075 return bool(self.bracket_match)
1077 def max_delimiter_priority(self, exclude: Iterable[LeafID] = ()) -> Priority:
1078 """Return the highest priority of a delimiter found on the line.
1080 Values are consistent with what `is_split_*_delimiter()` return.
1081 Raises ValueError on no delimiters.
1083 return max(v for k, v in self.delimiters.items() if k not in exclude)
1085 def delimiter_count_with_priority(self, priority: Priority = 0) -> int:
1086 """Return the number of delimiters with the given `priority`.
1088 If no `priority` is passed, defaults to max priority on the line.
1090 if not self.delimiters:
1093 priority = priority or self.max_delimiter_priority()
1094 return sum(1 for p in self.delimiters.values() if p == priority)
1096 def maybe_increment_for_loop_variable(self, leaf: Leaf) -> bool:
1097 """In a for loop, or comprehension, the variables are often unpacks.
1099 To avoid splitting on the comma in this situation, increase the depth of
1100 tokens between `for` and `in`.
1102 if leaf.type == token.NAME and leaf.value == "for":
1104 self._for_loop_depths.append(self.depth)
1109 def maybe_decrement_after_for_loop_variable(self, leaf: Leaf) -> bool:
1110 """See `maybe_increment_for_loop_variable` above for explanation."""
1112 self._for_loop_depths
1113 and self._for_loop_depths[-1] == self.depth
1114 and leaf.type == token.NAME
1115 and leaf.value == "in"
1118 self._for_loop_depths.pop()
1123 def maybe_increment_lambda_arguments(self, leaf: Leaf) -> bool:
1124 """In a lambda expression, there might be more than one argument.
1126 To avoid splitting on the comma in this situation, increase the depth of
1127 tokens between `lambda` and `:`.
1129 if leaf.type == token.NAME and leaf.value == "lambda":
1131 self._lambda_argument_depths.append(self.depth)
1136 def maybe_decrement_after_lambda_arguments(self, leaf: Leaf) -> bool:
1137 """See `maybe_increment_lambda_arguments` above for explanation."""
1139 self._lambda_argument_depths
1140 and self._lambda_argument_depths[-1] == self.depth
1141 and leaf.type == token.COLON
1144 self._lambda_argument_depths.pop()
1149 def get_open_lsqb(self) -> Optional[Leaf]:
1150 """Return the most recent opening square bracket (if any)."""
1151 return self.bracket_match.get((self.depth - 1, token.RSQB))
1156 """Holds leaves and comments. Can be printed with `str(line)`."""
1159 leaves: List[Leaf] = Factory(list)
1160 comments: Dict[LeafID, List[Leaf]] = Factory(dict) # keys ordered like `leaves`
1161 bracket_tracker: BracketTracker = Factory(BracketTracker)
1162 inside_brackets: bool = False
1163 should_explode: bool = False
1165 def append(self, leaf: Leaf, preformatted: bool = False) -> None:
1166 """Add a new `leaf` to the end of the line.
1168 Unless `preformatted` is True, the `leaf` will receive a new consistent
1169 whitespace prefix and metadata applied by :class:`BracketTracker`.
1170 Trailing commas are maybe removed, unpacked for loop variables are
1171 demoted from being delimiters.
1173 Inline comments are put aside.
1175 has_value = leaf.type in BRACKETS or bool(leaf.value.strip())
1179 if token.COLON == leaf.type and self.is_class_paren_empty:
1180 del self.leaves[-2:]
1181 if self.leaves and not preformatted:
1182 # Note: at this point leaf.prefix should be empty except for
1183 # imports, for which we only preserve newlines.
1184 leaf.prefix += whitespace(
1185 leaf, complex_subscript=self.is_complex_subscript(leaf)
1187 if self.inside_brackets or not preformatted:
1188 self.bracket_tracker.mark(leaf)
1189 self.maybe_remove_trailing_comma(leaf)
1190 if not self.append_comment(leaf):
1191 self.leaves.append(leaf)
1193 def append_safe(self, leaf: Leaf, preformatted: bool = False) -> None:
1194 """Like :func:`append()` but disallow invalid standalone comment structure.
1196 Raises ValueError when any `leaf` is appended after a standalone comment
1197 or when a standalone comment is not the first leaf on the line.
1199 if self.bracket_tracker.depth == 0:
1201 raise ValueError("cannot append to standalone comments")
1203 if self.leaves and leaf.type == STANDALONE_COMMENT:
1205 "cannot append standalone comments to a populated line"
1208 self.append(leaf, preformatted=preformatted)
1211 def is_comment(self) -> bool:
1212 """Is this line a standalone comment?"""
1213 return len(self.leaves) == 1 and self.leaves[0].type == STANDALONE_COMMENT
1216 def is_decorator(self) -> bool:
1217 """Is this line a decorator?"""
1218 return bool(self) and self.leaves[0].type == token.AT
1221 def is_import(self) -> bool:
1222 """Is this an import line?"""
1223 return bool(self) and is_import(self.leaves[0])
1226 def is_class(self) -> bool:
1227 """Is this line a class definition?"""
1230 and self.leaves[0].type == token.NAME
1231 and self.leaves[0].value == "class"
1235 def is_stub_class(self) -> bool:
1236 """Is this line a class definition with a body consisting only of "..."?"""
1237 return self.is_class and self.leaves[-3:] == [
1238 Leaf(token.DOT, ".") for _ in range(3)
1242 def is_collection_with_optional_trailing_comma(self) -> bool:
1243 """Is this line a collection literal with a trailing comma that's optional?
1245 Note that the trailing comma in a 1-tuple is not optional.
1247 if not self.leaves or len(self.leaves) < 4:
1249 # Look for and address a trailing colon.
1250 if self.leaves[-1].type == token.COLON:
1251 closer = self.leaves[-2]
1254 closer = self.leaves[-1]
1256 if closer.type not in CLOSING_BRACKETS or self.inside_brackets:
1258 if closer.type == token.RPAR:
1259 # Tuples require an extra check, because if there's only
1260 # one element in the tuple removing the comma unmakes the
1263 # We also check for parens before looking for the trailing
1264 # comma because in some cases (eg assigning a dict
1265 # literal) the literal gets wrapped in temporary parens
1266 # during parsing. This case is covered by the
1267 # collections.py test data.
1268 opener = closer.opening_bracket
1269 for _open_index, leaf in enumerate(self.leaves):
1273 # Couldn't find the matching opening paren, play it safe.
1276 comma_depth = self.leaves[close_index - 1].bracket_depth
1277 for leaf in self.leaves[_open_index + 1 : close_index]:
1278 if leaf.bracket_depth == comma_depth and leaf.type == token.COMMA:
1281 # We haven't looked yet for the trailing comma because
1282 # we might also have caught noop parens.
1283 return self.leaves[close_index - 1].type == token.COMMA
1285 return False # it's either a one-tuple or didn't have a trailing comma
1286 if self.leaves[close_index - 1].type in CLOSING_BRACKETS:
1288 closer = self.leaves[close_index]
1289 if closer.type == token.RPAR:
1290 # TODO: this is a gut feeling. Will we ever see this?
1292 if self.leaves[close_index - 1].type != token.COMMA:
1297 def is_def(self) -> bool:
1298 """Is this a function definition? (Also returns True for async defs.)"""
1300 first_leaf = self.leaves[0]
1305 second_leaf: Optional[Leaf] = self.leaves[1]
1308 return (first_leaf.type == token.NAME and first_leaf.value == "def") or (
1309 first_leaf.type == token.ASYNC
1310 and second_leaf is not None
1311 and second_leaf.type == token.NAME
1312 and second_leaf.value == "def"
1316 def is_class_paren_empty(self) -> bool:
1317 """Is this a class with no base classes but using parentheses?
1319 Those are unnecessary and should be removed.
1323 and len(self.leaves) == 4
1325 and self.leaves[2].type == token.LPAR
1326 and self.leaves[2].value == "("
1327 and self.leaves[3].type == token.RPAR
1328 and self.leaves[3].value == ")"
1332 def is_triple_quoted_string(self) -> bool:
1333 """Is the line a triple quoted string?"""
1336 and self.leaves[0].type == token.STRING
1337 and self.leaves[0].value.startswith(('"""', "'''"))
1340 def contains_standalone_comments(self, depth_limit: int = sys.maxsize) -> bool:
1341 """If so, needs to be split before emitting."""
1342 for leaf in self.leaves:
1343 if leaf.type == STANDALONE_COMMENT:
1344 if leaf.bracket_depth <= depth_limit:
1348 def contains_uncollapsable_type_comments(self) -> bool:
1351 last_leaf = self.leaves[-1]
1352 ignored_ids.add(id(last_leaf))
1353 if last_leaf.type == token.COMMA or (
1354 last_leaf.type == token.RPAR and not last_leaf.value
1356 # When trailing commas or optional parens are inserted by Black for
1357 # consistency, comments after the previous last element are not moved
1358 # (they don't have to, rendering will still be correct). So we ignore
1359 # trailing commas and invisible.
1360 last_leaf = self.leaves[-2]
1361 ignored_ids.add(id(last_leaf))
1365 # A type comment is uncollapsable if it is attached to a leaf
1366 # that isn't at the end of the line (since that could cause it
1367 # to get associated to a different argument) or if there are
1368 # comments before it (since that could cause it to get hidden
1370 comment_seen = False
1371 for leaf_id, comments in self.comments.items():
1372 for comment in comments:
1373 if is_type_comment(comment):
1374 if leaf_id not in ignored_ids or comment_seen:
1381 def contains_unsplittable_type_ignore(self) -> bool:
1385 # If a 'type: ignore' is attached to the end of a line, we
1386 # can't split the line, because we can't know which of the
1387 # subexpressions the ignore was meant to apply to.
1389 # We only want this to apply to actual physical lines from the
1390 # original source, though: we don't want the presence of a
1391 # 'type: ignore' at the end of a multiline expression to
1392 # justify pushing it all onto one line. Thus we
1393 # (unfortunately) need to check the actual source lines and
1394 # only report an unsplittable 'type: ignore' if this line was
1395 # one line in the original code.
1397 # Grab the first and last line numbers, skipping generated leaves
1398 first_line = next((l.lineno for l in self.leaves if l.lineno != 0), 0)
1399 last_line = next((l.lineno for l in reversed(self.leaves) if l.lineno != 0), 0)
1401 if first_line == last_line:
1402 # We look at the last two leaves since a comma or an
1403 # invisible paren could have been added at the end of the
1405 for node in self.leaves[-2:]:
1406 for comment in self.comments.get(id(node), []):
1407 if is_type_comment(comment, " ignore"):
1412 def contains_multiline_strings(self) -> bool:
1413 for leaf in self.leaves:
1414 if is_multiline_string(leaf):
1419 def maybe_remove_trailing_comma(self, closing: Leaf) -> bool:
1420 """Remove trailing comma if there is one and it's safe."""
1421 if not (self.leaves and self.leaves[-1].type == token.COMMA):
1423 # We remove trailing commas only in the case of importing a
1424 # single name from a module.
1428 and len(self.leaves) > 4
1429 and self.leaves[-1].type == token.COMMA
1430 and closing.type in CLOSING_BRACKETS
1431 and self.leaves[-4].type == token.NAME
1433 # regular `from foo import bar,`
1434 self.leaves[-4].value == "import"
1435 # `from foo import (bar as baz,)
1437 len(self.leaves) > 6
1438 and self.leaves[-6].value == "import"
1439 and self.leaves[-3].value == "as"
1441 # `from foo import bar as baz,`
1443 len(self.leaves) > 5
1444 and self.leaves[-5].value == "import"
1445 and self.leaves[-3].value == "as"
1448 and closing.type == token.RPAR
1452 self.remove_trailing_comma()
1455 def append_comment(self, comment: Leaf) -> bool:
1456 """Add an inline or standalone comment to the line."""
1458 comment.type == STANDALONE_COMMENT
1459 and self.bracket_tracker.any_open_brackets()
1464 if comment.type != token.COMMENT:
1468 comment.type = STANDALONE_COMMENT
1472 last_leaf = self.leaves[-1]
1474 last_leaf.type == token.RPAR
1475 and not last_leaf.value
1476 and last_leaf.parent
1477 and len(list(last_leaf.parent.leaves())) <= 3
1478 and not is_type_comment(comment)
1480 # Comments on an optional parens wrapping a single leaf should belong to
1481 # the wrapped node except if it's a type comment. Pinning the comment like
1482 # this avoids unstable formatting caused by comment migration.
1483 if len(self.leaves) < 2:
1484 comment.type = STANDALONE_COMMENT
1487 last_leaf = self.leaves[-2]
1488 self.comments.setdefault(id(last_leaf), []).append(comment)
1491 def comments_after(self, leaf: Leaf) -> List[Leaf]:
1492 """Generate comments that should appear directly after `leaf`."""
1493 return self.comments.get(id(leaf), [])
1495 def remove_trailing_comma(self) -> None:
1496 """Remove the trailing comma and moves the comments attached to it."""
1497 trailing_comma = self.leaves.pop()
1498 trailing_comma_comments = self.comments.pop(id(trailing_comma), [])
1499 self.comments.setdefault(id(self.leaves[-1]), []).extend(
1500 trailing_comma_comments
1503 def is_complex_subscript(self, leaf: Leaf) -> bool:
1504 """Return True iff `leaf` is part of a slice with non-trivial exprs."""
1505 open_lsqb = self.bracket_tracker.get_open_lsqb()
1506 if open_lsqb is None:
1509 subscript_start = open_lsqb.next_sibling
1511 if isinstance(subscript_start, Node):
1512 if subscript_start.type == syms.listmaker:
1515 if subscript_start.type == syms.subscriptlist:
1516 subscript_start = child_towards(subscript_start, leaf)
1517 return subscript_start is not None and any(
1518 n.type in TEST_DESCENDANTS for n in subscript_start.pre_order()
1521 def __str__(self) -> str:
1522 """Render the line."""
1526 indent = " " * self.depth
1527 leaves = iter(self.leaves)
1528 first = next(leaves)
1529 res = f"{first.prefix}{indent}{first.value}"
1532 for comment in itertools.chain.from_iterable(self.comments.values()):
1536 def __bool__(self) -> bool:
1537 """Return True if the line has leaves or comments."""
1538 return bool(self.leaves or self.comments)
1542 class EmptyLineTracker:
1543 """Provides a stateful method that returns the number of potential extra
1544 empty lines needed before and after the currently processed line.
1546 Note: this tracker works on lines that haven't been split yet. It assumes
1547 the prefix of the first leaf consists of optional newlines. Those newlines
1548 are consumed by `maybe_empty_lines()` and included in the computation.
1551 is_pyi: bool = False
1552 previous_line: Optional[Line] = None
1553 previous_after: int = 0
1554 previous_defs: List[int] = Factory(list)
1556 def maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1557 """Return the number of extra empty lines before and after the `current_line`.
1559 This is for separating `def`, `async def` and `class` with extra empty
1560 lines (two on module-level).
1562 before, after = self._maybe_empty_lines(current_line)
1564 # Black should not insert empty lines at the beginning
1567 if self.previous_line is None
1568 else before - self.previous_after
1570 self.previous_after = after
1571 self.previous_line = current_line
1572 return before, after
1574 def _maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1576 if current_line.depth == 0:
1577 max_allowed = 1 if self.is_pyi else 2
1578 if current_line.leaves:
1579 # Consume the first leaf's extra newlines.
1580 first_leaf = current_line.leaves[0]
1581 before = first_leaf.prefix.count("\n")
1582 before = min(before, max_allowed)
1583 first_leaf.prefix = ""
1586 depth = current_line.depth
1587 while self.previous_defs and self.previous_defs[-1] >= depth:
1588 self.previous_defs.pop()
1590 before = 0 if depth else 1
1592 before = 1 if depth else 2
1593 if current_line.is_decorator or current_line.is_def or current_line.is_class:
1594 return self._maybe_empty_lines_for_class_or_def(current_line, before)
1598 and self.previous_line.is_import
1599 and not current_line.is_import
1600 and depth == self.previous_line.depth
1602 return (before or 1), 0
1606 and self.previous_line.is_class
1607 and current_line.is_triple_quoted_string
1613 def _maybe_empty_lines_for_class_or_def(
1614 self, current_line: Line, before: int
1615 ) -> Tuple[int, int]:
1616 if not current_line.is_decorator:
1617 self.previous_defs.append(current_line.depth)
1618 if self.previous_line is None:
1619 # Don't insert empty lines before the first line in the file.
1622 if self.previous_line.is_decorator:
1625 if self.previous_line.depth < current_line.depth and (
1626 self.previous_line.is_class or self.previous_line.is_def
1631 self.previous_line.is_comment
1632 and self.previous_line.depth == current_line.depth
1638 if self.previous_line.depth > current_line.depth:
1640 elif current_line.is_class or self.previous_line.is_class:
1641 if current_line.is_stub_class and self.previous_line.is_stub_class:
1642 # No blank line between classes with an empty body
1646 elif current_line.is_def and not self.previous_line.is_def:
1647 # Blank line between a block of functions and a block of non-functions
1653 if current_line.depth and newlines:
1659 class LineGenerator(Visitor[Line]):
1660 """Generates reformatted Line objects. Empty lines are not emitted.
1662 Note: destroys the tree it's visiting by mutating prefixes of its leaves
1663 in ways that will no longer stringify to valid Python code on the tree.
1666 is_pyi: bool = False
1667 normalize_strings: bool = True
1668 current_line: Line = Factory(Line)
1669 remove_u_prefix: bool = False
1671 def line(self, indent: int = 0) -> Iterator[Line]:
1674 If the line is empty, only emit if it makes sense.
1675 If the line is too long, split it first and then generate.
1677 If any lines were generated, set up a new current_line.
1679 if not self.current_line:
1680 self.current_line.depth += indent
1681 return # Line is empty, don't emit. Creating a new one unnecessary.
1683 complete_line = self.current_line
1684 self.current_line = Line(depth=complete_line.depth + indent)
1687 def visit_default(self, node: LN) -> Iterator[Line]:
1688 """Default `visit_*()` implementation. Recurses to children of `node`."""
1689 if isinstance(node, Leaf):
1690 any_open_brackets = self.current_line.bracket_tracker.any_open_brackets()
1691 for comment in generate_comments(node):
1692 if any_open_brackets:
1693 # any comment within brackets is subject to splitting
1694 self.current_line.append(comment)
1695 elif comment.type == token.COMMENT:
1696 # regular trailing comment
1697 self.current_line.append(comment)
1698 yield from self.line()
1701 # regular standalone comment
1702 yield from self.line()
1704 self.current_line.append(comment)
1705 yield from self.line()
1707 normalize_prefix(node, inside_brackets=any_open_brackets)
1708 if self.normalize_strings and node.type == token.STRING:
1709 normalize_string_prefix(node, remove_u_prefix=self.remove_u_prefix)
1710 normalize_string_quotes(node)
1711 if node.type == token.NUMBER:
1712 normalize_numeric_literal(node)
1713 if node.type not in WHITESPACE:
1714 self.current_line.append(node)
1715 yield from super().visit_default(node)
1717 def visit_atom(self, node: Node) -> Iterator[Line]:
1718 # Always make parentheses invisible around a single node, because it should
1719 # not be needed (except in the case of yield, where removing the parentheses
1720 # produces a SyntaxError).
1722 len(node.children) == 3
1723 and isinstance(node.children[0], Leaf)
1724 and node.children[0].type == token.LPAR
1725 and isinstance(node.children[2], Leaf)
1726 and node.children[2].type == token.RPAR
1727 and isinstance(node.children[1], Leaf)
1729 node.children[1].type == token.NAME
1730 and node.children[1].value == "yield"
1733 node.children[0].value = ""
1734 node.children[2].value = ""
1735 yield from super().visit_default(node)
1737 def visit_factor(self, node: Node) -> Iterator[Line]:
1738 """Force parentheses between a unary op and a binary power:
1740 -2 ** 8 -> -(2 ** 8)
1742 child = node.children[1]
1743 if child.type == syms.power and len(child.children) == 3:
1744 lpar = Leaf(token.LPAR, "(")
1745 rpar = Leaf(token.RPAR, ")")
1746 index = child.remove() or 0
1747 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
1748 yield from self.visit_default(node)
1750 def visit_INDENT(self, node: Node) -> Iterator[Line]:
1751 """Increase indentation level, maybe yield a line."""
1752 # In blib2to3 INDENT never holds comments.
1753 yield from self.line(+1)
1754 yield from self.visit_default(node)
1756 def visit_DEDENT(self, node: Node) -> Iterator[Line]:
1757 """Decrease indentation level, maybe yield a line."""
1758 # The current line might still wait for trailing comments. At DEDENT time
1759 # there won't be any (they would be prefixes on the preceding NEWLINE).
1760 # Emit the line then.
1761 yield from self.line()
1763 # While DEDENT has no value, its prefix may contain standalone comments
1764 # that belong to the current indentation level. Get 'em.
1765 yield from self.visit_default(node)
1767 # Finally, emit the dedent.
1768 yield from self.line(-1)
1771 self, node: Node, keywords: Set[str], parens: Set[str]
1772 ) -> Iterator[Line]:
1773 """Visit a statement.
1775 This implementation is shared for `if`, `while`, `for`, `try`, `except`,
1776 `def`, `with`, `class`, `assert` and assignments.
1778 The relevant Python language `keywords` for a given statement will be
1779 NAME leaves within it. This methods puts those on a separate line.
1781 `parens` holds a set of string leaf values immediately after which
1782 invisible parens should be put.
1784 normalize_invisible_parens(node, parens_after=parens)
1785 for child in node.children:
1786 if child.type == token.NAME and child.value in keywords: # type: ignore
1787 yield from self.line()
1789 yield from self.visit(child)
1791 def visit_suite(self, node: Node) -> Iterator[Line]:
1792 """Visit a suite."""
1793 if self.is_pyi and is_stub_suite(node):
1794 yield from self.visit(node.children[2])
1796 yield from self.visit_default(node)
1798 def visit_simple_stmt(self, node: Node) -> Iterator[Line]:
1799 """Visit a statement without nested statements."""
1800 is_suite_like = node.parent and node.parent.type in STATEMENT
1802 if self.is_pyi and is_stub_body(node):
1803 yield from self.visit_default(node)
1805 yield from self.line(+1)
1806 yield from self.visit_default(node)
1807 yield from self.line(-1)
1810 if not self.is_pyi or not node.parent or not is_stub_suite(node.parent):
1811 yield from self.line()
1812 yield from self.visit_default(node)
1814 def visit_async_stmt(self, node: Node) -> Iterator[Line]:
1815 """Visit `async def`, `async for`, `async with`."""
1816 yield from self.line()
1818 children = iter(node.children)
1819 for child in children:
1820 yield from self.visit(child)
1822 if child.type == token.ASYNC:
1825 internal_stmt = next(children)
1826 for child in internal_stmt.children:
1827 yield from self.visit(child)
1829 def visit_decorators(self, node: Node) -> Iterator[Line]:
1830 """Visit decorators."""
1831 for child in node.children:
1832 yield from self.line()
1833 yield from self.visit(child)
1835 def visit_SEMI(self, leaf: Leaf) -> Iterator[Line]:
1836 """Remove a semicolon and put the other statement on a separate line."""
1837 yield from self.line()
1839 def visit_ENDMARKER(self, leaf: Leaf) -> Iterator[Line]:
1840 """End of file. Process outstanding comments and end with a newline."""
1841 yield from self.visit_default(leaf)
1842 yield from self.line()
1844 def visit_STANDALONE_COMMENT(self, leaf: Leaf) -> Iterator[Line]:
1845 if not self.current_line.bracket_tracker.any_open_brackets():
1846 yield from self.line()
1847 yield from self.visit_default(leaf)
1849 def __attrs_post_init__(self) -> None:
1850 """You are in a twisty little maze of passages."""
1853 self.visit_assert_stmt = partial(v, keywords={"assert"}, parens={"assert", ","})
1854 self.visit_if_stmt = partial(
1855 v, keywords={"if", "else", "elif"}, parens={"if", "elif"}
1857 self.visit_while_stmt = partial(v, keywords={"while", "else"}, parens={"while"})
1858 self.visit_for_stmt = partial(v, keywords={"for", "else"}, parens={"for", "in"})
1859 self.visit_try_stmt = partial(
1860 v, keywords={"try", "except", "else", "finally"}, parens=Ø
1862 self.visit_except_clause = partial(v, keywords={"except"}, parens=Ø)
1863 self.visit_with_stmt = partial(v, keywords={"with"}, parens=Ø)
1864 self.visit_funcdef = partial(v, keywords={"def"}, parens=Ø)
1865 self.visit_classdef = partial(v, keywords={"class"}, parens=Ø)
1866 self.visit_expr_stmt = partial(v, keywords=Ø, parens=ASSIGNMENTS)
1867 self.visit_return_stmt = partial(v, keywords={"return"}, parens={"return"})
1868 self.visit_import_from = partial(v, keywords=Ø, parens={"import"})
1869 self.visit_del_stmt = partial(v, keywords=Ø, parens={"del"})
1870 self.visit_async_funcdef = self.visit_async_stmt
1871 self.visit_decorated = self.visit_decorators
1874 IMPLICIT_TUPLE = {syms.testlist, syms.testlist_star_expr, syms.exprlist}
1875 BRACKET = {token.LPAR: token.RPAR, token.LSQB: token.RSQB, token.LBRACE: token.RBRACE}
1876 OPENING_BRACKETS = set(BRACKET.keys())
1877 CLOSING_BRACKETS = set(BRACKET.values())
1878 BRACKETS = OPENING_BRACKETS | CLOSING_BRACKETS
1879 ALWAYS_NO_SPACE = CLOSING_BRACKETS | {token.COMMA, STANDALONE_COMMENT}
1882 def whitespace(leaf: Leaf, *, complex_subscript: bool) -> str: # noqa: C901
1883 """Return whitespace prefix if needed for the given `leaf`.
1885 `complex_subscript` signals whether the given leaf is part of a subscription
1886 which has non-trivial arguments, like arithmetic expressions or function calls.
1894 if t in ALWAYS_NO_SPACE:
1897 if t == token.COMMENT:
1900 assert p is not None, f"INTERNAL ERROR: hand-made leaf without parent: {leaf!r}"
1901 if t == token.COLON and p.type not in {
1908 prev = leaf.prev_sibling
1910 prevp = preceding_leaf(p)
1911 if not prevp or prevp.type in OPENING_BRACKETS:
1914 if t == token.COLON:
1915 if prevp.type == token.COLON:
1918 elif prevp.type != token.COMMA and not complex_subscript:
1923 if prevp.type == token.EQUAL:
1925 if prevp.parent.type in {
1933 elif prevp.parent.type == syms.typedargslist:
1934 # A bit hacky: if the equal sign has whitespace, it means we
1935 # previously found it's a typed argument. So, we're using
1939 elif prevp.type in VARARGS_SPECIALS:
1940 if is_vararg(prevp, within=VARARGS_PARENTS | UNPACKING_PARENTS):
1943 elif prevp.type == token.COLON:
1944 if prevp.parent and prevp.parent.type in {syms.subscript, syms.sliceop}:
1945 return SPACE if complex_subscript else NO
1949 and prevp.parent.type == syms.factor
1950 and prevp.type in MATH_OPERATORS
1955 prevp.type == token.RIGHTSHIFT
1957 and prevp.parent.type == syms.shift_expr
1958 and prevp.prev_sibling
1959 and prevp.prev_sibling.type == token.NAME
1960 and prevp.prev_sibling.value == "print" # type: ignore
1962 # Python 2 print chevron
1965 elif prev.type in OPENING_BRACKETS:
1968 if p.type in {syms.parameters, syms.arglist}:
1969 # untyped function signatures or calls
1970 if not prev or prev.type != token.COMMA:
1973 elif p.type == syms.varargslist:
1975 if prev and prev.type != token.COMMA:
1978 elif p.type == syms.typedargslist:
1979 # typed function signatures
1983 if t == token.EQUAL:
1984 if prev.type != syms.tname:
1987 elif prev.type == token.EQUAL:
1988 # A bit hacky: if the equal sign has whitespace, it means we
1989 # previously found it's a typed argument. So, we're using that, too.
1992 elif prev.type != token.COMMA:
1995 elif p.type == syms.tname:
1998 prevp = preceding_leaf(p)
1999 if not prevp or prevp.type != token.COMMA:
2002 elif p.type == syms.trailer:
2003 # attributes and calls
2004 if t == token.LPAR or t == token.RPAR:
2009 prevp = preceding_leaf(p)
2010 if not prevp or prevp.type != token.NUMBER:
2013 elif t == token.LSQB:
2016 elif prev.type != token.COMMA:
2019 elif p.type == syms.argument:
2021 if t == token.EQUAL:
2025 prevp = preceding_leaf(p)
2026 if not prevp or prevp.type == token.LPAR:
2029 elif prev.type in {token.EQUAL} | VARARGS_SPECIALS:
2032 elif p.type == syms.decorator:
2036 elif p.type == syms.dotted_name:
2040 prevp = preceding_leaf(p)
2041 if not prevp or prevp.type == token.AT or prevp.type == token.DOT:
2044 elif p.type == syms.classdef:
2048 if prev and prev.type == token.LPAR:
2051 elif p.type in {syms.subscript, syms.sliceop}:
2054 assert p.parent is not None, "subscripts are always parented"
2055 if p.parent.type == syms.subscriptlist:
2060 elif not complex_subscript:
2063 elif p.type == syms.atom:
2064 if prev and t == token.DOT:
2065 # dots, but not the first one.
2068 elif p.type == syms.dictsetmaker:
2070 if prev and prev.type == token.DOUBLESTAR:
2073 elif p.type in {syms.factor, syms.star_expr}:
2076 prevp = preceding_leaf(p)
2077 if not prevp or prevp.type in OPENING_BRACKETS:
2080 prevp_parent = prevp.parent
2081 assert prevp_parent is not None
2082 if prevp.type == token.COLON and prevp_parent.type in {
2088 elif prevp.type == token.EQUAL and prevp_parent.type == syms.argument:
2091 elif t in {token.NAME, token.NUMBER, token.STRING}:
2094 elif p.type == syms.import_from:
2096 if prev and prev.type == token.DOT:
2099 elif t == token.NAME:
2103 if prev and prev.type == token.DOT:
2106 elif p.type == syms.sliceop:
2112 def preceding_leaf(node: Optional[LN]) -> Optional[Leaf]:
2113 """Return the first leaf that precedes `node`, if any."""
2115 res = node.prev_sibling
2117 if isinstance(res, Leaf):
2121 return list(res.leaves())[-1]
2130 def child_towards(ancestor: Node, descendant: LN) -> Optional[LN]:
2131 """Return the child of `ancestor` that contains `descendant`."""
2132 node: Optional[LN] = descendant
2133 while node and node.parent != ancestor:
2138 def container_of(leaf: Leaf) -> LN:
2139 """Return `leaf` or one of its ancestors that is the topmost container of it.
2141 By "container" we mean a node where `leaf` is the very first child.
2143 same_prefix = leaf.prefix
2144 container: LN = leaf
2146 parent = container.parent
2150 if parent.children[0].prefix != same_prefix:
2153 if parent.type == syms.file_input:
2156 if parent.prev_sibling is not None and parent.prev_sibling.type in BRACKETS:
2163 def is_split_after_delimiter(leaf: Leaf, previous: Optional[Leaf] = None) -> Priority:
2164 """Return the priority of the `leaf` delimiter, given a line break after it.
2166 The delimiter priorities returned here are from those delimiters that would
2167 cause a line break after themselves.
2169 Higher numbers are higher priority.
2171 if leaf.type == token.COMMA:
2172 return COMMA_PRIORITY
2177 def is_split_before_delimiter(leaf: Leaf, previous: Optional[Leaf] = None) -> Priority:
2178 """Return the priority of the `leaf` delimiter, given a line break before it.
2180 The delimiter priorities returned here are from those delimiters that would
2181 cause a line break before themselves.
2183 Higher numbers are higher priority.
2185 if is_vararg(leaf, within=VARARGS_PARENTS | UNPACKING_PARENTS):
2186 # * and ** might also be MATH_OPERATORS but in this case they are not.
2187 # Don't treat them as a delimiter.
2191 leaf.type == token.DOT
2193 and leaf.parent.type not in {syms.import_from, syms.dotted_name}
2194 and (previous is None or previous.type in CLOSING_BRACKETS)
2199 leaf.type in MATH_OPERATORS
2201 and leaf.parent.type not in {syms.factor, syms.star_expr}
2203 return MATH_PRIORITIES[leaf.type]
2205 if leaf.type in COMPARATORS:
2206 return COMPARATOR_PRIORITY
2209 leaf.type == token.STRING
2210 and previous is not None
2211 and previous.type == token.STRING
2213 return STRING_PRIORITY
2215 if leaf.type not in {token.NAME, token.ASYNC}:
2221 and leaf.parent.type in {syms.comp_for, syms.old_comp_for}
2222 or leaf.type == token.ASYNC
2225 not isinstance(leaf.prev_sibling, Leaf)
2226 or leaf.prev_sibling.value != "async"
2228 return COMPREHENSION_PRIORITY
2233 and leaf.parent.type in {syms.comp_if, syms.old_comp_if}
2235 return COMPREHENSION_PRIORITY
2237 if leaf.value in {"if", "else"} and leaf.parent and leaf.parent.type == syms.test:
2238 return TERNARY_PRIORITY
2240 if leaf.value == "is":
2241 return COMPARATOR_PRIORITY
2246 and leaf.parent.type in {syms.comp_op, syms.comparison}
2248 previous is not None
2249 and previous.type == token.NAME
2250 and previous.value == "not"
2253 return COMPARATOR_PRIORITY
2258 and leaf.parent.type == syms.comp_op
2260 previous is not None
2261 and previous.type == token.NAME
2262 and previous.value == "is"
2265 return COMPARATOR_PRIORITY
2267 if leaf.value in LOGIC_OPERATORS and leaf.parent:
2268 return LOGIC_PRIORITY
2273 FMT_OFF = {"# fmt: off", "# fmt:off", "# yapf: disable"}
2274 FMT_ON = {"# fmt: on", "# fmt:on", "# yapf: enable"}
2277 def generate_comments(leaf: LN) -> Iterator[Leaf]:
2278 """Clean the prefix of the `leaf` and generate comments from it, if any.
2280 Comments in lib2to3 are shoved into the whitespace prefix. This happens
2281 in `pgen2/driver.py:Driver.parse_tokens()`. This was a brilliant implementation
2282 move because it does away with modifying the grammar to include all the
2283 possible places in which comments can be placed.
2285 The sad consequence for us though is that comments don't "belong" anywhere.
2286 This is why this function generates simple parentless Leaf objects for
2287 comments. We simply don't know what the correct parent should be.
2289 No matter though, we can live without this. We really only need to
2290 differentiate between inline and standalone comments. The latter don't
2291 share the line with any code.
2293 Inline comments are emitted as regular token.COMMENT leaves. Standalone
2294 are emitted with a fake STANDALONE_COMMENT token identifier.
2296 for pc in list_comments(leaf.prefix, is_endmarker=leaf.type == token.ENDMARKER):
2297 yield Leaf(pc.type, pc.value, prefix="\n" * pc.newlines)
2302 """Describes a piece of syntax that is a comment.
2304 It's not a :class:`blib2to3.pytree.Leaf` so that:
2306 * it can be cached (`Leaf` objects should not be reused more than once as
2307 they store their lineno, column, prefix, and parent information);
2308 * `newlines` and `consumed` fields are kept separate from the `value`. This
2309 simplifies handling of special marker comments like ``# fmt: off/on``.
2312 type: int # token.COMMENT or STANDALONE_COMMENT
2313 value: str # content of the comment
2314 newlines: int # how many newlines before the comment
2315 consumed: int # how many characters of the original leaf's prefix did we consume
2318 @lru_cache(maxsize=4096)
2319 def list_comments(prefix: str, *, is_endmarker: bool) -> List[ProtoComment]:
2320 """Return a list of :class:`ProtoComment` objects parsed from the given `prefix`."""
2321 result: List[ProtoComment] = []
2322 if not prefix or "#" not in prefix:
2328 for index, line in enumerate(prefix.split("\n")):
2329 consumed += len(line) + 1 # adding the length of the split '\n'
2330 line = line.lstrip()
2333 if not line.startswith("#"):
2334 # Escaped newlines outside of a comment are not really newlines at
2335 # all. We treat a single-line comment following an escaped newline
2336 # as a simple trailing comment.
2337 if line.endswith("\\"):
2341 if index == ignored_lines and not is_endmarker:
2342 comment_type = token.COMMENT # simple trailing comment
2344 comment_type = STANDALONE_COMMENT
2345 comment = make_comment(line)
2348 type=comment_type, value=comment, newlines=nlines, consumed=consumed
2355 def make_comment(content: str) -> str:
2356 """Return a consistently formatted comment from the given `content` string.
2358 All comments (except for "##", "#!", "#:", '#'", "#%%") should have a single
2359 space between the hash sign and the content.
2361 If `content` didn't start with a hash sign, one is provided.
2363 content = content.rstrip()
2367 if content[0] == "#":
2368 content = content[1:]
2369 if content and content[0] not in " !:#'%":
2370 content = " " + content
2371 return "#" + content
2377 inner: bool = False,
2378 features: Collection[Feature] = (),
2379 ) -> Iterator[Line]:
2380 """Split a `line` into potentially many lines.
2382 They should fit in the allotted `line_length` but might not be able to.
2383 `inner` signifies that there were a pair of brackets somewhere around the
2384 current `line`, possibly transitively. This means we can fallback to splitting
2385 by delimiters if the LHS/RHS don't yield any results.
2387 `features` are syntactical features that may be used in the output.
2393 line_str = str(line).strip("\n")
2396 not line.contains_uncollapsable_type_comments()
2397 and not line.should_explode
2398 and not line.is_collection_with_optional_trailing_comma
2400 is_line_short_enough(line, line_length=line_length, line_str=line_str)
2401 or line.contains_unsplittable_type_ignore()
2407 split_funcs: List[SplitFunc]
2409 split_funcs = [left_hand_split]
2412 def rhs(line: Line, features: Collection[Feature]) -> Iterator[Line]:
2413 for omit in generate_trailers_to_omit(line, line_length):
2414 lines = list(right_hand_split(line, line_length, features, omit=omit))
2415 if is_line_short_enough(lines[0], line_length=line_length):
2419 # All splits failed, best effort split with no omits.
2420 # This mostly happens to multiline strings that are by definition
2421 # reported as not fitting a single line.
2422 yield from right_hand_split(line, line_length, features=features)
2424 if line.inside_brackets:
2425 split_funcs = [delimiter_split, standalone_comment_split, rhs]
2428 for split_func in split_funcs:
2429 # We are accumulating lines in `result` because we might want to abort
2430 # mission and return the original line in the end, or attempt a different
2432 result: List[Line] = []
2434 for l in split_func(line, features):
2435 if str(l).strip("\n") == line_str:
2436 raise CannotSplit("Split function returned an unchanged result")
2440 l, line_length=line_length, inner=True, features=features
2454 def left_hand_split(line: Line, features: Collection[Feature] = ()) -> Iterator[Line]:
2455 """Split line into many lines, starting with the first matching bracket pair.
2457 Note: this usually looks weird, only use this for function definitions.
2458 Prefer RHS otherwise. This is why this function is not symmetrical with
2459 :func:`right_hand_split` which also handles optional parentheses.
2461 tail_leaves: List[Leaf] = []
2462 body_leaves: List[Leaf] = []
2463 head_leaves: List[Leaf] = []
2464 current_leaves = head_leaves
2465 matching_bracket = None
2466 for leaf in line.leaves:
2468 current_leaves is body_leaves
2469 and leaf.type in CLOSING_BRACKETS
2470 and leaf.opening_bracket is matching_bracket
2472 current_leaves = tail_leaves if body_leaves else head_leaves
2473 current_leaves.append(leaf)
2474 if current_leaves is head_leaves:
2475 if leaf.type in OPENING_BRACKETS:
2476 matching_bracket = leaf
2477 current_leaves = body_leaves
2478 if not matching_bracket:
2479 raise CannotSplit("No brackets found")
2481 head = bracket_split_build_line(head_leaves, line, matching_bracket)
2482 body = bracket_split_build_line(body_leaves, line, matching_bracket, is_body=True)
2483 tail = bracket_split_build_line(tail_leaves, line, matching_bracket)
2484 bracket_split_succeeded_or_raise(head, body, tail)
2485 for result in (head, body, tail):
2490 def right_hand_split(
2493 features: Collection[Feature] = (),
2494 omit: Collection[LeafID] = (),
2495 ) -> Iterator[Line]:
2496 """Split line into many lines, starting with the last matching bracket pair.
2498 If the split was by optional parentheses, attempt splitting without them, too.
2499 `omit` is a collection of closing bracket IDs that shouldn't be considered for
2502 Note: running this function modifies `bracket_depth` on the leaves of `line`.
2504 tail_leaves: List[Leaf] = []
2505 body_leaves: List[Leaf] = []
2506 head_leaves: List[Leaf] = []
2507 current_leaves = tail_leaves
2508 opening_bracket = None
2509 closing_bracket = None
2510 for leaf in reversed(line.leaves):
2511 if current_leaves is body_leaves:
2512 if leaf is opening_bracket:
2513 current_leaves = head_leaves if body_leaves else tail_leaves
2514 current_leaves.append(leaf)
2515 if current_leaves is tail_leaves:
2516 if leaf.type in CLOSING_BRACKETS and id(leaf) not in omit:
2517 opening_bracket = leaf.opening_bracket
2518 closing_bracket = leaf
2519 current_leaves = body_leaves
2520 if not (opening_bracket and closing_bracket and head_leaves):
2521 # If there is no opening or closing_bracket that means the split failed and
2522 # all content is in the tail. Otherwise, if `head_leaves` are empty, it means
2523 # the matching `opening_bracket` wasn't available on `line` anymore.
2524 raise CannotSplit("No brackets found")
2526 tail_leaves.reverse()
2527 body_leaves.reverse()
2528 head_leaves.reverse()
2529 head = bracket_split_build_line(head_leaves, line, opening_bracket)
2530 body = bracket_split_build_line(body_leaves, line, opening_bracket, is_body=True)
2531 tail = bracket_split_build_line(tail_leaves, line, opening_bracket)
2532 bracket_split_succeeded_or_raise(head, body, tail)
2534 # the body shouldn't be exploded
2535 not body.should_explode
2536 # the opening bracket is an optional paren
2537 and opening_bracket.type == token.LPAR
2538 and not opening_bracket.value
2539 # the closing bracket is an optional paren
2540 and closing_bracket.type == token.RPAR
2541 and not closing_bracket.value
2542 # it's not an import (optional parens are the only thing we can split on
2543 # in this case; attempting a split without them is a waste of time)
2544 and not line.is_import
2545 # there are no standalone comments in the body
2546 and not body.contains_standalone_comments(0)
2547 # and we can actually remove the parens
2548 and can_omit_invisible_parens(body, line_length)
2550 omit = {id(closing_bracket), *omit}
2552 yield from right_hand_split(line, line_length, features=features, omit=omit)
2558 or is_line_short_enough(body, line_length=line_length)
2561 "Splitting failed, body is still too long and can't be split."
2564 elif head.contains_multiline_strings() or tail.contains_multiline_strings():
2566 "The current optional pair of parentheses is bound to fail to "
2567 "satisfy the splitting algorithm because the head or the tail "
2568 "contains multiline strings which by definition never fit one "
2572 ensure_visible(opening_bracket)
2573 ensure_visible(closing_bracket)
2574 for result in (head, body, tail):
2579 def bracket_split_succeeded_or_raise(head: Line, body: Line, tail: Line) -> None:
2580 """Raise :exc:`CannotSplit` if the last left- or right-hand split failed.
2582 Do nothing otherwise.
2584 A left- or right-hand split is based on a pair of brackets. Content before
2585 (and including) the opening bracket is left on one line, content inside the
2586 brackets is put on a separate line, and finally content starting with and
2587 following the closing bracket is put on a separate line.
2589 Those are called `head`, `body`, and `tail`, respectively. If the split
2590 produced the same line (all content in `head`) or ended up with an empty `body`
2591 and the `tail` is just the closing bracket, then it's considered failed.
2593 tail_len = len(str(tail).strip())
2596 raise CannotSplit("Splitting brackets produced the same line")
2600 f"Splitting brackets on an empty body to save "
2601 f"{tail_len} characters is not worth it"
2605 def bracket_split_build_line(
2606 leaves: List[Leaf], original: Line, opening_bracket: Leaf, *, is_body: bool = False
2608 """Return a new line with given `leaves` and respective comments from `original`.
2610 If `is_body` is True, the result line is one-indented inside brackets and as such
2611 has its first leaf's prefix normalized and a trailing comma added when expected.
2613 result = Line(depth=original.depth)
2615 result.inside_brackets = True
2618 # Since body is a new indent level, remove spurious leading whitespace.
2619 normalize_prefix(leaves[0], inside_brackets=True)
2620 # Ensure a trailing comma for imports and standalone function arguments, but
2621 # be careful not to add one after any comments.
2622 no_commas = original.is_def and not any(
2623 l.type == token.COMMA for l in leaves
2626 if original.is_import or no_commas:
2627 for i in range(len(leaves) - 1, -1, -1):
2628 if leaves[i].type == STANDALONE_COMMENT:
2630 elif leaves[i].type == token.COMMA:
2633 leaves.insert(i + 1, Leaf(token.COMMA, ","))
2637 result.append(leaf, preformatted=True)
2638 for comment_after in original.comments_after(leaf):
2639 result.append(comment_after, preformatted=True)
2641 result.should_explode = should_explode(result, opening_bracket)
2645 def dont_increase_indentation(split_func: SplitFunc) -> SplitFunc:
2646 """Normalize prefix of the first leaf in every line returned by `split_func`.
2648 This is a decorator over relevant split functions.
2652 def split_wrapper(line: Line, features: Collection[Feature] = ()) -> Iterator[Line]:
2653 for l in split_func(line, features):
2654 normalize_prefix(l.leaves[0], inside_brackets=True)
2657 return split_wrapper
2660 @dont_increase_indentation
2661 def delimiter_split(line: Line, features: Collection[Feature] = ()) -> Iterator[Line]:
2662 """Split according to delimiters of the highest priority.
2664 If the appropriate Features are given, the split will add trailing commas
2665 also in function signatures and calls that contain `*` and `**`.
2668 last_leaf = line.leaves[-1]
2670 raise CannotSplit("Line empty")
2672 bt = line.bracket_tracker
2674 delimiter_priority = bt.max_delimiter_priority(exclude={id(last_leaf)})
2676 raise CannotSplit("No delimiters found")
2678 if delimiter_priority == DOT_PRIORITY:
2679 if bt.delimiter_count_with_priority(delimiter_priority) == 1:
2680 raise CannotSplit("Splitting a single attribute from its owner looks wrong")
2682 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2683 lowest_depth = sys.maxsize
2684 trailing_comma_safe = True
2686 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2687 """Append `leaf` to current line or to new line if appending impossible."""
2688 nonlocal current_line
2690 current_line.append_safe(leaf, preformatted=True)
2694 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2695 current_line.append(leaf)
2697 for leaf in line.leaves:
2698 yield from append_to_line(leaf)
2700 for comment_after in line.comments_after(leaf):
2701 yield from append_to_line(comment_after)
2703 lowest_depth = min(lowest_depth, leaf.bracket_depth)
2704 if leaf.bracket_depth == lowest_depth:
2705 if is_vararg(leaf, within={syms.typedargslist}):
2706 trailing_comma_safe = (
2707 trailing_comma_safe and Feature.TRAILING_COMMA_IN_DEF in features
2709 elif is_vararg(leaf, within={syms.arglist, syms.argument}):
2710 trailing_comma_safe = (
2711 trailing_comma_safe and Feature.TRAILING_COMMA_IN_CALL in features
2714 leaf_priority = bt.delimiters.get(id(leaf))
2715 if leaf_priority == delimiter_priority:
2718 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2722 and delimiter_priority == COMMA_PRIORITY
2723 and current_line.leaves[-1].type != token.COMMA
2724 and current_line.leaves[-1].type != STANDALONE_COMMENT
2726 current_line.append(Leaf(token.COMMA, ","))
2730 @dont_increase_indentation
2731 def standalone_comment_split(
2732 line: Line, features: Collection[Feature] = ()
2733 ) -> Iterator[Line]:
2734 """Split standalone comments from the rest of the line."""
2735 if not line.contains_standalone_comments(0):
2736 raise CannotSplit("Line does not have any standalone comments")
2738 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2740 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2741 """Append `leaf` to current line or to new line if appending impossible."""
2742 nonlocal current_line
2744 current_line.append_safe(leaf, preformatted=True)
2748 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2749 current_line.append(leaf)
2751 for leaf in line.leaves:
2752 yield from append_to_line(leaf)
2754 for comment_after in line.comments_after(leaf):
2755 yield from append_to_line(comment_after)
2761 def is_import(leaf: Leaf) -> bool:
2762 """Return True if the given leaf starts an import statement."""
2769 (v == "import" and p and p.type == syms.import_name)
2770 or (v == "from" and p and p.type == syms.import_from)
2775 def is_type_comment(leaf: Leaf, suffix: str = "") -> bool:
2776 """Return True if the given leaf is a special comment.
2777 Only returns true for type comments for now."""
2780 return t in {token.COMMENT, t == STANDALONE_COMMENT} and v.startswith(
2785 def normalize_prefix(leaf: Leaf, *, inside_brackets: bool) -> None:
2786 """Leave existing extra newlines if not `inside_brackets`. Remove everything
2789 Note: don't use backslashes for formatting or you'll lose your voting rights.
2791 if not inside_brackets:
2792 spl = leaf.prefix.split("#")
2793 if "\\" not in spl[0]:
2794 nl_count = spl[-1].count("\n")
2797 leaf.prefix = "\n" * nl_count
2803 def normalize_string_prefix(leaf: Leaf, remove_u_prefix: bool = False) -> None:
2804 """Make all string prefixes lowercase.
2806 If remove_u_prefix is given, also removes any u prefix from the string.
2808 Note: Mutates its argument.
2810 match = re.match(r"^([furbFURB]*)(.*)$", leaf.value, re.DOTALL)
2811 assert match is not None, f"failed to match string {leaf.value!r}"
2812 orig_prefix = match.group(1)
2813 new_prefix = orig_prefix.lower()
2815 new_prefix = new_prefix.replace("u", "")
2816 leaf.value = f"{new_prefix}{match.group(2)}"
2819 def normalize_string_quotes(leaf: Leaf) -> None:
2820 """Prefer double quotes but only if it doesn't cause more escaping.
2822 Adds or removes backslashes as appropriate. Doesn't parse and fix
2823 strings nested in f-strings (yet).
2825 Note: Mutates its argument.
2827 value = leaf.value.lstrip("furbFURB")
2828 if value[:3] == '"""':
2831 elif value[:3] == "'''":
2834 elif value[0] == '"':
2840 first_quote_pos = leaf.value.find(orig_quote)
2841 if first_quote_pos == -1:
2842 return # There's an internal error
2844 prefix = leaf.value[:first_quote_pos]
2845 unescaped_new_quote = re.compile(rf"(([^\\]|^)(\\\\)*){new_quote}")
2846 escaped_new_quote = re.compile(rf"([^\\]|^)\\((?:\\\\)*){new_quote}")
2847 escaped_orig_quote = re.compile(rf"([^\\]|^)\\((?:\\\\)*){orig_quote}")
2848 body = leaf.value[first_quote_pos + len(orig_quote) : -len(orig_quote)]
2849 if "r" in prefix.casefold():
2850 if unescaped_new_quote.search(body):
2851 # There's at least one unescaped new_quote in this raw string
2852 # so converting is impossible
2855 # Do not introduce or remove backslashes in raw strings
2858 # remove unnecessary escapes
2859 new_body = sub_twice(escaped_new_quote, rf"\1\2{new_quote}", body)
2860 if body != new_body:
2861 # Consider the string without unnecessary escapes as the original
2863 leaf.value = f"{prefix}{orig_quote}{body}{orig_quote}"
2864 new_body = sub_twice(escaped_orig_quote, rf"\1\2{orig_quote}", new_body)
2865 new_body = sub_twice(unescaped_new_quote, rf"\1\\{new_quote}", new_body)
2866 if "f" in prefix.casefold():
2867 matches = re.findall(
2869 (?:[^{]|^)\{ # start of the string or a non-{ followed by a single {
2870 ([^{].*?) # contents of the brackets except if begins with {{
2871 \}(?:[^}]|$) # A } followed by end of the string or a non-}
2878 # Do not introduce backslashes in interpolated expressions
2880 if new_quote == '"""' and new_body[-1:] == '"':
2882 new_body = new_body[:-1] + '\\"'
2883 orig_escape_count = body.count("\\")
2884 new_escape_count = new_body.count("\\")
2885 if new_escape_count > orig_escape_count:
2886 return # Do not introduce more escaping
2888 if new_escape_count == orig_escape_count and orig_quote == '"':
2889 return # Prefer double quotes
2891 leaf.value = f"{prefix}{new_quote}{new_body}{new_quote}"
2894 def normalize_numeric_literal(leaf: Leaf) -> None:
2895 """Normalizes numeric (float, int, and complex) literals.
2897 All letters used in the representation are normalized to lowercase (except
2898 in Python 2 long literals).
2900 text = leaf.value.lower()
2901 if text.startswith(("0o", "0b")):
2902 # Leave octal and binary literals alone.
2904 elif text.startswith("0x"):
2905 # Change hex literals to upper case.
2906 before, after = text[:2], text[2:]
2907 text = f"{before}{after.upper()}"
2909 before, after = text.split("e")
2911 if after.startswith("-"):
2914 elif after.startswith("+"):
2916 before = format_float_or_int_string(before)
2917 text = f"{before}e{sign}{after}"
2918 elif text.endswith(("j", "l")):
2921 # Capitalize in "2L" because "l" looks too similar to "1".
2924 text = f"{format_float_or_int_string(number)}{suffix}"
2926 text = format_float_or_int_string(text)
2930 def format_float_or_int_string(text: str) -> str:
2931 """Formats a float string like "1.0"."""
2935 before, after = text.split(".")
2936 return f"{before or 0}.{after or 0}"
2939 def normalize_invisible_parens(node: Node, parens_after: Set[str]) -> None:
2940 """Make existing optional parentheses invisible or create new ones.
2942 `parens_after` is a set of string leaf values immediately after which parens
2945 Standardizes on visible parentheses for single-element tuples, and keeps
2946 existing visible parentheses for other tuples and generator expressions.
2948 for pc in list_comments(node.prefix, is_endmarker=False):
2949 if pc.value in FMT_OFF:
2950 # This `node` has a prefix with `# fmt: off`, don't mess with parens.
2954 for index, child in enumerate(list(node.children)):
2955 # Add parentheses around long tuple unpacking in assignments.
2958 and isinstance(child, Node)
2959 and child.type == syms.testlist_star_expr
2964 if is_walrus_assignment(child):
2966 if child.type == syms.atom:
2967 # Determines if the underlying atom should be surrounded with
2968 # invisible params - also makes parens invisible recursively
2969 # within the atom and removes repeated invisible parens within
2971 should_surround_with_parens = maybe_make_parens_invisible_in_atom(
2975 if should_surround_with_parens:
2976 lpar = Leaf(token.LPAR, "")
2977 rpar = Leaf(token.RPAR, "")
2978 index = child.remove() or 0
2979 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2980 elif is_one_tuple(child):
2981 # wrap child in visible parentheses
2982 lpar = Leaf(token.LPAR, "(")
2983 rpar = Leaf(token.RPAR, ")")
2985 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2986 elif node.type == syms.import_from:
2987 # "import from" nodes store parentheses directly as part of
2989 if child.type == token.LPAR:
2990 # make parentheses invisible
2991 child.value = "" # type: ignore
2992 node.children[-1].value = "" # type: ignore
2993 elif child.type != token.STAR:
2994 # insert invisible parentheses
2995 node.insert_child(index, Leaf(token.LPAR, ""))
2996 node.append_child(Leaf(token.RPAR, ""))
2999 elif not (isinstance(child, Leaf) and is_multiline_string(child)):
3000 # wrap child in invisible parentheses
3001 lpar = Leaf(token.LPAR, "")
3002 rpar = Leaf(token.RPAR, "")
3003 index = child.remove() or 0
3004 prefix = child.prefix
3006 new_child = Node(syms.atom, [lpar, child, rpar])
3007 new_child.prefix = prefix
3008 node.insert_child(index, new_child)
3010 check_lpar = isinstance(child, Leaf) and child.value in parens_after
3013 def normalize_fmt_off(node: Node) -> None:
3014 """Convert content between `# fmt: off`/`# fmt: on` into standalone comments."""
3017 try_again = convert_one_fmt_off_pair(node)
3020 def convert_one_fmt_off_pair(node: Node) -> bool:
3021 """Convert content of a single `# fmt: off`/`# fmt: on` into a standalone comment.
3023 Returns True if a pair was converted.
3025 for leaf in node.leaves():
3026 previous_consumed = 0
3027 for comment in list_comments(leaf.prefix, is_endmarker=False):
3028 if comment.value in FMT_OFF:
3029 # We only want standalone comments. If there's no previous leaf or
3030 # the previous leaf is indentation, it's a standalone comment in
3032 if comment.type != STANDALONE_COMMENT:
3033 prev = preceding_leaf(leaf)
3034 if prev and prev.type not in WHITESPACE:
3037 ignored_nodes = list(generate_ignored_nodes(leaf))
3038 if not ignored_nodes:
3041 first = ignored_nodes[0] # Can be a container node with the `leaf`.
3042 parent = first.parent
3043 prefix = first.prefix
3044 first.prefix = prefix[comment.consumed :]
3046 comment.value + "\n" + "".join(str(n) for n in ignored_nodes)
3048 if hidden_value.endswith("\n"):
3049 # That happens when one of the `ignored_nodes` ended with a NEWLINE
3050 # leaf (possibly followed by a DEDENT).
3051 hidden_value = hidden_value[:-1]
3053 for ignored in ignored_nodes:
3054 index = ignored.remove()
3055 if first_idx is None:
3057 assert parent is not None, "INTERNAL ERROR: fmt: on/off handling (1)"
3058 assert first_idx is not None, "INTERNAL ERROR: fmt: on/off handling (2)"
3059 parent.insert_child(
3064 prefix=prefix[:previous_consumed] + "\n" * comment.newlines,
3069 previous_consumed = comment.consumed
3074 def generate_ignored_nodes(leaf: Leaf) -> Iterator[LN]:
3075 """Starting from the container of `leaf`, generate all leaves until `# fmt: on`.
3077 Stops at the end of the block.
3079 container: Optional[LN] = container_of(leaf)
3080 while container is not None and container.type != token.ENDMARKER:
3081 for comment in list_comments(container.prefix, is_endmarker=False):
3082 if comment.value in FMT_ON:
3087 container = container.next_sibling
3090 def maybe_make_parens_invisible_in_atom(node: LN, parent: LN) -> bool:
3091 """If it's safe, make the parens in the atom `node` invisible, recursively.
3092 Additionally, remove repeated, adjacent invisible parens from the atom `node`
3093 as they are redundant.
3095 Returns whether the node should itself be wrapped in invisible parentheses.
3099 node.type != syms.atom
3100 or is_empty_tuple(node)
3101 or is_one_tuple(node)
3102 or (is_yield(node) and parent.type != syms.expr_stmt)
3103 or max_delimiter_priority_in_atom(node) >= COMMA_PRIORITY
3107 first = node.children[0]
3108 last = node.children[-1]
3109 if first.type == token.LPAR and last.type == token.RPAR:
3110 middle = node.children[1]
3111 # make parentheses invisible
3112 first.value = "" # type: ignore
3113 last.value = "" # type: ignore
3114 maybe_make_parens_invisible_in_atom(middle, parent=parent)
3116 if is_atom_with_invisible_parens(middle):
3117 # Strip the invisible parens from `middle` by replacing
3118 # it with the child in-between the invisible parens
3119 middle.replace(middle.children[1])
3126 def is_atom_with_invisible_parens(node: LN) -> bool:
3127 """Given a `LN`, determines whether it's an atom `node` with invisible
3128 parens. Useful in dedupe-ing and normalizing parens.
3130 if isinstance(node, Leaf) or node.type != syms.atom:
3133 first, last = node.children[0], node.children[-1]
3135 isinstance(first, Leaf)
3136 and first.type == token.LPAR
3137 and first.value == ""
3138 and isinstance(last, Leaf)
3139 and last.type == token.RPAR
3140 and last.value == ""
3144 def is_empty_tuple(node: LN) -> bool:
3145 """Return True if `node` holds an empty tuple."""
3147 node.type == syms.atom
3148 and len(node.children) == 2
3149 and node.children[0].type == token.LPAR
3150 and node.children[1].type == token.RPAR
3154 def unwrap_singleton_parenthesis(node: LN) -> Optional[LN]:
3155 """Returns `wrapped` if `node` is of the shape ( wrapped ).
3157 Parenthesis can be optional. Returns None otherwise"""
3158 if len(node.children) != 3:
3160 lpar, wrapped, rpar = node.children
3161 if not (lpar.type == token.LPAR and rpar.type == token.RPAR):
3167 def is_one_tuple(node: LN) -> bool:
3168 """Return True if `node` holds a tuple with one element, with or without parens."""
3169 if node.type == syms.atom:
3170 gexp = unwrap_singleton_parenthesis(node)
3171 if gexp is None or gexp.type != syms.testlist_gexp:
3174 return len(gexp.children) == 2 and gexp.children[1].type == token.COMMA
3177 node.type in IMPLICIT_TUPLE
3178 and len(node.children) == 2
3179 and node.children[1].type == token.COMMA
3183 def is_walrus_assignment(node: LN) -> bool:
3184 """Return True iff `node` is of the shape ( test := test )"""
3185 inner = unwrap_singleton_parenthesis(node)
3186 return inner is not None and inner.type == syms.namedexpr_test
3189 def is_yield(node: LN) -> bool:
3190 """Return True if `node` holds a `yield` or `yield from` expression."""
3191 if node.type == syms.yield_expr:
3194 if node.type == token.NAME and node.value == "yield": # type: ignore
3197 if node.type != syms.atom:
3200 if len(node.children) != 3:
3203 lpar, expr, rpar = node.children
3204 if lpar.type == token.LPAR and rpar.type == token.RPAR:
3205 return is_yield(expr)
3210 def is_vararg(leaf: Leaf, within: Set[NodeType]) -> bool:
3211 """Return True if `leaf` is a star or double star in a vararg or kwarg.
3213 If `within` includes VARARGS_PARENTS, this applies to function signatures.
3214 If `within` includes UNPACKING_PARENTS, it applies to right hand-side
3215 extended iterable unpacking (PEP 3132) and additional unpacking
3216 generalizations (PEP 448).
3218 if leaf.type not in VARARGS_SPECIALS or not leaf.parent:
3222 if p.type == syms.star_expr:
3223 # Star expressions are also used as assignment targets in extended
3224 # iterable unpacking (PEP 3132). See what its parent is instead.
3230 return p.type in within
3233 def is_multiline_string(leaf: Leaf) -> bool:
3234 """Return True if `leaf` is a multiline string that actually spans many lines."""
3235 value = leaf.value.lstrip("furbFURB")
3236 return value[:3] in {'"""', "'''"} and "\n" in value
3239 def is_stub_suite(node: Node) -> bool:
3240 """Return True if `node` is a suite with a stub body."""
3242 len(node.children) != 4
3243 or node.children[0].type != token.NEWLINE
3244 or node.children[1].type != token.INDENT
3245 or node.children[3].type != token.DEDENT
3249 return is_stub_body(node.children[2])
3252 def is_stub_body(node: LN) -> bool:
3253 """Return True if `node` is a simple statement containing an ellipsis."""
3254 if not isinstance(node, Node) or node.type != syms.simple_stmt:
3257 if len(node.children) != 2:
3260 child = node.children[0]
3262 child.type == syms.atom
3263 and len(child.children) == 3
3264 and all(leaf == Leaf(token.DOT, ".") for leaf in child.children)
3268 def max_delimiter_priority_in_atom(node: LN) -> Priority:
3269 """Return maximum delimiter priority inside `node`.
3271 This is specific to atoms with contents contained in a pair of parentheses.
3272 If `node` isn't an atom or there are no enclosing parentheses, returns 0.
3274 if node.type != syms.atom:
3277 first = node.children[0]
3278 last = node.children[-1]
3279 if not (first.type == token.LPAR and last.type == token.RPAR):
3282 bt = BracketTracker()
3283 for c in node.children[1:-1]:
3284 if isinstance(c, Leaf):
3287 for leaf in c.leaves():
3290 return bt.max_delimiter_priority()
3296 def ensure_visible(leaf: Leaf) -> None:
3297 """Make sure parentheses are visible.
3299 They could be invisible as part of some statements (see
3300 :func:`normalize_invisible_parens` and :func:`visit_import_from`).
3302 if leaf.type == token.LPAR:
3304 elif leaf.type == token.RPAR:
3308 def should_explode(line: Line, opening_bracket: Leaf) -> bool:
3309 """Should `line` immediately be split with `delimiter_split()` after RHS?"""
3312 opening_bracket.parent
3313 and opening_bracket.parent.type in {syms.atom, syms.import_from}
3314 and opening_bracket.value in "[{("
3319 last_leaf = line.leaves[-1]
3320 exclude = {id(last_leaf)} if last_leaf.type == token.COMMA else set()
3321 max_priority = line.bracket_tracker.max_delimiter_priority(exclude=exclude)
3322 except (IndexError, ValueError):
3325 return max_priority == COMMA_PRIORITY
3328 def get_features_used(node: Node) -> Set[Feature]:
3329 """Return a set of (relatively) new Python features used in this file.
3331 Currently looking for:
3333 - underscores in numeric literals;
3334 - trailing commas after * or ** in function signatures and calls;
3335 - positional only arguments in function signatures and lambdas;
3337 features: Set[Feature] = set()
3338 for n in node.pre_order():
3339 if n.type == token.STRING:
3340 value_head = n.value[:2] # type: ignore
3341 if value_head in {'f"', 'F"', "f'", "F'", "rf", "fr", "RF", "FR"}:
3342 features.add(Feature.F_STRINGS)
3344 elif n.type == token.NUMBER:
3345 if "_" in n.value: # type: ignore
3346 features.add(Feature.NUMERIC_UNDERSCORES)
3348 elif n.type == token.SLASH:
3349 if n.parent and n.parent.type in {syms.typedargslist, syms.arglist}:
3350 features.add(Feature.POS_ONLY_ARGUMENTS)
3352 elif n.type == token.COLONEQUAL:
3353 features.add(Feature.ASSIGNMENT_EXPRESSIONS)
3356 n.type in {syms.typedargslist, syms.arglist}
3358 and n.children[-1].type == token.COMMA
3360 if n.type == syms.typedargslist:
3361 feature = Feature.TRAILING_COMMA_IN_DEF
3363 feature = Feature.TRAILING_COMMA_IN_CALL
3365 for ch in n.children:
3366 if ch.type in STARS:
3367 features.add(feature)
3369 if ch.type == syms.argument:
3370 for argch in ch.children:
3371 if argch.type in STARS:
3372 features.add(feature)
3377 def detect_target_versions(node: Node) -> Set[TargetVersion]:
3378 """Detect the version to target based on the nodes used."""
3379 features = get_features_used(node)
3381 version for version in TargetVersion if features <= VERSION_TO_FEATURES[version]
3385 def generate_trailers_to_omit(line: Line, line_length: int) -> Iterator[Set[LeafID]]:
3386 """Generate sets of closing bracket IDs that should be omitted in a RHS.
3388 Brackets can be omitted if the entire trailer up to and including
3389 a preceding closing bracket fits in one line.
3391 Yielded sets are cumulative (contain results of previous yields, too). First
3395 omit: Set[LeafID] = set()
3398 length = 4 * line.depth
3399 opening_bracket = None
3400 closing_bracket = None
3401 inner_brackets: Set[LeafID] = set()
3402 for index, leaf, leaf_length in enumerate_with_length(line, reversed=True):
3403 length += leaf_length
3404 if length > line_length:
3407 has_inline_comment = leaf_length > len(leaf.value) + len(leaf.prefix)
3408 if leaf.type == STANDALONE_COMMENT or has_inline_comment:
3412 if leaf is opening_bracket:
3413 opening_bracket = None
3414 elif leaf.type in CLOSING_BRACKETS:
3415 inner_brackets.add(id(leaf))
3416 elif leaf.type in CLOSING_BRACKETS:
3417 if index > 0 and line.leaves[index - 1].type in OPENING_BRACKETS:
3418 # Empty brackets would fail a split so treat them as "inner"
3419 # brackets (e.g. only add them to the `omit` set if another
3420 # pair of brackets was good enough.
3421 inner_brackets.add(id(leaf))
3425 omit.add(id(closing_bracket))
3426 omit.update(inner_brackets)
3427 inner_brackets.clear()
3431 opening_bracket = leaf.opening_bracket
3432 closing_bracket = leaf
3435 def get_future_imports(node: Node) -> Set[str]:
3436 """Return a set of __future__ imports in the file."""
3437 imports: Set[str] = set()
3439 def get_imports_from_children(children: List[LN]) -> Generator[str, None, None]:
3440 for child in children:
3441 if isinstance(child, Leaf):
3442 if child.type == token.NAME:
3444 elif child.type == syms.import_as_name:
3445 orig_name = child.children[0]
3446 assert isinstance(orig_name, Leaf), "Invalid syntax parsing imports"
3447 assert orig_name.type == token.NAME, "Invalid syntax parsing imports"
3448 yield orig_name.value
3449 elif child.type == syms.import_as_names:
3450 yield from get_imports_from_children(child.children)
3452 raise AssertionError("Invalid syntax parsing imports")
3454 for child in node.children:
3455 if child.type != syms.simple_stmt:
3457 first_child = child.children[0]
3458 if isinstance(first_child, Leaf):
3459 # Continue looking if we see a docstring; otherwise stop.
3461 len(child.children) == 2
3462 and first_child.type == token.STRING
3463 and child.children[1].type == token.NEWLINE
3468 elif first_child.type == syms.import_from:
3469 module_name = first_child.children[1]
3470 if not isinstance(module_name, Leaf) or module_name.value != "__future__":
3472 imports |= set(get_imports_from_children(first_child.children[3:]))
3478 def gen_python_files_in_dir(
3481 include: Pattern[str],
3482 exclude: Pattern[str],
3484 ) -> Iterator[Path]:
3485 """Generate all files under `path` whose paths are not excluded by the
3486 `exclude` regex, but are included by the `include` regex.
3488 Symbolic links pointing outside of the `root` directory are ignored.
3490 `report` is where output about exclusions goes.
3492 assert root.is_absolute(), f"INTERNAL ERROR: `root` must be absolute but is {root}"
3493 for child in path.iterdir():
3495 normalized_path = "/" + child.resolve().relative_to(root).as_posix()
3497 if child.is_symlink():
3498 report.path_ignored(
3499 child, f"is a symbolic link that points outside {root}"
3506 normalized_path += "/"
3507 exclude_match = exclude.search(normalized_path)
3508 if exclude_match and exclude_match.group(0):
3509 report.path_ignored(child, f"matches the --exclude regular expression")
3513 yield from gen_python_files_in_dir(child, root, include, exclude, report)
3515 elif child.is_file():
3516 include_match = include.search(normalized_path)
3522 def find_project_root(srcs: Iterable[str]) -> Path:
3523 """Return a directory containing .git, .hg, or pyproject.toml.
3525 That directory can be one of the directories passed in `srcs` or their
3528 If no directory in the tree contains a marker that would specify it's the
3529 project root, the root of the file system is returned.
3532 return Path("/").resolve()
3534 common_base = min(Path(src).resolve() for src in srcs)
3535 if common_base.is_dir():
3536 # Append a fake file so `parents` below returns `common_base_dir`, too.
3537 common_base /= "fake-file"
3538 for directory in common_base.parents:
3539 if (directory / ".git").is_dir():
3542 if (directory / ".hg").is_dir():
3545 if (directory / "pyproject.toml").is_file():
3553 """Provides a reformatting counter. Can be rendered with `str(report)`."""
3557 verbose: bool = False
3558 change_count: int = 0
3560 failure_count: int = 0
3562 def done(self, src: Path, changed: Changed) -> None:
3563 """Increment the counter for successful reformatting. Write out a message."""
3564 if changed is Changed.YES:
3565 reformatted = "would reformat" if self.check else "reformatted"
3566 if self.verbose or not self.quiet:
3567 out(f"{reformatted} {src}")
3568 self.change_count += 1
3571 if changed is Changed.NO:
3572 msg = f"{src} already well formatted, good job."
3574 msg = f"{src} wasn't modified on disk since last run."
3575 out(msg, bold=False)
3576 self.same_count += 1
3578 def failed(self, src: Path, message: str) -> None:
3579 """Increment the counter for failed reformatting. Write out a message."""
3580 err(f"error: cannot format {src}: {message}")
3581 self.failure_count += 1
3583 def path_ignored(self, path: Path, message: str) -> None:
3585 out(f"{path} ignored: {message}", bold=False)
3588 def return_code(self) -> int:
3589 """Return the exit code that the app should use.
3591 This considers the current state of changed files and failures:
3592 - if there were any failures, return 123;
3593 - if any files were changed and --check is being used, return 1;
3594 - otherwise return 0.
3596 # According to http://tldp.org/LDP/abs/html/exitcodes.html starting with
3597 # 126 we have special return codes reserved by the shell.
3598 if self.failure_count:
3601 elif self.change_count and self.check:
3606 def __str__(self) -> str:
3607 """Render a color report of the current state.
3609 Use `click.unstyle` to remove colors.
3612 reformatted = "would be reformatted"
3613 unchanged = "would be left unchanged"
3614 failed = "would fail to reformat"
3616 reformatted = "reformatted"
3617 unchanged = "left unchanged"
3618 failed = "failed to reformat"
3620 if self.change_count:
3621 s = "s" if self.change_count > 1 else ""
3623 click.style(f"{self.change_count} file{s} {reformatted}", bold=True)
3626 s = "s" if self.same_count > 1 else ""
3627 report.append(f"{self.same_count} file{s} {unchanged}")
3628 if self.failure_count:
3629 s = "s" if self.failure_count > 1 else ""
3631 click.style(f"{self.failure_count} file{s} {failed}", fg="red")
3633 return ", ".join(report) + "."
3636 def parse_ast(src: str) -> Union[ast.AST, ast3.AST, ast27.AST]:
3637 filename = "<unknown>"
3638 if sys.version_info >= (3, 8):
3639 # TODO: support Python 4+ ;)
3640 for minor_version in range(sys.version_info[1], 4, -1):
3642 return ast.parse(src, filename, feature_version=(3, minor_version))
3646 for feature_version in (7, 6):
3648 return ast3.parse(src, filename, feature_version=feature_version)
3652 return ast27.parse(src)
3655 def _fixup_ast_constants(
3656 node: Union[ast.AST, ast3.AST, ast27.AST]
3657 ) -> Union[ast.AST, ast3.AST, ast27.AST]:
3658 """Map ast nodes deprecated in 3.8 to Constant."""
3659 # casts are required until this is released:
3660 # https://github.com/python/typeshed/pull/3142
3661 if isinstance(node, (ast.Str, ast3.Str, ast27.Str, ast.Bytes, ast3.Bytes)):
3662 return cast(ast.AST, ast.Constant(value=node.s))
3663 elif isinstance(node, (ast.Num, ast3.Num, ast27.Num)):
3664 return cast(ast.AST, ast.Constant(value=node.n))
3665 elif isinstance(node, (ast.NameConstant, ast3.NameConstant)):
3666 return cast(ast.AST, ast.Constant(value=node.value))
3670 def assert_equivalent(src: str, dst: str) -> None:
3671 """Raise AssertionError if `src` and `dst` aren't equivalent."""
3673 def _v(node: Union[ast.AST, ast3.AST, ast27.AST], depth: int = 0) -> Iterator[str]:
3674 """Simple visitor generating strings to compare ASTs by content."""
3676 node = _fixup_ast_constants(node)
3678 yield f"{' ' * depth}{node.__class__.__name__}("
3680 for field in sorted(node._fields):
3681 # TypeIgnore has only one field 'lineno' which breaks this comparison
3682 type_ignore_classes = (ast3.TypeIgnore, ast27.TypeIgnore)
3683 if sys.version_info >= (3, 8):
3684 type_ignore_classes += (ast.TypeIgnore,)
3685 if isinstance(node, type_ignore_classes):
3689 value = getattr(node, field)
3690 except AttributeError:
3693 yield f"{' ' * (depth+1)}{field}="
3695 if isinstance(value, list):
3697 # Ignore nested tuples within del statements, because we may insert
3698 # parentheses and they change the AST.
3701 and isinstance(node, (ast.Delete, ast3.Delete, ast27.Delete))
3702 and isinstance(item, (ast.Tuple, ast3.Tuple, ast27.Tuple))
3704 for item in item.elts:
3705 yield from _v(item, depth + 2)
3706 elif isinstance(item, (ast.AST, ast3.AST, ast27.AST)):
3707 yield from _v(item, depth + 2)
3709 elif isinstance(value, (ast.AST, ast3.AST, ast27.AST)):
3710 yield from _v(value, depth + 2)
3713 yield f"{' ' * (depth+2)}{value!r}, # {value.__class__.__name__}"
3715 yield f"{' ' * depth}) # /{node.__class__.__name__}"
3718 src_ast = parse_ast(src)
3719 except Exception as exc:
3720 raise AssertionError(
3721 f"cannot use --safe with this file; failed to parse source file. "
3722 f"AST error message: {exc}"
3726 dst_ast = parse_ast(dst)
3727 except Exception as exc:
3728 log = dump_to_file("".join(traceback.format_tb(exc.__traceback__)), dst)
3729 raise AssertionError(
3730 f"INTERNAL ERROR: Black produced invalid code: {exc}. "
3731 f"Please report a bug on https://github.com/psf/black/issues. "
3732 f"This invalid output might be helpful: {log}"
3735 src_ast_str = "\n".join(_v(src_ast))
3736 dst_ast_str = "\n".join(_v(dst_ast))
3737 if src_ast_str != dst_ast_str:
3738 log = dump_to_file(diff(src_ast_str, dst_ast_str, "src", "dst"))
3739 raise AssertionError(
3740 f"INTERNAL ERROR: Black produced code that is not equivalent to "
3742 f"Please report a bug on https://github.com/psf/black/issues. "
3743 f"This diff might be helpful: {log}"
3747 def assert_stable(src: str, dst: str, mode: FileMode) -> None:
3748 """Raise AssertionError if `dst` reformats differently the second time."""
3749 newdst = format_str(dst, mode=mode)
3752 diff(src, dst, "source", "first pass"),
3753 diff(dst, newdst, "first pass", "second pass"),
3755 raise AssertionError(
3756 f"INTERNAL ERROR: Black produced different code on the second pass "
3757 f"of the formatter. "
3758 f"Please report a bug on https://github.com/psf/black/issues. "
3759 f"This diff might be helpful: {log}"
3763 def dump_to_file(*output: str) -> str:
3764 """Dump `output` to a temporary file. Return path to the file."""
3765 with tempfile.NamedTemporaryFile(
3766 mode="w", prefix="blk_", suffix=".log", delete=False, encoding="utf8"
3768 for lines in output:
3770 if lines and lines[-1] != "\n":
3776 def nullcontext() -> Iterator[None]:
3777 """Return context manager that does nothing.
3778 Similar to `nullcontext` from python 3.7"""
3782 def diff(a: str, b: str, a_name: str, b_name: str) -> str:
3783 """Return a unified diff string between strings `a` and `b`."""
3786 a_lines = [line + "\n" for line in a.split("\n")]
3787 b_lines = [line + "\n" for line in b.split("\n")]
3789 difflib.unified_diff(a_lines, b_lines, fromfile=a_name, tofile=b_name, n=5)
3793 def cancel(tasks: Iterable[asyncio.Task]) -> None:
3794 """asyncio signal handler that cancels all `tasks` and reports to stderr."""
3800 def shutdown(loop: asyncio.AbstractEventLoop) -> None:
3801 """Cancel all pending tasks on `loop`, wait for them, and close the loop."""
3803 if sys.version_info[:2] >= (3, 7):
3804 all_tasks = asyncio.all_tasks
3806 all_tasks = asyncio.Task.all_tasks
3807 # This part is borrowed from asyncio/runners.py in Python 3.7b2.
3808 to_cancel = [task for task in all_tasks(loop) if not task.done()]
3812 for task in to_cancel:
3814 loop.run_until_complete(
3815 asyncio.gather(*to_cancel, loop=loop, return_exceptions=True)
3818 # `concurrent.futures.Future` objects cannot be cancelled once they
3819 # are already running. There might be some when the `shutdown()` happened.
3820 # Silence their logger's spew about the event loop being closed.
3821 cf_logger = logging.getLogger("concurrent.futures")
3822 cf_logger.setLevel(logging.CRITICAL)
3826 def sub_twice(regex: Pattern[str], replacement: str, original: str) -> str:
3827 """Replace `regex` with `replacement` twice on `original`.
3829 This is used by string normalization to perform replaces on
3830 overlapping matches.
3832 return regex.sub(replacement, regex.sub(replacement, original))
3835 def re_compile_maybe_verbose(regex: str) -> Pattern[str]:
3836 """Compile a regular expression string in `regex`.
3838 If it contains newlines, use verbose mode.
3841 regex = "(?x)" + regex
3842 compiled: Pattern[str] = re.compile(regex)
3846 def enumerate_reversed(sequence: Sequence[T]) -> Iterator[Tuple[Index, T]]:
3847 """Like `reversed(enumerate(sequence))` if that were possible."""
3848 index = len(sequence) - 1
3849 for element in reversed(sequence):
3850 yield (index, element)
3854 def enumerate_with_length(
3855 line: Line, reversed: bool = False
3856 ) -> Iterator[Tuple[Index, Leaf, int]]:
3857 """Return an enumeration of leaves with their length.
3859 Stops prematurely on multiline strings and standalone comments.
3862 Callable[[Sequence[Leaf]], Iterator[Tuple[Index, Leaf]]],
3863 enumerate_reversed if reversed else enumerate,
3865 for index, leaf in op(line.leaves):
3866 length = len(leaf.prefix) + len(leaf.value)
3867 if "\n" in leaf.value:
3868 return # Multiline strings, we can't continue.
3870 for comment in line.comments_after(leaf):
3871 length += len(comment.value)
3873 yield index, leaf, length
3876 def is_line_short_enough(line: Line, *, line_length: int, line_str: str = "") -> bool:
3877 """Return True if `line` is no longer than `line_length`.
3879 Uses the provided `line_str` rendering, if any, otherwise computes a new one.
3882 line_str = str(line).strip("\n")
3884 len(line_str) <= line_length
3885 and "\n" not in line_str # multiline strings
3886 and not line.contains_standalone_comments()
3890 def can_be_split(line: Line) -> bool:
3891 """Return False if the line cannot be split *for sure*.
3893 This is not an exhaustive search but a cheap heuristic that we can use to
3894 avoid some unfortunate formattings (mostly around wrapping unsplittable code
3895 in unnecessary parentheses).
3897 leaves = line.leaves
3901 if leaves[0].type == token.STRING and leaves[1].type == token.DOT:
3905 for leaf in leaves[-2::-1]:
3906 if leaf.type in OPENING_BRACKETS:
3907 if next.type not in CLOSING_BRACKETS:
3911 elif leaf.type == token.DOT:
3913 elif leaf.type == token.NAME:
3914 if not (next.type == token.DOT or next.type in OPENING_BRACKETS):
3917 elif leaf.type not in CLOSING_BRACKETS:
3920 if dot_count > 1 and call_count > 1:
3926 def can_omit_invisible_parens(line: Line, line_length: int) -> bool:
3927 """Does `line` have a shape safe to reformat without optional parens around it?
3929 Returns True for only a subset of potentially nice looking formattings but
3930 the point is to not return false positives that end up producing lines that
3933 bt = line.bracket_tracker
3934 if not bt.delimiters:
3935 # Without delimiters the optional parentheses are useless.
3938 max_priority = bt.max_delimiter_priority()
3939 if bt.delimiter_count_with_priority(max_priority) > 1:
3940 # With more than one delimiter of a kind the optional parentheses read better.
3943 if max_priority == DOT_PRIORITY:
3944 # A single stranded method call doesn't require optional parentheses.
3947 assert len(line.leaves) >= 2, "Stranded delimiter"
3949 first = line.leaves[0]
3950 second = line.leaves[1]
3951 penultimate = line.leaves[-2]
3952 last = line.leaves[-1]
3954 # With a single delimiter, omit if the expression starts or ends with
3956 if first.type in OPENING_BRACKETS and second.type not in CLOSING_BRACKETS:
3958 length = 4 * line.depth
3959 for _index, leaf, leaf_length in enumerate_with_length(line):
3960 if leaf.type in CLOSING_BRACKETS and leaf.opening_bracket is first:
3963 length += leaf_length
3964 if length > line_length:
3967 if leaf.type in OPENING_BRACKETS:
3968 # There are brackets we can further split on.
3972 # checked the entire string and line length wasn't exceeded
3973 if len(line.leaves) == _index + 1:
3976 # Note: we are not returning False here because a line might have *both*
3977 # a leading opening bracket and a trailing closing bracket. If the
3978 # opening bracket doesn't match our rule, maybe the closing will.
3981 last.type == token.RPAR
3982 or last.type == token.RBRACE
3984 # don't use indexing for omitting optional parentheses;
3986 last.type == token.RSQB
3988 and last.parent.type != syms.trailer
3991 if penultimate.type in OPENING_BRACKETS:
3992 # Empty brackets don't help.
3995 if is_multiline_string(first):
3996 # Additional wrapping of a multiline string in this situation is
4000 length = 4 * line.depth
4001 seen_other_brackets = False
4002 for _index, leaf, leaf_length in enumerate_with_length(line):
4003 length += leaf_length
4004 if leaf is last.opening_bracket:
4005 if seen_other_brackets or length <= line_length:
4008 elif leaf.type in OPENING_BRACKETS:
4009 # There are brackets we can further split on.
4010 seen_other_brackets = True
4015 def get_cache_file(mode: FileMode) -> Path:
4016 return CACHE_DIR / f"cache.{mode.get_cache_key()}.pickle"
4019 def read_cache(mode: FileMode) -> Cache:
4020 """Read the cache if it exists and is well formed.
4022 If it is not well formed, the call to write_cache later should resolve the issue.
4024 cache_file = get_cache_file(mode)
4025 if not cache_file.exists():
4028 with cache_file.open("rb") as fobj:
4030 cache: Cache = pickle.load(fobj)
4031 except pickle.UnpicklingError:
4037 def get_cache_info(path: Path) -> CacheInfo:
4038 """Return the information used to check if a file is already formatted or not."""
4040 return stat.st_mtime, stat.st_size
4043 def filter_cached(cache: Cache, sources: Iterable[Path]) -> Tuple[Set[Path], Set[Path]]:
4044 """Split an iterable of paths in `sources` into two sets.
4046 The first contains paths of files that modified on disk or are not in the
4047 cache. The other contains paths to non-modified files.
4049 todo, done = set(), set()
4052 if cache.get(src) != get_cache_info(src):
4059 def write_cache(cache: Cache, sources: Iterable[Path], mode: FileMode) -> None:
4060 """Update the cache file."""
4061 cache_file = get_cache_file(mode)
4063 CACHE_DIR.mkdir(parents=True, exist_ok=True)
4064 new_cache = {**cache, **{src.resolve(): get_cache_info(src) for src in sources}}
4065 with tempfile.NamedTemporaryFile(dir=str(cache_file.parent), delete=False) as f:
4066 pickle.dump(new_cache, f, protocol=pickle.HIGHEST_PROTOCOL)
4067 os.replace(f.name, cache_file)
4072 def patch_click() -> None:
4073 """Make Click not crash.
4075 On certain misconfigured environments, Python 3 selects the ASCII encoding as the
4076 default which restricts paths that it can access during the lifetime of the
4077 application. Click refuses to work in this scenario by raising a RuntimeError.
4079 In case of Black the likelihood that non-ASCII characters are going to be used in
4080 file paths is minimal since it's Python source code. Moreover, this crash was
4081 spurious on Python 3.7 thanks to PEP 538 and PEP 540.
4084 from click import core
4085 from click import _unicodefun # type: ignore
4086 except ModuleNotFoundError:
4089 for module in (core, _unicodefun):
4090 if hasattr(module, "_verify_python3_env"):
4091 module._verify_python3_env = lambda: None
4094 def patched_main() -> None:
4100 if __name__ == "__main__":