home *** CD-ROM | disk | FTP | other *** search
/ Programmer's ROM - The Computer Language Library / programmersrom.iso / ada / style / style.abs < prev    next >
Encoding:
Text File  |  1988-05-03  |  1.7 KB  |  40 lines

  1. PACKAGE style_checker_abstract IS
  2. --   The style checker will examine an Ada program and try to pick pieces of
  3. -- the program which follow incorrect style conventions.  These conventions
  4. -- themselves will be determined by a file of parameters which can be
  5. -- editted to "tailor" the style to local (or contractual) conventions.
  6. --
  7. --   Both physical and logical style features will be checked for including
  8. -- indentation, use of blank space, names, use of reserved words (such as
  9. -- restricting certain features, i.e. gotos), nesting levels, parameter
  10. -- passing, and comments.
  11. --
  12.   PROCEDURE Style_checker (SOURCE_FILE      : in Ada_SOURCE_FILE_TYPE;
  13.                OPTION_PARAMETERS: in Style_Params_FILE_TYPE;
  14.                OPTION_OUTPUT    : out FILE_TYPE);
  15.  
  16. PACKAGE title_page IS NEW title_page_package
  17.     ( developing_organization  => "Texas Instruments, Inc",
  18.       author                   => "John R. Mellby",
  19.       contact                  => "John Foreman",
  20.       address                  => ("PO Box 801,  MS 8007"",
  21.                    "McKinney", "TX", "75069" ),
  22.       phone                    => (214,952,2090),
  23.       date_submitted           => (03,Dec,1984)
  24.                               );
  25.  
  26. PACKAGE technical_parameters IS NEW technical_parameters_package
  27.     ( lines_of_source_code     => 4300,
  28.       development_compiler     => (data_general, ADE ),
  29.       planned_compiler_support => ( data_general, ADE )
  30.                               );
  31.  
  32. PACKAGE development_schedule_and_status IS NEW schedule_package
  33.     ( completed_events         => ( CDR, (13, Dec, 1984)),
  34.       scheduled_events         => ( (acceptance_tests, (16,Feb,1985) ),
  35.                     (delivery, (1,Mar,1985) )  )
  36.                               );
  37.  
  38. END style_checker_abstract;
  39.  
  40.