add: BatchEnfore test with eval and request examples(#376)

Casbin.UnitTests/Casbin.UnitTests.csproj

@@ -14,6 +14,7 @@
 
   <ItemGroup>
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.1.0" />
+    <PackageReference Include="Newtonsoft.Json" Version="13.0.3" />
     <PackageReference Include="xunit" Version="2.4.1" />
     <PackageReference Include="xunit.runner.visualstudio" Version="2.4.3">
       <IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets>

Casbin.UnitTests/Examples/batch_model.conf

@@ -0,0 +1,14 @@
+[request_definition]
+r = sub, obj, act
+
+[policy_definition]
+p = sub, act, condition, eft
+
+[role_definition]
+g = _, _
+
+[policy_effect]
+e = some(where (p.eft == allow))
+
+[matchers]
+m = g(r.sub, p.sub) && eval(p.condition) && (r.act == p.act)

Casbin.UnitTests/Examples/batch_policy.csv

@@ -0,0 +1,2 @@
+p, 77, Write, r.obj.type == "File" || r.obj.color== "Red", allow
+p, 55, Read, r.obj.type == "View", allow

Casbin.UnitTests/ModelTests/EnforcerTest.cs

@@ -1,5 +1,7 @@
-using System.Collections.Generic;
+using System;
+using System.Collections.Generic;
 using System.IO;
+using System.Linq;
 using System.Threading.Tasks;
 using Casbin.Model;
 using Casbin.Persist;
@@ -1235,6 +1237,132 @@
         await e.TestEnforceExWithMatcherAsync(matcher, "bob", "data2", "read", []);
         await e.TestEnforceExWithMatcherAsync(matcher, "bob", "data2", "write", []);
     }
+    public class ObjectRequest : IRequestValues
+    {
+        public string Sub { get; set; }
+        public Attributes Obj { get; set; }
+        public string Action { get; set; }
+
+        public bool TrySetValue<T>(int index, T value)
+        {
+            try
+            {
+                switch (index)
+                {
+                    case 0:
+                        Sub = value as string ?? throw new InvalidCastException();
+                        break;
+                    case 1:
+                        Obj = value as Attributes ?? throw new InvalidCastException();
+                        break;
+                    case 2:
+                        Action = value as string ?? throw new InvalidCastException();
+                        break;
+                    default:
+                        return false;
+                }
+                return true;
+            }
+            catch
+            {
+                return false;
+            }
+        }
+        public string this[int index] => index switch
+        {
+            0 => Sub,
+            1 => Obj.ToString(),
+            2 => Action,
+            _ => throw new IndexOutOfRangeException()
+        };
+        public object? GetValue(int index) => index switch
+        {
+            0 => Sub,
+            1 => Obj,
+            2 => Action,
+            _ => throw new IndexOutOfRangeException()
+        };
+
+        public int Count => 3;
+    }
+
+
+    public class Attributes : IRequestValues
+    {
+        public string type { get; set; }
+        public string color { get; set; }
+
+        public bool TrySetValue<T>(int index, T value)
+        {
+            try
+            {
+                switch (index)
+                {
+                    case 0:
+                        type = value as string ?? throw new InvalidCastException();
+                        break;
+                    case 1:
+                        color = value as string ?? throw new InvalidCastException();
+                        break;
+                    default:
+                        return false;
+                }
+                return true;
+            }
+            catch
+            {
+                return false;
+            }
+        }
+
+        public string this[int index] => index switch
+        {
+            0 => type,
+            1 => color,
+            _ => throw new IndexOutOfRangeException()
+        };
+
+        public object? GetValue(int index) => index switch
+        {
+            0 => type,
+            1 => color,
+            _ => throw new IndexOutOfRangeException()
+        };
+
+        public int Count => 2;
+    }
+
+    [Fact]
+    public void TestBatchEnforceWithEvalShouldFail()
+    {
+        var e = new Enforcer("Examples/batch_model.conf", "Examples/batch_policy.csv");
+
+        var reqs = new List<ObjectRequest>
+    {
+        new ObjectRequest
+        {
+            Sub = "77",
+            Obj = new Attributes { type = "File", color = "Blue" },
+            Action = "Write"
+        },
+        new ObjectRequest
+        {
+            Sub = "77",
+            Obj = new Attributes { type = "Folder", color = "Red" },
+            Action = "Write"
+        }
+    };
+        var request1 = Request.CreateValues(reqs[0].Sub, reqs[0].Obj, reqs[0].Action);
+        var request2 = Request.CreateValues(reqs[1].Sub, reqs[1].Obj, reqs[1].Action);
+        RequestValues<string, Attributes, string>[] requests = new[] { request1, request2 };
+        var batchResult = e.BatchEnforce(requests).ToList();
+        Assert.All(batchResult, result => Assert.True(result));
+        foreach (var req in reqs)
+        {
+            bool result = e.Enforce(req.Sub, req.Obj, req.Action);
+            Assert.True(result);
+        }
+    }
 
     #endregion
 }

global.json

@@ -4,4 +4,4 @@
     "rollForward": "latestMajor",
     "allowPrerelease": true
   }
-}
+}