Examples of IVdmProject

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

157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
      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

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

78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
  {
    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

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

463
464
465
466
467
468
469
470
471
472
473
474
    {
      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

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

73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
      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

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

403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
    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

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

61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
      //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
Copyright © 2018 www.massapi.com. 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.