Merge pull request #18682 from hvitved/dataflow/aliases

Data flow: Add aliases for removing `DataFlow` prefixes

Author: hvitved

csharp/ql/test/library-tests/dataflow/delegates/DelegateFlow.ql

@@ -4,19 +4,19 @@ import semmle.code.csharp.dataflow.internal.DataFlowDispatch
 
 query predicate delegateCall(DelegateLikeCall dc, Callable c) { c = dc.getARuntimeTarget() }
 
-private class LocatableDataFlowCallOption extends DataFlowCallOption {
+private class LocatableCallOption extends CallOption {
   Location getLocation() {
-    this = TDataFlowCallNone() and
+    this = TCallNone() and
     result instanceof EmptyLocation
     or
     exists(DataFlowCall call |
-      this = TDataFlowCallSome(call) and
+      this = TCallSome(call) and
       result = call.getLocation()
     )
   }
 }
 
-private class LocatableDataFlowCall extends TDataFlowCall {
+private class LocatableCall extends TDataFlowCall {
   string toString() { result = this.(DataFlowCall).toString() }
 
   Location getLocation() {
@@ -28,7 +28,7 @@ private class LocatableDataFlowCall extends TDataFlowCall {
 }
 
 query predicate viableLambda(
-  LocatableDataFlowCall call, LocatableDataFlowCallOption lastCall, DataFlowCallable target
+  LocatableCall call, LocatableCallOption lastCall, DataFlowCallable target
 ) {
   target = viableCallableLambda(call, lastCall)
 }

csharp/ql/test/library-tests/dataflow/functionpointers/FunctionPointerFlow.ql

@@ -4,13 +4,13 @@ import semmle.code.csharp.dataflow.internal.DataFlowDispatch
 
 query predicate fptrCall(FunctionPointerCall dc, Callable c) { c = dc.getARuntimeTarget() }
 
-private class LocatableDataFlowCallOption extends DataFlowCallOption {
+private class LocatableDataFlowCallOption extends CallOption {
   Location getLocation() {
-    this = TDataFlowCallNone() and
+    this = TCallNone() and
     result instanceof EmptyLocation
     or
     exists(DataFlowCall call |
-      this = TDataFlowCallSome(call) and
+      this = TCallSome(call) and
       result = call.getLocation()
     )
   }