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
|
-- Cross references.
-- Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold
--
-- GHDL 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 2, or (at your option) any later
-- version.
--
-- GHDL 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
-- along with GHDL; see the file COPYING. If not, write to the Free
-- Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-- 02111-1307, USA.
with Types; use Types;
with Iirs; use Iirs;
package Xrefs is
type Xref_Kind is
(
-- Declaration of an identifier.
Xref_Decl,
-- Use of a named entity.
Xref_Ref,
-- Identifier after the 'end' keyword.
Xref_End,
-- Body of a declaration (for package, subprograms or protected type).
Xref_Body,
-- A PSL keyword that would be scanned as an identifier
Xref_Keyword
);
-- Initialize the xref table.
-- Must be called once.
procedure Init;
-- Low level xref addition.
-- An entity at LOC references REF with the KIND way.
procedure Add_Xref (Loc : Location_Type; Ref : Iir; Kind : Xref_Kind);
-- Add a declaration of an identifier.
-- This is somewhat a self-reference.
procedure Xref_Decl (Decl : Iir);
pragma Inline (Xref_Decl);
-- NAME refers to DECL.
procedure Xref_Ref (Name : Iir; Decl : Iir);
pragma Inline (Xref_Ref);
-- BODy refers to SPEC.
procedure Xref_Body (Bod : Iir; Spec : Iir);
pragma Inline (Xref_Body);
-- Just resolved NAME refers to its named entity.
procedure Xref_Name (Name : Iir);
pragma Inline (Xref_Name);
-- LOC is the location of the simple_name after 'end' for DECL.
procedure Xref_End (Loc : Location_Type; Decl : Iir);
pragma Inline (Xref_End);
-- LOC is the location of a PSL keyword.
procedure Xref_Keyword (Loc : Location_Type);
pragma Inline (Xref_Keyword);
-- Sort the xref table by location. This is required before searching with
-- Find.
procedure Sort_By_Location;
-- Sort the xref table by location of the nodes.
procedure Sort_By_Node_Location;
subtype Xref is Natural;
-- A bad xref.
-- May be returned by Find.
Bad_Xref : constant Xref := 0;
-- First xref.
-- May be used to size a table.
First_Xref : constant Xref := 1;
-- Find a reference by location.
-- The table must already be sorted with Sort_By_Location.
-- Returns BAD_REF is does not exist.
function Find (Loc : Location_Type) return Xref;
-- End_Xrefs are added by parse and points to the subprogram_body.
-- This procedure make them points to the subprogram_decl node.
-- This is done so that every node has a name.
procedure Fix_End_Xrefs;
-- Get the last possible xref available.
-- May be used to size tables.
function Get_Last_Xref return Xref;
-- Get the location of N, ie where a name (or operator) appears.
function Get_Xref_Location (N : Xref) return Location_Type;
pragma Inline (Get_Xref_Location);
-- Get the kind of cross-reference.
function Get_Xref_Kind (N : Xref) return Xref_Kind;
pragma Inline (Get_Xref_Kind);
-- Get the node referenced by the name.
function Get_Xref_Node (N : Xref) return Iir;
pragma Inline (Get_Xref_Node);
end Xrefs;
|
