DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦eb0daad63⟧ TextFile

    Length: 9207 (0x23f7)
    Types: TextFile
    Names: »V«

Derivation

└─⟦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 numerous simple assertions.
--
with Subtypes;
use Subtypes;
package Assertions is

    procedure Assert_Object_Exists (This_Object : in Full_Name);
    --
    -- Raises "No_Such_Object" if the specified object does not exist.

    procedure Assert_Catalog_Exists (This_Catalog : in Full_Name);
    --
    -- Raises "No_Such_Catalog" if the specified catalog does not exist.

    procedure Assert_Version_Exists (This_Version : in Full_Name);
    --
    -- Raises "No_Such_Version" if the specified version does not exist.

    procedure Assert_Section_Exists (This_Section : in Full_Name);
    --
    -- Raises "No_Such_Section" if the specified section does not exist.

    procedure Assert_Item_Exists (This_Item : in Full_Name);
    --
    -- Raises "No_Such_Item" if the specified item does not exist.

    No_Such_Object : exception;
    No_Such_Catalog : exception;
    No_Such_Section : exception;
    No_Such_Item : exception;
    No_Such_Version : exception;

    -- *****

    procedure Assert_Has_Sections_Context (This_Catalog : in Full_Name);
    --
    -- Raises "Has_No_Sections_Context" if the specified catalog has
    -- no sections context.

    procedure Assert_Has_Versions_Context (This_Catalog : in Full_Name);
    --
    -- Raises "Has_No_Versions_Context" if the specified catalog has
    -- no versions context.

    procedure Assert_Has_Document_Setup_File (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Document_Setup_File" if the specified version has no
    -- document setup file.

    procedure Assert_Has_Printer_Options_File (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Printer_Options_File" if the specified version has no
    -- printer options file.

    procedure Assert_Has_Data_File (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Data_File" if the specified version has no data file.

    procedure Assert_Has_Browser_Data_File (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Browser_Data_File" if the specified version has no
    -- browser data file.

    procedure Assert_Has_Release_Notice (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Release_Notice" if the specified version has no
    -- release notice.

    procedure Assert_Has_Formatted_Release_Notice (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Formatted_Release_Notice" if the specified version
    -- has no formatted release notice.

    procedure Assert_Has_Booklet (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Booklet" if the specified version has no booklet.

    procedure Assert_Has_Formatted_Booklet (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Formatted_Booklet" if the specified version has no
    -- formatted booklet.

    procedure Assert_Has_Browser_View_Name_File (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Browser_View_Name_File" if the specified version has
    -- no browser view name file.

    procedure Assert_Has_Browser (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Browser" if the specified version has no loaded
    -- main browser procedure.

    procedure Assert_Has_Tape_Contents (This_Version : in Full_Name);
    --
    -- Raises "Has_No_Browser_Data_File" if the specified version has
    -- no browser data file.
    --
    -- Raises "Has_No_Browser" if the specified version has no loaded
    -- main browser procedure.
    --
    -- Raises "Has_No_Archive_Data" if the specified version has no
    -- archive data file.
    --
    -- Raises "Has_No_Archive_Index" if the specified version has no
    -- archive index file.

    Has_No_Sections_Context : exception;
    Has_No_Versions_Context : exception;
    Has_No_Document_Setup_File : exception;
    Has_No_Printer_Options_File : exception;
    Has_No_Data_File : exception;
    Has_No_Browser_Data_File : exception;
    Has_No_Release_Notice : exception;
    Has_No_Formatted_Release_Notice : exception;
    Has_No_Booklet : exception;  
    Has_No_Formatted_Booklet : exception;
    Has_No_Browser_View_Name_File : exception;
    Has_No_Browser : exception;

    -- *****

    procedure Assert_Has_Archive_Data (This_Library : in Full_Name);
    --
    -- Raises "Has_No_Archive_Data" if the specified library has no
    -- Data file for Archive commands.

    procedure Assert_Has_Archive_Index (This_Library : in Full_Name);
    --
    -- Raises "Has_No_Archive_Index" if the specified library has no
    -- Index file for Archive commands.

    Has_No_Archive_Data : exception;
    Has_No_Archive_Index : exception;

    -- *****

    procedure Assert_Object_Does_Not_Exist (This_Object : in Full_Name);
    --
    -- Raises "Object_Already_Exists" if the specified object already exists.

    procedure Assert_Catalog_Does_Not_Exist (This_Catalog : in Full_Name);
    --
    -- Raises "Catalog_Already_Exists" if the specified catalog already exists.

    procedure Assert_Version_Does_Not_Exist (This_Version : in Full_Name);
    --
    -- Raises "Version_Already_Exists" if the specified version already exists.

    procedure Assert_Section_Does_Not_Exist (This_Section : in Full_Name);
    --
    -- Raises "Section_Already_Exists" if the specified section already exists.

    procedure Assert_Item_Does_Not_Exist (This_Item : in Full_Name);
    --
    -- Raises "Item_Already_Exists" if the specified item already exists.

    Object_Already_Exists : exception;
    Catalog_Already_Exists : exception;
    Section_Already_Exists : exception;
    Item_Already_Exists : exception;
    Version_Already_Exists : exception;

    -- *****

    procedure Assert_Has_No_Sections_Context (This_Catalog : in Full_Name);
    --
    -- Raises "Has_Sections_Context" if the specified catalog has a
    -- sections context.

    procedure Assert_Has_No_Versions_Context (This_Catalog : in Full_Name);
    --
    -- Raises "Has_Versions_Context" if the specified catalog has
    -- a versions context.

    procedure Assert_Has_No_Document_Setup_File (This_Version : in Full_Name);
    --
    -- Raises "Has_Document_Setup_File" if the specified version has a
    -- document setup file.

    procedure Assert_Has_No_Printer_Options_File (This_Version : in Full_Name);
    --
    -- Raises "Has_Printer_Options_File" if the specified version has a
    -- printer options file.
    procedure Assert_Has_No_Data_File (This_Version : in Full_Name);
    --
    -- Raises "Has_Data_File" if the specified version has a data file.

    procedure Assert_Has_No_Browser_Data_File (This_Version : in Full_Name);
    --
    -- Raises "Has_Browser_Data_File" if the specified version has a
    -- browser data file.

    procedure Assert_Has_No_Release_Notice (This_Version : in Full_Name);
    --
    -- Raises "Has_Release_Notice" if the specified version has a
    -- release notice.

    procedure Assert_Has_No_Formatted_Release_Notice
                 (This_Version : in Full_Name);
    --
    -- Raises "Has_Formatted_Release_Notice" if the specified version
    -- has a formatted release notice.

    procedure Assert_Has_No_Booklet (This_Version : in Full_Name);
    --
    -- Raises "Has_Booklet" if the specified version has a booklet.

    procedure Assert_Has_No_Formatted_Booklet (This_Version : in Full_Name);
    --
    -- Raises "Has_Formatted_Booklet" if the specified version has a
    -- formatted booklet.

    procedure Assert_Has_No_Browser_View_Name_File
                 (This_Version : in Full_Name);
    --
    -- Raises "Has_Browser_View_Name_File" if the specified version has
    -- a browser view name file.

    procedure Assert_Has_No_Browser (This_Version : in Full_Name);
    --
    -- Raises "Has_Browser" if the specified version has a loaded main
    -- browser procedure.

    procedure Assert_Has_No_Tape_Contents (This_Version : in Full_Name);
    --
    -- Raises "Has_Browser_Data_File" if the specified version has
    -- a browser data file.
    --
    -- Raises "Has_Browser" if the specified version has a loaded
    -- main browser procedure.
    --
    -- Raises "Has_Archive_Data" if the specified version has an
    -- archive data file.
    --
    -- Raises "Has_Archive_Index" if the specified version has an
    -- archive index file.

    Has_Sections_Context : exception;
    Has_Versions_Context : exception;
    Has_Document_Setup_File : exception;
    Has_Printer_Options_File : exception;
    Has_Data_File : exception;
    Has_Browser_Data_File : exception;
    Has_Release_Notice : exception;
    Has_Formatted_Release_Notice : exception;
    Has_Booklet : exception;  
    Has_Formatted_Booklet : exception;
    Has_Browser_View_Name_File : exception;
    Has_Browser : exception;

    -- *****

    procedure Assert_Has_No_Archive_Data (This_Library : in Full_Name);
    --
    -- Raises "Has_Archive_Data" if the specified library has a
    -- Data file for Archive commands.

    procedure Assert_Has_No_Archive_Index (This_Library : in Full_Name);
    --
    -- Raises "Has_Archive_Index" if the specified library has an
    -- Index file for Archive commands.

    Has_Archive_Data : exception;
    Has_Archive_Index : exception;

    -- *****

    Ambiguous_Name : exception;

end Assertions;