Home
last modified time | relevance | path

Searched refs:xBoundSocketListItem (Results 1 – 8 of 8) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketClose/
DvSocketClose_harness.c61 vListInitialiseItem( &( pxSocket->xBoundSocketListItem ) ); in harness()
62 pxSocket->xBoundSocketListItem.pxContainer = &( BoundSocketList ); in harness()
63 vListInsertEnd( &BoundSocketList, &( pxSocket->xBoundSocketListItem ) ); in harness()
67 pxSocket->xBoundSocketListItem.pxContainer = NULL; in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/
DFreeRTOS_Sockets_UDP_API_utest.c166 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_TCPSocket()
191 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
220 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_NonBlocking()
250 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
278 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_BlockingButTimeout()
314 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime()
356 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_BlockingButInterrupted()
387 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket->xBoundSocketListItem ), ( struct xLIST * ) ( … in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived()
431 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xGlobalSocket->xBoundSocketListItem ), ( struct xLIST … in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_JustUDPHeader()
489 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xGlobalSocket->xBoundSocketListItem ), ( struct xLIST … in test_FreeRTOS_recvfrom_BlockingGetsPacketInBetween_Packet100()
[all …]
DFreeRTOS_Sockets_privates_utest.c189 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvValidSocket_SocketBoundSetButNotBound()
225 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_prvValidSocket_InvalidProtocol()
479 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_prvMakeSureSocketIsBound_SocketAlreadyBound()
496 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvMakeSureSocketIsBound_SocketNotBound_BindingFails()
500 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvMakeSureSocketIsBound_SocketNotBound_BindingFails()
519 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvMakeSureSocketIsBound_SocketNotBound_BindingSuccess()
523 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_prvMakeSureSocketIsBound_SocketNotBound_BindingSuccess()
529 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_prvMakeSureSocketIsBound_SocketNotBound_BindingSuccess()
581 listSET_LIST_ITEM_VALUE_Expect( &( xSocket.xBoundSocketListItem ), xBindAddress.sin_port ); in test_vSocketBind_TCP()
583 vListInsertEnd_Expect( NULL, &( xSocket.xBoundSocketListItem ) ); in test_vSocketBind_TCP()
[all …]
DFreeRTOS_Sockets_GenericAPI_utest.c329 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
331 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
374 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_TCPSocket()
376 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); in test_FreeRTOS_socket_TCPSocket()
421 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_UDPSocket()
423 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); in test_FreeRTOS_socket_UDPSocket()
460 vListInitialiseItem_Expect( &( pxSocket->xBoundSocketListItem ) ); in test_FreeRTOS_socket_UDPSocket_ProtocolDependent()
462 listSET_LIST_ITEM_OWNER_Expect( &( pxSocket->xBoundSocketListItem ), pxSocket ); in test_FreeRTOS_socket_UDPSocket_ProtocolDependent()
940 …listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), ( struct xLIST * ) ( u… in test_FreeRTOS_bind_SocketIsAlreadyBound()
959 listLIST_ITEM_CONTAINER_ExpectAndReturn( &( xSocket.xBoundSocketListItem ), NULL ); in test_FreeRTOS_bind_SendToIPTaskFailed()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/
DFreeRTOS_Sockets_DiffConfig_privates_utest.c168 listSET_LIST_ITEM_VALUE_Expect( &( xSocket.xBoundSocketListItem ), xBindAddress.sin_port ); in test_vSocketBind_TCP1()
170 vListInsertEnd_Expect( NULL, &( xSocket.xBoundSocketListItem ) ); in test_vSocketBind_TCP1()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/
DFreeRTOS_TCP_IP_utest.c1968 pxSocket->xBoundSocketListItem.xItemValue = 443; in test_xTCPCheckNewClient_Not_Found_No_Port()
1971 test_Helper_ListInsertEnd( &xBoundTCPSocketsList, &( pxSocket->xBoundSocketListItem ) ); in test_xTCPCheckNewClient_Not_Found_No_Port()
1988 pxSocket->xBoundSocketListItem.xItemValue = 40000; in test_xTCPCheckNewClient_Not_Found_Not_TCP()
1989 pxSocket->xBoundSocketListItem.pvOwner = pxSocket; in test_xTCPCheckNewClient_Not_Found_Not_TCP()
1995 test_Helper_ListInsertEnd( &xBoundTCPSocketsList, &( pxSocket->xBoundSocketListItem ) ); in test_xTCPCheckNewClient_Not_Found_Not_TCP()
2012 pxSocket->xBoundSocketListItem.xItemValue = 40000; in test_xTCPCheckNewClient_Not_Found_Not_Aceept()
2013 pxSocket->xBoundSocketListItem.pvOwner = pxSocket; in test_xTCPCheckNewClient_Not_Found_Not_Aceept()
2019 test_Helper_ListInsertEnd( &xBoundTCPSocketsList, &( pxSocket->xBoundSocketListItem ) ); in test_xTCPCheckNewClient_Not_Found_Not_Aceept()
2036 pxSocket->xBoundSocketListItem.xItemValue = 40000; in test_xTCPCheckNewClient_Found()
2037 pxSocket->xBoundSocketListItem.pvOwner = pxSocket; in test_xTCPCheckNewClient_Found()
[all …]
/FreeRTOS-Plus-TCP-v3.1.0/source/
DFreeRTOS_Sockets.c56 …pxSocket, usPort ) listSET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xBoundSocketListItem ) ), ( usPo…
58 …_PORT( pxSocket ) listGET_LIST_ITEM_VALUE( ( &( ( pxSocket )->xBoundSocketListItem ) ) )
63 …D( pxSocket ) ( listLIST_ITEM_CONTAINER( &( pxSocket )->xBoundSocketListItem ) != NULL )
472 vListInitialiseItem( &( pxSocket->xBoundSocketListItem ) ); in FreeRTOS_socket()
473 listSET_LIST_ITEM_OWNER( &( pxSocket->xBoundSocketListItem ), ( void * ) pxSocket ); in FreeRTOS_socket()
1421 vListInsertEnd( pxSocketList, &( pxSocket->xBoundSocketListItem ) ); in vSocketBind()
1593 ( void ) uxListRemove( &( pxSocket->xBoundSocketListItem ) ); in vSocketClose()
/FreeRTOS-Plus-TCP-v3.1.0/source/include/
DFreeRTOS_IP_Private.h662 …ListItem_t xBoundSocketListItem; /**< Used to reference the socket from a bound sockets list… member