b5c84c3ccf
2007-09-10 Robert Dewar <dewar@adacore.com> * exp_atag.ads, exp_atag.adb, mlib-tgt-tru64.adb, mlib-tgt-aix.adb, mlib-tgt-irix.adb, mlib-tgt-hpux.adb, mlib-tgt-linux.adb, mlib-tgt-solaris.adb, mlib-tgt-vms-alpha.adb, mlib-tgt-vms-ia64.adb, mlib-tgt-mingw.adb, mlib-tgt-vxworks.adb, ali.adb, ali.ads, ali-util.adb, ali-util.ads, atree.h, back_end.adb, back_end.ads, bcheck.adb, bcheck.ads, binde.adb, binde.ads, binderr.adb, binderr.ads, bindgen.adb, bindgen.ads, bindusg.adb, bindusg.ads, butil.adb, butil.ads, checks.adb, checks.ads, clean.adb, clean.ads, comperr.adb, comperr.ads, cstand.adb, cstand.ads, debug_a.adb, debug_a.ads, elists.h, errout.adb, erroutc.ads, errutil.adb, errutil.ads, err_vars.ads, eval_fat.adb, eval_fat.ads, exp_sel.ads, exp_sel.adb, exp_aggr.adb, exp_aggr.ads, expander.adb, expander.ads, exp_attr.ads, exp_ch10.ads, exp_ch11.adb, exp_ch12.adb, exp_ch12.ads, exp_ch13.adb, exp_ch13.ads, exp_ch2.adb, exp_ch2.ads, exp_ch3.ads, exp_ch4.adb, exp_ch4.ads, exp_ch5.adb, exp_ch5.ads, exp_ch6.adb, exp_ch6.ads, exp_ch7.adb, exp_ch7.ads, exp_ch8.adb, exp_ch8.ads, exp_ch9.adb, exp_ch9.ads, exp_code.adb, exp_code.ads, exp_dbug.adb, exp_dbug.ads, exp_disp.ads, exp_dist.adb, exp_dist.ads, exp_fixd.adb, exp_fixd.ads, exp_imgv.adb, exp_imgv.ads, exp_intr.adb, exp_intr.ads, exp_pakd.adb, exp_pakd.ads, exp_prag.adb, exp_prag.ads, exp_smem.adb, exp_strm.adb, exp_strm.ads, exp_tss.adb, exp_tss.ads, exp_util.adb, exp_util.ads, exp_vfpt.adb, exp_vfpt.ads, fmap.adb, fmap.ads, fname-sf.adb, fname-sf.ads, fname-uf.adb, fname-uf.ads, frontend.adb, frontend.ads, get_targ.adb, get_targ.ads, gnat1drv.adb, gnat1drv.ads, gnatbind.adb, gnatbind.ads, gnatbl.c, gnatchop.adb, gnatclean.adb, gnatcmd.adb, gnatcmd.ads, gnatdll.adb, gnatfind.adb, gnatkr.adb, gnatkr.ads, gnatlbr.adb, gnatlink.adb, gnatlink.ads, gnatls.adb, gnatls.ads, gnatmake.adb, gnatmake.ads, gnatmem.adb, gnatname.adb, gnatname.ads, gnatprep.adb, gnatprep.ads, gnatsym.adb, gnatxref.adb, gprep.adb, gprep.ads, hlo.adb, hlo.ads, impunit.adb, impunit.ads, inline.adb, inline.ads, itypes.adb, itypes.ads, layout.adb, layout.ads, lib-load.adb, lib-load.ads, lib-util.adb, lib-util.ads, lib-writ.adb, lib-writ.ads, lib-xref.adb, lib-xref.ads, live.adb, live.ads, make.adb, make.ads, makeutl.ads, makeutl.adb, makeusg.adb, makeusg.ads, mdll.adb, mdll.ads, mdll-fil.adb, mdll-fil.ads, mdll-utl.adb, mdll-utl.ads, memroot.adb, memroot.ads, mlib.adb, mlib.ads, mlib-fil.adb, mlib-fil.ads, mlib-prj.adb, mlib-prj.ads, mlib-tgt.adb, mlib-tgt.ads, mlib-utl.adb, mlib-utl.ads, namet.h, nmake.adt, osint.adb, osint.ads, osint-b.adb, osint-b.ads, osint-c.adb, osint-c.ads, osint-l.adb, osint-l.ads, osint-m.adb, osint-m.ads, par.adb, par.ads, par-ch10.adb, par-ch11.adb, par-ch12.adb, par-ch13.adb, par-ch2.adb, par-ch3.adb, par-ch4.adb, par-ch5.adb, par-ch6.adb, par-ch7.adb, par-ch8.adb, par-ch9.adb, par-endh.adb, par-labl.adb, par-load.adb, par-prag.adb, par-sync.adb, par-tchk.adb, par-util.adb, prep.adb, prep.ads, prepcomp.adb, prepcomp.ads, prj.adb, prj.ads, prj-attr.adb, prj-attr.ads, prj-com.ads, prj-dect.adb, prj-dect.ads, prj-err.adb, prj-err.ads, prj-ext.adb, prj-ext.ads, prj-makr.adb, prj-makr.ads, prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb, prj-pars.ads, prj-part.adb, prj-part.ads, prj-pp.adb, prj-pp.ads, prj-proc.adb, prj-proc.ads, prj-strt.adb, prj-strt.ads, prj-tree.adb, prj-tree.ads, prj-util.adb, prj-util.ads, restrict.adb, restrict.ads, rtsfind.adb, rtsfind.ads, scn.adb, scn.ads, scng.adb, scng.ads, sdefault.ads, sem.ads, sem_aggr.ads, sem_attr.adb, sem_case.adb, sem_case.ads, sem_cat.adb, sem_cat.ads, sem_ch10.adb, sem_ch10.ads, sem_ch11.adb, sem_ch11.ads, sem_ch12.ads, sem_ch13.adb, sem_ch13.ads, sem_ch2.adb, sem_ch2.ads, sem_ch3.adb, sem_ch3.ads, sem_ch4.ads, sem_ch5.adb, sem_ch5.ads, sem_ch6.adb, sem_ch6.ads, sem_ch7.adb, sem_ch7.ads, sem_ch8.adb, sem_ch8.ads, sem_ch9.adb, sem_ch9.ads, sem_disp.adb, sem_disp.ads, sem_dist.adb, sem_dist.ads, sem_elab.adb, sem_elab.ads, sem_elim.adb, sem_elim.ads, sem_eval.adb, sem_eval.ads, sem_intr.adb, sem_intr.ads, sem_maps.adb, sem_maps.ads, sem_mech.adb, sem_mech.ads, sem_prag.adb, sem_prag.ads, sem_res.adb, sem_res.ads, sem_smem.adb, sem_smem.ads, sem_type.adb, sem_type.ads, sem_util.adb, sem_util.ads, sem_vfpt.adb, sem_vfpt.ads, sem_warn.adb, sem_warn.ads, sfn_scan.ads, sinfo-cn.adb, sinfo-cn.ads, sinput-c.adb, sinput-c.ads, sinput-d.adb, sinput-d.ads, sinput-l.adb, sinput-l.ads, sinput-p.adb, sinput-p.ads, snames.h, sprint.adb, sprint.ads, stringt.h, style.ads, styleg.adb, styleg.ads, styleg-c.adb, styleg-c.ads, stylesw.adb, stylesw.ads, switch.adb, switch.ads, switch-b.adb, switch-b.ads, switch-c.adb, switch-c.ads, switch-m.adb, switch-m.ads, symbols.adb, symbols.ads, targparm.adb, tbuild.adb, tbuild.ads, tempdir.adb, tempdir.ads, tree_gen.adb, tree_gen.ads, treepr.adb, treepr.ads, treeprs.adt, ttypef.ads, ttypes.ads, types.h, uintp.h, urealp.h, usage.adb, usage.ads, validsw.adb, validsw.ads, vxaddr2line.adb, xeinfo.adb, xnmake.adb, xref_lib.adb, xref_lib.ads, xr_tabls.adb, xr_tabls.ads, xsinfo.adb, xtreeprs.adb, xsnames.adb, vms_conv.ads, vms_conv.adb, xgnatugn.adb, gprmake.adb, makegpr.ads, makegpr.adb, prj-attr-pm.ads, prj-attr-pm.adb, mlib-tgt-lynxos.adb, mlib-tgt-darwin.adb, symbols-vms.adb, symbols-processing-vms-alpha.adb, symbols-processing-vms-ia64.adb, mlib-tgt-specific.adb, mlib-tgt-specific.ads, mlib-tgt-vms.adb, mlib-tgt-vms.ads: Replace headers with GPL v3 headers. From-SVN: r128332
162 lines
7.2 KiB
Ada
162 lines
7.2 KiB
Ada
------------------------------------------------------------------------------
|
|
-- --
|
|
-- GNAT COMPILER COMPONENTS --
|
|
-- --
|
|
-- G N A T P R E P --
|
|
-- --
|
|
-- S p e c --
|
|
-- --
|
|
-- Copyright (C) 1992-2007, 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 program provides a simple preprocessing capability for Ada programs.
|
|
-- It is designed for use with GNAT, but is not dependent on any special
|
|
-- features of GNAT.
|
|
|
|
-- To call gnatprep use
|
|
|
|
-- gnatprep infile outfile [deffile] [-v] [-c] [-b] [-r] [-s] [-u]
|
|
-- [-Dsymbol=value]
|
|
|
|
-- where
|
|
|
|
-- infile is the full name of the input file, which is an Ada source
|
|
-- file containing preprocessor directives.
|
|
|
|
-- outfile is the full name of the output file, which is an Ada source
|
|
-- in standard Ada form. When used with GNAT, this file name will
|
|
-- normally have an ads or adb suffix.
|
|
|
|
-- deffile is the full name of a text file containing definitions of
|
|
-- symbols to be referenced by the preprocessor. This argument is
|
|
-- optional.
|
|
|
|
-- The -c switch, causes both preprocessor lines and the lines deleted
|
|
-- by preprocessing to be retained in the output source as comments marked
|
|
-- with the special string "--! ". This option will result in line numbers
|
|
-- being preserved in the output file.
|
|
|
|
-- The -b switch causes both preprocessor lines and the lines deleted by
|
|
-- preprocessing to be replaced by blank lines in the output source file,
|
|
-- thus preserving line numbers in the output file.
|
|
|
|
-- The -r switch causes a Source_Reference pragma to be generated that
|
|
-- references the original input file, so that error messages will use
|
|
-- the file name of this original file.
|
|
|
|
-- The -u switch causes gnatprep to treat any undefined symbol that it
|
|
-- encounters as having the value False. Otherwise an undefined symbol
|
|
-- is a fatal error.
|
|
|
|
-- The -s switch causes a sorted list of symbol names and values to be
|
|
-- listed on the standard output file.
|
|
|
|
-- The -v switch causes a Copyright notice to be displayed, and
|
|
-- lines containing errors in the input file or the definition file
|
|
-- to be displayed before the errors.
|
|
|
|
-- The -D switch causes symbol 'symbol' to be associated with 'value'.
|
|
-- This symbols can then be referenced by the preprocessor. Several
|
|
-- -D switches may be specified.
|
|
|
|
-- Note: if neither -b nor -c is present, then preprocessor lines and
|
|
-- deleted lines are completely removed from the output, unless -r is
|
|
-- specified, in which case -b is assumed.
|
|
|
|
-- The definitions file contains lines of the form
|
|
|
|
-- symbol := value
|
|
|
|
-- where symbol is an identifier, following normal Ada (case-insensitive)
|
|
-- rules for its syntax, and value is one of the following:
|
|
|
|
-- Empty, corresponding to a null substitution
|
|
|
|
-- A string literal using normal Ada syntax
|
|
|
|
-- Any sequence of characters from the set
|
|
-- (letters, digits, period, underline)
|
|
|
|
-- Comment lines may also appear in the definitions file, starting with
|
|
-- the usual --, and comments may be added to the definitions lines.
|
|
|
|
-- The input text may contain preprocessor conditional inclusion lines,
|
|
-- and also general symbol substitution sequences.
|
|
|
|
-- The preprocessor conditional inclusion commands have the form
|
|
|
|
-- #if <expression> [then]
|
|
-- lines
|
|
-- #elsif <expression> [then]
|
|
-- lines
|
|
-- #elsif <expression> [then]
|
|
-- lines
|
|
-- ...
|
|
-- #else
|
|
-- lines
|
|
-- #end if;
|
|
--
|
|
-- Where expression is defined by the following grammar :
|
|
-- expression ::= <symbol>
|
|
-- expression ::= <symbol> = "<value>"
|
|
-- expression ::= <symbol> = <symbol>
|
|
-- expression ::= <symbol> 'Defined
|
|
-- expression ::= not <expression>
|
|
-- expression ::= <expression> and <expression>
|
|
-- expression ::= <expression> or <expression>
|
|
-- expression ::= <expression> and then <expression>
|
|
-- expression ::= <expression> or else <expression>
|
|
-- expression ::= ( <expression> )
|
|
|
|
-- "or" and "and" may not be used in the same expression without
|
|
-- using parentheses.
|
|
|
|
-- For these Boolean tests, the symbol must have either the value True or
|
|
-- False. If the value is True, then the corresponding lines are included,
|
|
-- and if the value is False, they are excluded. It is an error to
|
|
-- reference a symbol not defined in the symbol definitions file, or
|
|
-- to reference a symbol that has a value other than True or False.
|
|
|
|
-- The use of the not operator inverts the sense of this logical test, so
|
|
-- that the lines are included only if the symbol is not defined.
|
|
|
|
-- The THEN keyword is optional as shown
|
|
|
|
-- Spaces or tabs may appear between the # and the keyword. The keywords
|
|
-- and the symbols are case insensitive as in normal Ada code. Comments
|
|
-- may be used on a preprocessor line, but other than that, no other
|
|
-- tokens may appear on a preprocessor line.
|
|
|
|
-- Any number of #elsif clauses can be present, including none at all
|
|
|
|
-- The #else is optional, as in Ada
|
|
|
|
-- The # marking the start of a preprocessor line must be the first
|
|
-- non-blank character on the line, i.e. it must be preceded only by
|
|
-- spaces or horizontal tabs.
|
|
|
|
-- Symbol substitution is obtained by using the sequence
|
|
|
|
-- $symbol
|
|
|
|
-- anywhere within a source line, except in a comment. The identifier
|
|
-- following the $ must match one of the symbols defined in the symbol
|
|
-- definition file, and the result is to substitute the value of the
|
|
-- symbol in place of $symbol in the output file.
|
|
|
|
procedure GNATprep;
|