Show full python executable path in output for PyRight.

Author: fabioz

plugins/com.python.pydev.analysis/src/com/python/pydev/analysis/pyright/PyrightAnalysis.java

@@ -95,7 +95,8 @@ public boolean equals(Object obj) {
                 return false;
             }
             ModuleLineCol other = (ModuleLineCol) obj;
-            return col == other.col && endCol == other.endCol && endLine == other.endLine && line == other.line && Objects.equals(moduleFile, other.moduleFile);
+            return col == other.col && endCol == other.endCol && endLine == other.endLine && line == other.line
+                    && Objects.equals(moduleFile, other.moduleFile);
         }
 
     }
@@ -193,9 +194,9 @@ void createPyrightProcess(IExternalCodeAnalysisStream out)
                 }
                 cmdList.add(0, "pyright");
                 String[] args = cmdList.toArray(new String[0]);
-                WriteToStreamHelper.write("Pyright: Executing command line:", out, "python", "-m", args);
                 SimplePythonRunner runner = new SimplePythonRunner();
                 String[] parameters = SimplePythonRunner.preparePythonCallParameters(interpreter, "-m", args);
+                WriteToStreamHelper.write("MyPy: Executing command line:", out, StringUtils.join(" ", parameters));
 
                 Tuple<Process, String> r = runner.run(parameters, workingDir, nature, monitor, null);
                 return r.o1;
@@ -471,7 +472,8 @@ public void afterRunProcess(String output, String errors, IExternalCodeAnalysisS
                 MessageInfo messageInfo = moduleLineColToMessage.get(moduleLineCol);
                 if (messageInfo == null) {
                     messageInfo = new MessageInfo(message, markerSeverity, messageId, line, column,
-                            endLine, endColumn, document.get(region.getOffset(), region.getLength()), moduleFile, document);
+                            endLine, endColumn, document.get(region.getOffset(), region.getLength()), moduleFile,
+                            document);
                     moduleLineColToMessage.put(moduleLineCol, messageInfo);
                 } else {
                     messageInfo.addMessageLine(message);
@@ -491,7 +493,8 @@ public void afterRunProcess(String output, String errors, IExternalCodeAnalysisS
         }
     }
 
-    private void addToMarkers(String tok, int priority, String id, int line, int column, int endLine, int endColumn, String lineContents,
+    private void addToMarkers(String tok, int priority, String id, int line, int column, int endLine, int endColumn,
+            String lineContents,
             IFile moduleFile, IDocument document) {
         Map<String, Object> additionalInfo = new HashMap<>();
         additionalInfo.put(PyrightVisitor.PYRIGHT_MESSAGE_ID, id);

plugins/com.python.pydev.docs/release_email.txt

@@ -1,13 +1,21 @@
-PyDev 13.0.2 Released
+PyDev 13.1.0 Released
 
-PyDev 13.0.2 Release Highlights
+PyDev 13.1.0 Release Highlights
 -------------------------------
 
+## Updates & Improvements
+
+- It's now possible to use `pyright` analysis support
+- `pydevd` (debugger) updated to `3.4.1`
+	- Preliminary support for debugging with `Python 3.14` (still not complete)
+- Consider `@abstractclassmethod` and `@abstractstaticmethod` decorators in code analysis.
+- Use plain `super()` in override completion.
+
 ## Bug Fixes
 
-* Handle case where module.body could be null.
-* Improve type inference engine to deal with TypeAlias.
-* Fixes in code analysis to deal with TypeAlias.
+- If a default interpreter cannot be found, the latest Python 3 version is used to parse the code.
+- Type definition in non-global scope (inside a method) should not give an error if the token is just found in the TYPE_CHECKING namespace.
+- Fixed issues dealing with name store in match where spurious unused variable would be found. `#PyDev-1272`
 
 About PyDev
 ---------------------------

plugins/org.python.pydev.shared_core/src/org/python/pydev/shared_core/io/FileUtils.java

@@ -1210,6 +1210,22 @@ private static char readChar(InputStream in) throws IOException {
         return (char) i;
     }
 
+    public static boolean isPrefixOf(File thisFile, File parentFile) {
+        File current = thisFile;
+        int parentLen = parentFile.getAbsolutePath().length();
+
+        while (current != null) {
+            if (current.equals(parentFile)) {
+                return true;
+            }
+            current = current.getParentFile();
+            if (current != null && current.getAbsolutePath().length() < parentLen) {
+                return false;
+            }
+        }
+        return false;
+    }
+
     public static boolean isPrefixOf(IPath thisPath, IPath anotherPath) {
         if (thisPath.getDevice() == null) {
             if (anotherPath.getDevice() != null) {