コード例 #1
0
  @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;
  }
コード例 #2
0
  public static List<LaunchConfigData> getProjectLaunchConfigs(final IProject project) {
    List<LaunchConfigData> matches = new LinkedList<>();

    try {
      ILaunchConfiguration[] configs =
          DebugPlugin.getDefault().getLaunchManager().getLaunchConfigurations();

      for (ILaunchConfiguration launchConfig : configs) {
        String launchConfigProjectName =
            launchConfig.getAttribute(IDebugConstants.VDM_LAUNCH_CONFIG_PROJECT, "");

        if (launchConfigProjectName != null
            && !launchConfigProjectName.equals("")
            && launchConfigProjectName.equals(project.getName())) {
          String exp = launchConfig.getAttribute(IDebugConstants.VDM_LAUNCH_CONFIG_EXPRESSION, "");
          matches.add(new LaunchConfigData(launchConfig.getName(), exp));
        }
      }
    } catch (CoreException e) {

      CodeGenConsole.GetInstance()
          .printErrorln(
              "Problem looking up launch configurations for project "
                  + project.getName()
                  + ": "
                  + e.getMessage());
      e.printStackTrace();
    }

    return matches;
  }