* loop-invariant.c (invariant_for_use, check_dependencies): Fail for
[official-gcc.git] / gcc / ada / scng.ads
blob201ce9db73f4994a1962a1aa3f830adb89367eb1
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- S C N G --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 2, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
20 -- Boston, MA 02110-1301, USA. --
21 -- --
22 -- GNAT was originally developed by the GNAT team at New York University. --
23 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 -- --
25 ------------------------------------------------------------------------------
27 -- This package contains a generic lexical analyzer. This is used
28 -- for scanning Ada source files or text files with an Ada-like syntax,
29 -- such as project files. It is instantiated in Scn and Prj.Err.
31 with Casing; use Casing;
32 with Styleg;
33 with Types; use Types;
35 generic
36 with procedure Post_Scan;
37 -- Procedure called by Scan for the following tokens:
38 -- Tok_Char_Literal, Tok_Identifier, Tok_Real_Literal, Tok_Real_Literal,
39 -- Tok_Integer_Literal, Tok_String_Literal, Tok_Operator_Symbol.
41 with procedure Error_Msg (Msg : String; Flag_Location : Source_Ptr);
42 -- Output a message at specified location
44 with procedure Error_Msg_S (Msg : String);
45 -- Output a message at current scan pointer location
47 with procedure Error_Msg_SC (Msg : String);
48 -- Output a message at the start of the current token
50 with procedure Error_Msg_SP (Msg : String);
51 -- Output a message at the start of the previous token
53 with procedure Obsolescent_Check (S : Source_Ptr);
54 -- Called when one of the obsolescent character replacements is
55 -- used with S pointing to the character in question.
57 with package Style is new Styleg
58 (Error_Msg, Error_Msg_S, Error_Msg_SC, Error_Msg_SP);
59 -- Instantiation of Styleg with the same error reporting routines
61 package Scng is
63 procedure Initialize_Scanner (Index : Source_File_Index);
64 -- Initialize lexical scanner for scanning a new file referenced by Index.
65 -- Initialize_Scanner does not call Scan.
67 procedure Scan;
68 -- Scan scans out the next token, and advances the scan state accordingly
69 -- (see package Scan_State for details). If the scan encounters an illegal
70 -- token, then an error message is issued pointing to the bad character,
71 -- and Scan returns a reasonable substitute token of some kind.
72 -- For tokens Char_Literal, Identifier, Real_Literal, Integer_Literal,
73 -- String_Literal and Operator_Symbol, Post_Scan is called after scanning.
75 function Determine_Token_Casing return Casing_Type;
76 pragma Inline (Determine_Token_Casing);
77 -- Determines the casing style of the current token, which is
78 -- either a keyword or an identifier. See also package Casing.
80 procedure Set_Special_Character (C : Character);
81 -- Indicate that one of the following character '#', '$', '?', '@', '`',
82 -- '\', '^', '_' or '~', when found is a Special token.
84 procedure Reset_Special_Characters;
85 -- Indicate that there is no characters that are Special tokens., which
86 -- is the default.
88 procedure Set_End_Of_Line_As_Token (Value : Boolean);
89 -- Indicate if End_Of_Line is a token or not.
90 -- By default, End_Of_Line is not a token.
92 procedure Set_Comment_As_Token (Value : Boolean);
93 -- Indicate if a comment is a token or not.
94 -- By default, a comment is not a token.
96 function Set_Start_Column return Column_Number;
97 -- This routine is called with Scan_Ptr pointing to the first character
98 -- of a line. On exit, Scan_Ptr is advanced to the first non-blank
99 -- character of this line (or to the terminating format effector if the
100 -- line contains no non-blank characters), and the returned result is the
101 -- column number of this non-blank character (zero origin), which is the
102 -- value to be stored in the Start_Column scan variable.
104 end Scng;