MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Nullity annotations

Browse Source
This commit is contained in:
Andrey Vlasovskikh
2017-10-10 05:49:49 +03:00
parent b235f0c27f
commit cc5994c866
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/openapi/src/com/jetbrains/python/newProject/PyFrameworkProjectGenerator.java
+3 -1
View File
@@ -16,15 +16,17 @@
package com.jetbrains.python.newProject;
import com.intellij.openapi.projectRoots.Sdk;
import org.jetbrains.annotations.NotNull;
/**
* @author yole
*/
public interface PyFrameworkProjectGenerator {
@NotNull
String getFrameworkTitle();
boolean isFrameworkInstalled(Sdk sdk);
boolean isFrameworkInstalled(@NotNull Sdk sdk);
boolean supportsPython3();
}