1 /*
2  * Copyright 2011 Tresys Technology, LLC. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions are met:
6  *
7  *    1. Redistributions of source code must retain the above copyright notice,
8  *       this list of conditions and the following disclaimer.
9  *
10  *    2. Redistributions in binary form must reproduce the above copyright notice,
11  *       this list of conditions and the following disclaimer in the documentation
12  *       and/or other materials provided with the distribution.
13  *
14  * THIS SOFTWARE IS PROVIDED BY TRESYS TECHNOLOGY, LLC ``AS IS'' AND ANY EXPRESS
15  * OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
16  * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO
17  * EVENT SHALL TRESYS TECHNOLOGY, LLC OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
18  * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
19  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
20  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
21  * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
22  * OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
23  * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24  *
25  * The views and conclusions contained in the software and documentation are those
26  * of the authors and should not be interpreted as representing official policies,
27  * either expressed or implied, of Tresys Technology, LLC.
28  */
29 
30 #ifndef TEST_CIL_BUILD_AST_H_
31 #define TEST_CIL_BUILD_AST_H_
32 
33 #include "CuTest.h"
34 
35 void test_cil_parse_to_list(CuTest *);
36 void test_cil_parse_to_list_currnull_neg(CuTest *);
37 void test_cil_parse_to_list_listnull_neg(CuTest *);
38 
39 void test_cil_set_to_list(CuTest *);
40 void test_cil_set_to_list_tree_node_null_neg(CuTest *);
41 void test_cil_set_to_list_cl_head_null_neg(CuTest *);
42 void test_cil_set_to_list_listnull_neg(CuTest *);
43 
44 void test_cil_gen_block(CuTest *);
45 void test_cil_gen_block_justblock_neg(CuTest *);
46 void test_cil_gen_block_noname_neg(CuTest *);
47 void test_cil_gen_block_dbnull_neg(CuTest *);
48 void test_cil_gen_block_treenull_neg(CuTest *);
49 void test_cil_gen_block_nodenull_neg(CuTest *);
50 void test_cil_gen_block_nodeparentnull_neg(CuTest *);
51 void test_cil_destroy_block(CuTest *);
52 
53 void test_cil_gen_blockinherit(CuTest *);
54 void test_cil_gen_blockinherit_namelist_neg(CuTest *);
55 void test_cil_gen_blockinherit_namenull_neg(CuTest *);
56 void test_cil_gen_blockinherit_extra_neg(CuTest *);
57 void test_cil_gen_blockinherit_dbnull_neg(CuTest *);
58 void test_cil_gen_blockinherit_currnull_neg(CuTest *);
59 void test_cil_gen_blockinherit_astnull_neg(CuTest *);
60 
61 void test_cil_gen_perm(CuTest *);
62 void test_cil_gen_perm_noname_neg(CuTest *);
63 void test_cil_gen_perm_dbnull_neg(CuTest *);
64 void test_cil_gen_perm_currnull_neg(CuTest *);
65 void test_cil_gen_perm_astnull_neg(CuTest *);
66 void test_cil_gen_perm_nodenull_neg(CuTest *);
67 
68 void test_cil_gen_permset(CuTest *);
69 void test_cil_gen_permset_noname_neg(CuTest *);
70 void test_cil_gen_permset_nameinparens_neg(CuTest *);
71 void test_cil_gen_permset_noperms_neg(CuTest *);
72 void test_cil_gen_permset_emptyperms_neg(CuTest *);
73 void test_cil_gen_permset_extra_neg(CuTest *);
74 void test_cil_gen_permset_dbnull_neg(CuTest *);
75 void test_cil_gen_permset_currnull_neg(CuTest *);
76 void test_cil_gen_permset_astnull_neg(CuTest *);
77 
78 void test_cil_gen_perm_nodes(CuTest *);
79 void test_cil_gen_perm_nodes_failgen_neg(CuTest *);
80 void test_cil_gen_perm_nodes_inval_perm_neg(CuTest *);
81 
82 void test_cil_fill_permset(CuTest *);
83 void test_cil_fill_permset_sublist_neg(CuTest *);
84 void test_cil_fill_permset_startpermnull_neg(CuTest *);
85 void test_cil_fill_permset_permsetnull_neg(CuTest *);
86 
87 void test_cil_gen_in(CuTest *);
88 void test_cil_gen_in_blockstrnull_neg(CuTest *);
89 void test_cil_gen_in_extra_neg(CuTest *);
90 void test_cil_gen_in_dbnull_neg(CuTest *);
91 void test_cil_gen_in_currnull_neg(CuTest *);
92 void test_cil_gen_in_astnull_neg(CuTest *);
93 
94 void test_cil_gen_class(CuTest *);
95 void test_cil_gen_class_noname_neg(CuTest *);
96 void test_cil_gen_class_nodenull_neg(CuTest *);
97 void test_cil_gen_class_dbnull_neg(CuTest *);
98 void test_cil_gen_class_currnull_neg(CuTest *);
99 void test_cil_gen_class_noclass_neg(CuTest *);
100 void test_cil_gen_class_noclassname_neg(CuTest *);
101 void test_cil_gen_class_namesublist_neg(CuTest *);
102 void test_cil_gen_class_noperms(CuTest *);
103 void test_cil_gen_class_permsnotinlist_neg(CuTest *);
104 void test_cil_gen_class_extrapermlist_neg(CuTest *);
105 void test_cil_gen_class_listinlist_neg(CuTest *);
106 
107 void test_cil_fill_classpermset_anonperms(CuTest *);
108 void test_cil_fill_classpermset_anonperms_neg(CuTest *);
109 void test_cil_fill_classpermset_namedperms(CuTest *);
110 void test_cil_fill_classpermset_extra_neg(CuTest *);
111 void test_cil_fill_classpermset_emptypermslist_neg(CuTest *);
112 void test_cil_fill_classpermset_noperms_neg(CuTest *);
113 void test_cil_fill_classpermset_noclass_neg(CuTest *);
114 void test_cil_fill_classpermset_classnodenull_neg(CuTest *);
115 void test_cil_fill_classpermset_cpsnull_neg(CuTest *);
116 
117 void test_cil_gen_classpermset(CuTest *);
118 void test_cil_gen_classpermset_noname_neg(CuTest *);
119 void test_cil_gen_classpermset_nameinparens_neg(CuTest *);
120 void test_cil_gen_classpermset_noclass_neg(CuTest *);
121 void test_cil_gen_classpermset_noperms_neg(CuTest *);
122 void test_cil_gen_classpermset_emptyperms_neg(CuTest *);
123 void test_cil_gen_classpermset_extra_neg(CuTest *);
124 void test_cil_gen_classpermset_dbnull_neg(CuTest *);
125 void test_cil_gen_classpermset_currnull_neg(CuTest *);
126 void test_cil_gen_classpermset_astnull_neg(CuTest *);
127 
128 void test_cil_gen_classmap_perm(CuTest *);
129 void test_cil_gen_classmap_perm_dupeperm_neg(CuTest *);
130 void test_cil_gen_classmap_perm_dbnull_neg(CuTest *tc);
131 void test_cil_gen_classmap_perm_currnull_neg(CuTest *tc);
132 void test_cil_gen_classmap_perm_astnull_neg(CuTest *tc);
133 
134 void test_cil_gen_classmap(CuTest *);
135 void test_cil_gen_classmap_extra_neg(CuTest *);
136 void test_cil_gen_classmap_noname_neg(CuTest *);
137 void test_cil_gen_classmap_emptyperms_neg(CuTest *);
138 void test_cil_gen_classmap_dbnull_neg(CuTest *tc);
139 void test_cil_gen_classmap_currnull_neg(CuTest *tc);
140 void test_cil_gen_classmap_astnull_neg(CuTest *tc);
141 
142 void test_cil_gen_classmapping_anonpermset(CuTest *);
143 void test_cil_gen_classmapping_anonpermset_neg(CuTest *);
144 void test_cil_gen_classmapping_namedpermset(CuTest *);
145 void test_cil_gen_classmapping_noclassmapname_neg(CuTest *);
146 void test_cil_gen_classmapping_noclassmapperm_neg(CuTest *);
147 void test_cil_gen_classmapping_nopermissionsets_neg(CuTest *);
148 void test_cil_gen_classmapping_emptyperms_neg(CuTest *);
149 void test_cil_gen_classmapping_dbnull_neg(CuTest *tc);
150 void test_cil_gen_classmapping_currnull_neg(CuTest *tc);
151 void test_cil_gen_classmapping_astnull_neg(CuTest *tc);
152 
153 void test_cil_gen_common(CuTest *);
154 void test_cil_gen_common_dbnull_neg(CuTest *tc);
155 void test_cil_gen_common_currnull_neg(CuTest *tc);
156 void test_cil_gen_common_astnull_neg(CuTest *tc);
157 void test_cil_gen_common_noname_neg(CuTest *tc);
158 void test_cil_gen_common_twoperms_neg(CuTest *tc);
159 void test_cil_gen_common_permsublist_neg(CuTest *tc);
160 void test_cil_gen_common_noperms_neg(CuTest *tc);
161 
162 void test_cil_gen_sid(CuTest *);
163 void test_cil_gen_sid_noname_neg(CuTest *);
164 void test_cil_gen_sid_nameinparens_neg(CuTest *);
165 void test_cil_gen_sid_extra_neg(CuTest *);
166 void test_cil_gen_sid_dbnull_neg(CuTest *);
167 void test_cil_gen_sid_currnull_neg(CuTest *);
168 void test_cil_gen_sid_astnull_neg(CuTest *);
169 
170 void test_cil_gen_sidcontext(CuTest *);
171 void test_cil_gen_sidcontext_namedcontext(CuTest *);
172 void test_cil_gen_sidcontext_halfcontext_neg(CuTest *);
173 void test_cil_gen_sidcontext_noname_neg(CuTest *);
174 void test_cil_gen_sidcontext_empty_neg(CuTest *);
175 void test_cil_gen_sidcontext_nocontext_neg(CuTest *);
176 void test_cil_gen_sidcontext_dblname_neg(CuTest *);
177 void test_cil_gen_sidcontext_dbnull_neg(CuTest *);
178 void test_cil_gen_sidcontext_pcurrnull_neg(CuTest *);
179 void test_cil_gen_sidcontext_astnodenull_neg(CuTest *);
180 
181 void test_cil_gen_type(CuTest *);
182 void test_cil_gen_type_neg(CuTest *);
183 void test_cil_gen_type_dbnull_neg(CuTest *tc);
184 void test_cil_gen_type_currnull_neg(CuTest *tc);
185 void test_cil_gen_type_astnull_neg(CuTest *tc);
186 void test_cil_gen_type_extra_neg(CuTest *tc);
187 
188 void test_cil_gen_typeattribute(CuTest *);
189 void test_cil_gen_typeattribute_dbnull_neg(CuTest *tc);
190 void test_cil_gen_typeattribute_currnull_neg(CuTest *tc);
191 void test_cil_gen_typeattribute_astnull_neg(CuTest *tc);
192 void test_cil_gen_typeattribute_extra_neg(CuTest *tc);
193 
194 void test_cil_gen_typeattr(CuTest *);
195 void test_cil_gen_typeattr_dbnull_neg(CuTest *);
196 void test_cil_gen_typeattr_currnull_neg(CuTest *);
197 void test_cil_gen_typeattr_astnull_neg(CuTest *);
198 void test_cil_gen_typeattr_typenull_neg(CuTest *);
199 void test_cil_gen_typeattr_attrnull_neg(CuTest *);
200 void test_cil_gen_typeattr_attrlist_neg(CuTest *);
201 void test_cil_gen_typeattr_extra_neg(CuTest *);
202 
203 void test_cil_gen_typebounds(CuTest *);
204 void test_cil_gen_typebounds_notype1_neg(CuTest *);
205 void test_cil_gen_typebounds_type1inparens_neg(CuTest *);
206 void test_cil_gen_typebounds_notype2_neg(CuTest *);
207 void test_cil_gen_typebounds_type2inparens_neg(CuTest *);
208 void test_cil_gen_typebounds_extra_neg(CuTest *);
209 void test_cil_gen_typebounds_dbnull_neg(CuTest *);
210 void test_cil_gen_typebounds_currnull_neg(CuTest *);
211 void test_cil_gen_typebounds_astnull_neg(CuTest *);
212 
213 void test_cil_gen_typepermissive(CuTest *);
214 void test_cil_gen_typepermissive_noname_neg(CuTest *);
215 void test_cil_gen_typepermissive_typeinparens_neg(CuTest *);
216 void test_cil_gen_typepermissive_extra_neg(CuTest *);
217 void test_cil_gen_typepermissive_dbnull_neg(CuTest *);
218 void test_cil_gen_typepermissive_currnull_neg(CuTest *);
219 void test_cil_gen_typepermissive_astnull_neg(CuTest *);
220 
221 void test_cil_gen_nametypetransition(CuTest *);
222 void test_cil_gen_nametypetransition_nostr_neg(CuTest *);
223 void test_cil_gen_nametypetransition_strinparens_neg(CuTest *);
224 void test_cil_gen_nametypetransition_nosrc_neg(CuTest *);
225 void test_cil_gen_nametypetransition_srcinparens_neg(CuTest *);
226 void test_cil_gen_nametypetransition_notgt_neg(CuTest *);
227 void test_cil_gen_nametypetransition_tgtinparens_neg(CuTest *);
228 void test_cil_gen_nametypetransition_noclass_neg(CuTest *);
229 void test_cil_gen_nametypetransition_classinparens_neg(CuTest *);
230 void test_cil_gen_nametypetransition_nodest_neg(CuTest *);
231 void test_cil_gen_nametypetransition_destinparens_neg(CuTest *);
232 void test_cil_gen_nametypetransition_extra_neg(CuTest *);
233 void test_cil_gen_nametypetransition_dbnull_neg(CuTest *);
234 void test_cil_gen_nametypetransition_currnull_neg(CuTest *);
235 void test_cil_gen_nametypetransition_astnull_neg(CuTest *);
236 
237 void test_cil_gen_rangetransition(CuTest *);
238 void test_cil_gen_rangetransition_namedtransition(CuTest *);
239 void test_cil_gen_rangetransition_anon_low_l(CuTest *);
240 void test_cil_gen_rangetransition_anon_low_l_neg(CuTest *);
241 void test_cil_gen_rangetransition_anon_high_l(CuTest *);
242 void test_cil_gen_rangetransition_anon_high_l_neg(CuTest *);
243 void test_cil_gen_rangetransition_dbnull_neg(CuTest *);
244 void test_cil_gen_rangetransition_currnull_neg(CuTest *);
245 void test_cil_gen_rangetransition_astnull_neg(CuTest *);
246 void test_cil_gen_rangetransition_nofirsttype_neg(CuTest *);
247 void test_cil_gen_rangetransition_firsttype_inparens_neg(CuTest *);
248 void test_cil_gen_rangetransition_nosecondtype_neg(CuTest *);
249 void test_cil_gen_rangetransition_secondtype_inparens_neg(CuTest *);
250 void test_cil_gen_rangetransition_noclass_neg(CuTest *);
251 void test_cil_gen_rangetransition_class_inparens_neg(CuTest *);
252 void test_cil_gen_rangetransition_nolevel_l_neg(CuTest *);
253 void test_cil_gen_rangetransition_nolevel_h_neg(CuTest *);
254 void test_cil_gen_rangetransition_extra_neg(CuTest *);
255 
256 void test_cil_gen_expr_stack_and(CuTest *);
257 void test_cil_gen_expr_stack_or(CuTest *);
258 void test_cil_gen_expr_stack_xor(CuTest *);
259 void test_cil_gen_expr_stack_not(CuTest *);
260 void test_cil_gen_expr_stack_not_noexpr_neg(CuTest *);
261 void test_cil_gen_expr_stack_not_extraexpr_neg(CuTest *);
262 void test_cil_gen_expr_stack_eq(CuTest *);
263 void test_cil_gen_expr_stack_neq(CuTest *);
264 void test_cil_gen_expr_stack_nested(CuTest *);
265 void test_cil_gen_expr_stack_nested_neg(CuTest *);
266 void test_cil_gen_expr_stack_nested_emptyargs_neg(CuTest *);
267 void test_cil_gen_expr_stack_nested_missingoperator_neg(CuTest *);
268 void test_cil_gen_expr_stack_arg1null_neg(CuTest *);
269 void test_cil_gen_expr_stack_arg2null_neg(CuTest *);
270 void test_cil_gen_expr_stack_extraarg_neg(CuTest *);
271 void test_cil_gen_expr_stack_currnull_neg(CuTest *);
272 void test_cil_gen_expr_stack_stacknull_neg(CuTest *);
273 
274 void test_cil_gen_boolif_multiplebools_true(CuTest *);
275 void test_cil_gen_boolif_multiplebools_false(CuTest *);
276 void test_cil_gen_boolif_multiplebools_unknowncond_neg(CuTest *);
277 void test_cil_gen_boolif_true(CuTest *);
278 void test_cil_gen_boolif_false(CuTest *);
279 void test_cil_gen_boolif_unknowncond_neg(CuTest *);
280 void test_cil_gen_boolif_nested(CuTest *);
281 void test_cil_gen_boolif_nested_neg(CuTest *);
282 void test_cil_gen_boolif_extra_neg(CuTest *);
283 void test_cil_gen_boolif_extra_parens_neg(CuTest *);
284 void test_cil_gen_boolif_nocond(CuTest *);
285 void test_cil_gen_boolif_neg(CuTest *);
286 void test_cil_gen_boolif_dbnull_neg(CuTest *);
287 void test_cil_gen_boolif_currnull_neg(CuTest *);
288 void test_cil_gen_boolif_astnull_neg(CuTest *);
289 void test_cil_gen_boolif_nocond_neg(CuTest *);
290 void test_cil_gen_boolif_notruelist_neg(CuTest *);
291 void test_cil_gen_boolif_empty_cond_neg(CuTest *);
292 
293 void test_cil_gen_else(CuTest *);
294 void test_cil_gen_else_neg(CuTest *);
295 void test_cil_gen_else_dbnull_neg(CuTest *);
296 void test_cil_gen_else_currnull_neg(CuTest *);
297 void test_cil_gen_else_astnull_neg(CuTest *);
298 
299 void test_cil_gen_tunif_multiplebools_true(CuTest *);
300 void test_cil_gen_tunif_multiplebools_false(CuTest *);
301 void test_cil_gen_tunif_multiplebools_unknowncond_neg(CuTest *);
302 void test_cil_gen_tunif_true(CuTest *);
303 void test_cil_gen_tunif_false(CuTest *);
304 void test_cil_gen_tunif_unknowncond_neg(CuTest *);
305 void test_cil_gen_tunif_nocond(CuTest *);
306 void test_cil_gen_tunif_nested(CuTest *);
307 void test_cil_gen_tunif_nested_neg(CuTest *);
308 void test_cil_gen_tunif_extra_neg(CuTest *);
309 void test_cil_gen_tunif_extra_parens_neg(CuTest *);
310 void test_cil_gen_tunif_neg(CuTest *);
311 void test_cil_gen_tunif_dbnull_neg(CuTest *);
312 void test_cil_gen_tunif_currnull_neg(CuTest *);
313 void test_cil_gen_tunif_astnull_neg(CuTest *);
314 void test_cil_gen_tunif_nocond_neg(CuTest *);
315 void test_cil_gen_tunif_notruelist_neg(CuTest *);
316 
317 void test_cil_gen_condblock_true(CuTest *);
318 void test_cil_gen_condblock_false(CuTest *);
319 void test_cil_gen_condblock_dbnull_neg(CuTest *);
320 void test_cil_gen_condblock_currnull_neg(CuTest *);
321 void test_cil_gen_condblock_astnull_neg(CuTest *);
322 void test_cil_gen_condblock_nocond_neg(CuTest *);
323 void test_cil_gen_condblock_extra_neg(CuTest *);
324 
325 void test_cil_gen_typealias(CuTest *);
326 void test_cil_gen_typealias_incomplete_neg(CuTest *);
327 void test_cil_gen_typealias_incomplete_neg2(CuTest *);
328 void test_cil_gen_typealias_extratype_neg(CuTest *);
329 void test_cil_gen_typealias_dbnull_neg(CuTest *tc);
330 void test_cil_gen_typealias_currnull_neg(CuTest *tc);
331 void test_cil_gen_typealias_astnull_neg(CuTest *tc);
332 
333 void test_cil_gen_typeattributeset(CuTest *);
334 void test_cil_gen_typeattributeset_and_two_types(CuTest *);
335 void test_cil_gen_typeattributeset_not(CuTest *);
336 void test_cil_gen_typeattributeset_exclude_attr(CuTest *);
337 void test_cil_gen_typeattributeset_exclude_neg(CuTest *);
338 void test_cil_gen_typeattributeset_dbnull_neg(CuTest *);
339 void test_cil_gen_typeattributeset_currnull_neg(CuTest *);
340 void test_cil_gen_typeattributeset_astnull_neg(CuTest *);
341 void test_cil_gen_typeattributeset_noname_neg(CuTest *);
342 void test_cil_gen_typeattributeset_nameinparens_neg(CuTest *);
343 void test_cil_gen_typeattributeset_emptylists_neg(CuTest *);
344 void test_cil_gen_typeattributeset_listinparens_neg(CuTest *);
345 void test_cil_gen_typeattributeset_extra_neg(CuTest *);
346 
347 void test_cil_gen_userbounds(CuTest *);
348 void test_cil_gen_userbounds_notype1_neg(CuTest *);
349 void test_cil_gen_userbounds_type1_inparens_neg(CuTest *);
350 void test_cil_gen_userbounds_notype2_neg(CuTest *);
351 void test_cil_gen_userbounds_type2_inparens_neg(CuTest *);
352 void test_cil_gen_userbounds_extra_neg(CuTest *);
353 void test_cil_gen_userbounds_dbnull_neg(CuTest *);
354 void test_cil_gen_userbounds_currnull_neg(CuTest *);
355 void test_cil_gen_userbounds_astnull_neg(CuTest *);
356 
357 void test_cil_gen_role(CuTest *);
358 void test_cil_gen_role_dbnull_neg(CuTest *tc);
359 void test_cil_gen_role_currnull_neg(CuTest *tc);
360 void test_cil_gen_role_astnull_neg(CuTest *tc);
361 void test_cil_gen_role_extrarole_neg(CuTest *tc);
362 void test_cil_gen_role_noname_neg(CuTest *tc);
363 
364 void test_cil_gen_roletransition(CuTest *);
365 void test_cil_gen_roletransition_currnull_neg(CuTest *);
366 void test_cil_gen_roletransition_astnull_neg(CuTest *);
367 void test_cil_gen_roletransition_srcnull_neg(CuTest *);
368 void test_cil_gen_roletransition_tgtnull_neg(CuTest *);
369 void test_cil_gen_roletransition_resultnull_neg(CuTest *);
370 void test_cil_gen_roletransition_extra_neg(CuTest *);
371 
372 void test_cil_gen_bool_true(CuTest *);
373 void test_cil_gen_bool_tunable_true(CuTest *);
374 void test_cil_gen_bool_false(CuTest *);
375 void test_cil_gen_bool_tunable_false(CuTest *);
376 void test_cil_gen_bool_none_neg(CuTest *);
377 void test_cil_gen_bool_dbnull_neg(CuTest *);
378 void test_cil_gen_bool_currnull_neg(CuTest *);
379 void test_cil_gen_bool_astnull_neg(CuTest *);
380 void test_cil_gen_bool_notbool_neg(CuTest *);
381 void test_cil_gen_bool_boolname_neg(CuTest *);
382 void test_cil_gen_bool_extraname_false_neg(CuTest *);
383 void test_cil_gen_bool_extraname_true_neg(CuTest *);
384 
385 void test_cil_gen_constrain_expr_stack_eq2_t1type(CuTest *);
386 void test_cil_gen_constrain_expr_stack_eq2_t1t1_neg(CuTest *);
387 void test_cil_gen_constrain_expr_stack_eq2_t2type(CuTest *);
388 void test_cil_gen_constrain_expr_stack_eq2_t2t2_neg(CuTest *);
389 void test_cil_gen_constrain_expr_stack_eq2_r1role(CuTest *);
390 void test_cil_gen_constrain_expr_stack_eq2_r1r1_neg(CuTest *);
391 void test_cil_gen_constrain_expr_stack_eq2_r2role(CuTest *);
392 void test_cil_gen_constrain_expr_stack_eq2_r2r2_neg(CuTest *);
393 void test_cil_gen_constrain_expr_stack_eq2_t1t2(CuTest *);
394 void test_cil_gen_constrain_expr_stack_eq_r1r2(CuTest *);
395 void test_cil_gen_constrain_expr_stack_eq2_r1r2(CuTest *);
396 void test_cil_gen_constrain_expr_stack_eq2_u1u2(CuTest *);
397 void test_cil_gen_constrain_expr_stack_eq2_u1user(CuTest *);
398 void test_cil_gen_constrain_expr_stack_eq2_u1u1_neg(CuTest *);
399 void test_cil_gen_constrain_expr_stack_eq2_u2user(CuTest *);
400 void test_cil_gen_constrain_expr_stack_eq2_u2u2_neg(CuTest *);
401 void test_cil_gen_constrain_expr_stack_eq_l2h2(CuTest *);
402 void test_cil_gen_constrain_expr_stack_eq_l2_neg(CuTest *);
403 void test_cil_gen_constrain_expr_stack_eq_l1l2(CuTest *);
404 void test_cil_gen_constrain_expr_stack_eq_l1h1(CuTest *);
405 void test_cil_gen_constrain_expr_stack_eq_l1h2(CuTest *);
406 void test_cil_gen_constrain_expr_stack_eq_h1l2(CuTest *);
407 void test_cil_gen_constrain_expr_stack_eq_h1h2(CuTest *);
408 void test_cil_gen_constrain_expr_stack_eq_h1_neg(CuTest *);
409 void test_cil_gen_constrain_expr_stack_eq_l1l1_neg(CuTest *);
410 void test_cil_gen_constrain_expr_stack_eq2_l1l2_constrain_neg(CuTest *);
411 void test_cil_gen_constrain_expr_stack_eq_l1l2_constrain_neg(CuTest *);
412 void test_cil_gen_constrain_expr_stack_eq_leftkeyword_neg(CuTest *);
413 void test_cil_gen_constrain_expr_stack_eq_noexpr1_neg(CuTest *);
414 void test_cil_gen_constrain_expr_stack_eq_expr1inparens_neg(CuTest *);
415 void test_cil_gen_constrain_expr_stack_eq_noexpr2_neg(CuTest *);
416 void test_cil_gen_constrain_expr_stack_eq_expr2inparens_neg(CuTest *);
417 void test_cil_gen_constrain_expr_stack_eq_extraexpr_neg(CuTest *);
418 void test_cil_gen_constrain_expr_stack_eq2(CuTest *);
419 void test_cil_gen_constrain_expr_stack_eq2_noexpr1_neg(CuTest *);
420 void test_cil_gen_constrain_expr_stack_eq2_expr1inparens_neg(CuTest *);
421 void test_cil_gen_constrain_expr_stack_eq2_noexpr2_neg(CuTest *);
422 void test_cil_gen_constrain_expr_stack_eq2_expr2inparens_neg(CuTest *);
423 void test_cil_gen_constrain_expr_stack_eq2_extraexpr_neg(CuTest *);
424 void test_cil_gen_constrain_expr_stack_noteq(CuTest *);
425 void test_cil_gen_constrain_expr_stack_noteq_noexpr1_neg(CuTest *);
426 void test_cil_gen_constrain_expr_stack_noteq_expr1inparens_neg(CuTest *);
427 void test_cil_gen_constrain_expr_stack_noteq_noexpr2_neg(CuTest *);
428 void test_cil_gen_constrain_expr_stack_noteq_expr2inparens_neg(CuTest *);
429 void test_cil_gen_constrain_expr_stack_noteq_extraexpr_neg(CuTest *);
430 void test_cil_gen_constrain_expr_stack_not(CuTest *);
431 void test_cil_gen_constrain_expr_stack_not_noexpr_neg(CuTest *);
432 void test_cil_gen_constrain_expr_stack_not_emptyparens_neg(CuTest *);
433 void test_cil_gen_constrain_expr_stack_not_extraparens_neg(CuTest *);
434 void test_cil_gen_constrain_expr_stack_or(CuTest *);
435 void test_cil_gen_constrain_expr_stack_or_neg(CuTest *);
436 void test_cil_gen_constrain_expr_stack_or_noexpr_neg(CuTest *);
437 void test_cil_gen_constrain_expr_stack_or_emptyfirstparens_neg(CuTest *);
438 void test_cil_gen_constrain_expr_stack_or_missingsecondexpr_neg(CuTest *);
439 void test_cil_gen_constrain_expr_stack_or_emptysecondparens_neg(CuTest *);
440 void test_cil_gen_constrain_expr_stack_or_extraexpr_neg(CuTest *);
441 void test_cil_gen_constrain_expr_stack_and(CuTest *);
442 void test_cil_gen_constrain_expr_stack_and_neg(CuTest *);
443 void test_cil_gen_constrain_expr_stack_and_noexpr_neg(CuTest *);
444 void test_cil_gen_constrain_expr_stack_and_emptyfirstparens_neg(CuTest *);
445 void test_cil_gen_constrain_expr_stack_and_missingsecondexpr_neg(CuTest *);
446 void test_cil_gen_constrain_expr_stack_and_emptysecondparens_neg(CuTest *);
447 void test_cil_gen_constrain_expr_stack_and_extraexpr_neg(CuTest *);
448 void test_cil_gen_constrain_expr_stack_dom(CuTest *);
449 void test_cil_gen_constrain_expr_stack_dom_noexpr1_neg(CuTest *);
450 void test_cil_gen_constrain_expr_stack_dom_expr1inparens_neg(CuTest *);
451 void test_cil_gen_constrain_expr_stack_dom_noexpr2_neg(CuTest *);
452 void test_cil_gen_constrain_expr_stack_dom_expr2inparens_neg(CuTest *);
453 void test_cil_gen_constrain_expr_stack_dom_extraexpr_neg(CuTest *);
454 void test_cil_gen_constrain_expr_stack_domby(CuTest *);
455 void test_cil_gen_constrain_expr_stack_domby_noexpr1_neg(CuTest *);
456 void test_cil_gen_constrain_expr_stack_domby_expr1inparens_neg(CuTest *);
457 void test_cil_gen_constrain_expr_stack_domby_noexpr2_neg(CuTest *);
458 void test_cil_gen_constrain_expr_stack_domby_expr2inparens_neg(CuTest *);
459 void test_cil_gen_constrain_expr_stack_domby_extraexpr_neg(CuTest *);
460 void test_cil_gen_constrain_expr_stack_incomp(CuTest *);
461 void test_cil_gen_constrain_expr_stack_incomp_noexpr1_neg(CuTest *);
462 void test_cil_gen_constrain_expr_stack_incomp_expr1inparens_neg(CuTest *);
463 void test_cil_gen_constrain_expr_stack_incomp_noexpr2_neg(CuTest *);
464 void test_cil_gen_constrain_expr_stack_incomp_expr2inparens_neg(CuTest *);
465 void test_cil_gen_constrain_expr_stack_incomp_extraexpr_neg(CuTest *);
466 void test_cil_gen_constrain_expr_stack_currnull_neg(CuTest *);
467 void test_cil_gen_constrain_expr_stack_stacknull_neg(CuTest *);
468 void test_cil_gen_constrain_expr_stack_operatorinparens_neg(CuTest *);
469 void test_cil_gen_constrain_expr_stack_incorrectcall_neg(CuTest *);
470 
471 void test_cil_gen_roleallow(CuTest *);
472 void test_cil_gen_roleallow_dbnull_neg(CuTest *);
473 void test_cil_gen_roleallow_currnull_neg(CuTest *);
474 void test_cil_gen_roleallow_astnull_neg(CuTest *);
475 void test_cil_gen_roleallow_srcnull_neg(CuTest *);
476 void test_cil_gen_roleallow_tgtnull_neg(CuTest *);
477 void test_cil_gen_roleallow_extra_neg(CuTest *);
478 
479 void test_cil_gen_rolebounds(CuTest *);
480 void test_cil_gen_rolebounds_norole1_neg(CuTest *);
481 void test_cil_gen_rolebounds_role1_inparens_neg(CuTest *);
482 void test_cil_gen_rolebounds_norole2_neg(CuTest *);
483 void test_cil_gen_rolebounds_role2_inparens_neg(CuTest *);
484 void test_cil_gen_rolebounds_extra_neg(CuTest *);
485 void test_cil_gen_rolebounds_dbnull_neg(CuTest *);
486 void test_cil_gen_rolebounds_currnull_neg(CuTest *);
487 void test_cil_gen_rolebounds_astnull_neg(CuTest *);
488 
489 void test_cil_gen_avrule(CuTest *);
490 void test_cil_gen_avrule_permset(CuTest *);
491 void test_cil_gen_avrule_permset_anon(CuTest *);
492 void test_cil_gen_avrule_extra_neg(CuTest *);
493 void test_cil_gen_avrule_sourceparens(CuTest *);
494 void test_cil_gen_avrule_sourceemptyparen_neg(CuTest *);
495 void test_cil_gen_avrule_targetparens(CuTest *);
496 void test_cil_gen_avrule_targetemptyparen_neg(CuTest *);
497 void test_cil_gen_avrule_currnull_neg(CuTest *tc);
498 void test_cil_gen_avrule_astnull_neg(CuTest *tc);
499 void test_cil_gen_avrule_sourcedomainnull_neg(CuTest *tc);
500 void test_cil_gen_avrule_targetdomainnull_neg(CuTest *tc);
501 void test_cil_gen_avrule_objectclassnull_neg(CuTest *tc);
502 void test_cil_gen_avrule_permsnull_neg(CuTest *tc);
503 void test_cil_gen_avrule_twolists_neg(CuTest *);
504 //TODO: add cases to cover  parse_current->next->cl_head != NULL || parse_current->next->next->cl_head != NULL
505 // || parse_current->next->next->next->cl_head != NULL
506 
507 void test_cil_gen_type_rule_transition(CuTest *);
508 void test_cil_gen_type_rule_transition_currnull_neg(CuTest *);
509 void test_cil_gen_type_rule_transition_astnull_neg(CuTest *);
510 void test_cil_gen_type_rule_transition_srcnull_neg(CuTest *);
511 void test_cil_gen_type_rule_transition_tgtnull_neg(CuTest *);
512 void test_cil_gen_type_rule_transition_objnull_neg(CuTest *);
513 void test_cil_gen_type_rule_transition_resultnull_neg(CuTest *);
514 void test_cil_gen_type_rule_transition_extra_neg(CuTest *);
515 
516 void test_cil_gen_type_rule_change(CuTest *);
517 void test_cil_gen_type_rule_change_currnull_neg(CuTest *);
518 void test_cil_gen_type_rule_change_astnull_neg(CuTest *);
519 void test_cil_gen_type_rule_change_srcnull_neg(CuTest *);
520 void test_cil_gen_type_rule_change_tgtnull_neg(CuTest *);
521 void test_cil_gen_type_rule_change_objnull_neg(CuTest *);
522 void test_cil_gen_type_rule_change_resultnull_neg(CuTest *);
523 void test_cil_gen_type_rule_change_extra_neg(CuTest *);
524 
525 void test_cil_gen_type_rule_member(CuTest *);
526 void test_cil_gen_type_rule_member_currnull_neg(CuTest *);
527 void test_cil_gen_type_rule_member_astnull_neg(CuTest *);
528 void test_cil_gen_type_rule_member_srcnull_neg(CuTest *);
529 void test_cil_gen_type_rule_member_tgtnull_neg(CuTest *);
530 void test_cil_gen_type_rule_member_objnull_neg(CuTest *);
531 void test_cil_gen_type_rule_member_resultnull_neg(CuTest *);
532 void test_cil_gen_type_rule_member_extra_neg(CuTest *);
533 
534 void test_cil_gen_user(CuTest *);
535 void test_cil_gen_user_dbnull_neg(CuTest *);
536 void test_cil_gen_user_currnull_neg(CuTest *);
537 void test_cil_gen_user_astnull_neg(CuTest *);
538 void test_cil_gen_user_nouser_neg(CuTest *);
539 void test_cil_gen_user_xsinfo_neg(CuTest *);
540 
541 void test_cil_gen_userlevel(CuTest *);
542 void test_cil_gen_userlevel_anon_level(CuTest *);
543 void test_cil_gen_userlevel_anon_level_neg(CuTest *);
544 void test_cil_gen_userlevel_usernull_neg(CuTest *);
545 void test_cil_gen_userlevel_userrange_neg(CuTest *);
546 void test_cil_gen_userlevel_levelnull_neg(CuTest *);
547 void test_cil_gen_userlevel_levelrangeempty_neg(CuTest *);
548 void test_cil_gen_userlevel_extra_neg(CuTest *);
549 void test_cil_gen_userlevel_dbnull_neg(CuTest *);
550 void test_cil_gen_userlevel_currnull_neg(CuTest *);
551 void test_cil_gen_userlevel_astnull_neg(CuTest *);
552 
553 void test_cil_gen_userrange_named(CuTest *);
554 void test_cil_gen_userrange_anon(CuTest *);
555 void test_cil_gen_userrange_usernull_neg(CuTest *);
556 void test_cil_gen_userrange_anonuser_neg(CuTest *);
557 void test_cil_gen_userrange_rangenamenull_neg(CuTest *);
558 void test_cil_gen_userrange_anonrangeinvalid_neg(CuTest *);
559 void test_cil_gen_userrange_anonrangeempty_neg(CuTest *);
560 void test_cil_gen_userrange_extra_neg(CuTest *);
561 void test_cil_gen_userrange_dbnull_neg(CuTest *);
562 void test_cil_gen_userrange_currnull_neg(CuTest *);
563 void test_cil_gen_userrange_astnull_neg(CuTest *);
564 
565 void test_cil_gen_sensitivity(CuTest *);
566 void test_cil_gen_sensitivity_dbnull_neg(CuTest *);
567 void test_cil_gen_sensitivity_currnull_neg(CuTest *);
568 void test_cil_gen_sensitivity_astnull_neg(CuTest *);
569 void test_cil_gen_sensitivity_sensnull_neg(CuTest *);
570 void test_cil_gen_sensitivity_senslist_neg(CuTest *);
571 void test_cil_gen_sensitivity_extra_neg(CuTest *);
572 
573 void test_cil_gen_sensalias(CuTest *);
574 void test_cil_gen_sensalias_dbnull_neg(CuTest *);
575 void test_cil_gen_sensalias_currnull_neg(CuTest *);
576 void test_cil_gen_sensalias_astnull_neg(CuTest *);
577 void test_cil_gen_sensalias_sensnull_neg(CuTest *);
578 void test_cil_gen_sensalias_senslist_neg(CuTest *);
579 void test_cil_gen_sensalias_aliasnull_neg(CuTest *);
580 void test_cil_gen_sensalias_aliaslist_neg(CuTest *);
581 void test_cil_gen_sensalias_extra_neg(CuTest *);
582 
583 void test_cil_gen_category(CuTest *);
584 void test_cil_gen_category_dbnull_neg(CuTest *);
585 void test_cil_gen_category_astnull_neg(CuTest *);
586 void test_cil_gen_category_currnull_neg(CuTest *);
587 void test_cil_gen_category_catnull_neg(CuTest *);
588 void test_cil_gen_category_catlist_neg(CuTest *);
589 void test_cil_gen_category_extra_neg(CuTest *);
590 
591 void test_cil_gen_catset(CuTest *);
592 void test_cil_gen_catset_dbnull_neg(CuTest *);
593 void test_cil_gen_catset_currnull_neg(CuTest *);
594 void test_cil_gen_catset_astnull_neg(CuTest *);
595 void test_cil_gen_catset_namenull_neg(CuTest *);
596 void test_cil_gen_catset_setnull_neg(CuTest *);
597 void test_cil_gen_catset_namelist_neg(CuTest *);
598 void test_cil_gen_catset_extra_neg(CuTest *);
599 void test_cil_gen_catset_nodefail_neg(CuTest *);
600 void test_cil_gen_catset_notset_neg(CuTest *);
601 void test_cil_gen_catset_settolistfail_neg(CuTest *);
602 
603 void test_cil_gen_catalias(CuTest *);
604 void test_cil_gen_catalias_dbnull_neg(CuTest *);
605 void test_cil_gen_catalias_currnull_neg(CuTest *);
606 void test_cil_gen_catalias_astnull_neg(CuTest *);
607 void test_cil_gen_catalias_catnull_neg(CuTest *);
608 void test_cil_gen_catalias_aliasnull_neg(CuTest *);
609 void test_cil_gen_catalias_extra_neg(CuTest *);
610 
611 void test_cil_gen_catrange(CuTest *);
612 void test_cil_gen_catrange_noname_neg(CuTest *);
613 void test_cil_gen_catrange_norange_neg(CuTest *);
614 void test_cil_gen_catrange_emptyrange_neg(CuTest *);
615 void test_cil_gen_catrange_extrarange_neg(CuTest *);
616 void test_cil_gen_catrange_dbnull_neg(CuTest *);
617 void test_cil_gen_catrange_currnull_neg(CuTest *);
618 void test_cil_gen_catrange_astnull_neg(CuTest *);
619 void test_cil_gen_catrange_extra_neg(CuTest *);
620 
621 void test_cil_gen_roletype(CuTest *tc);
622 void test_cil_gen_roletype_currnull_neg(CuTest *tc);
623 void test_cil_gen_roletype_dbnull_neg(CuTest *tc);
624 void test_cil_gen_roletype_astnull_neg(CuTest *tc);
625 void test_cil_gen_roletype_empty_neg(CuTest *tc);
626 void test_cil_gen_roletype_rolelist_neg(CuTest *tc);
627 void test_cil_gen_roletype_roletype_sublist_neg(CuTest *tc);
628 void test_cil_gen_roletype_typelist_neg(CuTest *tc);
629 
630 void test_cil_gen_userrole(CuTest *tc);
631 void test_cil_gen_userrole_currnull_neg(CuTest *tc);
632 void test_cil_gen_userrole_dbnull_neg(CuTest *tc);
633 void test_cil_gen_userrole_astnull_neg(CuTest *tc);
634 void test_cil_gen_userrole_empty_neg(CuTest *tc);
635 void test_cil_gen_userrole_userlist_neg(CuTest *tc);
636 void test_cil_gen_userrole_userrole_sublist_neg(CuTest *tc);
637 void test_cil_gen_userrole_rolelist_neg(CuTest *tc);
638 
639 void test_cil_gen_classcommon(CuTest *tc);
640 void test_cil_gen_classcommon_dbnull_neg(CuTest *tc);
641 void test_cil_gen_classcommon_currnull_neg(CuTest *tc);
642 void test_cil_gen_classcommon_astnull_neg(CuTest *tc);
643 void test_cil_gen_classcommon_missingclassname_neg(CuTest *tc);
644 void test_cil_gen_classcommon_noperms_neg(CuTest *tc);
645 void test_cil_gen_classcommon_extraperms_neg(CuTest *tc);
646 
647 void test_cil_gen_catorder(CuTest *tc);
648 void test_cil_gen_catorder_dbnull_neg(CuTest *tc);
649 void test_cil_gen_catorder_currnull_neg(CuTest *tc);
650 void test_cil_gen_catorder_astnull_neg(CuTest *tc);
651 void test_cil_gen_catorder_missingcats_neg(CuTest *tc);
652 void test_cil_gen_catorder_nosublist_neg(CuTest *tc);
653 void test_cil_gen_catorder_nestedcat_neg(CuTest *tc);
654 
655 void test_cil_gen_dominance(CuTest *tc);
656 void test_cil_gen_dominance_dbnull_neg(CuTest *tc);
657 void test_cil_gen_dominance_currnull_neg(CuTest *tc);
658 void test_cil_gen_dominance_astnull_neg(CuTest *tc);
659 void test_cil_gen_dominance_nosensitivities_neg(CuTest *tc);
660 void test_cil_gen_dominance_nosublist_neg(CuTest *tc);
661 
662 void test_cil_gen_senscat(CuTest *tc);
663 void test_cil_gen_senscat_nosublist(CuTest *);
664 void test_cil_gen_senscat_dbnull_neg(CuTest *tc);
665 void test_cil_gen_senscat_currnull_neg(CuTest *tc);
666 void test_cil_gen_senscat_astnull_neg(CuTest *tc);
667 void test_cil_gen_senscat_nosensitivities_neg(CuTest *tc);
668 void test_cil_gen_senscat_sublist_neg(CuTest *);
669 void test_cil_gen_senscat_nocat_neg(CuTest *);
670 
671 void test_cil_fill_level(CuTest *tc);
672 void test_cil_fill_level_sensnull_neg(CuTest *tc);
673 void test_cil_fill_level_levelnull_neg(CuTest *tc);
674 void test_cil_fill_level_nocat(CuTest *tc);
675 void test_cil_fill_level_emptycat_neg(CuTest *tc);
676 
677 void test_cil_gen_level(CuTest *tc);
678 void test_cil_gen_level_nameinparens_neg(CuTest *tc);
679 void test_cil_gen_level_emptysensparens_neg(CuTest *tc);
680 void test_cil_gen_level_extra_neg(CuTest *tc);
681 void test_cil_gen_level_emptycat_neg(CuTest *tc);
682 void test_cil_gen_level_noname_neg(CuTest *tc);
683 void test_cil_gen_level_nosens_neg(CuTest *tc);
684 void test_cil_gen_level_dbnull_neg(CuTest *tc);
685 void test_cil_gen_level_currnull_neg(CuTest *tc);
686 void test_cil_gen_level_astnull_neg(CuTest *tc);
687 
688 void test_cil_gen_levelrange(CuTest *tc);
689 void test_cil_gen_levelrange_rangeinvalid_neg(CuTest *tc);
690 void test_cil_gen_levelrange_namenull_neg(CuTest *tc);
691 void test_cil_gen_levelrange_rangenull_neg(CuTest *tc);
692 void test_cil_gen_levelrange_rangeempty_neg(CuTest *tc);
693 void test_cil_gen_levelrange_extra_neg(CuTest *tc);
694 void test_cil_gen_levelrange_dbnull_neg(CuTest *tc);
695 void test_cil_gen_levelrange_currnull_neg(CuTest *tc);
696 void test_cil_gen_levelrange_astnull_neg(CuTest *tc);
697 
698 void test_cil_gen_constrain(CuTest *tc);
699 void test_cil_gen_constrain_neg(CuTest *tc);
700 void test_cil_gen_constrain_classset_neg(CuTest *tc);
701 void test_cil_gen_constrain_classset_noclass_neg(CuTest *tc);
702 void test_cil_gen_constrain_classset_noperm_neg(CuTest *tc);
703 void test_cil_gen_constrain_permset_neg(CuTest *tc);
704 void test_cil_gen_constrain_permset_noclass_neg(CuTest *tc);
705 void test_cil_gen_constrain_permset_noperm_neg(CuTest *tc);
706 void test_cil_gen_constrain_expression_neg(CuTest *tc);
707 void test_cil_gen_constrain_dbnull_neg(CuTest *tc);
708 void test_cil_gen_constrain_currnull_neg(CuTest *tc);
709 void test_cil_gen_constrain_astnull_neg(CuTest *tc);
710 
711 void test_cil_fill_context(CuTest *tc);
712 void test_cil_fill_context_unnamedlvl(CuTest *tc);
713 void test_cil_fill_context_nocontext_neg(CuTest *tc);
714 void test_cil_fill_context_nouser_neg(CuTest *tc);
715 void test_cil_fill_context_norole_neg(CuTest *tc);
716 void test_cil_fill_context_notype_neg(CuTest *tc);
717 void test_cil_fill_context_nolowlvl_neg(CuTest *tc);
718 void test_cil_fill_context_nohighlvl_neg(CuTest *tc);
719 void test_cil_fill_context_unnamedlvl_nocontextlow_neg(CuTest *tc);
720 void test_cil_fill_context_unnamedlvl_nocontexthigh_neg(CuTest *tc);
721 
722 void test_cil_gen_context(CuTest *tc);
723 void test_cil_gen_context_notinparens_neg(CuTest *tc);
724 void test_cil_gen_context_extralevel_neg(CuTest *tc);
725 void test_cil_gen_context_emptycontext_neg(CuTest *tc);
726 void test_cil_gen_context_extra_neg(CuTest *tc);
727 void test_cil_gen_context_doubleparen_neg(CuTest *tc);
728 void test_cil_gen_context_norole_neg(CuTest *tc);
729 void test_cil_gen_context_roleinparens_neg(CuTest *tc);
730 void test_cil_gen_context_notype_neg(CuTest *tc);
731 void test_cil_gen_context_typeinparens_neg(CuTest *tc);
732 void test_cil_gen_context_nolevels_neg(CuTest *tc);
733 void test_cil_gen_context_nosecondlevel_neg(CuTest *tc);
734 void test_cil_gen_context_noname_neg(CuTest *tc);
735 void test_cil_gen_context_nouser_neg(CuTest *tc);
736 void test_cil_gen_context_dbnull_neg(CuTest *tc);
737 void test_cil_gen_context_currnull_neg(CuTest *tc);
738 void test_cil_gen_context_astnull_neg(CuTest *tc);
739 
740 void test_cil_gen_filecon_file(CuTest *tc);
741 void test_cil_gen_filecon_dir(CuTest *tc);
742 void test_cil_gen_filecon_char(CuTest *tc);
743 void test_cil_gen_filecon_block(CuTest *tc);
744 void test_cil_gen_filecon_socket(CuTest *tc);
745 void test_cil_gen_filecon_pipe(CuTest *tc);
746 void test_cil_gen_filecon_symlink(CuTest *tc);
747 void test_cil_gen_filecon_any(CuTest *tc);
748 void test_cil_gen_filecon_neg(CuTest *tc);
749 void test_cil_gen_filecon_anon_context(CuTest *tc);
750 void test_cil_gen_filecon_dbnull_neg(CuTest *tc);
751 void test_cil_gen_filecon_currnull_neg(CuTest *tc);
752 void test_cil_gen_filecon_astnull_neg(CuTest *tc);
753 void test_cil_gen_filecon_str1null_neg(CuTest *tc);
754 void test_cil_gen_filecon_str1_inparens_neg(CuTest *tc);
755 void test_cil_gen_filecon_str2null_neg(CuTest *tc);
756 void test_cil_gen_filecon_str2_inparens_neg(CuTest *tc);
757 void test_cil_gen_filecon_classnull_neg(CuTest *tc);
758 void test_cil_gen_filecon_class_inparens_neg(CuTest *tc);
759 void test_cil_gen_filecon_contextnull_neg(CuTest *tc);
760 void test_cil_gen_filecon_context_neg(CuTest *tc);
761 void test_cil_gen_filecon_extra_neg(CuTest *tc);
762 
763 void test_cil_gen_portcon_udp(CuTest *tc);
764 void test_cil_gen_portcon_tcp(CuTest *tc);
765 void test_cil_gen_portcon_unknownprotocol_neg(CuTest *tc);
766 void test_cil_gen_portcon_anon_context(CuTest *tc);
767 void test_cil_gen_portcon_portrange(CuTest *tc);
768 void test_cil_gen_portcon_portrange_one_neg(CuTest *tc);
769 void test_cil_gen_portcon_portrange_morethanone_neg(CuTest *tc);
770 void test_cil_gen_portcon_singleport_neg(CuTest *tc);
771 void test_cil_gen_portcon_lowport_neg(CuTest *tc);
772 void test_cil_gen_portcon_highport_neg(CuTest *tc);
773 void test_cil_gen_portcon_dbnull_neg(CuTest *tc);
774 void test_cil_gen_portcon_currnull_neg(CuTest *tc);
775 void test_cil_gen_portcon_astnull_neg(CuTest *tc);
776 void test_cil_gen_portcon_str1null_neg(CuTest *tc);
777 void test_cil_gen_portcon_str1parens_neg(CuTest *tc);
778 void test_cil_gen_portcon_portnull_neg(CuTest *tc);
779 void test_cil_gen_portcon_contextnull_neg(CuTest *tc);
780 void test_cil_gen_portcon_context_neg(CuTest *tc);
781 void test_cil_gen_portcon_extra_neg(CuTest *tc);
782 
783 void test_cil_fill_ipaddr(CuTest *tc);
784 void test_cil_fill_ipaddr_addrnodenull_neg(CuTest *tc);
785 void test_cil_fill_ipaddr_addrnull_neg(CuTest *tc);
786 void test_cil_fill_ipaddr_addrinparens_neg(CuTest *tc);
787 void test_cil_fill_ipaddr_extra_neg(CuTest *tc);
788 
789 void test_cil_gen_nodecon(CuTest *tc);
790 void test_cil_gen_nodecon_anon_context(CuTest *tc);
791 void test_cil_gen_nodecon_dbnull_neg(CuTest *tc);
792 void test_cil_gen_nodecon_currnull_neg(CuTest *tc);
793 void test_cil_gen_nodecon_astnull_neg(CuTest *tc);
794 void test_cil_gen_nodecon_ipnull_neg(CuTest *tc);
795 void test_cil_gen_nodecon_ipanon(CuTest *tc);
796 void test_cil_gen_nodecon_ipanon_neg(CuTest *tc);
797 void test_cil_gen_nodecon_netmasknull_neg(CuTest *tc);
798 void test_cil_gen_nodecon_netmaskanon(CuTest *tc);
799 void test_cil_gen_nodecon_netmaskanon_neg(CuTest *tc);
800 void test_cil_gen_nodecon_contextnull_neg(CuTest *tc);
801 void test_cil_gen_nodecon_context_neg(CuTest *tc);
802 void test_cil_gen_nodecon_extra_neg(CuTest *tc);
803 
804 void test_cil_gen_genfscon(CuTest *tc);
805 void test_cil_gen_genfscon_anon_context(CuTest *tc);
806 void test_cil_gen_genfscon_dbnull_neg(CuTest *tc);
807 void test_cil_gen_genfscon_currnull_neg(CuTest *tc);
808 void test_cil_gen_genfscon_astnull_neg(CuTest *tc);
809 void test_cil_gen_genfscon_typenull_neg(CuTest *tc);
810 void test_cil_gen_genfscon_typeparens_neg(CuTest *tc);
811 void test_cil_gen_genfscon_pathnull_neg(CuTest *tc);
812 void test_cil_gen_genfscon_pathparens_neg(CuTest *tc);
813 void test_cil_gen_genfscon_contextnull_neg(CuTest *tc);
814 void test_cil_gen_genfscon_context_neg(CuTest *tc);
815 void test_cil_gen_genfscon_extra_neg(CuTest *tc);
816 
817 void test_cil_gen_netifcon(CuTest *tc);
818 void test_cil_gen_netifcon_nested(CuTest *tc);
819 void test_cil_gen_netifcon_nested_neg(CuTest *tc);
820 void test_cil_gen_netifcon_nested_emptysecondlist_neg(CuTest *tc);
821 void test_cil_gen_netifcon_extra_nested_secondlist_neg(CuTest *tc);
822 void test_cil_gen_netifcon_nested_missingobjects_neg(CuTest *tc);
823 void test_cil_gen_netifcon_nested_secondnested_missingobjects_neg(CuTest *tc);
824 void test_cil_gen_netifcon_dbnull_neg(CuTest *tc);
825 void test_cil_gen_netifcon_currnull_neg(CuTest *tc);
826 void test_cil_gen_netifcon_astnull_neg(CuTest *tc);
827 void test_cil_gen_netifcon_ethmissing_neg(CuTest *tc);
828 void test_cil_gen_netifcon_interfacemissing_neg(CuTest *tc);
829 void test_cil_gen_netifcon_packetmissing_neg(CuTest *tc);
830 
831 void test_cil_gen_pirqcon(CuTest *tc);
832 void test_cil_gen_pirqcon_pirqnotint_neg(CuTest *tc);
833 void test_cil_gen_pirqcon_nopirq_neg(CuTest *tc);
834 void test_cil_gen_pirqcon_pirqrange_neg(CuTest *tc);
835 void test_cil_gen_pirqcon_nocontext_neg(CuTest *tc);
836 void test_cil_gen_pirqcon_anoncontext_neg(CuTest *tc);
837 void test_cil_gen_pirqcon_extra_neg(CuTest *tc);
838 void test_cil_gen_pirqcon_dbnull_neg(CuTest *tc);
839 void test_cil_gen_pirqcon_currnull_neg(CuTest *tc);
840 void test_cil_gen_pirqcon_astnull_neg(CuTest *tc);
841 
842 void test_cil_gen_iomemcon(CuTest *tc);
843 void test_cil_gen_iomemcon_iomemrange(CuTest *tc);
844 void test_cil_gen_iomemcon_iomemrange_firstnotint_neg(CuTest *tc);
845 void test_cil_gen_iomemcon_iomemrange_secondnotint_neg(CuTest *tc);
846 void test_cil_gen_iomemcon_iomemrange_empty_neg(CuTest *tc);
847 void test_cil_gen_iomemcon_iomemrange_singleiomem_neg(CuTest *tc);
848 void test_cil_gen_iomemcon_iomemrange_morethantwoiomem_neg(CuTest *tc);
849 void test_cil_gen_iomemcon_iomemnotint_neg(CuTest *tc);
850 void test_cil_gen_iomemcon_noiomem_neg(CuTest *tc);
851 void test_cil_gen_iomemcon_nocontext_neg(CuTest *tc);
852 void test_cil_gen_iomemcon_anoncontext_neg(CuTest *tc);
853 void test_cil_gen_iomemcon_extra_neg(CuTest *tc);
854 void test_cil_gen_iomemcon_dbnull_neg(CuTest *tc);
855 void test_cil_gen_iomemcon_currnull_neg(CuTest *tc);
856 void test_cil_gen_iomemcon_astnull_neg(CuTest *tc);
857 
858 void test_cil_gen_ioportcon(CuTest *tc);
859 void test_cil_gen_ioportcon_ioportrange(CuTest *tc);
860 void test_cil_gen_ioportcon_ioportrange_firstnotint_neg(CuTest *tc);
861 void test_cil_gen_ioportcon_ioportrange_secondnotint_neg(CuTest *tc);
862 void test_cil_gen_ioportcon_ioportrange_empty_neg(CuTest *tc);
863 void test_cil_gen_ioportcon_ioportrange_singleioport_neg(CuTest *tc);
864 void test_cil_gen_ioportcon_ioportrange_morethantwoioport_neg(CuTest *tc);
865 void test_cil_gen_ioportcon_ioportnotint_neg(CuTest *tc);
866 void test_cil_gen_ioportcon_noioport_neg(CuTest *tc);
867 void test_cil_gen_ioportcon_nocontext_neg(CuTest *tc);
868 void test_cil_gen_ioportcon_anoncontext_neg(CuTest *tc);
869 void test_cil_gen_ioportcon_extra_neg(CuTest *tc);
870 void test_cil_gen_ioportcon_dbnull_neg(CuTest *tc);
871 void test_cil_gen_ioportcon_currnull_neg(CuTest *tc);
872 void test_cil_gen_ioportcon_astnull_neg(CuTest *tc);
873 
874 void test_cil_gen_pcidevicecon(CuTest *tc);
875 void test_cil_gen_pcidevicecon_pcidevicenotint_neg(CuTest *tc);
876 void test_cil_gen_pcidevicecon_nopcidevice_neg(CuTest *tc);
877 void test_cil_gen_pcidevicecon_pcidevicerange_neg(CuTest *tc);
878 void test_cil_gen_pcidevicecon_nocontext_neg(CuTest *tc);
879 void test_cil_gen_pcidevicecon_anoncontext_neg(CuTest *tc);
880 void test_cil_gen_pcidevicecon_extra_neg(CuTest *tc);
881 void test_cil_gen_pcidevicecon_dbnull_neg(CuTest *tc);
882 void test_cil_gen_pcidevicecon_currnull_neg(CuTest *tc);
883 void test_cil_gen_pcidevicecon_astnull_neg(CuTest *tc);
884 
885 void test_cil_gen_fsuse_anoncontext(CuTest *tc);
886 void test_cil_gen_fsuse_anoncontext_neg(CuTest *tc);
887 void test_cil_gen_fsuse_xattr(CuTest *tc);
888 void test_cil_gen_fsuse_task(CuTest *tc);
889 void test_cil_gen_fsuse_transition(CuTest *tc);
890 void test_cil_gen_fsuse_invalidtype_neg(CuTest *tc);
891 void test_cil_gen_fsuse_notype_neg(CuTest *tc);
892 void test_cil_gen_fsuse_typeinparens_neg(CuTest *tc);
893 void test_cil_gen_fsuse_nofilesystem_neg(CuTest *tc);
894 void test_cil_gen_fsuse_filesysteminparens_neg(CuTest *tc);
895 void test_cil_gen_fsuse_nocontext_neg(CuTest *tc);
896 void test_cil_gen_fsuse_emptyconparens_neg(CuTest *tc);
897 void test_cil_gen_fsuse_extra_neg(CuTest *tc);
898 void test_cil_gen_fsuse_dbnull_neg(CuTest *tc);
899 void test_cil_gen_fsuse_currnull_neg(CuTest *tc);
900 void test_cil_gen_fsuse_astnull_neg(CuTest *tc);
901 
902 void test_cil_gen_macro_noparams(CuTest *tc);
903 void test_cil_gen_macro_type(CuTest *tc);
904 void test_cil_gen_macro_role(CuTest *tc);
905 void test_cil_gen_macro_user(CuTest *tc);
906 void test_cil_gen_macro_sensitivity(CuTest *tc);
907 void test_cil_gen_macro_category(CuTest *tc);
908 void test_cil_gen_macro_catset(CuTest *tc);
909 void test_cil_gen_macro_level(CuTest *tc);
910 void test_cil_gen_macro_class(CuTest *tc);
911 void test_cil_gen_macro_classmap(CuTest *tc);
912 void test_cil_gen_macro_permset(CuTest *tc);
913 void test_cil_gen_macro_duplicate(CuTest *tc);
914 void test_cil_gen_macro_duplicate_neg(CuTest *tc);
915 void test_cil_gen_macro_unknown_neg(CuTest *tc);
916 void test_cil_gen_macro_dbnull_neg(CuTest *tc);
917 void test_cil_gen_macro_currnull_neg(CuTest *tc);
918 void test_cil_gen_macro_astnull_neg(CuTest *tc);
919 void test_cil_gen_macro_unnamed_neg(CuTest *tc);
920 void test_cil_gen_macro_noparam_name_neg(CuTest *tc);
921 void test_cil_gen_macro_noparam_neg(CuTest *tc);
922 void test_cil_gen_macro_nosecondparam_neg(CuTest *tc);
923 void test_cil_gen_macro_emptyparam_neg(CuTest *tc);
924 void test_cil_gen_macro_paramcontainsperiod_neg(CuTest *tc);
925 
926 void test_cil_gen_call(CuTest *tc);
927 void test_cil_gen_call_noargs(CuTest *tc);
928 void test_cil_gen_call_anon(CuTest *tc);
929 void test_cil_gen_call_empty_call_neg(CuTest *tc);
930 void test_cil_gen_call_dbnull_neg(CuTest *tc);
931 void test_cil_gen_call_currnull_neg(CuTest *tc);
932 void test_cil_gen_call_astnull_neg(CuTest *tc);
933 void test_cil_gen_call_name_inparens_neg(CuTest *tc);
934 void test_cil_gen_call_noname_neg(CuTest *tc);
935 
936 void test_cil_gen_optional(CuTest *tc);
937 void test_cil_gen_optional_emptyoptional(CuTest *tc);
938 void test_cil_gen_optional_dbnull_neg(CuTest *tc);
939 void test_cil_gen_optional_currnull_neg(CuTest *tc);
940 void test_cil_gen_optional_astnull_neg(CuTest *tc);
941 void test_cil_gen_optional_unnamed_neg(CuTest *tc);
942 void test_cil_gen_optional_extra_neg(CuTest *tc);
943 void test_cil_gen_optional_nameinparens_neg(CuTest *tc);
944 void test_cil_gen_optional_norule_neg(CuTest *tc);
945 
946 void test_cil_gen_policycap(CuTest *tc);
947 void test_cil_gen_policycap_noname_neg(CuTest *tc);
948 void test_cil_gen_policycap_nameinparens_neg(CuTest *tc);
949 void test_cil_gen_policycap_extra_neg(CuTest *tc);
950 void test_cil_gen_policycap_dbnull_neg(CuTest *tc);
951 void test_cil_gen_policycap_currnull_neg(CuTest *tc);
952 void test_cil_gen_policycap_astnull_neg(CuTest *tc);
953 
954 void test_cil_gen_ipaddr_ipv4(CuTest *tc);
955 void test_cil_gen_ipaddr_ipv4_neg(CuTest *tc);
956 void test_cil_gen_ipaddr_ipv6(CuTest *tc);
957 void test_cil_gen_ipaddr_ipv6_neg(CuTest *tc);
958 void test_cil_gen_ipaddr_noname_neg(CuTest *tc);
959 void test_cil_gen_ipaddr_nameinparens_neg(CuTest *tc);
960 void test_cil_gen_ipaddr_noip_neg(CuTest *tc);
961 void test_cil_gen_ipaddr_ipinparens_neg(CuTest *tc);
962 void test_cil_gen_ipaddr_extra_neg(CuTest *tc);
963 void test_cil_gen_ipaddr_dbnull_neg(CuTest *tc);
964 void test_cil_gen_ipaddr_currnull_neg(CuTest *tc);
965 void test_cil_gen_ipaddr_astnull_neg(CuTest *tc);
966 /*
967 cil_build_ast test cases
968 */
969 void test_cil_build_ast(CuTest *);
970 void test_cil_build_ast_dbnull_neg(CuTest *);
971 void test_cil_build_ast_astnull_neg(CuTest *);
972 void test_cil_build_ast_suberr_neg(CuTest *);
973 void test_cil_build_ast_treenull_neg(CuTest *);
974 
975 void test_cil_build_ast_node_helper_block(CuTest *);
976 void test_cil_build_ast_node_helper_block_neg(CuTest *);
977 
978 void test_cil_build_ast_node_helper_blockinherit(CuTest *);
979 void test_cil_build_ast_node_helper_blockinherit_neg(CuTest *);
980 
981 void test_cil_build_ast_node_helper_permset(CuTest *);
982 void test_cil_build_ast_node_helper_permset_neg(CuTest *);
983 
984 void test_cil_build_ast_node_helper_in(CuTest *);
985 void test_cil_build_ast_node_helper_in_neg(CuTest *);
986 
987 void test_cil_build_ast_node_helper_class(CuTest *);
988 void test_cil_build_ast_node_helper_class_neg(CuTest *);
989 
990 void test_cil_build_ast_node_helper_classpermset(CuTest *);
991 void test_cil_build_ast_node_helper_classpermset_neg(CuTest *);
992 
993 void test_cil_build_ast_node_helper_classmap(CuTest *);
994 void test_cil_build_ast_node_helper_classmap_neg(CuTest *);
995 
996 void test_cil_build_ast_node_helper_classmapping(CuTest *);
997 void test_cil_build_ast_node_helper_classmapping_neg(CuTest *);
998 
999 void test_cil_build_ast_node_helper_common(CuTest *);
1000 void test_cil_build_ast_node_helper_common_neg(CuTest *);
1001 
1002 void test_cil_build_ast_node_helper_sid(CuTest *);
1003 void test_cil_build_ast_node_helper_sid_neg(CuTest *);
1004 
1005 void test_cil_build_ast_node_helper_sidcontext(CuTest *);
1006 void test_cil_build_ast_node_helper_sidcontext_neg(CuTest *);
1007 
1008 void test_cil_build_ast_node_helper_user(CuTest *);
1009 void test_cil_build_ast_node_helper_user_neg(CuTest *);
1010 
1011 void test_cil_build_ast_node_helper_userlevel(CuTest *);
1012 void test_cil_build_ast_node_helper_userlevel_neg(CuTest *);
1013 
1014 void test_cil_build_ast_node_helper_userrange(CuTest *);
1015 void test_cil_build_ast_node_helper_userrange_neg(CuTest *);
1016 
1017 void test_cil_build_ast_node_helper_type(CuTest *);
1018 void test_cil_build_ast_node_helper_type_neg(CuTest *);
1019 
1020 void test_cil_build_ast_node_helper_typeattribute(CuTest *);
1021 void test_cil_build_ast_node_helper_typeattribute_neg(CuTest *);
1022 
1023 void test_cil_build_ast_node_helper_boolif(CuTest *);
1024 void test_cil_build_ast_node_helper_boolif_neg(CuTest *);
1025 
1026 void test_cil_build_ast_node_helper_tunif(CuTest *);
1027 void test_cil_build_ast_node_helper_tunif_neg(CuTest *);
1028 
1029 void test_cil_build_ast_node_helper_condblock_true(CuTest *);
1030 void test_cil_build_ast_node_helper_condblock_true_neg(CuTest *);
1031 void test_cil_build_ast_node_helper_condblock_false(CuTest *);
1032 void test_cil_build_ast_node_helper_condblock_false_neg(CuTest *);
1033 
1034 void test_cil_build_ast_node_helper_typealias(CuTest *);
1035 void test_cil_build_ast_node_helper_typealias_notype_neg(CuTest *);
1036 
1037 void test_cil_build_ast_node_helper_typebounds(CuTest *);
1038 void test_cil_build_ast_node_helper_typebounds_neg(CuTest *);
1039 
1040 void test_cil_build_ast_node_helper_typepermissive(CuTest *);
1041 void test_cil_build_ast_node_helper_typepermissive_neg(CuTest *);
1042 
1043 void test_cil_build_ast_node_helper_nametypetransition(CuTest *);
1044 void test_cil_build_ast_node_helper_nametypetransition_neg(CuTest *);
1045 
1046 void test_cil_build_ast_node_helper_rangetransition(CuTest *);
1047 void test_cil_build_ast_node_helper_rangetransition_neg(CuTest *);
1048 
1049 void test_cil_build_ast_node_helper_typeattributeset(CuTest *);
1050 void test_cil_build_ast_node_helper_typeattributeset_neg(CuTest *);
1051 
1052 void test_cil_build_ast_node_helper_userbounds(CuTest *);
1053 void test_cil_build_ast_node_helper_userbounds_neg(CuTest *);
1054 
1055 void test_cil_build_ast_node_helper_role(CuTest *);
1056 void test_cil_build_ast_node_helper_role_neg(CuTest *);
1057 
1058 void test_cil_build_ast_node_helper_roletransition(CuTest *);
1059 void test_cil_build_ast_node_helper_roletransition_neg(CuTest *);
1060 
1061 void test_cil_build_ast_node_helper_roleallow(CuTest *);
1062 void test_cil_build_ast_node_helper_roleallow_neg(CuTest *);
1063 
1064 void test_cil_build_ast_node_helper_rolebounds(CuTest *);
1065 void test_cil_build_ast_node_helper_rolebounds_neg(CuTest *);
1066 
1067 void test_cil_build_ast_node_helper_avrule_allow(CuTest *);
1068 void test_cil_build_ast_node_helper_avrule_allow_neg(CuTest *);
1069 
1070 void test_cil_build_ast_node_helper_avrule_auditallow(CuTest *);
1071 void test_cil_build_ast_node_helper_avrule_auditallow_neg(CuTest *);
1072 
1073 void test_cil_build_ast_node_helper_avrule_dontaudit(CuTest *);
1074 void test_cil_build_ast_node_helper_avrule_dontaudit_neg(CuTest *);
1075 
1076 void test_cil_build_ast_node_helper_avrule_neverallow(CuTest *);
1077 void test_cil_build_ast_node_helper_avrule_neverallow_neg(CuTest *);
1078 
1079 void test_cil_build_ast_node_helper_type_rule_transition(CuTest *);
1080 void test_cil_build_ast_node_helper_type_rule_transition_neg(CuTest *);
1081 
1082 void test_cil_build_ast_node_helper_type_rule_change(CuTest *);
1083 void test_cil_build_ast_node_helper_type_rule_change_neg(CuTest *);
1084 
1085 void test_cil_build_ast_node_helper_type_rule_member(CuTest *);
1086 void test_cil_build_ast_node_helper_type_rule_member_neg(CuTest *);
1087 
1088 void test_cil_build_ast_node_helper_bool(CuTest *);
1089 void test_cil_build_ast_node_helper_bool_neg(CuTest *);
1090 
1091 void test_cil_build_ast_node_helper_bool_tunable(CuTest *);
1092 void test_cil_build_ast_node_helper_bool_tunable_neg(CuTest *);
1093 
1094 void test_cil_build_ast_node_helper_else(CuTest *);
1095 void test_cil_build_ast_node_helper_else_neg(CuTest *);
1096 
1097 void test_cil_build_ast_node_helper_sensitivity(CuTest *);
1098 void test_cil_build_ast_node_helper_sensitivity_neg(CuTest *);
1099 
1100 void test_cil_build_ast_node_helper_sensalias(CuTest *);
1101 void test_cil_build_ast_node_helper_sensalias_neg(CuTest *);
1102 
1103 void test_cil_build_ast_node_helper_category(CuTest *);
1104 void test_cil_build_ast_node_helper_category_neg(CuTest *);
1105 
1106 void test_cil_build_ast_node_helper_catset(CuTest *tc);
1107 void test_cil_build_ast_node_helper_catset_neg(CuTest *tc);
1108 
1109 void test_cil_build_ast_node_helper_catorder(CuTest *tc);
1110 void test_cil_build_ast_node_helper_catorder_neg(CuTest *tc);
1111 
1112 void test_cil_build_ast_node_helper_catalias(CuTest *tc);
1113 void test_cil_build_ast_node_helper_catalias_neg(CuTest *tc);
1114 
1115 void test_cil_build_ast_node_helper_catrange(CuTest *tc);
1116 void test_cil_build_ast_node_helper_catrange_neg(CuTest *tc);
1117 
1118 void test_cil_build_ast_node_helper_roletype(CuTest *tc);
1119 void test_cil_build_ast_node_helper_roletype_neg(CuTest *tc);
1120 
1121 void test_cil_build_ast_node_helper_userrole(CuTest *tc);
1122 void test_cil_build_ast_node_helper_userrole_neg(CuTest *tc);
1123 
1124 void test_cil_build_ast_node_helper_gen_classcommon(CuTest *tc);
1125 void test_cil_build_ast_node_helper_gen_classcommon_neg(CuTest *tc);
1126 
1127 void test_cil_build_ast_node_helper_gen_dominance(CuTest *tc);
1128 void test_cil_build_ast_node_helper_gen_dominance_neg(CuTest *tc);
1129 
1130 void test_cil_build_ast_node_helper_gen_senscat(CuTest *tc);
1131 void test_cil_build_ast_node_helper_gen_senscat_neg(CuTest *tc);
1132 
1133 void test_cil_build_ast_node_helper_gen_level(CuTest *tc);
1134 void test_cil_build_ast_node_helper_gen_level_neg(CuTest *tc);
1135 
1136 void test_cil_build_ast_node_helper_gen_levelrange(CuTest *tc);
1137 void test_cil_build_ast_node_helper_gen_levelrange_neg(CuTest *tc);
1138 
1139 void test_cil_build_ast_node_helper_gen_constrain(CuTest *tc);
1140 void test_cil_build_ast_node_helper_gen_constrain_neg(CuTest *tc);
1141 void test_cil_build_ast_node_helper_gen_mlsconstrain(CuTest *tc);
1142 void test_cil_build_ast_node_helper_gen_mlsconstrain_neg(CuTest *tc);
1143 
1144 void test_cil_build_ast_node_helper_gen_context(CuTest *tc);
1145 void test_cil_build_ast_node_helper_gen_context_neg(CuTest *tc);
1146 
1147 void test_cil_build_ast_node_helper_gen_filecon(CuTest *tc);
1148 void test_cil_build_ast_node_helper_gen_filecon_neg(CuTest *tc);
1149 
1150 void test_cil_build_ast_node_helper_gen_portcon(CuTest *tc);
1151 void test_cil_build_ast_node_helper_gen_portcon_neg(CuTest *tc);
1152 
1153 void test_cil_build_ast_node_helper_gen_nodecon(CuTest *tc);
1154 void test_cil_build_ast_node_helper_gen_nodecon_neg(CuTest *tc);
1155 
1156 void test_cil_build_ast_node_helper_gen_genfscon(CuTest *tc);
1157 void test_cil_build_ast_node_helper_gen_genfscon_neg(CuTest *tc);
1158 
1159 void test_cil_build_ast_node_helper_gen_netifcon(CuTest *tc);
1160 void test_cil_build_ast_node_helper_gen_netifcon_neg(CuTest *tc);
1161 
1162 void test_cil_build_ast_node_helper_gen_pirqcon(CuTest *tc);
1163 void test_cil_build_ast_node_helper_gen_pirqcon_neg(CuTest *tc);
1164 
1165 void test_cil_build_ast_node_helper_gen_iomemcon(CuTest *tc);
1166 void test_cil_build_ast_node_helper_gen_iomemcon_neg(CuTest *tc);
1167 
1168 void test_cil_build_ast_node_helper_gen_ioportcon(CuTest *tc);
1169 void test_cil_build_ast_node_helper_gen_ioportcon_neg(CuTest *tc);
1170 
1171 void test_cil_build_ast_node_helper_gen_pcidevicecon(CuTest *tc);
1172 void test_cil_build_ast_node_helper_gen_pcidevicecon_neg(CuTest *tc);
1173 
1174 void test_cil_build_ast_node_helper_gen_fsuse(CuTest *tc);
1175 void test_cil_build_ast_node_helper_gen_fsuse_neg(CuTest *tc);
1176 
1177 void test_cil_build_ast_node_helper_gen_macro(CuTest *tc);
1178 void test_cil_build_ast_node_helper_gen_macro_neg(CuTest *tc);
1179 void test_cil_build_ast_node_helper_gen_macro_nested_macro_neg(CuTest *tc);
1180 void test_cil_build_ast_node_helper_gen_macro_nested_tunif_neg(CuTest *tc);
1181 
1182 void test_cil_build_ast_node_helper_gen_call(CuTest *tc);
1183 void test_cil_build_ast_node_helper_gen_call_neg(CuTest *tc);
1184 
1185 void test_cil_build_ast_node_helper_gen_optional(CuTest *tc);
1186 void test_cil_build_ast_node_helper_gen_optional_neg(CuTest *tc);
1187 
1188 void test_cil_build_ast_node_helper_gen_policycap(CuTest *tc);
1189 void test_cil_build_ast_node_helper_gen_policycap_neg(CuTest *tc);
1190 
1191 void test_cil_build_ast_node_helper_gen_ipaddr(CuTest *tc);
1192 void test_cil_build_ast_node_helper_gen_ipaddr_neg(CuTest *tc);
1193 
1194 void test_cil_build_ast_node_helper_extraargsnull_neg(CuTest *);
1195 
1196 void test_cil_build_ast_last_child_helper(CuTest *);
1197 void test_cil_build_ast_last_child_helper_extraargsnull_neg(CuTest *);
1198 #endif
1199