mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
[coverage] IDEA-343451 Avoid calling NotNull method, as the implementation in plugins may return null
GitOrigin-RevId: b6eb4a0db276e2f2bcb626c1483facfb297b1d1a
This commit is contained in:
committed by
intellij-monorepo-bot
parent
fc8d386102
commit
cfda9bd3f1
@@ -223,7 +223,7 @@ public abstract class BaseCoverageSuite implements CoverageSuite, JDOMExternaliz
|
||||
|
||||
@Override
|
||||
public void writeExternal(final Element element) throws WriteExternalException {
|
||||
String absolutePath = getCoverageDataFileName();
|
||||
String absolutePath = myCoverageDataFileProvider.getCoverageDataFilePath();
|
||||
String pathInSystemDir = FileUtil.getRelativePath(new File(PathManager.getSystemPath()), new File(absolutePath));
|
||||
element.setAttribute(FILE_PATH, pathInSystemDir != null ? FileUtil.toSystemIndependentName(pathInSystemDir) : absolutePath);
|
||||
element.setAttribute(NAME_ATTRIBUTE, myName);
|
||||
|
||||
Reference in New Issue
Block a user