@@ -4,92 +4,92 @@ import RuleMetadata
4
4
import codingstandards.cpp.exclusions.RuleMetadata
5
5
6
6
newtype TypesQuery =
7
- TExprShiftedbyNegativeOrGreaterPrecisionOperandQuery ( ) or
8
- TConvertingAPointerToIntegerOrIntegerToPointerQuery ( ) or
9
- TPlainNumericalTypeUsedOverExplicitTypedefQuery ( ) or
10
- TSizeofOperatorUsedOnArrayTypeParamQuery ( ) or
11
- TStringLiteralAssignedToNonConstCharQuery ( )
7
+ TExprShiftedbyNegativeOrGreaterPrecisionOperandQuery ( ) or
8
+ TConvertingAPointerToIntegerOrIntegerToPointerQuery ( ) or
9
+ TPlainNumericalTypeUsedOverExplicitTypedefQuery ( ) or
10
+ TSizeofOperatorUsedOnArrayTypeParamQuery ( ) or
11
+ TStringLiteralAssignedToNonConstCharQuery ( )
12
12
13
13
predicate isTypesQueryMetadata ( Query query , string queryId , string ruleId , string category ) {
14
14
query =
15
15
// `Query` instance for the `exprShiftedbyNegativeOrGreaterPrecisionOperand` query
16
- TypesPackage:: exprShiftedbyNegativeOrGreaterPrecisionOperandQuery ( ) and
16
+ TypesPackage:: exprShiftedbyNegativeOrGreaterPrecisionOperandQuery ( ) and
17
17
queryId =
18
18
// `@id` for the `exprShiftedbyNegativeOrGreaterPrecisionOperand` query
19
- "c/cert/expr-shiftedby-negative-or-greater-precision-operand" and
19
+ "c/cert/expr-shiftedby-negative-or-greater-precision-operand" and
20
20
ruleId = "INT34-C" and
21
21
category = "rule"
22
22
or
23
23
query =
24
24
// `Query` instance for the `convertingAPointerToIntegerOrIntegerToPointer` query
25
- TypesPackage:: convertingAPointerToIntegerOrIntegerToPointerQuery ( ) and
25
+ TypesPackage:: convertingAPointerToIntegerOrIntegerToPointerQuery ( ) and
26
26
queryId =
27
27
// `@id` for the `convertingAPointerToIntegerOrIntegerToPointer` query
28
- "c/cert/converting-a-pointer-to-integer-or-integer-to-pointer" and
28
+ "c/cert/converting-a-pointer-to-integer-or-integer-to-pointer" and
29
29
ruleId = "INT36-C" and
30
30
category = "rule"
31
31
or
32
32
query =
33
33
// `Query` instance for the `plainNumericalTypeUsedOverExplicitTypedef` query
34
- TypesPackage:: plainNumericalTypeUsedOverExplicitTypedefQuery ( ) and
34
+ TypesPackage:: plainNumericalTypeUsedOverExplicitTypedefQuery ( ) and
35
35
queryId =
36
36
// `@id` for the `plainNumericalTypeUsedOverExplicitTypedef` query
37
- "c/misra/plain-numerical-type-used-over-explicit-typedef" and
37
+ "c/misra/plain-numerical-type-used-over-explicit-typedef" and
38
38
ruleId = "DIR-4-6" and
39
39
category = "advisory"
40
40
or
41
41
query =
42
42
// `Query` instance for the `sizeofOperatorUsedOnArrayTypeParam` query
43
- TypesPackage:: sizeofOperatorUsedOnArrayTypeParamQuery ( ) and
43
+ TypesPackage:: sizeofOperatorUsedOnArrayTypeParamQuery ( ) and
44
44
queryId =
45
45
// `@id` for the `sizeofOperatorUsedOnArrayTypeParam` query
46
- "c/misra/sizeof-operator-used-on-array-type-param" and
46
+ "c/misra/sizeof-operator-used-on-array-type-param" and
47
47
ruleId = "RULE-12-5" and
48
48
category = "mandatory"
49
49
or
50
50
query =
51
51
// `Query` instance for the `stringLiteralAssignedToNonConstChar` query
52
- TypesPackage:: stringLiteralAssignedToNonConstCharQuery ( ) and
52
+ TypesPackage:: stringLiteralAssignedToNonConstCharQuery ( ) and
53
53
queryId =
54
54
// `@id` for the `stringLiteralAssignedToNonConstChar` query
55
- "c/misra/string-literal-assigned-to-non-const-char" and
55
+ "c/misra/string-literal-assigned-to-non-const-char" and
56
56
ruleId = "RULE-7-4" and
57
57
category = "required"
58
58
}
59
59
60
60
module TypesPackage {
61
- Query exprShiftedbyNegativeOrGreaterPrecisionOperandQuery ( ) {
61
+ Query exprShiftedbyNegativeOrGreaterPrecisionOperandQuery ( ) {
62
62
//autogenerate `Query` type
63
- result =
63
+ result =
64
64
// `Query` type for `exprShiftedbyNegativeOrGreaterPrecisionOperand` query
65
- TQueryC ( TTypesPackageQuery ( TExprShiftedbyNegativeOrGreaterPrecisionOperandQuery ( ) ) )
66
- }
65
+ TQueryC ( TTypesPackageQuery ( TExprShiftedbyNegativeOrGreaterPrecisionOperandQuery ( ) ) )
66
+ }
67
67
68
- Query convertingAPointerToIntegerOrIntegerToPointerQuery ( ) {
68
+ Query convertingAPointerToIntegerOrIntegerToPointerQuery ( ) {
69
69
//autogenerate `Query` type
70
- result =
70
+ result =
71
71
// `Query` type for `convertingAPointerToIntegerOrIntegerToPointer` query
72
- TQueryC ( TTypesPackageQuery ( TConvertingAPointerToIntegerOrIntegerToPointerQuery ( ) ) )
73
- }
72
+ TQueryC ( TTypesPackageQuery ( TConvertingAPointerToIntegerOrIntegerToPointerQuery ( ) ) )
73
+ }
74
74
75
- Query plainNumericalTypeUsedOverExplicitTypedefQuery ( ) {
75
+ Query plainNumericalTypeUsedOverExplicitTypedefQuery ( ) {
76
76
//autogenerate `Query` type
77
- result =
77
+ result =
78
78
// `Query` type for `plainNumericalTypeUsedOverExplicitTypedef` query
79
- TQueryC ( TTypesPackageQuery ( TPlainNumericalTypeUsedOverExplicitTypedefQuery ( ) ) )
80
- }
79
+ TQueryC ( TTypesPackageQuery ( TPlainNumericalTypeUsedOverExplicitTypedefQuery ( ) ) )
80
+ }
81
81
82
- Query sizeofOperatorUsedOnArrayTypeParamQuery ( ) {
82
+ Query sizeofOperatorUsedOnArrayTypeParamQuery ( ) {
83
83
//autogenerate `Query` type
84
- result =
84
+ result =
85
85
// `Query` type for `sizeofOperatorUsedOnArrayTypeParam` query
86
- TQueryC ( TTypesPackageQuery ( TSizeofOperatorUsedOnArrayTypeParamQuery ( ) ) )
87
- }
86
+ TQueryC ( TTypesPackageQuery ( TSizeofOperatorUsedOnArrayTypeParamQuery ( ) ) )
87
+ }
88
88
89
- Query stringLiteralAssignedToNonConstCharQuery ( ) {
89
+ Query stringLiteralAssignedToNonConstCharQuery ( ) {
90
90
//autogenerate `Query` type
91
- result =
91
+ result =
92
92
// `Query` type for `stringLiteralAssignedToNonConstChar` query
93
- TQueryC ( TTypesPackageQuery ( TStringLiteralAssignedToNonConstCharQuery ( ) ) )
94
- }
93
+ TQueryC ( TTypesPackageQuery ( TStringLiteralAssignedToNonConstCharQuery ( ) ) )
94
+ }
95
95
}
0 commit comments