@@ -12,6 +12,7 @@ import Contracts1
1212import Contracts2
1313import Contracts3
1414import Contracts4
15+ import DeadCode
1516import Declarations1
1617import Declarations2
1718import Declarations3
@@ -50,6 +51,7 @@ newtype TCQuery =
5051 TContracts2PackageQuery ( Contracts2Query q ) or
5152 TContracts3PackageQuery ( Contracts3Query q ) or
5253 TContracts4PackageQuery ( Contracts4Query q ) or
54+ TDeadCodePackageQuery ( DeadCodeQuery q ) or
5355 TDeclarations1PackageQuery ( Declarations1Query q ) or
5456 TDeclarations2PackageQuery ( Declarations2Query q ) or
5557 TDeclarations3PackageQuery ( Declarations3Query q ) or
@@ -88,6 +90,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
8890 isContracts2QueryMetadata ( query , queryId , ruleId , category ) or
8991 isContracts3QueryMetadata ( query , queryId , ruleId , category ) or
9092 isContracts4QueryMetadata ( query , queryId , ruleId , category ) or
93+ isDeadCodeQueryMetadata ( query , queryId , ruleId , category ) or
9194 isDeclarations1QueryMetadata ( query , queryId , ruleId , category ) or
9295 isDeclarations2QueryMetadata ( query , queryId , ruleId , category ) or
9396 isDeclarations3QueryMetadata ( query , queryId , ruleId , category ) or
0 commit comments