Lines Matching refs:ROLE
95 %token ROLE
499 role_type_def : ROLE identifier TYPES names ';'
502 role_attr_def : ROLE identifier opt_attr_list ';'
520 role_def : ROLE identifier_push ';'
522 | ROLE identifier_push '{' roles '}'
596 | SOURCE ROLE { if (insert_separator(1)) return -1; } names_push
599 | TARGET ROLE { if (insert_separator(1)) return -1; } names_push
602 | ROLE role_mls_op
917 require_decl_def : ROLE { $$ = require_role; }
