This file is indexed.

/usr/share/ada/adainclude/opentoken/opentoken-token-enumerated-nonterminal.adb is in libopentoken5-dev 6.0b-4.

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
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
-------------------------------------------------------------------------------
--
-- Copyright (C) 2009, 2014 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.
--
-------------------------------------------------------------------------------

package body OpenToken.Token.Enumerated.Nonterminal is

   function Get
     (ID    : in Token_ID := Token_ID'First;
      Name  : in String   := "";
      Build : in Action   := null)
     return Instance'Class
   is begin
      if Name = "" then
         return Instance'Class (Instance'(null, ID, Build));
      else
         return Instance'Class (Instance'(new String'(Name), ID, Build));
      end if;
   end Get;

   function Copy (Token : in Handle) return Handle
   is begin
      return Nonterminal.Handle (Enumerated.Copy (Enumerated.Handle (Token)));
   end Copy;

   procedure Synthesize_By_Copying
     (New_Token : out Instance;
      Source    : in  OpenToken.Token.Enumerated.Instance'Class;
      To_ID     : in  OpenToken.Token.Enumerated.Token_ID)
   is begin
      New_Token := Instance (Source);
      New_Token.ID := To_ID;

   exception
   when Constraint_Error =>
      raise Invalid_Synth_Argument with
        "Token " & OpenToken.Token.Enumerated.Token_ID'Image (To_ID) & " cannot be synthesized " &
        "solely from a " &
        OpenToken.Token.Enumerated.Token_ID'Image (OpenToken.Token.Enumerated.ID (Source)) &
        "; need Synthesize_Self or other action?";

   end Synthesize_By_Copying;

   procedure Default_Synthesize
     (New_Token : out Instance;
      Source    : in  Token_List.Instance'Class;
      To_ID     : in  OpenToken.Token.Enumerated.Token_ID)
   is begin
      Synthesize_By_Copying
        (New_Token => Class (New_Token),
         Source    => Token_List.Token_Handle (Token_List.Initial_Iterator (Source)).all,
         To_ID     => To_ID);
   end Default_Synthesize;

   procedure Self_Synthesize
     (New_Token : out Class;
      Source    : in  Token_List.Instance'Class;
      To_ID     : in  OpenToken.Token.Enumerated.Token_ID)
   is
      pragma Unreferenced (Source);
   begin
      New_Token.ID := To_ID;
   end Self_Synthesize;

   procedure Synthesize_From_First
     (New_Token : out Class;
      Source    : in  Token_List.Instance'Class;
      To_ID     : in  OpenToken.Token.Enumerated.Token_ID)
   is
      Checked_Source : Handle;
   begin
      begin
         Checked_Source := Handle (Token_List.Token_Handle (Token_List.Initial_Iterator (Source)));
      exception
      when Constraint_Error =>
         raise Invalid_Synth_Argument with
           "Token " & OpenToken.Token.Enumerated.Token_ID'Image (To_ID) & " cannot be synthesized " &
           "solely from a " &
           OpenToken.Token.Enumerated.Token_ID'Image
           (OpenToken.Token.Enumerated.ID
              (Token_List.Token_Handle (Token_List.Initial_Iterator (Source)).all)) & ".";
      end;

      Synthesize_By_Copying
        (New_Token => New_Token,
         Source    => Checked_Source.all,
         To_ID     => To_ID);
   end Synthesize_From_First;

   procedure Default_Synthesize_Class
     (New_Token : out Class;
      Source    : in  Token_List.Instance'Class;
      To_ID     : in  OpenToken.Token.Enumerated.Token_ID)
   is begin
      Default_Synthesize (New_Token, Source, To_ID);
   end Default_Synthesize_Class;

end OpenToken.Token.Enumerated.Nonterminal;