42 extern int yyerror(const char *msg);
60 			yyerror  in define_policy()
71 				yyerror("no module name");  in define_policy()
77 				yyerror  in define_policy()
84 			yyerror  in define_policy()
179 		yyerror("out of memory");  in role_implicit_bounds()
212 		yyerror("no role name");  in declare_role()
216 		yyerror("Out of memory!");  in declare_role()
228 			yyerror("Out of memory!");  in declare_role()
252 				yyerror("Out of memory!");  in declare_role()
266 				yyerror("Out of memory!");  in declare_role()
280 			yyerror("Out of memory!");  in declare_role()
284 			yyerror("duplicate declaration of role");  in declare_role()
288 			yyerror("could not declare role here");  in declare_role()
294 				yyerror("out of memory");  in declare_role()
317 		yyerror("no type/attribute name?");  in declare_type()
321 		yyerror  in declare_type()
329 		yyerror("Out of memory!");  in declare_type()
350 			yyerror("Out of memory!");  in declare_type()
358 			yyerror("could not declare type/attribute here");  in declare_type()
383 		yyerror("out of memory");  in user_implicit_bounds()
416 		yyerror("no user name");  in declare_user()
420 		yyerror("Out of memory!");  in declare_user()
433 			yyerror("Out of memory!");  in declare_user()
457 				yyerror("Out of memory!");  in declare_user()
470 				yyerror("Out of memory!");  in declare_user()
484 			yyerror("Out of memory!");  in declare_user()
488 			yyerror("duplicate declaration of user");  in declare_user()
492 			yyerror("could not declare user here");  in declare_user()
758 		yyerror("no class name for class definition?");  in require_class()
764 		yyerror("Out of memory!");  in require_class()
772 			yyerror("Out of memory!");  in require_class()
778 			yyerror("duplicate declaration of class");  in require_class()
784 			yyerror("could not require class here");  in require_class()
792 				yyerror("Out of memory!");  in require_class()
835 				yyerror("Out of memory!");  in require_class()
844 				yyerror("Out of memory!");  in require_class()
853 			yyerror("Out of memory!");  in require_class()
876 		yyerror("no role name");  in require_role_or_attribute()
881 		yyerror("Out of memory!");  in require_role_or_attribute()
896 			yyerror("Out of memory!");  in require_role_or_attribute()
900 			yyerror("duplicate declaration of role");  in require_role_or_attribute()
904 			yyerror("could not require role here");  in require_role_or_attribute()
911 				yyerror("Out of memory");  in require_role_or_attribute()
945 		yyerror("no type name");  in require_type_or_attribute()
950 		yyerror("Out of memory!");  in require_type_or_attribute()
965 			yyerror("Out of memory!");  in require_type_or_attribute()
969 			yyerror("duplicate declaration of type/attribute");  in require_type_or_attribute()
973 			yyerror("could not require type/attribute here");  in require_type_or_attribute()
1008 		yyerror("no user name");  in require_user()
1013 		yyerror("Out of memory!");  in require_user()
1026 			yyerror("Out of memory!");  in require_user()
1030 			yyerror("duplicate declaration of user");  in require_user()
1034 			yyerror("could not require user here");  in require_user()
1059 		yyerror("no boolean name");  in require_bool_tunable()
1064 		yyerror("Out of memory!");  in require_bool_tunable()
1077 			yyerror("Out of memory!");  in require_bool_tunable()
1081 			yyerror("duplicate declaration of boolean");  in require_bool_tunable()
1085 			yyerror("could not require boolean here");  in require_bool_tunable()
1120 		yyerror("no sensitivity name");  in require_sens()
1126 		yyerror("Out of memory!");  in require_sens()
1135 		yyerror("Out of memory!");  in require_sens()
1150 			yyerror("Out of memory!");  in require_sens()
1154 			yyerror("duplicate declaration of sensitivity");  in require_sens()
1158 			yyerror("could not require sensitivity here");  in require_sens()
1183 		yyerror("no category name");  in require_cat()
1189 		yyerror("Out of memory!");  in require_cat()
1203 			yyerror("Out of memory!");  in require_cat()
1207 			yyerror("duplicate declaration of category");  in require_cat()
1211 			yyerror("could not require category here");  in require_cat()
1444 	yyerror("Out of memory!");  in begin_optional()
1464 			yyerror("Out of memory!");  in begin_optional_else()
1496 				yyerror("Out of memory!");  in copy_requirements()
1507 				yyerror("Out of memory!");  in copy_requirements()
1523 				yyerror("Out of memory!");  in copy_requirements()
1554 			yyerror("This block has no require section.");  in end_avrule_block()