Skip to content

Instantly share code, notes, and snippets.

@jmini
Created April 21, 2018 13:15
Show Gist options
  • Save jmini/91ef9a690ee14b1e2a343ba720cabaa3 to your computer and use it in GitHub Desktop.
Save jmini/91ef9a690ee14b1e2a343ba720cabaa3 to your computer and use it in GitHub Desktop.
Report issues in a file
<?xml version="1.0" encoding="UTF-8"?>
<issues>
<issue
name="Lines should not be longer than 80 characters"
severity="Warning"
message="Line 2 is too long (length: 105)"
category="STYLE"
summary="The line length should be less than or equal to 80."
explanation="In a text file (ending with `.txt`) the line should not be longer than 80 characters ..."
location="/_absolute_path_to_/some-file.txt"
lineNumber="2"
/>
<issue
name="Multiple new lines at the end of the document"
severity="Warning"
message="Line 9 is one of the multiple empty new lines at the end of the document. This is not allowed"
category="STYLE"
summary="Text document should end with zero or one new line. Additional new lines should be removed."
explanation="In a text file (ending with `.txt`) there should be no multiple new line at ..."
location="/_absolute_path_to_/some-file.txt"
lineNumber="9"
/>
</issues>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment