Package org.destecs.ide.core.resources

Examples of org.destecs.ide.core.resources.IDestecsProject

275
276
277
278
279
280
281
282
283
284
285
    if (model.isOk())
    {
      return true; // no need to do any work
    } else
    {
      final IDestecsProject currentProject = this;

      final IProgressMonitor mon = monitor;
      ISafeRunnable runnable = new ISafeRunnable()
      {
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
78
    if(configurations.size() == 0)
    {
      return;
    }
   
    IDestecsProject dProject = (IDestecsProject) project.getAdapter(IDestecsProject.class);
    File base = dProject.getOutputFolder().getLocation().toFile();

    DestecsAcaDebugTarget acaTarget = new DestecsAcaDebugTarget(launch, project, new File(base, outputPreFix), configurations);
    launch.addDebugTarget(acaTarget);

    AcaSimulationManager manager = new AcaSimulationManager(acaTarget);
View Full Code Here
370
371
372
373
374
375
376
377
378
379
380
381
            {
              // Show error
              return;
            }

            IDestecsProject dproject = (IDestecsProject) project.getAdapter(IDestecsProject.class);
            dePath.setText(dproject.getVdmModelFolder().getProjectRelativePath().toString());
            fProjectText.setText(project.getName());
          }

        }
      }
View Full Code Here
409
410
411
412
413
414
415
416
417
418
419
420
421
422
  public void performApply(ILaunchConfigurationWorkingCopy configuration)
  {
    if (getProject() != null)
    {
      IDestecsProject p = (IDestecsProject) getProject().getAdapter(IDestecsProject.class);
      if (p.getContractFile() != null)
      {
        configuration.setAttribute(IDebugConstants.DESTECS_LAUNCH_CONFIG_CONTRACT_PATH, p.getContractFile().getProjectRelativePath().toString());
      }else
      {
       
      }
    }
View Full Code Here
502
503
504
505
506
507
508
509
510
511
512
513
      return false;
    }

    selectScenarioButton.setEnabled(true);

    IDestecsProject destecsProject = (IDestecsProject) getProject().getAdapter(IDestecsProject.class);
    DestecsModel destecsModel = destecsProject.getModel();

    IPreferenceStore store = DestecsUIPlugin.getDefault().getPreferenceStore();
    Boolean typeCheck = store.getBoolean(IDestecsPreferenceConstants.ACTIVATE_DESTECSCHECK_PREFERENCE);

    if (!destecsModel.isOk())
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
107
      configurations = generator.generate();
    } catch (Exception e1) {
      throw new CoreException(new Status(IStatus.ERROR, "DESTECS Debug", e1.getMessage()));
    }

    IDestecsProject dProject = (IDestecsProject) project.getAdapter(IDestecsProject.class);
    File base = dProject.getOutputFolder().getLocation().toFile();

    DestecsAcaDebugTarget acaTarget = new DestecsAcaDebugTarget(launch, project, new File(base, outputPreFix), configurations);
    launch.addDebugTarget(acaTarget);

    AcaSimulationManager manager = new AcaSimulationManager(acaTarget);
View Full Code Here
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
        CoSimLaunchConfigurationTab cosimLaunchTab = (CoSimLaunchConfigurationTab) tab;
        IProject project = cosimLaunchTab.getProject();
        if (project != null)
        {
          ContractParserWrapper parser = new ContractParserWrapper();
          IDestecsProject dproject = (IDestecsProject) project.getAdapter(IDestecsProject.class);

          Contract contract;
          try
          {
            if (dproject == null)
            {
              return;
            }
            File file = dproject.getContractFile().getLocation().toFile();
            if (!file.exists())
            {
              return;
            }
            contract = parser.parse(file);
View Full Code Here
176
177
178
179
180
181
182
183
184
185
186
    if (projects.containsKey(project.getName()))
      return projects.get(project.getName());
    else
    {

      IDestecsProject p = getLeastAccessed();
      if (p != null)
      {
        lastAccessed.remove(p);
        lastAccessed.add(project);
      }
View Full Code Here
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
  }

  protected void storeProperties(IProgressMonitor monitor, Properties props)
      throws CoreException
  {
    IDestecsProject dp = (IDestecsProject) getProject().getAdapter(IDestecsProject.class);
    if (dp != null)
    {
      IFile file = dp.getVdmModelFolder().getFile(".metadata");

      ByteArrayOutputStream out = new ByteArrayOutputStream();
      try
      {
        props.store(out, "");
      } catch (IOException e)
      {
        VdmMetadataBuilderPlugin.log("Failed to store metadatafile for project: "+getProject(), e);
      }

      if (file.exists())
      {
        file.setContents(new ByteArrayInputStream(out.toByteArray()), IFile.FORCE, monitor);
      } else if( dp.getVdmModelFolder().isAccessible() &&  dp.getVdmModelFolder().exists())
      {
        file.create(new ByteArrayInputStream(out.toByteArray()), IFile.FORCE, monitor);
      }

    }
View Full Code Here
424
425
426
427
428
429
430
431
432
433
434
                System.out.println("ended add builder thread");
                return;
              }

              System.out.println("Adding builder for: " + p);
              IDestecsProject project = DestecsProject.createProject(p);
              Assert.isNotNull(project, "VDM Project creation faild for project: "
                  + p);
//              try
//              {
//                if (!project.hasBuilder())
View Full Code Here
TOP

Related Classes of org.destecs.ide.core.resources.IDestecsProject

  • org.destecs.ide.core.internal.core.resources.DestecsProject
  • org.destecs.ide.debug.launching.core.CoSimLaunchConfigurationDelegate
  • org.destecs.ide.debug.launching.core.DestecsDirectoryLaunchDelegate
  • org.destecs.ide.debug.launching.core.DSELaunchDelegate
  • org.destecs.ide.debug.launching.ui.CoSimLaunchConfigurationTab
  • org.destecs.ide.debug.launching.ui.SharedDesignParameterTab
  • org.destecs.ide.internal.core.ResourceManager
  • org.destecs.ide.internal.core.ResourceManager$AddBuilderThread
  • org.destecs.ide.ui.editor.impl.CoSimMultiPageEditor
  • org.destecs.ide.ui.editor.impl.VdmLinkCompletionProcessor
    • 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.