Java: Remove duplicate class.

aschackmull · aschackmull · commit 2a0a568cbbec · 2020-01-30T17:04:35.000+01:00
diff --git a/java/ql/src/semmle/code/java/security/Random.qll b/java/ql/src/semmle/code/java/security/Random.qll
@@ -36,10 +36,6 @@ private class PredictableSeedFlowConfiguration extends DataFlow::Configuration {
   }
 }
 
-private class TypeNumber extends Class {
-  TypeNumber() { this.getQualifiedName() = "java.lang.Number" }
-}
-
 private predicate predictableCalcStep(Expr e1, Expr e2) {
   e2.(BinaryExpr).hasOperands(e1, any(PredictableSeedExpr p))
   or

Original file line number	Diff line number	Diff line change
`@@ -36,10 +36,6 @@ private class PredictableSeedFlowConfiguration extends DataFlow::Configuration {`
`36`	`36`	`}`
`37`	`37`	`}`
`38`	`38`
`39`		`-private class TypeNumber extends Class {`
`40`		`- TypeNumber() { this.getQualifiedName() = "java.lang.Number" }`
`41`		`-}`
`42`		`-`
`43`	`39`	`private predicate predictableCalcStep(Expr e1, Expr e2) {`
`44`	`40`	`e2.(BinaryExpr).hasOperands(e1, any(PredictableSeedExpr p))`
`45`	`41`	`or`