PAL CARD CATALOG ENTRY

SHORT DESCRIPTION

Check Ada programs for compliance with coding standards


MOVEMENT WITHIN THE PAL CARD CATALOG
Move to top-level taxonomy
Move to keyword list

ASSET PROFILE

UNIT NAME
Standards Checker
VERSION
1.0
REVIEW CODE
AR; C1 1.0 C
INET ADDRESS
Not documented in PAL database
AUTHOR
Bill Toscano, Michael Gordon
Intermetrics, Inc,
733 Concord Ave
Cambridge, MA 02138
Contact: Lt. Colonel Falgiano
ESD/SCW
Hanscom AFB, MA 01731
RIGHTS
PUBLIC DOMAIN
COPYRIGHT
(c) 1985 Intermetrics, Inc.
DATE CREATED
15 October 1985
DATE RELEASED
18 March 1985
DATE LAST UPDATED
17 March 1985
LOCATION
ASR
PAL
AdaNET
ENVIRONMENT
Not documented in PAL database
LIMITATIONS
Not documented in PAL database
CERTIFICATION
Ada System Certifier_1 1.0
Date/Time of Processing: Tuesday   31 May       1994 02:33:30Am
Overall Assessment of System: OK
Classification of System: C
Basis of Classification --
Syntax Errors                               PASS
Completeness                                PASS
Independence from External Libraries        FAIL
Independence from a Specific Ada Compiler   FAIL

Explanations for failures --
System withs non-standard library units that are not provided
System contains compiler-specific pragmas or uses Machine_Code

Number of ...
Files              53
Library Units      62
Lines           23860
Statements       5163
Comments         7474

Unidentified Withed Units --
2 unidentified withed units
Subunits and Parent Units --
2 parent program units
0 missing parent units
3 subunits
0 subunits found but not specified
0 subunits specified but not found

FILE LISTING

Directory Display


languages/ada/asr/style/stnd:
  File Name                 Size
  ---------                 ----
  stnd.zip                83,020

languages/ada/asr/components/abstract:
  File Name                 Size
  ---------                 ----
  abstract.sda             8,381
  abstract.sdf            74,391
  abstract.zip            94,945


Totals
  ==============  ==============
    4 Files              260,737

ABSTRACT

        The  Standards  Checker  checks  a  source file to see that it
conforms to local  programming  standards.   These  standards  include
maximum  number of lines per program unit, maximum number of arguments
to a subprogram, use of pragmas,  use  of  rep  specs,  use  of  named
literals, naming of types and variables, etc.  An annotated listing is
output showing any misuse of these language constructs.


REVISION HISTORY

DATE         VERSION AUTHOR                  HISTORY 
03/85        1.0  Bill Toscano               Initial Release 


RELEASE NOTICE

This prologue must be included in all copies of this software.

This software is copyright by the author.

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


DISCLAIMER

	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.