Skip to content

Commit fbdbff1

Browse files
committed
Rename rule package to Types1
1 parent 7de306d commit fbdbff1

File tree

9 files changed

+13
-590
lines changed

9 files changed

+13
-590
lines changed

c/cert/src/rules/INT34-C/ExprShiftedbyNegativeOrGreaterPrecisionOperand.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -129,6 +129,6 @@ predicate isForbiddenShiftExpr(BitShiftExpr shift, string message) {
129129

130130
from BinaryBitwiseOperation badShift, string message
131131
where
132-
not isExcluded(badShift, TypesPackage::exprShiftedbyNegativeOrGreaterPrecisionOperandQuery()) and
132+
not isExcluded(badShift, Types1Package::exprShiftedbyNegativeOrGreaterPrecisionOperandQuery()) and
133133
isForbiddenShiftExpr(badShift, message)
134134
select badShift, message

c/cert/src/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,6 +70,6 @@ predicate conversionBetweenPointerAndInteger(Cast cast, string message) {
7070

7171
from Element elem, string message
7272
where
73-
not isExcluded(elem, TypesPackage::convertingAPointerToIntegerOrIntegerToPointerQuery()) and
73+
not isExcluded(elem, Types1Package::convertingAPointerToIntegerOrIntegerToPointerQuery()) and
7474
conversionBetweenPointerAndInteger(elem, message)
7575
select elem, message

c/misra/src/rules/DIR-4-6/PlainNumericalTypeUsedOverExplicitTypedef.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ predicate forbiddenTypedef(TypedefType typedef, string message) {
4545

4646
from Element elem, string message
4747
where
48-
not isExcluded(elem, TypesPackage::plainNumericalTypeUsedOverExplicitTypedefQuery()) and
48+
not isExcluded(elem, Types1Package::plainNumericalTypeUsedOverExplicitTypedefQuery()) and
4949
(
5050
forbiddenBuiltinNumericUsedInDecl(elem, message) or
5151
forbiddenTypedef(elem, message)

c/misra/src/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ import codingstandards.c.misra
1515

1616
from SizeofExprOperator sizeof
1717
where
18-
not isExcluded(sizeof, TypesPackage::sizeofOperatorUsedOnArrayTypeParamQuery()) and
18+
not isExcluded(sizeof, Types1Package::sizeofOperatorUsedOnArrayTypeParamQuery()) and
1919
exists(Parameter param |
2020
sizeof.getExprOperand().(VariableAccess).getTarget() = param and
2121
param.getType() instanceof ArrayType

c/misra/src/rules/RULE-7-4/StringLiteralAssignedToNonConstChar.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -93,7 +93,7 @@ predicate returningNonConstCharVar(ReturnStmt return, string message) {
9393

9494
from Element elem, string message
9595
where
96-
not isExcluded(elem, TypesPackage::stringLiteralAssignedToNonConstCharQuery()) and
96+
not isExcluded(elem, Types1Package::stringLiteralAssignedToNonConstCharQuery()) and
9797
(
9898
declaringNonConstCharVar(elem, message)
9999
or

cpp/common/src/codingstandards/cpp/exclusions/c/RuleMetadata.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ import Strings1
5252
import Strings2
5353
import Strings3
5454
import Syntax
55-
import Types
55+
import Types1
5656

5757
/** The TQuery type representing this language * */
5858
newtype TCQuery =
@@ -106,7 +106,7 @@ newtype TCQuery =
106106
TStrings2PackageQuery(Strings2Query q) or
107107
TStrings3PackageQuery(Strings3Query q) or
108108
TSyntaxPackageQuery(SyntaxQuery q) or
109-
TTypesPackageQuery(TypesQuery q)
109+
TTypes1PackageQuery(Types1Query q)
110110

111111
/** The metadata predicate * */
112112
predicate isQueryMetadata(Query query, string queryId, string ruleId, string category) {
@@ -160,5 +160,5 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
160160
isStrings2QueryMetadata(query, queryId, ruleId, category) or
161161
isStrings3QueryMetadata(query, queryId, ruleId, category) or
162162
isSyntaxQueryMetadata(query, queryId, ruleId, category) or
163-
isTypesQueryMetadata(query, queryId, ruleId, category)
163+
isTypes1QueryMetadata(query, queryId, ruleId, category)
164164
}

cpp/common/src/codingstandards/cpp/exclusions/c/Types.qll

Lines changed: 0 additions & 95 deletions
This file was deleted.

0 commit comments

Comments
 (0)