CHAPTER 5:

Command Cross-Reference

Three command cross-references are currently available:

A list of Ada constructs and contexts and the Ada Analyzer commands that locate these constructs
A list of all quality-improvement objectives and the commands that generate information relevant to those objectives
A summary of the command-line syntax for all Ada Analyzer commands

A fourth section contains a list and full description of all standards-conformance checks supported by the Ada Analyzer.

Construct or Context	Command
Abort_Statements	Locate_Statements Locate_Coding_Violations
Absolute_Value_Operators	Locate_Operators
Abstract_Types	Locate_Class_Hierarchies
Accept_Statements	Locate_Statements Locate_Tasking
Access_Type_Declarations	Locate_Type_Declarations
Address_Attributes	Locate_System_Address_Usage
Address_Clauses	Locate_Rep_Spec_Inconsistencies Locate_Rep_Specs
Aggregates	Locate_Others_Clauses Locate_Expressions
Aliased Variables	Locate_Aliasing
Allocators	Locate_Expressions
And_Operators	Locate_Short_Circuit_Opportunities
And_Then_Operators	Locate_Short_Circuit_Opportunities
Anonymous_Type_Declarations	Locate_Coding_Violations
Array_Type_Declarations	Locate_Type_Declarations Display_Expanded_Type_Structure
Assignment	Display_Set_Twice_Before_Use Locate_Static_Constraint_Violations
Assignment_Statements	Locate_Statements
Asynchronous_Select_Statements	Locate_Statements
Attributes	Locate_System_Address_Usage Locate_Attributes
Attribute_Clauses	Locate_Rep_Specs
Block_Statements	Locate_Statements
Case_Statements	Display_Subprogram_Branch_Points Locate_Others_Clauses Locate_Statements
Character_Literals	Locate_Expressions
Character_Type_Declarations	Locate_Type_Declarations
Code_Statements	Locate_Statements
Coding_Standard_Violations	Locate_Coding_Violations
Collection_Storage_Size_Clauses	Locate_Rep_Specs
Comments	Locate_Annotations Locate_Misspellings Locate_Elements_Containing_Text
Complex_Expressions	Locate_Expressions
Concatenate_Operators	Locate_Operators
Condition_Entry_Call_Statements	Locate_Statements
Constant_Declarations	Locate_Static_Constraint_Violations Locate_Constants Locate_Objects_By_Size
Constant_References	Locate_Subprogram_References
Constraint_Violations	Locate_Static_Constraint_Violations
Decimal_Fixed_Type_Declarations	Locate_Type_Declarations
Declarations	Display_Unit_Declarations Locate_Elements_Containing_Text Locate_Misspellings Locate_Name_Anomalies Locate_Named_Declarations Locate_Unused_Declarations
Delay_Statements	Locate_Statements
Derived_Type_Declarations	Locate_Type_Declarations Locate_Class_Hierarchies
Derived_With_Private_Declarations	Locate_Type_Declarations Locate_Class_Hierarchies
Derived_With_Record_Declarations	Locate_Type_Declarations Locate_Class_Hierarchies
Divide_Operators	Locate_Potential_Programming_Errors Locate_Operators
Duplicate_Unit_Names	Locate_Compatibility_Problems
Entry_Call_Statements	Locate_Statements Locate_Tasking
Entry_Declarations	Locate_Tasking
Enumeration_Literals	Locate_Expressions
Enumeration_Representation_Clauses	Locate_Rep_Spec_Inconsistencies Locate_Rep_Specs
Enumeration_Type_Declarations	Locate_Type_Declarations
Exception_Declarations	Locate_Exceptions
Exception_Handlers	Locate_Others_Clauses Locate_Exceptions Locate_Potential_Programming_Errors
Exception_Raises	Locate_Exceptions Locate_Subprograms_Propagating_Exceptions
Exit_Statements	Display_Subprogram_Branch_Points Locate_Statements
Expressions	Locate_Complex_Expressions Locate_Elements_Containing_Text Locate_Expressions
Extension_Type_Declarations	Locate_Type_Declarations Locate_Class_Hierarchies
External_Interface_References	Locate_Compatibility_Problems
Fixed_Type_Declarations	Locate_Type_Declarations
Float_Type_Declarations	Locate_Type_Declarations
Function_Body_Declaration	Locate_Subprogram_Complexities
Function_Body_Declarations	Locate_Subunit_Candidates Locate_Inline_Candidates
Function_Calls	Display_Call_Tree Locate_Potential_Programming_Errors Locate_Calling_Relationships Locate_Complex_Expressions Locate_Expressions Locate_Inline_Candidates
Function_Declarations	Locate_Recursive_Subprograms
Function_Renames	Locate_Renames
Generic_Declarations	Locate_Generic_Complexities Locate_Generic_Formal_Dependencies Locate_Generics
Generic_Instantiations	Locate_Generic_Complexities Locate_Generics
Goto_Statements	Locate_Statements Locate_Coding_Violations
Identi\xde er_De\xde nitions	Locate_Name_Anomalies Locate_Named_Declarations
Identi\xde er_References	Locate_Elements_Containing_Text
If_Statements	Display_Subprogram_Branch_Points Locate_Statements
Imports	Display_Subsystem_Import_Closure
Indexed_Components	Locate_Expressions
Initialization	Display_Set_Twice_Before_Use Locate_Elaboration_Impacts
Integer_Literals	Locate_Expressions
Integer_Type_Declarations	Locate_Type_Declarations
Length_Clauses	Locate_Rep_Spec_Inconsistencies
Library_Units	Display_Inter_Subsystem_References
Limited_Private_Type_Declarations	Locate_Type_Declarations
Loop_Ranges	Locate_Potential_Programming_Errors
Loop_Statements	Display_Subprogram_Branch_Points Locate_Statements Locate_Loop_Nesting
Minus_Operators	Locate_Operators
Modular_Type_Declarations	Locate_Type_Declarations
Modulo_Operators	Locate_Operators Locate_Potential_Programming_Errors
Null_Literals	Locate_Expressions
Null_Statements	Locate_Statements
Object_Declarations	Locate_Default_Initialization Locate_Objects_By_Size
Object_Renames	Locate_Renames
Operator_Renames	Locate_Potential_Programming_Errors
Operators	Locate_Complex_Expressions Locate_Operators
Or_Else_Operators	Locate_Short_Circuit_Opportunities
Or_Operators	Locate_Short_Circuit_Opportunities
Others_Clauses	Locate_Others_Clauses
Package_Begin_Blocks	Locate_Elaboration_Impacts
Package_Body_Declarations	Locate_Subunit_Candidates
Package_Declarations	Display_Unit_Relationships Display_With_Closure Locate_Packages_With_State
Package_Renames	Locate_Renames
Parameter_Declarations	Locate_Objects_Set_And_Used
Parameter_References	Display_Set_Use_Problems Locate_Subprogram_References
Plus_Operators	Locate_Operators
Power_Operators	Locate_Operators
Pragma_Elaborate	Locate_Elaboration_Impacts
Pragma_Pack	Locate_Expensive_Types
Pragmas	Locate_Pragmas
Prede\xde ned_Type_References	Locate_Compatibility_Problems
Private_Type_Declarations	Locate_Type_Declarations
Procedure_Body_Declarations	Locate_Subunit_Candidates Locate_Subprogram_Complexities Locate_Inline_Candidates
Procedure_Call_Statements	Display_Call_Tree Locate_Calling_Relationships Locate_Potential_Programming_Errors Locate_Statements Locate_Inline_Candidates
Procedure_Declarations	Locate_Recursive_Subprograms
Procedure_Renames	Locate_Renames
Prompts	Locate_Compatibility_Problems
Protected_Declarations	Locate_Named_Declarations Locate_Tasking
Protected_Type_Declarations	Locate_Type_Declarations
Quali\xde ed_Expressions	Locate_Expressions
Raise_Statements	Display_Subprogram_Execution_Problems Locate_Statements
Real_Literals	Locate_Expressions
Record_Representation_Clauses	Locate_Rep_Spec_Inconsistencies Locate_Rep_Specs
Record_Type_Declarations	Display_Expanded_Type_Structure Locate_Similar_Record_Structures Locate_Type_Declarations Locate_Default_Initialization
Relational_Operators	Locate_Potential_Programming_Errors
Remainder_Operators	Locate_Operators
Renames	Locate_Renames
Representation_Clauses	Locate_Rep_Spec_Inconsistencies Locate_Rep_Specs Locate_Expensive_Types
Requeue_Statements	Locate_Statements
Reserved_Name_Usage	Locate_Compatibility_Problems
Return_Statements	Locate_Statements Locate_Subprogram_Complexities
Return_Statements (missing)	Display_Subprogram_Execution_Problems
Select_Statements	Locate_Statements
Selected_Components	Locate_Expressions
Size_Clauses	Locate_Rep_Specs
Slice_Ranges	Locate_Potential_Programming_Errors
Slices	Locate_Expressions
Small_Attribute_Clauses	Locate_Rep_Specs
Statements	Locate_Statements
Static_Values	Locate_Constants
String_Literals	Locate_Misspellings Locate_Elements_Containing_Text Locate_Expressions
String_Type_Declarations	Locate_Type_Declarations
Subtype_Declarations	Locate_Type_Declarations
Subunits	Locate_Subunit_Candidates
Subsystems	Display_Inter_Subsystem_References Display_Subsystem_Import_Closure
System.Address	Locate_System_Address_Usage
Tagged_Types	Locate_Class_Hierarchies
Target_Incompatibilities	Locate_Compatibility_Problems
Task_Body_Declarations	Locate_Subunit_Candidates Locate_Subprogram_Complexities
Task_Declarations	Locate_Named_Declarations Locate_Tasking
Task_Storage_Size_Clauses	Locate_Rep_Specs
Task_Type_Declarations	Locate_Type_Declarations
Text_Io_References	Locate_Compatibility_Problems
Timed_Entry_Call_Statements	Locate_Statements
Times_Operators	Locate_Operators
Type_Conversions	Locate_Expressions
Type_Declarations	Locate_Type_Declarations Locate_Expensive_Types
Type_Definitions	Locate_Type_Declarations Locate_Elements_Containing_Text
Unary_Minus_Operators	Locate_Operators
Unary_Plus_Operators	Locate_Operators
Unchecked_Conversion_Usage	Locate_Compatibility_Problems
Unconstrained_Types	Locate_Expensive_Types
Unknown_Pragmas	Locate_Compatibility_Problems
Use_Clauses	Locate_Use_Clauses
Use_Type_Clauses	Locate_Use_Clauses
Variable_Declarations	Locate_Objects_Set_And_Used
Variable_Reference	Display_Set_Use_Problems
Variable_References	Display_Set_Twice_Before_Use Locate_Calling_Thread_Sets_And_Uses Locate_Subprogram_References Locate_Complex_Expressions
With_Clauses	Display_Inter_Subsystem_References Display_Unit_Relationships Display_With_Closure Locate_Unused_With_Clauses

