File : scng.ads


   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                                 S C N G                                  --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1992-2013, 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 3,  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 COPYING3.  If not, go to --
  19 -- http://www.gnu.org/licenses for a complete copy of the license.          --
  20 --                                                                          --
  21 -- GNAT was originally developed  by the GNAT team at  New York University. --
  22 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  23 --                                                                          --
  24 ------------------------------------------------------------------------------
  25 
  26 --  This package contains a generic lexical analyzer. This is used for scanning
  27 --  Ada source files or text files with an Ada-like syntax, such as project
  28 --  files. It is instantiated in Scn and Prj.Err.
  29 
  30 with Casing; use Casing;
  31 with Styleg;
  32 with Types;  use Types;
  33 
  34 generic
  35    with procedure Post_Scan;
  36    --  Procedure called by Scan for the following tokens: Tok_Char_Literal,
  37    --  Tok_Identifier, Tok_Real_Literal, Tok_Real_Literal, Tok_Integer_Literal,
  38    --  Tok_String_Literal, Tok_Operator_Symbol, and Tok_Vertical_Bar. Used to
  39    --  build Token_Node and also check for obsolescent features.
  40 
  41    with procedure Error_Msg (Msg : String; Flag_Location : Source_Ptr);
  42    --  Output a message at specified location
  43 
  44    with procedure Error_Msg_S (Msg : String);
  45    --  Output a message at current scan pointer location
  46 
  47    with procedure Error_Msg_SC (Msg : String);
  48    --  Output a message at the start of the current token
  49 
  50    with procedure Error_Msg_SP (Msg : String);
  51    --  Output a message at the start of the previous token
  52 
  53    with package Style is new Styleg
  54      (Error_Msg, Error_Msg_S, Error_Msg_SC, Error_Msg_SP);
  55    --  Instantiation of Styleg with the same error reporting routines
  56 
  57 package Scng is
  58 
  59    procedure Check_End_Of_Line;
  60    --  Called when end of line encountered. Checks that line is not too long,
  61    --  and that other style checks for the end of line are met.
  62 
  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.
  66 
  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.
  74 
  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.
  79 
  80    procedure Set_Special_Character (C : Character);
  81    --  Indicate that one of the following character '#', '$', '?', '@', '`',
  82    --  '\', '^', '_' or '~', when found is a Special token.
  83 
  84    procedure Reset_Special_Characters;
  85    --  Indicate that there is no characters that are Special tokens., which
  86    --  is the default.
  87 
  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.
  91 
  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.
  95 
  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.
 103 
 104 end Scng;