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 asyncio.base_events import BaseEventLoop
4 from concurrent.futures import Executor, ProcessPoolExecutor
6 from functools import partial, wraps
9 from multiprocessing import Manager
11 from pathlib import Path
34 from appdirs import user_cache_dir
35 from attr import dataclass, Factory
39 from blib2to3.pytree import Node, Leaf, type_repr
40 from blib2to3 import pygram, pytree
41 from blib2to3.pgen2 import driver, token
42 from blib2to3.pgen2.parse import ParseError
44 __version__ = "18.4a6"
45 DEFAULT_LINE_LENGTH = 88
48 syms = pygram.python_symbols
56 LN = Union[Leaf, Node]
57 SplitFunc = Callable[["Line", bool], Iterator["Line"]]
60 CacheInfo = Tuple[Timestamp, FileSize]
61 Cache = Dict[Path, CacheInfo]
62 out = partial(click.secho, bold=True, err=True)
63 err = partial(click.secho, fg="red", err=True)
66 class NothingChanged(UserWarning):
67 """Raised by :func:`format_file` when reformatted code is the same as source."""
70 class CannotSplit(Exception):
71 """A readable split that fits the allotted line length is impossible.
73 Raised by :func:`left_hand_split`, :func:`right_hand_split`, and
74 :func:`delimiter_split`.
78 class FormatError(Exception):
79 """Base exception for `# fmt: on` and `# fmt: off` handling.
81 It holds the number of bytes of the prefix consumed before the format
82 control comment appeared.
85 def __init__(self, consumed: int) -> None:
86 super().__init__(consumed)
87 self.consumed = consumed
89 def trim_prefix(self, leaf: Leaf) -> None:
90 leaf.prefix = leaf.prefix[self.consumed :]
92 def leaf_from_consumed(self, leaf: Leaf) -> Leaf:
93 """Returns a new Leaf from the consumed part of the prefix."""
94 unformatted_prefix = leaf.prefix[: self.consumed]
95 return Leaf(token.NEWLINE, unformatted_prefix)
98 class FormatOn(FormatError):
99 """Found a comment like `# fmt: on` in the file."""
102 class FormatOff(FormatError):
103 """Found a comment like `# fmt: off` in the file."""
106 class WriteBack(Enum):
123 default=DEFAULT_LINE_LENGTH,
124 help="How many character per line to allow.",
131 "Don't write the files back, just return the status. Return code 0 "
132 "means nothing would change. Return code 1 means some files would be "
133 "reformatted. Return code 123 means there was an internal error."
139 help="Don't write the files back, just output a diff for each file on stdout.",
144 help="If --fast given, skip temporary sanity checks. [default: --safe]",
151 "Don't emit non-error messages to stderr. Errors are still emitted, "
152 "silence those with 2>/dev/null."
155 @click.version_option(version=__version__)
160 exists=True, file_okay=True, dir_okay=True, readable=True, allow_dash=True
173 """The uncompromising code formatter."""
174 sources: List[Path] = []
178 sources.extend(gen_python_files_in_dir(p))
180 # if a file was explicitly given, we don't care about its extension
183 sources.append(Path("-"))
185 err(f"invalid path: {s}")
187 if check and not diff:
188 write_back = WriteBack.NO
190 write_back = WriteBack.DIFF
192 write_back = WriteBack.YES
193 report = Report(check=check, quiet=quiet)
194 if len(sources) == 0:
195 out("No paths given. Nothing to do 😴")
199 elif len(sources) == 1:
200 reformat_one(sources[0], line_length, fast, write_back, report)
202 loop = asyncio.get_event_loop()
203 executor = ProcessPoolExecutor(max_workers=os.cpu_count())
205 loop.run_until_complete(
207 sources, line_length, fast, write_back, report, loop, executor
213 out("All done! ✨ 🍰 ✨")
214 click.echo(str(report))
215 ctx.exit(report.return_code)
219 src: Path, line_length: int, fast: bool, write_back: WriteBack, report: "Report"
221 """Reformat a single file under `src` without spawning child processes.
223 If `quiet` is True, non-error messages are not output. `line_length`,
224 `write_back`, and `fast` options are passed to :func:`format_file_in_place`.
228 if not src.is_file() and str(src) == "-":
229 if format_stdin_to_stdout(
230 line_length=line_length, fast=fast, write_back=write_back
232 changed = Changed.YES
235 if write_back != WriteBack.DIFF:
236 cache = read_cache(line_length)
238 if src in cache and cache[src] == get_cache_info(src):
239 changed = Changed.CACHED
241 changed is not Changed.CACHED
242 and format_file_in_place(
243 src, line_length=line_length, fast=fast, write_back=write_back
246 changed = Changed.YES
247 if write_back == WriteBack.YES and changed is not Changed.NO:
248 write_cache(cache, [src], line_length)
249 report.done(src, changed)
250 except Exception as exc:
251 report.failed(src, str(exc))
254 async def schedule_formatting(
258 write_back: WriteBack,
263 """Run formatting of `sources` in parallel using the provided `executor`.
265 (Use ProcessPoolExecutors for actual parallelism.)
267 `line_length`, `write_back`, and `fast` options are passed to
268 :func:`format_file_in_place`.
271 if write_back != WriteBack.DIFF:
272 cache = read_cache(line_length)
273 sources, cached = filter_cached(cache, sources)
275 report.done(src, Changed.CACHED)
280 if write_back == WriteBack.DIFF:
281 # For diff output, we need locks to ensure we don't interleave output
282 # from different processes.
284 lock = manager.Lock()
286 src: loop.run_in_executor(
287 executor, format_file_in_place, src, line_length, fast, write_back, lock
291 _task_values = list(tasks.values())
293 loop.add_signal_handler(signal.SIGINT, cancel, _task_values)
294 loop.add_signal_handler(signal.SIGTERM, cancel, _task_values)
295 except NotImplementedError:
296 # There are no good alternatives for these on Windows
298 await asyncio.wait(_task_values)
299 for src, task in tasks.items():
301 report.failed(src, "timed out, cancelling")
303 cancelled.append(task)
304 elif task.cancelled():
305 cancelled.append(task)
306 elif task.exception():
307 report.failed(src, str(task.exception()))
309 formatted.append(src)
310 report.done(src, Changed.YES if task.result() else Changed.NO)
313 await asyncio.gather(*cancelled, loop=loop, return_exceptions=True)
314 if write_back == WriteBack.YES and formatted:
315 write_cache(cache, formatted, line_length)
318 def format_file_in_place(
322 write_back: WriteBack = WriteBack.NO,
323 lock: Any = None, # multiprocessing.Manager().Lock() is some crazy proxy
325 """Format file under `src` path. Return True if changed.
327 If `write_back` is True, write reformatted code back to stdout.
328 `line_length` and `fast` options are passed to :func:`format_file_contents`.
331 with tokenize.open(src) as src_buffer:
332 src_contents = src_buffer.read()
334 dst_contents = format_file_contents(
335 src_contents, line_length=line_length, fast=fast
337 except NothingChanged:
340 if write_back == write_back.YES:
341 with open(src, "w", encoding=src_buffer.encoding) as f:
342 f.write(dst_contents)
343 elif write_back == write_back.DIFF:
344 src_name = f"{src} (original)"
345 dst_name = f"{src} (formatted)"
346 diff_contents = diff(src_contents, dst_contents, src_name, dst_name)
350 sys.stdout.write(diff_contents)
357 def format_stdin_to_stdout(
358 line_length: int, fast: bool, write_back: WriteBack = WriteBack.NO
360 """Format file on stdin. Return True if changed.
362 If `write_back` is True, write reformatted code back to stdout.
363 `line_length` and `fast` arguments are passed to :func:`format_file_contents`.
365 src = sys.stdin.read()
368 dst = format_file_contents(src, line_length=line_length, fast=fast)
371 except NothingChanged:
375 if write_back == WriteBack.YES:
376 sys.stdout.write(dst)
377 elif write_back == WriteBack.DIFF:
378 src_name = "<stdin> (original)"
379 dst_name = "<stdin> (formatted)"
380 sys.stdout.write(diff(src, dst, src_name, dst_name))
383 def format_file_contents(
384 src_contents: str, line_length: int, fast: bool
386 """Reformat contents a file and return new contents.
388 If `fast` is False, additionally confirm that the reformatted code is
389 valid by calling :func:`assert_equivalent` and :func:`assert_stable` on it.
390 `line_length` is passed to :func:`format_str`.
392 if src_contents.strip() == "":
395 dst_contents = format_str(src_contents, line_length=line_length)
396 if src_contents == dst_contents:
400 assert_equivalent(src_contents, dst_contents)
401 assert_stable(src_contents, dst_contents, line_length=line_length)
405 def format_str(src_contents: str, line_length: int) -> FileContent:
406 """Reformat a string and return new contents.
408 `line_length` determines how many characters per line are allowed.
410 src_node = lib2to3_parse(src_contents)
412 lines = LineGenerator()
413 elt = EmptyLineTracker()
414 py36 = is_python36(src_node)
417 for current_line in lines.visit(src_node):
418 for _ in range(after):
419 dst_contents += str(empty_line)
420 before, after = elt.maybe_empty_lines(current_line)
421 for _ in range(before):
422 dst_contents += str(empty_line)
423 for line in split_line(current_line, line_length=line_length, py36=py36):
424 dst_contents += str(line)
429 pygram.python_grammar_no_print_statement_no_exec_statement,
430 pygram.python_grammar_no_print_statement,
431 pygram.python_grammar,
435 def lib2to3_parse(src_txt: str) -> Node:
436 """Given a string with source, return the lib2to3 Node."""
437 grammar = pygram.python_grammar_no_print_statement
438 if src_txt[-1] != "\n":
439 nl = "\r\n" if "\r\n" in src_txt[:1024] else "\n"
441 for grammar in GRAMMARS:
442 drv = driver.Driver(grammar, pytree.convert)
444 result = drv.parse_string(src_txt, True)
447 except ParseError as pe:
448 lineno, column = pe.context[1]
449 lines = src_txt.splitlines()
451 faulty_line = lines[lineno - 1]
453 faulty_line = "<line number missing in source>"
454 exc = ValueError(f"Cannot parse: {lineno}:{column}: {faulty_line}")
458 if isinstance(result, Leaf):
459 result = Node(syms.file_input, [result])
463 def lib2to3_unparse(node: Node) -> str:
464 """Given a lib2to3 node, return its string representation."""
472 class Visitor(Generic[T]):
473 """Basic lib2to3 visitor that yields things of type `T` on `visit()`."""
475 def visit(self, node: LN) -> Iterator[T]:
476 """Main method to visit `node` and its children.
478 It tries to find a `visit_*()` method for the given `node.type`, like
479 `visit_simple_stmt` for Node objects or `visit_INDENT` for Leaf objects.
480 If no dedicated `visit_*()` method is found, chooses `visit_default()`
483 Then yields objects of type `T` from the selected visitor.
486 name = token.tok_name[node.type]
488 name = type_repr(node.type)
489 yield from getattr(self, f"visit_{name}", self.visit_default)(node)
491 def visit_default(self, node: LN) -> Iterator[T]:
492 """Default `visit_*()` implementation. Recurses to children of `node`."""
493 if isinstance(node, Node):
494 for child in node.children:
495 yield from self.visit(child)
499 class DebugVisitor(Visitor[T]):
502 def visit_default(self, node: LN) -> Iterator[T]:
503 indent = " " * (2 * self.tree_depth)
504 if isinstance(node, Node):
505 _type = type_repr(node.type)
506 out(f"{indent}{_type}", fg="yellow")
508 for child in node.children:
509 yield from self.visit(child)
512 out(f"{indent}/{_type}", fg="yellow", bold=False)
514 _type = token.tok_name.get(node.type, str(node.type))
515 out(f"{indent}{_type}", fg="blue", nl=False)
517 # We don't have to handle prefixes for `Node` objects since
518 # that delegates to the first child anyway.
519 out(f" {node.prefix!r}", fg="green", bold=False, nl=False)
520 out(f" {node.value!r}", fg="blue", bold=False)
523 def show(cls, code: str) -> None:
524 """Pretty-print the lib2to3 AST of a given string of `code`.
526 Convenience method for debugging.
528 v: DebugVisitor[None] = DebugVisitor()
529 list(v.visit(lib2to3_parse(code)))
532 KEYWORDS = set(keyword.kwlist)
533 WHITESPACE = {token.DEDENT, token.INDENT, token.NEWLINE}
534 FLOW_CONTROL = {"return", "raise", "break", "continue"}
545 STANDALONE_COMMENT = 153
546 LOGIC_OPERATORS = {"and", "or"}
571 STARS = {token.STAR, token.DOUBLESTAR}
574 syms.argument, # double star in arglist
575 syms.trailer, # single argument to call
577 syms.varargslist, # lambdas
579 UNPACKING_PARENTS = {
580 syms.atom, # single element of a list or set literal
602 COMPREHENSION_PRIORITY = 20
604 TERNARY_PRIORITY = 16
607 COMPARATOR_PRIORITY = 10
618 token.DOUBLESLASH: 3,
627 class BracketTracker:
628 """Keeps track of brackets on a line."""
631 bracket_match: Dict[Tuple[Depth, NodeType], Leaf] = Factory(dict)
632 delimiters: Dict[LeafID, Priority] = Factory(dict)
633 previous: Optional[Leaf] = None
634 _for_loop_variable: bool = False
635 _lambda_arguments: bool = False
637 def mark(self, leaf: Leaf) -> None:
638 """Mark `leaf` with bracket-related metadata. Keep track of delimiters.
640 All leaves receive an int `bracket_depth` field that stores how deep
641 within brackets a given leaf is. 0 means there are no enclosing brackets
642 that started on this line.
644 If a leaf is itself a closing bracket, it receives an `opening_bracket`
645 field that it forms a pair with. This is a one-directional link to
646 avoid reference cycles.
648 If a leaf is a delimiter (a token on which Black can split the line if
649 needed) and it's on depth 0, its `id()` is stored in the tracker's
652 if leaf.type == token.COMMENT:
655 self.maybe_decrement_after_for_loop_variable(leaf)
656 self.maybe_decrement_after_lambda_arguments(leaf)
657 if leaf.type in CLOSING_BRACKETS:
659 opening_bracket = self.bracket_match.pop((self.depth, leaf.type))
660 leaf.opening_bracket = opening_bracket
661 leaf.bracket_depth = self.depth
663 delim = is_split_before_delimiter(leaf, self.previous)
664 if delim and self.previous is not None:
665 self.delimiters[id(self.previous)] = delim
667 delim = is_split_after_delimiter(leaf, self.previous)
669 self.delimiters[id(leaf)] = delim
670 if leaf.type in OPENING_BRACKETS:
671 self.bracket_match[self.depth, BRACKET[leaf.type]] = leaf
674 self.maybe_increment_lambda_arguments(leaf)
675 self.maybe_increment_for_loop_variable(leaf)
677 def any_open_brackets(self) -> bool:
678 """Return True if there is an yet unmatched open bracket on the line."""
679 return bool(self.bracket_match)
681 def max_delimiter_priority(self, exclude: Iterable[LeafID] = ()) -> int:
682 """Return the highest priority of a delimiter found on the line.
684 Values are consistent with what `is_split_*_delimiter()` return.
685 Raises ValueError on no delimiters.
687 return max(v for k, v in self.delimiters.items() if k not in exclude)
689 def maybe_increment_for_loop_variable(self, leaf: Leaf) -> bool:
690 """In a for loop, or comprehension, the variables are often unpacks.
692 To avoid splitting on the comma in this situation, increase the depth of
693 tokens between `for` and `in`.
695 if leaf.type == token.NAME and leaf.value == "for":
697 self._for_loop_variable = True
702 def maybe_decrement_after_for_loop_variable(self, leaf: Leaf) -> bool:
703 """See `maybe_increment_for_loop_variable` above for explanation."""
704 if self._for_loop_variable and leaf.type == token.NAME and leaf.value == "in":
706 self._for_loop_variable = False
711 def maybe_increment_lambda_arguments(self, leaf: Leaf) -> bool:
712 """In a lambda expression, there might be more than one argument.
714 To avoid splitting on the comma in this situation, increase the depth of
715 tokens between `lambda` and `:`.
717 if leaf.type == token.NAME and leaf.value == "lambda":
719 self._lambda_arguments = True
724 def maybe_decrement_after_lambda_arguments(self, leaf: Leaf) -> bool:
725 """See `maybe_increment_lambda_arguments` above for explanation."""
726 if self._lambda_arguments and leaf.type == token.COLON:
728 self._lambda_arguments = False
733 def get_open_lsqb(self) -> Optional[Leaf]:
734 """Return the most recent opening square bracket (if any)."""
735 return self.bracket_match.get((self.depth - 1, token.RSQB))
740 """Holds leaves and comments. Can be printed with `str(line)`."""
743 leaves: List[Leaf] = Factory(list)
744 comments: List[Tuple[Index, Leaf]] = Factory(list)
745 bracket_tracker: BracketTracker = Factory(BracketTracker)
746 inside_brackets: bool = False
748 def append(self, leaf: Leaf, preformatted: bool = False) -> None:
749 """Add a new `leaf` to the end of the line.
751 Unless `preformatted` is True, the `leaf` will receive a new consistent
752 whitespace prefix and metadata applied by :class:`BracketTracker`.
753 Trailing commas are maybe removed, unpacked for loop variables are
754 demoted from being delimiters.
756 Inline comments are put aside.
758 has_value = leaf.type in BRACKETS or bool(leaf.value.strip())
762 if token.COLON == leaf.type and self.is_class_paren_empty:
764 if self.leaves and not preformatted:
765 # Note: at this point leaf.prefix should be empty except for
766 # imports, for which we only preserve newlines.
767 leaf.prefix += whitespace(
768 leaf, complex_subscript=self.is_complex_subscript(leaf)
770 if self.inside_brackets or not preformatted:
771 self.bracket_tracker.mark(leaf)
772 self.maybe_remove_trailing_comma(leaf)
773 if not self.append_comment(leaf):
774 self.leaves.append(leaf)
776 def append_safe(self, leaf: Leaf, preformatted: bool = False) -> None:
777 """Like :func:`append()` but disallow invalid standalone comment structure.
779 Raises ValueError when any `leaf` is appended after a standalone comment
780 or when a standalone comment is not the first leaf on the line.
782 if self.bracket_tracker.depth == 0:
784 raise ValueError("cannot append to standalone comments")
786 if self.leaves and leaf.type == STANDALONE_COMMENT:
788 "cannot append standalone comments to a populated line"
791 self.append(leaf, preformatted=preformatted)
794 def is_comment(self) -> bool:
795 """Is this line a standalone comment?"""
796 return len(self.leaves) == 1 and self.leaves[0].type == STANDALONE_COMMENT
799 def is_decorator(self) -> bool:
800 """Is this line a decorator?"""
801 return bool(self) and self.leaves[0].type == token.AT
804 def is_import(self) -> bool:
805 """Is this an import line?"""
806 return bool(self) and is_import(self.leaves[0])
809 def is_class(self) -> bool:
810 """Is this line a class definition?"""
813 and self.leaves[0].type == token.NAME
814 and self.leaves[0].value == "class"
818 def is_def(self) -> bool:
819 """Is this a function definition? (Also returns True for async defs.)"""
821 first_leaf = self.leaves[0]
826 second_leaf: Optional[Leaf] = self.leaves[1]
830 (first_leaf.type == token.NAME and first_leaf.value == "def")
832 first_leaf.type == token.ASYNC
833 and second_leaf is not None
834 and second_leaf.type == token.NAME
835 and second_leaf.value == "def"
840 def is_flow_control(self) -> bool:
841 """Is this line a flow control statement?
843 Those are `return`, `raise`, `break`, and `continue`.
847 and self.leaves[0].type == token.NAME
848 and self.leaves[0].value in FLOW_CONTROL
852 def is_yield(self) -> bool:
853 """Is this line a yield statement?"""
856 and self.leaves[0].type == token.NAME
857 and self.leaves[0].value == "yield"
861 def is_class_paren_empty(self) -> bool:
862 """Is this a class with no base classes but using parentheses?
864 Those are unnecessary and should be removed.
868 and len(self.leaves) == 4
870 and self.leaves[2].type == token.LPAR
871 and self.leaves[2].value == "("
872 and self.leaves[3].type == token.RPAR
873 and self.leaves[3].value == ")"
876 def contains_standalone_comments(self, depth_limit: int = sys.maxsize) -> bool:
877 """If so, needs to be split before emitting."""
878 for leaf in self.leaves:
879 if leaf.type == STANDALONE_COMMENT:
880 if leaf.bracket_depth <= depth_limit:
885 def maybe_remove_trailing_comma(self, closing: Leaf) -> bool:
886 """Remove trailing comma if there is one and it's safe."""
889 and self.leaves[-1].type == token.COMMA
890 and closing.type in CLOSING_BRACKETS
894 if closing.type == token.RBRACE:
895 self.remove_trailing_comma()
898 if closing.type == token.RSQB:
899 comma = self.leaves[-1]
900 if comma.parent and comma.parent.type == syms.listmaker:
901 self.remove_trailing_comma()
904 # For parens let's check if it's safe to remove the comma.
905 # Imports are always safe.
907 self.remove_trailing_comma()
910 # Otheriwsse, if the trailing one is the only one, we might mistakenly
911 # change a tuple into a different type by removing the comma.
912 depth = closing.bracket_depth + 1
914 opening = closing.opening_bracket
915 for _opening_index, leaf in enumerate(self.leaves):
922 for leaf in self.leaves[_opening_index + 1 :]:
926 bracket_depth = leaf.bracket_depth
927 if bracket_depth == depth and leaf.type == token.COMMA:
929 if leaf.parent and leaf.parent.type == syms.arglist:
934 self.remove_trailing_comma()
939 def append_comment(self, comment: Leaf) -> bool:
940 """Add an inline or standalone comment to the line."""
942 comment.type == STANDALONE_COMMENT
943 and self.bracket_tracker.any_open_brackets()
948 if comment.type != token.COMMENT:
951 after = len(self.leaves) - 1
953 comment.type = STANDALONE_COMMENT
958 self.comments.append((after, comment))
961 def comments_after(self, leaf: Leaf) -> Iterator[Leaf]:
962 """Generate comments that should appear directly after `leaf`."""
963 for _leaf_index, _leaf in enumerate(self.leaves):
970 for index, comment_after in self.comments:
971 if _leaf_index == index:
974 def remove_trailing_comma(self) -> None:
975 """Remove the trailing comma and moves the comments attached to it."""
976 comma_index = len(self.leaves) - 1
977 for i in range(len(self.comments)):
978 comment_index, comment = self.comments[i]
979 if comment_index == comma_index:
980 self.comments[i] = (comma_index - 1, comment)
983 def is_complex_subscript(self, leaf: Leaf) -> bool:
984 """Return True iff `leaf` is part of a slice with non-trivial exprs."""
986 leaf if leaf.type == token.LSQB else self.bracket_tracker.get_open_lsqb()
988 if open_lsqb is None:
991 subscript_start = open_lsqb.next_sibling
993 isinstance(subscript_start, Node)
994 and subscript_start.type == syms.subscriptlist
996 subscript_start = child_towards(subscript_start, leaf)
997 return subscript_start is not None and any(
998 n.type in TEST_DESCENDANTS for n in subscript_start.pre_order()
1001 def __str__(self) -> str:
1002 """Render the line."""
1006 indent = " " * self.depth
1007 leaves = iter(self.leaves)
1008 first = next(leaves)
1009 res = f"{first.prefix}{indent}{first.value}"
1012 for _, comment in self.comments:
1016 def __bool__(self) -> bool:
1017 """Return True if the line has leaves or comments."""
1018 return bool(self.leaves or self.comments)
1021 class UnformattedLines(Line):
1022 """Just like :class:`Line` but stores lines which aren't reformatted."""
1024 def append(self, leaf: Leaf, preformatted: bool = True) -> None:
1025 """Just add a new `leaf` to the end of the lines.
1027 The `preformatted` argument is ignored.
1029 Keeps track of indentation `depth`, which is useful when the user
1030 says `# fmt: on`. Otherwise, doesn't do anything with the `leaf`.
1033 list(generate_comments(leaf))
1034 except FormatOn as f_on:
1035 self.leaves.append(f_on.leaf_from_consumed(leaf))
1038 self.leaves.append(leaf)
1039 if leaf.type == token.INDENT:
1041 elif leaf.type == token.DEDENT:
1044 def __str__(self) -> str:
1045 """Render unformatted lines from leaves which were added with `append()`.
1047 `depth` is not used for indentation in this case.
1053 for leaf in self.leaves:
1057 def append_comment(self, comment: Leaf) -> bool:
1058 """Not implemented in this class. Raises `NotImplementedError`."""
1059 raise NotImplementedError("Unformatted lines don't store comments separately.")
1061 def maybe_remove_trailing_comma(self, closing: Leaf) -> bool:
1062 """Does nothing and returns False."""
1065 def maybe_increment_for_loop_variable(self, leaf: Leaf) -> bool:
1066 """Does nothing and returns False."""
1071 class EmptyLineTracker:
1072 """Provides a stateful method that returns the number of potential extra
1073 empty lines needed before and after the currently processed line.
1075 Note: this tracker works on lines that haven't been split yet. It assumes
1076 the prefix of the first leaf consists of optional newlines. Those newlines
1077 are consumed by `maybe_empty_lines()` and included in the computation.
1079 previous_line: Optional[Line] = None
1080 previous_after: int = 0
1081 previous_defs: List[int] = Factory(list)
1083 def maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1084 """Return the number of extra empty lines before and after the `current_line`.
1086 This is for separating `def`, `async def` and `class` with extra empty
1087 lines (two on module-level), as well as providing an extra empty line
1088 after flow control keywords to make them more prominent.
1090 if isinstance(current_line, UnformattedLines):
1093 before, after = self._maybe_empty_lines(current_line)
1094 before -= self.previous_after
1095 self.previous_after = after
1096 self.previous_line = current_line
1097 return before, after
1099 def _maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
1101 if current_line.depth == 0:
1103 if current_line.leaves:
1104 # Consume the first leaf's extra newlines.
1105 first_leaf = current_line.leaves[0]
1106 before = first_leaf.prefix.count("\n")
1107 before = min(before, max_allowed)
1108 first_leaf.prefix = ""
1111 depth = current_line.depth
1112 while self.previous_defs and self.previous_defs[-1] >= depth:
1113 self.previous_defs.pop()
1114 before = 1 if depth else 2
1115 is_decorator = current_line.is_decorator
1116 if is_decorator or current_line.is_def or current_line.is_class:
1117 if not is_decorator:
1118 self.previous_defs.append(depth)
1119 if self.previous_line is None:
1120 # Don't insert empty lines before the first line in the file.
1123 if self.previous_line.is_decorator:
1127 self.previous_line.is_comment
1128 and self.previous_line.depth == current_line.depth
1134 if current_line.depth:
1140 and self.previous_line.is_import
1141 and not current_line.is_import
1142 and depth == self.previous_line.depth
1144 return (before or 1), 0
1150 class LineGenerator(Visitor[Line]):
1151 """Generates reformatted Line objects. Empty lines are not emitted.
1153 Note: destroys the tree it's visiting by mutating prefixes of its leaves
1154 in ways that will no longer stringify to valid Python code on the tree.
1156 current_line: Line = Factory(Line)
1158 def line(self, indent: int = 0, type: Type[Line] = Line) -> Iterator[Line]:
1161 If the line is empty, only emit if it makes sense.
1162 If the line is too long, split it first and then generate.
1164 If any lines were generated, set up a new current_line.
1166 if not self.current_line:
1167 if self.current_line.__class__ == type:
1168 self.current_line.depth += indent
1170 self.current_line = type(depth=self.current_line.depth + indent)
1171 return # Line is empty, don't emit. Creating a new one unnecessary.
1173 complete_line = self.current_line
1174 self.current_line = type(depth=complete_line.depth + indent)
1177 def visit(self, node: LN) -> Iterator[Line]:
1178 """Main method to visit `node` and its children.
1180 Yields :class:`Line` objects.
1182 if isinstance(self.current_line, UnformattedLines):
1183 # File contained `# fmt: off`
1184 yield from self.visit_unformatted(node)
1187 yield from super().visit(node)
1189 def visit_default(self, node: LN) -> Iterator[Line]:
1190 """Default `visit_*()` implementation. Recurses to children of `node`."""
1191 if isinstance(node, Leaf):
1192 any_open_brackets = self.current_line.bracket_tracker.any_open_brackets()
1194 for comment in generate_comments(node):
1195 if any_open_brackets:
1196 # any comment within brackets is subject to splitting
1197 self.current_line.append(comment)
1198 elif comment.type == token.COMMENT:
1199 # regular trailing comment
1200 self.current_line.append(comment)
1201 yield from self.line()
1204 # regular standalone comment
1205 yield from self.line()
1207 self.current_line.append(comment)
1208 yield from self.line()
1210 except FormatOff as f_off:
1211 f_off.trim_prefix(node)
1212 yield from self.line(type=UnformattedLines)
1213 yield from self.visit(node)
1215 except FormatOn as f_on:
1216 # This only happens here if somebody says "fmt: on" multiple
1218 f_on.trim_prefix(node)
1219 yield from self.visit_default(node)
1222 normalize_prefix(node, inside_brackets=any_open_brackets)
1223 if node.type == token.STRING:
1224 normalize_string_quotes(node)
1225 if node.type not in WHITESPACE:
1226 self.current_line.append(node)
1227 yield from super().visit_default(node)
1229 def visit_INDENT(self, node: Node) -> Iterator[Line]:
1230 """Increase indentation level, maybe yield a line."""
1231 # In blib2to3 INDENT never holds comments.
1232 yield from self.line(+1)
1233 yield from self.visit_default(node)
1235 def visit_DEDENT(self, node: Node) -> Iterator[Line]:
1236 """Decrease indentation level, maybe yield a line."""
1237 # The current line might still wait for trailing comments. At DEDENT time
1238 # there won't be any (they would be prefixes on the preceding NEWLINE).
1239 # Emit the line then.
1240 yield from self.line()
1242 # While DEDENT has no value, its prefix may contain standalone comments
1243 # that belong to the current indentation level. Get 'em.
1244 yield from self.visit_default(node)
1246 # Finally, emit the dedent.
1247 yield from self.line(-1)
1250 self, node: Node, keywords: Set[str], parens: Set[str]
1251 ) -> Iterator[Line]:
1252 """Visit a statement.
1254 This implementation is shared for `if`, `while`, `for`, `try`, `except`,
1255 `def`, `with`, `class`, and `assert`.
1257 The relevant Python language `keywords` for a given statement will be
1258 NAME leaves within it. This methods puts those on a separate line.
1260 `parens` holds a set of string leaf values immeditely after which
1261 invisible parens should be put.
1263 normalize_invisible_parens(node, parens_after=parens)
1264 for child in node.children:
1265 if child.type == token.NAME and child.value in keywords: # type: ignore
1266 yield from self.line()
1268 yield from self.visit(child)
1270 def visit_simple_stmt(self, node: Node) -> Iterator[Line]:
1271 """Visit a statement without nested statements."""
1272 is_suite_like = node.parent and node.parent.type in STATEMENT
1274 yield from self.line(+1)
1275 yield from self.visit_default(node)
1276 yield from self.line(-1)
1279 yield from self.line()
1280 yield from self.visit_default(node)
1282 def visit_async_stmt(self, node: Node) -> Iterator[Line]:
1283 """Visit `async def`, `async for`, `async with`."""
1284 yield from self.line()
1286 children = iter(node.children)
1287 for child in children:
1288 yield from self.visit(child)
1290 if child.type == token.ASYNC:
1293 internal_stmt = next(children)
1294 for child in internal_stmt.children:
1295 yield from self.visit(child)
1297 def visit_decorators(self, node: Node) -> Iterator[Line]:
1298 """Visit decorators."""
1299 for child in node.children:
1300 yield from self.line()
1301 yield from self.visit(child)
1303 def visit_import_from(self, node: Node) -> Iterator[Line]:
1304 """Visit import_from and maybe put invisible parentheses.
1306 This is separate from `visit_stmt` because import statements don't
1307 support arbitrary atoms and thus handling of parentheses is custom.
1310 for index, child in enumerate(node.children):
1312 if child.type == token.LPAR:
1313 # make parentheses invisible
1314 child.value = "" # type: ignore
1315 node.children[-1].value = "" # type: ignore
1317 # insert invisible parentheses
1318 node.insert_child(index, Leaf(token.LPAR, ""))
1319 node.append_child(Leaf(token.RPAR, ""))
1323 child.type == token.NAME and child.value == "import" # type: ignore
1326 for child in node.children:
1327 yield from self.visit(child)
1329 def visit_SEMI(self, leaf: Leaf) -> Iterator[Line]:
1330 """Remove a semicolon and put the other statement on a separate line."""
1331 yield from self.line()
1333 def visit_ENDMARKER(self, leaf: Leaf) -> Iterator[Line]:
1334 """End of file. Process outstanding comments and end with a newline."""
1335 yield from self.visit_default(leaf)
1336 yield from self.line()
1338 def visit_unformatted(self, node: LN) -> Iterator[Line]:
1339 """Used when file contained a `# fmt: off`."""
1340 if isinstance(node, Node):
1341 for child in node.children:
1342 yield from self.visit(child)
1346 self.current_line.append(node)
1347 except FormatOn as f_on:
1348 f_on.trim_prefix(node)
1349 yield from self.line()
1350 yield from self.visit(node)
1352 if node.type == token.ENDMARKER:
1353 # somebody decided not to put a final `# fmt: on`
1354 yield from self.line()
1356 def __attrs_post_init__(self) -> None:
1357 """You are in a twisty little maze of passages."""
1360 self.visit_assert_stmt = partial(v, keywords={"assert"}, parens={"assert", ","})
1361 self.visit_if_stmt = partial(v, keywords={"if", "else", "elif"}, parens={"if"})
1362 self.visit_while_stmt = partial(v, keywords={"while", "else"}, parens={"while"})
1363 self.visit_for_stmt = partial(v, keywords={"for", "else"}, parens={"for", "in"})
1364 self.visit_try_stmt = partial(
1365 v, keywords={"try", "except", "else", "finally"}, parens=Ø
1367 self.visit_except_clause = partial(v, keywords={"except"}, parens=Ø)
1368 self.visit_with_stmt = partial(v, keywords={"with"}, parens=Ø)
1369 self.visit_funcdef = partial(v, keywords={"def"}, parens=Ø)
1370 self.visit_classdef = partial(v, keywords={"class"}, parens=Ø)
1371 self.visit_async_funcdef = self.visit_async_stmt
1372 self.visit_decorated = self.visit_decorators
1375 IMPLICIT_TUPLE = {syms.testlist, syms.testlist_star_expr, syms.exprlist}
1376 BRACKET = {token.LPAR: token.RPAR, token.LSQB: token.RSQB, token.LBRACE: token.RBRACE}
1377 OPENING_BRACKETS = set(BRACKET.keys())
1378 CLOSING_BRACKETS = set(BRACKET.values())
1379 BRACKETS = OPENING_BRACKETS | CLOSING_BRACKETS
1380 ALWAYS_NO_SPACE = CLOSING_BRACKETS | {token.COMMA, STANDALONE_COMMENT}
1383 def whitespace(leaf: Leaf, *, complex_subscript: bool) -> str: # noqa C901
1384 """Return whitespace prefix if needed for the given `leaf`.
1386 `complex_subscript` signals whether the given leaf is part of a subscription
1387 which has non-trivial arguments, like arithmetic expressions or function calls.
1395 if t in ALWAYS_NO_SPACE:
1398 if t == token.COMMENT:
1401 assert p is not None, f"INTERNAL ERROR: hand-made leaf without parent: {leaf!r}"
1404 and p.type not in {syms.subscript, syms.subscriptlist, syms.sliceop}
1408 prev = leaf.prev_sibling
1410 prevp = preceding_leaf(p)
1411 if not prevp or prevp.type in OPENING_BRACKETS:
1414 if t == token.COLON:
1415 if prevp.type == token.COLON:
1418 elif prevp.type != token.COMMA and not complex_subscript:
1423 if prevp.type == token.EQUAL:
1425 if prevp.parent.type in {
1426 syms.arglist, syms.argument, syms.parameters, syms.varargslist
1430 elif prevp.parent.type == syms.typedargslist:
1431 # A bit hacky: if the equal sign has whitespace, it means we
1432 # previously found it's a typed argument. So, we're using
1436 elif prevp.type in STARS:
1437 if is_vararg(prevp, within=VARARGS_PARENTS | UNPACKING_PARENTS):
1440 elif prevp.type == token.COLON:
1441 if prevp.parent and prevp.parent.type in {syms.subscript, syms.sliceop}:
1442 return SPACE if complex_subscript else NO
1446 and prevp.parent.type == syms.factor
1447 and prevp.type in MATH_OPERATORS
1452 prevp.type == token.RIGHTSHIFT
1454 and prevp.parent.type == syms.shift_expr
1455 and prevp.prev_sibling
1456 and prevp.prev_sibling.type == token.NAME
1457 and prevp.prev_sibling.value == "print" # type: ignore
1459 # Python 2 print chevron
1462 elif prev.type in OPENING_BRACKETS:
1465 if p.type in {syms.parameters, syms.arglist}:
1466 # untyped function signatures or calls
1467 if not prev or prev.type != token.COMMA:
1470 elif p.type == syms.varargslist:
1472 if prev and prev.type != token.COMMA:
1475 elif p.type == syms.typedargslist:
1476 # typed function signatures
1480 if t == token.EQUAL:
1481 if prev.type != syms.tname:
1484 elif prev.type == token.EQUAL:
1485 # A bit hacky: if the equal sign has whitespace, it means we
1486 # previously found it's a typed argument. So, we're using that, too.
1489 elif prev.type != token.COMMA:
1492 elif p.type == syms.tname:
1495 prevp = preceding_leaf(p)
1496 if not prevp or prevp.type != token.COMMA:
1499 elif p.type == syms.trailer:
1500 # attributes and calls
1501 if t == token.LPAR or t == token.RPAR:
1506 prevp = preceding_leaf(p)
1507 if not prevp or prevp.type != token.NUMBER:
1510 elif t == token.LSQB:
1513 elif prev.type != token.COMMA:
1516 elif p.type == syms.argument:
1518 if t == token.EQUAL:
1522 prevp = preceding_leaf(p)
1523 if not prevp or prevp.type == token.LPAR:
1526 elif prev.type in {token.EQUAL} | STARS:
1529 elif p.type == syms.decorator:
1533 elif p.type == syms.dotted_name:
1537 prevp = preceding_leaf(p)
1538 if not prevp or prevp.type == token.AT or prevp.type == token.DOT:
1541 elif p.type == syms.classdef:
1545 if prev and prev.type == token.LPAR:
1548 elif p.type in {syms.subscript, syms.sliceop}:
1551 assert p.parent is not None, "subscripts are always parented"
1552 if p.parent.type == syms.subscriptlist:
1557 elif not complex_subscript:
1560 elif p.type == syms.atom:
1561 if prev and t == token.DOT:
1562 # dots, but not the first one.
1565 elif p.type == syms.dictsetmaker:
1567 if prev and prev.type == token.DOUBLESTAR:
1570 elif p.type in {syms.factor, syms.star_expr}:
1573 prevp = preceding_leaf(p)
1574 if not prevp or prevp.type in OPENING_BRACKETS:
1577 prevp_parent = prevp.parent
1578 assert prevp_parent is not None
1580 prevp.type == token.COLON
1581 and prevp_parent.type in {syms.subscript, syms.sliceop}
1585 elif prevp.type == token.EQUAL and prevp_parent.type == syms.argument:
1588 elif t == token.NAME or t == token.NUMBER:
1591 elif p.type == syms.import_from:
1593 if prev and prev.type == token.DOT:
1596 elif t == token.NAME:
1600 if prev and prev.type == token.DOT:
1603 elif p.type == syms.sliceop:
1609 def preceding_leaf(node: Optional[LN]) -> Optional[Leaf]:
1610 """Return the first leaf that precedes `node`, if any."""
1612 res = node.prev_sibling
1614 if isinstance(res, Leaf):
1618 return list(res.leaves())[-1]
1627 def child_towards(ancestor: Node, descendant: LN) -> Optional[LN]:
1628 """Return the child of `ancestor` that contains `descendant`."""
1629 node: Optional[LN] = descendant
1630 while node and node.parent != ancestor:
1635 def is_split_after_delimiter(leaf: Leaf, previous: Leaf = None) -> int:
1636 """Return the priority of the `leaf` delimiter, given a line break after it.
1638 The delimiter priorities returned here are from those delimiters that would
1639 cause a line break after themselves.
1641 Higher numbers are higher priority.
1643 if leaf.type == token.COMMA:
1644 return COMMA_PRIORITY
1649 def is_split_before_delimiter(leaf: Leaf, previous: Leaf = None) -> int:
1650 """Return the priority of the `leaf` delimiter, given a line before after it.
1652 The delimiter priorities returned here are from those delimiters that would
1653 cause a line break before themselves.
1655 Higher numbers are higher priority.
1657 if is_vararg(leaf, within=VARARGS_PARENTS | UNPACKING_PARENTS):
1658 # * and ** might also be MATH_OPERATORS but in this case they are not.
1659 # Don't treat them as a delimiter.
1663 leaf.type in MATH_OPERATORS
1665 and leaf.parent.type not in {syms.factor, syms.star_expr}
1667 return MATH_PRIORITIES[leaf.type]
1669 if leaf.type in COMPARATORS:
1670 return COMPARATOR_PRIORITY
1673 leaf.type == token.STRING
1674 and previous is not None
1675 and previous.type == token.STRING
1677 return STRING_PRIORITY
1680 leaf.type == token.NAME
1681 and leaf.value == "for"
1683 and leaf.parent.type in {syms.comp_for, syms.old_comp_for}
1685 return COMPREHENSION_PRIORITY
1688 leaf.type == token.NAME
1689 and leaf.value == "if"
1691 and leaf.parent.type in {syms.comp_if, syms.old_comp_if}
1693 return COMPREHENSION_PRIORITY
1696 leaf.type == token.NAME
1697 and leaf.value in {"if", "else"}
1699 and leaf.parent.type == syms.test
1701 return TERNARY_PRIORITY
1703 if leaf.type == token.NAME and leaf.value in LOGIC_OPERATORS and leaf.parent:
1704 return LOGIC_PRIORITY
1709 def generate_comments(leaf: Leaf) -> Iterator[Leaf]:
1710 """Clean the prefix of the `leaf` and generate comments from it, if any.
1712 Comments in lib2to3 are shoved into the whitespace prefix. This happens
1713 in `pgen2/driver.py:Driver.parse_tokens()`. This was a brilliant implementation
1714 move because it does away with modifying the grammar to include all the
1715 possible places in which comments can be placed.
1717 The sad consequence for us though is that comments don't "belong" anywhere.
1718 This is why this function generates simple parentless Leaf objects for
1719 comments. We simply don't know what the correct parent should be.
1721 No matter though, we can live without this. We really only need to
1722 differentiate between inline and standalone comments. The latter don't
1723 share the line with any code.
1725 Inline comments are emitted as regular token.COMMENT leaves. Standalone
1726 are emitted with a fake STANDALONE_COMMENT token identifier.
1737 for index, line in enumerate(p.split("\n")):
1738 consumed += len(line) + 1 # adding the length of the split '\n'
1739 line = line.lstrip()
1742 if not line.startswith("#"):
1745 if index == 0 and leaf.type != token.ENDMARKER:
1746 comment_type = token.COMMENT # simple trailing comment
1748 comment_type = STANDALONE_COMMENT
1749 comment = make_comment(line)
1750 yield Leaf(comment_type, comment, prefix="\n" * nlines)
1752 if comment in {"# fmt: on", "# yapf: enable"}:
1753 raise FormatOn(consumed)
1755 if comment in {"# fmt: off", "# yapf: disable"}:
1756 if comment_type == STANDALONE_COMMENT:
1757 raise FormatOff(consumed)
1759 prev = preceding_leaf(leaf)
1760 if not prev or prev.type in WHITESPACE: # standalone comment in disguise
1761 raise FormatOff(consumed)
1766 def make_comment(content: str) -> str:
1767 """Return a consistently formatted comment from the given `content` string.
1769 All comments (except for "##", "#!", "#:") should have a single space between
1770 the hash sign and the content.
1772 If `content` didn't start with a hash sign, one is provided.
1774 content = content.rstrip()
1778 if content[0] == "#":
1779 content = content[1:]
1780 if content and content[0] not in " !:#":
1781 content = " " + content
1782 return "#" + content
1786 line: Line, line_length: int, inner: bool = False, py36: bool = False
1787 ) -> Iterator[Line]:
1788 """Split a `line` into potentially many lines.
1790 They should fit in the allotted `line_length` but might not be able to.
1791 `inner` signifies that there were a pair of brackets somewhere around the
1792 current `line`, possibly transitively. This means we can fallback to splitting
1793 by delimiters if the LHS/RHS don't yield any results.
1795 If `py36` is True, splitting may generate syntax that is only compatible
1796 with Python 3.6 and later.
1798 if isinstance(line, UnformattedLines) or line.is_comment:
1802 line_str = str(line).strip("\n")
1804 len(line_str) <= line_length
1805 and "\n" not in line_str # multiline strings
1806 and not line.contains_standalone_comments()
1811 split_funcs: List[SplitFunc]
1813 split_funcs = [left_hand_split]
1814 elif line.is_import:
1815 split_funcs = [explode_split]
1816 elif line.inside_brackets:
1817 split_funcs = [delimiter_split, standalone_comment_split, right_hand_split]
1819 split_funcs = [right_hand_split]
1820 for split_func in split_funcs:
1821 # We are accumulating lines in `result` because we might want to abort
1822 # mission and return the original line in the end, or attempt a different
1824 result: List[Line] = []
1826 for l in split_func(line, py36):
1827 if str(l).strip("\n") == line_str:
1828 raise CannotSplit("Split function returned an unchanged result")
1831 split_line(l, line_length=line_length, inner=True, py36=py36)
1833 except CannotSplit as cs:
1844 def left_hand_split(line: Line, py36: bool = False) -> Iterator[Line]:
1845 """Split line into many lines, starting with the first matching bracket pair.
1847 Note: this usually looks weird, only use this for function definitions.
1848 Prefer RHS otherwise. This is why this function is not symmetrical with
1849 :func:`right_hand_split` which also handles optional parentheses.
1851 head = Line(depth=line.depth)
1852 body = Line(depth=line.depth + 1, inside_brackets=True)
1853 tail = Line(depth=line.depth)
1854 tail_leaves: List[Leaf] = []
1855 body_leaves: List[Leaf] = []
1856 head_leaves: List[Leaf] = []
1857 current_leaves = head_leaves
1858 matching_bracket = None
1859 for leaf in line.leaves:
1861 current_leaves is body_leaves
1862 and leaf.type in CLOSING_BRACKETS
1863 and leaf.opening_bracket is matching_bracket
1865 current_leaves = tail_leaves if body_leaves else head_leaves
1866 current_leaves.append(leaf)
1867 if current_leaves is head_leaves:
1868 if leaf.type in OPENING_BRACKETS:
1869 matching_bracket = leaf
1870 current_leaves = body_leaves
1871 # Since body is a new indent level, remove spurious leading whitespace.
1873 normalize_prefix(body_leaves[0], inside_brackets=True)
1874 # Build the new lines.
1875 for result, leaves in (head, head_leaves), (body, body_leaves), (tail, tail_leaves):
1877 result.append(leaf, preformatted=True)
1878 for comment_after in line.comments_after(leaf):
1879 result.append(comment_after, preformatted=True)
1880 bracket_split_succeeded_or_raise(head, body, tail)
1881 for result in (head, body, tail):
1886 def right_hand_split(
1887 line: Line, py36: bool = False, omit: Collection[LeafID] = ()
1888 ) -> Iterator[Line]:
1889 """Split line into many lines, starting with the last matching bracket pair.
1891 If the split was by optional parentheses, attempt splitting without them, too.
1893 head = Line(depth=line.depth)
1894 body = Line(depth=line.depth + 1, inside_brackets=True)
1895 tail = Line(depth=line.depth)
1896 tail_leaves: List[Leaf] = []
1897 body_leaves: List[Leaf] = []
1898 head_leaves: List[Leaf] = []
1899 current_leaves = tail_leaves
1900 opening_bracket = None
1901 closing_bracket = None
1902 for leaf in reversed(line.leaves):
1903 if current_leaves is body_leaves:
1904 if leaf is opening_bracket:
1905 current_leaves = head_leaves if body_leaves else tail_leaves
1906 current_leaves.append(leaf)
1907 if current_leaves is tail_leaves:
1908 if leaf.type in CLOSING_BRACKETS and id(leaf) not in omit:
1909 opening_bracket = leaf.opening_bracket
1910 closing_bracket = leaf
1911 current_leaves = body_leaves
1912 tail_leaves.reverse()
1913 body_leaves.reverse()
1914 head_leaves.reverse()
1915 # Since body is a new indent level, remove spurious leading whitespace.
1917 normalize_prefix(body_leaves[0], inside_brackets=True)
1918 elif not head_leaves:
1919 # No `head` and no `body` means the split failed. `tail` has all content.
1920 raise CannotSplit("No brackets found")
1922 # Build the new lines.
1923 for result, leaves in (head, head_leaves), (body, body_leaves), (tail, tail_leaves):
1925 result.append(leaf, preformatted=True)
1926 for comment_after in line.comments_after(leaf):
1927 result.append(comment_after, preformatted=True)
1928 bracket_split_succeeded_or_raise(head, body, tail)
1929 assert opening_bracket and closing_bracket
1931 # the opening bracket is an optional paren
1932 opening_bracket.type == token.LPAR
1933 and not opening_bracket.value
1934 # the closing bracket is an optional paren
1935 and closing_bracket.type == token.RPAR
1936 and not closing_bracket.value
1937 # there are no delimiters or standalone comments in the body
1938 and not body.bracket_tracker.delimiters
1939 and not line.contains_standalone_comments(0)
1940 # and it's not an import (optional parens are the only thing we can split
1941 # on in this case; attempting a split without them is a waste of time)
1942 and not line.is_import
1944 omit = {id(closing_bracket), *omit}
1946 yield from right_hand_split(line, py36=py36, omit=omit)
1951 ensure_visible(opening_bracket)
1952 ensure_visible(closing_bracket)
1953 for result in (head, body, tail):
1958 def bracket_split_succeeded_or_raise(head: Line, body: Line, tail: Line) -> None:
1959 """Raise :exc:`CannotSplit` if the last left- or right-hand split failed.
1961 Do nothing otherwise.
1963 A left- or right-hand split is based on a pair of brackets. Content before
1964 (and including) the opening bracket is left on one line, content inside the
1965 brackets is put on a separate line, and finally content starting with and
1966 following the closing bracket is put on a separate line.
1968 Those are called `head`, `body`, and `tail`, respectively. If the split
1969 produced the same line (all content in `head`) or ended up with an empty `body`
1970 and the `tail` is just the closing bracket, then it's considered failed.
1972 tail_len = len(str(tail).strip())
1975 raise CannotSplit("Splitting brackets produced the same line")
1979 f"Splitting brackets on an empty body to save "
1980 f"{tail_len} characters is not worth it"
1984 def dont_increase_indentation(split_func: SplitFunc) -> SplitFunc:
1985 """Normalize prefix of the first leaf in every line returned by `split_func`.
1987 This is a decorator over relevant split functions.
1991 def split_wrapper(line: Line, py36: bool = False) -> Iterator[Line]:
1992 for l in split_func(line, py36):
1993 normalize_prefix(l.leaves[0], inside_brackets=True)
1996 return split_wrapper
1999 @dont_increase_indentation
2000 def delimiter_split(line: Line, py36: bool = False) -> Iterator[Line]:
2001 """Split according to delimiters of the highest priority.
2003 If `py36` is True, the split will add trailing commas also in function
2004 signatures that contain `*` and `**`.
2007 last_leaf = line.leaves[-1]
2009 raise CannotSplit("Line empty")
2011 delimiters = line.bracket_tracker.delimiters
2013 delimiter_priority = line.bracket_tracker.max_delimiter_priority(
2014 exclude={id(last_leaf)}
2017 raise CannotSplit("No delimiters found")
2019 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2020 lowest_depth = sys.maxsize
2021 trailing_comma_safe = True
2023 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2024 """Append `leaf` to current line or to new line if appending impossible."""
2025 nonlocal current_line
2027 current_line.append_safe(leaf, preformatted=True)
2028 except ValueError as ve:
2031 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2032 current_line.append(leaf)
2034 for leaf in line.leaves:
2035 yield from append_to_line(leaf)
2037 for comment_after in line.comments_after(leaf):
2038 yield from append_to_line(comment_after)
2040 lowest_depth = min(lowest_depth, leaf.bracket_depth)
2042 leaf.bracket_depth == lowest_depth
2043 and is_vararg(leaf, within=VARARGS_PARENTS)
2045 trailing_comma_safe = trailing_comma_safe and py36
2046 leaf_priority = delimiters.get(id(leaf))
2047 if leaf_priority == delimiter_priority:
2050 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2054 and delimiter_priority == COMMA_PRIORITY
2055 and current_line.leaves[-1].type != token.COMMA
2056 and current_line.leaves[-1].type != STANDALONE_COMMENT
2058 current_line.append(Leaf(token.COMMA, ","))
2062 @dont_increase_indentation
2063 def standalone_comment_split(line: Line, py36: bool = False) -> Iterator[Line]:
2064 """Split standalone comments from the rest of the line."""
2065 if not line.contains_standalone_comments(0):
2066 raise CannotSplit("Line does not have any standalone comments")
2068 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2070 def append_to_line(leaf: Leaf) -> Iterator[Line]:
2071 """Append `leaf` to current line or to new line if appending impossible."""
2072 nonlocal current_line
2074 current_line.append_safe(leaf, preformatted=True)
2075 except ValueError as ve:
2078 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
2079 current_line.append(leaf)
2081 for leaf in line.leaves:
2082 yield from append_to_line(leaf)
2084 for comment_after in line.comments_after(leaf):
2085 yield from append_to_line(comment_after)
2092 line: Line, py36: bool = False, omit: Collection[LeafID] = ()
2093 ) -> Iterator[Line]:
2094 """Split by rightmost bracket and immediately split contents by a delimiter."""
2095 new_lines = list(right_hand_split(line, py36, omit))
2096 if len(new_lines) != 3:
2097 yield from new_lines
2103 yield from delimiter_split(new_lines[1], py36)
2111 def is_import(leaf: Leaf) -> bool:
2112 """Return True if the given leaf starts an import statement."""
2119 (v == "import" and p and p.type == syms.import_name)
2120 or (v == "from" and p and p.type == syms.import_from)
2125 def normalize_prefix(leaf: Leaf, *, inside_brackets: bool) -> None:
2126 """Leave existing extra newlines if not `inside_brackets`. Remove everything
2129 Note: don't use backslashes for formatting or you'll lose your voting rights.
2131 if not inside_brackets:
2132 spl = leaf.prefix.split("#")
2133 if "\\" not in spl[0]:
2134 nl_count = spl[-1].count("\n")
2137 leaf.prefix = "\n" * nl_count
2143 def normalize_string_quotes(leaf: Leaf) -> None:
2144 """Prefer double quotes but only if it doesn't cause more escaping.
2146 Adds or removes backslashes as appropriate. Doesn't parse and fix
2147 strings nested in f-strings (yet).
2149 Note: Mutates its argument.
2151 value = leaf.value.lstrip("furbFURB")
2152 if value[:3] == '"""':
2155 elif value[:3] == "'''":
2158 elif value[0] == '"':
2164 first_quote_pos = leaf.value.find(orig_quote)
2165 if first_quote_pos == -1:
2166 return # There's an internal error
2168 prefix = leaf.value[:first_quote_pos]
2169 unescaped_new_quote = re.compile(rf"(([^\\]|^)(\\\\)*){new_quote}")
2170 escaped_new_quote = re.compile(rf"([^\\]|^)\\(\\\\)*{new_quote}")
2171 escaped_orig_quote = re.compile(rf"([^\\]|^)\\(\\\\)*{orig_quote}")
2172 body = leaf.value[first_quote_pos + len(orig_quote) : -len(orig_quote)]
2173 if "r" in prefix.casefold():
2174 if unescaped_new_quote.search(body):
2175 # There's at least one unescaped new_quote in this raw string
2176 # so converting is impossible
2179 # Do not introduce or remove backslashes in raw strings
2182 # remove unnecessary quotes
2183 new_body = sub_twice(escaped_new_quote, rf"\1\2{new_quote}", body)
2184 if body != new_body:
2185 # Consider the string without unnecessary quotes as the original
2187 leaf.value = f"{prefix}{orig_quote}{body}{orig_quote}"
2188 new_body = sub_twice(escaped_orig_quote, rf"\1\2{orig_quote}", new_body)
2189 new_body = sub_twice(unescaped_new_quote, rf"\1\\{new_quote}", new_body)
2190 if new_quote == '"""' and new_body[-1] == '"':
2192 new_body = new_body[:-1] + '\\"'
2193 orig_escape_count = body.count("\\")
2194 new_escape_count = new_body.count("\\")
2195 if new_escape_count > orig_escape_count:
2196 return # Do not introduce more escaping
2198 if new_escape_count == orig_escape_count and orig_quote == '"':
2199 return # Prefer double quotes
2201 leaf.value = f"{prefix}{new_quote}{new_body}{new_quote}"
2204 def normalize_invisible_parens(node: Node, parens_after: Set[str]) -> None:
2205 """Make existing optional parentheses invisible or create new ones.
2207 `parens_after` is a set of string leaf values immeditely after which parens
2210 Standardizes on visible parentheses for single-element tuples, and keeps
2211 existing visible parentheses for other tuples and generator expressions.
2214 for child in list(node.children):
2216 if child.type == syms.atom:
2217 maybe_make_parens_invisible_in_atom(child)
2218 elif is_one_tuple(child):
2219 # wrap child in visible parentheses
2220 lpar = Leaf(token.LPAR, "(")
2221 rpar = Leaf(token.RPAR, ")")
2222 index = child.remove() or 0
2223 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2225 # wrap child in invisible parentheses
2226 lpar = Leaf(token.LPAR, "")
2227 rpar = Leaf(token.RPAR, "")
2228 index = child.remove() or 0
2229 node.insert_child(index, Node(syms.atom, [lpar, child, rpar]))
2231 check_lpar = isinstance(child, Leaf) and child.value in parens_after
2234 def maybe_make_parens_invisible_in_atom(node: LN) -> bool:
2235 """If it's safe, make the parens in the atom `node` invisible, recusively."""
2237 node.type != syms.atom
2238 or is_empty_tuple(node)
2239 or is_one_tuple(node)
2240 or max_delimiter_priority_in_atom(node) >= COMMA_PRIORITY
2244 first = node.children[0]
2245 last = node.children[-1]
2246 if first.type == token.LPAR and last.type == token.RPAR:
2247 # make parentheses invisible
2248 first.value = "" # type: ignore
2249 last.value = "" # type: ignore
2250 if len(node.children) > 1:
2251 maybe_make_parens_invisible_in_atom(node.children[1])
2257 def is_empty_tuple(node: LN) -> bool:
2258 """Return True if `node` holds an empty tuple."""
2260 node.type == syms.atom
2261 and len(node.children) == 2
2262 and node.children[0].type == token.LPAR
2263 and node.children[1].type == token.RPAR
2267 def is_one_tuple(node: LN) -> bool:
2268 """Return True if `node` holds a tuple with one element, with or without parens."""
2269 if node.type == syms.atom:
2270 if len(node.children) != 3:
2273 lpar, gexp, rpar = node.children
2275 lpar.type == token.LPAR
2276 and gexp.type == syms.testlist_gexp
2277 and rpar.type == token.RPAR
2281 return len(gexp.children) == 2 and gexp.children[1].type == token.COMMA
2284 node.type in IMPLICIT_TUPLE
2285 and len(node.children) == 2
2286 and node.children[1].type == token.COMMA
2290 def is_vararg(leaf: Leaf, within: Set[NodeType]) -> bool:
2291 """Return True if `leaf` is a star or double star in a vararg or kwarg.
2293 If `within` includes VARARGS_PARENTS, this applies to function signatures.
2294 If `within` includes COLLECTION_LIBERALS_PARENTS, it applies to right
2295 hand-side extended iterable unpacking (PEP 3132) and additional unpacking
2296 generalizations (PEP 448).
2298 if leaf.type not in STARS or not leaf.parent:
2302 if p.type == syms.star_expr:
2303 # Star expressions are also used as assignment targets in extended
2304 # iterable unpacking (PEP 3132). See what its parent is instead.
2310 return p.type in within
2313 def max_delimiter_priority_in_atom(node: LN) -> int:
2314 """Return maximum delimiter priority inside `node`.
2316 This is specific to atoms with contents contained in a pair of parentheses.
2317 If `node` isn't an atom or there are no enclosing parentheses, returns 0.
2319 if node.type != syms.atom:
2322 first = node.children[0]
2323 last = node.children[-1]
2324 if not (first.type == token.LPAR and last.type == token.RPAR):
2327 bt = BracketTracker()
2328 for c in node.children[1:-1]:
2329 if isinstance(c, Leaf):
2332 for leaf in c.leaves():
2335 return bt.max_delimiter_priority()
2341 def ensure_visible(leaf: Leaf) -> None:
2342 """Make sure parentheses are visible.
2344 They could be invisible as part of some statements (see
2345 :func:`normalize_invible_parens` and :func:`visit_import_from`).
2347 if leaf.type == token.LPAR:
2349 elif leaf.type == token.RPAR:
2353 def is_python36(node: Node) -> bool:
2354 """Return True if the current file is using Python 3.6+ features.
2356 Currently looking for:
2358 - trailing commas after * or ** in function signatures and calls.
2360 for n in node.pre_order():
2361 if n.type == token.STRING:
2362 value_head = n.value[:2] # type: ignore
2363 if value_head in {'f"', 'F"', "f'", "F'", "rf", "fr", "RF", "FR"}:
2367 n.type in {syms.typedargslist, syms.arglist}
2369 and n.children[-1].type == token.COMMA
2371 for ch in n.children:
2372 if ch.type in STARS:
2375 if ch.type == syms.argument:
2376 for argch in ch.children:
2377 if argch.type in STARS:
2383 PYTHON_EXTENSIONS = {".py"}
2384 BLACKLISTED_DIRECTORIES = {
2385 "build", "buck-out", "dist", "_build", ".git", ".hg", ".mypy_cache", ".tox", ".venv"
2389 def gen_python_files_in_dir(path: Path) -> Iterator[Path]:
2390 """Generate all files under `path` which aren't under BLACKLISTED_DIRECTORIES
2391 and have one of the PYTHON_EXTENSIONS.
2393 for child in path.iterdir():
2395 if child.name in BLACKLISTED_DIRECTORIES:
2398 yield from gen_python_files_in_dir(child)
2400 elif child.suffix in PYTHON_EXTENSIONS:
2406 """Provides a reformatting counter. Can be rendered with `str(report)`."""
2409 change_count: int = 0
2411 failure_count: int = 0
2413 def done(self, src: Path, changed: Changed) -> None:
2414 """Increment the counter for successful reformatting. Write out a message."""
2415 if changed is Changed.YES:
2416 reformatted = "would reformat" if self.check else "reformatted"
2418 out(f"{reformatted} {src}")
2419 self.change_count += 1
2422 if changed is Changed.NO:
2423 msg = f"{src} already well formatted, good job."
2425 msg = f"{src} wasn't modified on disk since last run."
2426 out(msg, bold=False)
2427 self.same_count += 1
2429 def failed(self, src: Path, message: str) -> None:
2430 """Increment the counter for failed reformatting. Write out a message."""
2431 err(f"error: cannot format {src}: {message}")
2432 self.failure_count += 1
2435 def return_code(self) -> int:
2436 """Return the exit code that the app should use.
2438 This considers the current state of changed files and failures:
2439 - if there were any failures, return 123;
2440 - if any files were changed and --check is being used, return 1;
2441 - otherwise return 0.
2443 # According to http://tldp.org/LDP/abs/html/exitcodes.html starting with
2444 # 126 we have special returncodes reserved by the shell.
2445 if self.failure_count:
2448 elif self.change_count and self.check:
2453 def __str__(self) -> str:
2454 """Render a color report of the current state.
2456 Use `click.unstyle` to remove colors.
2459 reformatted = "would be reformatted"
2460 unchanged = "would be left unchanged"
2461 failed = "would fail to reformat"
2463 reformatted = "reformatted"
2464 unchanged = "left unchanged"
2465 failed = "failed to reformat"
2467 if self.change_count:
2468 s = "s" if self.change_count > 1 else ""
2470 click.style(f"{self.change_count} file{s} {reformatted}", bold=True)
2473 s = "s" if self.same_count > 1 else ""
2474 report.append(f"{self.same_count} file{s} {unchanged}")
2475 if self.failure_count:
2476 s = "s" if self.failure_count > 1 else ""
2478 click.style(f"{self.failure_count} file{s} {failed}", fg="red")
2480 return ", ".join(report) + "."
2483 def assert_equivalent(src: str, dst: str) -> None:
2484 """Raise AssertionError if `src` and `dst` aren't equivalent."""
2489 def _v(node: ast.AST, depth: int = 0) -> Iterator[str]:
2490 """Simple visitor generating strings to compare ASTs by content."""
2491 yield f"{' ' * depth}{node.__class__.__name__}("
2493 for field in sorted(node._fields):
2495 value = getattr(node, field)
2496 except AttributeError:
2499 yield f"{' ' * (depth+1)}{field}="
2501 if isinstance(value, list):
2503 if isinstance(item, ast.AST):
2504 yield from _v(item, depth + 2)
2506 elif isinstance(value, ast.AST):
2507 yield from _v(value, depth + 2)
2510 yield f"{' ' * (depth+2)}{value!r}, # {value.__class__.__name__}"
2512 yield f"{' ' * depth}) # /{node.__class__.__name__}"
2515 src_ast = ast.parse(src)
2516 except Exception as exc:
2517 major, minor = sys.version_info[:2]
2518 raise AssertionError(
2519 f"cannot use --safe with this file; failed to parse source file "
2520 f"with Python {major}.{minor}'s builtin AST. Re-run with --fast "
2521 f"or stop using deprecated Python 2 syntax. AST error message: {exc}"
2525 dst_ast = ast.parse(dst)
2526 except Exception as exc:
2527 log = dump_to_file("".join(traceback.format_tb(exc.__traceback__)), dst)
2528 raise AssertionError(
2529 f"INTERNAL ERROR: Black produced invalid code: {exc}. "
2530 f"Please report a bug on https://github.com/ambv/black/issues. "
2531 f"This invalid output might be helpful: {log}"
2534 src_ast_str = "\n".join(_v(src_ast))
2535 dst_ast_str = "\n".join(_v(dst_ast))
2536 if src_ast_str != dst_ast_str:
2537 log = dump_to_file(diff(src_ast_str, dst_ast_str, "src", "dst"))
2538 raise AssertionError(
2539 f"INTERNAL ERROR: Black produced code that is not equivalent to "
2541 f"Please report a bug on https://github.com/ambv/black/issues. "
2542 f"This diff might be helpful: {log}"
2546 def assert_stable(src: str, dst: str, line_length: int) -> None:
2547 """Raise AssertionError if `dst` reformats differently the second time."""
2548 newdst = format_str(dst, line_length=line_length)
2551 diff(src, dst, "source", "first pass"),
2552 diff(dst, newdst, "first pass", "second pass"),
2554 raise AssertionError(
2555 f"INTERNAL ERROR: Black produced different code on the second pass "
2556 f"of the formatter. "
2557 f"Please report a bug on https://github.com/ambv/black/issues. "
2558 f"This diff might be helpful: {log}"
2562 def dump_to_file(*output: str) -> str:
2563 """Dump `output` to a temporary file. Return path to the file."""
2566 with tempfile.NamedTemporaryFile(
2567 mode="w", prefix="blk_", suffix=".log", delete=False, encoding="utf8"
2569 for lines in output:
2571 if lines and lines[-1] != "\n":
2576 def diff(a: str, b: str, a_name: str, b_name: str) -> str:
2577 """Return a unified diff string between strings `a` and `b`."""
2580 a_lines = [line + "\n" for line in a.split("\n")]
2581 b_lines = [line + "\n" for line in b.split("\n")]
2583 difflib.unified_diff(a_lines, b_lines, fromfile=a_name, tofile=b_name, n=5)
2587 def cancel(tasks: List[asyncio.Task]) -> None:
2588 """asyncio signal handler that cancels all `tasks` and reports to stderr."""
2594 def shutdown(loop: BaseEventLoop) -> None:
2595 """Cancel all pending tasks on `loop`, wait for them, and close the loop."""
2597 # This part is borrowed from asyncio/runners.py in Python 3.7b2.
2598 to_cancel = [task for task in asyncio.Task.all_tasks(loop) if not task.done()]
2602 for task in to_cancel:
2604 loop.run_until_complete(
2605 asyncio.gather(*to_cancel, loop=loop, return_exceptions=True)
2608 # `concurrent.futures.Future` objects cannot be cancelled once they
2609 # are already running. There might be some when the `shutdown()` happened.
2610 # Silence their logger's spew about the event loop being closed.
2611 cf_logger = logging.getLogger("concurrent.futures")
2612 cf_logger.setLevel(logging.CRITICAL)
2616 def sub_twice(regex: Pattern[str], replacement: str, original: str) -> str:
2617 """Replace `regex` with `replacement` twice on `original`.
2619 This is used by string normalization to perform replaces on
2620 overlapping matches.
2622 return regex.sub(replacement, regex.sub(replacement, original))
2625 CACHE_DIR = Path(user_cache_dir("black", version=__version__))
2628 def get_cache_file(line_length: int) -> Path:
2629 return CACHE_DIR / f"cache.{line_length}.pickle"
2632 def read_cache(line_length: int) -> Cache:
2633 """Read the cache if it exists and is well formed.
2635 If it is not well formed, the call to write_cache later should resolve the issue.
2637 cache_file = get_cache_file(line_length)
2638 if not cache_file.exists():
2641 with cache_file.open("rb") as fobj:
2643 cache: Cache = pickle.load(fobj)
2644 except pickle.UnpicklingError:
2650 def get_cache_info(path: Path) -> CacheInfo:
2651 """Return the information used to check if a file is already formatted or not."""
2653 return stat.st_mtime, stat.st_size
2657 cache: Cache, sources: Iterable[Path]
2658 ) -> Tuple[List[Path], List[Path]]:
2659 """Split a list of paths into two.
2661 The first list contains paths of files that modified on disk or are not in the
2662 cache. The other list contains paths to non-modified files.
2667 if cache.get(src) != get_cache_info(src):
2674 def write_cache(cache: Cache, sources: List[Path], line_length: int) -> None:
2675 """Update the cache file."""
2676 cache_file = get_cache_file(line_length)
2678 if not CACHE_DIR.exists():
2679 CACHE_DIR.mkdir(parents=True)
2680 new_cache = {**cache, **{src.resolve(): get_cache_info(src) for src in sources}}
2681 with cache_file.open("wb") as fobj:
2682 pickle.dump(new_cache, fobj, protocol=pickle.HIGHEST_PROTOCOL)
2687 if __name__ == "__main__":