Quality-Improvement Objectives
and Command to Use

Analyzing Program Structure and Content

Locating Key Constructs
Display_Expanded_Type_Structure
Display_Unit_Declarations
Display_With_Closure
Locate_Exceptions
Locate_Generics
Locate_Named_Declarations
Locate_Similar_Record_Structures
Locate_Tasking
Locate_Type_Declarations

Unit Partitioning and Dependencies
Display_Unit_Relationships
Display_With_Closure
Locate_External_Dependencies
Locate_Subunit_Candidates

Subsystem Partitioning and Dependencies
Display_Inter_Subsystem_References
Display_Subsystem_Import_Closure

Dynamic Analysis
Display_Call_Tree
Display_Subprogram_Branch_Points
Locate_Calling_Relationships
Locate_Calling_Thread_Sets_And_Uses
Locate_Elaboration_Impacts
Locate_Objects_Set_And_Used
Locate_Subprograms_Propagating_Exceptions
Locate_Recursive_Subprograms
Locate_Rep_Specs
Locate_Tasking

Counting
Display_Unit_Construct_Counts
Count_Lines_Of_Code

Construct Location
Display_Unit_Declarations
Locate_Annotations
Locate_Attributes
Locate_Constants
Locate_Elements_Containing_Text
Locate_Expressions
Locate_Named_Declarations
Locate_Operators
Locate_Pragmas
Locate_Rep_Specs
Locate_Statements
Locate_Type_Declarations

