Beispiel #1
0
  @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;
  }