wip

Author: aschackmull

csharp/ql/lib/printCfg.ql

@@ -8,6 +8,7 @@
  */
 
 private import semmle.code.csharp.controlflow.internal.ControlFlowGraphImpl
+private import semmle.code.csharp.controlflow.ControlFlowGraph2 as C2
 
 external string selectedSourceFile();
 
@@ -22,6 +23,7 @@ external int selectedSourceColumn();
 private predicate selectedSourceColumnAlias = selectedSourceColumn/0;
 
 module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
+// module ViewCfgQueryInput implements C2::ControlFlow::ViewCfgQueryInputSig<File> {
   predicate selectedSourceFile = selectedSourceFileAlias/0;
 
   predicate selectedSourceLine = selectedSourceLineAlias/0;
@@ -30,6 +32,7 @@ module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
 
   predicate cfgScopeSpan(
     CfgScope scope, File file, int startLine, int startColumn, int endLine, int endColumn
+    // Callable scope, File file, int startLine, int startColumn, int endLine, int endColumn
   ) {
     file = scope.getFile() and
     scope.getLocation().getStartLine() = startLine and
@@ -39,12 +42,13 @@ module ViewCfgQueryInput implements ViewCfgQueryInputSig<File> {
       loc.getEndColumn() = endColumn
     |
       loc = scope.(Callable).getBody().getLocation()
-      or
-      loc = scope.(Field).getInitializer().getLocation()
-      or
-      loc = scope.(Property).getInitializer().getLocation()
+      // or
+      // loc = scope.(Field).getInitializer().getLocation()
+      // or
+      // loc = scope.(Property).getInitializer().getLocation()
     )
   }
 }
 
 import ViewCfgQuery<File, ViewCfgQueryInput>
+// import C2::ControlFlow::ViewCfgQuery<File, ViewCfgQueryInput>