Appendix F - Diagnostic Assessor

This appendix contains a complete list of all of the ACES tests which make up the diagnostic assessor. After each test name a brief description is given.

Diagnostic Assessor

yd_ce01a

Diagnostic message evaluation

Non-Graphic Character

yd_ce02a

Diagnostic message evaluation

Unmatched IF Statement

yd_ce02b

Diagnostic message evaluation

Unmatched END

yd_ce03a

Diagnostic message evaluation

Naming Conflicts: Same Type Signature

yd_ce03b

Diagnostic message evaluation

Naming Conflicts: Same Object Name

yd_ce03c

Diagnostic message evaluation

Naming Conflicts: Duplication After Error

yd_ce03d

Diagnostic message evaluation

Naming Conflicts: Duplication After Error

yd_ce03e

Diagnostic message evaluation

Naming Conflicts: Incomplete Type Declaration

yd_ce03f

Diagnostic message evaluation

Naming Conflicts: Inconsistent Designators-Body/Spec

yd_ce03g

Diagnostic message evaluation

Naming Conflicts: Ambiguous Reference - Instantiation

yd_ce03h

Diagnostic message evaluation

Naming Conflicts: Ambiguous Reference - Function

yd_ce03i

Diagnostic message evaluation

Naming Conflicts: Ambiguous Reference - System Call

yd_ce04a

Diagnostic message evaluation

Circular Order Dependency

yd_ce04b

Diagnostic message evaluation

Circular Order Dependency

yd_ce04c

Diagnostic message evaluation

Circular Order Dependency

yd_ce05a

Diagnostic message evaluation

Self With; Library Contains Version (Part A)

yd_ce05b

Diagnostic message evaluation

Self With: Library Contains Version (Part B)

yd_ce05c

Diagnostic message evaluation

Self With: Library Does Not Contain Version

yd_ce06a

Diagnostic message evaluation

Invalid Named Aggregate Associations

yd_ce07a

Diagnostic message evaluation

Invalid CASE Alternatives: Multiple Mentioned

Alternatives

yd_ce07b

Diagnostic message evaluation

Invalid CASE Alternatives: Alternatives Not Mentioned

yd_ce08a

Diagnostic message evaluation

Non-Returning Functions

yd_ce08b

Diagnostic message evaluation

Uncalled Entry: Entry Names Exported from Package

yd_ce09a

Diagnostic message evaluation

Invalid Assignment to a CONSTANT

yd_ce10a

Diagnostic message evaluation

Visibility Error Within a Subunit

yd_ce11a

Diagnostic message evaluation

For i IN -1..10 Loop

yd_ce12a

Diagnostic message evaluation

Cascading Error Messages: Missing Semicolon

yd_ce12b

Diagnostic message evaluation

Cascading Error Messages: Arithmetic Lexical Errors

yd_ce12c

Diagnostic message evaluation

Cascading Error Messages: Other Arithmetic Errors

yd_ce12d

Diagnostic message evaluation

Cascading Error Messages: Declarative Error

yd_ce12e

Diagnostic message evaluation

Cascading Error Messages: Misspelled Name

yd_ce13a

Diagnostic message evaluation

Suppress Duplicate Error Messages

yd_ce14a

Diagnostic message evaluation

Improper Type Qualification

yd_ce15a

Diagnostic message evaluation

Improper Type Conversion

yd_ce16a

Diagnostic message evaluation

Large Non-Ada Program

yd_ce16b

Diagnostic message evaluation

Diagnostic Limits: Non-Visible Names

yd_ce17a

Diagnostic message evaluation

Inconsistent Package Body

yd_ce17b

Diagnostic message evaluation

Inconsistent Package Body

yd_cw01a

Diagnostic message evaluation

Local exception with no handler

yd_cw01b

Diagnostic message evaluation

Exception Propagation Past Visibility

yd_cw02a

Diagnostic message evaluation

Reference to Uninitialized Variables In Declarative Region

yd_cw02b

Diagnostic message evaluation

Reference to Uninitialized Variables:

After External Procedure Call

yd_cw02c

Diagnostic message evaluation

Reference to Uninitialized Variables:

Reference Before Defined

yd_cw03a

Diagnostic message evaluation

Uncalled Entry: Scope Limited to One Unit

yd_cw04a

Diagnostic message evaluation

Peculiar Parameter Usage:

Undefined OUT Mode Formal Parameter

yd_cw04b

Diagnostic message evaluation

Peculiar Parameter Usage:

