@@ -11,54 +11,60 @@ newtype Declarations4Query =
1111 TCompatibleDeclarationFunctionDefinedQuery ( ) or
1212 TIdentifierWithExternalLinkageOneDefinitionQuery ( )
1313
14- predicate isDeclarations4QueryMetadata ( Query query , string queryId , string ruleId ) {
14+ predicate isDeclarations4QueryMetadata ( Query query , string queryId , string ruleId , string category ) {
1515 query =
1616 // `Query` instance for the `functionTypesNotInPrototypeForm` query
1717 Declarations4Package:: functionTypesNotInPrototypeFormQuery ( ) and
1818 queryId =
1919 // `@id` for the `functionTypesNotInPrototypeForm` query
2020 "c/misra/function-types-not-in-prototype-form" and
21- ruleId = "RULE-8-2"
21+ ruleId = "RULE-8-2" and
22+ category = "required"
2223 or
2324 query =
2425 // `Query` instance for the `declarationsOfAnObjectSameNameAndType` query
2526 Declarations4Package:: declarationsOfAnObjectSameNameAndTypeQuery ( ) and
2627 queryId =
2728 // `@id` for the `declarationsOfAnObjectSameNameAndType` query
2829 "c/misra/declarations-of-an-object-same-name-and-type" and
29- ruleId = "RULE-8-3"
30+ ruleId = "RULE-8-3" and
31+ category = "required"
3032 or
3133 query =
3234 // `Query` instance for the `declarationsOfAFunctionSameNameAndType` query
3335 Declarations4Package:: declarationsOfAFunctionSameNameAndTypeQuery ( ) and
3436 queryId =
3537 // `@id` for the `declarationsOfAFunctionSameNameAndType` query
3638 "c/misra/declarations-of-a-function-same-name-and-type" and
37- ruleId = "RULE-8-3"
39+ ruleId = "RULE-8-3" and
40+ category = "required"
3841 or
3942 query =
4043 // `Query` instance for the `compatibleDeclarationObjectDefined` query
4144 Declarations4Package:: compatibleDeclarationObjectDefinedQuery ( ) and
4245 queryId =
4346 // `@id` for the `compatibleDeclarationObjectDefined` query
4447 "c/misra/compatible-declaration-object-defined" and
45- ruleId = "RULE-8-4"
48+ ruleId = "RULE-8-4" and
49+ category = "required"
4650 or
4751 query =
4852 // `Query` instance for the `compatibleDeclarationFunctionDefined` query
4953 Declarations4Package:: compatibleDeclarationFunctionDefinedQuery ( ) and
5054 queryId =
5155 // `@id` for the `compatibleDeclarationFunctionDefined` query
5256 "c/misra/compatible-declaration-function-defined" and
53- ruleId = "RULE-8-4"
57+ ruleId = "RULE-8-4" and
58+ category = "required"
5459 or
5560 query =
5661 // `Query` instance for the `identifierWithExternalLinkageOneDefinition` query
5762 Declarations4Package:: identifierWithExternalLinkageOneDefinitionQuery ( ) and
5863 queryId =
5964 // `@id` for the `identifierWithExternalLinkageOneDefinition` query
6065 "c/misra/identifier-with-external-linkage-one-definition" and
61- ruleId = "RULE-8-6"
66+ ruleId = "RULE-8-6" and
67+ category = "required"
6268}
6369
6470module Declarations4Package {
0 commit comments