hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 08:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Adjust model generator test cases to the new implementation.

Browse Source
This commit is contained in:
Michael Nebel
2025-04-16 10:40:38 +02:00
parent 1d6c367049
commit 08f7caaf39
5 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
java/ql/test/utils/modelgenerator/dataflow/CaptureSummaryModels.expected → java/ql/test/utils/modelgenerator/dataflow/CaptureHeuristicSummaryModels.expected
View File

2
java/ql/test/utils/modelgenerator/dataflow/CaptureSummaryModels.ql → java/ql/test/utils/modelgenerator/dataflow/CaptureHeuristicSummaryModels.ql
View File

@@ -3,7 +3,7 @@ import utils.modelgenerator.internal.CaptureModels
import utils.test.InlineMadTest
module InlineMadTestConfig implements InlineMadTestConfigSig {
string getCapturedModel(Callable c) { result = captureFlow(c) }
string getCapturedModel(Callable c) { result = Heuristic::captureFlow(c) }
string getKind() { result = "summary" }
}

2
java/ql/test/utils/modelgenerator/dataflow/CaptureNeutralModels.ql
View File

@@ -3,7 +3,7 @@ import utils.modelgenerator.internal.CaptureModels
import utils.test.InlineMadTest
module InlineMadTestConfig implements InlineMadTestConfigSig {
string getCapturedModel(Callable c) { result = captureNoFlow(c) }
string getCapturedModel(Callable c) { result = Heuristic::captureNoFlow(c) }
string getKind() { result = "neutral" }
}

2
java/ql/test/utils/modelgenerator/dataflow/CaptureSinkModels.ql
View File

@@ -3,7 +3,7 @@ import utils.modelgenerator.internal.CaptureModels
import utils.test.InlineMadTest
module InlineMadTestConfig implements InlineMadTestConfigSig {
string getCapturedModel(Callable c) { result = captureSink(c) }
string getCapturedModel(Callable c) { result = Heuristic::captureSink(c) }
string getKind() { result = "sink" }
}

2
java/ql/test/utils/modelgenerator/dataflow/CaptureSourceModels.ql
View File

@@ -3,7 +3,7 @@ import utils.modelgenerator.internal.CaptureModels
import utils.test.InlineMadTest
module InlineMadTestConfig implements InlineMadTestConfigSig {
string getCapturedModel(Callable c) { result = captureSource(c) }
string getCapturedModel(Callable c) { result = Heuristic::captureSource(c) }
string getKind() { result = "source" }
}