Package org.overture.ide.core.resources

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

88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
      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();
View Full Code Here
TOP

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

  • org.destecs.ide.ui.wizards.DestecsNewWizard
    • 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.