Metrics Collection
Collect_Metrics
Compare_Metrics

Analyzing Readability

Name Selection
Locate_Name_Anomalies
Locate_Named_Declarations
Locate_Renames

Use of Use Clauses
Locate_Use_Clauses

Comment Correctness
Locate_Annotations
Locate_Elements_Containing_Text
Locate_Misspellings

Program Complexity
Collect_Metrics
Locate_Complex_Expressions
Locate_Generic_Complexities
Locate_Subprogram_Complexities
Locate_Type_Declarations
Locate_Unused_Declarations
Locate_Unused_With_Clauses

Unit/Subprogram Partitioning
Locate_Subprogram_References
Locate_Subunit_Candidates

Analyzing Portability and Reusability

Target-Dependent Constructs (Compiler Compatibility)
Locate_Attributes
Locate_Compatibility_Problems
Locate_Pragmas
Locate_Rep_Specs
Locate_System_Address_Usage

Host-Development Dependencies
Locate_Compatibility_Problems
Display_Inter_Subsystem_References

Reusable Units
Display_With_Closure
Locate_Expressions
Locate_Generic_Formal_Dependencies
Locate_Generics
Locate_Packages_With_State
Locate_Subprogram_References
Locate_Type_Declarations

Checking for Programming Errors

Object Sets and Uses
Display_Set_Use_Problems
Locate_Data_Synchronization_Points
Locate_Objects_Set_And_Used

Subprogram Execution Problems
Display_Subprogram_Execution_Problems
Locate_Potential_Programming_Errors
Locate_Recursive_Subprograms

Misspellings
Locate_Misspellings

Use of Error-Prone Constructs
Locate_Complex_Expressions
Locate_Others_Clauses
Locate_Potential_Programming_Errors
Locate_Subprogram_Complexities

Representation Specifications
Locate_Rep_Spec_Inconsistencies

