Validate.IParamCollection.forAll

src/ARCExpect/ErrorMessage.fs

@@ -85,6 +85,45 @@ type ErrorMessage =
             str.AppendFormat(" > line '{0}'", line) |> ignore
         | None -> ()
 
+        match Param.tryGetValueOfCvParamAttr "Position" iParam with
+        | Some position -> 
+            str.AppendFormat(" > position '{0}'", position) |> ignore
+        | None -> ()
+        str.ToString()
+
+
+    static member ofIParamCollection error iParamCollection =
+
+        let iParam = Seq.head iParamCollection
+
+        let str = new StringBuilder()    
+        str.AppendFormat("['{0}', ..] {1}\n",  Param.getCvName iParam, error) |> ignore 
+
+        match Param.tryGetValueOfCvParamAttr "FilePath" iParam with
+        | Some path ->
+            str.AppendFormat(" > filePath '{0}'\n", path) |> ignore         
+        | None -> ()
+
+        match Param.tryGetValueOfCvParamAttr "Worksheet" iParam with
+        | Some sheet ->
+            str.AppendFormat(" > sheet '{0}'", sheet) |> ignore         
+        | None -> ()
+
+        match Param.tryGetValueOfCvParamAttr "Row" iParam with
+        | Some row -> 
+            str.AppendFormat(" > row '{0}'", row) |> ignore
+        | None -> ()
+
+        match Param.tryGetValueOfCvParamAttr "Column" iParam with
+        | Some column -> 
+            str.AppendFormat(" > column '{0}'", column) |> ignore
+        | None -> ()        
+
+        match Param.tryGetValueOfCvParamAttr "Line" iParam with
+        | Some line ->
+            str.AppendFormat(" > line '{0}'", line) |> ignore
+        | None -> ()
+
         match Param.tryGetValueOfCvParamAttr "Position" iParam with
         | Some position -> 
             str.AppendFormat(" > position '{0}'", position) |> ignore

src/ARCExpect/ValidationFunctions.fs

@@ -26,7 +26,7 @@
                 |> ErrorMessage.ofIParam "is empty."                
                 |> Expecto.Tests.failtestNoStackf "%s"
 
         /// <summary>
         /// Validates if the value of the given Param is equal to the expected value.
         /// </summary>
         /// <param name="expectedValue">The expected value to validate against</param>
@@ -134,7 +134,7 @@
                 |> Expecto.Tests.failtestNoStackf "%s"
 
         /// <summary>
-        /// Validates if the given Param is contained in the given collection át least once.
+        /// Validates if the given Param is contained in the given collection at least once.
         /// </summary>
         /// <param name="expectedParam">the param expected to occur at least once in the given collection</param>
         /// <param name="paramCollection">The param collection to validate</param>
@@ -152,6 +152,23 @@
             |> ErrorMessage.ofIParam $"does not exist"
             |> Expecto.Tests.failtestNoStackf "%s"
 
+        /// <summary>
+        /// Validates if all elements in the given IParam collection satisfy the projection function.
+        /// </summary>
+        /// <param name="projection">A function that evaluates to true if the element satisfies the requirements.</param>
+        /// <param name="paramCollection">The IParam collection to validate.</param>
+        static member ParamsSatisfyPredicate (predicate : #IParam -> bool) (paramCollection : #seq<#IParam>) =
+            use en = paramCollection.GetEnumerator()
+            let rec loop () =
+                match en.MoveNext() with
+                | true ->
+                    if predicate en.Current |> not then
+                        ErrorMessage.ofIParam $"does not satisfy predicate" en.Current
+                        |> Expecto.Tests.failtestNoStackf "%s"
+                    else loop ()
+                | false -> ()
+            loop ()
+
 
     /// <summary>
     /// Validates wether the given Param's value is an email that matches a pre-defined regex pattern ("^[^@\s]+@[^@\s]+\.[^@\s]+$") 

tests/ARCExpect.Tests/ARCExpect.Tests.fsproj

@@ -11,6 +11,7 @@
     <EmbeddedResource Remove="CLITests\**" />
     <Compile Include="InternalUtilsTests.fs" />
     <Compile Include="ReferenceObjects.fs" />
+    <Compile Include="ErrorMessageTests.fs" />
     <Compile Include="ExpectoExtensionsTests.fs" />
     <Compile Include="PathConfigTests.fs" />
     <Compile Include="DirTokenizerTests.fs" />

tests/ARCExpect.Tests/ErrorMessageTests.fs

@@ -0,0 +1,21 @@
+module ErrorMessageTests
+
+
+open Expecto
+open ARCExpect
+open ControlledVocabulary
+
+
+let dummyIParam = CvParam("test:0", "testTerm", "test", ParamValue.Value "no val")
+let dummyIParamColl = List.init 3 (fun _ -> dummyIParam)
+
+
+[<Tests>]
+let ``ErrorMessage tests`` =
+    testList "ErrorMessage" [
+        testList "ofIParamCollection" [
+            testCase "resolves correctly" <| fun _ ->
+                let eMsg = ErrorMessage.ofIParamCollection "does not satisfy" dummyIParamColl
+                Expect.equal eMsg "['testTerm', ..] does not satisfy\n" "resolved incorrectly"
+        ]
+    ]