ASE2 CARD CATALOG ENTRY
Ada System Certifier_1 1.0 Date/Time of Processing: Tuesday 24 May 1994 09:37:20Pm Overall Assessment of System: OK Classification of System: A Basis of Classification -- Syntax Errors PASS Completeness PASS Independence from External Libraries PASS Independence from a Specific Ada Compiler PASS Number of ... Files 63 Library Units 69 Lines 8908 Statements 3306 Comments 2045 Subunits and Parent Units -- 4 parent program units 0 missing parent units 43 subunits 0 subunits found but not specified 0 subunits specified but not found
The style checker will examine an Ada program and try to pick pieces of the program which follow incorrect style conventions. These conventions themselves will be determined by a file of parameters which can be editted to "tailor" the style to local (or contractual) conventions.
Both physical and logical style features will be checked for including indentation, use of blank space, names, use of reserved words (such as restricting certain features, i.e. gotos), nesting levels, parameter passing, and comments.
DATE VERSION AUTHOR HISTORY 4/17/85 1.0 TI Ada Technology Branch Initial Release 12/30/85 1.1 TI Ada Technology Branch Converted to run on DEC
This prologue must be included in all copies of this software. This software is released to the Ada community. This software is released to the Public Domain (note: software released to the Public Domain is not subject to copyright protection). Restrictions on use or distribution: NONE
This software and its documentation are provided "AS IS" and without any expressed or implied warranties whatsoever. No warranties as to performance, merchantability, or fitness for a particular purpose exist. The user is advised to test the software thoroughly before relying on it. The user must assume the entire risk and liability of using this software. In no event shall any person or organization of people be held responsible for any direct, indirect, consequential or inconsequential damages or lost profits.
Powered by the Generic Web-Based Reuse Library (GWRL)