Searched refs:typebounds (Results 1 – 9 of 9) sorted by relevance
48 (typebounds b_t1 b_t1_c)85 (typebounds b_t2 b_t2_c)126 (typebounds b_t3 b_t3_c)159 (typebounds b_t4 b_t4_c)196 (typebounds b_t5 b_t5_c)222 (typebounds b_t6a b_t6a_c)223 (typebounds b_t6b b_t6b_c)
78 (typebounds device_t bin_t)
129 * [typebounds](cil_type_statements.md#typebounds)
216 typebounds section in Type Statements225 (typebounds parent_type_id child_type_id)236 <td align="left"><p><code>typebounds</code></p></td>237 <td align="left"><p>The <code>typebounds</code> keyword.</p></td>260 (typebounds process child.process)
63 (typebounds typea_t typeb_t)
92 (typebounds typea_t typeb_t)
95 typebounds { return(TYPEBOUNDS); }
117 args.validatetrans, args.mlsvalidatetrans, args.typebounds,1338 if all_differences or args.typebounds:1339 if diff.added_typebounds or diff.removed_typebounds or args.typebounds:
118 def typebounds(self): member in Node