C#: Move Completion.qll

This commit is contained in:
Tom Hvitved
2019-02-05 11:45:33 +01:00
parent d829d98165
commit 64539b0263
5 changed files with 4 additions and 4 deletions

View File

@@ -5,7 +5,7 @@ import csharp
*/
module ControlFlow {
private import semmle.code.csharp.controlflow.BasicBlocks as BBs
private import semmle.code.csharp.controlflow.Completion
private import semmle.code.csharp.controlflow.internal.Completion
/**
* A control flow node.

View File

@@ -8,7 +8,7 @@ private import semmle.code.csharp.commons.Assertions
private import semmle.code.csharp.commons.ComparisonTest
private import semmle.code.csharp.commons.StructuralComparison::Internal
private import semmle.code.csharp.controlflow.BasicBlocks
private import semmle.code.csharp.controlflow.Completion
private import semmle.code.csharp.controlflow.internal.Completion
private import semmle.code.csharp.dataflow.Nullness
private import semmle.code.csharp.frameworks.System

View File

@@ -1,6 +1,6 @@
import csharp
import ControlFlow::Internal
private import semmle.code.csharp.controlflow.Completion
private import semmle.code.csharp.controlflow.internal.Completion
import Common
from SourceControlFlowElement cfe, Completion c

View File

@@ -1,5 +1,5 @@
import csharp
import semmle.code.csharp.controlflow.Completion
import semmle.code.csharp.controlflow.internal.Completion
import ControlFlow
import ControlFlow::Internal