From 0600d9bc835c519013e43a91d434284b7dc868e5 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Wed, 6 Jun 2007 12:47:30 +0200 Subject: [PATCH] sinput-l.ads, [...]: implement a new pragma No_Body 2007-04-20 Robert Dewar * sinput-l.ads, sinput-l.adb: implement a new pragma No_Body From-SVN: r125462 --- gcc/ada/sinput-l.adb | 35 +++++++++++++++++++++++++++++++++-- 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 -- 2.30.2