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
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
|
<?xml version="1.0" encoding="iso-8859-1" ?>
<!-- This file adds support for AdaControl -->
<AdaControl>
<!-- Rules syntax -->
<Language>
<Name>AdaControl</Name>
<Body_Suffix>.aru</Body_Suffix> <!-- Without this, GPS will complain "Warning, no source files for adacontrol" -->
<Extension>.aru</Extension>
<Keywords>^(check|clear|count|go|help|inhibit|message|quit|search|source|set)\b</Keywords>
<Context>
<New_Line_Comment_Start>--|#</New_Line_Comment_Start>
<String_Delimiter>"</String_Delimiter>
<Can_Indent>False</Can_Indent>
<Syntax_Highlighting>True</Syntax_Highlighting>
<Case_Sensitive>False</Case_Sensitive>
</Context>
<Categories>
<Category>
<Name>procedure</Name>
<Pattern>^[ \t]*[ \t]*?(check|search|count)[ \t]+(\w+)</Pattern>
<Index>2</Index>
</Category>
<Category>
<Name>procedure</Name>
<Pattern>^[ \t]*((\w+|".*"):)[ \t]*?(check|search|count)[ \t]+(\w+)</Pattern>
<Index>2</Index>
</Category>
</Categories>
</Language>
<!-- Preferences -->
<preference name="force-save"
page="AdaControl"
label="Auto save files"
default="False"
type="boolean"
tip="Save all files without asking before each run of AdaControl"/>
<preference name="delete-trees"
page="AdaControl"
label="Delete trees"
default="False"
type="boolean"
tip="Delete all tree files after each run of AdaControl"/>
<preference name="delete-ali"
page="AdaControl"
label="Delete .ali files with tree files"
default="False"
type="boolean"
tip="Delete also .ali files whenever the tree files are deleted"/>
<preference name="separate-rules"
page="AdaControl"
label="Use separate categories"
default="False"
type="boolean"
tip="Make a category for each rule in the locations window"/>
<preference name="display-run"
page="AdaControl"
label="Display AdaControl run"
default="False"
type="boolean"
tip="Displays AdaControl command line and results in Messages window"/>
<preference name="button-target"
page="AdaControl"
label="Buttons operate on"
default="1"
type="choices" >
<choice>Current File</choice>
<choice>Root Project</choice>
<choice>Units from List</choice>
</preference>
<preference name="help-format"
page="AdaControl"
label="Help on rule"
default="1"
type="choices" >
<choice>Pop-up</choice>
<choice>User Guide</choice>
</preference>
<preference name="max-errors"
page="AdaControl"
label="Max allowed error messages"
tip="Maximum number of error messages allowed before cancelling run (0=no limit)"
default="0"
minimum="0"
maximum="10000"
type="integer" />
<preference name="max-messages"
page="AdaControl"
label="Max allowed messages (all kinds)"
tip="Maximum number of messages allowed before cancelling run (0=no limit)"
default="0"
minimum="0"
maximum="10000"
type="integer" />
<!-- Tool -->
<tool name="AdaControl" package="Ide">
<language>Ada</language>
<switches lines="4" columns="2" separator=" ">
<title line="1" column="1" column-span="2"> Files </title>
<field line="1" column="1"
label="Rules file" switch="-f" separator=" " as-file="true" />
<field line="1" column="1"
label="Units file" switch="-@" separator=" " as-file="true" />
<field line="1" column="1"
label=".adp project file" switch="-p" separator=" " as-file="true" />
<title line="1" column="2" column-span="0"></title>
<title line="2" column="1"> Processing </title>
<check line="2" column="1" label="Recursive mode" switch="-r"
tip="Process recursively all units the given units depend on"/>
<check line="2" column="1" label="Ignore local deactivation" switch="-i"
tip="Ignore local deactivation tags in source file"/>
<check line="2" column="1" label="Process specs only" switch="-s"/>
<check line="2" column="1" label="Compilation unit mode" switch="-u"
tip="Treat all source names as compilation units even if they look like file names"/>
<title line="2" column="2"> Debug </title>
<check line="2" column="2" label="Debug messages" switch="-d"
tip="Displays debug information (not useful for normal user)"/>
<check line="2" column="2" label="Halt on error" switch="-x"
tip="Terminate AdaControl if a fatal error is encountered"/>
<title line="3" column="1" column-span="2"> Output </title>
<check line="3" column="1" label="Display only errors" switch="-E"
tip="Print only errors (Check)"/>
<check line="3" column="1" label="Warnings as errors" switch="-e"
tip="Treat warnings (Search) as errors (Check)"/>
<combo line="3" column="1" label="Statistics" switch="-S" separator=" " noswitch="0"
tip="Define the statistics displayed in the Message window at the end or the run">
<combo-entry label="None" value="0" />
<combo-entry label="Errors and warnings count" value="1" />
<combo-entry label="Report untriggered rules" value="2" />
<combo-entry label="Full rules statistics" value="3" />
</combo>
<radio line="3" column="1">
<radio-entry label="Send results to GPS"
tip="Send the output to the locations window in GPS"/>
<radio-entry label="Send results to File"
tip="Send the output to a file (file name below is required)"
switch="-NOGPS" />
<radio-entry label="Send results to File and GPS"
tip="Send the output to a file and load it into locations window"
switch="-GPS" />
</radio>
<field line="3" column="1"
label="File name" switch="-o" separator=" " as-file="true" />
<combo line="3" column="1" label="File format" switch="-F" noswitch="0"
tip="Define the output format when destination is file">
<combo-entry label="Gnat, short file names" value="gnat_short" />
<combo-entry label="Gnat, long file names" value="gnat" />
<combo-entry label="CSV, short file names" value="csv_short" />
<combo-entry label="CSV, long file names" value="csv" />
<combo-entry label="CSVX, short file names" value="csvx_short" />
<combo-entry label="CSVX, long file names" value="csvx" />
<combo-entry label="Source, short file names" value="source_short" />
<combo-entry label="Source, long file names" value="source" />
</combo>
<title line="3" column="2" column-span="0"></title>
<title line="4" column="1" column-span="2">ASIS</title>
<field line="4" column="1"
label="ASIS options" switch="--" separator=" "/>
<title line="4" column="2" column-span="0"></title>
</switches>
</tool>
<!-- Actions -->
<!-- Submenus -->
<!-- Actions and submenus are now parsed from Python because otherwise
filters involving Python actions do not work anymore
(starting from GPS 6.1.1)
-->
<!-- Documentation -->
<documentation_file>
<name>/usr/share/doc/adacontrol/adacontrol_ug.html</name>
<descr>AdaControl User Guide</descr>
<category>AdaControl</category>
<menu before="About">/Help/AdaControl/User Guide</menu>
</documentation_file>
<documentation_file>
<name>/usr/share/doc/adacontrol/adacontrol_pm.html</name>
<descr>AdaControl Programmer Manual</descr>
<category>AdaControl</category>
<menu before="About">/Help/AdaControl/Programmer Manual</menu>
</documentation_file>
</AdaControl>
|
