mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
null-safety
This commit is contained in:
+3
-2
@@ -72,8 +72,9 @@ class Jsr223IdeScriptEngineManagerImpl extends IdeScriptEngineManager {
|
||||
return createIdeScriptEngine(engine);
|
||||
}
|
||||
|
||||
private static IdeScriptEngine createIdeScriptEngine(ScriptEngine engine) {
|
||||
return redirectOutputToLog(new Jsr223IdeScriptEngine(engine));
|
||||
@Nullable
|
||||
private static IdeScriptEngine createIdeScriptEngine(@Nullable ScriptEngine engine) {
|
||||
return engine == null ? null : redirectOutputToLog(new Jsr223IdeScriptEngine(engine));
|
||||
}
|
||||
|
||||
private static IdeScriptEngine redirectOutputToLog(IdeScriptEngine engine) {
|
||||
|
||||
Reference in New Issue
Block a user