Static Constraint Violations
Locate_Static_Constraint_Violations

Use of System.Address
Locate_System_Address_Usage

Inconsistencies
Locate_Exceptions
Locate_Tasking

Checking Standards Conformance

Formal Coding Standards
Locate_Coding_Violations
Locate_Coding_Violations_Interactively
Locate_Specific_Coding_Violations
Locate_Ada95_Coding_Violations

Naming Standards
Locate_Name_Anomalies
Locate_Named_Declarations

Reducing Compilation Time

Unused Constructs
Locate_Unused_Declarations

Dependency Reduction
Locate_Unused_With_Clauses

Redundancy
Locate_Constants
Locate_Operators
Locate_Similar_Record_Structures
Locate_Type_Declarations

Use of Use Clauses
Locate_Use_Clauses

Optimizing Software

Inlining
Display_Call_Tree
Locate_Inline_Candidates

Object References
Locate_Subprogram_References
Locate_Renames

Object Size
Locate_Objects_By_Size

Generics
Locate_Generic_Complexities
Locate_Generic_Formal_Dependencies

Redundancy
Locate_Constants
Locate_Operators
Locate_Similar_Record_Structures

Expensive Constructs
Display_Expanded_Type_Structure
Locate_Default_Initialization
Locate_Expensive_Types
Locate_Expressions
Locate_Others_Clauses

Operator Selection
Locate_Operators
Locate_Short_Circuit_Opportunities

Loop Nesting
Locate_Loop_Nesting

Object Initialization
Display_Set_Twice_Before_Use

Use of Text_Io
Locate_Compatibility_Problems

Compiler Dependencies
(see Construct Location on page 278)

Miscellaneous Objectives

Unit-Testing Support
Display_Subprogram_Branch_Points
Locate_Subprogram_References

Documentation Support
Display_Unit_Declarations
Locate_Annotations
Locate_Objects_Set_And_Used
Locate_Subprograms_Propagating_Exceptions

Elaboration Problems
Locate_Elaboration_Impacts

Null Statements
Locate_Statements

Hard-Copy Listings
Generate_Listing

Command-Line Summary

This section provides a command-line summary for all Ada Analyzer commands. See the section titled "Command Execution" on page 2 for a description of parameter options and command invocation.

Check_Consistency

  -Create_Missing_Items

  <list of configuration policy directories>

Check_Reports_Up_To_Date

  <list of reports>

Collect_Metrics

  -Attempt_Collection_In_Uninstalled_Units

  -Compute_Weighted_Average

  -Compute_Horizontal_Totals

  -Compute_Vertical_Totals

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/collected_metrics]

  <list of units>

Collect_Statistics

  -Collect_By_Unit

  -Collect_By_Subsystem

  -Collect_By_Column

  -Column_Name

  -Report_By_Table

  -Table_Number

  -Sort_By_Subsystem

  -Use_Configuration = [string-expression, default = ""]

  -To_Report_Named = [string-expression, default =

      <default_output_directory>/statistics_report]

  <list of reports>

Compare_Metrics

  -Compute_Average

  -Compute_Vertical_Totals

  -Sort_By_Subsystem

  -In_Reports [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/metrics_comparison]

Compare_Reports

  -Compute_Average

  -Compute_Vertical_Totals

  -Ignore_Line_Numbers

  -Sort_By_Subsystem

  -To_Report_Named [string-expression, default =

      <default_output_directory>/comparison_report]

  <list of reports>

Compare_Unit_Construct_Counts

  -Include_Unit_Totals

  -Display_Totals_Only

  -Include_Major_Element_Counts

  -Include_Comp_Unit_Kind_Counts

  -Include_Declaration_Kind_Counts

  -Include_Statement_Kind_Counts

  -Include_Pragma_Kind_Counts

  -Include_Context_Clause_Kind_Counts

  -Include_Rep_Clause_Kind_Counts

  -Include_Length_Clause_Kind_Counts

  -Include_Parameter_Mode_Counts

  -Include_Generic_Parameter_Mode_Counts

  -Include_Loop_Kind_Counts

  -Include_Select_Alternative_Kind_Counts

  -Include_Expression_Kind_Counts

  -Include_Type_Definition_Kind_Counts

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/comparison_construct_counts]

  <list of units>

Count_Lines_Of_Code

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/line_counts]

  <list of units>

Create_New_Configuration_Policy

  -Configuration_Policy [string-expression, default = ""]

  -New_Policy [string-expression, default = "Default_Configuration"]

Display_Call_Tree

  -To_Depth [positive-expression, default = 999]

  -Display_Flat

  -Full_Expansion

  -Collapse_Multiple_Calls_To_Same_Subprogram

  -Walk_Into_Entry_Accept

  -Units_Or_Decls_Halting_Recursion [string-expression, default = ""]

  -Sort_By_Dependency_Order

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/call_tree]

  -Of_Subprogram_Or_Task [string-expression, default = ""]

