Examples of IVdmModel

Examples of org.overture.ide.core.IVdmModel

464
465
466
467
468
469
470
471
472
473
474
475
      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");
        return false;
View Full Code Here

Examples of org.overture.ide.core.IVdmModel

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

        props.put("TYPE_CHECK_STATUS", "true");
        for (IAstNode node : model.getRootElementList())
        {
          if (node instanceof SystemDefinition)
          {
            SystemDefinition sd = (SystemDefinition) node;
            expandAndSave(props, "", sd, model);
View Full Code Here

Examples of org.overture.ide.core.IVdmModel

407
408
409
410
411
412
413
414
415
416
417
    }
    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.IVdmModel

38
39
40
41
42
43
44
45
46
47
48
49
  public Object[] getElements(Object inputElement)
  {
    if (inputElement instanceof IVdmModel)
    {
      IVdmModel model = (IVdmModel) inputElement;
      for (IAstNode elem : model.getRootElementList())
      {
        if (elem instanceof SystemDefinition)
        {
          return new Object[] { new TreeNodeContainer(null, (SystemDefinition)elem,true) };
        }
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.