@Override
public JavaSettings getJavaSettings() {
JavaSettings javaSettings = super.getJavaSettings();
javaSettings.setJavaRootPackage("my.model");
return javaSettings;
}
@Override
public JavaSettings getJavaSettings(IProject project, List<String> classesToSkip) {
List<LaunchConfigData> launchConfigs = PluginVdm2JavaUtil.getProjectLaunchConfigs(project);
if (!launchConfigs.isEmpty()) {
String entryExp = PluginVdm2JavaUtil.dialog(launchConfigs);
if (entryExp != null) {
JavaSettings javaSettings = super.getJavaSettings(project, classesToSkip);
javaSettings.setVdmEntryExp(entryExp);
return javaSettings;
} else {
CodeGenConsole.GetInstance().println("Process cancelled by user.");
}
} else {
CodeGenConsole.GetInstance()
.println(
PluginVdm2JavaUtil.WARNING
+ " No launch configuration could be found for this project.\n");
CodeGenConsole.GetInstance()
.println("Cancelling launch configuration based code generation...\n");
}
return null;
}
