raw
cryostat_genesis.kv     1 ------------------------------------------------------------------------------
cryostat_genesis.kv     2 ------------------------------------------------------------------------------
cryostat_genesis.kv     3 -- This file is part of 'Cryostat', an Ada library for persistent storage.  --
cryostat_genesis.kv     4 --                                                                          --
cryostat_genesis.kv     5 -- (C) 2020 Stanislav Datskovskiy ( www.loper-os.org )                      --
cryostat_genesis.kv     6 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
cryostat_genesis.kv     7 --                                                                          --
cryostat_genesis.kv     8 -- You do not have, nor can you ever acquire the right to use, copy or      --
cryostat_genesis.kv     9 -- distribute this software ; Should you use this software for any purpose, --
cryostat_genesis.kv    10 -- or copy and distribute it to anyone or in any manner, you are breaking   --
cryostat_genesis.kv    11 -- the laws of whatever soi-disant jurisdiction, and you promise to         --
cryostat_genesis.kv    12 -- continue doing so for the indefinite future. In any case, please         --
cryostat_genesis.kv    13 -- always : read and understand any software ; verify any PGP signatures    --
cryostat_genesis.kv    14 -- that you use - for any purpose.                                          --
cryostat_genesis.kv    15 ------------------------------------------------------------------------------
cryostat_genesis.kv    16 ------------------------------------------------------------------------------
cryostat_genesis.kv    17 
cryostat_genesis.kv    18 package body Cryostat is
cryostat_genesis.kv    19    
cryostat_genesis.kv    20    -- Test if the Cryostat is usable
cryostat_genesis.kv    21    function IsReady return Boolean is
cryostat_genesis.kv    22    begin
cryostat_genesis.kv    23       return PMaps.IsReady(Map);
cryostat_genesis.kv    24    end IsReady;
cryostat_genesis.kv    25    
cryostat_genesis.kv    26    
cryostat_genesis.kv    27    -- If the Cryostat is writable, sync to disk immediately.
cryostat_genesis.kv    28    procedure Sync is
cryostat_genesis.kv    29    begin
cryostat_genesis.kv    30       PMaps.Sync(Map);
cryostat_genesis.kv    31    end Sync;
cryostat_genesis.kv    32    
cryostat_genesis.kv    33    
cryostat_genesis.kv    34    -- Zero the entire mapped space of the Cryostat.
cryostat_genesis.kv    35    procedure Zap is
cryostat_genesis.kv    36    begin
cryostat_genesis.kv    37       PMaps.Zap(Map);
cryostat_genesis.kv    38    end Zap;
cryostat_genesis.kv    39    
cryostat_genesis.kv    40    
cryostat_genesis.kv    41    -- Close the Cryostat and mark it unusable.
cryostat_genesis.kv    42    -- Normally, this is unnecessary (Finalize will do it)
cryostat_genesis.kv    43    procedure Stop is
cryostat_genesis.kv    44    begin
cryostat_genesis.kv    45       PMaps.Stop(Map);
cryostat_genesis.kv    46    end Stop;
cryostat_genesis.kv    47    
cryostat_genesis.kv    48 end Cryostat;