diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-06-06 10:47:30 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-06-06 10:47:30 +0000 |
| commit | 80aeb5828dacd765b9dded31f586b871c3cb1dd6 (patch) | |
| tree | d398210e4f92106bb31f0bcbe95e1f72c3e41539 /gcc/ada/sinput-l.ads | |
| parent | 715e035e9477bae8708dc45e18fd2e5178ec41e6 (diff) | |
| download | gcc-80aeb5828dacd765b9dded31f586b871c3cb1dd6.tar.gz | |
2007-04-20 Robert Dewar <dewar@adacore.com>
* sinput-l.ads, sinput-l.adb: implement a new pragma No_Body
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125462 138bc75d-0d04-0410-961f-82ee72b054a4
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 7a4dda8f4de..4fb6ba7d2e4 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 |