Possible Undefined OUT Parameter

yd_cw04c

Diagnostic message evaluation

Peculiar Parameter Usage:

Unreferenced IN Mode Parameter

yd_cw04d

Diagnostic message evaluation

Peculiar Parameter Usage:

IN OUT mode - Only Read From

yd_cw05a

Diagnostic message evaluation

Compile Time Warning for Violations:

Reference to Out of Range Subscript

yd_cw05b

Diagnostic message evaluation

Compile Time Warning for Violations:

All Alternatives are Closed

yd_cw05c

Diagnostic message evaluation

Compile Time Warning for Violations:

Non-pre-elaborated Function

yd_cw06a

Diagnostic message evaluation

Selective Wait to Raise PROGRAM_ERROR

yd_cw07a

Diagnostic message evaluation

Unrecognized Pragma

yd_cw08a

Diagnostic message evaluation

Ignored Pragma Inline

yd_cw09a

Diagnostic message evaluation

Improper Pragma Location

yd_cw10a

Diagnostic message evaluation

Duplicate ACCEPT Entries in a SELECT

yd_cw11a

Diagnostic message evaluation

Superfluous Delays in SELECT

yd_cw12a

Diagnostic message evaluation

Excessively Large Data Structure

yd_cw13a

Diagnostic message evaluation

Unreferenced Variables:

Strictly Local Variables Unreferenced

yd_cw13b

Diagnostic message evaluation

Unreferenced Variables:

Unreferenced Exported Names

yd_cw14a

Diagnostic message evaluation

Dead Variable Assignments:

Redefined Before Used

yd_cw14b

Diagnostic message evaluation

Dead Variable Assignments

Successive Assignments Using Variable as a Temporary

yd_cw15a

Diagnostic message evaluation

Unreachable Code:

Statements Following Unconditional Transfer Statement

yd_cw15b

Diagnostic message evaluation

Unreachable Code:

Statements Following Conditional All of Whose

Alternatives Transfer Control

yd_cw15c

Diagnostic message evaluation

Unreachable Code: Impossible CASE Statements

yd_cw16a

Diagnostic message evaluation

Unneeded WITH Clause

yd_cw17a

Diagnostic message evaluation

Invalid Dependency on Parameter Passing Mode

(Copy/Reference)

yd_cw18a

Diagnostic message evaluation

Notification of Obsolescence

yd_lt01a

Diagnostic message evaluation

Missing Units in Library

yd_lt02a

Diagnostic message evaluation

Improper Subunit: Misspelled Parent Name (Part A)

yd_lt02b

Diagnostic message evaluation

Improper Subunit: Misspelled Parent Name (Part B)

yd_lt02c

Diagnostic message evaluation

Improper Subunit: Parent Unit Does Not Specify Subunit

(Part C)

yd_lt02d

Diagnostic message evaluation

Improper Subunit: Parent Unit Does Not Specify Subunit

(Part D)

yd_lt03a

Diagnostic message evaluation

Link with Obsolete Units (Part A)

yd_lt03b

Diagnostic message evaluation

Link with Obsolete Units (Part B)

yd_lt03c

Diagnostic message evaluation

Link with Obsolete Units (Part C)

yd_lt04a

Diagnostic message evaluation

Exhaust Library Disk Quota

yd_lt05a

Diagnostic message evaluation

Omission of Unreferenced Subprogram:

Subprogram Never Referenced

yd_lt05b

Diagnostic message evaluation

Omission of Unreferenced Subprogram:

Isolated Inter-referenced Subprogram

yd_rt01a

Diagnostic message evaluation

Deadlock Detection

yd_rt02a

Diagnostic message evaluation

Access Errors: Dereference Through Deallocated Types

yd_rt02b

Diagnostic message evaluation

Access Errors: Different Type Object Access

yd_rt02c

Diagnostic message evaluation

Access Errors: Access Through Bad Address

yd_rt02d

Diagnostic message evaluation

Access Errors: Access Through Deallocated Object

yd_rt03a

Diagnostic message evaluation

Exhausting Storage

yd_rt04a

Diagnostic message evaluation

Unhandled Exception From Main Procedure:

No Exception Handler

yd_rt04b

Diagnostic message evaluation

Unhandled Exception from Main Procedure:

Unnamed RAISE Statement

yd_rt05a

Diagnostic message evaluation

Uninitialized Variables: Optimize

yd_rt05b

Diagnostic message evaluation

Uninitialized Variables: No Optimize