⟦db496e905⟧

E3 Source Code



--| @SUMMARY Provides utilities for analyzing branch points in an Ada program.
--| @INDICES (Ada_Analysis, Path_Analysis)
with Ada_Program;
package Branch_Utilities is

    type Branch_Kind is (If_Statement,  
                         Case_Statement,  
                         While_Loop,  
                         Non_Static_For_Loop,  -- loops with non-static range
                         Exit_When,  
                         Select_Statement,  
                         Return_Statement,  
                         Raise_Statement,  
                         Not_A_Branch);


    function Kind (The_Statement : Ada_Program.Statement) return Branch_Kind;

    --| @DESCRIPTION Determines if there are any branches in the closure
    --| of the statements in the iterator
    function No_Branches (In_Statement_List : Ada_Program.Element_Iterator)
                         return Boolean;

    --| @DESCRIPTION Computes the depth (nesting) of branching in a subprogram
    function Branching_Depth
                (For_Subprogram : Ada_Program.Declaration) return Natural;

    --| @DESCRIPTION Determines if the if statement has an else part or not
    function No_Else_Part (If_Statement : Ada_Program.Statement) return Boolean;

    --| @DESCRIPTION Determines how many branches are possible.  For case
    --| statements, it is the number of case alternatives.  For if statements
    --| it is the number of conditional arms.  For select statements it is
    --| the number of select alternatives.  For loops and exits the Width
    --| is always 2 (ie it executes or it does not).
    function Width (Of_Branch_Statement : Ada_Program.Statement)
                   return Positive;

end Branch_Utilities;
DataMuseum.dk

Rational R1000/400

⟦db496e905⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
