DataMuseum.dk

top - metrics - download

    Length: 4005 (0xfa5)
    Types: TextFile
    Names: »V«

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧ 

TextFile

-- This package provides checking of the invariants which must be satisfied
-- in order to produce a consistent release of a software catalog.
--
with Subtypes;
use Subtypes;
with Structure;
with Object_Info;
package Consistency is

    procedure Assert_Catalogs_Match (This_Catalog : in Structure.Catalog;
                                     This_Catalog_Name : in Full_Name);
    --
    -- Raises "Catalog_Mismatch" if the catalog in the data file used to
    -- construct the specified catalog does not match the pathname of the
    -- specified catalog.

    procedure Assert_Versions_Match (This_Catalog : in Structure.Catalog;
                                     This_Version : in Full_Name);
    --
    -- Raises "Version_Mismatch" if the version in the data file used to
    -- construct the specified catalog does not match the pathname of the
    -- specified version.

    procedure Assert_Is_Simple_World (This_Catalog : in Structure.Catalog);
    --
    -- Raises "No_Such_Catalog" if the specified catalog does not exist.
    --
    -- Raises "Not_a_Simple_World" if the specified catalog exists, but is not
    -- a simple world.

    procedure Assert_Is_Directory (This_Section : in Structure.Section);
    --
    -- Raises "No_Such_Section" if the specified section does not exist.
    --
    -- Raises "Not_a_Directory" if the specified section exists, but is not
    -- a directory.

    procedure Assert_Is_Major_Class_World (This_Item : in Structure.Item);
    --
    -- Raises "No_Such_Item" if the specified item does not exist.
    --
    -- Raises "Not_Major_Class_World" if the specified item exists, but is
    -- not of major class "World".

    procedure Assert_Is_Subsystem (This_Item : in Structure.Item);
    --
    -- Raises "No_Such_Item" if the specified item does not exist.
    --
    -- Raises "Not_a_Subsystem" if the specified item exists, but is not
    -- a subsystem.

    procedure Assert_Has_Boilerplate_File
                 (This_Free_Form_Item : in Structure.Item);
    --
    -- Raises "Has_No_Boilerplate_File" if the specified item has no
    -- boilerplate file.
    --
    -- Raises "Has_Wrong_Kind_Of_Boilerplate_File" if the specified item
    -- has a boilerplate file, but it is the wrong kind.
    --
    -- The boilerplate file must appear at the outermost scope of the item.

    procedure Assert_Has_Boilerplate_File (This_View : in Object_Info.Any.View;
                                           This_Item : in Structure.Item);
    --
    -- Raises "Has_No_Boilerplate_File" if the specified view has no
    -- boilerplate file.
    --
    -- Raises "Has_Wrong_Kind_Of_Boilerplate_File" if the specified view
    -- has a boilerplate file, but it is the wrong kind.
    --
    -- The boilerplate file must be located in the Units directory of the
    -- specified view.

    procedure Assert_Has_Read_Me_File (This_Free_Form_Item : in Structure.Item);
    --
    -- Raises "Has_No_Read_Me_File" if the specified item has no Read_Me
    -- file anywhere within its scope.

    procedure Assert_Has_Read_Me_File (This_View : in Object_Info.Any.View);
    --
    -- Raises "Has_No_Read_Me_File" if the specified view has no Read_Me
    -- file in its Units directory.

    subtype Model is Object_Info.Object;

    procedure Assert_Model_Allowable (This_Model : in Model;
                                      This_Catalog : in Structure.Catalog);
    --
    -- Raises "Invalid_Model" if the specified model is not allowed in the
    -- specified catalog.

    Catalog_Mismatch : exception;
    Version_Mismatch : exception;
    No_Such_Catalog : exception;
    Not_A_Simple_World : exception;

    No_Such_Section : exception;
    Not_A_Directory : exception;

    No_Such_Item : exception;
    Not_Major_Class_World : exception;
    Not_A_Subsystem : exception;
    Has_No_Boilerplate_File : exception;
    Has_Wrong_Kind_Of_Boilerplate_File : exception;
    Has_No_Read_Me_File : exception;

    Invalid_Model : exception;

end Consistency;