@@ -11,54 +11,60 @@ newtype Declarations4Query =
11
11
TCompatibleDeclarationFunctionDefinedQuery ( ) or
12
12
TIdentifierWithExternalLinkageOneDefinitionQuery ( )
13
13
14
- predicate isDeclarations4QueryMetadata ( Query query , string queryId , string ruleId ) {
14
+ predicate isDeclarations4QueryMetadata ( Query query , string queryId , string ruleId , string category ) {
15
15
query =
16
16
// `Query` instance for the `functionTypesNotInPrototypeForm` query
17
17
Declarations4Package:: functionTypesNotInPrototypeFormQuery ( ) and
18
18
queryId =
19
19
// `@id` for the `functionTypesNotInPrototypeForm` query
20
20
"c/misra/function-types-not-in-prototype-form" and
21
- ruleId = "RULE-8-2"
21
+ ruleId = "RULE-8-2" and
22
+ category = "required"
22
23
or
23
24
query =
24
25
// `Query` instance for the `declarationsOfAnObjectSameNameAndType` query
25
26
Declarations4Package:: declarationsOfAnObjectSameNameAndTypeQuery ( ) and
26
27
queryId =
27
28
// `@id` for the `declarationsOfAnObjectSameNameAndType` query
28
29
"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"
30
32
or
31
33
query =
32
34
// `Query` instance for the `declarationsOfAFunctionSameNameAndType` query
33
35
Declarations4Package:: declarationsOfAFunctionSameNameAndTypeQuery ( ) and
34
36
queryId =
35
37
// `@id` for the `declarationsOfAFunctionSameNameAndType` query
36
38
"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"
38
41
or
39
42
query =
40
43
// `Query` instance for the `compatibleDeclarationObjectDefined` query
41
44
Declarations4Package:: compatibleDeclarationObjectDefinedQuery ( ) and
42
45
queryId =
43
46
// `@id` for the `compatibleDeclarationObjectDefined` query
44
47
"c/misra/compatible-declaration-object-defined" and
45
- ruleId = "RULE-8-4"
48
+ ruleId = "RULE-8-4" and
49
+ category = "required"
46
50
or
47
51
query =
48
52
// `Query` instance for the `compatibleDeclarationFunctionDefined` query
49
53
Declarations4Package:: compatibleDeclarationFunctionDefinedQuery ( ) and
50
54
queryId =
51
55
// `@id` for the `compatibleDeclarationFunctionDefined` query
52
56
"c/misra/compatible-declaration-function-defined" and
53
- ruleId = "RULE-8-4"
57
+ ruleId = "RULE-8-4" and
58
+ category = "required"
54
59
or
55
60
query =
56
61
// `Query` instance for the `identifierWithExternalLinkageOneDefinition` query
57
62
Declarations4Package:: identifierWithExternalLinkageOneDefinitionQuery ( ) and
58
63
queryId =
59
64
// `@id` for the `identifierWithExternalLinkageOneDefinition` query
60
65
"c/misra/identifier-with-external-linkage-one-definition" and
61
- ruleId = "RULE-8-6"
66
+ ruleId = "RULE-8-6" and
67
+ category = "required"
62
68
}
63
69
64
70
module Declarations4Package {
0 commit comments