DataMuseum.dk

top - metrics - download

    Length: 3724 (0xe8c)
    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

generic
    with procedure Put_Line (Line : String);
    with procedure Put (S : String);
package Unit_Test_Fragments is

    procedure New_Line;

    procedure Test_Package (Package_Name : String; Spec : Boolean);

    type End_Token_Kind is (A_Record, An_If, A_Loop, Plain);
    procedure End_Token (Kind : End_Token_Kind := Plain);

    procedure Open_And_Close (Spec : Boolean; Package_Name : String);

    procedure Test_Subprogram (Package_Name : String;
                               Subprogram : String;
                               Spec : Boolean;
                               Subunit : Boolean);

    procedure Call_Test_Subprogram (Package_Name : String; Name : String);

    procedure Call_Test_Open (Package_Name : String);

    procedure Call_Test_Close (Package_Name : String);

    procedure Main_Program (Package_Name : String);

    procedure Pragma_Main;
    procedure With_Clause (Unit : String);

    procedure Unbounded_Instantiation;

    procedure Images (Package_Name : String; Type_Name : String);

    procedure Begin_Token;

    procedure Declare_Token;

    procedure Parameter_Record_Header (Subprogram_Name : String);

    type Mode is (Input, Output, Expected);

    function Component_Name
                (Formal_Name : String; Mode_Kind : Mode; Type_Name : String)
                return String;

    procedure Component_Decl (Component_Name : String;
                              Type_Name : String;
                              Is_String : Boolean;
                              Init : String);

    procedure Yield_Procedure (Subprogram_Name : String);

    procedure Local_Output_Value (Component_Name : String;
                                  Type_Name : String;
                                  Is_String : Boolean);

    procedure Function_Return_Value (Is_String : Boolean; Name : String);

    procedure Local_Decls (Subprogram_Name : String);

    procedure Begin_Execution (Path : String);

    procedure Report_New_Line;

    procedure While_Terminate_Loop_Header;

    procedure Report_Capture_Output;

    procedure Yield_Call;

    procedure Report_Comments (Comment : String);

    procedure Equality_Renames (Package_Name : String; Type_Name : String);

    procedure Report_Value (Value_Name : String;
                            Subprogram_Name : String;
                            Component_Name : String;
                            Is_String : Boolean;
                            Is_Predefined : Boolean := False);

    procedure Function_Call (Package_Name : String;
                             Subprogram_Name : String;
                             Is_String : Boolean);

    procedure Procedure_Call (Package_Name : String; Subprogram_Name : String);

    procedure Actual_Parameter (Formal_Name : String;
                                Subprogram_Name : String;
                                Component_Name : String;
                                Is_String : Boolean;
                                Last : Boolean;
                                Is_Return_String : Boolean);

    procedure Terminate_Execution;

    procedure Exception_Handler;

    procedure Expression_Prompt;
    procedure If_Token;

    procedure True_Token;

    procedure Or_Token;

    procedure And_Token;

    procedure Then_Token;

    procedure Else_Token;

    procedure Report_Passed;

    procedure Report_Failed;

    procedure Function_Return_Compare (Is_String : Boolean);

    procedure Function_Expected_Value (Is_String : Boolean);

    procedure Function_Return_Value (Is_String : Boolean);

    procedure Comparison
                 (Value1 : String; Value2 : String; Is_String : Boolean);

    procedure Put_String (S : String);
end Unit_Test_Fragments;