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.
4 from asyncio.base_events import BaseEventLoop
5 from concurrent.futures import Executor, ProcessPoolExecutor
6 from functools import partial, wraps
10 from pathlib import Path
29 from attr import dataclass, Factory
33 from blib2to3.pytree import Node, Leaf, type_repr
34 from blib2to3 import pygram, pytree
35 from blib2to3.pgen2 import driver, token
36 from blib2to3.pgen2.parse import ParseError
38 __version__ = "18.3a4"
39 DEFAULT_LINE_LENGTH = 88
41 syms = pygram.python_symbols
49 LN = Union[Leaf, Node]
50 SplitFunc = Callable[['Line', bool], Iterator['Line']]
51 out = partial(click.secho, bold=True, err=True)
52 err = partial(click.secho, fg='red', err=True)
55 class NothingChanged(UserWarning):
56 """Raised by :func:`format_file` when reformatted code is the same as source."""
59 class CannotSplit(Exception):
60 """A readable split that fits the allotted line length is impossible.
62 Raised by :func:`left_hand_split`, :func:`right_hand_split`, and
63 :func:`delimiter_split`.
67 class FormatError(Exception):
68 """Base exception for `# fmt: on` and `# fmt: off` handling.
70 It holds the number of bytes of the prefix consumed before the format
71 control comment appeared.
74 def __init__(self, consumed: int) -> None:
75 super().__init__(consumed)
76 self.consumed = consumed
78 def trim_prefix(self, leaf: Leaf) -> None:
79 leaf.prefix = leaf.prefix[self.consumed:]
81 def leaf_from_consumed(self, leaf: Leaf) -> Leaf:
82 """Returns a new Leaf from the consumed part of the prefix."""
83 unformatted_prefix = leaf.prefix[:self.consumed]
84 return Leaf(token.NEWLINE, unformatted_prefix)
87 class FormatOn(FormatError):
88 """Found a comment like `# fmt: on` in the file."""
91 class FormatOff(FormatError):
92 """Found a comment like `# fmt: off` in the file."""
100 default=DEFAULT_LINE_LENGTH,
101 help='How many character per line to allow.',
108 "Don't write back the files, just return the status. Return code 0 "
109 "means nothing would change. Return code 1 means some files would be "
110 "reformatted. Return code 123 means there was an internal error."
116 help='If --fast given, skip temporary sanity checks. [default: --safe]',
118 @click.version_option(version=__version__)
123 exists=True, file_okay=True, dir_okay=True, readable=True, allow_dash=True
128 ctx: click.Context, line_length: int, check: bool, fast: bool, src: List[str]
130 """The uncompromising code formatter."""
131 sources: List[Path] = []
135 sources.extend(gen_python_files_in_dir(p))
137 # if a file was explicitly given, we don't care about its extension
140 sources.append(Path('-'))
142 err(f'invalid path: {s}')
143 if len(sources) == 0:
145 elif len(sources) == 1:
147 report = Report(check=check)
149 if not p.is_file() and str(p) == '-':
150 changed = format_stdin_to_stdout(
151 line_length=line_length, fast=fast, write_back=not check
154 changed = format_file_in_place(
155 p, line_length=line_length, fast=fast, write_back=not check
157 report.done(p, changed)
158 except Exception as exc:
159 report.failed(p, str(exc))
160 ctx.exit(report.return_code)
162 loop = asyncio.get_event_loop()
163 executor = ProcessPoolExecutor(max_workers=os.cpu_count())
166 return_code = loop.run_until_complete(
168 sources, line_length, not check, fast, loop, executor
173 ctx.exit(return_code)
176 async def schedule_formatting(
184 """Run formatting of `sources` in parallel using the provided `executor`.
186 (Use ProcessPoolExecutors for actual parallelism.)
188 `line_length`, `write_back`, and `fast` options are passed to
189 :func:`format_file_in_place`.
192 src: loop.run_in_executor(
193 executor, format_file_in_place, src, line_length, fast, write_back
197 _task_values = list(tasks.values())
198 loop.add_signal_handler(signal.SIGINT, cancel, _task_values)
199 loop.add_signal_handler(signal.SIGTERM, cancel, _task_values)
200 await asyncio.wait(tasks.values())
202 report = Report(check=not write_back)
203 for src, task in tasks.items():
205 report.failed(src, 'timed out, cancelling')
207 cancelled.append(task)
208 elif task.cancelled():
209 cancelled.append(task)
210 elif task.exception():
211 report.failed(src, str(task.exception()))
213 report.done(src, task.result())
215 await asyncio.gather(*cancelled, loop=loop, return_exceptions=True)
217 out('All done! ✨ 🍰 ✨')
218 click.echo(str(report))
219 return report.return_code
222 def format_file_in_place(
223 src: Path, line_length: int, fast: bool, write_back: bool = False
225 """Format file under `src` path. Return True if changed.
227 If `write_back` is True, write reformatted code back to stdout.
228 `line_length` and `fast` options are passed to :func:`format_file_contents`.
230 with tokenize.open(src) as src_buffer:
231 src_contents = src_buffer.read()
233 contents = format_file_contents(
234 src_contents, line_length=line_length, fast=fast
236 except NothingChanged:
240 with open(src, "w", encoding=src_buffer.encoding) as f:
245 def format_stdin_to_stdout(
246 line_length: int, fast: bool, write_back: bool = False
248 """Format file on stdin. Return True if changed.
250 If `write_back` is True, write reformatted code back to stdout.
251 `line_length` and `fast` arguments are passed to :func:`format_file_contents`.
253 contents = sys.stdin.read()
255 contents = format_file_contents(contents, line_length=line_length, fast=fast)
258 except NothingChanged:
263 sys.stdout.write(contents)
266 def format_file_contents(
267 src_contents: str, line_length: int, fast: bool
269 """Reformat contents a file and return new contents.
271 If `fast` is False, additionally confirm that the reformatted code is
272 valid by calling :func:`assert_equivalent` and :func:`assert_stable` on it.
273 `line_length` is passed to :func:`format_str`.
275 if src_contents.strip() == '':
278 dst_contents = format_str(src_contents, line_length=line_length)
279 if src_contents == dst_contents:
283 assert_equivalent(src_contents, dst_contents)
284 assert_stable(src_contents, dst_contents, line_length=line_length)
288 def format_str(src_contents: str, line_length: int) -> FileContent:
289 """Reformat a string and return new contents.
291 `line_length` determines how many characters per line are allowed.
293 src_node = lib2to3_parse(src_contents)
295 lines = LineGenerator()
296 elt = EmptyLineTracker()
297 py36 = is_python36(src_node)
300 for current_line in lines.visit(src_node):
301 for _ in range(after):
302 dst_contents += str(empty_line)
303 before, after = elt.maybe_empty_lines(current_line)
304 for _ in range(before):
305 dst_contents += str(empty_line)
306 for line in split_line(current_line, line_length=line_length, py36=py36):
307 dst_contents += str(line)
312 pygram.python_grammar_no_print_statement_no_exec_statement,
313 pygram.python_grammar_no_print_statement,
314 pygram.python_grammar_no_exec_statement,
315 pygram.python_grammar,
319 def lib2to3_parse(src_txt: str) -> Node:
320 """Given a string with source, return the lib2to3 Node."""
321 grammar = pygram.python_grammar_no_print_statement
322 if src_txt[-1] != '\n':
323 nl = '\r\n' if '\r\n' in src_txt[:1024] else '\n'
325 for grammar in GRAMMARS:
326 drv = driver.Driver(grammar, pytree.convert)
328 result = drv.parse_string(src_txt, True)
331 except ParseError as pe:
332 lineno, column = pe.context[1]
333 lines = src_txt.splitlines()
335 faulty_line = lines[lineno - 1]
337 faulty_line = "<line number missing in source>"
338 exc = ValueError(f"Cannot parse: {lineno}:{column}: {faulty_line}")
342 if isinstance(result, Leaf):
343 result = Node(syms.file_input, [result])
347 def lib2to3_unparse(node: Node) -> str:
348 """Given a lib2to3 node, return its string representation."""
356 class Visitor(Generic[T]):
357 """Basic lib2to3 visitor that yields things of type `T` on `visit()`."""
359 def visit(self, node: LN) -> Iterator[T]:
360 """Main method to visit `node` and its children.
362 It tries to find a `visit_*()` method for the given `node.type`, like
363 `visit_simple_stmt` for Node objects or `visit_INDENT` for Leaf objects.
364 If no dedicated `visit_*()` method is found, chooses `visit_default()`
367 Then yields objects of type `T` from the selected visitor.
370 name = token.tok_name[node.type]
372 name = type_repr(node.type)
373 yield from getattr(self, f'visit_{name}', self.visit_default)(node)
375 def visit_default(self, node: LN) -> Iterator[T]:
376 """Default `visit_*()` implementation. Recurses to children of `node`."""
377 if isinstance(node, Node):
378 for child in node.children:
379 yield from self.visit(child)
383 class DebugVisitor(Visitor[T]):
386 def visit_default(self, node: LN) -> Iterator[T]:
387 indent = ' ' * (2 * self.tree_depth)
388 if isinstance(node, Node):
389 _type = type_repr(node.type)
390 out(f'{indent}{_type}', fg='yellow')
392 for child in node.children:
393 yield from self.visit(child)
396 out(f'{indent}/{_type}', fg='yellow', bold=False)
398 _type = token.tok_name.get(node.type, str(node.type))
399 out(f'{indent}{_type}', fg='blue', nl=False)
401 # We don't have to handle prefixes for `Node` objects since
402 # that delegates to the first child anyway.
403 out(f' {node.prefix!r}', fg='green', bold=False, nl=False)
404 out(f' {node.value!r}', fg='blue', bold=False)
407 def show(cls, code: str) -> None:
408 """Pretty-print the lib2to3 AST of a given string of `code`.
410 Convenience method for debugging.
412 v: DebugVisitor[None] = DebugVisitor()
413 list(v.visit(lib2to3_parse(code)))
416 KEYWORDS = set(keyword.kwlist)
417 WHITESPACE = {token.DEDENT, token.INDENT, token.NEWLINE}
418 FLOW_CONTROL = {'return', 'raise', 'break', 'continue'}
429 STANDALONE_COMMENT = 153
430 LOGIC_OPERATORS = {'and', 'or'}
454 COMPREHENSION_PRIORITY = 20
458 COMPARATOR_PRIORITY = 3
463 class BracketTracker:
464 """Keeps track of brackets on a line."""
467 bracket_match: Dict[Tuple[Depth, NodeType], Leaf] = Factory(dict)
468 delimiters: Dict[LeafID, Priority] = Factory(dict)
469 previous: Optional[Leaf] = None
471 def mark(self, leaf: Leaf) -> None:
472 """Mark `leaf` with bracket-related metadata. Keep track of delimiters.
474 All leaves receive an int `bracket_depth` field that stores how deep
475 within brackets a given leaf is. 0 means there are no enclosing brackets
476 that started on this line.
478 If a leaf is itself a closing bracket, it receives an `opening_bracket`
479 field that it forms a pair with. This is a one-directional link to
480 avoid reference cycles.
482 If a leaf is a delimiter (a token on which Black can split the line if
483 needed) and it's on depth 0, its `id()` is stored in the tracker's
486 if leaf.type == token.COMMENT:
489 if leaf.type in CLOSING_BRACKETS:
491 opening_bracket = self.bracket_match.pop((self.depth, leaf.type))
492 leaf.opening_bracket = opening_bracket
493 leaf.bracket_depth = self.depth
495 delim = is_delimiter(leaf)
497 self.delimiters[id(leaf)] = delim
498 elif self.previous is not None:
499 if leaf.type == token.STRING and self.previous.type == token.STRING:
500 self.delimiters[id(self.previous)] = STRING_PRIORITY
502 leaf.type == token.NAME
503 and leaf.value == 'for'
505 and leaf.parent.type in {syms.comp_for, syms.old_comp_for}
507 self.delimiters[id(self.previous)] = COMPREHENSION_PRIORITY
509 leaf.type == token.NAME
510 and leaf.value == 'if'
512 and leaf.parent.type in {syms.comp_if, syms.old_comp_if}
514 self.delimiters[id(self.previous)] = COMPREHENSION_PRIORITY
516 leaf.type == token.NAME
517 and leaf.value in LOGIC_OPERATORS
520 self.delimiters[id(self.previous)] = LOGIC_PRIORITY
521 if leaf.type in OPENING_BRACKETS:
522 self.bracket_match[self.depth, BRACKET[leaf.type]] = leaf
526 def any_open_brackets(self) -> bool:
527 """Return True if there is an yet unmatched open bracket on the line."""
528 return bool(self.bracket_match)
530 def max_delimiter_priority(self, exclude: Iterable[LeafID] = ()) -> int:
531 """Return the highest priority of a delimiter found on the line.
533 Values are consistent with what `is_delimiter()` returns.
535 return max(v for k, v in self.delimiters.items() if k not in exclude)
540 """Holds leaves and comments. Can be printed with `str(line)`."""
543 leaves: List[Leaf] = Factory(list)
544 comments: List[Tuple[Index, Leaf]] = Factory(list)
545 bracket_tracker: BracketTracker = Factory(BracketTracker)
546 inside_brackets: bool = False
547 has_for: bool = False
548 _for_loop_variable: bool = False
550 def append(self, leaf: Leaf, preformatted: bool = False) -> None:
551 """Add a new `leaf` to the end of the line.
553 Unless `preformatted` is True, the `leaf` will receive a new consistent
554 whitespace prefix and metadata applied by :class:`BracketTracker`.
555 Trailing commas are maybe removed, unpacked for loop variables are
556 demoted from being delimiters.
558 Inline comments are put aside.
560 has_value = leaf.value.strip()
564 if self.leaves and not preformatted:
565 # Note: at this point leaf.prefix should be empty except for
566 # imports, for which we only preserve newlines.
567 leaf.prefix += whitespace(leaf)
568 if self.inside_brackets or not preformatted:
569 self.maybe_decrement_after_for_loop_variable(leaf)
570 self.bracket_tracker.mark(leaf)
571 self.maybe_remove_trailing_comma(leaf)
572 self.maybe_increment_for_loop_variable(leaf)
574 if not self.append_comment(leaf):
575 self.leaves.append(leaf)
577 def append_safe(self, leaf: Leaf, preformatted: bool = False) -> None:
578 """Like :func:`append()` but disallow invalid standalone comment structure.
580 Raises ValueError when any `leaf` is appended after a standalone comment
581 or when a standalone comment is not the first leaf on the line.
583 if self.bracket_tracker.depth == 0:
585 raise ValueError("cannot append to standalone comments")
587 if self.leaves and leaf.type == STANDALONE_COMMENT:
589 "cannot append standalone comments to a populated line"
592 self.append(leaf, preformatted=preformatted)
595 def is_comment(self) -> bool:
596 """Is this line a standalone comment?"""
597 return len(self.leaves) == 1 and self.leaves[0].type == STANDALONE_COMMENT
600 def is_decorator(self) -> bool:
601 """Is this line a decorator?"""
602 return bool(self) and self.leaves[0].type == token.AT
605 def is_import(self) -> bool:
606 """Is this an import line?"""
607 return bool(self) and is_import(self.leaves[0])
610 def is_class(self) -> bool:
611 """Is this line a class definition?"""
614 and self.leaves[0].type == token.NAME
615 and self.leaves[0].value == 'class'
619 def is_def(self) -> bool:
620 """Is this a function definition? (Also returns True for async defs.)"""
622 first_leaf = self.leaves[0]
627 second_leaf: Optional[Leaf] = self.leaves[1]
631 (first_leaf.type == token.NAME and first_leaf.value == 'def')
633 first_leaf.type == token.ASYNC
634 and second_leaf is not None
635 and second_leaf.type == token.NAME
636 and second_leaf.value == 'def'
641 def is_flow_control(self) -> bool:
642 """Is this line a flow control statement?
644 Those are `return`, `raise`, `break`, and `continue`.
648 and self.leaves[0].type == token.NAME
649 and self.leaves[0].value in FLOW_CONTROL
653 def is_yield(self) -> bool:
654 """Is this line a yield statement?"""
657 and self.leaves[0].type == token.NAME
658 and self.leaves[0].value == 'yield'
662 def contains_standalone_comments(self) -> bool:
663 """If so, needs to be split before emitting."""
664 for leaf in self.leaves:
665 if leaf.type == STANDALONE_COMMENT:
670 def maybe_remove_trailing_comma(self, closing: Leaf) -> bool:
671 """Remove trailing comma if there is one and it's safe."""
674 and self.leaves[-1].type == token.COMMA
675 and closing.type in CLOSING_BRACKETS
679 if closing.type == token.RBRACE:
680 self.remove_trailing_comma()
683 if closing.type == token.RSQB:
684 comma = self.leaves[-1]
685 if comma.parent and comma.parent.type == syms.listmaker:
686 self.remove_trailing_comma()
689 # For parens let's check if it's safe to remove the comma. If the
690 # trailing one is the only one, we might mistakenly change a tuple
691 # into a different type by removing the comma.
692 depth = closing.bracket_depth + 1
694 opening = closing.opening_bracket
695 for _opening_index, leaf in enumerate(self.leaves):
702 for leaf in self.leaves[_opening_index + 1:]:
706 bracket_depth = leaf.bracket_depth
707 if bracket_depth == depth and leaf.type == token.COMMA:
709 if leaf.parent and leaf.parent.type == syms.arglist:
714 self.remove_trailing_comma()
719 def maybe_increment_for_loop_variable(self, leaf: Leaf) -> bool:
720 """In a for loop, or comprehension, the variables are often unpacks.
722 To avoid splitting on the comma in this situation, increase the depth of
723 tokens between `for` and `in`.
725 if leaf.type == token.NAME and leaf.value == 'for':
727 self.bracket_tracker.depth += 1
728 self._for_loop_variable = True
733 def maybe_decrement_after_for_loop_variable(self, leaf: Leaf) -> bool:
734 """See `maybe_increment_for_loop_variable` above for explanation."""
735 if self._for_loop_variable and leaf.type == token.NAME and leaf.value == 'in':
736 self.bracket_tracker.depth -= 1
737 self._for_loop_variable = False
742 def append_comment(self, comment: Leaf) -> bool:
743 """Add an inline or standalone comment to the line."""
745 comment.type == STANDALONE_COMMENT
746 and self.bracket_tracker.any_open_brackets()
751 if comment.type != token.COMMENT:
754 after = len(self.leaves) - 1
756 comment.type = STANDALONE_COMMENT
761 self.comments.append((after, comment))
764 def comments_after(self, leaf: Leaf) -> Iterator[Leaf]:
765 """Generate comments that should appear directly after `leaf`."""
766 for _leaf_index, _leaf in enumerate(self.leaves):
773 for index, comment_after in self.comments:
774 if _leaf_index == index:
777 def remove_trailing_comma(self) -> None:
778 """Remove the trailing comma and moves the comments attached to it."""
779 comma_index = len(self.leaves) - 1
780 for i in range(len(self.comments)):
781 comment_index, comment = self.comments[i]
782 if comment_index == comma_index:
783 self.comments[i] = (comma_index - 1, comment)
786 def __str__(self) -> str:
787 """Render the line."""
791 indent = ' ' * self.depth
792 leaves = iter(self.leaves)
794 res = f'{first.prefix}{indent}{first.value}'
797 for _, comment in self.comments:
801 def __bool__(self) -> bool:
802 """Return True if the line has leaves or comments."""
803 return bool(self.leaves or self.comments)
806 class UnformattedLines(Line):
807 """Just like :class:`Line` but stores lines which aren't reformatted."""
809 def append(self, leaf: Leaf, preformatted: bool = True) -> None:
810 """Just add a new `leaf` to the end of the lines.
812 The `preformatted` argument is ignored.
814 Keeps track of indentation `depth`, which is useful when the user
815 says `# fmt: on`. Otherwise, doesn't do anything with the `leaf`.
818 list(generate_comments(leaf))
819 except FormatOn as f_on:
820 self.leaves.append(f_on.leaf_from_consumed(leaf))
823 self.leaves.append(leaf)
824 if leaf.type == token.INDENT:
826 elif leaf.type == token.DEDENT:
829 def __str__(self) -> str:
830 """Render unformatted lines from leaves which were added with `append()`.
832 `depth` is not used for indentation in this case.
838 for leaf in self.leaves:
842 def append_comment(self, comment: Leaf) -> bool:
843 """Not implemented in this class. Raises `NotImplementedError`."""
844 raise NotImplementedError("Unformatted lines don't store comments separately.")
846 def maybe_remove_trailing_comma(self, closing: Leaf) -> bool:
847 """Does nothing and returns False."""
850 def maybe_increment_for_loop_variable(self, leaf: Leaf) -> bool:
851 """Does nothing and returns False."""
856 class EmptyLineTracker:
857 """Provides a stateful method that returns the number of potential extra
858 empty lines needed before and after the currently processed line.
860 Note: this tracker works on lines that haven't been split yet. It assumes
861 the prefix of the first leaf consists of optional newlines. Those newlines
862 are consumed by `maybe_empty_lines()` and included in the computation.
864 previous_line: Optional[Line] = None
865 previous_after: int = 0
866 previous_defs: List[int] = Factory(list)
868 def maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
869 """Return the number of extra empty lines before and after the `current_line`.
871 This is for separating `def`, `async def` and `class` with extra empty
872 lines (two on module-level), as well as providing an extra empty line
873 after flow control keywords to make them more prominent.
875 if isinstance(current_line, UnformattedLines):
878 before, after = self._maybe_empty_lines(current_line)
879 before -= self.previous_after
880 self.previous_after = after
881 self.previous_line = current_line
884 def _maybe_empty_lines(self, current_line: Line) -> Tuple[int, int]:
886 if current_line.depth == 0:
888 if current_line.leaves:
889 # Consume the first leaf's extra newlines.
890 first_leaf = current_line.leaves[0]
891 before = first_leaf.prefix.count('\n')
892 before = min(before, max_allowed)
893 first_leaf.prefix = ''
896 depth = current_line.depth
897 while self.previous_defs and self.previous_defs[-1] >= depth:
898 self.previous_defs.pop()
899 before = 1 if depth else 2
900 is_decorator = current_line.is_decorator
901 if is_decorator or current_line.is_def or current_line.is_class:
903 self.previous_defs.append(depth)
904 if self.previous_line is None:
905 # Don't insert empty lines before the first line in the file.
908 if self.previous_line and self.previous_line.is_decorator:
909 # Don't insert empty lines between decorators.
913 if current_line.depth:
917 if current_line.is_flow_control:
922 and self.previous_line.is_import
923 and not current_line.is_import
924 and depth == self.previous_line.depth
926 return (before or 1), 0
930 and self.previous_line.is_yield
931 and (not current_line.is_yield or depth != self.previous_line.depth)
933 return (before or 1), 0
939 class LineGenerator(Visitor[Line]):
940 """Generates reformatted Line objects. Empty lines are not emitted.
942 Note: destroys the tree it's visiting by mutating prefixes of its leaves
943 in ways that will no longer stringify to valid Python code on the tree.
945 current_line: Line = Factory(Line)
947 def line(self, indent: int = 0, type: Type[Line] = Line) -> Iterator[Line]:
950 If the line is empty, only emit if it makes sense.
951 If the line is too long, split it first and then generate.
953 If any lines were generated, set up a new current_line.
955 if not self.current_line:
956 if self.current_line.__class__ == type:
957 self.current_line.depth += indent
959 self.current_line = type(depth=self.current_line.depth + indent)
960 return # Line is empty, don't emit. Creating a new one unnecessary.
962 complete_line = self.current_line
963 self.current_line = type(depth=complete_line.depth + indent)
966 def visit(self, node: LN) -> Iterator[Line]:
967 """Main method to visit `node` and its children.
969 Yields :class:`Line` objects.
971 if isinstance(self.current_line, UnformattedLines):
972 # File contained `# fmt: off`
973 yield from self.visit_unformatted(node)
976 yield from super().visit(node)
978 def visit_default(self, node: LN) -> Iterator[Line]:
979 """Default `visit_*()` implementation. Recurses to children of `node`."""
980 if isinstance(node, Leaf):
981 any_open_brackets = self.current_line.bracket_tracker.any_open_brackets()
983 for comment in generate_comments(node):
984 if any_open_brackets:
985 # any comment within brackets is subject to splitting
986 self.current_line.append(comment)
987 elif comment.type == token.COMMENT:
988 # regular trailing comment
989 self.current_line.append(comment)
990 yield from self.line()
993 # regular standalone comment
994 yield from self.line()
996 self.current_line.append(comment)
997 yield from self.line()
999 except FormatOff as f_off:
1000 f_off.trim_prefix(node)
1001 yield from self.line(type=UnformattedLines)
1002 yield from self.visit(node)
1004 except FormatOn as f_on:
1005 # This only happens here if somebody says "fmt: on" multiple
1007 f_on.trim_prefix(node)
1008 yield from self.visit_default(node)
1011 normalize_prefix(node, inside_brackets=any_open_brackets)
1012 if node.type not in WHITESPACE:
1013 self.current_line.append(node)
1014 yield from super().visit_default(node)
1016 def visit_INDENT(self, node: Node) -> Iterator[Line]:
1017 """Increase indentation level, maybe yield a line."""
1018 # In blib2to3 INDENT never holds comments.
1019 yield from self.line(+1)
1020 yield from self.visit_default(node)
1022 def visit_DEDENT(self, node: Node) -> Iterator[Line]:
1023 """Decrease indentation level, maybe yield a line."""
1024 # DEDENT has no value. Additionally, in blib2to3 it never holds comments.
1025 yield from self.line(-1)
1027 def visit_stmt(self, node: Node, keywords: Set[str]) -> Iterator[Line]:
1028 """Visit a statement.
1030 This implementation is shared for `if`, `while`, `for`, `try`, `except`,
1031 `def`, `with`, and `class`.
1033 The relevant Python language `keywords` for a given statement will be NAME
1034 leaves within it. This methods puts those on a separate line.
1036 for child in node.children:
1037 if child.type == token.NAME and child.value in keywords: # type: ignore
1038 yield from self.line()
1040 yield from self.visit(child)
1042 def visit_simple_stmt(self, node: Node) -> Iterator[Line]:
1043 """Visit a statement without nested statements."""
1044 is_suite_like = node.parent and node.parent.type in STATEMENT
1046 yield from self.line(+1)
1047 yield from self.visit_default(node)
1048 yield from self.line(-1)
1051 yield from self.line()
1052 yield from self.visit_default(node)
1054 def visit_async_stmt(self, node: Node) -> Iterator[Line]:
1055 """Visit `async def`, `async for`, `async with`."""
1056 yield from self.line()
1058 children = iter(node.children)
1059 for child in children:
1060 yield from self.visit(child)
1062 if child.type == token.ASYNC:
1065 internal_stmt = next(children)
1066 for child in internal_stmt.children:
1067 yield from self.visit(child)
1069 def visit_decorators(self, node: Node) -> Iterator[Line]:
1070 """Visit decorators."""
1071 for child in node.children:
1072 yield from self.line()
1073 yield from self.visit(child)
1075 def visit_SEMI(self, leaf: Leaf) -> Iterator[Line]:
1076 """Remove a semicolon and put the other statement on a separate line."""
1077 yield from self.line()
1079 def visit_ENDMARKER(self, leaf: Leaf) -> Iterator[Line]:
1080 """End of file. Process outstanding comments and end with a newline."""
1081 yield from self.visit_default(leaf)
1082 yield from self.line()
1084 def visit_unformatted(self, node: LN) -> Iterator[Line]:
1085 """Used when file contained a `# fmt: off`."""
1086 if isinstance(node, Node):
1087 for child in node.children:
1088 yield from self.visit(child)
1092 self.current_line.append(node)
1093 except FormatOn as f_on:
1094 f_on.trim_prefix(node)
1095 yield from self.line()
1096 yield from self.visit(node)
1098 def __attrs_post_init__(self) -> None:
1099 """You are in a twisty little maze of passages."""
1101 self.visit_if_stmt = partial(v, keywords={'if', 'else', 'elif'})
1102 self.visit_while_stmt = partial(v, keywords={'while', 'else'})
1103 self.visit_for_stmt = partial(v, keywords={'for', 'else'})
1104 self.visit_try_stmt = partial(v, keywords={'try', 'except', 'else', 'finally'})
1105 self.visit_except_clause = partial(v, keywords={'except'})
1106 self.visit_funcdef = partial(v, keywords={'def'})
1107 self.visit_with_stmt = partial(v, keywords={'with'})
1108 self.visit_classdef = partial(v, keywords={'class'})
1109 self.visit_async_funcdef = self.visit_async_stmt
1110 self.visit_decorated = self.visit_decorators
1113 BRACKET = {token.LPAR: token.RPAR, token.LSQB: token.RSQB, token.LBRACE: token.RBRACE}
1114 OPENING_BRACKETS = set(BRACKET.keys())
1115 CLOSING_BRACKETS = set(BRACKET.values())
1116 BRACKETS = OPENING_BRACKETS | CLOSING_BRACKETS
1117 ALWAYS_NO_SPACE = CLOSING_BRACKETS | {token.COMMA, STANDALONE_COMMENT}
1120 def whitespace(leaf: Leaf) -> str: # noqa C901
1121 """Return whitespace prefix if needed for the given `leaf`."""
1128 if t in ALWAYS_NO_SPACE:
1131 if t == token.COMMENT:
1134 assert p is not None, f"INTERNAL ERROR: hand-made leaf without parent: {leaf!r}"
1135 if t == token.COLON and p.type not in {syms.subscript, syms.subscriptlist}:
1138 prev = leaf.prev_sibling
1140 prevp = preceding_leaf(p)
1141 if not prevp or prevp.type in OPENING_BRACKETS:
1144 if t == token.COLON:
1145 return SPACE if prevp.type == token.COMMA else NO
1147 if prevp.type == token.EQUAL:
1149 if prevp.parent.type in {
1150 syms.arglist, syms.argument, syms.parameters, syms.varargslist
1154 elif prevp.parent.type == syms.typedargslist:
1155 # A bit hacky: if the equal sign has whitespace, it means we
1156 # previously found it's a typed argument. So, we're using
1160 elif prevp.type == token.DOUBLESTAR:
1161 if prevp.parent and prevp.parent.type in {
1171 elif prevp.type == token.COLON:
1172 if prevp.parent and prevp.parent.type in {syms.subscript, syms.sliceop}:
1177 and prevp.parent.type in {syms.factor, syms.star_expr}
1178 and prevp.type in MATH_OPERATORS
1183 prevp.type == token.RIGHTSHIFT
1185 and prevp.parent.type == syms.shift_expr
1186 and prevp.prev_sibling
1187 and prevp.prev_sibling.type == token.NAME
1188 and prevp.prev_sibling.value == 'print' # type: ignore
1190 # Python 2 print chevron
1193 elif prev.type in OPENING_BRACKETS:
1196 if p.type in {syms.parameters, syms.arglist}:
1197 # untyped function signatures or calls
1201 if not prev or prev.type != token.COMMA:
1204 elif p.type == syms.varargslist:
1209 if prev and prev.type != token.COMMA:
1212 elif p.type == syms.typedargslist:
1213 # typed function signatures
1217 if t == token.EQUAL:
1218 if prev.type != syms.tname:
1221 elif prev.type == token.EQUAL:
1222 # A bit hacky: if the equal sign has whitespace, it means we
1223 # previously found it's a typed argument. So, we're using that, too.
1226 elif prev.type != token.COMMA:
1229 elif p.type == syms.tname:
1232 prevp = preceding_leaf(p)
1233 if not prevp or prevp.type != token.COMMA:
1236 elif p.type == syms.trailer:
1237 # attributes and calls
1238 if t == token.LPAR or t == token.RPAR:
1243 prevp = preceding_leaf(p)
1244 if not prevp or prevp.type != token.NUMBER:
1247 elif t == token.LSQB:
1250 elif prev.type != token.COMMA:
1253 elif p.type == syms.argument:
1255 if t == token.EQUAL:
1259 prevp = preceding_leaf(p)
1260 if not prevp or prevp.type == token.LPAR:
1263 elif prev.type == token.EQUAL or prev.type == token.DOUBLESTAR:
1266 elif p.type == syms.decorator:
1270 elif p.type == syms.dotted_name:
1274 prevp = preceding_leaf(p)
1275 if not prevp or prevp.type == token.AT or prevp.type == token.DOT:
1278 elif p.type == syms.classdef:
1282 if prev and prev.type == token.LPAR:
1285 elif p.type == syms.subscript:
1288 assert p.parent is not None, "subscripts are always parented"
1289 if p.parent.type == syms.subscriptlist:
1297 elif p.type == syms.atom:
1298 if prev and t == token.DOT:
1299 # dots, but not the first one.
1303 p.type == syms.listmaker
1304 or p.type == syms.testlist_gexp
1305 or p.type == syms.subscriptlist
1307 # list interior, including unpacking
1311 elif p.type == syms.dictsetmaker:
1312 # dict and set interior, including unpacking
1316 if prev.type == token.DOUBLESTAR:
1319 elif p.type in {syms.factor, syms.star_expr}:
1322 prevp = preceding_leaf(p)
1323 if not prevp or prevp.type in OPENING_BRACKETS:
1326 prevp_parent = prevp.parent
1327 assert prevp_parent is not None
1328 if prevp.type == token.COLON and prevp_parent.type in {
1329 syms.subscript, syms.sliceop
1333 elif prevp.type == token.EQUAL and prevp_parent.type == syms.argument:
1336 elif t == token.NAME or t == token.NUMBER:
1339 elif p.type == syms.import_from:
1341 if prev and prev.type == token.DOT:
1344 elif t == token.NAME:
1348 if prev and prev.type == token.DOT:
1351 elif p.type == syms.sliceop:
1357 def preceding_leaf(node: Optional[LN]) -> Optional[Leaf]:
1358 """Return the first leaf that precedes `node`, if any."""
1360 res = node.prev_sibling
1362 if isinstance(res, Leaf):
1366 return list(res.leaves())[-1]
1375 def is_delimiter(leaf: Leaf) -> int:
1376 """Return the priority of the `leaf` delimiter. Return 0 if not delimiter.
1378 Higher numbers are higher priority.
1380 if leaf.type == token.COMMA:
1381 return COMMA_PRIORITY
1383 if leaf.type in COMPARATORS:
1384 return COMPARATOR_PRIORITY
1387 leaf.type in MATH_OPERATORS
1389 and leaf.parent.type not in {syms.factor, syms.star_expr}
1391 return MATH_PRIORITY
1396 def generate_comments(leaf: Leaf) -> Iterator[Leaf]:
1397 """Clean the prefix of the `leaf` and generate comments from it, if any.
1399 Comments in lib2to3 are shoved into the whitespace prefix. This happens
1400 in `pgen2/driver.py:Driver.parse_tokens()`. This was a brilliant implementation
1401 move because it does away with modifying the grammar to include all the
1402 possible places in which comments can be placed.
1404 The sad consequence for us though is that comments don't "belong" anywhere.
1405 This is why this function generates simple parentless Leaf objects for
1406 comments. We simply don't know what the correct parent should be.
1408 No matter though, we can live without this. We really only need to
1409 differentiate between inline and standalone comments. The latter don't
1410 share the line with any code.
1412 Inline comments are emitted as regular token.COMMENT leaves. Standalone
1413 are emitted with a fake STANDALONE_COMMENT token identifier.
1424 for index, line in enumerate(p.split('\n')):
1425 consumed += len(line) + 1 # adding the length of the split '\n'
1426 line = line.lstrip()
1429 if not line.startswith('#'):
1432 if index == 0 and leaf.type != token.ENDMARKER:
1433 comment_type = token.COMMENT # simple trailing comment
1435 comment_type = STANDALONE_COMMENT
1436 comment = make_comment(line)
1437 yield Leaf(comment_type, comment, prefix='\n' * nlines)
1439 if comment in {'# fmt: on', '# yapf: enable'}:
1440 raise FormatOn(consumed)
1442 if comment in {'# fmt: off', '# yapf: disable'}:
1443 raise FormatOff(consumed)
1448 def make_comment(content: str) -> str:
1449 """Return a consistently formatted comment from the given `content` string.
1451 All comments (except for "##", "#!", "#:") should have a single space between
1452 the hash sign and the content.
1454 If `content` didn't start with a hash sign, one is provided.
1456 content = content.rstrip()
1460 if content[0] == '#':
1461 content = content[1:]
1462 if content and content[0] not in ' !:#':
1463 content = ' ' + content
1464 return '#' + content
1468 line: Line, line_length: int, inner: bool = False, py36: bool = False
1469 ) -> Iterator[Line]:
1470 """Split a `line` into potentially many lines.
1472 They should fit in the allotted `line_length` but might not be able to.
1473 `inner` signifies that there were a pair of brackets somewhere around the
1474 current `line`, possibly transitively. This means we can fallback to splitting
1475 by delimiters if the LHS/RHS don't yield any results.
1477 If `py36` is True, splitting may generate syntax that is only compatible
1478 with Python 3.6 and later.
1480 if isinstance(line, UnformattedLines) or line.is_comment:
1484 line_str = str(line).strip('\n')
1486 len(line_str) <= line_length
1487 and '\n' not in line_str # multiline strings
1488 and not line.contains_standalone_comments
1493 split_funcs: List[SplitFunc]
1495 split_funcs = [left_hand_split]
1496 elif line.inside_brackets:
1497 split_funcs = [delimiter_split, standalone_comment_split, right_hand_split]
1499 split_funcs = [right_hand_split]
1500 for split_func in split_funcs:
1501 # We are accumulating lines in `result` because we might want to abort
1502 # mission and return the original line in the end, or attempt a different
1504 result: List[Line] = []
1506 for l in split_func(line, py36):
1507 if str(l).strip('\n') == line_str:
1508 raise CannotSplit("Split function returned an unchanged result")
1511 split_line(l, line_length=line_length, inner=True, py36=py36)
1513 except CannotSplit as cs:
1524 def left_hand_split(line: Line, py36: bool = False) -> Iterator[Line]:
1525 """Split line into many lines, starting with the first matching bracket pair.
1527 Note: this usually looks weird, only use this for function definitions.
1528 Prefer RHS otherwise.
1530 head = Line(depth=line.depth)
1531 body = Line(depth=line.depth + 1, inside_brackets=True)
1532 tail = Line(depth=line.depth)
1533 tail_leaves: List[Leaf] = []
1534 body_leaves: List[Leaf] = []
1535 head_leaves: List[Leaf] = []
1536 current_leaves = head_leaves
1537 matching_bracket = None
1538 for leaf in line.leaves:
1540 current_leaves is body_leaves
1541 and leaf.type in CLOSING_BRACKETS
1542 and leaf.opening_bracket is matching_bracket
1544 current_leaves = tail_leaves if body_leaves else head_leaves
1545 current_leaves.append(leaf)
1546 if current_leaves is head_leaves:
1547 if leaf.type in OPENING_BRACKETS:
1548 matching_bracket = leaf
1549 current_leaves = body_leaves
1550 # Since body is a new indent level, remove spurious leading whitespace.
1552 normalize_prefix(body_leaves[0], inside_brackets=True)
1553 # Build the new lines.
1554 for result, leaves in (
1555 (head, head_leaves), (body, body_leaves), (tail, tail_leaves)
1558 result.append(leaf, preformatted=True)
1559 for comment_after in line.comments_after(leaf):
1560 result.append(comment_after, preformatted=True)
1561 bracket_split_succeeded_or_raise(head, body, tail)
1562 for result in (head, body, tail):
1567 def right_hand_split(line: Line, py36: bool = False) -> Iterator[Line]:
1568 """Split line into many lines, starting with the last matching bracket pair."""
1569 head = Line(depth=line.depth)
1570 body = Line(depth=line.depth + 1, inside_brackets=True)
1571 tail = Line(depth=line.depth)
1572 tail_leaves: List[Leaf] = []
1573 body_leaves: List[Leaf] = []
1574 head_leaves: List[Leaf] = []
1575 current_leaves = tail_leaves
1576 opening_bracket = None
1577 for leaf in reversed(line.leaves):
1578 if current_leaves is body_leaves:
1579 if leaf is opening_bracket:
1580 current_leaves = head_leaves if body_leaves else tail_leaves
1581 current_leaves.append(leaf)
1582 if current_leaves is tail_leaves:
1583 if leaf.type in CLOSING_BRACKETS:
1584 opening_bracket = leaf.opening_bracket
1585 current_leaves = body_leaves
1586 tail_leaves.reverse()
1587 body_leaves.reverse()
1588 head_leaves.reverse()
1589 # Since body is a new indent level, remove spurious leading whitespace.
1591 normalize_prefix(body_leaves[0], inside_brackets=True)
1592 # Build the new lines.
1593 for result, leaves in (
1594 (head, head_leaves), (body, body_leaves), (tail, tail_leaves)
1597 result.append(leaf, preformatted=True)
1598 for comment_after in line.comments_after(leaf):
1599 result.append(comment_after, preformatted=True)
1600 bracket_split_succeeded_or_raise(head, body, tail)
1601 for result in (head, body, tail):
1606 def bracket_split_succeeded_or_raise(head: Line, body: Line, tail: Line) -> None:
1607 """Raise :exc:`CannotSplit` if the last left- or right-hand split failed.
1609 Do nothing otherwise.
1611 A left- or right-hand split is based on a pair of brackets. Content before
1612 (and including) the opening bracket is left on one line, content inside the
1613 brackets is put on a separate line, and finally content starting with and
1614 following the closing bracket is put on a separate line.
1616 Those are called `head`, `body`, and `tail`, respectively. If the split
1617 produced the same line (all content in `head`) or ended up with an empty `body`
1618 and the `tail` is just the closing bracket, then it's considered failed.
1620 tail_len = len(str(tail).strip())
1623 raise CannotSplit("Splitting brackets produced the same line")
1627 f"Splitting brackets on an empty body to save "
1628 f"{tail_len} characters is not worth it"
1632 def dont_increase_indentation(split_func: SplitFunc) -> SplitFunc:
1633 """Normalize prefix of the first leaf in every line returned by `split_func`.
1635 This is a decorator over relevant split functions.
1639 def split_wrapper(line: Line, py36: bool = False) -> Iterator[Line]:
1640 for l in split_func(line, py36):
1641 normalize_prefix(l.leaves[0], inside_brackets=True)
1644 return split_wrapper
1647 @dont_increase_indentation
1648 def delimiter_split(line: Line, py36: bool = False) -> Iterator[Line]:
1649 """Split according to delimiters of the highest priority.
1651 If `py36` is True, the split will add trailing commas also in function
1652 signatures that contain `*` and `**`.
1655 last_leaf = line.leaves[-1]
1657 raise CannotSplit("Line empty")
1659 delimiters = line.bracket_tracker.delimiters
1661 delimiter_priority = line.bracket_tracker.max_delimiter_priority(
1662 exclude={id(last_leaf)}
1665 raise CannotSplit("No delimiters found")
1667 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
1668 lowest_depth = sys.maxsize
1669 trailing_comma_safe = True
1671 def append_to_line(leaf: Leaf) -> Iterator[Line]:
1672 """Append `leaf` to current line or to new line if appending impossible."""
1673 nonlocal current_line
1675 current_line.append_safe(leaf, preformatted=True)
1676 except ValueError as ve:
1679 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
1680 current_line.append(leaf)
1682 for leaf in line.leaves:
1683 yield from append_to_line(leaf)
1685 for comment_after in line.comments_after(leaf):
1686 yield from append_to_line(comment_after)
1688 lowest_depth = min(lowest_depth, leaf.bracket_depth)
1690 leaf.bracket_depth == lowest_depth
1691 and leaf.type == token.STAR
1692 or leaf.type == token.DOUBLESTAR
1694 trailing_comma_safe = trailing_comma_safe and py36
1695 leaf_priority = delimiters.get(id(leaf))
1696 if leaf_priority == delimiter_priority:
1699 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
1702 delimiter_priority == COMMA_PRIORITY
1703 and current_line.leaves[-1].type != token.COMMA
1704 and trailing_comma_safe
1706 current_line.append(Leaf(token.COMMA, ','))
1710 @dont_increase_indentation
1711 def standalone_comment_split(line: Line, py36: bool = False) -> Iterator[Line]:
1712 """Split standalone comments from the rest of the line."""
1713 for leaf in line.leaves:
1714 if leaf.type == STANDALONE_COMMENT:
1715 if leaf.bracket_depth == 0:
1719 raise CannotSplit("Line does not have any standalone comments")
1721 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
1723 def append_to_line(leaf: Leaf) -> Iterator[Line]:
1724 """Append `leaf` to current line or to new line if appending impossible."""
1725 nonlocal current_line
1727 current_line.append_safe(leaf, preformatted=True)
1728 except ValueError as ve:
1731 current_line = Line(depth=line.depth, inside_brackets=line.inside_brackets)
1732 current_line.append(leaf)
1734 for leaf in line.leaves:
1735 yield from append_to_line(leaf)
1737 for comment_after in line.comments_after(leaf):
1738 yield from append_to_line(comment_after)
1744 def is_import(leaf: Leaf) -> bool:
1745 """Return True if the given leaf starts an import statement."""
1752 (v == 'import' and p and p.type == syms.import_name)
1753 or (v == 'from' and p and p.type == syms.import_from)
1758 def normalize_prefix(leaf: Leaf, *, inside_brackets: bool) -> None:
1759 """Leave existing extra newlines if not `inside_brackets`. Remove everything
1762 Note: don't use backslashes for formatting or you'll lose your voting rights.
1764 if not inside_brackets:
1765 spl = leaf.prefix.split('#')
1766 if '\\' not in spl[0]:
1767 nl_count = spl[-1].count('\n')
1770 leaf.prefix = '\n' * nl_count
1776 def is_python36(node: Node) -> bool:
1777 """Return True if the current file is using Python 3.6+ features.
1779 Currently looking for:
1781 - trailing commas after * or ** in function signatures.
1783 for n in node.pre_order():
1784 if n.type == token.STRING:
1785 value_head = n.value[:2] # type: ignore
1786 if value_head in {'f"', 'F"', "f'", "F'", 'rf', 'fr', 'RF', 'FR'}:
1790 n.type == syms.typedargslist
1792 and n.children[-1].type == token.COMMA
1794 for ch in n.children:
1795 if ch.type == token.STAR or ch.type == token.DOUBLESTAR:
1801 PYTHON_EXTENSIONS = {'.py'}
1802 BLACKLISTED_DIRECTORIES = {
1803 'build', 'buck-out', 'dist', '_build', '.git', '.hg', '.mypy_cache', '.tox', '.venv'
1807 def gen_python_files_in_dir(path: Path) -> Iterator[Path]:
1808 """Generate all files under `path` which aren't under BLACKLISTED_DIRECTORIES
1809 and have one of the PYTHON_EXTENSIONS.
1811 for child in path.iterdir():
1813 if child.name in BLACKLISTED_DIRECTORIES:
1816 yield from gen_python_files_in_dir(child)
1818 elif child.suffix in PYTHON_EXTENSIONS:
1824 """Provides a reformatting counter. Can be rendered with `str(report)`."""
1826 change_count: int = 0
1828 failure_count: int = 0
1830 def done(self, src: Path, changed: bool) -> None:
1831 """Increment the counter for successful reformatting. Write out a message."""
1833 reformatted = 'would reformat' if self.check else 'reformatted'
1834 out(f'{reformatted} {src}')
1835 self.change_count += 1
1837 out(f'{src} already well formatted, good job.', bold=False)
1838 self.same_count += 1
1840 def failed(self, src: Path, message: str) -> None:
1841 """Increment the counter for failed reformatting. Write out a message."""
1842 err(f'error: cannot format {src}: {message}')
1843 self.failure_count += 1
1846 def return_code(self) -> int:
1847 """Return the exit code that the app should use.
1849 This considers the current state of changed files and failures:
1850 - if there were any failures, return 123;
1851 - if any files were changed and --check is being used, return 1;
1852 - otherwise return 0.
1854 # According to http://tldp.org/LDP/abs/html/exitcodes.html starting with
1855 # 126 we have special returncodes reserved by the shell.
1856 if self.failure_count:
1859 elif self.change_count and self.check:
1864 def __str__(self) -> str:
1865 """Render a color report of the current state.
1867 Use `click.unstyle` to remove colors.
1870 reformatted = "would be reformatted"
1871 unchanged = "would be left unchanged"
1872 failed = "would fail to reformat"
1874 reformatted = "reformatted"
1875 unchanged = "left unchanged"
1876 failed = "failed to reformat"
1878 if self.change_count:
1879 s = 's' if self.change_count > 1 else ''
1881 click.style(f'{self.change_count} file{s} {reformatted}', bold=True)
1884 s = 's' if self.same_count > 1 else ''
1885 report.append(f'{self.same_count} file{s} {unchanged}')
1886 if self.failure_count:
1887 s = 's' if self.failure_count > 1 else ''
1889 click.style(f'{self.failure_count} file{s} {failed}', fg='red')
1891 return ', '.join(report) + '.'
1894 def assert_equivalent(src: str, dst: str) -> None:
1895 """Raise AssertionError if `src` and `dst` aren't equivalent."""
1900 def _v(node: ast.AST, depth: int = 0) -> Iterator[str]:
1901 """Simple visitor generating strings to compare ASTs by content."""
1902 yield f"{' ' * depth}{node.__class__.__name__}("
1904 for field in sorted(node._fields):
1906 value = getattr(node, field)
1907 except AttributeError:
1910 yield f"{' ' * (depth+1)}{field}="
1912 if isinstance(value, list):
1914 if isinstance(item, ast.AST):
1915 yield from _v(item, depth + 2)
1917 elif isinstance(value, ast.AST):
1918 yield from _v(value, depth + 2)
1921 yield f"{' ' * (depth+2)}{value!r}, # {value.__class__.__name__}"
1923 yield f"{' ' * depth}) # /{node.__class__.__name__}"
1926 src_ast = ast.parse(src)
1927 except Exception as exc:
1928 major, minor = sys.version_info[:2]
1929 raise AssertionError(
1930 f"cannot use --safe with this file; failed to parse source file "
1931 f"with Python {major}.{minor}'s builtin AST. Re-run with --fast "
1932 f"or stop using deprecated Python 2 syntax. AST error message: {exc}"
1936 dst_ast = ast.parse(dst)
1937 except Exception as exc:
1938 log = dump_to_file(''.join(traceback.format_tb(exc.__traceback__)), dst)
1939 raise AssertionError(
1940 f"INTERNAL ERROR: Black produced invalid code: {exc}. "
1941 f"Please report a bug on https://github.com/ambv/black/issues. "
1942 f"This invalid output might be helpful: {log}"
1945 src_ast_str = '\n'.join(_v(src_ast))
1946 dst_ast_str = '\n'.join(_v(dst_ast))
1947 if src_ast_str != dst_ast_str:
1948 log = dump_to_file(diff(src_ast_str, dst_ast_str, 'src', 'dst'))
1949 raise AssertionError(
1950 f"INTERNAL ERROR: Black produced code that is not equivalent to "
1952 f"Please report a bug on https://github.com/ambv/black/issues. "
1953 f"This diff might be helpful: {log}"
1957 def assert_stable(src: str, dst: str, line_length: int) -> None:
1958 """Raise AssertionError if `dst` reformats differently the second time."""
1959 newdst = format_str(dst, line_length=line_length)
1962 diff(src, dst, 'source', 'first pass'),
1963 diff(dst, newdst, 'first pass', 'second pass'),
1965 raise AssertionError(
1966 f"INTERNAL ERROR: Black produced different code on the second pass "
1967 f"of the formatter. "
1968 f"Please report a bug on https://github.com/ambv/black/issues. "
1969 f"This diff might be helpful: {log}"
1973 def dump_to_file(*output: str) -> str:
1974 """Dump `output` to a temporary file. Return path to the file."""
1977 with tempfile.NamedTemporaryFile(
1978 mode='w', prefix='blk_', suffix='.log', delete=False
1980 for lines in output:
1986 def diff(a: str, b: str, a_name: str, b_name: str) -> str:
1987 """Return a unified diff string between strings `a` and `b`."""
1990 a_lines = [line + '\n' for line in a.split('\n')]
1991 b_lines = [line + '\n' for line in b.split('\n')]
1993 difflib.unified_diff(a_lines, b_lines, fromfile=a_name, tofile=b_name, n=5)
1997 def cancel(tasks: List[asyncio.Task]) -> None:
1998 """asyncio signal handler that cancels all `tasks` and reports to stderr."""
2004 def shutdown(loop: BaseEventLoop) -> None:
2005 """Cancel all pending tasks on `loop`, wait for them, and close the loop."""
2007 # This part is borrowed from asyncio/runners.py in Python 3.7b2.
2008 to_cancel = [task for task in asyncio.Task.all_tasks(loop) if not task.done()]
2012 for task in to_cancel:
2014 loop.run_until_complete(
2015 asyncio.gather(*to_cancel, loop=loop, return_exceptions=True)
2018 # `concurrent.futures.Future` objects cannot be cancelled once they
2019 # are already running. There might be some when the `shutdown()` happened.
2020 # Silence their logger's spew about the event loop being closed.
2021 cf_logger = logging.getLogger("concurrent.futures")
2022 cf_logger.setLevel(logging.CRITICAL)
2026 if __name__ == '__main__':