def execute_read

bendvy-ecs-core@0.1.0.4 · ordinary_query_declaration.bend:89

import Base
import bendvy-ecs-core@0.1.0.4/component.bend as Cmp
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

89# Read the selected component through a read declaration, returning owner H
90# with Access<V>. The detached Data view does not copy the affine payload.
91# Results are Found, ComponentAbsent or MissingEntity; stale/foreign handles
92# produce MissingEntity. No payload owner is transferred to the reader.
93def execute_read(~S:Data,~H:Type,~V:Data,~declaration:Declaration<S,H,Cap.Read<H,V>>,owner:H) -> H & Cmp.Access<V>:
94  Cap.read(~H,~V,~grant(~S,~H,~Cap.Read<H,V>,declaration),owner)