hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#/Java: Adjust imports after moving files.

Browse Source
This commit is contained in:
Michael Nebel
2022-12-20 14:27:09 +01:00
parent 787b4743ee
commit 11ca3f49f6
11 changed files with 16 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/src/utils/modelgenerator/CaptureDiscardedSummaryModels.ql
View File

@@ -5,8 +5,8 @@
*/
import semmle.code.csharp.dataflow.ExternalFlow
import utils.modelgenerator.internal.CaptureModels
import utils.modelgenerator.internal.CaptureSummaryFlow
import internal.CaptureModels
import internal.CaptureSummaryFlow
from DataFlowTargetApi api, string flow
where flow = captureFlow(api) and hasSummary(api, false)

4
csharp/ql/src/utils/modelgenerator/CaptureNeutralModels.ql
View File

@@ -7,8 +7,8 @@
*/
import semmle.code.csharp.dataflow.ExternalFlow
import utils.modelgenerator.internal.CaptureModels
import utils.modelgenerator.internal.CaptureSummaryFlow
import internal.CaptureModels
import internal.CaptureSummaryFlow
from DataFlowTargetApi api, string noflow
where

2
csharp/ql/src/utils/modelgenerator/CaptureSinkModels.ql
View File

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

2
csharp/ql/src/utils/modelgenerator/CaptureSourceModels.ql
View File

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

4
csharp/ql/src/utils/modelgenerator/CaptureSummaryModels.ql
View File

@@ -7,8 +7,8 @@
*/
import semmle.code.csharp.dataflow.ExternalFlow
import utils.modelgenerator.internal.CaptureModels
import utils.modelgenerator.internal.CaptureSummaryFlow
import internal.CaptureModels
import internal.CaptureSummaryFlow
from DataFlowTargetApi api, string flow
where flow = captureFlow(api) and not hasSummary(api, false)

2
csharp/ql/src/utils/modelgenerator/CaptureTypeBasedSummaryModels.ql
View File

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