Skip to content

Commit 1a08d11

Browse files
committed
Add query files
1 parent 447d961 commit 1a08d11

File tree

6 files changed

+470
-0
lines changed

6 files changed

+470
-0
lines changed
Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY. **/
2+
import cpp
3+
import RuleMetadata
4+
import codingstandards.cpp.exclusions.RuleMetadata
5+
6+
newtype Banned3Query = TUnscopedEnumWithoutFixedUnderlyingTypeUsedQuery()
7+
8+
predicate isBanned3QueryMetadata(Query query, string queryId, string ruleId, string category) {
9+
query =
10+
// `Query` instance for the `unscopedEnumWithoutFixedUnderlyingTypeUsed` query
11+
Banned3Package::unscopedEnumWithoutFixedUnderlyingTypeUsedQuery() and
12+
queryId =
13+
// `@id` for the `unscopedEnumWithoutFixedUnderlyingTypeUsed` query
14+
"cpp/misra/unscoped-enum-without-fixed-underlying-type-used" and
15+
ruleId = "RULE-10-2-3" and
16+
category = "required"
17+
}
18+
19+
module Banned3Package {
20+
Query unscopedEnumWithoutFixedUnderlyingTypeUsedQuery() {
21+
//autogenerate `Query` type
22+
result =
23+
// `Query` type for `unscopedEnumWithoutFixedUnderlyingTypeUsed` query
24+
TQueryCPP(TBanned3PackageQuery(TUnscopedEnumWithoutFixedUnderlyingTypeUsedQuery()))
25+
}
26+
}

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

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ import codingstandards.cpp.exclusions.RuleMetadata
55
import Allocations
66
import Banned1
77
import Banned2
8+
import Banned3
89
import BannedAPIs
910
import BannedFunctions
1011
import BannedLibraries
@@ -94,6 +95,7 @@ newtype TCPPQuery =
9495
TAllocationsPackageQuery(AllocationsQuery q) or
9596
TBanned1PackageQuery(Banned1Query q) or
9697
TBanned2PackageQuery(Banned2Query q) or
98+
TBanned3PackageQuery(Banned3Query q) or
9799
TBannedAPIsPackageQuery(BannedAPIsQuery q) or
98100
TBannedFunctionsPackageQuery(BannedFunctionsQuery q) or
99101
TBannedLibrariesPackageQuery(BannedLibrariesQuery q) or
@@ -183,6 +185,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
183185
isAllocationsQueryMetadata(query, queryId, ruleId, category) or
184186
isBanned1QueryMetadata(query, queryId, ruleId, category) or
185187
isBanned2QueryMetadata(query, queryId, ruleId, category) or
188+
isBanned3QueryMetadata(query, queryId, ruleId, category) or
186189
isBannedAPIsQueryMetadata(query, queryId, ruleId, category) or
187190
isBannedFunctionsQueryMetadata(query, queryId, ruleId, category) or
188191
isBannedLibrariesQueryMetadata(query, queryId, ruleId, category) or
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
No expected results have yet been specified
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
rules/RULE-10-2-3/UnscopedEnumWithoutFixedUnderlyingTypeUsed.ql

0 commit comments

Comments
 (0)