From b2816e58d0510e07e4dda4fa987d4abfecd7c404 Mon Sep 17 00:00:00 2001
From: Alexey Kudravtsev <cdr@intellij.com>
Date: Thu, 18 Apr 2013 17:08:27 +0400
Subject: [PATCH] NotNull

---
 .../jetbrains/python/inspections/PyTypeCheckerInspection.java   | 2 +-
 .../python/inspections/PyUnresolvedReferencesInspection.java    | 2 +-
 .../jetbrains/python/inspections/PyUnusedLocalInspection.java   | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/python/src/com/jetbrains/python/inspections/PyTypeCheckerInspection.java b/python/src/com/jetbrains/python/inspections/PyTypeCheckerInspection.java
index 5b51beb6b42a..95d870b77379 100644
--- a/python/src/com/jetbrains/python/inspections/PyTypeCheckerInspection.java
+++ b/python/src/com/jetbrains/python/inspections/PyTypeCheckerInspection.java
@@ -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) {
diff --git a/python/src/com/jetbrains/python/inspections/PyUnresolvedReferencesInspection.java b/python/src/com/jetbrains/python/inspections/PyUnresolvedReferencesInspection.java
index e292d30494e2..1099d990ea48 100644
--- a/python/src/com/jetbrains/python/inspections/PyUnresolvedReferencesInspection.java
+++ b/python/src/com/jetbrains/python/inspections/PyUnresolvedReferencesInspection.java
@@ -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) {
diff --git a/python/src/com/jetbrains/python/inspections/PyUnusedLocalInspection.java b/python/src/com/jetbrains/python/inspections/PyUnusedLocalInspection.java
index 242d22d6d6a7..ff585a2b7645 100644
--- a/python/src/com/jetbrains/python/inspections/PyUnusedLocalInspection.java
+++ b/python/src/com/jetbrains/python/inspections/PyUnusedLocalInspection.java
@@ -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();