diff options
Diffstat (limited to '')
| -rw-r--r-- | test/unit/kernel/EphemeralRelation.ml | 36 |
1 files changed, 29 insertions, 7 deletions
diff --git a/test/unit/kernel/EphemeralRelation.ml b/test/unit/kernel/EphemeralRelation.ml index 7f113ef..c9742f0 100644 --- a/test/unit/kernel/EphemeralRelation.ml +++ b/test/unit/kernel/EphemeralRelation.ml @@ -12,11 +12,21 @@ let description = { Protocols.Schematics.domain= "integer"; provenance= [{Protocols.Schematics.source= ["example"]; attribute= "value"}] } -let temporary = {Ephemeral.name= None; schematics= `Temporary description; program= None} +let temporary = {Ephemeral.name= None; schematics= `Temporary description; pointer= None} let over ?inputs ?(value = temporary) members = - Ephemeral.instantiate ?inputs description value (fun () -> - Ok (Rnt.Kernel.Generator.cursor_of (fun ~yield -> List.iter yield members; Ok ())) ) + Ephemeral.instantiate ?inputs description value + ~modes:(fun () -> Ok [Concepts.(Mode.mode [] (Cardinality.bounded (List.length members)))]) + (fun () -> Ok (Rnt.Kernel.Generator.cursor_of (fun ~yield -> List.iter yield members; Ok ()))) + +let endless () = + Ephemeral.instantiate description temporary + ~modes:(fun () -> Ok [Concepts.(Mode.mode [] Cardinality.Countable)]) + (fun () -> + Ok + (Rnt.Kernel.Generator.cursor_of (fun ~yield -> + let rec from n = yield (member n); from (n + 1) in + from 0 ) ) ) let values tuples = BatFingerTree.to_list tuples @@ -55,6 +65,17 @@ let decides_membership () = check bool "a member is held" true holds; check bool "a stranger is refused" false rejects +let refuses_to_scan_without_end () = + match Protocols.Relation.require (endless ()) with + | Error condition -> fail (Concepts.Condition.to_string_hum condition) + | Ok relation -> ( + match Protocols.Relation.contains relation (member 9) with + | Error condition -> + check bool "it fails as undecidable instead of scanning" true + (BatString.starts_with (Concepts.Condition.to_string_hum condition) + "undecidable-membership" ) + | Ok _ -> fail "an endless relation with no test decided membership" ) + let describes_itself () = let described = begin @@ -83,7 +104,7 @@ let addressed_once_persisted () = let persisted code = { Ephemeral.name= Some "example"; schematics= `Persisted (Concepts.Hash.hash_of_int 1); - program= Some {Ephemeral.evaluator= "fol"; code= Concepts.Hash.hash_of_int code} } + pointer= Some {Ephemeral.evaluator= "fol"; code= Concepts.Hash.hash_of_int code} } in let address value = Protocols.Addressable.from (over ~value []) |> Option.map Protocols.Addressable.address @@ -97,9 +118,9 @@ let releasing_releases_its_inputs () = let released = ref false in let input = object - method reference = true - method release = released := true - method hash = Concepts.Hash.hash_of_int 0 + inherit Rnt.Kernel.Lifecycle.null + inherit Rnt.Kernel.Identity.of_id + method! release = released := true method to_string = "input" method protocols : Protocols.Handle.protocol list = [] end @@ -113,6 +134,7 @@ let suites () = [ ( "kernel/ephemeral-relation", [ test_case "enumerates-every-member" `Quick enumerates_every_member; test_case "decides-membership" `Quick decides_membership; + test_case "refuses-to-scan-without-end" `Quick refuses_to_scan_without_end; test_case "describes-itself" `Quick describes_itself; test_case "addressed-once-persisted" `Quick addressed_once_persisted; test_case "releasing-releases-its-inputs" `Quick releasing_releases_its_inputs ] ) ] |