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

add checkConfiguration

Browse Source
This commit is contained in:
Anna Kozlova
2004-12-01 13:32:40 +03:00
parent 3e15b83253
commit 73ced52b69
1 changed files with 18 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/devkit/src/run/PluginRunConfiguration.java
+18 -2
View File
@@ -85,7 +85,7 @@ public class PluginRunConfiguration extends RunConfigurationBase {
if (jdk == null) {
throw CantRunException.noJdkForModule(myModule);
}
if (!(jdk.getSdkType() instanceof IdeaJdk)){
if (!(jdk.getSdkType() instanceof IdeaJdk)) {
throw new ExecutionException("Wrong jdk type for plugin module");
}
final JavaParameters params = new JavaParameters();
@@ -125,6 +125,22 @@ public class PluginRunConfiguration extends RunConfigurationBase {
}
public void checkConfiguration() throws RuntimeConfigurationException {
if (myModule == null) {
throw new RuntimeConfigurationException("Plugin module not specified.");
}
String moduleName = ApplicationManager.getApplication().runReadAction(new Computable<String>() {
public String compute() {
return myModule.getName();
}
});
final ModuleRootManager rootManager = ModuleRootManager.getInstance(myModule);
final ProjectJdk jdk = rootManager.getJdk();
if (jdk == null) {
throw new RuntimeConfigurationException("No jdk specified for plugin module \'" + moduleName + "\'");
}
if (!(jdk.getSdkType() instanceof IdeaJdk)) {
throw new RuntimeConfigurationException("Wrong jdk type for plugin module \'" + moduleName + "\'");
}
}
@@ -142,7 +158,7 @@ public class PluginRunConfiguration extends RunConfigurationBase {
public void readExternal(Element element) throws InvalidDataException {
Element module = element.getChild("module");
if (module != null){
if (module != null) {
myModule = ModuleManager.getInstance(getProject()).findModuleByName(module.getAttributeValue("name"));
}
}