hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 18:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java: Move internal model generator code to another folder.

Browse Source
This commit is contained in:
Michael Nebel
2022-10-31 11:08:56 +01:00
parent ceef9cf276
commit 2011685e89
9 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/src/utils/model-generator/CaptureNegativeSummaryModels.ql
View File

@@ -6,8 +6,8 @@
* @tags model-generator
*/
import internal.CaptureModels
import internal.CaptureSummaryFlow
import utils.modelgenerator.internal.CaptureModels
import utils.modelgenerator.internal.CaptureSummaryFlow
from DataFlowTargetApi api, string noflow
where noflow = captureNoFlow(api)

2
java/ql/src/utils/model-generator/CaptureSinkModels.ql
View File

@@ -6,7 +6,7 @@
* @tags model-generator
*/
import internal.CaptureModels
import utils.modelgenerator.internal.CaptureModels
class Activate extends ActiveConfiguration {
override predicate activateToSinkConfig() { any() }

2
java/ql/src/utils/model-generator/CaptureSourceModels.ql
View File

@@ -6,7 +6,7 @@
* @tags model-generator
*/
import internal.CaptureModels
import utils.modelgenerator.internal.CaptureModels
class Activate extends ActiveConfiguration {
override predicate activateFromSourceConfig() { any() }

4
java/ql/src/utils/model-generator/CaptureSummaryModels.ql
View File

@@ -6,8 +6,8 @@
* @tags model-generator
*/
import internal.CaptureModels
import internal.CaptureSummaryFlow
import utils.modelgenerator.internal.CaptureModels
import utils.modelgenerator.internal.CaptureSummaryFlow
from DataFlowTargetApi api, string flow
where flow = captureFlow(api)

2
java/ql/src/utils/model-generator/CaptureTypeBasedSummaryModels.ql
View File

@@ -6,7 +6,7 @@
* @tags model-generator
*/
import internal.CaptureTypeBasedSummaryModels
import utils.modelgenerator.internal.CaptureTypeBasedSummaryModels
from TypeBasedFlowTargetApi api, string flow
where flow = captureFlow(api)

0
java/ql/src/utils/model-generator/internal/CaptureModels.qll → java/ql/src/utils/modelgenerator/internal/CaptureModels.qll
View File

0
java/ql/src/utils/model-generator/internal/CaptureModelsSpecific.qll → java/ql/src/utils/modelgenerator/internal/CaptureModelsSpecific.qll
View File

0
java/ql/src/utils/model-generator/internal/CaptureSummaryFlow.qll → java/ql/src/utils/modelgenerator/internal/CaptureSummaryFlow.qll
View File

0
java/ql/src/utils/model-generator/internal/CaptureTypeBasedSummaryModels.qll → java/ql/src/utils/modelgenerator/internal/CaptureTypeBasedSummaryModels.qll
View File