Subversion Repositories openrisc

------------------------------------------------------------------------------

--                                                                          --

--                         GNAT COMPILER COMPONENTS                         --

--                                                                          --

--                             V M S _ D A T A                              --

--                                                                          --

--                                 S p e c                                  --

--                                                                          --

--          Copyright (C) 1996-2009, Free Software Foundation, Inc.         --

--                                                                          --

-- GNAT is free software;  you can  redistribute it  and/or modify it under --

-- terms of the  GNU General Public License as published  by the Free Soft- --

-- ware  Foundation;  either version 3,  or (at your option) any later ver- --

-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --

-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --

-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --

-- for  more details.  You should have  received  a copy of the GNU General --

-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --

-- http://www.gnu.org/licenses for a complete copy of the license.          --

--                                                                          --

-- GNAT was originally developed  by the GNAT team at  New York University. --

-- Extensive contributions were provided by Ada Core Technologies Inc.      --

--                                                                          --

------------------------------------------------------------------------------

--  This package contains, for each of the command of the GNAT driver, one

--  constant array; each component of this array is a string that defines,

--  in coded form as explained below, the conversion of a VMS qualifier of the

--  command to the corresponding switch of the GNAT tool corresponding to the

--  command.

--  This package is used by the GNAT driver to invokes the GNAT tools with the

--  switches corresponding to the VMS qualifier and by the Project Manager to

--  convert VMS qualifiers in project files to their corresponding switch

--  values.

--  This package is also an input to the tool that generates the VMS GNAT

--  help information automatically.

--  NOTE: the format of this package must follow the following rules, so that

--        the VMS GNAT help tool works properly:

--    - Each command zone (where the eventual qualifiers are declared) must

--      begin with a boxed comment of the form:

--      ---------------------------------

--      -- Switches for GNAT <COMMAND> --

--      ---------------------------------

--      where <COMMAND> is the name of a GNAT command in capital letters, for

--      example BIND, COMPILE, XREF, ...

--    - each qualifier declaration must be followed either by

--         - a comment starting with "--  NODOC", to indicate that there is

--           no documentation for this qualifier, or

--         - a contiguous sequence of comments that constitute the

--           documentation of the qualifier.

--    - each command zone ends with the declaration of the constant array

--      for the command, of the form:

--      <Command>__Switches : aliased constant Switches :=

