Package org.overture.ide.core.resources

Examples of org.overture.ide.core.resources.IVdmProject


      IDestecsProject destecsProject = (IDestecsProject) project.getAdapter(IDestecsProject.class);

      Assert.isNotNull(destecsProject, " Project not found: "
          + configuration.getAttribute(IDebugConstants.DESTECS_LAUNCH_CONFIG_PROJECT_NAME, ""));

      IVdmProject vdmProject = (IVdmProject) project.getAdapter(IVdmProject.class);
      if (vdmProject == null
          || (typeCheck && !VdmTypeCheckerUi.typeCheck(vdmProject, monitor)))
      {
        abort("Cannot launch a project (" + vdmProject.getName()
            + ") with type errors, please check the problems view", null);
      }

      if (destecsProject == null
          || (typeCheck && !DestecsTypeCheckerUi.typeCheck(destecsProject, monitor)))
View Full Code Here


  {
    try
    {

      addNature(prj, IVdmRtCoreConstants.NATURE);
      IVdmProject p = (IVdmProject) prj.getAdapter(IVdmProject.class);
      Assert.isNotNull(p, "Project could not be adapted");
      p.setBuilder(Release.DEFAULT);
      addNature(prj, IDestecsCoreConstants.NATURE);

      addBuilder(prj, "org.destecs.ide.vdmmetadatabuilder.builder", null, null);
      addBuilder(prj, IDestecsCoreConstants.BUILDER_ID, null, null);
      addBuilder(prj, IDestecsCoreConstants.SCRIPT_BUILDER_ID, null, null);

      IDestecsProject dp = (IDestecsProject) prj.getAdapter(IDestecsProject.class);
      ModelBuildPath modelPath = p.getModelBuildPath();
      modelPath.add(dp.getVdmModelFolder());
      modelPath.remove(prj);
      modelPath.setOutput(dp.getOutputFolder());
      modelPath.setLibrary(dp.getVdmModelFolder().getFolder("lib"));
      modelPath.save();
      p.getModel().clean();
      prj.build(IncrementalProjectBuilder.FULL_BUILD, new NullProgressMonitor());


      IProjectDescription d = prj.getDescription();
      d.setComment("DESTECS-"+getPlatformBundleVersion());
View Full Code Here

    {
      selectScenarioButton.setEnabled(false);
      return false;
    }

    IVdmProject vdmProject = (IVdmProject) getProject().getAdapter(IVdmProject.class);
    IVdmModel model = vdmProject.getModel();
    if (!model.isTypeCorrect())
    {
      if (!VdmTypeCheckerUi.typeCheck(getShell(), vdmProject))
      {
        setErrorMessage("Type errors in Model");
View Full Code Here

      throws CoreException
  {
    try
    {
      expandedDefinitions.clear();
      IVdmProject project = (IVdmProject) getProject().getAdapter(IVdmProject.class);
      if (project != null)
      {
        Properties props = new Properties();

        IVdmModel model = project.getModel();

        if (!model.isTypeChecked())
        {
          if(!project.typeCheck(new NullProgressMonitor()))
          {
            props.put("TYPE_CHECK_STATUS", "false");
            storeProperties(monitor, props);
            return null;
          }
View Full Code Here

    IProject project = getProject();
    if (project == null)
    {
      return;
    }
    IVdmProject p = (IVdmProject) project.getAdapter(IVdmProject.class);

    if (p != null)
    {
      IVdmModel model = p.getModel();
      logTreeViewer.setInput(model);
      //logTreeViewer.expandAll();
      //logTreeViewer.collapseAll();
    }
   
View Full Code Here

      //Adds package icon to folder if the folder is in the build path
        if(element instanceof IFolder)
        {
          IFolder folder = (IFolder) element;
          IVdmProject project = (IVdmProject) folder.getProject().getAdapter(IVdmProject.class);
          if(project.getModelBuildPath().contains(folder))
          {
            descriptor = DestecsPluginImages.getDescriptor(DestecsPluginImages.IMG_OBJS_PACKFRAG_ROOT);
          }else if(project.getModelBuildPath().getOutput()!=null && project.getModelBuildPath().getOutput().equals(folder))
          {
            descriptor = DestecsPluginImages.getDescriptor(DestecsPluginImages.IMG_OBJS_CLASSFOLDER);
          }
        }
View Full Code Here

TOP

Related Classes of org.overture.ide.core.resources.IVdmProject

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.