mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
NotNull
This commit is contained in:
@@ -109,7 +109,7 @@ public class PyTypeCheckerInspection extends PyInspection {
|
||||
}
|
||||
|
||||
@Override
|
||||
public void inspectionFinished(LocalInspectionToolSession session, ProblemsHolder problemsHolder) {
|
||||
public void inspectionFinished(@NotNull LocalInspectionToolSession session, @NotNull ProblemsHolder problemsHolder) {
|
||||
if (LOG.isDebugEnabled()) {
|
||||
final Long startTime = session.getUserData(TIME_KEY);
|
||||
if (startTime != null) {
|
||||
|
||||
@@ -94,7 +94,7 @@ public class PyUnresolvedReferencesInspection extends PyInspection {
|
||||
}
|
||||
|
||||
@Override
|
||||
public void inspectionFinished(LocalInspectionToolSession session, ProblemsHolder holder) {
|
||||
public void inspectionFinished(@NotNull LocalInspectionToolSession session, @NotNull ProblemsHolder holder) {
|
||||
final Visitor visitor = session.getUserData(KEY);
|
||||
assert visitor != null;
|
||||
if (PyCodeInsightSettings.getInstance().HIGHLIGHT_UNUSED_IMPORTS) {
|
||||
|
||||
@@ -45,7 +45,7 @@ public class PyUnusedLocalInspection extends PyInspection {
|
||||
}
|
||||
|
||||
@Override
|
||||
public void inspectionFinished(LocalInspectionToolSession session, ProblemsHolder holder) {
|
||||
public void inspectionFinished(@NotNull LocalInspectionToolSession session, @NotNull ProblemsHolder holder) {
|
||||
final PyUnusedLocalInspectionVisitor visitor = session.getUserData(KEY);
|
||||
if (visitor != null) {
|
||||
visitor.registerProblems();
|
||||
|
||||
Reference in New Issue
Block a user