package VMS_Data is

   ----------------

   -- QUALIFIERS --

   ----------------

   --  The syntax of a qualifier declaration is as follows:

   --    SWITCH_STRING ::= "/ command-qualifier-name TRANSLATION"

   --    TRANSLATION ::=

   --      DIRECT_TRANSLATION

   --    | DIRECTORIES_TRANSLATION

   --    | FILE_TRANSLATION

   --    | NO_SPACE_FILE_TRANSL

   --    | NUMERIC_TRANSLATION

   --    | STRING_TRANSLATION

   --    | OPTIONS_TRANSLATION

   --    | COMMANDS_TRANSLATION

   --    | ALPHANUMPLUS_TRANSLATION

   --    | OTHER_TRANSLATION

   --    DIRECT_TRANSLATION       ::= space UNIX_SWITCHES

   --    DIRECTORIES_TRANSLATION  ::= =* UNIX_SWITCH *

   --    DIRECTORY_TRANSLATION    ::= =% UNIX_SWITCH %

   --    FILE_TRANSLATION         ::= =@ UNIX_SWITCH @

   --    NO_SPACE_FILE_TRANSL     ::= =< UNIX_SWITCH >

   --    NUMERIC_TRANSLATION      ::= =# UNIX_SWITCH # | # number #

   --    STRING_TRANSLATION       ::= =" UNIX_SWITCH "

   --    OPTIONS_TRANSLATION      ::= =OPTION {space OPTION}

   --    COMMANDS_TRANSLATION     ::= =? ARGS space command-name

   --    ALPHANUMPLUS_TRANSLATION ::= =| UNIX_SWITCH |

   --    UNIX_SWITCHES ::= UNIX_SWITCH {, UNIX_SWITCH}

   --    UNIX_SWITCH ::= unix-switch-string | !unix-switch-string | `string'

   --    OPTION ::= option-name space UNIX_SWITCHES

   --    ARGS ::= -cargs | -bargs | -largs

   --  Here command-qual is the name of the switch recognized by the GNATCmd.

   --  This is always given in upper case in the templates, although in the

   --  actual commands, either upper or lower case is allowed.

   --  The unix-switch-string always starts with a minus, and has no commas

   --  or spaces in it. Case is significant in the unix switch string. If a

   --  unix switch string is preceded by the not sign (!) it means that the

   --  effect of the corresponding command qualifier is to remove any previous

   --  occurrence of the given switch in the command line.

   --  The DIRECTORIES_TRANSLATION format is used where a list of directories

   --  is given. This possible corresponding formats recognized by GNATCmd are

   --  as shown by the following example for the case of PATH

   --    PATH=direc

   --    PATH=(direc,direc,direc,direc)

   --  When more than one directory is present for the DIRECTORIES case, then

   --  multiple instances of the corresponding unix switch are generated,

   --  with the file name being substituted for the occurrence of *.

   --  The FILE_TRANSLATION format is similar except that only a single

   --  file is allowed, not a list of files, and only one unix switch is

   --  generated as a result.

   --  the NO_SPACE_FILE_TRANSL is similar to FILE_TRANSLATION, except that

   --  no space is inserted between the switch and the file name.

   --  The NUMERIC_TRANSLATION format is similar to the FILE_TRANSLATION case

   --  except that the parameter is a decimal integer in the range 0 to 999999.

   --  For the OPTIONS_TRANSLATION case, GNATCmd similarly permits one or

   --  more options to appear (although only in some cases does the use of

   --  multiple options make logical sense). For example, taking the

   --  case of ERRORS for GCC, the following are all allowed:

   --    /ERRORS=BRIEF

   --    /ERRORS=(FULL,VERBOSE)

   --    /ERRORS=(BRIEF IMMEDIATE)

   --  If no option is provided (e.g. just /ERRORS is written), then the

   --  first option in the list is the default option. For /ERRORS this

   --  is NORMAL, so /ERRORS with no option is equivalent to /ERRORS=NORMAL.

   --  The COMMANDS_TRANSLATION case is only used for gnatmake, to correspond

   --  to the use of -cargs, -bargs and -largs (the ARGS string as indicated

   --  is one of these three possibilities). The name given by COMMAND is the

   --  corresponding command name to be used to interpret the switches to be

   --  passed on. Switches of this type set modes, e.g. /COMPILER_QUALIFIERS

   --  sets the mode so that all subsequent switches, up to another switch

   --  with COMMANDS_TRANSLATION apply to the corresponding commands issued

   --  by the make utility. For example

   --    /COMPILER_QUALIFIERS /LIST /BINDER_QUALIFIERS /MAIN

   --    /COMPILER_QUALIFIERS /NOLIST /COMPILE_CHECKS=SYNTAX

   --  Clearly these switches must come at the end of the list of switches

   --  since all subsequent switches apply to an issued command.

   --  For the DIRECT_TRANSLATION case, an implicit additional qualifier

   --  declaration is created by prepending NO to the name of the qualifier,

   --  and then inverting the sense of the UNIX_SWITCHES string. For example,

   --  given the qualifier definition:

   --     "/LIST -gnatl"

   --  An implicit qualifier definition is created:

   --     "/NOLIST !-gnatl"

   --  In the case where, a ! is already present, inverting the sense of the

   --  switch means removing it.

   subtype S is String;

   --  A synonym to shorten the table

   type String_Ptr is access constant String;

   --  String pointer type used throughout

   type Switches is array (Natural range <>) of String_Ptr;

   --  Type used for array of switches

   type Switches_Ptr is access constant Switches;

   ----------------------------

   -- Switches for GNAT BIND --

   ----------------------------

   S_Bind_Add     : aliased constant S := "/ADD_PROJECT_SEARCH_DIR=*"      &

                                            "-aP*";

   --        /ADD_PROJECT_SEARCH_PATH=(directory[,...])

   --

   --   Add directories to the project search path.

   S_Bind_Bind    : aliased constant S := "/BIND_FILE="                    &

                                            "ADA "                         &

                                               "-A "                       &

                                            "C "                           &

                                               "-C";

   --        /BIND_FILE[=bind-file-option]

   --

   --   Specifies the language of the binder generated file.

   --

   --        ADA (D)    Binder file is Ada.

   --

   --        C          Binder file is 'C'.

   S_Bind_Build   : aliased constant S := "/BUILD_LIBRARY=|"               &

                                            "-L|";

   --        /BUILD_LIBRARY=xxx

   --

   --        Binds the units for library building. In this case the adainit and

   --        adafinal procedures are rename to xxxinit and xxxfinal. Implies

   --        /NOMAIN.

   S_Bind_Current : aliased constant S := "/CURRENT_DIRECTORY "            &

                                            "!-I-";

   --        /CURRENT_DIRECTORY (D)

   --        /NOCURRENT_DIRECTORY

   --

   --        Look for source, library or object files in the default directory.

   S_Bind_Debug   : aliased constant S := "/DEBUG="                        &

                                            "TRACEBACK "                   &

                                               "-g2 "                      &

                                            "ALL "                         &

                                               "-g3 "                      &

                                            "NONE "                        &

                                               "-g0 "                      &

                                            "SYMBOLS "                     &

                                               "-g1 "                      &

                                            "NOSYMBOLS "                   &

                                               "!-g1 "                     &

                                            "LINK "                        &

                                               "-g3 "                      &

                                            "NOTRACEBACK "                 &

                                               "!-g2";

   --        /DEBUG[=debug-level]

   --        /NODEBUG

   --

   --    Specify level of debugging information generated for the elaboration

   --    routine.  See corresponding qualifier for GNAT COMPILE.

   S_Bind_DebugX  : aliased constant S := "/NODEBUG "                      &

                                            "!-g";

   --  NODOC  (see /DEBUG)

   S_Bind_Elab    : aliased constant S := "/ELABORATION_DEPENDENCIES "     &

                                            "-e";

   --        /ELABORATION_DEPENDENCIES

   --        /NOELABORATION_DEPENDENCIES (D)

   --

   --   Output complete list of elaboration-order dependencies, showing the

   --   reason for each dependency. This output can be rather extensive but may

   --   be useful in diagnosing problems with elaboration order. The output is

   --   written to SYS$OUTPUT.

   S_Bind_Error   : aliased constant S := "/ERROR_LIMIT=#"                 &

                                            "-m#";

   --        /ERROR_LIMIT=nnn

   --

   --   Limit number of detected errors to nnn (1-999999).

   S_Bind_Ext     : aliased constant S := "/EXTERNAL_REFERENCE=" & '"'     &

                                            "-X" & '"';

   --       /EXTERNAL_REFERENCE="name=val"

   --

   --   Specifies an external reference to the project manager. Useful only if

   --   /PROJECT_FILE is used.

   --

   --   Example:

   --      /EXTERNAL_REFERENCE="DEBUG=TRUE"

   S_Bind_Follow  : aliased constant S := "/FOLLOW_LINKS_FOR_FILES "       &

                                            "-eL";

   --        /NOFOLLOW_LINKS_FOR_FILES (D)

   --        /FOLLOW_LINKS_FOR_FILES

   --

   --    Follow links when parsing project files

   S_Bind_Force   : aliased constant S := "/FORCE_ELAB_FLAGS "             &

                                            "-F";

   --        /NOFORCE_ELAB_FLAGS (D)

   --        /FORCE_ELAB_FLAGS

   --

   --    Force checking of elaboration Flags

   S_Bind_Help    : aliased constant S := "/HELP "                         &

                                            "-h";

   --        /HELP

   --

   --   Output usage information.

   S_Bind_Init    : aliased constant S := "/INITIALIZE_SCALARS="           &

                                            "INVALID "                     &

                                               "-Sin "                     &

                                            "LOW "                         &

                                               "-Slo "                     &

                                            "HIGH "                        &

                                               "-Shi";

   --        /INITIALIZE_SCALARS[=scalar-option]

   --

   --   Indicate how uninitialized scalar values for which a pragma

   --   Initialize_Scalars applies should be initialized.

   --   scalar-option may be one of the following:

   --

   --      INVALID (D)  Initialize with an invalid value.

   --      LOW          Initialize with the lowest valid value of the subtype.

   --      HIGH         Initialize with the highest valid value of the subtype.

   S_Bind_Leap    : aliased constant S := "/ENABLE_LEAP_SECONDS "          &

                                            "-y";

   --      /ENABLE_LEAP_SECONDS

   --      /NOENABLE_LEAP_SECONDS (D)

   --

   --   Enable leap seconds support in Ada.Calendar and its children.

   S_Bind_Library : aliased constant S := "/LIBRARY_SEARCH=*"              &

                                            "-aO*";

   --        /LIBRARY_SEARCH=(direc[,...])

   --

   --        When looking for library and object files look also in directories

   --        specified.

   S_Bind_Linker  : aliased constant S := "/LINKER_OPTION_LIST "           &

                                            "-K";

   --        /NOLINKER_OPTION_LIST (D)

   --        /LINKER_OPTION_LIST

   --

   --        Output linker options to SYS$OUTPUT.  Includes library search

   --        paths, contents of pragmas Ident and Linker_Options, and

   --        libraries added by GNAT BIND.

   S_Bind_Main    : aliased constant S := "/MAIN "                         &

                                            "!-n";

   --        /MAIN (D)

   --

   --   The main program is in Ada.

   --

   --        /NOMAIN

   --

   --   The main program is not in Ada.

   S_Bind_Mess    : aliased constant S := "/MESSAGES_PROJECT_FILE="        &

                                            "DEFAULT "                     &

                                               "-vP0 "                     &

                                            "MEDIUM "                      &

                                               "-vP1 "                     &

                                            "HIGH "                        &

                                               "-vP2";

   --        /MESSAGES_PROJECT_FILE[=messages-option]

   --

   --   Specifies the "verbosity" of the parsing of project files.

   --   messages-option may be one of the following:

   --

   --      DEFAULT (D)  No messages are output if there is no error or warning.

   --

   --      MEDIUM       A small number of messages are output.

   --

   --      HIGH         A great number of messages are output, most of them not

   --                   being useful for the user.

   S_Bind_Nostinc : aliased constant S := "/NOSTD_INCLUDES "               &

                                            "-nostdinc";

   --        /NOSTD_INCLUDES

   --

   --    Do not look for sources the in the system default directory.

   S_Bind_Nostlib : aliased constant S := "/NOSTD_LIBRARIES "              &

                                            "-nostdlib";

   --        /NOSTD_LIBRARIES

   --

   --    Do not look for library files in the system default directory.

   S_Bind_No_Time : aliased constant S := "/NO_TIME_STAMP_CHECK "          &

                                            "-t";

   --  NODOC (see /TIME_STAMP_CHECK)

   S_Bind_Object  : aliased constant S := "/OBJECT_LIST "                  &

                                            "-O";

   --        /NOOBJECT_LIST (D)

   --        /OBJECT_LIST

   --

   --    Output full names of all the object files that must be linker to

   --    provide the Ada component of the program. The output is written to

   --    SYS$OUTPUT.

   S_Bind_Order   : aliased constant S := "/ORDER_OF_ELABORATION "         &

                                            "-l";

   --        /NOORDER_OF_ELABORATION (D)

   --        /ORDER_OF_ELABORATION

   --

   --   Output chosen elaboration order. The output is written to SYS$OUTPUT.

   S_Bind_Output  : aliased constant S := "/OUTPUT=@"                      &

                                            "-o@";

   --        /OUTPUT=filename

   --

   --   File name to use for the program containing the elaboration code.

   S_Bind_OutputX : aliased constant S := "/NOOUTPUT "                     &

                                            "-c";

   --        /NOOUTPUT

   --

   --   Check only. Do not generate the binder output file.

   --

   --   In this mode the binder performs all error checks but does not generate

   --   an output file.

   S_Bind_Pess    : aliased constant S := "/PESSIMISTIC_ELABORATION "      &

                                            "-p";

   --        /PESSIMISTIC_ELABORATION

   --

   --   Causes the binder to choose a "pessimistic" elaboration order, i.e. one

   --   which is most likely to cause elaboration order problems. This can be

   --   useful in testing portable code to make sure that there are no missing

   --   elaborate pragmas.

   S_Bind_Project : aliased constant S := "/PROJECT_FILE=<"                &

                                            "-P>";

   --        /PROJECT_FILE=filename

   --

   --   Specifies the main project file to be used. The project files rooted

   --   at the main project file will be parsed before the invocation of the

   --   binder. The source and object directories to be searched will be

   --   communicated to the binder through logical names ADA_PRJ_INCLUDE_FILE

   --   and ADA_PRJ_OBJECTS_FILE.

   S_Bind_Read    : aliased constant S := "/READ_SOURCES="                 &

                                            "ALL "                         &

                                               "-s "                       &

                                            "NONE "                        &

                                               "-x "                       &

                                            "AVAILABLE "                   &

                                               "!-x,!-s";

   --        /READ_SOURCES[=(keyword[,...])]

   --        /NOREAD_SOURCES

   --

   --   The following keyword are accepted:

   --

   --      ALL (D)      Require source files to be present. In this mode, the

   --                   binder insists on being able to locate all source files

   --                   that are referenced and checks their consistency.  In

   --                   normal mode, if a source file cannot be located it is

   --                   simply ignored. If you specify the ALL keyword, a

   --                   missing source file is an error.

   --

   --      NONE         Exclude source files. In this mode, the binder only

   --                   checks that ALI files are consistent with one another.

   --                   source files are not accessed.  The binder runs faster

   --                   in this mode, and there is still a guarantee that the

   --                   resulting program is self-consistent.

   --

   --                   If a source file has been edited since it was last

   --                   compiled and you specify the NONE keyword, the binder

   --                   will not detect that the object file is out of date

   --                   with the source file.

   --

   --                   This is the same as specifying /NOREAD_SOURCES.

   --

   --      AVAILABLE    Check that object files are consistent with one

   --                   another and are consistent with any source files that

   --                   can be located.

   S_Bind_ReadX   : aliased constant S := "/NOREAD_SOURCES "               &

                                            "-x";

   --  NODOC (see /READ_SOURCES)

   S_Bind_Rename  : aliased constant S := "/RENAME_MAIN=<"                 &

                                            "-M>";

   --        /RENAME_MAIN=xxx

   --

   --   Renames the generated main program from main to xxx.

   --   This is useful in the case of some cross-building environments, where

   --   the actual main program is separate from the one generated

   --   by GNAT BIND.

   S_Bind_Report  : aliased constant S := "/REPORT_ERRORS="                &

                                            "VERBOSE "                     &

                                               "-v "                       &

                                            "BRIEF "                       &

                                               "-b "                       &

                                            "DEFAULT "                     &

                                               "!-b,!-v";

   --        /REPORT_ERRORS[=(keyword[,...])]

   --           VERBOSE (D)

   --           BRIEF

   --           DEFAULT

   --        /NOREPORT_ERRORS

   --

   --   With the DEFAULT keyword (which is not the default when the binder is

   --   run from GNAT BIND) or the /NOREPORT_ERRORS qualifier, brief error

   --   messages are generated to SYS$ERROR.  If the VERBOSE keyword is

   --   present, a header is written to SYS$OUTPUT and any error messages are

   --   directed to SYS$OUTPUT  All that is written to SYS$ERROR is a brief

   --   summary message.

   --

   --   If the BRIEF keyword is specified, the binder will generate brief error

   --   messages to SYS$ERROR even if verbose mode is specified. This is

   --   relevant only when used together with the VERBOSE keyword or /VERBOSE

   --   qualifier.

   S_Bind_ReportX : aliased constant S := "/NOREPORT_ERRORS "              &

                                            "!-b,!-v";

   --  NODOC (see /REPORT_ERRORS)

   S_Bind_Restr   : aliased constant S := "/RESTRICTION_LIST "             &

                                            "-r";

   --        /NORESTRICTION_LIST (D)

   --        /RESTRICTION_LIST

   --

   --   Generate list of pragma Restrictions that could be applied to the

   --   current unit. This is useful for code audit purposes, and also may be

   --   used to improve code generation in some cases.

   S_Bind_Return  : aliased constant S := "/RETURN_CODES="                 &

                                            "POSIX "                       &

                                               "!-X1 "                     &

                                            "VMS "                         &

                                               "-X1";

   --        /RETURN_CODES=POSIX (D)

   --        /RETURN_CODES=VMS

   --

   --   Specifies the style of default exit code returned. Must be used in

   --   conjunction with and match the Link qualifier with same name.

   --

   --        POSIX (D)   Return Posix success (0) by default.

   --

   --        VMS         Return VMS success (1) by default.

   S_Bind_RTS     : aliased constant S := "/RUNTIME_SYSTEM=|"              &

                                            "--RTS=|";

   --      /RUNTIME_SYSTEM=xxx

   --

   --    Binds against an alternate runtime system named xxx or RTS-xxx.

   S_Bind_Search  : aliased constant S := "/SEARCH=*"                      &

                                            "-I*";

   --        /SEARCH=(directory[,...])

   --

   --   When looking for source or object files also look in directories

   --   specified.

   --

   --   This is the same as specifying both /LIBRARY_SEARCH and /SOURCE_SEARCH

   --   for a directory.

   S_Bind_Shared  : aliased constant S := "/SHARED "                       &

                                            "-shared,!-static";

   --        /SHARED

   --        /NOSHARED

   --

   --    Link against a shared GNAT run time when available.

   S_Bind_Slice   : aliased constant S := "/TIME_SLICE=#"                  &

                                            "-T#";

   --        /TIME_SLICE=nnn

   --

   --   Set the time slice value to nnn milliseconds. A value of zero means no

   --   time slicing and also indicates to the tasking run time to match as

   --   close as possible to the annex D requirements of the RM.

   S_Bind_Source  : aliased constant S := "/SOURCE_SEARCH=*"               &

                                            "-aI*";

   --        /SOURCE_SEARCH=(directory[,...])

   --

   --    When looking for source files also look in directories specified.

   S_Bind_Static  : aliased constant S := "/STATIC "                       &

                                            "-static,!-shared";

   --        /STATIC

   --        /NOSTATIC

   --

   --    Link against a static GNAT run time.

   S_Bind_Store   : aliased constant S := "/STORE_TRACEBACKS "             &

                                            "-E";

   --        /STORE_TRACEBACKS (D)

   --        /NOSTORE_TRACEBACKS

   --

   --   Store tracebacks in exception occurrences.

   --   This is the default on VMS, with the zero-cost exception mechanism.

   --   This qualifier has no impact, except when using the setjmp/longjmp

   --   exception mechanism, with the GNAT COMPILE qualifier /LONGJMP_SETJMP.

   S_Bind_Subdirs : aliased constant S := "/SUBDIRS=<"                     &

                                            "--subdirs=>";

   --        /SUBDIRS=dir

   --

   --   The actual directories (object, exec, library, ...) are subdirectories

   --   of the directory specified in the project file. If the subdirectory

   --   does not exist, it is created automatically.

   S_Bind_Time    : aliased constant S := "/TIME_STAMP_CHECK "             &

                                            "!-t";

   --      /TIME_STAMP_CHECK (D)

   --

   --   Time stamp errors will be treated as errors.

   --

   --      /NOTIME_STAMP_CHECK

   --

   --   Ignore time stamp errors. Any time stamp error messages are treated as

   --   warning messages. This switch essentially disconnects the normal

   --   consistency checking, and the resulting program may have undefined

   --   semantics if inconsistent units are present.

   --

   --   This means that /NOTIME_STAMP_CHECK should be used only in unusual

   --   situations, with extreme care.

   S_Bind_Verbose : aliased constant S := "/VERBOSE "                      &

                                            "-v";

   --        /VERBOSE (D)

   --        /NOVERBOSE

   --

   --   Equivalent to /REPORT_ERRORS=VERBOSE.

   S_Bind_Warn    : aliased constant S := "/WARNINGS="                     &

                                            "NORMAL "                      &

                                               "!-ws,!-we "                &

                                            "SUPPRESS "                    &

                                               "-ws "                      &

                                            "ERROR "                       &

                                               "-we";

   --      /WARNINGS[=(keyword[,...])]

   --      /NOWARNINGS

   --

   --   The following keywords are supported:

   --

   --        NORMAL (D)    Print warning messages and treat them as warning.

   --        SUPPRESS      Suppress all warning messages (same as /NOWARNINGS).

   --        ERROR         Treat any warning messages as fatal errors

   S_Bind_WarnX   : aliased constant S := "/NOWARNINGS "                   &

                                            "-ws";

   --  NODOC (see /WARNINGS)

   S_Bind_Wide    : aliased constant S := "/WIDE_CHARACTER_ENCODING="      &

                                            "BRACKETS "                    &

                                               "-gnatWb "                  &

                                            "HEX "                         &

                                               "-gnatWh "                  &

                                            "UPPER "                       &

                                               "-gnatWu "                  &

                                            "SHIFT_JIS "                   &

                                               "-gnatWs "                  &

                                            "UTF8 "                        &

                                               "-gnatW8 "                  &

                                            "EUC "                         &

                                               "-gnatWe";

   --        /NOWIDE_CHARACTER_ENCODING (D)

   --        /WIDE_CHARACTER_ENCODING[=encode-type]

   --

   --   Specifies the mechanism used to encode wide characters, overriding

   --   the default as set by the /WIDE_CHARACTER_ENCODING option for the

   --   compilation of the main program.

   S_Bind_Zero    : aliased constant S := "/ZERO_MAIN "                    &

                                            "-z";

   --        /NOZERO_MAIN (D)

   --        /ZERO_MAIN

   --

   --   Normally the binder checks that the unit name given on the command line

   --   corresponds to a suitable main subprogram. When /ZERO_MAIN is used,

   --   a list of ALI files can be given, and the execution of the program

   --   consists of elaboration of these units in an appropriate order.

   Bind_Switches : aliased constant Switches :=

                     (S_Bind_Add     'Access,

                      S_Bind_Bind    'Access,

                      S_Bind_Build   'Access,

                      S_Bind_Current 'Access,

                      S_Bind_Debug   'Access,

                      S_Bind_DebugX  'Access,

                      S_Bind_Elab    'Access,

                      S_Bind_Error   'Access,

                      S_Bind_Ext     'Access,

                      S_Bind_Follow  'Access,

                      S_Bind_Force   'Access,

                      S_Bind_Help    'Access,

                      S_Bind_Init    'Access,

                      S_Bind_Leap    'Access,

                      S_Bind_Library 'Access,

                      S_Bind_Linker  'Access,

                      S_Bind_Main    'Access,

                      S_Bind_Mess    'Access,

                      S_Bind_Nostinc 'Access,

                      S_Bind_Nostlib 'Access,

                      S_Bind_No_Time 'Access,

                      S_Bind_Object  'Access,

                      S_Bind_Order   'Access,

                      S_Bind_Output  'Access,

                      S_Bind_OutputX 'Access,

                      S_Bind_Pess    'Access,

                      S_Bind_Project 'Access,

                      S_Bind_Read    'Access,

                      S_Bind_ReadX   'Access,

                      S_Bind_Rename  'Access,

                      S_Bind_Report  'Access,

                      S_Bind_ReportX 'Access,

                      S_Bind_Restr   'Access,

                      S_Bind_Return  'Access,

                      S_Bind_RTS     'Access,

                      S_Bind_Search  'Access,

                      S_Bind_Shared  'Access,

                      S_Bind_Slice   'Access,

                      S_Bind_Source  'Access,

                      S_Bind_Static  'Access,

                      S_Bind_Store   'Access,

                      S_Bind_Subdirs 'Access,

                      S_Bind_Time    'Access,

                      S_Bind_Verbose 'Access,

                      S_Bind_Warn    'Access,

                      S_Bind_WarnX   'Access,

                      S_Bind_Wide    'Access,

                      S_Bind_Zero    'Access);

   -----------------------------

   -- Switches for GNAT CHECK --

   -----------------------------

   S_Check_Add    : aliased constant S := "/ADD_PROJECT_SEARCH_DIR=*"      &

                                            "-aP*";

   --        /ADD_PROJECT_SEARCH_PATH=(directory[,...])

   --

   --   Add directories to the project search path.

   S_Check_All    : aliased constant S := "/ALL "                          &

                                            "-a";

   --        /NOALL (D)

   --        /ALL

   --

   --   Also check the components of the GNAT run time and process the needed

   --  components of the GNAT RTL when building and analyzing the global

   --  structure for checking the global rules.

   S_Check_Ext     : aliased constant S := "/EXTERNAL_REFERENCE=" & '"'    &

                                             "-X" & '"';

   --       /EXTERNAL_REFERENCE="name=val"

   --

   --   Specifies an external reference to the project manager. Useful only if

   --   /PROJECT_FILE is used.

   --

   --   Example:

   --      /EXTERNAL_REFERENCE="DEBUG=TRUE"

   S_Check_Files  : aliased constant S := "/FILES=@"                       &

                                             "-files=@";

   --      /FILES=filename

   --

   --   Take as arguments the files that are listed in the specified

   --   text file.

   S_Check_Follow : aliased constant S := "/FOLLOW_LINKS_FOR_FILES "       &

                                            "-eL";

   --        /NOFOLLOW_LINKS_FOR_FILES (D)

   --        /FOLLOW_LINKS_FOR_FILES

   --

   --    Follow links when parsing project files

   S_Check_Help   : aliased constant S := "/HELP "                         &

                                            "-h";

   --        /NOHELP (D)

   --        /HELP

   --

   --   Print information about currently implemented checks.

   S_Check_Locs   : aliased constant S := "/LOCS "                         &

                                            "-l";

   --        /NOLOCS (D)

   --        /LOCS

   --

   --   Use full source locations references in the report file.

   S_Diagnosis   : aliased constant S := "/DIAGNOSTIC_LIMIT=#"             &

                                            "-m#";

   --        /DIAGNOSTIC_LIMIT=500 (D)

   --        /DIAGNOSTIC_LIMIT=nnn

   --

   --   NNN is a decimal integer in the range of 1 to 1000 and limits the

   --   number of diagnostic messages to be generated into Stdout to that

   --   number.  Once that number has been reached, gnatcheck stops

   --   to print out diagnoses into Stderr. If NNN is equal to 0, this means

   --   that there is no limit on the number of diagnoses in Stdout.

   S_Check_Mess    : aliased constant S := "/MESSAGES_PROJECT_FILE="       &

                                             "DEFAULT "                    &

                                                "-vP0 "                    &

                                             "MEDIUM "                     &

                                                "-vP1 "                    &

                                             "HIGH "                       &

                                                "-vP2";

   --        /MESSAGES_PROJECT_FILE[=messages-option]

   --

   --   Specifies the "verbosity" of the parsing of project files.

   --   messages-option may be one of the following:

   --

   --      DEFAULT (D)  No messages are output if there is no error or warning.

   --

   --      MEDIUM       A small number of messages are output.

   --

   --      HIGH         A great number of messages are output, most of them not

   --                   being useful for the user.

   S_Check_Project : aliased constant S := "/PROJECT_FILE=<"               &

                                             "-P>";

   --        /PROJECT_FILE=filename

   --

   --   Specifies the main project file to be used. The project files rooted

   --   at the main project file will be parsed before the invocation of the

   --   gnatcheck. The source directories to be searched will be communicated

   --   to gnatcheck through logical name ADA_PRJ_INCLUDE_FILE.

   S_Check_Quiet  : aliased constant S := "/QUIET "                        &

                                            "-q";

   --        /NOQUIET (D)