← All compilation units

Flyology_Allocators.Regions

Description

Attaches local views to caller-owned contiguous bytes. This package does not create, resize, synchronize, or release storage. A view may describe a static array, a linker-defined range, an Ada storage pool, or any other addressable region whose lifetime the caller owns. Region operations are not synchronized; attachment, detachment, and backing-store lifetime require application-level exclusion.

Address_At

function Address_At
  (Item : View; Offset : Byte_Count; Extent : Byte_Count; Alignment : Byte_Count := 1)
   return System.Address
Parameters
Item
Offset
Extent
Alignment
Return value

Attach

procedure Attach (Item : in out View; Base : System.Address; Length : Byte_Count)
Parameters
Item
Base
Length

Base_Address

function Base_Address (Item : View) return System.Address
Parameters
Item
Return value

Detach

procedure Detach (Item : in out View)
Parameters
Item

Is_Attached

function Is_Attached (Item : View) return Boolean
Parameters
Item
Return value

Length

function Length (Item : View) return Byte_Count
Parameters
Item
Return value

Validate

procedure Validate (Item : View; Offset : Region_Offset; Extent : Byte_Count; Alignment : Byte_Count := 1)
Parameters
Item
Offset
Extent
Alignment

View

subtype View is Region_View;