home *** CD-ROM | disk | FTP | other *** search
/ Programmer's ROM - The Computer Language Library / programmersrom.iso / ada / print / pret.doc < prev    next >
Encoding:
Text File  |  1988-05-03  |  71.8 KB  |  2,431 lines
  1. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  2. --read.me
  3. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  4.  
  5. To build the pretty printer tool:
  6.  
  7.  1. Compile all the abstractions into a program library (see READ.ME in
  8.     abstractions directory for details).
  9.  
  10.  2. Compile everything named in the PRETTY.CO file into the program library
  11.     containing the abstractions or a sublibrary whose parent library contains 
  12.     all the abstractions. PRETTY.CO lists file names in the correct compilation 
  13.     order.
  14.  
  15.  3. Link Pretty_Print_Driver with the program library where everything was 
  16.     compiled.  To do this using the DEC Ada compiler type:
  17.     $ acs link pretty_printer_driver
  18.  
  19. To run the tool on VMS:
  20.  
  21.  1. Define a logical symbol for the executable of PRETTY_PRINT.  For example,
  22.  
  23.     PRETTY_PRINT :== $DRB1:[NOSC.TOOLS.PRETTY]PRETTY.EXE
  24.  
  25.      NOTE: The full path name of the executable is required in the 
  26.      definition of the symbol.   The pathname given here is just an example
  27.      and will be different on your system.
  28.  
  29.  2. Enter the command with appropriate parameters.  For example,
  30.  
  31.     PRETTY_PRINT (SOURCE=>"test.ada", OUTPUT=>"test.out");
  32.  
  33.     Entering the command PRETTY_PRINT with no parameters gives a brief
  34.     description of how to use the tool.
  35.  
  36. Files contained in this directory:
  37.  
  38. PRETTY.CO   -- Compilation order for pretty printer sources
  39. PRETTY.EXE  -- VMS 4.0 pretty printer executable
  40.  
  41. The [.SOURCE] subdirectory contains most of the sources that make up the 
  42. pretty printer tool.  Other sources are contained in the abstractions
  43. directory.
  44.  
  45. Files in [.SOURCE]:
  46.  
  47.     Most of the sources for the parser which the pretty printer tool uses are 
  48.     in the abstractions directory. The four units which are unique to this tool
  49.     are as follows:
  50.  
  51.     PARSE.BDY    -- The body of the parser, with a call to the Put subprogram
  52.                     which outputs Tokens
  53.     APPLYACT.SUB -- A subunit of the parser which calls the action subprograms
  54.     GETNEXT.SUB  -- A subunit of the lexer which returns non-comment tokens
  55.                     to the lexer and buffers comments
  56.     GRMCONST.BDY -- Grammar constants for the parse tables
  57.     PTBLS.BDY    -- The parse tables.
  58.  
  59.     The other source files which make up the pretty printer are as follows:
  60.  
  61.     PPRDECLS.DAT -- Declarations for pretty printer
  62.     PPRUTILS.SPC -- Utilities for pretty printer, called from 
  63.                     Parser.Apply_Actions (specification)
  64.     PPRUTILS.BDY -- Utilities for pretty printer, called from 
  65.                     Parser.Apply_Actions (body)
  66.     CHANGE.SPC   -- Subprograms for the manipulation of source text 
  67.                     (specification)
  68.     CHANGE.BDY   -- Subprograms for the manipulation of source text (body)
  69.     PRETTY.SPC   -- Main procedure of pretty printer (specification) 
  70.     PRETTY.BDY   -- Main procedure of pretty printer (body)
  71.     DRIVER.ADA   -- Decodes command line and calls Pretty_Print
  72.  
  73. The [.TEST] subdirectory contains the tests used in testing the pretty printer.
  74. The ACVC A tests and the pretty printer sources were used in testing as well.
  75.  
  76. Files in [.TEST]:
  77.  
  78.     ALL.IN      -- Tests a variety of constructs
  79.     ANDTHEN.IN  -- Tests spacing of tokens for "and then" and "or else"
  80.     BINOP.IN    -- Tests binary vs. unary operators
  81.     BLANKS.IN   -- Tests that blanks in the source are printed
  82.     CLOSEID.IN  -- Tests that closing identifiers are printed out
  83.     COLON.IN    -- Tests that colons are lined up
  84.     COMMENT.IN  -- Tests handling off comments with formatting on and off
  85.     DEEPIF.IN   -- Tests nesting of very deep if statements
  86.     DELIM.IN    -- Tests basic vs. extended set delimiters
  87.     DEPTH.IN    -- Contains several levels of nested units to test the DEPTH 
  88.                    parameter
  89.     ERROR.IN    -- Tests handling of syntax errors
  90.     GENERIC.IN  -- Tests indentation of generic specifications
  91.     MULTIPLE.IN -- Tests multiple units in one file
  92.     TASK.IN     -- Tests task constructs
  93.  
  94. The [.DOC] subdirectory contains the documentation for the pretty printer.
  95.  
  96. Files in [.DOC]:
  97.  
  98.     USERMAN.MEM -- Pretty Printer user's manual
  99.     USERMAN.RNO -- Runoff input for user's manual
  100.     INSTALL.MEM -- Pretty Printer installation guide
  101.     INSTALL.RNO -- Runoff input for installation guide
  102.     RELEASE.NTS -- Release notes
  103.     PPRGRM.LIS  -- Listing of pretty printer grammar.  The rule numbers
  104.                    in this file may be used to make changes to the case
  105.                    statement in the Apply_Actions subunit.
  106.     PRETTY.CNT  -- Statement counts and line counts of pretty printer 
  107.                    source files
  108. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  109. --userman.mem
  110. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  111.  
  114.  
  115.  
  118.  
  119.  
  122.  
  123.    ______ _______ ______ ______
  126. 1  PRETTY PRINTER USER'S MANUAL
  129.  
  130.  
  133.  
  134.      ____________
  137. 1.1  Introduction
  140.  
  141.  
  144.  
  145.      The pretty printer formats and prints the contents  of  a  source
  148.  
  149. file  according  to Ada Language Reference Manual (LRM) conventions as
  152.  
  153. the  default,  or  to   installation-specified   conventions.    These
  156.  
  157. conventions are described in detail in the Description section of this
  160.  
  161. manual.
  164.  
  165.  
  168.  
  169.  
  172.  
  173.  
  176.  
  177.      _______ ______
  180. 1.2  Command Format
  183.  
  184.  
  187.  
  188.      The command line call to the pretty  printer  should  follow  Ada
  191.  
  192. language  rules for procedure calls.  The parameters must therefore be
  195.  
  196. a correct combination of positional and named associations.  The typed
  199.  
  200. command  is  echoed  to  the  standard  error file before the input is
  203.  
  204. formatted, showing all parameters as named associations.
  207.  
  208.  
  211.  
  212.      The specification for the command format is  shown  below.   This
  215.  
  216. specification  is  also  written  to  the standard error file when the
  219.  
  220. command with no parameters is entered.
  223.  
  224.  
  227.  
  228. -- PRETTY_PRINT: Formats an Ada source file
  231.  
  232.  
  235.  
  236. type SWITCH is (ON, OFF);
  239.  
  240. type DEPTH_RANGE is NATURAL RANGE 0 .. 1000;
  243.  
  244.  
  247.  
  248. procedure PRETTY_PRINT (SOURCE      : STRING;
  251.  
  252.                         OUTPUT      : STRING := "";
  255.  
  256.                         COMMENTS    : SWITCH := ON;
  259.  
  260.                         PAGINATE    : SWITCH := OFF;
  263.  
  264.                         DEPTH       : DEPTH_RANGE := 0);
  267.  
  268.  
  271.  
  272. -- SOURCE specifies the file to be pretty printed
  275.  
  276. -- OUTPUT specifies the result file (default is standard output)
  279.  
  280. -- COMMENTS indicates whether or not to do comment formatting
  283.  
  284. -- PAGINATE indicates whether or not to paginate the output
  287.  
  288. -- DEPTH indicates the depth of the scope of pretty printing
  291.  
  292.                                                                 Page 2
  295.  
  296.  
  299.  
  300.  
  303.  
  304.      ___________
  307. 1.3  Description
  310.  
  311.  
  314.  
  315.      The pretty printer formats and prints the contents  of  a  source
  318.  
  319. file  according  to Ada Language Reference Manual (LRM) conventions as
  322.  
  323. the  default,  or  to  installation-specified  conventions.   See  the
  326.  
  327. installation guide for details on how to install different conventions
  330.  
  331. (i.e.capitalize identifiers instead of  printing  them  in  uppercase)
  334.  
  335. either  on  a  "per-user"  or "per-installation" level.  Note that the
  338.  
  339. items listed below refer to the default  (LRM-style)  formatting,  and
  342.  
  343. may   not  apply  if  the  pretty  printer  is  installed  with  other
  346.  
  347. conventions.
  350.  
  351.  
  354.  
  355.      Colons are lined up vertically.
  358.  
  359.  
  362.  
  363.      Indentation of all constructs is done as in the LRM.
  366.  
  367.  
  370.  
  371.      Identifiers  and  keywords  are  printed  as  in  the  LRM  (i.e.
  374.  
  375.      keywords   are  bold  printed  and  identifiers  are  printed  in
  378.  
  379.      uppercase) Note that nothing is bold printed  when  PAGINATE=>OFF
  382.  
  383.      (the default) is specified.  See explanation below.
  386.  
  387.  
  390.  
  391.      Parameter modes (in, out, or in out) are always printed, even  if
  394.  
  395.      default values were used in the source.
  398.  
  399.  
  402.  
  403.      Closing identifiers (eg.  end SQRT;) are always printed, even  if
  406.  
  407.      they defaulted in the source.
  410.  
  411.  
  414.  
  415.      Comment formatting is done if COMMENTS=>ON is  specified  on  the
  418.  
  419.      command line:
  422.  
  423.  
  426.  
  427.           Blank  lines  between  a  declaration  and  the  descriptive
  430.  
  431.           comment following it are removed.
  434.  
  435.  
  438.  
  439.           Blank lines  between  comments  and  the  action  statements
  442.  
  443.           directly following them are removed.
  446.  
  447.  
  450.  
  451.           Comments are indented to the same level as the source text.
  454.  
  455.  
  458.  
  459.      Output defaults to  standard  output.   An  output  file  may  be
  462.  
  463.      specified  with  the  OUTPUT  parameter.   Error messages and the
  466.  
  467.      echoed command are written to the standard error file.
  470.  
  471.  
  474.  
  475.      Output is paginated if PAGINATE=>ON is specified on  the  command
  478.  
  479.      line.   If  the  output is paginated, a header and page number is
  482.  
  483.      written on each page and page breaks are inserted.  If the output
  486.  
  487.      is   not   paginated   (either   by   default  or  by  specifying
  490.  
  491.      PAGINATE=>OFF on the command line), it is  valid  as  Ada  source
  494.  
  495.      which  may  be  compiled.  Note that nothing will be bold printed
  498.  
  499.      when PAGINATE=>OFF is specified,  in  order  to  avoid  inserting
  502.  
  503.      control characters into the file.
  506.  
  507.  
  510.  
  511.      Delimiters are printed using the extended  (",  #,  |)  character
  514.  
  515.      set.
  518.  
  519.  
  522.  
  523.      The DEPTH parameter  specifies  what  the  scope  of  the  pretty
  526.  
  527.                                                                 Page 3
  530.  
  531.  
  534.  
  535.  
  538.  
  539.      printed  output  should  be.  For example, specifying DEPTH=>1 on
  542.  
  543.      the  command  line  would  result  in  output  showing  only  the
  546.  
  547.      outermost  view  of  the  source.  The portions of text not being
  550.  
  551.      printed are replaced by a  placeholder  in  angle  brackets.   If
  554.  
  555.      DEPTH is 0 (the default) then everything is pretty printed.
  558.  
  559.                                                                 Page 4
  562.  
  563.  
  566.  
  567.  
  570.  
  571.      ________
  574. 1.4  Examples
  577.  
  578.  
  581.  
  582. To format the contents of a source file called MATHUTILS.ADA with  the
  585.  
  586. default  output,  default  comment  formatting  and no pagination, the
  589.  
  590. following command would be issued:
  593.  
  594.  
  597.  
  598.     PRETTY_PRINT("MATHUTILS.ADA");
  601.  
  602.  
  605.  
  606. To format the contents of MATHUTILS.ADA, put  the  output  in  a  file
  609.  
  610. called  MATHUTILS.OUT,  and paginate the output, the following command
  613.  
  614. would be issued:
  617.  
  618.  
  621.  
  622.     PRETTY_PRINT("MATHUTILS.ADA", "MATHUTILS.OUT", PAGINATE=>ON);
  625.  
  626.  
  629.  
  630. Note that the following command accomplishes the same purpose:
  633.  
  634.  
  637.  
  638.     PRETTY_PRINT(SOURCE=>"MATHUTILS.ADA",OUTPUT=>"MATHUTILS.OUT",PAGINATE=>ON);
  641.  
  642.  
  645.  
  646. To get a brief help message, the following command would be issued:
  649.  
  650.  
  653.  
  654.     PRETTY_PRINT;
  657.  
  658. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  659. --userman.rno
  660. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  661. .HEADER LEVEL 1 ^&Pretty Printer User's Manual\&
  662. .HEADER LEVEL 2 ^&Introduction\&
  663. .PARAGRAPH
  664. The pretty printer formats and prints the contents of a source file
  665. according to Ada Language Reference Manual (LRM) conventions as the default,
  666. or to installation-specified conventions.  These conventions are described in
  667. detail in the Description section of this manual.
  668. .HEADER LEVEL 2 ^&Command Format\&
  669. .PARAGRAPH
  670. The command line call to the pretty printer should follow Ada language rules
  671. for procedure calls.  The parameters must therefore be a correct combination
  672. of positional and named associations.  The typed command is echoed to the
  673. standard error file before the input is formatted, showing
  674. all parameters as named associations.
  675. .PARAGRAPH
  676. The specification for the command format is shown below.  This specification
  677. is also written to the standard error file when the command with no parameters
  678. is entered.  
  679. .BLANK
  680. .LITERAL
  681. -- PRETTY_PRINT: Formats an Ada source file
  682.  
  683. type SWITCH is (ON, OFF);
  684. type DEPTH_RANGE is NATURAL RANGE 0 .. 1000;
  685.  
  686. procedure PRETTY_PRINT (SOURCE      : STRING;
  687.                         OUTPUT      : STRING := "";
  688.                         COMMENTS    : SWITCH := ON;
  689.                         PAGINATE    : SWITCH := OFF;
  690.                         DEPTH       : DEPTH_RANGE := 0);
  691.  
  692. -- SOURCE specifies the file to be pretty printed
  693. -- OUTPUT specifies the result file (default is standard output)
  694. -- COMMENTS indicates whether or not to do comment formatting
  695. -- PAGINATE indicates whether or not to paginate the output
  696. -- DEPTH indicates the depth of the scope of pretty printing
  697. .END LITERAL
  698. .PAGE
  699. .HEADER LEVEL 2 ^&Description\&
  700. .PARAGRAPH
  701. The pretty printer formats and prints the contents of a source file
  702. according to Ada Language Reference Manual (LRM) conventions as the default,
  703. or to installation-specified conventions.  See the installation guide for
  704. details on how to install different conventions (i.e.capitalize identifiers 
  705. instead of printing them in uppercase)
  706. either on a "per-user" or "per-installation" level.
  707. Note that the items listed below 
  708. refer to the default (LRM-style) formatting, and may not apply if the
  709. pretty printer is installed with other conventions.
  710. .LEFT MARGIN 5
  711. .BLANK
  712. Colons are lined up vertically.
  713. .BLANK
  714. Indentation of all constructs is done as in the LRM.
  715. .BLANK
  716. Identifiers and keywords are printed as in the LRM (i.e. keywords are bold
  717. printed and identifiers are printed in uppercase)  Note that nothing is
  718. bold printed when PAGINATE=>OFF (the default) is specified.  See explanation
  719. below.
  720. .BLANK
  721. Parameter modes (in, out, or in out) are always printed, even if default values
  722. were used in the source.
  723. .BLANK
  724. Closing identifiers (eg. end SQRT;) are always printed, even if they defaulted
  725. in the source.
  726. .BLANK
  727. Comment formatting is done if COMMENTS=>ON is specified on the command line:
  728. .LEFT MARGIN 10
  729. .BLANK
  730. Blank lines between a declaration and the descriptive comment following
  731. it are removed.
  732. .BLANK
  733. Blank lines between comments and the action statements directly following
  734. them are removed.
  735. .BLANK
  736. Comments are indented to the same level as the source text.
  737. .LEFT MARGIN 5
  738. .BLANK
  739. Output defaults to standard output.  An output file may be specified
  740. with the OUTPUT parameter.  Error messages and the echoed command are
  741. written to the standard error file.
  742. .BLANK
  743. Output is paginated if PAGINATE=>ON is specified on the command line.
  744. If the output is paginated, a header and page number is written on each
  745. page and page breaks are inserted.  If the output is not paginated
  746. (either by default or by specifying PAGINATE=>OFF on the command line), 
  747. it is valid as Ada source which may be compiled.  
  748. Note that nothing will be bold printed when PAGINATE=>OFF is specified,
  749. in order to avoid inserting control characters into the file.
  750. .BLANK
  751. Delimiters are printed using the extended (", _#, |) character set.
  752. .BLANK
  753. The DEPTH parameter specifies what the scope of the pretty printed output 
  754. should be.  For example, specifying DEPTH=>1 on the command line would
  755. result in output showing only the outermost view of the source.
  756. The portions of text not being printed are replaced by a placeholder in
  757. angle brackets.  If DEPTH is 0 (the default) then everything is pretty printed.
  758. .LEFT MARGIN 0
  759. .PAGE
  760. .HEADER LEVEL 2 ^&Examples\&
  761. To format the contents of a source file called MATHUTILS.ADA with the
  762. default output, default comment formatting and no pagination, the
  763. following command would be issued:
  764. .BLANK
  765. .LITERAL
  766.     PRETTY_PRINT("MATHUTILS.ADA");
  767. .END LITERAL
  768. .BLANK
  769. To format the contents of MATHUTILS.ADA, put the output in a file called
  770. MATHUTILS.OUT, and paginate the output, the following command would be
  771. issued:
  772. .BLANK
  773. .LITERAL
  774.     PRETTY_PRINT("MATHUTILS.ADA", "MATHUTILS.OUT", PAGINATE=>ON);
  775. .END LITERAL
  776. .BLANK
  777. Note that the following command accomplishes the same purpose:
  778. .BLANK
  779. .LITERAL
  780.     PRETTY_PRINT(SOURCE=>"MATHUTILS.ADA",OUTPUT=>"MATHUTILS.OUT",PAGINATE=>ON);
  781. .END LITERAL
  782. .BLANK
  783. To get a brief help message, the following command would be issued:
  784. .BLANK
  785. .LITERAL
  786.     PRETTY_PRINT;
  787. .END LITERAL
  788. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  789. --install.mem
  790. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  791.  
  794.  
  795.  
  798.  
  799.  
  802.  
  803.    ______ _______ ____________ _____
  806. 1  PRETTY PRINTER INSTALLATION GUIDE
  809.  
  810.  
  813.  
  814.      __________ ____ ___________ _____ ____ ___
  817. 1.1  Installing With Conventions Other Than LRM
  820.  
  821.  
  824.  
  825.      The  package  Pretty_Printer_Declarations  isolates  all  of  the
  828.  
  829. values  which  "parameterize"  the pretty printer.  In order to change
  832.  
  833. the pretty printing  conventions  for  a  specific  installation,  the
  836.  
  837. values  should  be changed in this package.  It is also possible for a
  840.  
  841. user to modify the driver for the pretty printer in order  to  install
  844.  
  845. his own conventions which override the defaults given on installation.
  848.  
  849. This type of modification is described in section 1.2.
  852.  
  853.  
  856.  
  857.      After      installing      the      changes      to       package
  860.  
  861. Pretty_Printer_Declarations, the tool must be recompiled and relinked,
  864.  
  865. since many of the units depend on this package.
  868.  
  869.  
  872.  
  873.      The following objects in package Pretty_Printer_Declarations  may
  876.  
  877. be modified to change the pretty printing conventions.
  880.  
  881.  
  884.  
  885.  
  888.  
  889.      Delimiters          Extended or Basic character set
  892.  
  893.  
  896.  
  897.      Page_Width          Column width of output page
  900.  
  901.  
  904.  
  905.      RH_Margin           Right hand margin, beyond which no
  908.  
  909.                          indentation is performed
  912.  
  913.  
  916.  
  917.      Indentation_Level   Level of indentation
  920.  
  921.  
  924.  
  925.      Depth               Default depth of pretty printing, which can
  928.  
  929.                          be overriden on command line
  932.  
  933.  
  936.  
  937.      Keyword             Case of keyword
  940.  
  941.  
  944.  
  945.      Identifier          Case of identifier
  948.  
  949.  
  952.  
  953.      Comment_Formatting  Enables or disables comment formatting as the
  956.  
  957.                          default,  which  can  be  overriden  on   the
  960.  
  961.                          command line
  964.  
  965.  
  968.  
  969.      Colon_Alignment     Enables or disables colon alignment
  972.  
  973.  
  976.  
  977.      Explicit_Param_Mode Enables or disables "in" to be inserted in
  980.  
  981.                          "in" parameter declarations
  984.  
  985.  
  988.  
  989.      Closing_Identifiers Enables or disables whether closing
  992.  
  993.                          identifiers and  designators  which  did  not
  996.  
  997.                          appear in the source are inserted
  1000.  
  1001.  
  1004.  
  1005.      Paginated_Format    Enables or disables pagination as the
  1008.  
  1009.                          default,  which  can  be  overriden  on   the
  1012.  
  1013.                          command line
  1016.  
  1017.  
  1020.  
  1021.      Spacing_Table       The spacing table contains entries which
  1024.  
  1025.                          determine the spacing of each type of  token.
  1028.  
  1029.                                                                 Page 2
  1032.  
  1033.  
  1036.  
  1037.  
  1040.  
  1041.                          These entries should probably not be changed,
  1044.  
  1045.                          as many of the tokens are  context  dependent
  1048.  
  1049.                          and  additional  spacing  in  added  in  unit
  1052.  
  1053.                          Pretty_Printer_Utilities.Spaced_Token   given
  1056.  
  1057.                          the  context.   Tokens  which  are handled in
  1060.  
  1061.                          unit    Pretty_Printer_Utilities.Spaced_Token
  1064.  
  1065.                          are commented as such in the table.
  1068.  
  1069.  
  1072.  
  1073.  
  1076.  
  1077.  
  1080.  
  1081.           ________ _ ______ ____ _____________ ___________
  1084.      1.2  Creating A Driver With User-Specific Conventions
  1087.  
  1088.  
  1091.  
  1092.           It is possible that a user may wish to run a pretty  printer
  1095.  
  1096.      with  his  own  pretty printing conventions which differ from the
  1099.  
  1100.      installation conventions.  This can be accomplished by  modifying
  1103.  
  1104.      just    the    driver   for   the   pretty   printer   (in   unit
  1107.  
  1108.      Pretty_Print_Driver)   to   set   the   variables   in    package
  1111.  
  1112.      Pretty_Printer_Declarations.   For example, if the user wishes to
  1115.  
  1116.      have all identifiers capitalized, he may  include  the  following
  1119.  
  1120.      line as the first line of his copy of Pretty_Print_Driver:
  1123.  
  1124.  
  1127.  
  1128.          Pretty_Printer_Declarations.Identifier :=
  1131.  
  1132.              Pretty_Printer_Declarations.Capitalize1;
  1135.  
  1136.  
  1139.  
  1140.      All modifications of this sort should appear as the  first  lines
  1143.  
  1144.      of  the  driver,  before  the working values are initialized from
  1147.  
  1148.      package Pretty_Printer_Declarations.  The list of  objects  which
  1151.  
  1152.      may  be  modified in package Pretty_Printer_Declarations may also
  1155.  
  1156.      be used as the list of objects which may be  modified  in  driver
  1159.  
  1160.      Pretty_Print_Driver.  The types for these objects may be obtained
  1163.  
  1164.      by looking at package Pretty_Printer_Declarations.
  1167.  
  1168.  
  1171.  
  1172.           Unlike    the    recompilation    in    the    change     to
  1175.  
  1176.      Pretty_Printer_Declarations,  only  Pretty_Print_Driver  must  be
  1179.  
  1180.      recompiled for  a  user-specific  modification.   Note  that  the
  1183.  
  1184.      program  library  containing  this driver must be a sublibrary of
  1187.  
  1188.      the pretty printer library, however.
  1191.  
  1192. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  1193. --install.rno
  1194. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  1195. .HEADER LEVEL 1 ^&Pretty Printer Installation Guide\&
  1196. .HEADER LEVEL 2 ^&Installing with Conventions Other than LRM\&
  1197. .PARAGRAPH
  1198. The package Pretty__Printer__Declarations isolates all of the values which
  1199. "parameterize" the pretty printer.  In order to change the pretty printing
  1200. conventions for a specific installation, the values should be changed in
  1201. this package.  It is also possible for a user to modify the driver for the
  1202. pretty printer in order to install his own conventions which override the
  1203. defaults given on installation.  This type of modification is described 
  1204. in section 1.2.
  1205. .PARAGRAPH
  1206. After installing the changes to package Pretty__Printer__Declarations,
  1207. the tool must be recompiled and relinked, since many of the units depend on
  1208. this package.
  1209. .PARAGRAPH
  1210. The following objects in package Pretty__Printer__Declarations may be
  1211. modified to change the pretty printing conventions.
  1212. .BLANK
  1213. .LEFT MARGIN 5
  1214. .TAB STOP 25
  1215. .BLANK
  1216. Delimiters    Extended or Basic character set
  1217. .BLANK
  1218. Page__Width    Column width of output page
  1219. .BLANK
  1220. RH__Margin    Right hand margin, beyond which no 
  1221. .LEFT MARGIN 25
  1222. indentation is performed
  1223. .LEFT MARGIN 5
  1224. .BLANK
  1225. Indentation__Level    Level of indentation
  1226. .BLANK
  1227. Depth    Default depth of pretty printing, which can 
  1228. .LEFT MARGIN 25
  1229. be overriden on command line
  1230. .LEFT MARGIN 5
  1231. .BLANK
  1232. Keyword    Case of keyword
  1233. .BLANK
  1234. Identifier    Case of identifier
  1235. .BLANK
  1236. Comment__Formatting    Enables or disables comment formatting as the 
  1237. .LEFT MARGIN 25
  1238. default, which can be overriden on the command line
  1239. .LEFT MARGIN 5
  1240. .BLANK
  1241. Colon__Alignment    Enables or disables colon alignment
  1242. .BLANK
  1243. Explicit__Param__Mode    Enables or disables "in" to be inserted in
  1244. .LEFT MARGIN 25
  1245. "in" parameter declarations
  1246. .LEFT MARGIN 5
  1247. .BLANK
  1248. Closing__Identifiers    Enables or disables whether closing 
  1249. .LEFT MARGIN 25
  1250. identifiers and designators which did not appear in the source are inserted
  1251. .LEFT MARGIN 5
  1252. .BLANK
  1253. Paginated__Format    Enables or disables pagination as the 
  1254. .LEFT MARGIN 25
  1255. default, which can be overriden on the command line
  1256. .LEFT MARGIN 5
  1257. .BLANK
  1258. Spacing__Table    The spacing table contains entries which 
  1259. .LEFT MARGIN 25
  1260. determine the spacing
  1261. of each type of token.  These entries should probably not be changed, as many
  1262. of the tokens are context dependent and additional spacing in added in
  1263. unit Pretty__Printer__Utilities.Spaced__Token given the context.  Tokens which
  1264. are handled in unit Pretty__Printer__Utilities.Spaced__Token are commented as
  1265. such in the table.
  1266. .LEFT MARGIN 5
  1267. .HEADER LEVEL 2 ^&Creating a Driver with User-Specific Conventions\&
  1268. .PARAGRAPH
  1269. It is possible that a user may wish to run a pretty printer with his own pretty
  1270. printing conventions which differ from the installation conventions.  This can
  1271. be accomplished by modifying just the driver for the pretty printer (in unit
  1272. Pretty__Print__Driver)  to set the variables in package 
  1273. Pretty__Printer__Declarations.  For example, if the user wishes to have all
  1274. identifiers capitalized, he may include the following line as the first
  1275. line of his copy of Pretty__Print__Driver:
  1276. .BLANK
  1277. .LITERAL
  1278.     Pretty_Printer_Declarations.Identifier :=
  1279.         Pretty_Printer_Declarations.Capitalize1;
  1280. .END LITERAL
  1281. .BLANK
  1282. All modifications of this sort should appear as the first lines of the driver,
  1283. before the working values are initialized from package 
  1284. Pretty__Printer__Declarations.
  1285. The list of objects which may be modified in package 
  1286. Pretty__Printer__Declarations may also be used as the list of objects which may
  1287. be modified in driver Pretty__Print__Driver.  The types for these objects may
  1288. be obtained by looking at package Pretty__Printer__Declarations.
  1289. .PARAGRAPH
  1290. Unlike the recompilation in the change to Pretty__Printer__Declarations, only 
  1291. Pretty__Print__Driver must be recompiled for a user-specific modification.  
  1292. Note that the program library containing this driver must be a sublibrary 
  1293. of the pretty printer library, however.
  1294. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  1295. --release.nts
  1296. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  1297. This is the first release of the Pretty Printer.
  1298. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  1299. --pprgrm.lis
  1300. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  1301. Options in Effect
  1302.      
  1303.  DEFAULT
  1304.  ACTIONS
  1305.  DEFMARK = %
  1306.  ORMARK = |
  1307.  BLOCKB = /.
  1308.  BLOCKE = ./
  1309.  COMMB = --
  1310.  COMME =
  1311.  LOADF =   70
  1312. Grammar Constants
  1313.      
  1314.  Number of Terminals   94
  1315.  Number of Non Terminals  266
  1316.  Number of Rules  521
  1317.  Number of Items 1726
  1318.  Number of states  996
  1319.  Number of shift entries 1540
  1320.  Number of goto entries 2249
  1321.  Number of reduce entries  204
  1322.  Number of entries saved by default reductions 6336
  1323.  Number of shift/reduce conflicts    0
  1324.  Number of reduce/reduce conflicts    0
  1325. The following symbols are not used in any right hand side
  1326.      
  1327.  comment_literal
  1328.  
  1329.  Terminalss
  1330.      
  1331.  ABORT
  1332.  ABS
  1333.  ACCEPT
  1334.  ACCESS
  1335.  ALL
  1336.  AND
  1337.  ARRAY
  1338.  AT
  1339.  BEGIN
  1340.  BODY
  1341.  CASE
  1342.  CONSTANT
  1343.  DECLARE
  1344.  DELAY
  1345.  DELTA
  1346.  DIGITS
  1347.  DO
  1348.  ELSE
  1349.  ELSIF
  1350.  END
  1351.  ENTRY
  1352.  EXCEPTION
  1353.  EXIT
  1354.  FOR
  1355.  FUNCTION
  1356.  GENERIC
  1357.  GOTO
  1358.  IF
  1359.  IN
  1360.  IS
  1361.  LIMITED
  1362.  LOOP
  1363.  MOD
  1364.  NEW
  1365.  NOT
  1366.  NULL
  1367.  OF
  1368.  OR
  1369.  OTHERS
  1370.  OUT
  1371.  PACKAGE
  1372.  PRAGMA
  1373.  PRIVATE
  1374.  PROCEDURE
  1375.  RAISE
  1376.  RANGE
  1377.  RECORD
  1378.  REM
  1379.  RENAMES
  1380.  RETURN
  1381.  REVERSE
  1382.  SELECT
  1383.  SEPARATE
  1384.  SUBTYPE
  1385.  TASK
  1386.  TERMINATE
  1387.  THEN
  1388.  TYPE
  1389.  USE
  1390.  WHEN
  1391.  WHILE
  1392.  WITH
  1393.  XOR
  1394.  identifier
  1395.  numeric_literal
  1396.  string_literal
  1397.  character_literal
  1398.  &
  1399.  '
  1400.  (
  1401.  )
  1402.  *
  1403.  +
  1404.  ,
  1405.  -
  1406.  .
  1407.  /
  1408.  :
  1409.  ;
  1410.  <
  1411.  =
  1412.  >
  1413.  '|'
  1414.  =>
  1415.  ..
  1416.  **
  1417.  :=
  1418.  /=
  1419.  >=
  1420.  <=
  1421.  <<
  1422.  >>
  1423.  <>
  1424.  comment_literal
  1425.  
  1426.  Rules
  1427.      
  1428.     1 pragma ::= PRAGMA identifier ( general_component_associations ) ;
  1429.      
  1430.     2 pragma ::= PRAGMA identifier ;
  1431.      
  1432.     3 basic_declaration ::= type_declaration
  1433.      
  1434.     4 basic_declaration ::= subtype_declaration
  1435.      
  1436.     5 basic_declaration ::= subprogram_declaration
  1437.      
  1438.     6 basic_declaration ::= package_declaration
  1439.      
  1440.     7 basic_declaration ::= task_specification
  1441.      
  1442.     8 basic_declaration ::= generic_specification
  1443.      
  1444.     9 basic_declaration ::= generic_instantiation
  1445.      
  1446.    10 basic_declaration ::= renaming_declaration
  1447.      
  1448.    11 basic_colon_declaration ::= object_declaration
  1449.      
  1450.    12 basic_colon_declaration ::= number_declaration
  1451.      
  1452.    13 basic_colon_declaration ::= exception_declaration
  1453.      
  1454.    14 basic_colon_declaration ::= renaming_colon_declaration
  1455.      
  1456.    15 object_declaration ::= identifier_list : subtype_indication [:=expression]
  1457.      
  1458.       ;
  1459.      
  1460.    16 object_declaration ::= identifier_list : CONSTANT subtype_indication
  1461.       [:=expression] ;
  1462.      
  1463.    17 object_declaration ::= identifier_list : constrained_array_definition
  1464.       [:=expression] ;
  1465.      
  1466.    18 object_declaration ::= identifier_list : CONSTANT
  1467.       constrained_array_definition [:=expression] ;
  1468.      
  1469.    19 number_declaration ::= identifier_list : CONSTANT := expression ;
  1470.      
  1471.    20 identifier_list ::= identifier {,identifier}
  1472.      
  1473.    21 type_declaration ::= full_type_declaration
  1474.      
  1475.    22 type_declaration ::= incomplete_type_declaration
  1476.      
  1477.    23 type_declaration ::= private_type_declaration
  1478.      
  1479.    24 full_type_declaration ::= TYPE identifier IS type_definition
  1480.      
  1481.    25 full_type_declaration ::= TYPE identifier left_paren
  1482.       discriminant_specification {;discriminant_specification} right_paren IS
  1483.       type_definition
  1484.      
  1485.    26 type_definition ::= enumeration_type_definition ;
  1486.      
  1487.    27 type_definition ::= integer_type_definition ;
  1488.      
  1489.    28 type_definition ::= real_type_definition ;
  1490.      
  1491.    29 type_definition ::= array_type_definition ;
  1492.      
  1493.    30 type_definition ::= record_type_definition ;
  1494.      
  1495.    31 type_definition ::= access_type_definition ;
  1496.      
  1497.    32 type_definition ::= derived_type_definition ;
  1498.      
  1499.    33 subtype_declaration ::= SUBTYPE identifier IS subtype_indication ;
  1500.      
  1501.    34 subtype_indication ::= type_mark
  1502.      
  1503.    35 subtype_indication ::= type_mark constraint
  1504.      
  1505.    36 type_mark ::= type_name|subtype_name
  1506.      
  1507.    37 constraint ::= range_constraint
  1508.      
  1509.    38 constraint ::= floating_point_constraint
  1510.      
  1511.    39 constraint ::= fixed_point_constraint
  1512.      
  1513.    40 constraint ::= ( general_component_associations )
  1514.      
  1515.    41 derived_type_definition ::= NEW subtype_indication
  1516.      
  1517.    42 range_constraint ::= RANGE simple_expression
  1518.      
  1519.    43 range_constraint ::= RANGE simple_expression .. simple_expression
  1520.      
  1521.    44 enumeration_type_definition ::= ( enumeration_literal_specification
  1522.       {,enumeration_literal_specification} )
  1523.      
  1524.    45 enumeration_literal_specification ::= enumeration_literal
  1525.      
  1526.    46 enumeration_literal ::= identifier
  1527.      
  1528.    47 enumeration_literal ::= character_literal
  1529.      
  1530.    48 integer_type_definition ::= range_constraint
  1531.      
  1532.    49 real_type_definition ::= floating_point_constraint
  1533.      
  1534.    50 real_type_definition ::= fixed_point_constraint
  1535.      
  1536.    51 floating_point_constraint ::= floating_accuracy_definition
  1537.       [range_constraint]
  1538.      
  1539.    52 floating_accuracy_definition ::= DIGITS simple_expression
  1540.      
  1541.    53 fixed_point_constraint ::= fixed_accuracy_definition [range_constraint]
  1542.      
  1543.    54 fixed_accuracy_definition ::= DELTA simple_expression
  1544.      
  1545.    55 array_type_definition ::= unconstrained_array_definition
  1546.      
  1547.    56 array_type_definition ::= constrained_array_definition
  1548.      
  1549.    57 unconstrained_array_definition ::= ARRAY ( index_subtype_definition
  1550.       {,index_subtype_definition} ) OF subtype_indication
  1551.      
  1552.    58 constrained_array_definition ::= ARRAY index_constraint OF
  1553.       subtype_indication
  1554.      
  1555.    59 index_subtype_definition ::= name RANGE <>
  1556.      
  1557.    60 index_constraint ::= ( discrete_range {,discrete_range} )
  1558.      
  1559.    61 discrete_range ::= name range_constraint
  1560.      
  1561.    62 discrete_range ::= range
  1562.      
  1563.    63 range ::= simple_expression
  1564.      
  1565.    64 range ::= simple_expression .. simple_expression
  1566.      
  1567.    65 record_type_definition ::= start_of_record_type record_terminal
  1568.       component_list END RECORD
  1569.      
  1570.    66 component_list ::= {pragma_decl} {component_declaration}
  1571.       component_declaration closing_{pragma_decl}
  1572.      
  1573.    67 component_list ::= {pragma_decl} {component_declaration}' variant_part
  1574.       {pragma_decl}
  1575.      
  1576.    68 component_list ::= null_statement {pragma_decl}
  1577.      
  1578.    69 component_declaration ::= identifier_list : subtype_indication
  1579.       [:=expression] ;
  1580.      
  1581.    70 discriminant_specification ::= identifier_list : type_mark [:=expression]
  1582.      
  1583.    71 variant_part ::= CASE__identifier__IS {pragma_variant}__variant__{variant}
  1584.      
  1585.       END CASE ;
  1586.      
  1587.    72 variant ::= WHEN__variant_choice__{|variant_choice}__=> component_list
  1588.      
  1589.    73 variant ::= WHEN__variant_OTHERS__=> component_list
  1590.      
  1591.    74 choice ::= simple_expression
  1592.      
  1593.    75 choice ::= simple_expression .. simple_expression
  1594.      
  1595.    76 choice ::= name range_constraint
  1596.      
  1597.    77 access_type_definition ::= ACCESS subtype_indication
  1598.      
  1599.    78 incomplete_type_declaration ::= TYPE identifier ;
  1600.      
  1601.    79 incomplete_type_declaration ::= TYPE identifier left_paren
  1602.       discriminant_specification {;discriminant_specification} right_paren ;
  1603.      
  1604.    80 declarative_part ::= {basic_declarative_item}
  1605.      
  1606.    81 declarative_part ::= {basic_declarative_item} body {later_declarative_item
  1607. }
  1608.      
  1609.    82 basic_declarative_item ::= basic_declaration
  1610.      
  1611.    83 basic_declarative_item ::= representation_clause
  1612.      
  1613.    84 basic_declarative_item ::= use_clause
  1614.      
  1615.    85 later_declarative_item ::= body
  1616.      
  1617.    86 later_declarative_item ::= subprogram_declaration
  1618.      
  1619.    87 later_declarative_item ::= package_declaration
  1620.      
  1621.    88 later_declarative_item ::= task_specification
  1622.      
  1623.    89 later_declarative_item ::= generic_specification
  1624.      
  1625.    90 later_declarative_item ::= use_clause
  1626.      
  1627.    91 later_declarative_item ::= generic_instantiation
  1628.      
  1629.    92 body ::= proper_body
  1630.      
  1631.    93 body ::= body_stub
  1632.      
  1633.    94 proper_body ::= subprogram_body
  1634.      
  1635.    95 proper_body ::= package_body
  1636.      
  1637.    96 proper_body ::= task_body
  1638.      
  1639.    97 name ::= identifier
  1640.      
  1641.    98 name ::= character_literal
  1642.      
  1643.    99 name ::= string_literal
  1644.      
  1645.   100 name ::= indexed_component
  1646.      
  1647.   101 name ::= selected_component
  1648.      
  1649.   102 name ::= attribute
  1650.      
  1651.   103 indexed_component ::= name ( general_component_associations )
  1652.      
  1653.   104 selected_component ::= name . selector
  1654.      
  1655.   105 selected_component ::= name . ALL
  1656.      
  1657.   106 selector ::= identifier
  1658.      
  1659.   107 selector ::= character_literal
  1660.      
  1661.   108 selector ::= string_literal
  1662.      
  1663.   109 attribute ::= name ' attribute_designator
  1664.      
  1665.   110 attribute_designator ::= identifier
  1666.      
  1667.   111 attribute_designator ::= DIGITS
  1668.      
  1669.   112 attribute_designator ::= DELTA
  1670.      
  1671.   113 attribute_designator ::= RANGE
  1672.      
  1673.   114 aggregate ::= ( component_associations )
  1674.      
  1675.   115 component_associations ::= expression,expression{,expression}
  1676.       [,others=>expression]
  1677.      
  1678.   116 component_associations ::= expression,expression{,expression} ,
  1679.       choice{|choice}=>expression {,choice{|choice}=>expression}
  1680.       [,others=>expression]
  1681.      
  1682.   117 component_associations ::= expression , choice{|choice}=>expression
  1683.       {,choice{|choice}=>expression} [,others=>expression]
  1684.      
  1685.   118 component_associations ::= choice{|choice}=>expression
  1686.       {,choice{|choice}=>expression} [,others=>expression]
  1687.      
  1688.   119 component_associations ::= expression , others=>expression
  1689.      
  1690.   120 component_associations ::= others=>expression
  1691.      
  1692.   121 general_component_associations ::= ga_expression{,ga_expression}
  1693.      
  1694.   122 general_component_associations ::= ga_expression{,ga_expression} ,
  1695.       identifier{|identifier}=>expression {,identifier{|identifier}=>expression}
  1696.      
  1697.      
  1698.   123 general_component_associations ::= identifier{|identifier}=>expression
  1699.       {,identifier{|identifier}=>expression}
  1700.      
  1701.   124 expression ::= relation
  1702.      
  1703.   125 expression ::= relation{AND__relation}
  1704.      
  1705.   126 expression ::= relation{OR__relation}
  1706.      
  1707.   127 expression ::= relation{XOR__relation}
  1708.      
  1709.   128 expression ::= relation{AND__THEN__relation}
  1710.      
  1711.   129 expression ::= relation{OR__ELSE__relation}
  1712.      
  1713.   130 relation ::= simple_expression [relational_operator__simple_expression]
  1714.      
  1715.   131 relation ::= simple_expression [NOT]IN range
  1716.      
  1717.   132 simple_expression ::=
  1718.       [unary_adding_operator]term{binary_adding_operator__term}
  1719.      
  1720.   133 term ::= factor{multiplying_operator__factor}
  1721.      
  1722.   134 factor ::= primary [exponentiating_operator__primary]
  1723.      
  1724.   135 factor ::= high_precedence_unary_operator primary
  1725.      
  1726.   136 parenthesized_expression ::= ( expression )
  1727.      
  1728.   137 primary ::= numeric_literal
  1729.      
  1730.   138 primary ::= NULL
  1731.      
  1732.   139 primary ::= name
  1733.      
  1734.   140 primary ::= allocator
  1735.      
  1736.   141 primary ::= qualified_expression
  1737.      
  1738.   142 primary ::= aggregate
  1739.      
  1740.   143 primary ::= parenthesized_expression
  1741.      
  1742.   144 relational_operator ::= =
  1743.      
  1744.   145 relational_operator ::= /=
  1745.      
  1746.   146 relational_operator ::= <
  1747.      
  1748.   147 relational_operator ::= <=
  1749.      
  1750.   148 relational_operator ::= >
  1751.      
  1752.   149 relational_operator ::= >=
  1753.      
  1754.   150 binary_adding_operator ::= +
  1755.      
  1756.   151 binary_adding_operator ::= -
  1757.      
  1758.   152 binary_adding_operator ::= &
  1759.      
  1760.   153 unary_adding_operator ::= +
  1761.      
  1762.   154 unary_adding_operator ::= -
  1763.      
  1764.   155 high_precedence_unary_operator ::= ABS
  1765.      
  1766.   156 high_precedence_unary_operator ::= NOT
  1767.      
  1768.   157 multiplying_operator ::= *
  1769.      
  1770.   158 multiplying_operator ::= /
  1771.      
  1772.   159 multiplying_operator ::= MOD
  1773.      
  1774.   160 multiplying_operator ::= REM
  1775.      
  1776.   161 exponentiating_operator ::= **
  1777.      
  1778.   162 qualified_expression ::= name ' aggregate
  1779.      
  1780.   163 qualified_expression ::= name ' parenthesized_expression
  1781.      
  1782.   164 allocator ::= NEW type_mark
  1783.      
  1784.   165 allocator ::= NEW type_mark ( general_component_associations )
  1785.      
  1786.   166 allocator ::= NEW expanded_name ' parenthesized_expression
  1787.      
  1788.   167 allocator ::= NEW expanded_name ' aggregate
  1789.      
  1790.   168 sequence_of_statements ::= {pragma_stm} statement {statement}
  1791.      
  1792.   169 statement ::= simple_statement
  1793.      
  1794.   170 statement ::= compound_statement
  1795.      
  1796.   171 statement ::= {label}+ simple_statement
  1797.      
  1798.   172 statement ::= {label}+ compound_statement
  1799.      
  1800.   173 simple_statement ::= null_statement
  1801.      
  1802.   174 simple_statement ::= assignment_statement
  1803.      
  1804.   175 simple_statement ::= exit_statement
  1805.      
  1806.   176 simple_statement ::= return_statement
  1807.      
  1808.   177 simple_statement ::= goto_statement
  1809.      
  1810.   178 simple_statement ::= delay_statement
  1811.      
  1812.   179 simple_statement ::= abort_statement
  1813.      
  1814.   180 simple_statement ::= raise_statement
  1815.      
  1816.   181 simple_statement ::= code_statement
  1817.      
  1818.   182 simple_statement ::= call_statement
  1819.      
  1820.   183 compound_statement ::= if_statement
  1821.      
  1822.   184 compound_statement ::= case_statement
  1823.      
  1824.   185 compound_statement ::= loop_statement
  1825.      
  1826.   186 compound_statement ::= block_statement
  1827.      
  1828.   187 compound_statement ::= accept_statement
  1829.      
  1830.   188 compound_statement ::= select_statement
  1831.      
  1832.   189 label ::= << identifier >>
  1833.      
  1834.   190 null_statement ::= NULL ;
  1835.      
  1836.   191 assignment_statement ::= name := expression ;
  1837.      
  1838.   192 if_statement ::= IF condition__THEN__sequence_of_statements
  1839.       {ELSIF__condition__THEN__sequence_of_statements}
  1840.       [ELSE__sequence_of_statements] END IF ;
  1841.      
  1842.   193 condition ::= expression
  1843.      
  1844.   194 case_statement ::= CASE__expression__IS
  1845.       {pragma_alt}__case_statement_alternative__{case_statement_alternative} END
  1846.      
  1847.       CASE ;
  1848.      
  1849.   195 case_statement_alternative ::= WHEN__choice__{|choice}__=>
  1850.       sequence_of_statements
  1851.      
  1852.   196 case_statement_alternative ::= WHEN__OTHERS__=> sequence_of_statements
  1853.      
  1854.   197 loop_statement ::= [loop_identifier:] loop_terminal sequence_of_statements
  1855.      
  1856.       END LOOP [identifier] ;
  1857.      
  1858.   198 loop_statement ::= [loop_identifier:] iteration_rule loop_terminal
  1859.       sequence_of_statements END LOOP [identifier] ;
  1860.      
  1861.   199 iteration_rule ::= WHILE condition
  1862.      
  1863.   200 iteration_rule ::= FOR identifier IN discrete_range
  1864.      
  1865.   201 iteration_rule ::= FOR identifier IN REVERSE discrete_range
  1866.      
  1867.   202 declarative_part__begin_end_block ::= declarative_part begin_end_block
  1868.      
  1869.   203 begin_end_block ::= begin_terminal sequence_of_statements END
  1870.      
  1871.   204 begin_end_block ::= begin_terminal sequence_of_statements
  1872.       exception_terminal {pragma_alt}__exception_handler_list END
  1873.      
  1874.   205 block_statement ::= [block_identifier:] declare_terminal
  1875.       declarative_part__begin_end_block [identifier] ;
  1876.      
  1877.   206 block_statement ::= [block_identifier:] begin_end_block [identifier] ;
  1878.      
  1879.   207 exit_statement ::= EXIT ;
  1880.      
  1881.   208 exit_statement ::= EXIT WHEN condition ;
  1882.      
  1883.   209 exit_statement ::= EXIT expanded_name ;
  1884.      
  1885.   210 exit_statement ::= EXIT expanded_name WHEN condition ;
  1886.      
  1887.   211 return_statement ::= RETURN ;
  1888.      
  1889.   212 return_statement ::= RETURN expression ;
  1890.      
  1891.   213 goto_statement ::= GOTO expanded_name ;
  1892.      
  1893.   214 subprogram_declaration ::= subprogram_specification ;
  1894.      
  1895.   215 subprogram_specification ::= PROCEDURE start_identifier
  1896.      
  1897.   216 subprogram_specification ::= PROCEDURE start_identifier left_paren
  1898.       parameter_specification {;parameter_specification} right_paren
  1899.      
  1900.   217 subprogram_specification ::= FUNCTION designator RETURN type_mark
  1901.      
  1902.   218 subprogram_specification ::= FUNCTION designator left_paren
  1903.       parameter_specification {;parameter_specification} right_paren RETURN
  1904.       type_mark
  1905.      
  1906.   219 designator ::= identifier
  1907.      
  1908.   220 designator ::= string_literal
  1909.      
  1910.   221 parameter_specification ::= identifier_list mode type_mark [:=expression]
  1911.      
  1912.   222 mode ::= generic_parameter_mode
  1913.      
  1914.   223 mode ::= : OUT
  1915.      
  1916.   224 generic_parameter_mode ::= :
  1917.      
  1918.   225 generic_parameter_mode ::= : IN
  1919.      
  1920.   226 generic_parameter_mode ::= : IN OUT
  1921.      
  1922.   227 subprogram_body ::= subprogram_specification__IS
  1923.       declarative_part__begin_end_block [end_designator] ;
  1924.      
  1925.   228 call_statement ::= name ;
  1926.      
  1927.   229 package_declaration ::= package_specification ;
  1928.      
  1929.   230 package_specification ::= PACKAGE__start_identifier__IS
  1930.       {basic_declarative_item}' END [identifier]
  1931.      
  1932.   231 package_specification ::= PACKAGE__start_identifier__IS
  1933.       {basic_declarative_item}' private_terminal {basic_declarative_item}' END
  1934.       [identifier]
  1935.      
  1936.   232 package_body ::= PACKAGE__BODY__start_identifier__IS declarative_part END
  1937.       [identifier] ;
  1938.      
  1939.   233 package_body ::= PACKAGE__BODY__start_identifier__IS
  1940.       declarative_part__begin_end_block [identifier] ;
  1941.      
  1942.   234 private_type_declaration ::= TYPE identifier IS LIMITED PRIVATE ;
  1943.      
  1944.   235 private_type_declaration ::= TYPE identifier left_paren
  1945.       discriminant_specification {;discriminant_specification} right_paren IS
  1946.       LIMITED PRIVATE ;
  1947.      
  1948.   236 private_type_declaration ::= TYPE identifier IS PRIVATE ;
  1949.      
  1950.   237 private_type_declaration ::= TYPE identifier left_paren
  1951.       discriminant_specification {;discriminant_specification} right_paren IS
  1952.       PRIVATE ;
  1953.      
  1954.   238 use_clause ::= USE expanded_name {,expanded_name} ;
  1955.      
  1956.   239 renaming_colon_declaration ::= identifier_list : type_mark RENAMES name ;
  1957.      
  1958.   240 renaming_colon_declaration ::= identifier_list : EXCEPTION RENAMES
  1959.       expanded_name ;
  1960.      
  1961.   241 renaming_declaration ::= PACKAGE start_identifier RENAMES expanded_name ;
  1962.      
  1963.   242 renaming_declaration ::= subprogram_specification RENAMES name ;
  1964.      
  1965.   243 task_specification ::= TASK start_identifier ;
  1966.      
  1967.   244 task_specification ::= TASK TYPE start_identifier ;
  1968.      
  1969.   245 task_specification ::= TASK__start_identifier__IS
  1970.       {entry_declaration}__{representation_clause} END [identifier] ;
  1971.      
  1972.   246 task_specification ::= TASK__TYPE__start_identifier__IS
  1973.       {entry_declaration}__{representation_clause} END [identifier] ;
  1974.      
  1975.   247 task_body ::= TASK__BODY__start_identifier__IS
  1976.       declarative_part__begin_end_block [identifier] ;
  1977.      
  1978.   248 entry_declaration ::= ENTRY identifier [(discrete_range)][formal_part] ;
  1979.      
  1980.   249 accept_statement ::= ACCEPT start_identifier [(expression)][formal_part] ;
  1981.      
  1982.      
  1983.   250 accept_statement ::=
  1984.       ACCEPT__start_identifier__[(expression)][formal_part]__DO
  1985.       sequence_of_statements END [identifier] ;
  1986.      
  1987.   251 delay_statement ::= DELAY simple_expression ;
  1988.      
  1989.   252 select_statement ::= selective_wait
  1990.      
  1991.   253 select_statement ::= conditional_entry_call
  1992.      
  1993.   254 select_statement ::= timed_entry_call
  1994.      
  1995.   255 selective_wait ::= select_terminal select_alternative
  1996.       {OR__select_alternative} [ELSE__sequence_of_statements] END SELECT ;
  1997.      
  1998.   256 select_alternative ::= {pragma_stm}
  1999.       WHEN__condition__=>__selective_wait_alternative
  2000.      
  2001.   257 select_alternative ::= {pragma_stm} selective_wait_alternative
  2002.      
  2003.   258 selective_wait_alternative ::= accept_alternative
  2004.      
  2005.   259 selective_wait_alternative ::= delay_alternative
  2006.      
  2007.   260 selective_wait_alternative ::= terminate_alternative
  2008.      
  2009.   261 accept_alternative ::= accept_statement [sequence_of_statements]
  2010.      
  2011.   262 delay_alternative ::= delay_statement [sequence_of_statements]
  2012.      
  2013.   263 terminate_alternative ::= TERMINATE__; {pragma_stm}
  2014.      
  2015.   264 TERMINATE__; ::= TERMINATE ;
  2016.      
  2017.   265 conditional_entry_call ::= select_terminal {pragma_stm}
  2018.       call_statement__[sequence_of_statements] else_terminal
  2019.       sequence_of_statements END SELECT ;
  2020.      
  2021.   266 timed_entry_call ::= select_terminal {pragma_stm}
  2022.       call_statement__[sequence_of_statements] or_terminal {pragma_stm}
  2023.       delay_alternative_in_timed_entry END SELECT ;
  2024.      
  2025.   267 abort_statement ::= ABORT name {,name} ;
  2026.      
  2027.   268 compilation ::= {compilation_unit}
  2028.      
  2029.   269 pragma_header ::= PRAGMA identifier
  2030.      
  2031.   270 compilation_unit ::= pragma_header ( general_component_associations ) ;
  2032.      
  2033.   271 compilation_unit ::= pragma_header ;
  2034.      
  2035.   272 compilation_unit ::= context_clause library_or_secondary_unit
  2036.      
  2037.   273 library_or_secondary_unit ::= subprogram_declaration
  2038.      
  2039.   274 library_or_secondary_unit ::= package_declaration
  2040.      
  2041.   275 library_or_secondary_unit ::= generic_specification
  2042.      
  2043.   276 library_or_secondary_unit ::= generic_instantiation
  2044.      
  2045.   277 library_or_secondary_unit ::= subprogram_body
  2046.      
  2047.   278 library_or_secondary_unit ::= package_body
  2048.      
  2049.   279 library_or_secondary_unit ::= subunit
  2050.      
  2051.   280 context_clause ::= {with_clause{use_clause}}
  2052.      
  2053.   281 with_clause ::= WITH identifier {,used_identifier} ;
  2054.      
  2055.   282 body_stub ::= subprogram_specification IS SEPARATE ;
  2056.      
  2057.   283 body_stub ::= PACKAGE BODY start_identifier IS SEPARATE ;
  2058.      
  2059.   284 body_stub ::= TASK BODY start_identifier IS SEPARATE ;
  2060.      
  2061.   285 subunit ::= SEPARATE__(__expanded_name__) proper_body
  2062.      
  2063.   286 exception_declaration ::= identifier_list : EXCEPTION ;
  2064.      
  2065.   287 exception_handler ::= WHEN__exception_choice__{|exception_choice}__=>
  2066.       sequence_of_statements
  2067.      
  2068.   288 exception_choice ::= expanded_name
  2069.      
  2070.   289 exception_choice ::= OTHERS
  2071.      
  2072.   290 raise_statement ::= RAISE ;
  2073.      
  2074.   291 raise_statement ::= RAISE expanded_name ;
  2075.      
  2076.   292 generic_specification ::= generic_formal_part subprogram_specification ;
  2077.      
  2078.   293 generic_specification ::= generic_formal_part package_specification ;
  2079.      
  2080.   294 generic_formal_part ::= generic_terminal {generic_parameter_declaration}
  2081.      
  2082.   295 generic_parameter_declaration ::= identifier_list generic_parameter_mode
  2083.       type_mark [:=expression] ;
  2084.      
  2085.   296 generic_parameter_declaration ::= TYPE identifier IS
  2086.       generic_type_definition ;
  2087.      
  2088.   297 generic_parameter_declaration ::= TYPE identifier left_paren
  2089.       discriminant_specification {;discriminant_specification} right_paren IS
  2090.       generic_type_definition ;
  2091.      
  2092.   298 generic_parameter_declaration ::= WITH subprogram_specification
  2093.       [IS__name__or__<>] ;
  2094.      
  2095.   299 generic_type_definition ::= ( <> )
  2096.      
  2097.   300 generic_type_definition ::= RANGE <>
  2098.      
  2099.   301 generic_type_definition ::= DIGITS <>
  2100.      
  2101.   302 generic_type_definition ::= DELTA <>
  2102.      
  2103.   303 generic_type_definition ::= LIMITED PRIVATE
  2104.      
  2105.   304 generic_type_definition ::= PRIVATE
  2106.      
  2107.   305 generic_type_definition ::= array_type_definition
  2108.      
  2109.   306 generic_type_definition ::= access_type_definition
  2110.      
  2111.   307 generic_instantiation ::= PACKAGE__start_identifier__IS NEW expanded_name
  2112. ;
  2113.      
  2114.   308 generic_instantiation ::= PACKAGE__start_identifier__IS NEW expanded_name
  2115. (
  2116.       generic_association {,generic_association} ) ;
  2117.      
  2118.   309 generic_instantiation ::= FUNCTION__designator__IS NEW expanded_name ;
  2119.      
  2120.   310 generic_instantiation ::= FUNCTION__designator__IS NEW expanded_name (
  2121.       generic_association {,generic_association} ) ;
  2122.      
  2123.   311 generic_instantiation ::= subprogram_specification__IS NEW expanded_name ;
  2124.      
  2125.      
  2126.   312 generic_instantiation ::= subprogram_specification__IS NEW expanded_name (
  2127.      
  2128.       generic_association {,generic_association} ) ;
  2129.      
  2130.   313 generic_association ::=
  2131.       [generic_formal_parameter=>]generic_actual_parameter
  2132.      
  2133.   314 generic_formal_parameter ::= identifier
  2134.      
  2135.   315 generic_formal_parameter ::= string_literal
  2136.      
  2137.   316 generic_actual_parameter ::= expression
  2138.      
  2139.   317 representation_clause ::= length_clause
  2140.      
  2141.   318 representation_clause ::= enumeration_representation_clause
  2142.      
  2143.   319 representation_clause ::= address_clause
  2144.      
  2145.   320 representation_clause ::= record_representation_clause
  2146.      
  2147.   321 length_clause ::= FOR attribute USE simple_expression ;
  2148.      
  2149.   322 enumeration_representation_clause ::= FOR identifier USE aggregate ;
  2150.      
  2151.   323 record_representation_clause ::= FOR identifier USE start_of_record_type
  2152.       record_terminal {component_clause}' END RECORD ;
  2153.      
  2154.   324 record_representation_clause ::= FOR identifier USE start_of_record_type
  2155.       RECORD alignment_clause {component_clause}' END RECORD ;
  2156.      
  2157.   325 component_clause ::= name AT simple_expression range_constraint ;
  2158.      
  2159.   326 alignment_clause ::= AT MOD simple_expression ;
  2160.      
  2161.   327 address_clause ::= FOR identifier USE AT simple_expression ;
  2162.      
  2163.   328 code_statement ::= name ' aggregate ;
  2164.      
  2165.   329 {pragma_decl} ::= EMPTY
  2166.      
  2167.   330 {pragma_decl} ::= {pragma_decl} pragma
  2168.      
  2169.   331 {pragma_variant} ::= EMPTY
  2170.      
  2171.   332 {pragma_variant} ::= {pragma_variant} pragma
  2172.      
  2173.   333 {pragma_stm} ::= EMPTY
  2174.      
  2175.   334 {pragma_stm} ::= {pragma_stm} pragma
  2176.      
  2177.   335 {pragma_alt} ::= EMPTY
  2178.      
  2179.   336 {pragma_alt} ::= {pragma_alt} pragma
  2180.      
  2181.   337 [:=expression] ::= EMPTY
  2182.      
  2183.   338 [:=expression] ::= := expression
  2184.      
  2185.   339 {,identifier} ::= EMPTY
  2186.      
  2187.   340 {,identifier} ::= {,identifier} , identifier
  2188.      
  2189.   341 type_name|subtype_name ::= expanded_name
  2190.      
  2191.   342 expanded_name ::= identifier
  2192.      
  2193.   343 expanded_name ::= expanded_name . identifier
  2194.      
  2195.   344 {,enumeration_literal_specification} ::= EMPTY
  2196.      
  2197.   345 {,enumeration_literal_specification} ::=
  2198.       {,enumeration_literal_specification} , enumeration_literal_specification
  2199.      
  2200.   346 [range_constraint] ::= EMPTY
  2201.      
  2202.   347 [range_constraint] ::= range_constraint
  2203.      
  2204.   348 {,index_subtype_definition} ::= EMPTY
  2205.      
  2206.   349 {,index_subtype_definition} ::= {,index_subtype_definition} ,
  2207.       index_subtype_definition
  2208.      
  2209.   350 {,discrete_range} ::= EMPTY
  2210.      
  2211.   351 {,discrete_range} ::= {,discrete_range} , discrete_range
  2212.      
  2213.   352 {component_declaration} ::= EMPTY
  2214.      
  2215.   353 {component_declaration} ::= {component_declaration} component_declaration
  2216.       {pragma_decl}
  2217.      
  2218.   354 {;discriminant_specification} ::= EMPTY
  2219.      
  2220.   355 {;discriminant_specification} ::= {;discriminant_specification}
  2221.       discriminant_; discriminant_specification
  2222.      
  2223.   356 {variant} ::= EMPTY
  2224.      
  2225.   357 {variant} ::= {variant} variant
  2226.      
  2227.   358 {|choice} ::= EMPTY
  2228.      
  2229.   359 {|choice} ::= {|choice} '|' choice
  2230.      
  2231.   360 {basic_declarative_item} ::= {pragma_decl}
  2232.      
  2233.   361 {basic_declarative_item} ::= {basic_declarative_item}
  2234.       basic_declarative_item {pragma_decl}
  2235.      
  2236.   362 {basic_declarative_item} ::=
  2237.       {basic_declarative_item}__basic_declarative_item|EMPTY
  2238.       {basic_colon_declaration}
  2239.      
  2240.   363 {later_declarative_item} ::= {pragma_decl}
  2241.      
  2242.   364 {later_declarative_item} ::= {later_declarative_item}
  2243.       later_declarative_item {pragma_decl}
  2244.      
  2245.   365 expression,expression{,expression} ::= expression , expression
  2246.      
  2247.   366 expression,expression{,expression} ::= expression,expression{,expression}
  2248. ,
  2249.       expression
  2250.      
  2251.   367 choice{|choice}=>expression ::= choice {|choice} => expression
  2252.      
  2253.   368 {,choice{|choice}=>expression} ::= EMPTY
  2254.      
  2255.   369 {,choice{|choice}=>expression} ::= {,choice{|choice}=>expression} ,
  2256.       choice{|choice}=>expression
  2257.      
  2258.   370 [,others=>expression] ::= EMPTY
  2259.      
  2260.   371 [,others=>expression] ::= , others=>expression
  2261.      
  2262.   372 others=>expression ::= OTHERS => expression
  2263.      
  2264.   373 ga_expression ::= expression
  2265.      
  2266.   374 ga_expression ::= simple_expression .. simple_expression
  2267.      
  2268.   375 ga_expression ::= name range_constraint
  2269.      
  2270.   376 ga_expression{,ga_expression} ::= ga_expression
  2271.      
  2272.   377 ga_expression{,ga_expression} ::= ga_expression{,ga_expression} ,
  2273.       ga_expression
  2274.      
  2275.   378 identifier{|identifier}=>expression ::= identifier {|identifier} =>
  2276.       expression
  2277.      
  2278.   379 {,identifier{|identifier}=>expression} ::= EMPTY
  2279.      
  2280.   380 {,identifier{|identifier}=>expression} ::=
  2281.       {,identifier{|identifier}=>expression} ,
  2282.       identifier{|identifier}=>expression
  2283.      
  2284.   381 {|identifier} ::= EMPTY
  2285.      
  2286.   382 {|identifier} ::= {|identifier} '|' identifier
  2287.      
  2288.   383 relation{AND__relation} ::= relation AND relation
  2289.      
  2290.   384 relation{AND__relation} ::= relation{AND__relation} AND relation
  2291.      
  2292.   385 relation{OR__relation} ::= relation OR relation
  2293.      
  2294.   386 relation{OR__relation} ::= relation{OR__relation} OR relation
  2295.      
  2296.   387 relation{XOR__relation} ::= relation XOR relation
  2297.      
  2298.   388 relation{XOR__relation} ::= relation{XOR__relation} XOR relation
  2299.      
  2300.   389 relation{AND__THEN__relation} ::= relation AND THEN relation
  2301.      
  2302.   390 relation{AND__THEN__relation} ::= relation{AND__THEN__relation} AND THEN
  2303.       relation
  2304.      
  2305.   391 relation{OR__ELSE__relation} ::= relation OR ELSE relation
  2306.      
  2307.   392 relation{OR__ELSE__relation} ::= relation{OR__ELSE__relation} OR ELSE
  2308.       relation
  2309.      
  2310.   393 [relational_operator__simple_expression] ::= EMPTY
  2311.      
  2312.   394 [relational_operator__simple_expression] ::= relational_operator
  2313.       simple_expression
  2314.      
  2315.   395 [NOT]IN ::= IN
  2316.      
  2317.   396 [NOT]IN ::= NOT IN
  2318.      
  2319.   397 [unary_adding_operator]term{binary_adding_operator__term} ::= term
  2320.      
  2321.   398 [unary_adding_operator]term{binary_adding_operator__term} ::=
  2322.       unary_adding_operator term
  2323.      
  2324.   399 [unary_adding_operator]term{binary_adding_operator__term} ::=
  2325.       [unary_adding_operator]term{binary_adding_operator__term}
  2326.       binary_adding_operator term
  2327.      
  2328.   400 factor{multiplying_operator__factor} ::= factor
  2329.      
  2330.   401 factor{multiplying_operator__factor} ::=
  2331.       factor{multiplying_operator__factor} multiplying_operator factor
  2332.      
  2333.   402 [exponentiating_operator__primary] ::= EMPTY
  2334.      
  2335.   403 [exponentiating_operator__primary] ::= exponentiating_operator primary
  2336.      
  2337.   404 {statement} ::= {pragma_stm}
  2338.      
  2339.   405 {statement} ::= {statement} statement {pragma_stm}
  2340.      
  2341.   406 {label}+ ::= label
  2342.      
  2343.   407 {label}+ ::= {label}+ label
  2344.      
  2345.   408 condition__THEN__sequence_of_statements ::= condition__THEN
  2346.       sequence_of_statements
  2347.      
  2348.   409 {ELSIF__condition__THEN__sequence_of_statements} ::= EMPTY
  2349.      
  2350.   410 {ELSIF__condition__THEN__sequence_of_statements} ::=
  2351.       {ELSIF__condition__THEN__sequence_of_statements} ELSIF__condition__THEN
  2352.       sequence_of_statements
  2353.      
  2354.   411 [ELSE__sequence_of_statements] ::= EMPTY
  2355.      
  2356.   412 [ELSE__sequence_of_statements] ::= else_terminal sequence_of_statements
  2357.      
  2358.   413 {case_statement_alternative} ::= EMPTY
  2359.      
  2360.   414 {case_statement_alternative} ::= {case_statement_alternative}
  2361.       case_statement_alternative
  2362.      
  2363.   415 [loop_identifier:] ::= EMPTY
  2364.      
  2365.   416 [loop_identifier:] ::= identifier :
  2366.      
  2367.   417 [identifier] ::= EMPTY
  2368.      
  2369.   418 [identifier] ::= identifier
  2370.      
  2371.   419 [block_identifier:] ::= EMPTY
  2372.      
  2373.   420 [block_identifier:] ::= identifier :
  2374.      
  2375.   421 {pragma_alt}__exception_handler_list ::= {pragma_alt}
  2376.       exception_handler_list
  2377.      
  2378.   422 exception_handler_list ::= exception_handler
  2379.      
  2380.   423 exception_handler_list ::= exception_handler_list exception_handler
  2381.      
  2382.   424 {;parameter_specification} ::= EMPTY
  2383.      
  2384.   425 {;parameter_specification} ::= {;parameter_specification} parameter_;
  2385.       parameter_specification
  2386.      
  2387.   426 [end_designator] ::= EMPTY
  2388.      
  2389.   427 [end_designator] ::= identifier
  2390.      
  2391.   428 [end_designator] ::= string_literal
  2392.      
  2393.   429 {,expanded_name} ::= EMPTY
  2394.      
  2395.   430 {,expanded_name} ::= {,expanded_name} , expanded_name
  2396.      
  2397.   431 {entry_declaration} ::= {pragma_decl}
  2398.      
  2399.   432 {entry_declaration} ::= {entry_declaration} entry_declaration {pragma_decl
  2400. }
  2401.      
  2402.   433 {representation_clause} ::= EMPTY
  2403.      
  2404.   434 {representation_clause} ::= {representation_clause} representation_clause
  2405.       {pragma_decl}
  2406.      
  2407.   435 [(discrete_range)][formal_part] ::= EMPTY
  2408.      
  2409.   436 [(discrete_range)][formal_part] ::= left_paren parameter_specification
  2410.       {;parameter_specification} right_paren
  2411.      
  2412.   437 [(discrete_range)][formal_part] ::= left_paren discrete_range right_paren
  2413.      
  2414.   438 [(discrete_range)][formal_part] ::= left_paren discrete_range right_paren
  2415.       left_paren parameter_specification {;parameter_specification} right_paren
  2416.      
  2417.   439 [(expression)][formal_part] ::= EMPTY
  2418.      
  2419.   440 [(expression)][formal_part] ::= left_paren parameter_specification
  2420.       {;parameter_specification} right_paren
  2421.      
  2422.   441 [(expression)][formal_part] ::= left_paren expression right_paren
  2423.      
  2424.   442 [(expression)][formal_part] ::= left_paren expression right_paren
  2425.       left_paren parameter_specification {;parameter_specification} right_paren
  2426.      
  2427.   443 {OR__select_alternative} ::= EMPTY
  2428.      
  2429.   444 {OR__select_alternative} ::= {OR__select_alternative} or_terminal
  2430.       select_alternative
  2431.      
  2432.   445 [sequence_of_statements] ::= {pragma_stm}
  2433.      
  2434.   446 [sequence_of_statements] ::= optional_sequence_of_statements
  2435.      
  2436.   447 {,name} ::= EMPTY
  2437.      
  2438.   448 {,name} ::= {,name} , name
  2439.      
  2440.   449 {compilation_unit} ::= compilation_unit
  2441.      
  2442.   450 {compilation_unit} ::= {compilation_unit} compilation_unit
  2443.      
  2444.   451 {with_clause{use_clause}} ::= EMPTY
  2445.      
  2446.   452 {with_clause{use_clause}} ::= {with_clause{use_clause}} with_clause
  2447.       use_clause_list
  2448.      
  2449.   453 use_clause_list ::= {pragma_decl}
  2450.      
  2451.   454 use_clause_list ::= use_clause_list use_clause {pragma_decl}
  2452.      
  2453.   455 {,used_identifier} ::= EMPTY
  2454.      
  2455.   456 {,used_identifier} ::= {,used_identifier} , identifier
  2456.      
  2457.   457 {|exception_choice} ::= EMPTY
  2458.      
  2459.   458 {|exception_choice} ::= {|exception_choice} '|' exception_choice
  2460.      
  2461.   459 {generic_parameter_declaration} ::= EMPTY
  2462.      
  2463.   460 {generic_parameter_declaration} ::= {generic_parameter_declaration}
  2464.       generic_parameter_declaration
  2465.      
  2466.   461 [IS__name__or__<>] ::= EMPTY
  2467.      
  2468.   462 [IS__name__or__<>] ::= IS name
  2469.      
  2470.   463 [IS__name__or__<>] ::= IS <>
  2471.      
  2472.   464 {,generic_association} ::= EMPTY
  2473.      
  2474.   465 {,generic_association} ::= {,generic_association} , generic_association
  2475.      
  2476.   466 [generic_formal_parameter=>]generic_actual_parameter ::=
  2477.       generic_actual_parameter
  2478.      
  2479.   467 [generic_formal_parameter=>]generic_actual_parameter ::=
  2480.       generic_formal_parameter => generic_actual_parameter
  2481.      
  2482.   468 {component_clause} ::= {pragma_decl}
  2483.      
  2484.   469 {component_clause} ::= {component_clause} component_clause {pragma_decl}
  2485.      
  2486.   470 record_terminal ::= RECORD
  2487.      
  2488.   471 closing_{pragma_decl} ::= {pragma_decl}
  2489.      
  2490.   472 {component_declaration}' ::= {component_declaration}
  2491.      
  2492.   473 start_of_record_type ::= EMPTY
  2493.      
  2494.   474 CASE__identifier__IS ::= CASE identifier IS
  2495.      
  2496.   475 WHEN__variant_choice__{|variant_choice}__=> ::= WHEN__choice__{|choice}__=
  2497. >
  2498.      
  2499.   476 WHEN__variant_OTHERS__=> ::= WHEN__OTHERS__=>
  2500.      
  2501.   477 WHEN__choice__{|choice}__=> ::= WHEN choice {|choice} =>
  2502.      
  2503.   478 WHEN__OTHERS__=> ::= WHEN OTHERS =>
  2504.      
  2505.   479 generic_terminal ::= GENERIC
  2506.      
  2507.   480 CASE__expression__IS ::= CASE expression IS
  2508.      
  2509.   481 {pragma_alt}__case_statement_alternative__{case_statement_alternative} ::=
  2510.      
  2511.       {pragma_alt} case_statement_alternative {case_statement_alternative}
  2512.      
  2513.   482 loop_terminal ::= LOOP
  2514.      
  2515.   483 begin_terminal ::= BEGIN
  2516.      
  2517.   484 {pragma_variant}__variant__{variant} ::= {pragma_variant} variant {variant
  2518. }
  2519.      
  2520.   485 exception_terminal ::= EXCEPTION
  2521.      
  2522.   486 declare_terminal ::= DECLARE
  2523.      
  2524.   487 PACKAGE__start_identifier__IS ::= PACKAGE start_identifier IS
  2525.      
  2526.   488 start_identifier ::= identifier
  2527.      
  2528.   489 {basic_declarative_item}' ::= {basic_declarative_item}
  2529.      
  2530.   490 {entry_declaration}__{representation_clause} ::= {entry_declaration}
  2531.       {representation_clause}
  2532.      
  2533.   491 private_terminal ::= PRIVATE
  2534.      
  2535.   492 PACKAGE__BODY__start_identifier__IS ::= PACKAGE BODY start_identifier IS
  2536.      
  2537.   493 TASK__start_identifier__IS ::= TASK start_identifier IS
  2538.      
  2539.   494 TASK__TYPE__start_identifier__IS ::= TASK TYPE start_identifier IS
  2540.      
  2541.   495 TASK__BODY__start_identifier__IS ::= TASK BODY start_identifier IS
  2542.      
  2543.   496 ACCEPT__start_identifier__[(expression)][formal_part]__DO ::= ACCEPT
  2544.       start_identifier [(expression)][formal_part] DO
  2545.      
  2546.   497 select_terminal ::= SELECT
  2547.      
  2548.   498 call_statement__[sequence_of_statements] ::= call_statement
  2549.       [sequence_of_statements]
  2550.      
  2551.   499 optional_sequence_of_statements ::= {pragma_stm} statement {statement}
  2552.      
  2553.   500 delay_alternative_in_timed_entry ::= delay_alternative
  2554.      
  2555.   501 WHEN__condition__=>__selective_wait_alternative ::= WHEN__condition__=>
  2556.       selective_wait_alternative
  2557.      
  2558.   502 WHEN__condition__=> ::= WHEN condition =>
  2559.      
  2560.   503 WHEN__exception_choice__{|exception_choice}__=> ::= WHEN exception_choice
  2561.       {|exception_choice} =>
  2562.      
  2563.   504 FUNCTION__designator__IS ::= FUNCTION designator IS
  2564.      
  2565.   505 subprogram_specification__IS ::= subprogram_specification IS
  2566.      
  2567.   506 {component_clause}' ::= {component_clause}
  2568.      
  2569.   507 SEPARATE__(__expanded_name__) ::= SEPARATE ( expanded_name )
  2570.      
  2571.   508 {basic_colon_declaration} ::= start_{basic_colon_declaration}
  2572.       {basic_colon_declaration}' basic_colon_declaration {pragma_decl}
  2573.      
  2574.   509 start_{basic_colon_declaration} ::= EMPTY
  2575.      
  2576.   510 {basic_colon_declaration}' ::= {basic_colon_declaration}'
  2577.       basic_colon_declaration {pragma_decl}
  2578.      
  2579.   511 {basic_colon_declaration}' ::= EMPTY
  2580.      
  2581.   512 {basic_declarative_item}__basic_declarative_item|EMPTY ::=
  2582.       {basic_declarative_item} basic_declarative_item {pragma_decl}
  2583.      
  2584.   513 {basic_declarative_item}__basic_declarative_item|EMPTY ::= {pragma_decl}
  2585.      
  2586.   514 condition__THEN ::= condition THEN
  2587.      
  2588.   515 ELSIF__condition__THEN ::= ELSIF condition THEN
  2589.      
  2590.   516 else_terminal ::= ELSE
  2591.      
  2592.   517 or_terminal ::= OR
  2593.      
  2594.   518 discriminant_; ::= ;
  2595.      
  2596.   519 parameter_; ::= ;
  2597.      
  2598.   520 left_paren ::= (
  2599.      
  2600.   521 right_paren ::= )
  2601.      
  2602. Non terminalss
  2603.      
  2604.  $ACC
  2605.  compilation
  2606.  general_component_associations
  2607.  pragma
  2608.  type_declaration
  2609.  basic_declaration
  2610.  subtype_declaration
  2611.  subprogram_declaration
  2612.  package_declaration
  2613.  task_specification
  2614.  generic_specification
  2615.  generic_instantiation
  2616.  renaming_declaration
  2617.  object_declaration
  2618.  basic_colon_declaration
  2619.  number_declaration
  2620.  exception_declaration
  2621.  renaming_colon_declaration
  2622.  identifier_list
  2623.  subtype_indication
  2624.  [:=expression]
  2625.  constrained_array_definition
  2626.  expression
  2627.  {,identifier}
  2628.  full_type_declaration
  2629.  incomplete_type_declaration
  2630.  private_type_declaration
  2631.  type_definition
  2632.  left_paren
  2633.  discriminant_specification
  2634.  {;discriminant_specification}
  2635.  right_paren
  2636.  enumeration_type_definition
  2637.  integer_type_definition
  2638.  real_type_definition
  2639.  array_type_definition
  2640.  record_type_definition
  2641.  access_type_definition
  2642.  derived_type_definition
  2643.  type_mark
  2644.  constraint
  2645.  type_name|subtype_name
  2646.  range_constraint
  2647.  floating_point_constraint
  2648.  fixed_point_constraint
  2649.  simple_expression
  2650.  enumeration_literal_specification
  2651.  {,enumeration_literal_specification}
  2652.  enumeration_literal
  2653.  floating_accuracy_definition
  2654.  [range_constraint]
  2655.  fixed_accuracy_definition
  2656.  unconstrained_array_definition
  2657.  index_subtype_definition
  2658.  {,index_subtype_definition}
  2659.  index_constraint
  2660.  name
  2661.  discrete_range
  2662.  {,discrete_range}
  2663.  range
  2664.  start_of_record_type
  2665.  record_terminal
  2666.  component_list
  2667.  {pragma_decl}
  2668.  {component_declaration}
  2669.  component_declaration
  2670.  closing_{pragma_decl}
  2671.  {component_declaration}'
  2672.  variant_part
  2673.  null_statement
  2674.  CASE__identifier__IS
  2675.  {pragma_variant}__variant__{variant}
  2676.  WHEN__variant_choice__{|variant_choice}__=>
  2677.  variant
  2678.  WHEN__variant_OTHERS__=>
  2679.  choice
  2680.  {basic_declarative_item}
  2681.  declarative_part
  2682.  body
  2683.  {later_declarative_item}
  2684.  basic_declarative_item
  2685.  representation_clause
  2686.  use_clause
  2687.  later_declarative_item
  2688.  proper_body
  2689.  body_stub
  2690.  subprogram_body
  2691.  package_body
  2692.  task_body
  2693.  indexed_component
  2694.  selected_component
  2695.  attribute
  2696.  selector
  2697.  attribute_designator
  2698.  component_associations
  2699.  aggregate
  2700.  expression,expression{,expression}
  2701.  [,others=>expression]
  2702.  choice{|choice}=>expression
  2703.  {,choice{|choice}=>expression}
  2704.  others=>expression
  2705.  ga_expression{,ga_expression}
  2706.  identifier{|identifier}=>expression
  2707.  {,identifier{|identifier}=>expression}
  2708.  relation
  2709.  relation{AND__relation}
  2710.  relation{OR__relation}
  2711.  relation{XOR__relation}
  2712.  relation{AND__THEN__relation}
  2713.  relation{OR__ELSE__relation}
  2714.  [relational_operator__simple_expression]
  2715.  [NOT]IN
  2716.  [unary_adding_operator]term{binary_adding_operator__term}
  2717.  factor{multiplying_operator__factor}
  2718.  term
  2719.  primary
  2720.  [exponentiating_operator__primary]
  2721.  factor
  2722.  high_precedence_unary_operator
  2723.  parenthesized_expression
  2724.  allocator
  2725.  qualified_expression
  2726.  relational_operator
  2727.  binary_adding_operator
  2728.  unary_adding_operator
  2729.  multiplying_operator
  2730.  exponentiating_operator
  2731.  expanded_name
  2732.  {pragma_stm}
  2733.  statement
  2734.  {statement}
  2735.  sequence_of_statements
  2736.  simple_statement
  2737.  compound_statement
  2738.  {label}+
  2739.  assignment_statement
  2740.  exit_statement
  2741.  return_statement
  2742.  goto_statement
  2743.  delay_statement
  2744.  abort_statement
  2745.  raise_statement
  2746.  code_statement
  2747.  call_statement
  2748.  if_statement
  2749.  case_statement
  2750.  loop_statement
  2751.  block_statement
  2752.  accept_statement
  2753.  select_statement
  2754.  label
  2755.  condition__THEN__sequence_of_statements
  2756.  {ELSIF__condition__THEN__sequence_of_statements}
  2757.  [ELSE__sequence_of_statements]
  2758.  condition
  2759.  CASE__expression__IS
  2760.  {pragma_alt}__case_statement_alternative__{case_statement_alternative}
  2761.  WHEN__choice__{|choice}__=>
  2762.  case_statement_alternative
  2763.  WHEN__OTHERS__=>
  2764.  [loop_identifier:]
  2765.  loop_terminal
  2766.  [identifier]
  2767.  iteration_rule
  2768.  begin_end_block
  2769.  declarative_part__begin_end_block
  2770.  begin_terminal
  2771.  exception_terminal
  2772.  {pragma_alt}__exception_handler_list
  2773.  [block_identifier:]
  2774.  declare_terminal
  2775.  subprogram_specification
  2776.  start_identifier
  2777.  parameter_specification
  2778.  {;parameter_specification}
  2779.  designator
  2780.  mode
  2781.  generic_parameter_mode
  2782.  subprogram_specification__IS
  2783.  [end_designator]
  2784.  package_specification
  2785.  PACKAGE__start_identifier__IS
  2786.  {basic_declarative_item}'
  2787.  private_terminal
  2788.  PACKAGE__BODY__start_identifier__IS
  2789.  {,expanded_name}
  2790.  TASK__start_identifier__IS
  2791.  {entry_declaration}__{representation_clause}
  2792.  TASK__TYPE__start_identifier__IS
  2793.  TASK__BODY__start_identifier__IS
  2794.  [(discrete_range)][formal_part]
  2795.  entry_declaration
  2796.  [(expression)][formal_part]
  2797.  ACCEPT__start_identifier__[(expression)][formal_part]__DO
  2798.  selective_wait
  2799.  conditional_entry_call
  2800.  timed_entry_call
  2801.  select_terminal
  2802.  select_alternative
  2803.  {OR__select_alternative}
  2804.  WHEN__condition__=>__selective_wait_alternative
  2805.  selective_wait_alternative
  2806.  accept_alternative
  2807.  delay_alternative
  2808.  terminate_alternative
  2809.  [sequence_of_statements]
  2810.  TERMINATE__;
  2811.  call_statement__[sequence_of_statements]
  2812.  else_terminal
  2813.  or_terminal
  2814.  delay_alternative_in_timed_entry
  2815.  {,name}
  2816.  {compilation_unit}
  2817.  pragma_header
  2818.  compilation_unit
  2819.  context_clause
  2820.  library_or_secondary_unit
  2821.  subunit
  2822.  {with_clause{use_clause}}
  2823.  {,used_identifier}
  2824.  with_clause
  2825.  SEPARATE__(__expanded_name__)
  2826.  WHEN__exception_choice__{|exception_choice}__=>
  2827.  exception_handler
  2828.  exception_choice
  2829.  generic_formal_part
  2830.  generic_terminal
  2831.  {generic_parameter_declaration}
  2832.  generic_parameter_declaration
  2833.  generic_type_definition
  2834.  [IS__name__or__<>]
  2835.  generic_association
  2836.  {,generic_association}
  2837.  FUNCTION__designator__IS
  2838.  [generic_formal_parameter=>]generic_actual_parameter
  2839.  generic_formal_parameter
  2840.  generic_actual_parameter
  2841.  length_clause
  2842.  enumeration_representation_clause
  2843.  address_clause
  2844.  record_representation_clause
  2845.  {component_clause}'
  2846.  alignment_clause
  2847.  component_clause
  2848.  {pragma_variant}
  2849.  {pragma_alt}
  2850.  discriminant_;
  2851.  {variant}
  2852.  {|choice}
  2853.  {basic_declarative_item}__basic_declarative_item|EMPTY
  2854.  {basic_colon_declaration}
  2855.  ga_expression
  2856.  {|identifier}
  2857.  condition__THEN
  2858.  ELSIF__condition__THEN
  2859.  {case_statement_alternative}
  2860.  exception_handler_list
  2861.  parameter_;
  2862.  {entry_declaration}
  2863.  {representation_clause}
  2864.  optional_sequence_of_statements
  2865.  use_clause_list
  2866.  {|exception_choice}
  2867.  {component_clause}
  2868.  WHEN__condition__=>
  2869.  start_{basic_colon_declaration}
  2870.  {basic_colon_declaration}'
  2871. Information about Action Tables
  2872.      
  2873.  Number of Entries      0
  2874.  Origin Table Size      0
  2875.  Action Table Size      0
  2876.  Number Unused      0
  2877.  Distribution of entries      0      0      0      0      0      0      0      0
  2878. Timing Statistics
  2879.      
  2880.                   Cpu Time   Elapsed  LG Reads LG Writes
  2881.  Parse:                286     16753         0       161
  2882.  Preliminary:          179       563         0       343
  2883.  First Map:             30      2760         0        27
  2884.  Item Creation:         32      1744         0        49
  2885.  Follow Map:            10      1486         0         0
  2886.  Closure:               10      1525         0         0
  2887.  States:              1966     15036       183      2575
  2888.  Reductions:         11196     20770      4660      2862
  2889.  Summary:              502      2359       301       120
  2890.  Compress:               0         0         0         0
  2891.  Table Dump:             0         0         0         0
  2892. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  2893. --pretty.cnt
  2894. --::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
  2895. [NOSC.RELEASES.V0101.PRETTY.SOURCE]PPRDECLS.DAT                       142   312
  2896. [NOSC.RELEASES.V0101.PRETTY.SOURCE]PPRUTILS.SPC                        14   237
  2897. [NOSC.RELEASES.V0101.PRETTY.SOURCE]PARSE.BDY                           70   186
  2898. [NOSC.RELEASES.V0101.PRETTY.SOURCE]APPLYACT.SUB                       141   829
  2899. [NOSC.RELEASES.V0101.PRETTY.SOURCE]CHANGE.SPC                          15    93
  2900. [NOSC.RELEASES.V0101.PRETTY.SOURCE]CHANGE.BDY                         175   191
  2901. [NOSC.RELEASES.V0101.PRETTY.SOURCE]PRETTY.SPC                          11    58
  2902. [NOSC.RELEASES.V0101.PRETTY.SOURCE]DRIVER.ADA                         200   207
  2903. [NOSC.RELEASES.V0101.PRETTY.SOURCE]GETNEXT.SUB                         19    19
  2904. [NOSC.RELEASES.V0101.PRETTY.SOURCE]GRMCONST.BDY                        32    30
  2905. [NOSC.RELEASES.V0101.PRETTY.SOURCE]PPRUTILS.BDY                       869   941
  2906. [NOSC.RELEASES.V0101.PRETTY.SOURCE]PRETTY.BDY                          74    86
  2907. [NOSC.RELEASES.V0101.PRETTY.SOURCE]PTBLS.BDY                        34602  3817
  2908.  
  2909.