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
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
|
--
-- Copyright (c) 2008-2012,
-- Reto Buerki <reet@codelabs.ch>
--
-- This file is part of PCSC/Ada.
--
-- PCSC/Ada is free software; you can redistribute it and/or modify
-- it under the terms of the GNU Lesser General Public License as published
-- by the Free Software Foundation; either version 2.1 of the License, or
-- (at your option) any later version.
--
-- PCSC/Ada 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 Lesser General Public License for more details.
--
-- You should have received a copy of the GNU Lesser General Public License
-- along with PCSC/Ada; if not, write to the Free Software
-- Foundation, Inc., 51 Franklin St, Fifth Floor, Boston,
-- MA 02110-1301 USA
--
with Ada.Text_IO;
with Interfaces.C;
with Interfaces.C.Strings;
with PCSC.Thin; use PCSC.Thin;
with PCSC.SCard.Utils;
use PCSC;
-- Thin-binding example
procedure Thin_Example is
package SCU renames SCard.Utils;
use Interfaces.C;
hContext : aliased SCARDCONTEXT;
ret : DWORD;
begin
ret := SCardEstablishContext
(dwScope => SCARD_SCOPE_SYSTEM,
phContext => hContext'Access);
if ret = SCARD_S_SUCCESS then
Ada.Text_IO.Put_Line ("context established");
else
Ada.Text_IO.Put_Line ("could not establish context");
return;
end if;
ret := SCardIsValidContext (hContext => hContext);
if ret = SCARD_S_SUCCESS then
Ada.Text_IO.Put_Line ("context is valid");
else
Ada.Text_IO.Put_Line ("context not valid");
return;
end if;
declare
dwReaders : aliased DWORD;
mszReaders : LPSTR;
hCard : aliased SCARDHANDLE;
dwActiveProtocol : aliased DWORD;
dwState : aliased DWORD;
dwProtocol : aliased DWORD;
dwAtrLen : aliased DWORD := MAX_ATR_SIZE;
dwReaderLen : aliased DWORD;
pbAtr : Byte_Array (1 .. MAX_ATR_SIZE);
-- Modify Reader_Name according to your test setup
Reader_Name : C.Strings.chars_ptr := C.Strings.New_String
("OmniKey CardMan 3121 00 00");
begin
-- List readers
ret := SCardListReaders (hContext => hContext,
mszReaders =>
Interfaces.C.Strings.Null_Ptr,
pcchReaders => dwReaders'Access);
if not (ret = SCARD_S_SUCCESS) then
Ada.Text_IO.Put_Line ("could not get list of readers");
return;
end if;
-- NULL termination is counted as well
if dwReaders = 1 then
Ada.Text_IO.Put_Line ("no readers found");
return;
end if;
mszReaders := C.Strings.To_Chars_Ptr
(new C.char_array (C.size_t (1) .. C.size_t (dwReaders)));
ret := SCardListReaders (hContext => hContext,
mszReaders => mszReaders,
pcchReaders => dwReaders'Access);
if not (ret = SCARD_S_SUCCESS) then
Ada.Text_IO.Put_Line ("could not get list of readers");
return;
end if;
Ada.Text_IO.Put_Line ("readers: " &
Interfaces.C.Strings.Value (mszReaders));
-- Try to connect
ret := SCardConnect
(hContext => hContext,
szReader => Reader_Name,
dwShareMode => SCARD_SHARE_SHARED,
dwPreferredProtocols => SCARD_PROTOCOL_T0 or SCARD_PROTOCOL_T1,
phCard => hCard'Access,
pdwActiveProtocol => dwActiveProtocol'Access);
if ret = SCARD_S_SUCCESS then
Ada.Text_IO.Put_Line ("connect ok");
-- Try to re-connect
ret := SCardReconnect
(hCard => hCard,
dwShareMode => SCARD_SHARE_SHARED,
dwPreferredProtocols => SCARD_PROTOCOL_T0 or SCARD_PROTOCOL_T1,
dwInitialization => SCARD_LEAVE_CARD,
pdwActiveProtocol => dwActiveProtocol'Access);
if ret = SCARD_S_SUCCESS then
Ada.Text_IO.Put_Line ("re-connect ok");
end if;
else
Ada.Text_IO.Put_Line ("connect to card failed");
return;
end if;
-- Get status
SCardStatus
(returnValue => ret,
hCard => hCard,
mszReaderNames => C.Strings.Null_Ptr,
pcchReaderLen => dwReaderLen'Access,
pdwState => dwState'Access,
pdwProtocol => dwProtocol'Access,
pbAtr => Byte_Array (pbAtr),
pcbAtrLen => dwAtrLen'Access);
if ret = SCARD_S_SUCCESS then
Ada.Text_IO.Put_Line ("card status ok");
Ada.Text_IO.Put_Line (" -- ATR len: " & DWORD'Image (dwAtrLen));
Ada.Text_IO.Put_Line (" -- ATR : " &
SCU.To_Hex_String (Given => pbAtr,
Len => 2 * Integer (dwAtrLen)));
Ada.Text_IO.Put_Line (" -- STATE : " & DWORD'Image (dwState));
Ada.Text_IO.Put_Line (" -- PROTO : " &
DWORD'Image (dwProtocol));
else
Ada.Text_IO.Put_Line ("get status failed");
return;
end if;
-- Begin transaction
ret := SCardBeginTransaction (hCard => hCard);
if ret = SCARD_S_SUCCESS then
Ada.Text_IO.Put_Line ("transaction start ok");
end if;
declare
pbRecvBuffer : Byte_Array (1 .. 10);
pbSendBuffer : constant Byte_Array :=
(16#00#, 16#A4#, 16#00#, 16#00#, 16#02#, 16#3F#, 16#00#);
pcbRecvLength : aliased DWORD := 10;
pioRecvPCI : aliased Thin.SCARD_IO_REQUEST;
begin
-- Send arbitrary APDU to card
SCardTransmit
(returnValue => ret,
hCard => hCard,
pioSendPci => SCARD_PCI_T1'Access,
pbSendBuffer => pbSendBuffer,
cbSendLength => 7,
pioRecvPci => pioRecvPCI'Access,
pbRecvBuffer => pbRecvBuffer,
pcbRecvLength => pcbRecvLength'Access);
if ret = SCARD_S_SUCCESS then
Ada.Text_IO.Put_Line ("transmit send ok");
end if;
Ada.Text_IO.Put_Line ("response from card: " &
SCU.To_Hex_String (Given => pbRecvBuffer,
Len => 2 * Integer (pcbRecvLength)));
end;
-- End transaction
ret := SCardEndTransaction (hCard => hCard,
dwDisposition => SCARD_LEAVE_CARD);
if ret = SCARD_S_SUCCESS then
Ada.Text_IO.Put_Line ("transaction end ok");
end if;
-- Disconnect
ret := SCardDisconnect (hCard => hCard,
dwDisposition => SCARD_RESET_CARD);
if ret = SCARD_S_SUCCESS then
Ada.Text_IO.Put_Line ("disconnect ok");
end if;
-- Free memory
C.Strings.Free (Reader_Name);
end;
ret := SCardReleaseContext (hContext => hContext);
if ret = SCARD_S_SUCCESS then
Ada.Text_IO.Put_Line ("context released");
end if;
end Thin_Example;
|
