[Pcsclite-cvs-commit] r3270 - in /trunk/Drivers/ccid/src: ccid_serial.c ccid_usb.h commands.c commands.h towitoko/atr.h towitoko/pps.h

[rousseau at users.alioth.debian.org]

Author: rousseau
Date: Mon Jan  5 14:46:36 2009
New Revision: 3270

URL: http://svn.debian.org/wsvn/pcsclite/?sc=1&rev=3270
Log:
tag output parameters with /*@out@*/

Modified:
    trunk/Drivers/ccid/src/ccid_serial.c
    trunk/Drivers/ccid/src/ccid_usb.h
    trunk/Drivers/ccid/src/commands.c
    trunk/Drivers/ccid/src/commands.h
    trunk/Drivers/ccid/src/towitoko/atr.h
    trunk/Drivers/ccid/src/towitoko/pps.h

Modified: trunk/Drivers/ccid/src/ccid_serial.c
URL: http://svn.debian.org/wsvn/pcsclite/trunk/Drivers/ccid/src/ccid_serial.c?rev=3270&op=diff
==============================================================================
--- trunk/Drivers/ccid/src/ccid_serial.c (original)
+++ trunk/Drivers/ccid/src/ccid_serial.c Mon Jan  5 14:46:36 2009
@@ -160,7 +160,7 @@
 static int ReadChunk(unsigned int reader_index, unsigned char *buffer,
 	int buffer_length, int min_length);
 
-static int get_bytes(unsigned int reader_index, unsigned char *buffer,
+static int get_bytes(unsigned int reader_index, /*@out@*/ unsigned char *buffer,
 	int length);
 
 

Modified: trunk/Drivers/ccid/src/ccid_usb.h
URL: http://svn.debian.org/wsvn/pcsclite/trunk/Drivers/ccid/src/ccid_usb.h?rev=3270&op=diff
==============================================================================
--- trunk/Drivers/ccid/src/ccid_usb.h (original)
+++ trunk/Drivers/ccid/src/ccid_usb.h Mon Jan  5 14:46:36 2009
@@ -31,7 +31,7 @@
 	unsigned char *Buffer);
 
 status_t ReadUSB(unsigned int reader_index, unsigned int *length,
-	unsigned char *Buffer);
+	/*@out@*/ unsigned char *Buffer);
 
 status_t CloseUSB(unsigned int reader_index);
 

Modified: trunk/Drivers/ccid/src/commands.c
URL: http://svn.debian.org/wsvn/pcsclite/trunk/Drivers/ccid/src/commands.c?rev=3270&op=diff
==============================================================================
--- trunk/Drivers/ccid/src/commands.c (original)
+++ trunk/Drivers/ccid/src/commands.c Mon Jan  5 14:46:36 2009
@@ -1504,7 +1504,7 @@
  *
  ****************************************************************************/
 static RESPONSECODE T0CmdParsing(unsigned char *cmd, unsigned int cmd_len,
-	unsigned int *exp_len)
+	/*@out@*/ unsigned int *exp_len)
 {
 	*exp_len = 0;
 

Modified: trunk/Drivers/ccid/src/commands.h
URL: http://svn.debian.org/wsvn/pcsclite/trunk/Drivers/ccid/src/commands.h?rev=3270&op=diff
==============================================================================
--- trunk/Drivers/ccid/src/commands.h (original)
+++ trunk/Drivers/ccid/src/commands.h Mon Jan  5 14:46:36 2009
@@ -27,7 +27,7 @@
 #define CHAIN_PARAMETER_OFFSET 9
 
 RESPONSECODE CmdPowerOn(unsigned int reader_index, unsigned int * nlength,
-	unsigned char buffer[], int voltage);
+	/*@out@*/ unsigned char buffer[], int voltage);
 
 RESPONSECODE SecurePINVerify(unsigned int reader_index,
 	unsigned char TxBuffer[], unsigned int TxLength,
@@ -44,7 +44,7 @@
 RESPONSECODE CmdPowerOff(unsigned int reader_index);
 
 RESPONSECODE CmdGetSlotStatus(unsigned int reader_index,
-	unsigned char buffer[]);
+	/*@out@*/ unsigned char buffer[]);
 
 RESPONSECODE CmdXfrBlock(unsigned int reader_index, unsigned int tx_length,
 	unsigned char tx_buffer[], unsigned int *rx_length,
@@ -53,8 +53,9 @@
 RESPONSECODE CCID_Transmit(unsigned int reader_index, unsigned int tx_length,
 	const unsigned char tx_buffer[], unsigned short rx_length, unsigned char bBWI);
 
-RESPONSECODE CCID_Receive(unsigned int reader_index, unsigned int *rx_length,
-	unsigned char rx_buffer[], unsigned char *chain_parameter);
+RESPONSECODE CCID_Receive(unsigned int reader_index,
+	/*@out@*/ unsigned int *rx_length,
+	/*@out@*/ unsigned char rx_buffer[], unsigned char *chain_parameter);
 
 RESPONSECODE SetParameters(unsigned int reader_index, char protocol,
 	unsigned int length, unsigned char buffer[]);

Modified: trunk/Drivers/ccid/src/towitoko/atr.h
URL: http://svn.debian.org/wsvn/pcsclite/trunk/Drivers/ccid/src/towitoko/atr.h?rev=3270&op=diff
==============================================================================
--- trunk/Drivers/ccid/src/towitoko/atr.h (original)
+++ trunk/Drivers/ccid/src/towitoko/atr.h Mon Jan  5 14:46:36 2009
@@ -100,12 +100,12 @@
 	unsigned length);
 
 /* General smartcard characteristics */
-extern int ATR_GetConvention(ATR_t * atr, int *convention);
-extern int ATR_GetDefaultProtocol(ATR_t * atr, int *protocol);
+extern int ATR_GetConvention(ATR_t * atr, /*@out@*/ int *convention);
+extern int ATR_GetDefaultProtocol(ATR_t * atr, /*@out@*/ int *protocol);
 
 /* ATR parameters and integer values */
 extern int ATR_GetIntegerValue(ATR_t * atr, int name, BYTE * value);
-extern int ATR_GetParameter(ATR_t * atr, int name, double *parameter);
+extern int ATR_GetParameter(ATR_t * atr, int name, /*@out@*/ double *parameter);
 
 #endif /* _ATR_ */
 

Modified: trunk/Drivers/ccid/src/towitoko/pps.h
URL: http://svn.debian.org/wsvn/pcsclite/trunk/Drivers/ccid/src/towitoko/pps.h?rev=3270&op=diff
==============================================================================
--- trunk/Drivers/ccid/src/towitoko/pps.h (original)
+++ trunk/Drivers/ccid/src/towitoko/pps.h Mon Jan  5 14:46:36 2009
@@ -64,7 +64,8 @@
  * Exported functions declaration
  */
 
-int PPS_Exchange (int lun, BYTE * params, unsigned *length, unsigned char *pps1);
+int PPS_Exchange (int lun, BYTE * params, /*@out@*/ unsigned *length,
+	unsigned char *pps1);
 
 #endif /* _PPS_ */