FSM2.0/plugin.xml at master · nullbringer/FSM2.0 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>

   <extension
         point="org.eclipse.ui.views">
      <category
            name="JIVE"
            id="Finite_State_Machine_Offline">
      </category>
      <view
            id="edu.buffalo.cse.jive.finiteStateMachine.views.FSMPropertyChecker"
            name="Property Checker"
            icon="icons/sample.png"
            class="edu.buffalo.cse.jive.finiteStateMachine.views.FSMPropertyChecker"
            category="Finite_State_Machine_Offline"
            inject="true">
      </view>
      <view
            id="edu.buffalo.cse.jive.finiteStateMachine.views.FSMAbstractionGranularity"
            name="State Diagram"
            icon="icons/sample.png"
            class="edu.buffalo.cse.jive.finiteStateMachine.views.FSMAbstractionGranularity"
            category="Finite_State_Machine_Offline"
            inject="true">
      </view>
   </extension>
   <extension
         point="org.eclipse.ui.perspectiveExtensions">
      <perspectiveExtension
            targetID="org.eclipse.jdt.ui.JavaPerspective">
         <view
               id="edu.buffalo.cse.jive.finiteStateMachine.views.FSMPropertyChecker"
               relative="org.eclipse.ui.views.ProblemView"
               relationship="right"
               ratio="0.5">
         </view>
      </perspectiveExtension>
   </extension>
   <extension
         point="org.eclipse.help.contexts">
      <contexts
            file="contexts.xml">
      </contexts>
   </extension>

</plugin>