summaryrefslogtreecommitdiff
path: root/gcc/ada/g-regpat.ads
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2005-09-05 07:51:25 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2005-09-05 07:51:25 +0000
commit1a1b0b9b6fe17b5c74e507284ee07f066dd02ad1 (patch)
tree7e55fd2579238c1d378290a78f96f5ecd1b6243f /gcc/ada/g-regpat.ads
parent07621d887b37793f9f91692ed0acf522ef12dfd0 (diff)
downloadgcc-1a1b0b9b6fe17b5c74e507284ee07f066dd02ad1.tar.gz
* s-stoele.ads, s-stopoo.ads, s-stratt.ads, s-strops.ads, s-unstyp.ads,
s-valboo.ads, s-valcha.ads, s-valdec.ads, s-valenu.ads, s-valint.ads, s-vallld.ads, s-vallli.ads, s-valllu.ads, s-valrea.ads, s-valuns.ads, s-valuti.ads, s-valwch.ads, s-veboop.ads, s-vector.ads, s-vercon.ads, s-wchcnv.ads, s-wchcon.ads, s-wchjis.ads, s-wchstw.ads, s-wchwts.ads, s-widboo.ads, s-widcha.ads, s-widenu.ads, s-widlli.ads, s-widllu.ads, s-widwch.ads, s-wwdcha.ads, s-wwdenu.ads, s-wwdwch.ads, system.ads, table.ads, types.ads, system-vms_64.ads, s-crtl-vms64.ads, s-addope.ads, system-darwin-ppc.ads, system-vxworks-x86.ads, s-vxwork-x86.ads, system-linux-ppc.ads, i-vxwork-x86.ads, a-numaux-darwin.ads, a-crbtgo.ads, a-crbtgk.ads, a-crbltr.ads, a-coprnu.ads, a-convec.ads, a-contai.ads, a-coinve.ads, a-cohata.ads, a-cohama.ads, a-cihama.ads, a-cidlli.ads, a-cdlili.ads, a-numaux-libc-x86.ads, a-numaux-vxworks.ads, system-linux-ia64.ads, system-freebsd-x86.ads, system-unixware.ads, system-lynxos-ppc.ads, system-lynxos-x86.ads, system-linux-x86_64.ads, system-tru64.ads, s-vxwork-alpha.ads, system-aix.ads, system-vxworks-sparcv9.ads, system-solaris-x86.ads, system-irix-o32.ads, system-irix-n32.ads, s-parame-hpux.ads, system-hpux.ads, system-vxworks-m68k.ads, s-vxwork-m68k.ads, system-linux-x86.ads, system-vxworks-mips.ads, s-vxwork-mips.ads, system-os2.ads, system-interix.ads, s-vxwork-ppc.ads, system-solaris-sparc.ads, s-vxwork-sparcv9.ads, system-solaris-sparcv9.ads, s-parame-vms.ads, system-vms.ads, s-osinte-mingw.ads, system-mingw.ads, s-parame-vms-restrict.ads, system-vms-zcx.ads, s-parame-ae653.ads, system-vxworks-ppc.ads, s-parame-vxworks.ads, system-vxworks-alpha.ads, interfac-vms.ads, a-numaux-x86.ads, a-astaco.ads, a-chahan.ads, a-charac.ads, a-chlat1.ads, a-chlat9.ads, a-colire.adb, a-colire.ads, a-comlin.ads, a-cwila1.ads, a-cwila9.ads, ada.ads, a-decima.ads, a-exextr.adb, a-filico.ads, a-finali.ads, a-interr.ads, a-ioexce.ads, a-dynpri.ads, a-ngcefu.ads, a-ngcefu.adb, a-ngcoty.adb, a-ngcoty.ads, a-ngelfu.ads, a-nudira.adb, a-nudira.ads, a-nuflra.adb, a-numaux.ads, a-numeri.ads, a-reatim.adb, a-stmaco.ads, a-storio.ads, a-strbou.ads, a-stream.ads, a-strfix.ads, a-string.ads, a-strmap.ads, a-strsea.ads, a-strsup.ads, a-strunb.ads, a-stunau.ads, a-stwibo.ads, a-stwifi.ads, a-stwima.ads, a-stwise.ads, a-stwisu.ads, a-stwiun.ads, a-swmwco.ads, a-textio.ads, csets.ads, debug.ads, dec.ads, g-curexc.ads, get_targ.ads, g-except.ads, system-linux-hppa.ads, a-chacon.ads, a-widcha.ads, a-zchara.ads, system-hpux-ia64.ads, a-ciorma.ads, a-coorma.ads, a-ciormu.ads, a-coormu.ads, a-rbtgso.ads, a-chzla1.ads, a-chzla9.ads, a-stzbou.ads, a-stzfix.ads, a-stzmap.ads, a-stzsea.ads, a-stzsup.ads, a-stzunb.ads, a-swunau.ads, a-szunau.ads, gnat.ads, g-regpat.ads, g-speche.ads, g-spitbo.ads, g-table.ads, g-tasloc.ads, g-trasym.ads, i-c.ads, i-cpoint.ads, i-cpp.ads, i-cstrin.ads, i-fortra.ads, interfac.ads, i-os2err.ads, i-os2lib.ads, i-os2syn.ads, i-os2thr.ads, i-vxwork.ads, output.ads, s-arit64.ads, s-atacco.ads, s-boarop.ads, s-casuti.ads, s-crtl.ads, s-exctab.ads, s-exnint.ads, s-exnllf.ads, s-exnlli.ads, s-expint.ads, s-explli.ads, s-expllu.ads, s-expmod.ads, s-expuns.ads, s-fatflt.ads, s-fatgen.ads, s-fatlfl.ads, s-fatllf.ads, s-fatsfl.ads, s-finimp.ads, s-finroo.ads, s-fore.ads, s-geveop.ads, s-htable.ads, s-imgbiu.ads, s-imgboo.ads, s-imgcha.ads, s-imgdec.ads, s-imgenu.ads, s-imgint.ads, s-imgllb.ads, s-imglld.ads, s-imglli.ads, s-imgllu.ads, s-imgllw.ads, s-imgrea.ads, s-imguns.ads, s-imgwch.ads, s-imgwiu.ads, s-io.ads, s-maccod.ads, s-mantis.ads, s-memcop.ads, s-pack03.ads, s-pack05.ads, s-pack06.ads, s-pack07.ads, s-pack09.ads, s-pack10.ads, s-pack11.ads, s-pack12.ads, s-pack13.ads, s-pack14.ads, s-pack15.ads, s-pack17.ads, s-pack18.ads, s-pack19.ads, s-pack20.ads, s-pack21.ads, s-pack22.ads, s-pack23.ads, s-pack24.ads, s-pack25.ads, s-pack26.ads, s-pack27.ads, s-pack28.ads, s-pack29.ads, s-pack30.ads, s-pack31.ads, s-pack33.ads, s-pack34.ads, s-pack35.ads, s-pack36.ads, s-pack37.ads, s-pack38.ads, s-pack39.ads, s-pack40.ads, s-pack41.ads, s-pack42.ads, s-pack43.ads, s-pack44.ads, s-pack45.ads, s-pack46.ads, s-pack47.ads, s-pack48.ads, s-pack49.ads, s-pack50.ads, s-pack51.ads, s-pack52.ads, s-pack53.ads, s-pack54.ads, s-pack55.ads, s-pack56.ads, s-pack57.ads, s-pack58.ads, s-pack59.ads, s-pack60.ads, s-pack61.ads, s-pack62.ads, s-pack63.ads, s-parame.ads, s-pooglo.ads, s-pooloc.ads, s-poosiz.ads, s-powtab.ads, s-purexc.ads, s-sopco3.ads, s-sopco4.ads, s-sopco5.ads: Minor reformatting: reindent pragma Pure/Preelaborate and always use the no parameter form for consistency. * gnat-style.texi: Document rules about Preelaborate/Pure pragmas. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103855 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/g-regpat.ads')
-rw-r--r--gcc/ada/g-regpat.ads36
1 files changed, 17 insertions, 19 deletions
diff --git a/gcc/ada/g-regpat.ads b/gcc/ada/g-regpat.ads
index 6d4257e547f..132d32f945c 100644
--- a/gcc/ada/g-regpat.ads
+++ b/gcc/ada/g-regpat.ads
@@ -7,7 +7,7 @@
-- S p e c --
-- --
-- Copyright (C) 1986 by University of Toronto. --
--- Copyright (C) 1996-2005 Ada Core Technologies, Inc. --
+-- Copyright (C) 1996-2005, AdaCore --
-- --
-- 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- --
@@ -68,7 +68,7 @@
-- extensions that provide full (type 0) computational capabilities.
package GNAT.Regpat is
-pragma Preelaborate (Regpat);
+ pragma Preelaborate;
-- The grammar is the following:
@@ -219,7 +219,7 @@ pragma Preelaborate (Regpat);
-- Several versions of the Match subprogram are provided, with different
-- parameters and return results.
- -- See the description under each of these subprograms.
+ -- See the description under each of these subprograms
-- Here is a short example showing how to get the substring matched by
-- the first parenthesis pair.
@@ -576,7 +576,7 @@ pragma Preelaborate (Regpat);
Data : String;
Data_First : Integer := -1;
Data_Last : Positive := Positive'Last) return Boolean;
- -- Return True if Data matches using the given pattern matcher.
+ -- Return True if Data matches using the given pattern matcher
pragma Inline (Match);
-- All except the last one below
@@ -590,7 +590,7 @@ pragma Preelaborate (Regpat);
-- Match Data using the given pattern matcher and store result in Matches.
-- The expression matches if Matches (0) /= No_Match.
--
- -- At most Matches'Length parenthesis are returned.
+ -- At most Matches'Length parenthesis are returned
-----------
-- Debug --
@@ -615,26 +615,24 @@ private
Program_First : constant := 1;
- -- The "internal use only" fields in regexp are present to pass
- -- info from compile to execute that permits the execute phase
- -- to run lots faster on simple cases. They are:
+ -- The "internal use only" fields in regexp are present to pass info from
+ -- compile to execute that permits the execute phase to run lots faster on
+ -- simple cases. They are:
-- First character that must begin a match or ASCII.Nul
-- Anchored true iff match must start at beginning of line
-- Must_Have pointer to string that match must include or null
-- Must_Have_Length length of Must_Have string
- -- First and Anchored permit very fast decisions on suitable
- -- starting points for a match, cutting down the work a lot.
- -- Must_Have permits fast rejection of lines that cannot possibly
- -- match.
-
- -- The Must_Have tests are costly enough that Optimize
- -- supplies a Must_Have only if the r.e. contains something potentially
- -- expensive (at present, the only such thing detected is * or +
- -- at the start of the r.e., which can involve a lot of backup).
- -- The length is supplied because the test in Execute needs it
- -- and Optimize is computing it anyway.
+ -- First and Anchored permit very fast decisions on suitable starting
+ -- points for a match, cutting down the work a lot. Must_Have permits fast
+ -- rejection of lines that cannot possibly match.
+
+ -- The Must_Have tests are costly enough that Optimize supplies a Must_Have
+ -- only if the r.e. contains something potentially expensive (at present,
+ -- the only such thing detected is * or at the start of the r.e., which can
+ -- involve a lot of backup). The length is supplied because the test in
+ -- Execute needs it and Optimize is computing it anyway.
-- The initialization is meant to fail-safe in case the user of this
-- package tries to use an uninitialized matcher. This takes advantage