additional requries-fragment tests

develop/all.lua

@@ -18,4 +18,6 @@ basics.describe_fuzz 'develop.fuzzing.explicit_fuzz'
 print '----------------------------------------'
 basics.describe_fuzz 'develop.fuzzing.pack_unpack_fuzz'
 print '----------------------------------------'
+basics.describe_fuzz 'develop.fuzzing.requires_fuzz'
+print '----------------------------------------'
 basics.describe_fuzz 'develop.fuzzing.unique_fuzz'

develop/fuzzing/requires_fuzz.lua

@@ -0,0 +1,113 @@
+local evo = require 'evolved'
+
+evo.debug_mode(true)
+
+---
+---
+---
+---
+---
+
+local __table_unpack = (function()
+    ---@diagnostic disable-next-line: deprecated
+    return table.unpack or unpack
+end)()
+
+---
+---
+---
+---
+---
+
+local all_fragment_list = {} ---@type evolved.fragment[]
+
+for i = 1, math.random(1, 10) do
+    local fragment = evo.builder()
+        :default(42)
+        :spawn()
+    all_fragment_list[i] = fragment
+end
+
+for _, fragment in ipairs(all_fragment_list) do
+    if math.random(1, 2) == 1 then
+        for _ = 0, math.random(0, #all_fragment_list) do
+            local require_list = evo.get(fragment, evo.REQUIRES) or {}
+            require_list[#require_list + 1] = all_fragment_list[math.random(1, #all_fragment_list)]
+            evo.set(fragment, evo.REQUIRES, require_list)
+        end
+    end
+end
+
+local all_entity_list = {} ---@type evolved.entity[]
+
+for i = 1, math.random(1, 10) do
+    local entity = evo.id()
+    all_entity_list[i] = entity
+
+    for _ = 0, math.random(0, #all_fragment_list) do
+        local fragment = all_fragment_list[math.random(1, #all_fragment_list)]
+
+        if math.random(1, 2) == 1 then
+            evo.set(entity, fragment, 42)
+        else
+            local query = evo.builder()
+                :include(all_fragment_list[math.random(1, #all_fragment_list)])
+                :spawn()
+            evo.batch_set(query, fragment, 42)
+            evo.destroy(query)
+        end
+    end
+end
+
+for _ = 1, math.random(1, #all_entity_list) do
+    local components = {}
+    for _ = 1, math.random(1, #all_fragment_list) do
+        local fragment = all_fragment_list[math.random(1, #all_fragment_list)]
+        components[fragment] = 42
+    end
+    all_entity_list[#all_entity_list + 1] = evo.spawn(components)
+end
+
+for _ = 1, math.random(1, #all_entity_list) do
+    local prefab = all_entity_list[math.random(1, #all_entity_list)]
+    all_entity_list[#all_entity_list + 1] = evo.clone(prefab)
+end
+
+---
+---
+---
+---
+---
+
+local function collect_required_fragments_for(fragment, req_fragment_set, req_fragment_list)
+    local fragment_requires = evo.get(fragment, evo.REQUIRES) or {}
+    for _, required_fragment in ipairs(fragment_requires) do
+        if not req_fragment_set[required_fragment] then
+            req_fragment_set[required_fragment] = true
+            req_fragment_list[#req_fragment_list + 1] = required_fragment
+            collect_required_fragments_for(required_fragment, req_fragment_set, req_fragment_list)
+        end
+    end
+end
+
+for _, entity in ipairs(all_entity_list) do
+    for fragment in evo.each(entity) do
+        local req_fragment_list = {}
+        collect_required_fragments_for(fragment, {}, req_fragment_list)
+        for _, required_fragment in ipairs(req_fragment_list) do
+            assert(evo.has(entity, required_fragment))
+            local required_component = evo.get(entity, required_fragment)
+            assert(required_component == 42)
+        end
+    end
+end
+
+---
+---
+---
+---
+---
+
+evo.destroy(__table_unpack(all_entity_list))
+evo.destroy(__table_unpack(all_fragment_list))
+evo.collect_garbage()

develop/unbench.lua

@@ -7,6 +7,11 @@ local N = 1000
 local B = evo.builder()
 local F1, F2, F3, F4, F5 = evo.id(5)
 local Q1 = evo.builder():include(F1):spawn()
+local R1 = evo.builder():require(F1):spawn()
+local R2 = evo.builder():require(F1, F2):spawn()
+local R3 = evo.builder():require(F1, F2, F3):spawn()
+local R4 = evo.builder():require(F1, F2, F3, F4):spawn()
+local R5 = evo.builder():require(F1, F2, F3, F4, F5):spawn()
 
 print '----------------------------------------'
 
@@ -610,7 +615,6 @@ basics.describe_bench(string.format('create and destroy %d entities with 5 compo
 
 print '----------------------------------------'
 
-
 basics.describe_bench(string.format('create and destroy %d entities with 1 components / clone', N),
     ---@param entities evolved.id[]
     function(entities)
@@ -690,3 +694,167 @@ basics.describe_bench(string.format('create and destroy %d entities with 5 compo
     end, function()
         return {}
     end)
+
+print '----------------------------------------'
+
+basics.describe_bench(string.format('create and destroy %d entities with 1 requires / spawn', N),
+    ---@param entities evolved.id[]
+    function(entities)
+        local spawn = evo.spawn
+
+        local components = { [R1] = true }
+
+        for i = 1, N do
+            entities[i] = spawn(components)
+        end
+
+        evo.batch_destroy(Q1)
+    end, function()
+        return {}
+    end)
+
+basics.describe_bench(string.format('create and destroy %d entities with 2 requires / spawn', N),
+    ---@param entities evolved.id[]
+    function(entities)
+        local spawn = evo.spawn
+
+        local components = { [R2] = true }
+
+        for i = 1, N do
+            entities[i] = spawn(components)
+        end
+
+        evo.batch_destroy(Q1)
+    end, function()
+        return {}
+    end)
+
+basics.describe_bench(string.format('create and destroy %d entities with 3 requires / spawn', N),
+    ---@param entities evolved.id[]
+    function(entities)
+        local spawn = evo.spawn
+
+        local components = { [R3] = true }
+
+        for i = 1, N do
+            entities[i] = spawn(components)
+        end
+
+        evo.batch_destroy(Q1)
+    end, function()
+        return {}
+    end)
+
+basics.describe_bench(string.format('create and destroy %d entities with 4 requires / spawn', N),
+    ---@param entities evolved.id[]
+    function(entities)
+        local spawn = evo.spawn
+
+        local components = { [R4] = true }
+
+        for i = 1, N do
+            entities[i] = spawn(components)
+        end
+
+        evo.batch_destroy(Q1)
+    end, function()
+        return {}
+    end)
+
+basics.describe_bench(string.format('create and destroy %d entities with 5 requires / spawn', N),
+    ---@param entities evolved.id[]
+    function(entities)
+        local spawn = evo.spawn
+
+        local components = { [R5] = true }
+
+        for i = 1, N do
+            entities[i] = spawn(components)
+        end
+
+        evo.batch_destroy(Q1)
+    end, function()
+        return {}
+    end)
+
+print '----------------------------------------'
+
+basics.describe_bench(string.format('create and destroy %d entities with 1 requires / clone', N),
+    ---@param entities evolved.id[]
+    function(entities)
+        local clone = evo.clone
+
+        local prefab = evo.spawn({ [R1] = true })
+
+        for i = 1, N do
+            entities[i] = clone(prefab)
+        end
+
+        evo.batch_destroy(Q1)
+    end, function()
+        return {}
+    end)
+
+basics.describe_bench(string.format('create and destroy %d entities with 2 requires / clone', N),
+    ---@param entities evolved.id[]
+    function(entities)
+        local clone = evo.clone
+
+        local prefab = evo.spawn({ [R2] = true })
+
+        for i = 1, N do
+            entities[i] = clone(prefab)
+        end
+
+        evo.batch_destroy(Q1)
+    end, function()
+        return {}
+    end)
+
+basics.describe_bench(string.format('create and destroy %d entities with 3 requires / clone', N),
+    ---@param entities evolved.id[]
+    function(entities)
+        local clone = evo.clone
+
+        local prefab = evo.spawn({ [R3] = true })
+
+        for i = 1, N do
+            entities[i] = clone(prefab)
+        end
+
+        evo.batch_destroy(Q1)
+    end, function()
+        return {}
+    end)
+
+basics.describe_bench(string.format('create and destroy %d entities with 4 requires / clone', N),
+    ---@param entities evolved.id[]
+    function(entities)
+        local clone = evo.clone
+
+        local prefab = evo.spawn({ [R4] = true })
+
+        for i = 1, N do
+            entities[i] = clone(prefab)
+        end
+
+        evo.batch_destroy(Q1)
+    end, function()
+        return {}
+    end)
+
+basics.describe_bench(string.format('create and destroy %d entities with 5 requires / clone', N),
+    ---@param entities evolved.id[]
+    function(entities)
+        local clone = evo.clone
+
+        local prefab = evo.spawn({ [R5] = true })
+
+        for i = 1, N do
+            entities[i] = clone(prefab)
+        end
+
+        evo.batch_destroy(Q1)
+    end, function()
+        return {}
+    end)