DataMuseum.dk

top - metrics - download

    Length: 5192 (0x1448)
    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 String_Pkg;
use String_Pkg;    --| for String_Types

------------------------
package Type_Definitions is
    ------------------------

    --| Overview
    --| TypeDefs contains global type declarations used by all of the Ada
    --| Testing and Analysis Tools.  Its purpose is to provide consistency and
    --| uniformity of type declarations for objects common to all of the tools.

    --| N/A: Errors, Raises, Modifies, Requires

    --  Last Modified: 05/10/85 JEE Converted all records with string lengths
    --                              as discriminants to String_Type

    type Tool_Names is
       ( --| The names of the Testing and Analysis Tools
        Path_Tool,              --| Path Analyzer
        Autopath_Tool,          --| Automatic Path Analyzer
        Smart_Tool,             --| Self Metric Analysis and Reporting Tool
        Profile_Tool,           --| Performance Analyzer
        Debug_Tool           --| Symbolic Debugger
        );

    type Logfile_Keys is
       ( --| A unique key for each log file record type
         --| defines the format of each log file record
        Program, Tool, Test_Time, Test_Id,           --| Logfile configuration
        Compilation_Unit_Definition,                 --| Unit definitions
        Program_Unit_Definition,                     --| Unit definitions
        Unit_Start, Unit_Stop,                       --| Unit starts and stops
        Loop_Breakpoint, Other_Breakpoint,           --| All other breakpoints
        Autopath_Call,                               --| AutoPath procedure call
        Integer_Variable,                            --| Variable data types
        Long_Integer_Variable,                       --| Variable data types
        Float_Variable, Long_Float_Variable,
        Fixed_Point_Variable, String_Variable,
        Delay_Time,                                  --| For delays of program units
        Timing_Overhead                           --| For Unit_Start and Unit_Stop
        );

    subtype Filename is String_Type;   --| filenames are string_types

    subtype User_Input_String is String_Type;  --| for strings read from the kbd

    subtype Test_Identifier is String_Type;

    subtype Breakpoint_Types is Logfile_Keys
                                   range Loop_Breakpoint .. Other_Breakpoint;
    --| The type of each breakpoint is assigned by the source instrumenter


    --| Numeric Type Definitions

    subtype Program_Unit_Number_Range is Natural;
    --| The source instrumenter assigns a unique number to each
    --| program unit within a compilation unit.

    subtype Task_Type_Activation_Number_Range is Natural;
    --| Each activation of a task type is assigned a unique number.

    subtype Breakpoint_Number_Range is Natural;
    --| The source instrumenter assigns a unique number to each
    --| breakpoint in the compilation unit.

    subtype Count_Range is Natural;
    --| A count is a non-negative number in the range 0 .. MAX_INT;

    type Long_Count is
        record
            Overflow_Count : Count_Range;
            Current_Count : Count_Range;
        end record;
    --| A Long_Count record provides a "long integer" type of count
    --| consisting of the current count and a count of the number of
    --| times the current count has overflowed.


    --| Program Unit Type definitions

    type Program_Unit_Type is ( --| Ada program units can be
                               Procedure_Type,              --| procedures
                               Function_Type,               --| functions
                               Task_Type,                   --| tasks
                               Generic_Type,                --| generics
                               Package_Type              --| and packages
                               );

    subtype Ada_Name is String_Type;
    --| An Ada name is a string type of variable length

    subtype String_Variables is String_Type;
    --| String Variables are string types of variable length

    type Program_Unit_Name is
        record
            Unit_Identifier : Ada_Name;
            Unit_Type : Program_Unit_Type;
        end record;
    --| A table of the names and program unit types of all of the
    --| program units contained within a compilation unit.

    type Procedure_List is array (Positive range <>) of Program_Unit_Name;
    --| A table of the names and program unit types of all of the
    --| program units contained within a compilation unit.

    type Program_Unit_Unique_Identifier is
        record
            Enclosing_Unit_Identifier : Ada_Name;
            Program_Unit_Number : Program_Unit_Number_Range := 0;
            Unit_Type : Program_Unit_Type;
            Task_Type_Activation_Number :
               Task_Type_Activation_Number_Range := 1;
        end record;
    --| A Program_Unit_Unique_Identifier record consists of the identifier
    --| of the enclosing unit, a unique number for the current program unit,
    --| and for task types, a unique activation number.

    subtype Input_Parameter_List is String_Type;


    subtype Current_Unit_Name is String_Type;
    --| The name of the current unit

end Type_Definitions;