home *** CD-ROM | disk | FTP | other *** search
- PACKAGE style_checker_abstract IS
- -- 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.
- --
- PROCEDURE Style_checker (SOURCE_FILE : in Ada_SOURCE_FILE_TYPE;
- OPTION_PARAMETERS: in Style_Params_FILE_TYPE;
- OPTION_OUTPUT : out FILE_TYPE);
-
- PACKAGE title_page IS NEW title_page_package
- ( developing_organization => "Texas Instruments, Inc",
- author => "John R. Mellby",
- contact => "John Foreman",
- address => ("PO Box 801, MS 8007"",
- "McKinney", "TX", "75069" ),
- phone => (214,952,2090),
- date_submitted => (03,Dec,1984)
- );
-
- PACKAGE technical_parameters IS NEW technical_parameters_package
- ( lines_of_source_code => 4300,
- development_compiler => (data_general, ADE ),
- planned_compiler_support => ( data_general, ADE )
- );
-
- PACKAGE development_schedule_and_status IS NEW schedule_package
- ( completed_events => ( CDR, (13, Dec, 1984)),
- scheduled_events => ( (acceptance_tests, (16,Feb,1985) ),
- (delivery, (1,Mar,1985) ) )
- );
-
- END style_checker_abstract;
-
-