Display_Expanded_Type_Structure

  -To_Depth [positive-expression, default = 999]

  -Expand_Access_Types

  -Full_Expansion

  -Display_In_Bytes

  -Display_In_Words

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/type_hierarchy]

  -Of_Type [string-expression, default = ""]

Display_Inter_Subsystem_References

  -In_Configuration [string-expression, default = ""]

  -Sort_Subsystems_In_Dependency_Order

  -To_Report_Named [string-expression, default =

      <default_output_directory>/inter_subsystem_references]

Display_Set_Twice_Before_Use

  -Track_All_Record_Components

  -Include_All_Path_Violations

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/set_twice_before_use_analysis]

  <list of units>

Display_Set_Use_Problems

  -Include_In_Out_Parameters

  -Track_All_Record_Components

  -Include_All_Path_Violations

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/set_use_problem_analysis]

  <list of units>

Display_Subprogram_Branch_Points

  -Expanded_Output

  -Include_Value_Ranges

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/branching_analysis]

  -In_Unit_Or_Subprogram [string-expression, default = ""]

Display_Subprogram_Execution_Problems

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/subprogram_execution_problem_analysis]

  <list of units>

Display_Subsystem_Import_Closure
  -In_Configuration [string-expression, default = ""]

  -Full_Expansion

  -To_Report_Named [string-expression, default =

      <default_output_directory>/subsystem_import_expansion]

Display_Unit_Construct_Counts

  -Include_Unit_Totals

  -Display_Totals_Only

  -Include_Major_Element_Counts

  -Include_Comp_Unit_Kind_Counts

  -Include_Declaration_Kind_Counts

  -Include_Statement_Kind_Counts

  -Include_Pragma_Kind_Counts

  -Include_Context_Clause_Kind_Counts

  -Include_Rep_Clause_Kind_Counts

  -Include_Length_Clause_Kind_Counts

  -Include_Parameter_Mode_Counts

  -Include_Generic_Parameter_Mode_Counts

  -Include_Loop_Kind_Counts

  -Include_Select_Alternative_Kind_Counts

  -Include_Expression_Kind_Counts

  -Include_Type_Definition_Kind_Counts

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/unit_construct_counts]

  <list of units>

Display_Unit_Declarations

  -To_Depth [positive-expression, default = 999]

  -Include_Pragmas

  -Include_Rep_Specs

  -Include_Use_Clauses

  -Expand_Bodies

  -Verbose

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/unit_declarations]

  <list of units>

Display_Unit_Relationships

  -Sort_By_Dependency_Order

  -Compute_Reverse_Relationship

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/unit_relationships]

  <list of units>

Display_With_Closure

  -Of_Ada_Unit [string-expression, default = ""]

  -To_Depth [positive-expression, default = 999]

  -List_Closure_To_Ascii_File

  -Display_Flat

  -Full_Expansion

  -Exclude_Units_Halting_Recursion

  -Units_Halting_Recursion [string-expression, default = ""]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/with_expansion]

Generate_Listing

  -Title [string-expression, default = ""]

  -Interleaf_Format

  -Rtf_Format

  -Html_Format

  -Generate_Separate_Files

  -Fancy_Ada

  -Add_Line_Numbers

  -Sort_By_Unit_Name

  -To_Report_Named [string-expression, default =

      <default_output_directory>/listing.mif]

  <list of units>

Locate_Aliasing

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/aliasing_analysis]

  <list of units>

Locate_Annotations

  -Include_Annotation_Text

  -Include_Unspecified_Annotations

  -Include_Optional_Annotations

  -Collect_Unit_Body_Annotations

  -Collect_Statement_Annotations

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/annotation_analysis]

  <list of units>

Locate_Attributes

  -Include_First_Attributes

  -Include_Last_Attributes

  -Include_Range_Attributes

  -Include_Length_Attributes

  -Include_Image_Attributes

  -Include_Value_Attributes

  -Include_Val_Attributes

  -Include_Pos_Attributes

  -Include_Succ_Attributes

  -Include_Pred_Attributes

  -Include_Other_Attributes

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/attribute_analysis]

  <list of units>

Locate_Calling_Relationships

  -Include_Cross_Reference

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/calling_relationships]

  <list of units>

Locate_Calling_Thread_Sets_And_Uses

  -Separate_Record_Component_References

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/calling_thread_set_use_analysis]

  -Of_Subprogram_Or_Task [string-expression, default = ""]

Locate_Class_Hierarchies

  -Display_Flat

  -Full_Expansion

  -Include_Methods

  -Show_Inherited_Methods

  -Show_Component_Classes

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/class_hierarchy_analysis]

  <list of units>

