Skip to content

Commit 0016fbf

Browse files
committed
C#: Re-factor implementation to use the new model generator interface.
1 parent bb6530f commit 0016fbf

15 files changed

+208
-187
lines changed

csharp/ql/src/utils/modelgenerator/CaptureContentSummaryModels.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
*/
88

99
import internal.CaptureModels
10+
import SummaryModels
1011

1112
from DataFlowSummaryTargetApi api, string flow
1213
where flow = ContentSensitive::captureFlow(api, _)

csharp/ql/src/utils/modelgenerator/CaptureNeutralModels.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
*/
88

99
import internal.CaptureModels
10+
import SummaryModels
1011

1112
from DataFlowSummaryTargetApi api, string noflow
1213
where noflow = captureNeutral(api)

csharp/ql/src/utils/modelgenerator/CaptureSinkModels.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
*/
88

99
import internal.CaptureModels
10+
import SinkModels
1011

1112
from DataFlowSinkTargetApi api, string sink
1213
where sink = Heuristic::captureSink(api)

csharp/ql/src/utils/modelgenerator/CaptureSourceModels.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
*/
88

99
import internal.CaptureModels
10+
import SourceModels
1011

1112
from DataFlowSourceTargetApi api, string source
1213
where source = Heuristic::captureSource(api)

csharp/ql/src/utils/modelgenerator/CaptureSummaryModels.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@
77
*/
88

99
import internal.CaptureModels
10+
import SummaryModels
1011

1112
from DataFlowSummaryTargetApi api, string flow
1213
where flow = captureFlow(api, _)

csharp/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPartialPath.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010

1111
import csharp
1212
import utils.modelgenerator.internal.CaptureModels
13+
import SummaryModels
1314
import PartialFlow::PartialPathGraph
1415

1516
int explorationLimit() { result = 3 }

csharp/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPath.ql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010

1111
import csharp
1212
import utils.modelgenerator.internal.CaptureModels
13+
import SummaryModels
1314
import Heuristic
1415
import PropagateFlow::PathGraph
1516

0 commit comments

Comments
 (0)