diff options
| author | Robert Dewar <dewar@adacore.com> | 2007-06-06 12:47:30 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-06-06 12:47:30 +0200 |
| commit | 0600d9bc835c519013e43a91d434284b7dc868e5 (patch) | |
| tree | d398210e4f92106bb31f0bcbe95e1f72c3e41539 /gcc/ada/sinput-l.ads | |
| parent | ff6821917192a0e459c2b050723a2a66d4b2cb8f (diff) | |
| download | gcc-0600d9bc835c519013e43a91d434284b7dc868e5.zip gcc-0600d9bc835c519013e43a91d434284b7dc868e5.tar.gz gcc-0600d9bc835c519013e43a91d434284b7dc868e5.tar.bz2 | |
sinput-l.ads, [...]: implement a new pragma No_Body
2007-04-20 Robert Dewar <dewar@adacore.com>
* sinput-l.ads, sinput-l.adb: implement a new pragma No_Body
From-SVN: r125462
Diffstat (limited to 'gcc/ada/sinput-l.ads')
| -rw-r--r-- | gcc/ada/sinput-l.ads | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/sinput-l.ads b/gcc/ada/sinput-l.ads index 7a4dda8..4fb6ba7 100644 --- a/gcc/ada/sinput-l.ads +++ b/gcc/ada/sinput-l.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2005, Free Software Foundation, Inc. -- +-- 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- -- @@ -65,6 +65,11 @@ package Sinput.L is -- Called on completing the parsing of a source file. This call completes -- the source file table entry for the current source file. + function Source_File_Is_No_Body (X : Source_File_Index) return Boolean; + -- Returns true if the designated source file contains pragma No_Body; + -- and no other tokens. If the source file contains anything other than + -- this sequence of three tokens, then False is returned. + function Source_File_Is_Subunit (X : Source_File_Index) return Boolean; -- This function determines if a source file represents a subunit. It -- works by scanning for the first compilation unit token, and returning |