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 | |
| 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')
| -rw-r--r-- | gcc/ada/sinput-l.adb | 35 | ||||
| -rw-r--r-- | gcc/ada/sinput-l.ads | 7 |
2 files changed, 39 insertions, 3 deletions
diff --git a/gcc/ada/sinput-l.adb b/gcc/ada/sinput-l.adb index b1062b75716..03706f1c764 100644 --- a/gcc/ada/sinput-l.adb +++ b/gcc/ada/sinput-l.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2006, 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- -- @@ -29,7 +29,6 @@ with Atree; use Atree; with Debug; use Debug; with Einfo; use Einfo; with Errout; use Errout; -with Namet; use Namet; with Opt; use Opt; with Osint; use Osint; with Output; use Output; @@ -38,6 +37,7 @@ with Prepcomp; use Prepcomp; with Scans; use Scans; with Scn; use Scn; with Sinfo; use Sinfo; +with Snames; use Snames; with System; use System; with Unchecked_Conversion; @@ -641,6 +641,37 @@ package body Sinput.L is Prep_Buffer (Prep_Buffer_Last) := C; end Put_Char_In_Prep_Buffer; + ----------------------------------- + -- Source_File_Is_Pragma_No_Body -- + ----------------------------------- + + function Source_File_Is_No_Body (X : Source_File_Index) return Boolean is + begin + Initialize_Scanner (No_Unit, X); + + if Token /= Tok_Pragma then + return False; + end if; + + Scan; -- past pragma + + if Token /= Tok_Identifier + or else Chars (Token_Node) /= Name_No_Body + then + return False; + end if; + + Scan; -- past No_Body + + if Token /= Tok_Semicolon then + return False; + end if; + + Scan; -- past semicolon + + return Token = Tok_EOF; + end Source_File_Is_No_Body; + ---------------------------- -- Source_File_Is_Subunit -- ---------------------------- 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 |