Locate_Coding_Violations

  -Include_Warnings

  -Include_Allowed_Violations

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/coding_violations_analysis]

  <list of units>

Locate_Compatibility_Problems

  -Include_Warnings

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/compatibility_analysis]

  <list of units>

Locate_Complex_Expressions

  -And_Threshold_Values

  -Sort_By_Subsystem

  -Minimum_Nesting_Depth [integer-expression, default = 3]

  -Minimum_Number_Of_Operators [integer-expression, default = 2]

  -Minimum_Number_Of_Variable_Refs [integer-expression, default = 2]

  -Minimum_Number_Of_Function_Calls [integer-expression, default = 0]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/expression_complexity_analysis]

  <list of units>

Locate_Constants

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/constant_analysis]

  <list of units>

Locate_Data_Synchronization_Points

  -To_Report_Named [string-expression, default =

      <default_output_directory>/data_synchronization_analysis]

  <list of reports>

Locate_Default_Initialization

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/default_initialization_analysis]

  <list of units>

Locate_Elaboration_Impacts

  -Include_Task_Creations

  -Include_Static_Inits

  -Include_Package_Blocks

  -Include_Pragma_Elaborates

  -Include_Preelaboration_Analysis

  -Include_Pure_Analysis

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/elaboration_impact_analysis]

  <list of units>

Locate_Elements_Containing_Text

  -Consider_Case

  -Search_Name_Declarations

  -Search_Name_References

  -Search_All_Expressions

  -Search_String_Literals

  -Search_Type_And_Subtype_Definitions

  -Search_Comments_Preceding_Elements

  -Sort_By_Subsystem

  -Text_To_Locate [string-expression, default = ""]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/elements_containing_text_analysis]

  <list of units>

Locate_Exceptions

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/exception_analysis]

  <list of units>

Locate_Expensive_Types

  -Include_Unconstrained_Arrays

  -Include_Discriminant_Records

  -Include_Types_With_Rep_Specs

  -Include_Packed_Types

  -Include_Nested_Types

  -Sort_By_Subsystem

  -Minimum_Nesting_Level [integer-expression, default = 3]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/expensive_type_analysis]

  <list of units>

Locate_External_Dependencies

  -To_Declarations_In_Units [string-expression pathname of referenced units]

  -Remove_Duplicates

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/external_dependencies_analysis]

  <list of units>

Locate_Expressions

  -Include_Indexed_Components

  -Include_Slices

  -Include_Selected_Components

  -Include_Character_Literals

  -Include_Integer_Literals

  -Include_Real_Literals

  -Include_Enumeration_Literals

  -Include_Null_Literals

  -Include_String_Literals

  -Include_Aggregates

  -Include_Type_Conversions

  -Include_Qualified_Expressions

  -Include_Allocators

  -Include_Complex_Expressions

  -Include_Function_Calls

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/expression_analysis]

  <list of units>

Locate_Generic_Complexities

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/generic_complexity_analysis]

  <list of units>

Locate_Generic_Formal_Dependencies

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/generic_formal_dependency_analysis]

  <list of units>

Locate_Generics

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/generic_analysis]

  <list of units>

Locate_Inline_Candidates

  -Include_Subprograms_With_Exception_Handlers

  -Include_Conforming_Subprograms_With_Inline

  -Include_Non_Conforming_Subprograms_With_Inline

  -Sort_By_Subsystem

  -Maximum_Statements [positive-expression, default = 5]

  -Maximum_Local_Variables [integer-expression, default = 10]

  -Maximum_Calls [integer-expression, default = 50]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/inline_candidate_analysis]

  <list of units>

Locate_Loop_Nesting

  -Sort_By_Subsystem

  -Minimum_Nesting_Level [integer-expression, default = 3]

  -Repetition_Threshold [integer-expression, default = 1000]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/loop_nesting_analysis]

  <list of units>

Locate_Misspellings

  -Include_Comment_Checking

  -Include_Declaration_Checking

  -Include_String_Literal_Checking

  -Check_Words_Containing_Numbers

  -Include_Prohibited_Words

  -Sort_By_Subsystem

  -Check_Words_Over_N_Characters [integer-expression, default = 1]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/misspelling_analysis]

  <list of units>

Locate_Name_Anomalies

  -Check_Spelling

  -Check_Prohibited_Words

  -Check_Words_Containing_Numbers

  -Sort_By_Subsystem

  -Minimum_Length [integer-expression, default = 3]

  -Maximum_Length [integer-expression, default = 50]

  -Maximum_Segment_Count [integer-expression, default = 4]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/naming_anomaly_analysis]

  <list of units>

