From 9cb4eaa7d6182415db6be2919442d9d8a6516085 Mon Sep 17 00:00:00 2001 From: Alexey Kudravtsev Date: Thu, 15 Mar 2012 17:04:25 +0400 Subject: [PATCH] notnull --- .../intellij/openapi/editor/event/EditorFactoryEvent.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/platform/platform-api/src/com/intellij/openapi/editor/event/EditorFactoryEvent.java b/platform/platform-api/src/com/intellij/openapi/editor/event/EditorFactoryEvent.java index 52a1cfcd02c2..c5d06eca1929 100644 --- a/platform/platform-api/src/com/intellij/openapi/editor/event/EditorFactoryEvent.java +++ b/platform/platform-api/src/com/intellij/openapi/editor/event/EditorFactoryEvent.java @@ -17,21 +17,24 @@ package com.intellij.openapi.editor.event; import com.intellij.openapi.editor.Editor; import com.intellij.openapi.editor.EditorFactory; +import org.jetbrains.annotations.NotNull; import java.util.EventObject; public class EditorFactoryEvent extends EventObject { private final Editor myEditor; - public EditorFactoryEvent(EditorFactory editorFactory, Editor editor) { + public EditorFactoryEvent(@NotNull EditorFactory editorFactory, @NotNull Editor editor) { super(editorFactory); myEditor = editor; } + @NotNull public EditorFactory getFactory(){ return (EditorFactory) getSource(); } + @NotNull public Editor getEditor() { return myEditor; }