Searched refs:GEN_REQUIRE_ATTR (Results 1 – 1 of 1) sorted by relevance
58 #define GEN_REQUIRE_ATTR "cil_gen_require" macro2017 cil_println(indent, "(roleattributeset " GEN_REQUIRE_ATTR " %s)", key); in role_to_cil()2123 cil_println(indent, "(typeattributeset " GEN_REQUIRE_ATTR " %s)", key); in type_to_cil()3720 cil_println(0, "(typeattribute " GEN_REQUIRE_ATTR ")"); in generate_gen_require_attribute()3721 cil_println(0, "(roleattribute " GEN_REQUIRE_ATTR ")"); in generate_gen_require_attribute()