def run_linter(cmdline: str, git_root: Path, paths: Set[Path],
revrange: RevisionRange) -> None:
"""Run the given linter and print linting errors falling on changed lines
:param cmdline: The command line for running the linter
:param git_root: The repository root for the changed files
:param paths: Paths of files to check, relative to ``git_root``
:param revrange: The Git revision rango to compare
"""
if not paths:
return
if revrange.rev2 is not WORKTREE:
raise NotImplementedError(
"Linting arbitrary commits is not supported. "
"Please use -r {<rev>|<rev>..|<rev>...} instead.")
linter_process = Popen(
cmdline.split() + [str(git_root / path) for path in sorted(paths)],
stdout=PIPE,
encoding="utf-8",
)
# assert needed for MyPy (see https://stackoverflow.com/q/57350490/15770)
assert linter_process.stdout is not None
edited_linenums_differ = EditedLinenumsDiffer(git_root, revrange)
for line in linter_process.stdout:
path_in_repo, linter_error_linenum = _parse_linter_line(line, git_root)
if path_in_repo is None:
continue
edited_linenums = edited_linenums_differ.compare_revisions(
path_in_repo, context_lines=0)
if linter_error_linenum in edited_linenums:
print(line, end="")
def run_linter(cmdline: str, git_root: Path, paths: Set[Path], revision: str) -> None:
"""Run the given linter and print linting errors falling on changed lines
:param cmdline: The command line for running the linter
:param git_root: The repository root for the changed files
:param paths: Paths of files to check, relative to ``git_root``
:param revision: The Git revision against which to compare the working tree
"""
if not paths:
return
linter_process = Popen(
cmdline.split() + [str(git_root / path) for path in sorted(paths)],
stdout=PIPE,
encoding="utf-8",
)
# assert needed for MyPy (see https://stackoverflow.com/q/57350490/15770)
assert linter_process.stdout is not None
edited_linenums_differ = EditedLinenumsDiffer(git_root, revision)
for line in linter_process.stdout:
path_in_repo, linter_error_linenum = _parse_linter_line(line, git_root)
if path_in_repo is None:
continue
edited_linenums = edited_linenums_differ.revision_vs_worktree(
path_in_repo, context_lines=0
)
if linter_error_linenum in edited_linenums:
print(line, end="")
def test_edited_linenums_differ_revision_vs_lines(git_repo, context_lines, expect):
"""Tests for EditedLinenumsDiffer.revision_vs_lines()"""
git_repo.add({'a.py': '1\n2\n3\n4\n5\n6\n7\n8\n'}, commit='Initial commit')
lines = ['1', '2', 'three', '4', '5', '6', 'seven', '8']
differ = EditedLinenumsDiffer(git_repo.root, "HEAD")
result = differ.revision_vs_lines(Path("a.py"), lines, context_lines)
assert result == expect
def test_edited_linenums_differ_revision_vs_worktree(git_repo, context_lines, expect):
"""Tests for EditedLinenumsDiffer.revision_vs_worktree()"""
paths = git_repo.add({"a.py": "1\n2\n3\n4\n5\n6\n7\n8\n"}, commit="Initial commit")
paths["a.py"].write("1\n2\nthree\n4\n5\n6\nseven\n8\n")
differ = EditedLinenumsDiffer(git_repo.root, "HEAD")
result = differ.revision_vs_worktree(Path("a.py"), context_lines)
assert result == expect
def test_edited_linenums_differ_revision_vs_lines(git_repo, context_lines,
expect):
"""Tests for EditedLinenumsDiffer.revision_vs_lines()"""
git_repo.add({'a.py': '1\n2\n3\n4\n5\n6\n7\n8\n'}, commit='Initial commit')
content = TextDocument.from_lines(
["1", "2", "three", "4", "5", "6", "seven", "8"])
differ = EditedLinenumsDiffer(git_repo.root, RevisionRange("HEAD"))
result = differ.revision_vs_lines(Path("a.py"), content, context_lines)
assert result == expect
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(
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