source: trunk/modelicaml/org.openmodelica.modelicaml.preferences/plugin.xml

Last change on this file was 1675, checked in by wschamai, 12 years ago

BUG FIX: verification report generation (not violated and not evaluated requirements issues)
BUG FIX: OMC launching for design verification helper
NEW: preference page for design verification

  • values for "violated", "not violated", "not evaluated"
  • opt. to always copy sim. files
  • opt. for generating OWL report files

SPELLING CORRECTED: in the feature texts
File size: 2.2 KB
Line 
1<?xml version="1.0" encoding="UTF-8"?>
2<?eclipse version="3.4"?>
3<plugin>
4   <extension
5         point="org.eclipse.ui.preferencePages">
6      <page
7            class="org.openmodelica.modelicaml.preferences.impl.ModelicaMLMainPreferencesPage"
8            id="org.openmodelica.modelicaml.preferences.mainpage"
9            name="ModelicaML">
10      </page>
11      <page
12            category="org.openmodelica.modelicaml.preferences.mainpage"
13            class="org.openmodelica.modelicaml.preferences.impl.ModelicaMLVeMGeneration"
14            id="org.openmodelica.modelicaml.preferences.vemGeneration"
15            name="Verification Models Generation">
16      </page>
17      <page
18            category="org.openmodelica.modelicaml.preferences.mainpage"
19            class="org.openmodelica.modelicaml.preferences.impl.ModelicaMLOMCPreferencePage"
20            id="org.openmodelica.modelicaml.preferences.omc"
21            name="OpenModelica Compiler Settings">
22      </page>
23      <page
24            category="org.openmodelica.modelicaml.preferences.mainpage"
25            class="org.openmodelica.modelicaml.preferences.impl.ModelicaMLSimulationPage"
26            id="org.openmodelica.modelicaml.preferences.simulation"
27            name="Simulation Settings">
28      </page>
29      <page
30            category="org.openmodelica.modelicaml.preferences.mainpage"
31            class="org.openmodelica.modelicaml.preferences.impl.ModelicaMLDesignVerificationPage"
32            id="org.openmodelica.modelicaml.preferences.designVerification"
33            name="Design Verification Settings">
34      </page>
35      <page
36            category="org.openmodelica.modelicaml.preferences.mainpage"
37            class="org.openmodelica.modelicaml.preferences.impl.ModelicaMLModelicaModelsSynchronization"
38            id="org.openmodelica.modelicaml.preferences.ModelicaMLModelicaModelsSynchronization"
39            name="Modelica Model Synchronization Settings">
40      </page>
41   </extension>
42   <extension
43         point="org.eclipse.core.runtime.preferences">
44      <initializer
45            class="org.openmodelica.modelicaml.preferences.impl.PreferenceInitializer">
46      </initializer>
47   </extension>
48
49</plugin>
Note: See TracBrowser for help on using the repository browser.