| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DNS_Networking/ |
| D | FreeRTOS_DNS_Networking_utest.c | 102 Socket_t s; in test_CreateSocket_fail_socket()
120 Socket_t s; in test_CreateSocket_success()
125 ( Socket_t ) 235 ); in test_CreateSocket_success()
126 xSocketValid_ExpectAndReturn( ( Socket_t ) 235, pdTRUE ); in test_CreateSocket_success()
133 TEST_ASSERT_EQUAL( ( Socket_t ) 235, s ); in test_CreateSocket_success()
141 Socket_t s; in test_CreateSocket_bind_fail()
146 ( Socket_t ) 235 ); in test_CreateSocket_bind_fail()
147 xSocketValid_ExpectAndReturn( ( Socket_t ) 235, pdTRUE ); in test_CreateSocket_bind_fail()
149 FreeRTOS_closesocket_ExpectAndReturn( ( Socket_t ) 235, 0 ); in test_CreateSocket_bind_fail()
161 Socket_t s = ( Socket_t ) 123; in test_SendRequest_success()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/include/ |
| D | FreeRTOS_Sockets.h | 65 #define FREERTOS_INVALID_SOCKET ( ( Socket_t ) ~0U )
184 typedef struct xSOCKET * Socket_t; typedef
198 Socket_t FreeRTOS_socket( BaseType_t xDomain,
203 BaseType_t FreeRTOS_bind( Socket_t xSocket,
208 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket,
215 BaseType_t FreeRTOS_closesocket( Socket_t xSocket );
219 BaseType_t FreeRTOS_SignalSocket( Socket_t xSocket );
222 BaseType_t FreeRTOS_SignalSocketFromISR( Socket_t xSocket,
232 int32_t FreeRTOS_sendto( Socket_t xSocket,
288 BaseType_t FreeRTOS_connect( Socket_t xClientSocket,
[all …]
|
| D | FreeRTOS_DNS_Networking.h | 39 Socket_t DNS_CreateSocket( TickType_t uxReadTimeOut_ticks );
41 BaseType_t DNS_SendRequest( Socket_t xDNSSocket,
49 void DNS_CloseSocket( Socket_t xDNSSocket );
|
| D | FreeRTOS_IP.h | 413 #define xSocket_t Socket_t
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DNS/DNSgetHostByName/ |
| D | DNSgetHostByName_harness.c | 23 Socket_t DNS_CreateSocket( TickType_t uxReadTimeout_ticks );
24 void DNS_CloseSocket( Socket_t xDNSSocket );
25 void DNS_ReadReply( Socket_t xDNSSocket,
28 uint32_t DNS_SendRequest( Socket_t xDNSSocket,
79 uint32_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest()
97 void DNS_ReadReply( Socket_t xDNSSocket, in DNS_ReadReply()
114 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket()
118 Socket_t DNS_CreateSocket( TickType_t uxReadTimeout_ticks ) in DNS_CreateSocket()
120 Socket_t sock; in DNS_CreateSocket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/stubs/ |
| D | freertos_api.c | 36 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket()
46 void * ptr = malloc( sizeof( Socket_t ) ); in FreeRTOS_socket()
57 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket, in FreeRTOS_setsockopt()
75 BaseType_t FreeRTOS_closesocket( Socket_t xSocket ) in FreeRTOS_closesocket()
87 BaseType_t FreeRTOS_bind( Socket_t xSocket, in FreeRTOS_bind()
119 int32_t FreeRTOS_recvfrom( Socket_t xSocket, in FreeRTOS_recvfrom()
189 int32_t FreeRTOS_sendto( Socket_t xSocket, in FreeRTOS_sendto()
|
| /FreeRTOS-Plus-TCP-v3.1.0/source/ |
| D | FreeRTOS_DNS_Networking.c | 45 Socket_t DNS_CreateSocket( TickType_t uxReadTimeOut_ticks ) in DNS_CreateSocket()
47 Socket_t xSocket; in DNS_CreateSocket()
95 BaseType_t DNS_SendRequest( Socket_t xDNSSocket, in DNS_SendRequest()
149 void DNS_CloseSocket( Socket_t xDNSSocket ) in DNS_CloseSocket()
|
| D | FreeRTOS_DNS.c | 472 Socket_t xDNSSocket, in prvSendBuffer()
523 Socket_t xDNSSocket ) in prvGetHostByNameOp()
580 Socket_t xDNSSocket ) in prvGetHostByNameOp_WithRetry()
615 Socket_t xDNSSocket; in prvGetHostByName()
|
| D | FreeRTOS_Sockets.c | 365 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket()
374 Socket_t xReturn; in FreeRTOS_socket()
590 void FreeRTOS_FD_SET( Socket_t xSocket, in FreeRTOS_FD_SET()
631 void FreeRTOS_FD_CLR( Socket_t xSocket, in FreeRTOS_FD_CLR()
1065 int32_t FreeRTOS_sendto( Socket_t xSocket, in FreeRTOS_sendto()
1230 BaseType_t FreeRTOS_bind( Socket_t xSocket, in FreeRTOS_bind()
1465 BaseType_t FreeRTOS_closesocket( Socket_t xSocket ) in FreeRTOS_closesocket()
1792 BaseType_t FreeRTOS_setsockopt( Socket_t xSocket, in FreeRTOS_setsockopt()
3086 BaseType_t FreeRTOS_connect( Socket_t xClientSocket, in FreeRTOS_connect()
3179 Socket_t FreeRTOS_accept( Socket_t xServerSocket, in FreeRTOS_accept()
[all …]
|
| D | FreeRTOS_TCP_IP.c | 142 … ( void ) FreeRTOS_listen( ( Socket_t ) xSocketToListen, xSocketToListen->u.xTCP.usBacklog ); in vSocketListenNextTime()
514 xConnected->u.xTCP.pxHandleConnected( ( Socket_t ) xConnected, bAfter ); in vTCPStateChange()
|
| D | FreeRTOS_UDP_IP.c | 374 if( xHandler( ( Socket_t ) pxSocket, in xProcessReceivedUDPPacket()
|
| D | FreeRTOS_IP.c | 436 ( void ) FreeRTOS_SignalSocket( ( Socket_t ) xReceivedEvent.pvData ); in prvProcessIPEventsAndTimers()
941 BaseType_t FreeRTOS_ReleaseTCPPayloadBuffer( Socket_t xSocket, in FreeRTOS_ReleaseTCPPayloadBuffer()
|
| D | FreeRTOS_DHCP.c | 58 _static Socket_t xDHCPSocket;
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets/ |
| D | FreeRTOS_Sockets_UDP_API_utest.c | 122 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
136 Socket_t xSocket = NULL; in test_FreeRTOS_recvfrom_NullSocket()
155 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_TCPSocket()
180 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlockingInterrupted()
209 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlocking()
238 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_NonBlockingFlagSet()
266 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButTimeout()
302 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButTimeoutSecondTime()
344 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButInterrupted()
375 Socket_t xSocket = ( Socket_t ) ucSocket; in test_FreeRTOS_recvfrom_BlockingButInterruptedAndReceived()
[all …]
|
| D | FreeRTOS_Sockets_GenericAPI_utest.c | 122 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
232 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure()
248 Socket_t xSocket; in test_FreeRTOS_socket_SockSizeFailure_SockDependent()
265 Socket_t xSocket; in test_FreeRTOS_socket_NoMemory()
286 Socket_t xSocket; in test_FreeRTOS_socket_EventGroupCreationFailed()
312 Socket_t xSocket; in test_FreeRTOS_socket_TCPSocket_ProtocolDependent()
357 Socket_t xSocket; in test_FreeRTOS_socket_TCPSocket()
402 Socket_t xSocket; in test_FreeRTOS_socket_UDPSocket()
441 Socket_t xSocket; in test_FreeRTOS_socket_UDPSocket_ProtocolDependent()
558 Socket_t xSocket = NULL; in test_FreeRTOS_FD_SET_CatchAssert1()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/IsDHCPSocket/ |
| D | IsDHCPSocket_harness.c | 45 Socket_t xSocket; in harness()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP_DiffConfig/ |
| D | FreeRTOS_TCP_IP_DiffConfig_utest.c | 79 static Socket_t xHandleConnectedSocket;
81 static void HandleConnected( Socket_t xSocket, in HandleConnected()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/DHCP/DHCPProcess/ |
| D | DHCPProcess_harness.c | 47 extern Socket_t xDHCPSocket;
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedUDPPacket/ |
| D | ProcessReceivedUDPPacket_harness.c | 21 BaseType_t xIsDHCPSocket( Socket_t xSocket ) in xIsDHCPSocket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig1/ |
| D | FreeRTOS_Sockets_DiffConfig1_privates_utest.c | 121 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ |
| D | ProcessReceivedTCPPacket_harness.c | 32 Socket_t FreeRTOS_socket( BaseType_t xDomain, in FreeRTOS_socket()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_Sockets_DiffConfig/ |
| D | FreeRTOS_Sockets_DiffConfig_privates_utest.c | 121 static BaseType_t xLocalReceiveCallback( Socket_t xSocket, in xLocalReceiveCallback()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_DHCP/ |
| D | FreeRTOS_DHCP_utest.c | 26 extern Socket_t xDHCPSocket;
70 static int32_t RecvFromStub( Socket_t xSocket, in RecvFromStub()
120 static int32_t FreeRTOS_recvfrom_Generic( Socket_t xSocket, in FreeRTOS_recvfrom_Generic()
136 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromLessBytesNoTimeout()
154 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout( Socket_t xSocke… in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseCookieNoTimeout()
172 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseOpcodeNoTimeout( Socket_t xSocke… in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsFalseOpcodeNoTimeout()
192 …t FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsCorrectCookieAndOpcodeNoTimeout( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSucceedsCorrectCookieAndOpcodeNoTimeout()
214 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccessCorrectTxID( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccessCorrectTxID()
238 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrType( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrType()
264 static int32_t FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrLen( Socket_t xSocket, in FreeRTOS_recvfrom_eWaitingOfferRecvfromSuccess_CorrectAddrLen()
[all …]
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_Reception/ |
| D | FreeRTOS_TCP_Reception_utest.c | 543 static void xLocalFunctionPointer( Socket_t xSocket, in xLocalFunctionPointer()
|
| /FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_TCP_IP/ |
| D | FreeRTOS_TCP_IP_utest.c | 82 static Socket_t xHandleConnectedSocket;
84 static void HandleConnected( Socket_t xSocket, in HandleConnected()
154 …FreeRTOS_listen_ExpectAndReturn( ( Socket_t ) xSocketToListen, xSocketToListen->u.xTCP.usBacklog, … in test_vSocketListenNextTime1()
|
