def format_file(
src: Path,
from_line: int,
to_line: int,
config: str = None,
):
black_args = BlackConfig(config=config)
edited = worktree_content = TextDocument.from_file(src)
max_context_lines = len(edited.lines)
minimum_context_lines = BinarySearch(0, max_context_lines + 1)
edited_linenums = list(range(from_line, to_line + 1))
while not minimum_context_lines.found:
formatted = run_black(edited, black_args)
opcodes = diff_and_get_opcodes(edited, formatted)
black_chunks = list(opcodes_to_chunks(opcodes, edited, formatted))
chosen = TextDocument.from_lines(
choose_lines(black_chunks, edited_linenums),
encoding=worktree_content.encoding,
newline=worktree_content.newline,
)
try:
verify_ast_unchanged(edited, chosen, black_chunks, edited_linenums)
except NotEquivalentError:
minimum_context_lines.respond(False)
else:
minimum_context_lines.respond(True)
modify_file(src, chosen)
def test_opcodes_to_chunks():
src_lines = FUNCTIONS2_PY.splitlines()
dst_lines = FUNCTIONS2_PY_REFORMATTED.splitlines()
chunks = list(opcodes_to_chunks(EXPECT_OPCODES, src_lines, dst_lines))
assert chunks == [
(1, ["def f("], ["def f("]),
(2, [" a,", " **kwargs,"], [" a,", " **kwargs,"]),
(
4,
[") -> A:", " with cache_dir():", " if something:"],
[") -> A:", " with cache_dir():", " if something:"],
),
(
7,
[
" result = (",
" CliRunner().invoke(black.main, [str(src1), str(src2), "
'"--diff", "--check"])',
],
[
" result = CliRunner().invoke(",
' black.main, [str(src1), str(src2), "--diff", "--check"]', # noqa: E501
],
),
(
9,
[
" )",
" limited.append(-limited.pop()) # negate top",
" return A(",
" very_long_argument_name1=very_long_value_for_the_argument,",
" very_long_argument_name2=-very.long.value.for_the_argument,",
" **kwargs,",
" )",
],
[
" )",
" limited.append(-limited.pop()) # negate top",
" return A(",
" very_long_argument_name1=very_long_value_for_the_argument,",
" very_long_argument_name2=-very.long.value.for_the_argument,",
" **kwargs,",
" )",
],
),
(16, [], ["", ""]),
(16, ["def g():",
' "Docstring."'], ["def g():", ' "Docstring."']),
(18, [], [""]),
(
18,
[" def inner():", " pass"],
[" def inner():", " pass"],
),
(20, [], [""]),
(
20,
[' print("Inner defs should breathe a little.")'],
[' print("Inner defs should breathe a little.")'],
),
(21, [], ["", ""]),
(
21,
["def h():", " def inner():", " pass"],
["def h():", " def inner():", " pass"],
),
(24, [], [""]),
(
24,
[' print("Inner defs should breathe a little.")'],
[' print("Inner defs should breathe a little.")'],
),
]
def format_edited_parts(
srcs: Iterable[Path],
revision: str,
enable_isort: bool,
linter_cmdlines: List[str],
black_args: BlackArgs,
) -> Generator[Tuple[Path, str, str, List[str]], None, None]:
"""Black (and optional isort) formatting for chunks with edits since the last commit
1. run isort on each edited file (optional)
2. diff the given revision and worktree (optionally with isort modifications) for
all file & dir paths on the command line
3. extract line numbers in each edited to-file for changed lines
4. run black on the contents of each edited to-file
5. get a diff between the edited to-file and the reformatted content
6. convert the diff into chunks, keeping original and reformatted content for each
chunk
7. choose reformatted content for each chunk if there were any changed lines inside
the chunk in the edited to-file, or choose the chunk's original contents if no
edits were done in that chunk
8. concatenate all chosen chunks
9. verify that the resulting reformatted source code parses to an identical AST as
the original edited to-file
10. write the reformatted source back to the original file
11. run linter subprocesses for all edited files (11.-14. optional)
12. diff the given revision and worktree (after isort and Black reformatting) for
each file reported by a linter
13. extract line numbers in each file reported by a linter for changed lines
14. print only linter error lines which fall on changed lines
:param srcs: Directories and files to re-format
:param revision: The Git revision against which to compare the working tree
:param enable_isort: ``True`` to also run ``isort`` first on each changed file
:param linter_cmdlines: The command line(s) for running linters on the changed
files.
:param black_args: Command-line arguments to send to ``black.FileMode``
:return: A generator which yields details about changes for each file which should
be reformatted, and skips unchanged files.
"""
git_root = get_common_root(srcs)
changed_files = git_get_modified_files(srcs, revision, git_root)
edited_linenums_differ = EditedLinenumsDiffer(git_root, revision)
for path_in_repo in sorted(changed_files):
src = git_root / path_in_repo
worktree_content = src.read_text()
# 1. run isort
if enable_isort:
edited_content = apply_isort(
worktree_content,
src,
black_args.get("config"),
black_args.get("line_length"),
)
else:
edited_content = worktree_content
edited_lines = edited_content.splitlines()
max_context_lines = len(edited_lines)
for context_lines in range(max_context_lines + 1):
# 2. diff the given revision and worktree for the file
# 3. extract line numbers in the edited to-file for changed lines
edited_linenums = edited_linenums_differ.revision_vs_lines(
path_in_repo, edited_lines, context_lines)
if (enable_isort and not edited_linenums
and edited_content == worktree_content):
logger.debug("No changes in %s after isort", src)
break
# 4. run black
formatted = run_black(src, edited_content, black_args)
logger.debug("Read %s lines from edited file %s",
len(edited_lines), src)
logger.debug("Black reformat resulted in %s lines", len(formatted))
# 5. get the diff between the edited and reformatted file
opcodes = diff_and_get_opcodes(edited_lines, formatted)
# 6. convert the diff into chunks
black_chunks = list(
opcodes_to_chunks(opcodes, edited_lines, formatted))
# 7. choose reformatted content
chosen_lines: List[str] = list(
choose_lines(black_chunks, edited_linenums))
# 8. concatenate chosen chunks
result_str = joinlines(chosen_lines)
# 9. verify
logger.debug(
"Verifying that the %s original edited lines and %s reformatted lines "
"parse into an identical abstract syntax tree",
len(edited_lines),
len(chosen_lines),
)
try:
verify_ast_unchanged(edited_content, result_str, black_chunks,
edited_linenums)
except NotEquivalentError:
# Diff produced misaligned chunks which couldn't be reconstructed into
# a partially re-formatted Python file which produces an identical AST.
# Try again with a larger `-U<context_lines>` option for `git diff`,
# or give up if `context_lines` is already very large.
if context_lines == max_context_lines:
raise
logger.debug(
"AST verification failed. "
"Trying again with %s lines of context for `git diff -U`",
context_lines + 1,
)
continue
else:
# 10. A re-formatted Python file which produces an identical AST was
# created successfully - write an updated file or print the diff
# if there were any changes to the original
if result_str != worktree_content:
# `result_str` is just `chosen_lines` concatenated with newlines.
# We need both forms when showing diffs or modifying files.
# Pass them both on to avoid back-and-forth conversion.
yield src, worktree_content, result_str, chosen_lines
break
# 11. run linter subprocesses for all edited files (11.-14. optional)
# 12. diff the given revision and worktree (after isort and Black reformatting) for
# each file reported by a linter
# 13. extract line numbers in each file reported by a linter for changed lines
# 14. print only linter error lines which fall on changed lines
for linter_cmdline in linter_cmdlines:
run_linter(linter_cmdline, git_root, changed_files, revision)
def format_edited_parts(
srcs: Iterable[Path],
isort: bool,
black_args: Dict[str, Union[bool, int]],
print_diff: bool,
) -> None:
"""Black (and optional isort) formatting for chunks with edits since the last commit
1. run isort on each edited file
2. diff HEAD and worktree for all file & dir paths on the command line
3. extract line numbers in each edited to-file for changed lines
4. run black on the contents of each edited to-file
5. get a diff between the edited to-file and the reformatted content
6. convert the diff into chunks, keeping original and reformatted content for each
chunk
7. choose reformatted content for each chunk if there were any changed lines inside
the chunk in the edited to-file, or choose the chunk's original contents if no
edits were done in that chunk
8. concatenate all chosen chunks
9. verify that the resulting reformatted source code parses to an identical AST as
the original edited to-file
10. write the reformatted source back to the original file
:param srcs: Directories and files to re-format
:param isort: ``True`` to also run ``isort`` first on each changed file
:param black_args: Command-line arguments to send to ``black.FileMode``
:param print_diff: ``True`` to output diffs instead of modifying source files
"""
git_root = get_common_root(srcs)
changed_files = git_diff_name_only(srcs, git_root)
head_srcs = {
src: git_get_unmodified_content(src, git_root) for src in changed_files
}
worktree_srcs = {src: (git_root / src).read_text() for src in changed_files}
# 1. run isort
if isort:
edited_srcs = {
src: apply_isort(edited_content)
for src, edited_content in worktree_srcs.items()
}
else:
edited_srcs = worktree_srcs
for src_relative, edited_content in edited_srcs.items():
for context_lines in range(MAX_CONTEXT_LINES + 1):
src = git_root / src_relative
edited = edited_content.splitlines()
head_lines = head_srcs[src_relative]
# 2. diff HEAD and worktree for all file & dir paths on the command line
edited_opcodes = diff_and_get_opcodes(head_lines, edited)
# 3. extract line numbers in each edited to-file for changed lines
edited_linenums = list(opcodes_to_edit_linenums(edited_opcodes))
if (
isort
and not edited_linenums
and edited_content == worktree_srcs[src_relative]
):
logger.debug("No changes in %s after isort", src)
break
# 4. run black
formatted = run_black(src, edited_content, black_args)
logger.debug("Read %s lines from edited file %s", len(edited), src)
logger.debug("Black reformat resulted in %s lines", len(formatted))
# 5. get the diff between each edited and reformatted file
opcodes = diff_and_get_opcodes(edited, formatted)
# 6. convert the diff into chunks
black_chunks = list(opcodes_to_chunks(opcodes, edited, formatted))
# 7. choose reformatted content
chosen_lines: List[str] = list(choose_lines(black_chunks, edited_linenums))
# 8. concatenate chosen chunks
result_str = joinlines(chosen_lines)
# 9. verify
logger.debug(
"Verifying that the %s original edited lines and %s reformatted lines "
"parse into an identical abstract syntax tree",
len(edited),
len(chosen_lines),
)
try:
verify_ast_unchanged(
edited_content, result_str, black_chunks, edited_linenums
)
except NotEquivalentError:
# Diff produced misaligned chunks which couldn't be reconstructed into
# a partially re-formatted Python file which produces an identical AST.
# Try again with a larger `-U<context_lines>` option for `git diff`,
# or give up if `context_lines` is already very large.
if context_lines == MAX_CONTEXT_LINES:
raise
logger.debug(
"AST verification failed. "
"Trying again with %s lines of context for `git diff -U`",
context_lines + 1,
)
continue
else:
# 10. A re-formatted Python file which produces an identical AST was
# created successfully - write an updated file
# or print the diff
if print_diff:
difflines = list(
unified_diff(
worktree_srcs[src_relative].splitlines(),
chosen_lines,
src.as_posix(),
src.as_posix(),
)
)
if len(difflines) > 2:
h1, h2, *rest = difflines
print(h1, end="")
print(h2, end="")
print("\n".join(rest))
else:
logger.info("Writing %s bytes into %s", len(result_str), src)
src.write_text(result_str)
break
def test_opcodes_to_chunks():
src = TextDocument.from_str(FUNCTIONS2_PY)
dst = TextDocument.from_str(FUNCTIONS2_PY_REFORMATTED)
chunks = list(opcodes_to_chunks(EXPECT_OPCODES, src, dst))
assert chunks == [
(1, ("def f(",), ("def f(",)),
(2, (" a,", " **kwargs,"), (" a,", " **kwargs,")),
(
4,
(") -> A:", " with cache_dir():", " if something:"),
(") -> A:", " with cache_dir():", " if something:"),
),
(
7,
(
" result = (",
" CliRunner().invoke(black.main, [str(src1), str(src2), "
'"--diff", "--check"])',
),
(
" result = CliRunner().invoke(",
' black.main, [str(src1), str(src2), "--diff", "--check"]', # noqa: E501
),
),
(
9,
(
" )",
" limited.append(-limited.pop()) # negate top",
" return A(",
" very_long_argument_name1=very_long_value_for_the_argument,",
" very_long_argument_name2=-very.long.value.for_the_argument,",
" **kwargs,",
" )",
),
(
" )",
" limited.append(-limited.pop()) # negate top",
" return A(",
" very_long_argument_name1=very_long_value_for_the_argument,",
" very_long_argument_name2=-very.long.value.for_the_argument,",
" **kwargs,",
" )",
),
),
(16, (), ("", "")),
(16, ("def g():", ' "Docstring."'), ("def g():", ' "Docstring."')),
(18, (), ("",)),
(
18,
(" def inner():", " pass"),
(" def inner():", " pass"),
),
(20, (), ("",)),
(
20,
(' print("Inner defs should breathe a little.")',),
(' print("Inner defs should breathe a little.")',),
),
(21, (), ("", "")),
(
21,
("def h():", " def inner():", " pass"),
("def h():", " def inner():", " pass"),
),
(24, (), ("",)),
(
24,
(' print("Inner defs should breathe a little.")',),
(' print("Inner defs should breathe a little.")',),
),
]
def format_edited_parts(
git_root: Path,
changed_files: Iterable[Path],
revrange: RevisionRange,
enable_isort: bool,
black_args: BlackArgs,
) -> Generator[Tuple[Path, TextDocument, TextDocument], None, None]:
"""Black (and optional isort) formatting for chunks with edits since the last commit
:param git_root: The root of the Git repository the files are in
:param changed_files: Files which have been modified in the repository between the
given Git revisions
:param revrange: The Git revisions to compare
:param enable_isort: ``True`` to also run ``isort`` first on each changed file
:param black_args: Command-line arguments to send to ``black.FileMode``
:return: A generator which yields details about changes for each file which should
be reformatted, and skips unchanged files.
"""
edited_linenums_differ = EditedLinenumsDiffer(git_root, revrange)
for path_in_repo in sorted(changed_files):
src = git_root / path_in_repo
worktree_content = TextDocument.from_file(src)
# 1. run isort
if enable_isort:
edited = apply_isort(
worktree_content,
src,
black_args.get("config"),
black_args.get("line_length"),
)
else:
edited = worktree_content
max_context_lines = len(edited.lines)
minimum_context_lines = BinarySearch(0, max_context_lines + 1)
last_successful_reformat = None
while not minimum_context_lines.found:
context_lines = minimum_context_lines.get_next()
if context_lines > 0:
logger.debug(
"Trying with %s lines of context for `git diff -U %s`",
context_lines,
src,
)
# 2. diff the given revision and worktree for the file
# 3. extract line numbers in the edited to-file for changed lines
edited_linenums = edited_linenums_differ.revision_vs_lines(
path_in_repo, edited, context_lines)
if enable_isort and not edited_linenums and edited == worktree_content:
logger.debug("No changes in %s after isort", src)
break
# 4. run black
formatted = run_black(src, edited, black_args)
logger.debug("Read %s lines from edited file %s",
len(edited.lines), src)
logger.debug("Black reformat resulted in %s lines",
len(formatted.lines))
# 5. get the diff between the edited and reformatted file
opcodes = diff_and_get_opcodes(edited, formatted)
# 6. convert the diff into chunks
black_chunks = list(opcodes_to_chunks(opcodes, edited, formatted))
# 7. choose reformatted content
chosen = TextDocument.from_lines(
choose_lines(black_chunks, edited_linenums),
encoding=worktree_content.encoding,
newline=worktree_content.newline,
)
# 8. verify
logger.debug(
"Verifying that the %s original edited lines and %s reformatted lines "
"parse into an identical abstract syntax tree",
len(edited.lines),
len(chosen.lines),
)
try:
verify_ast_unchanged(edited, chosen, black_chunks,
edited_linenums)
except NotEquivalentError:
# Diff produced misaligned chunks which couldn't be reconstructed into
# a partially re-formatted Python file which produces an identical AST.
# Try again with a larger `-U<context_lines>` option for `git diff`,
# or give up if `context_lines` is already very large.
logger.debug(
"AST verification of %s with %s lines of context failed",
src,
context_lines,
)
minimum_context_lines.respond(False)
else:
minimum_context_lines.respond(True)
last_successful_reformat = (src, worktree_content, chosen)
if not last_successful_reformat:
raise NotEquivalentError(path_in_repo)
# 9. A re-formatted Python file which produces an identical AST was
# created successfully - write an updated file or print the diff if
# there were any changes to the original
src, worktree_content, chosen = last_successful_reformat
if chosen != worktree_content:
# `result_str` is just `chosen_lines` concatenated with newlines.
# We need both forms when showing diffs or modifying files.
# Pass them both on to avoid back-and-forth conversion.
yield src, worktree_content, chosen