Locate_Named_Declarations

  -Include_Constants

  -Include_Variables

  -Include_Types

  -Include_Packages

  -Include_Procedures

  -Include_Functions

  -Include_Renames

  -Include_Generics

  -Include_Instantiations

  -Include_Tasks

  -Include_Entries

  -Include_Exceptions

  -Include_Parameters

  -Include_Generic_Parameters

  -Include_Record_Components

  -Include_Discriminants

  -Include_Enumeration_Literals

  -Include_Loop_Identifiers

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/naming_analysis]

  <list of units>

Locate_Objects_By_Size

  -Include_Constants

  -Include_Non_Statically_Sized_Objects

  -Sort_By_Subsystem

  -Display_In_Bytes

  -Display_In_Words

  -Size_Minimum [integer-expression, default = 0]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/object_size_analysis]

  <list of units>

Locate_Objects_Set_And_Used

  -Expand

  -From_References

  -Separate_Record_Component_References

  -Include_Initialization

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/object_set_used_analysis]

  <list of units>

Locate_Obsolescent_Ada83_Features

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/calling_relationships]

  <list of units>

Locate_Operators

  -Include_Concatenate_Operators

  -Include_Plus_Operators

  -Include_Minus_Operators

  -Include_Times_Operators

  -Include_Divide_Operators

  -Include_Unary_Minus_Operators

  -Include_Unary_Plus_Operators

  -Include_Modulo_Operators

  -Include_Remainder_Operators

  -Include_Power_Operators

  -Include_Absolute_Value_Operators

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/operator_selection_analysis]

  <list of units>

Locate_Others_Clauses

  -Include_Case_When_Others

  -Include_Handler_When_Others

  -Include_Aggregate_Others

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/others_clause_analysis]

  <list of units>

Locate_Packages_With_State

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/packages_with_state_analysis]

  <list of units>

Locate_Potential_Programming_Errors

  -Include_Calls_With_Defaults

  -Include_Divide_By_Zero_Potential

  -Include_Real_Relational_Operators

  -Include_Static_Loop_Ranges

  -Include_Static_Slice_Ranges

  -Include_Operator_Renames

  -Include_Handlers_Of_Numeric_Error

  -Include_Function_Exception_Handlers

  -Include_Blocking_Protected_Operations

  -Include_Infinite_Recursion

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/misc_programming_error_analysis]

  <list of units>

Locate_Pragmas

  -Include_Controlled_Pragmas

  -Include_Elaborate_Pragmas

  -Include_Inline_Pragmas

  -Include_Interface_Pragmas

  -Include_List_Pragmas

  -Include_Memory_Size_Pragmas

  -Include_Optimize_Pragmas

  -Include_Pack_Pragmas

  -Include_Page_Pragmas

  -Include_Priority_Pragmas

  -Include_Shared_Pragmas

  -Include_Storage_Unit_Pragmas

  -Include_Suppress_Pragmas

  -Include_System_Name_Pragmas

  -Include_Other_Pragmas

  -Pragma_Name [string-expression, default = ""]

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/pragma_analysis]

  <list of units>

Locate_Recursive_Subprograms

  -Sort_By_Subsystem

  -Check_To_Depth [positive-expression, default = 5]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/recursive_analysis]

  <list of units>

Locate_Renames

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/rename_analysis]

  <list of units>

Locate_Rep_Spec_Inconsistencies

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/rep_spec_consistency_analysis]

  <list of units>

Locate_Rep_Specs

  -Include_Enumeration_Representation_Clauses

  -Include_Record_Representation_Clauses

  -Include_Address_Attribute_Clauses

  -Include_Alignment_Attribute_Clauses

  -Include_Bit_Order_Attribute_Clauses

  -Include_Component_Size_Attribute_Clauses

  -Include_External_Tag_Attribute_Clauses

  -Include_Input_Attribute_Clauses

  -Include_Machine_Radix_Attribute_Clauses

  -Include_Output_Attribute_Clauses

  -Include_Read_Attribute_Clauses

  -Include_Small_Attribute_Clauses

  -Include_Size_Attribute_Clauses

  -Include_Storage_Pool_Attribute_Clauses

  -Include_Storage_Size_Attribute_Clauses

  -Include_Write_Attribute_Clauses

  -Include_Implementation_Defined_Attribute_Clauses

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/rep_spec_analysis]

  <list of units>

Locate_Short_Circuit_Opportunities

  -Include_Or_Operators

  -Include_Or_Else_Operators

  -Include_And_Operators

  -Include_And_Then_Operators

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/short_circuit_analysis]

  <list of units>

Locate_Similar_Record_Structures

  -Sort_By_Subsystem

  -Maximum_Differences_Allowed [integer-expression, default = 1]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/record_structure_analysis]

  <list of units>

Locate_Specific_Coding_Violations

  -<rule enforcement name>

  -Include_Allowed_Violations

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/specific_coding_violations_analysis]

  <list of units>

