/usr/share/ada/adainclude/opentoken/opentoken-production-parser.ads is in libopentoken4-dev 5.0a-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 | -------------------------------------------------------------------------------
--
-- Copyright (C) 2002, 2003, 2010, 2012, 2013 Stephe Leake
-- Copyright (C) 1999 Ted Dennison
--
-- This file is part of the OpenToken package.
--
-- The OpenToken package is free software; you can redistribute it and/or
-- modify it under the terms of the GNU General Public License as published
-- by the Free Software Foundation; either version 3, or (at your option)
-- any later version. The OpenToken package is distributed in the hope that
-- it will be useful, but WITHOUT ANY WARRANTY; without even the implied
-- warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU General Public License for more details. You should have received
-- a copy of the GNU General Public License distributed with the OpenToken
-- package; see file GPL.txt. If not, write to the Free Software Foundation,
-- 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
--
-- As a special exception, if other files instantiate generics from
-- this unit, or you link this unit with other files to produce an
-- executable, this unit does not by itself cause the resulting
-- executable to be covered by the GNU General Public License. This
-- exception does not however invalidate any other reasons why the
-- executable file might be covered by the GNU Public License.
--
-------------------------------------------------------------------------------
with OpenToken.Production.List;
with OpenToken.Token.Enumerated.Analyzer;
-------------------------------------------------------------------------------
-- This package provides an interface for a parser for grammars defined by a
-- production list. There are many possible different methods for parsing.
-------------------------------------------------------------------------------
with OpenToken.Text_Feeder;
generic
with package Production_List is new OpenToken.Production.List;
pragma Unreferenced (Production_List); -- used in children
with package Tokenizer is new Token.Analyzer (<>);
package OpenToken.Production.Parser is
subtype Nonterminal_ID is Token.Token_ID range Token.Token_ID'Succ (Tokenizer.Last_Terminal) .. Token.Token_ID'Last;
type Instance is abstract tagged private;
----------------------------------------------------------------------------
-- Attempt a parse. This routine will return when the grammar indicates the
-- first production has been parsed. (or an exception is raised)
----------------------------------------------------------------------------
procedure Parse (Parser : in out Instance) is abstract;
--------------------------------------------------------------------------
-- Reset the internal Analyzer. Appropriate if the Text_Feeder's
-- input has changed.
--------------------------------------------------------------------------
procedure Reset (Parser : in out Instance);
--------------------------------------------------------------------------
-- Set the parser's text feeder. Raises Parse_Error if current
-- text buffer is not empty.
--------------------------------------------------------------------------
procedure Set_Text_Feeder (Parser : in out Instance; Feeder : in Text_Feeder.Text_Feeder_Ptr);
------------------------------------------------------------------------
-- Discard text in Parser.Analyzer's internal buffer. Do this when
-- a parse error is encountered, and you want to start over.
------------------------------------------------------------------------
procedure Discard_Buffered_Text (Parser : in out Instance);
------------------------------------------------------------------------
-- True if all text buffers are empty, and text feeder reports end
-- of text.
function End_Of_Text (Parser : in Instance) return Boolean;
----------------------------------------------------------------------------
-- Returns the current text line at which processing will resume. This is
-- particularly useful for printing error messages when syntax errors are
-- detected.
----------------------------------------------------------------------------
function Line (Parser : in Instance) return Natural;
----------------------------------------------------------------------------
-- Returns the current text column at which processing will resume. This is
-- particularly useful for printing error messages when syntax errors are
-- detected.
----------------------------------------------------------------------------
function Column (Parser : in Instance) return Natural;
private
type Instance is abstract tagged record
Analyzer : Tokenizer.Instance;
end record;
end OpenToken.Production.Parser;
|