From: <ez...@us...> - 2012-12-16 07:15:35
|
Revision: 22571 http://jedit.svn.sourceforge.net/jedit/?rev=22571&view=rev Author: ezust Date: 2012-12-16 07:15:29 +0000 (Sun, 16 Dec 2012) Log Message: ----------- Warn when passing null view to DefaultErrorSource. Modified Paths: -------------- plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java Modified: plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java =================================================================== --- plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java 2012-12-16 07:13:18 UTC (rev 22570) +++ plugins/ErrorList/trunk/errorlist/DefaultErrorSource.java 2012-12-16 07:15:29 UTC (rev 22571) @@ -31,6 +31,7 @@ import org.gjt.sp.jedit.msg.*; import org.gjt.sp.jedit.*; //}}} +import org.gjt.sp.util.Log; /** A concrete implementation of ErrorSource that is suitable for Plugins to use/extend. * @@ -46,6 +47,9 @@ */ public DefaultErrorSource(String name, View v) { + if (v == null) { + Log.log(Log.WARNING, this, new RuntimeException("Null View for DefaultErrorSource.")); + } errors = new LinkedHashMap<String, ErrorListForPath>(); this.name = name; this.view = v; This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |