DataMuseum.dk

top - metrics - download

    Length: 1707 (0x6ab)
    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

with Schema;
use Schema;
package Attribute_Options is

    --  LIST_BY_NAME means that attributes will be listed for a
    --            single instance of a test file name
    --  LIST_BY_CATEGORY means that attributes will be listed for
    --            all test files included in the specified attribute

    type Listing_Type is (List_By_Name, List_By_Category);
    type Attribute_Type is (Short, Test_Name, Description, Architecture,
                            E_And_V, Language_Feature, Version, Statistics);
    subtype Category_Type is Attribute_Type range Architecture .. Statistics;

    -- These subprograms set and observe the internal state maintained by
    --   the package body

    procedure Set_List (Switch : in Listing_Type := List_By_Name);
    function Listing return Listing_Type;

    procedure Set (Option : in Attribute_Type);
    procedure Reset (Option : in Attribute_Type);
    function Is_Set (Option : in Attribute_Type) return Boolean;

    procedure Set_Query (Value : in Architecture_Category_Type);
    procedure Set_Query (Value : in E_And_V_Criterion_Abbreviation_Type);
    procedure Set_Query (Value : in Language_Feature_Abbreviation_Type);
    procedure Set_Query (Value : in Statistics_Type);
    procedure Set_Query (Value : in Version_Type);
    --
    function Category return Category_Type;
    --
    function Value return Architecture_Category_Type;
    function Value return E_And_V_Criterion_Abbreviation_Type;
    function Value return Language_Feature_Abbreviation_Type;
    function Value return Statistics_Type;
    function Value return Version_Type;

end Attribute_Options;
--************************************************************************