Skip to content

Commit 08f7caa

Browse files
committed
Java: Adjust model generator test cases to the new implementation.
1 parent 1d6c367 commit 08f7caa

File tree

5 files changed

+4
-4
lines changed

5 files changed

+4
-4
lines changed

java/ql/test/utils/modelgenerator/dataflow/CaptureSummaryModels.ql renamed to java/ql/test/utils/modelgenerator/dataflow/CaptureHeuristicSummaryModels.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ import utils.modelgenerator.internal.CaptureModels
33
import utils.test.InlineMadTest
44

55
module InlineMadTestConfig implements InlineMadTestConfigSig {
6-
string getCapturedModel(Callable c) { result = captureFlow(c) }
6+
string getCapturedModel(Callable c) { result = Heuristic::captureFlow(c) }
77

88
string getKind() { result = "summary" }
99
}

java/ql/test/utils/modelgenerator/dataflow/CaptureNeutralModels.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ import utils.modelgenerator.internal.CaptureModels
33
import utils.test.InlineMadTest
44

55
module InlineMadTestConfig implements InlineMadTestConfigSig {
6-
string getCapturedModel(Callable c) { result = captureNoFlow(c) }
6+
string getCapturedModel(Callable c) { result = Heuristic::captureNoFlow(c) }
77

88
string getKind() { result = "neutral" }
99
}

java/ql/test/utils/modelgenerator/dataflow/CaptureSinkModels.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ import utils.modelgenerator.internal.CaptureModels
33
import utils.test.InlineMadTest
44

55
module InlineMadTestConfig implements InlineMadTestConfigSig {
6-
string getCapturedModel(Callable c) { result = captureSink(c) }
6+
string getCapturedModel(Callable c) { result = Heuristic::captureSink(c) }
77

88
string getKind() { result = "sink" }
99
}

java/ql/test/utils/modelgenerator/dataflow/CaptureSourceModels.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ import utils.modelgenerator.internal.CaptureModels
33
import utils.test.InlineMadTest
44

55
module InlineMadTestConfig implements InlineMadTestConfigSig {
6-
string getCapturedModel(Callable c) { result = captureSource(c) }
6+
string getCapturedModel(Callable c) { result = Heuristic::captureSource(c) }
77

88
string getKind() { result = "source" }
99
}

0 commit comments

Comments
 (0)