Locate_Statements

  -Include_Null_Statements

  -Include_Assignment_Statements

  -Include_Proc_Call_Statements

  -Include_Exit_Statements

  -Include_Return_Statements

  -Include_Goto_Statements

  -Include_Entry_Call_Statements

  -Include_Delay_Statements

  -Include_Abort_Statements

  -Include_Raise_Statements

  -Include_Code_Statements

  -Include_If_Statements

  -Include_Case_Statements

  -Include_Loop_Statements

  -Include_Block_Statements

  -Include_Accept_Statements

  -Include_Select_Statements

  -Include_Asynchronous_Select_Statements

  -Include_Requeue_Statements

  -Include_Cond_Entry_Statements

  -Include_Timed_Entry_Statements

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/statement_analysis]

  <list of units>

Locate_Static_Constraint_Violations

  -Include_String_Checking

  -Include_Integer_Checking

  -Include_Real_Checking

  -Include_Array_Checking

  -Include_Record_Component_Checking

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/static_constraint_violation_analysis]

  <list of units>

Locate_Subprogram_Complexities

  -And_Threshold_Values

  -Sort_By_Subsystem

  -Minimum_Statement_Depth [integer-expression, default = 4]

  -Minimum_Number_Of_External_Calls [integer-expression, default = 5]

  -Minimum_Number_Of_External_Var_Refs [integer-expression, default = 5]

  -Minimum_Number_Of_Procedure_Returns [integer-expression, default = 0]

  -Minimum_Number_Of_Function_Returns [integer-expression, default = 1]

  -Minimum_Number_Of_Execution_Paths [integer-expression, default = 5]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/subprogram_complexity_analysis]

  <list of units>

Locate_Subprograms_Propagating_Exceptions

  -Include_Non_Visible_Subprograms

  -Include_All_Raise_Points

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/propagation_analysis]

  <list of units>

Locate_Subprogram_References

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/subprogram_data_reference_analysis]

  <list of units>

Locate_Subunit_Candidates

  -Sort_By_Subsystem

  -Size_Threshold [integer-expression, default = 100]

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/subunit_candidate_analysis]

  <list of units>

Locate_System_Address_Usage

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/system_address_analysis]

  <list of units>

Locate_Tasking

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/tasking_analysis]

  <list of units>

Locate_Type_Declarations

  -Include_Integer_Types

  -Include_Modular_Types

  -Include_Float_Types

  -Include_Fixed_Types

  -Include_Decimal_Fixed_Types

  -Include_Enumeration_Types

  -Include_Character_Types

  -Include_String_Types

  -Include_Record_Types

  -Include_Discriminant_Record_Types

  -Include_Array_Types

  -Include_Unconstrained_Array_Types

  -Include_Access_Types

  -Include_Derived_Types

  -Include_Extension_Types

  -Include_Task_Types

  -Include_Protected_Types

  -Include_Private_Types

  -Include_Limited_Private_Types

  -Include_Subtypes

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/type_declaration_analysis]

  <list of units>

Locate_Unused_Declarations

  -Include_Subprogram_Declarations

  -Include_Type_Declarations

  -Include_Record_Component_Declarations

  -Include_All_Other_Declarations

  -Compute_Unit_Dependencies

  -Dont_Filter_Weak_Dependencies

  -Recursive

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/unused_declaration_analysis]

  <list of units>

Locate_Unused_With_Clauses

  -Sort_By_Subsystem

  -Include_Missing_Local_Clauses

  -Include_Redundant_Clauses

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/unused_with_clause_analysis]

  <list of units>

Locate_Use_Clauses

  -Include_Allowed_Use_Clauses

  -Include_Use_Type_Clauses

  -Sort_By_Subsystem

  -Use_Configuration [string-expression, default = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/use_clause_analysis]

  <list of units>

Merge_Reports

  -Include_Linkage

  -Column_Filtering [string-expression, defualt = ""]

  -To_Report_Named [string-expression, default =

      <default_output_directory>/data_synchronization_analysis]

  <list of reports>

Release_Token

Separate_Reports_By_Subsystem

  -Include_Empty_Tables

  -To_Report_Named = [string-expression, default =

      <default_output_directory>/separation_report]

  <list of reports>

Write_To_Ascii_File

  -Formatted_Columns_Format  [default = Column_Delimited_Format]

  -Frame_Mif_Format  [default = Column_Delimited_Format]

  -Interleaf_Iaf_Format  (default = Column_Delimited_Format]

  -Html_Format  (default = Column_Delimited_Format]

  -Column_Delimiter [string-expression, default = "$"]

  -Sort_On_Column [integer-expression, default = 0 (no sort)]

  -New_File [string-expression, default =

      existing_report_name & "_column_delimited"]

  <pathname of existing report>

CHAPTER 5:

Command Cross-Reference

Quality-Improvement Objectivesand Command to Use

Command-Line Summary

Quality-Improvement Objectives
and Command to Use