Add jedi lint plugin

danzvara · danzvara · commit 36da0249b0ba · 2020-10-18T12:33:05.000+02:00
diff --git a/pyls/plugins/jedi_lint.py b/pyls/plugins/jedi_lint.py
@@ -0,0 +1,28 @@
+from pyls import hookimpl, lsp
+
+@hookimpl
+def pyls_lint(config, document):
+    errors = document.jedi_script().get_syntax_errors()
+    diagnostics = []
+
+    for error in errors:
+        err_range = {
+            'start': {
+              'line': error.line - 1,
+               # Index columns start from 0
+               'character': error.column,
+            },
+            'end': {
+                'line': error.until_line - 1,
+                # It's possible that we're linting an empty file. Even an empty
+                # file might fail linting if it isn't named properly.
+                'character': error.until_column,
+                },
+            }
+        diagnostics.append({
+                'source': 'jedi',
+                'range': err_range,
+                'message': error.get_message(),
+                'severity': lsp.DiagnosticSeverity.Error,
+            })
+    return diagnostics
diff --git a/setup.py b/setup.py
@@ -97,6 +97,7 @@
             'jedi_rename = pyls.plugins.jedi_rename',
             'jedi_signature_help = pyls.plugins.signature',
             'jedi_symbols = pyls.plugins.symbols',
+            'jedi_lint = pyls.plugins.jedi_lint',
             'mccabe = pyls.plugins.mccabe_lint',
             'preload = pyls.plugins.preload_imports',
             'pycodestyle = pyls.plugins.pycodestyle_lint',
