PS: Add inline expectations test library.

Author: MathiasVP

powershell/ql/test/TestUtilities/InlineExpectationsTest.qll

@@ -0,0 +1,8 @@
+/**
+ * Inline expectation tests for Powershell.
+ * See `shared/util/codeql/util/test/InlineExpectationsTest.qll`
+ */
+
+private import codeql.util.test.InlineExpectationsTest
+private import internal.InlineExpectationsTestImpl
+import Make<Impl>

powershell/ql/test/TestUtilities/InlineFlowTest.qll

@@ -0,0 +1,24 @@
+/**
+ * Inline flow tests for Powershell.
+ * See `shared/util/codeql/dataflow/test/InlineFlowTest.qll`
+ */
+
+import powershell
+private import codeql.dataflow.test.InlineFlowTest
+private import semmle.code.powershell.dataflow.internal.DataFlowImplSpecific
+private import semmle.code.powershell.dataflow.internal.TaintTrackingImplSpecific
+private import internal.InlineExpectationsTestImpl
+
+private module FlowTestImpl implements InputSig<Location, PowershellDataFlow> {
+  import TestUtilities.InlineFlowTestUtil
+
+  bindingset[src, sink]
+  string getArgString(DataFlow::Node src, DataFlow::Node sink) {
+    (if exists(getSourceArgString(src)) then result = getSourceArgString(src) else result = "") and
+    exists(sink)
+  }
+
+  predicate interpretModelForTest(QlBuiltins::ExtensionId madId, string model) { none() }
+}
+
+import InlineFlowTestMake<Location, PowershellDataFlow, PowershellTaintTracking, Impl, FlowTestImpl>

powershell/ql/test/TestUtilities/InlineFlowTestUtil.qll

@@ -0,0 +1,19 @@
+/**
+ * Defines the default source and sink recognition for `InlineFlowTest.qll`.
+ */
+
+import powershell
+import semmle.code.powershell.dataflow.DataFlow
+
+predicate defaultSource(DataFlow::Node src) {
+  src.asStmt().getStmt().(Cmd).getCommandName() = ["Source", "Taint"]
+}
+
+predicate defaultSink(DataFlow::Node sink) {
+  exists(Cmd cmd | cmd.getCommandName() = "Sink" | sink.asExpr().getExpr() = cmd.getAnArgument())
+}
+
+string getSourceArgString(DataFlow::Node src) {
+  defaultSource(src) and
+  src.asStmt().getStmt().(Cmd).getAnArgument().(StringConstExpr).getValue().getValue() = result
+}

powershell/ql/test/TestUtilities/internal/InlineExpectationsTestImpl.qll

@@ -0,0 +1,13 @@
+private import powershell as P
+private import codeql.util.test.InlineExpectationsTest
+
+module Impl implements InlineExpectationsTestSig {
+  /**
+   * A class representing line comments in Powershell.
+   */
+  class ExpectationComment extends P::SingleLineComment {
+    string getContents() { result = this.getCommentContents().getValue().suffix(1) }
+  }
+
+  class Location = P::Location;
+}