Skip to content

Commit 8e60073

Browse files
committed
Java: Remove dataflow imports for java.qll.
1 parent f734edf commit 8e60073

File tree

2 files changed

+4
-5
lines changed

2 files changed

+4
-5
lines changed

java/ql/lib/java.qll

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -28,9 +28,6 @@ import semmle.code.java.Type
2828
import semmle.code.java.UnitTests
2929
import semmle.code.java.Variable
3030
import semmle.code.java.controlflow.BasicBlocks
31-
import semmle.code.java.dataflow.DataFlow
32-
import semmle.code.java.dataflow.TaintTracking
33-
import semmle.code.java.dataflow.SSA
3431
import semmle.code.java.metrics.MetricCallable
3532
import semmle.code.java.metrics.MetricElement
3633
import semmle.code.java.metrics.MetricField

java/ql/src/utils/model-generator/internal/CaptureModelsSpecific.qll

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,13 +6,15 @@ private import java as J
66
private import semmle.code.java.dataflow.internal.DataFlowNodes
77
private import semmle.code.java.dataflow.internal.DataFlowPrivate
88
private import semmle.code.java.dataflow.internal.ContainerFlow as ContainerFlow
9+
private import semmle.code.java.dataflow.DataFlow as Df
10+
private import semmle.code.java.dataflow.TaintTracking as Tt
911
import semmle.code.java.dataflow.ExternalFlow as ExternalFlow
1012
import semmle.code.java.dataflow.internal.DataFlowImplCommon as DataFlowImplCommon
1113
import semmle.code.java.dataflow.internal.DataFlowPrivate as DataFlowPrivate
1214

13-
module DataFlow = J::DataFlow;
15+
module DataFlow = Df::DataFlow;
1416

15-
module TaintTracking = J::TaintTracking;
17+
module TaintTracking = Tt::TaintTracking;
1618

1719
class Type = J::Type;
1820

0 commit comments

Comments
 (0)