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 | -- --
-- package Copyright (c) Dmitry A. Kazakov --
-- GNAT.Sockets.Connection_State_Machine. Luebeck --
-- ASN1.Bit_Strings.Explicit Spring, 2019 --
-- Implementation --
-- Last revision : 13:37 03 Aug 2019 --
-- --
-- This library 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 of --
-- the License, or (at your option) any later version. This library --
-- 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 --
-- this library; if not, write to the Free Software Foundation, --
-- Inc., 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. --
--____________________________________________________________________--
with GNAT.Sockets.Connection_State_Machine.ASN1.Lengths;
use GNAT.Sockets.Connection_State_Machine.ASN1.Lengths;
package body GNAT.Sockets.Connection_State_Machine.ASN1.Bit_Strings.
Explicit is
procedure Explicit_Put is new Generic_Put (Boolean_Array);
procedure Encode
( Item : Bit_String_Data_Item;
Data : in out Stream_Element_Array;
Pointer : in out Stream_Element_Offset
) is
begin
Explicit_Put
( Data,
Pointer,
Bit_String_Tag,
Item.Value (1..Item.Length)
);
end Encode;
procedure Encode
( Item : External_Bit_String_Data_Item;
Data : in out Stream_Element_Array;
Pointer : in out Stream_Element_Offset
) is
begin
Explicit_Put
( Data,
Pointer,
Bit_String_Tag,
Get_Value (Item)
);
end Encode;
procedure Feed
( Item : in out Bit_String_Data_Item;
Data : Stream_Element_Array;
Pointer : in out Stream_Element_Offset;
Client : in out State_Machine'Class;
State : in out Stream_Element_Offset
) is
begin
if State = 0 then
Reset_Feed (Item, Data, Pointer);
Check (Data (Pointer), (1 => Bit_String_Tag));
Pointer := Pointer + 1;
Item.Length := 0;
State := Start_Length;
if Pointer > Data'Last then
return;
end if;
end if;
Feed
( Item => Implicit_Bit_String_Data_Item (Item),
Data => Data,
Pointer => Pointer,
Client => Client,
State => State
);
end Feed;
procedure Feed
( Item : in out External_Bit_String_Data_Item;
Data : Stream_Element_Array;
Pointer : in out Stream_Element_Offset;
Client : in out State_Machine'Class;
State : in out Stream_Element_Offset
) is
begin
if State = 0 then
Reset_Feed (Item, Data, Pointer);
Check (Data (Pointer), (1 => Bit_String_Tag));
Pointer := Pointer + 1;
State := Start_Length;
if Pointer > Data'Last then
return;
end if;
end if;
Feed
( Item => Implicit_External_Bit_String_Data_Item (Item),
Data => Data,
Pointer => Pointer,
Client => Client,
State => State
);
end Feed;
function Is_Implicit (Item : External_Bit_String_Data_Item)
return Boolean is
begin
return False;
end Is_Implicit;
function Is_Implicit (Item : Bit_String_Data_Item) return Boolean is
begin
return False;
end Is_Implicit;
end GNAT.Sockets.Connection_State_Machine.ASN1.Bit_Strings.Explicit;
|