/usr/share/ada/adainclude/opentoken/opentoken-production-parser-lalr.ads is in libopentoken3-dev 4.0b-3.
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 | -------------------------------------------------------------------------------
--
-- Copyright (C) 2002, 2003, 2009, 2010 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.
-----------------------------------------------------------------------------
-----------------------------------------------------------------------------
-- This package provides an implementation of a LALR (Look-Ahead
-- Left-to-right scanning Rightmost-deriving) parser for grammars
-- defined by a production list. This is probably the most popular
-- method due to it being a good trade-off between the amount of
-- grammars handled and the size of its parse table.
-----------------------------------------------------------------------------
generic
package OpenToken.Production.Parser.LALR is
type Instance is new OpenToken.Production.Parser.Instance with private;
-- We don't use OpenToken.Trace here; we often want to see a trace
-- of the parser execution without the parser generation.
-- Analyzer is copied.
overriding function Generate
(Grammar : in Production_List.Instance;
Analyzer : in Tokenizer.Instance;
Trace : in Boolean := False)
return Instance;
overriding procedure Parse (Parser : in out Instance);
--------------------------------------------------------------------------
-- Free any resources used by the given parser. It will be invalid
-- after this call.
--------------------------------------------------------------------------
procedure Cleanup (Parser : in out Instance) is null;
--------------------------------------------------------------------------
-- This routine displays the parse table for the parser to
-- Ada.Text_IO.Current_Output. This may be useful for debugging
-- grammars (or, heaven forbid, the parser itself).
--------------------------------------------------------------------------
procedure Print_Table (Parser : in Instance);
private
-- Type for parser states
type State_Index is new Integer;
type Action_Node;
type Action_Node_Ptr is access Action_Node;
type Reduction_Node;
type Reduction_Node_Ptr is access Reduction_Node;
type Parse_State is record
Action_List : Action_Node_Ptr;
Reduction_List : Reduction_Node_Ptr;
end record;
type Parse_Table is array (State_Index range <>) of Parse_State;
type Parse_Table_Ptr is access Parse_Table;
type Instance is new OpenToken.Production.Parser.Instance with record
Table : Parse_Table_Ptr;
end record;
end OpenToken.Production.Parser.LALR;
|