-
Notifications
You must be signed in to change notification settings - Fork 8
/
plugin.xml
117 lines (104 loc) · 3.77 KB
/
plugin.xml
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
<extension point="org.eclipse.ui.preferencePages">
<page id="ATCPreferencePage"
name="PRISM Generator"
class="br.unb.cic.rtgoretoprism.preferences.ATCPreferencePage"
category="TAOM4EPreferencePage">
</page>
</extension>
<extension
point="org.eclipse.ui.actionSets">
<actionSet
label="Sample Action Set"
visible="true"
id="org.eclipse.ui.actionSets">
<menu
id="verificationMenu"
label="Formal &Verification">
<separator
name="prismGroup">
</separator>
</menu>
<action
label="&Generate PRISM Model"
icon="src/main/resources/icons/sample.gif"
class="br.unb.cic.rtgoretoprism.action.PRISMCodeGenerationAction"
tooltip="Generate PRISM Model"
menubarPath="verificationMenu/prismGroup"
toolbarPath="prismGroup"
id="br.unb.cic.rtgoretoprism.action.PRISMCodeGenerationAction">
</action>
</actionSet>
</extension>
<!-- TAOM4E EXAMPLE -->
<extension point="org.eclipse.ui.popupMenus">
<objectContribution
id="it.itc.sra.taom4e.t2xJadexGenerator.contribution.popup.object"
objectClass="org.eclipse.core.resources.IFolder"
nameFilter="AgentRole_*"
adaptable = "true" >
<menu
id="it.itc.sra.taom4e.t2xJadexGenerator.contribution.subMenu"
label="Agent Generator"
path="additions">
<separator name="group1"/>
</menu>
<action
id="it.itc.sra.taom4e.t2xJadexGenerator.RunKLAgent"
label="Run t2x (KL) Agent"
icon="icons/JadexGenerator.gif"
menubarPath="it.itc.sra.taom4e.t2xJadexGenerator.contribution.subMenu/group1"
enablesFor="1"
class="it.itc.sra.taom4e.t2xJadexGenerator.action.RunJadexAgentAction">
</action>
</objectContribution>
</extension>
<extension point="org.eclipse.ui.popupMenus">
<viewerContribution
targetID="it.itc.sra.taom4e.platform.tropos.editor.contextmenu"
id="br.unb.cic.rtgoretoprism.vc.PARAMFormGen">
<menu
id="br.unb.cic.rtgoretoprism.vc.subMenu"
label="PRISM Generator"
path="additions">
<separator name="group1"/>
</menu>
<action
label="Parametric Formula Generation"
class="br.unb.cic.rtgoretoprism.action.RunParamAction"
menubarPath="br.unb.cic.rtgoretoprism.vc.subMenu/group1"
enablesFor="+"
icon="icons/JadexGenerator.gif"
id="br.unb.cic.rtgoretoprism.action.RunParamAction">
<selection
class="it.itc.sra.taom4e.platform.edit.parts.mixeddiagram.MD_ActorUIEditPart">
</selection>
<selection
class="it.itc.sra.taom4e.platform.edit.parts.mixeddiagram.MD_IntentionalUIEditPart">
</selection>
</action>
</viewerContribution>
</extension>
<extension point="org.eclipse.ui.popupMenus">
<viewerContribution
targetID="it.itc.sra.taom4e.platform.tropos.editor.contextmenu"
id="br.unb.cic.rtgoretoprism.vc.PRISMCodeGen">
<action
label="PRISM DTMC Code Generation"
class="br.unb.cic.rtgoretoprism.action.PRISMCodeGenerationAction"
menubarPath="br.unb.cic.rtgoretoprism.vc.subMenu/group1"
enablesFor="+"
icon="icons/JadexGenerator.gif"
id="br.unb.cic.rtgoretoprism.action.PRISMCodeGenerationActionIn">
<selection
class="it.itc.sra.taom4e.platform.edit.parts.mixeddiagram.MD_ActorUIEditPart">
</selection>
<selection
class="it.itc.sra.taom4e.platform.edit.parts.mixeddiagram.MD_IntentionalUIEditPart">
</selection>
</action>
</viewerContribution>
</extension>
</plugin>