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
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200 | ------------------------------------------------------------------------------
-- --
-- SVD Binding Generator --
-- --
-- Copyright (C) 2015-2016, AdaCore --
-- --
-- SVD2Ada 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 3, or (at your option) any later --
-- version. SVD2Ada is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTA- --
-- BILITY 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 SVD2Ada; see file COPYING3. If --
-- not, go to http://www.gnu.org/licenses for a complete copy of the --
-- license. --
-- --
------------------------------------------------------------------------------
with Interfaces; use Interfaces;
with Ada.Containers.Vectors;
with Ada.Strings.Unbounded; use Ada.Strings;
with DOM.Core;
-- Package responsible for defining and decoding the basic types of a SVD
-- file.
package Base_Types is
subtype Unsigned is Unsigned_64;
-- We have to use a 64-bit type here, as the analyzed board can manipulate
-- potentially 64-bit addresses.
subtype NVIC_Priority_Type is Unsigned range 2 .. 8;
-- pre-defines the tokens for specifying the endianess of the device
type Endian_Type is
(Undefined_Endian,
Little_Endian,
Big_Endian,
Selectable_Endian,
Other_Endian);
-- Data_Type pre-defines the tokens in line with CMSIS data type
-- definitions
type Data_Type is
(Undefined_Data_Type,
uint8_t_Data,
uint16_t_Data,
uint32_t_Data,
uint64_t_Data,
int8_t_Data,
int16_t_Data,
int32_t_Data,
int64_t_Data,
puint8_t_Data,
puint16_t_Data,
puint32_t_Data,
puint64_t_Data,
pint8_t_Data,
pint16_t_Data,
pint32_t_Data,
pint64_t_Data);
-- Protection Access Attribute
type Protection_Type is
(Undefined_Protection,
Secure_Protection,
Non_Secure_Protection,
Privileged_Protection);
-- Access_Type specfies the pre-defined tokens for the available accesses
type Access_Type is
(Read_Only,
Write_Only,
Read_Write,
Write_Once,
Read_Write_Once);
-- Modified_Write_Values_Type specifies the pre-defined tokens for the
-- write side effects
type Modified_Write_Values_Type is
(One_To_Clear,
One_To_Set,
One_To_Toggle,
Zero_To_Clear,
Zero_To_Set,
Zero_To_Toggle,
Clear,
Set,
Modify);
-- Read_Action_Type specifies the pre-defined tokens for read side effects
type Read_Action_Type is
(Undefined_Read_Action,
Clear,
Set,
Modify,
Modify_Exernal);
-- Enum_Usage_Type specifies the pre-defined tokens for selecting what
-- access types an enumeratedValues set is associated with
type Enum_Usage_Type is
(Undefined_Enum_Usage,
Read,
Write,
Read_Write);
-- Bit_Range_Type specifies the bit numbers to be restricted values
-- from 0 - 69
type Bit_Range_Type is record
From, To : Natural;
end record;
-- Write_Constraint_Type specifies how to describe the restriction of the
-- allowed values that can be written to a resource
type Write_Constraint_Type is record
Write_As_Read : Boolean;
Use_Enumerated_Values : Boolean;
Minimum : Unsigned;
Maximum : Unsigned;
end record;
type Address_Block_Usage_Type is
(Registers_Usage,
Buffer_Usage,
Reserved_Usage);
-- Address_Block_Type specifies the elements to describe an address block
type Address_Block_Type is record
Offset : Unsigned;
Size : Unsigned;
Usage : Address_Block_Usage_Type;
Protection : Protection_Type := Undefined_Protection;
end record;
package Address_Block_Vectors is new Ada.Containers.Vectors
(Positive, Address_Block_Type);
type Interrupt_Type is record
Name : Unbounded.Unbounded_String;
Description : Unbounded.Unbounded_String;
Value : Integer;
end record;
overriding
function "=" (I1, I2 : Interrupt_Type) return Boolean;
function "<" (I1, I2 : Interrupt_Type) return Boolean;
package Interrupt_Vectors is new Ada.Containers.Vectors
(Positive, Interrupt_Type);
generic
type T is private;
with procedure Read_Elt
(Tag : String;
Elt : DOM.Core.Element;
Value : in out T);
procedure Gen_DOM_Iter
(Elt : DOM.Core.Element;
Obj : in out T);
function To_Hex (Val : Natural) return String;
function To_Hex (Val : Unsigned) return String;
function To_String (Val : Integer) return String;
function To_String (Val : Unsigned) return String;
function Target_Type
(Size : Natural;
Fully_Qualified : Boolean := True) return String;
-- Returns the name of the type on the target given the size of the int
function Get_Value (Elt : DOM.Core.Element) return String;
function Get_Value (Elt : DOM.Core.Element) return Unbounded.Unbounded_String;
function Get_Value (Elt : DOM.Core.Element) return Boolean;
function Get_Value (Elt : DOM.Core.Element) return Natural;
function Get_Value (Elt : DOM.Core.Element) return Unsigned;
function Get_Value (Elt : DOM.Core.Element) return Access_Type;
function Get_Value (Elt : DOM.Core.Element) return Protection_Type;
function Get_Value (Elt : DOM.Core.Element) return Endian_Type;
function Get_Value (Elt : DOM.Core.Element) return Data_Type;
function Get_Value (Elt : DOM.Core.Element) return Modified_Write_Values_Type;
function Get_Value (Elt : DOM.Core.Element) return Read_Action_Type;
function Get_Value (Elt : DOM.Core.Element) return Bit_Range_Type;
function Get_Value (Elt : DOM.Core.Element) return Write_Constraint_Type;
function Get_Value (Elt : DOM.Core.Element) return Address_Block_Type;
function Get_Value (Elt : DOM.Core.Element) return Interrupt_Type;
function Get_Value (Elt : DOM.Core.Element) return Enum_Usage_Type;
function Common_Prefix
(Name1, Name2 : Unbounded.Unbounded_String)
return Unbounded.Unbounded_String;
-- Returns the prefix common to Name1 and Name2 if any, or
-- Null_Unbounded_String
function Full_Name (Elt : DOM.Core.Node) return String;
end Base_Types;
|