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
|
------------------------------------------------------------------------------
-- --
-- GNATCHECK COMPONENTS --
-- --
-- G N A T S Y N C . G L O B A L _ I N F O . D A T A _ O B J E C T S --
-- --
-- S p e c --
-- --
-- Copyright (C) 2007-2008, AdaCore --
-- --
-- GNATSYNC is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
-- Software Foundation; either version 2, or ( at your option) any later --
-- version. GNATCHECK 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 GNAT; see file COPYING. If --
-- not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02110-1301, USA. --
-- --
-- GNATSYNC is maintained by AdaCore (http://www.adacore.com). --
-- --
------------------------------------------------------------------------------
-- Defines the data structures and routines for storing global data objects.
with Gnatsync.Global_Info.Data; use Gnatsync.Global_Info.Data;
package Gnatsync.Global_Info.Data_Objects is
procedure Check_If_Global_Reference
(Element : Asis.Element;
Definition : out Asis.Element;
Is_Global_Reference : out Boolean;
Can_Be_Accessed_By_Local_Task : out Boolean;
Reference_Kind : out Reference_Kinds;
Compute_Reference_Kind : Boolean := False);
-- Assuming that Element is an identifier element, checks if it is a
-- reference to a variable that is a global variable for the current scope.
-- If it is, Is_Global_Reference is set ON (Can_Be_Accessed_By_Local_Task
-- is set OFF).
-- In case if a given data object can be accessed by a task enclosed in
-- the scope where the object is declared, we set Is_Global_Reference OFF
-- (Is_Global_Referenceis set OFF),
-- If either Is_Global_Reference or Can_Be_Accessed_By_Local_Task is ON,
-- Definition is set to the defining identifier of this variable, and if
-- Compute_Reference_Kind is ON, Reference_Kind represents if the reference
-- is read, write or read-write.
-- If both Is_Global_Reference and Can_Be_Accessed_By_Local_Task are OFF,
-- Definition and Reference_Kind are indefinite.
procedure Process_Global_Reference
(Element : Asis.Element;
Definition : Asis.Element;
Reference_Kind : Reference_Kinds;
Local_Var_Accessed_By_Local_Tasks : Boolean);
-- Assuming that Element is a reference to a global variable for the
-- current scope, and Definition is the corresponding defining name
-- element, stores the information about the reference in the global
-- structure according to Reference_Kind value. If the scope node is a task
-- node or a foreign thread node, the information is stored for both data
-- and scope nodes, othervise it is stored for the scope node only. The
-- last paramenet tells if we have a reference to a local variable that can
-- potentially be accessed (as non-local variable) by enclosed tasks, this
-- information has to be stored for further call graph analysis.
end Gnatsync.Global_Info.Data_Objects;
|
