@@ -12,6 +12,7 @@ import Contracts1
12
12
import Contracts2
13
13
import Contracts3
14
14
import Contracts4
15
+ import DeadCode
15
16
import Declarations1
16
17
import Declarations2
17
18
import Declarations3
@@ -50,6 +51,7 @@ newtype TCQuery =
50
51
TContracts2PackageQuery ( Contracts2Query q ) or
51
52
TContracts3PackageQuery ( Contracts3Query q ) or
52
53
TContracts4PackageQuery ( Contracts4Query q ) or
54
+ TDeadCodePackageQuery ( DeadCodeQuery q ) or
53
55
TDeclarations1PackageQuery ( Declarations1Query q ) or
54
56
TDeclarations2PackageQuery ( Declarations2Query q ) or
55
57
TDeclarations3PackageQuery ( Declarations3Query q ) or
@@ -88,6 +90,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
88
90
isContracts2QueryMetadata ( query , queryId , ruleId , category ) or
89
91
isContracts3QueryMetadata ( query , queryId , ruleId , category ) or
90
92
isContracts4QueryMetadata ( query , queryId , ruleId , category ) or
93
+ isDeadCodeQueryMetadata ( query , queryId , ruleId , category ) or
91
94
isDeclarations1QueryMetadata ( query , queryId , ruleId , category ) or
92
95
isDeclarations2QueryMetadata ( query , queryId , ruleId , category ) or
93
96
isDeclarations3QueryMetadata ( query , queryId , ruleId , category ) or
0 commit comments