Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Latest commit

 

History

History
History
155 lines (147 loc) · 5.13 KB

File metadata and controls

155 lines (147 loc) · 5.13 KB
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
<extension point="org.eclipse.ui.views">
<category
name="DeepCode"
id="ai.deepcode">
</category>
<view
name="DeepCode Problems View"
icon="icons/logo.png"
categoryId="ai.deepcode"
class="ai.deepcode.parts.MyProblemsView"
id="ai.deepcode.parts.myProblemsView">
</view>
</extension>
<extension point="org.eclipse.ui.commands">
<category
description="DeepCode specific commands."
id="ai.deepcode"
name="DeepCode">
</category>
<command
id="ai.deepcode.analyse"
defaultHandler="ai.deepcode.handlers.AnalysisHandler"
categoryId="ai.deepcode"
name="Full analysis">
</command>
<command
id="ai.deepcode.show_settings"
defaultHandler="ai.deepcode.handlers.ShowSettingsHandler"
categoryId="ai.deepcode"
name="Show DeepCode Preferences">
</command>
<command
id="ai.deepcode.showWebCommandId"
defaultHandler="ai.deepcode.handlers.ShowWebResultsHandler"
categoryId="ai.deepcode"
name="Open Results in Browser">
<commandParameter id="ai.deepcode.params.project" name="Project"/>
</command>
<command
id="ai.deepcode.errorIconCommand"
defaultHandler="ai.deepcode.handlers.ErrorIconClickedHandler"
categoryId="ai.deepcode"
name="DeepCode: errorIconClicked">
</command>
<command
id="ai.deepcode.warnIconCommand"
defaultHandler="ai.deepcode.handlers.WarnIconClickedHandler"
categoryId="ai.deepcode"
name="DeepCode: warnIconClicked">
</command>
<command
id="ai.deepcode.infoIconCommand"
defaultHandler="ai.deepcode.handlers.InfoIconClickedHandler"
categoryId="ai.deepcode"
name="DeepCode: infoIconClicked">
</command>
<command
id="ai.deepcode.emptyCommand"
categoryId="ai.deepcode"
name = "DeepCode: empty command">
</command>
</extension>
<extension point="org.eclipse.ui.menus">
<menuContribution locationURI="toolbar:ai.deepcode.parts.myProblemsView?after=additions">
<command
commandId="ai.deepcode.analyse"
icon="icons/show_dark.png"
tooltip="Run full analysis">
</command>
<command
commandId="ai.deepcode.show_settings"
icon="icons/settings_dark.png"
tooltip="Show DeepCode Preferences">
</command>
</menuContribution>
<menuContribution locationURI="menu:ai.deepcode.parts.myProblemsView?after=additions">
<menu
label="Open Results in Browser"
icon="icons/web.png"
tooltip="Open Results in Browser">
<dynamic class="ai.deepcode.ShowWebResultsCompoundContributionItem" id ="ai.deepcode.ShowWebResults"/>
</menu>
</menuContribution>
<menuContribution locationURI="toolbar:org.eclipse.ui.trim.status?after=org.eclipse.ui.StatusLine">
<toolbar id="ai.deepcode.toolbars.status" label="DeepCode status bar">
<command
commandId="ai.deepcode.errorIconCommand"
label="?"
tooltip="DeepCode: Errors found"
icon="icons/error_gray.png"
mode="FORCE_TEXT"/>
<command
commandId="ai.deepcode.warnIconCommand"
label="?"
tooltip="DeepCode: Warnings found"
icon="icons/warn_gray.png"
mode="FORCE_TEXT"/>
<command
commandId="ai.deepcode.infoIconCommand"
label="?"
tooltip="DeepCode: Infos found"
icon="icons/info_gray.png"
mode="FORCE_TEXT"/>
<command
commandId="ai.deepcode.emptyCommand"
label="_"
tooltip=" "
mode="FORCE_TEXT"/>
</toolbar>
</menuContribution>
</extension>
<extension
id="deepcodemarker"
name="DeepCode"
point="org.eclipse.core.resources.markers">
<persistent
value="false">
</persistent>
<super
type="org.eclipse.core.resources.problemmarker">
</super>
</extension>
<extension point="org.eclipse.ui.ide.markerResolution">
<markerResolutionGenerator
markerType="ai.deepcode.deepcodemarker"
class="ai.deepcode.quickfix.IgnoreSugestion"/>
</extension>
<extension point="org.eclipse.ui.startup">
<startup class="ai.deepcode.parts.StartupClass"/>
</extension>
<extension point="org.eclipse.ui.preferencePages">
<page
class="ai.deepcode.parts.DeepCodePrefPage"
id="ai.deepcode.preferences"
name="DeepCode Preferences">
</page>
</extension>
<extension
point="org.eclipse.core.runtime.preferences">
<initializer
class="ai.deepcode.parts.DeepCodePreferenceInitializer">
</initializer>
</extension>
</plugin>
Morty Proxy This is a proxified and sanitized view of the page, visit original site.