Skip to content
Snippets Groups Projects
Select Git revision
  • a85ff6146abbbe76c58090678153dc273aa77af4
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

plugin.xml

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    plugin.xml 4.50 KiB
    <?xml version="1.0" encoding="UTF-8"?>
    <?eclipse version="3.4"?>
    <plugin>
       <extension
             point="org.eventb.ui.editorItems">
          <textAttribute
                class="de.prob.units.pragmas.UnitPragmaAttribute"
                expandsHorizontally="false"
                id="de.prob.units.unitPragmaAttribute"
                isMath="true"
                prefix="Physical Unit:"
                style="de.prob.units.unitPragmaAttribute"
                typeId="de.prob.units.unitPragmaAttribute">
          </textAttribute>
          <attributeRelation
                elementTypeId="org.eventb.core.variable">
             <attributeReference
                   descriptionId="de.prob.units.unitPragmaAttribute">
             </attributeReference>
             <attributeReference
                   descriptionId="de.prob.units.inferredUnitPragmaAttribute">
             </attributeReference>
          </attributeRelation>
          <attributeRelation
                elementTypeId="org.eventb.core.constant">
             <attributeReference
                   descriptionId="de.prob.units.unitPragmaAttribute">
             </attributeReference>
             <attributeReference
                   descriptionId="de.prob.units.inferredUnitPragmaAttribute">
             </attributeReference>
          </attributeRelation>
          <textAttribute
                class="de.prob.units.pragmas.InferredUnitPragmaAttribute"
                expandsHorizontally="false"
                id="de.prob.units.inferredUnitPragmaAttribute"
                isMath="true"
                prefix="Inferred Physical Unit:"
                style="de.prob.units.inferredUnitPragmaAttribute"
                typeId="de.prob.units.inferredUnitPragmaAttribute">
          </textAttribute>
       </extension>
       <extension
             point="org.eclipse.ui.handlers">
          <handler
                class="de.prob.units.ui.StartUnitAnalysisHandler"
                commandId="de.prob.units.startunitanalysis">
          </handler>
       </extension>
       <extension
             point="org.eclipse.ui.menus">
          <menuContribution
                locationURI="popup:fr.systerel.explorer.navigator.view">
             <separator
                   name="de.prob.units.separator2"
                   visible="true">
             </separator>
             <command
                   commandId="de.prob.units.startunitanalysis"
                   icon="icons/unit_analysis.png"
                   label="Analyse Physical Units"
                   style="push">
                <visibleWhen>
                   <with
                         variable="selection">
                      <iterate
                            operator="or">
                         <instanceof
                               value="org.eventb.core.IEventBRoot">
                         </instanceof>
                      </iterate>
                   </with>
                </visibleWhen>
             </command>
             <separator
                   name="de.prob.units.separator1"
                   visible="true">
             </separator>
          </menuContribution>
       </extension>
       <extension
             point="org.eclipse.ui.commands">
          <command
                id="de.prob.units.startunitanalysis"
                name="Analyse Physical Units">
          </command>
       </extension>
       <extension
             point="org.rodinp.core.attributeTypes">
          <attributeType
                id="unitPragmaAttribute"
                kind="string"
                name="Content of a unit Pragma to send to ProB">
          </attributeType>
          <attributeType
                id="inferredUnitPragmaAttribute"
                kind="string"
                name="Content of a unit Pragma received from ProB">
          </attributeType>
       </extension>
       <extension
             point="org.eventb.core.configurations">
          <configuration
                id="mchBase"
                name="mchBase">
             <scModule
                   id="de.prob.units.machineAttributeProcessor">
             </scModule>
             <scModule
                   id="de.prob.units.contextAttributeProcessor">
             </scModule>
          </configuration>
       </extension>
       <extension
             id="scMachineModuleTypes"
             point="org.eventb.core.scModuleTypes">
          <processorType
                class="de.prob.units.sc.MachineAttributeProcessor"
                id="machineAttributeProcessor"
                name="machineAttributeProcessor"
                parent="org.eventb.core.machineModule">
             <prereq
                   id="org.eventb.core.machineVariableModule">
             </prereq>
          </processorType>
          <processorType
                class="de.prob.units.sc.ContextAttributeProcessor"
                id="contextAttributeProcessor"
                name="contextAttributeProcessor"
                parent="org.eventb.core.contextModule">
          </processorType>
       </extension>
    </plugin>