Searched refs:agentInterface (Results 1 – 6 of 6) sorted by relevance
520 queueStatus = pAgentContext->agentInterface.send( in addCommandToQueue()521 pAgentContext->agentInterface.pMsgCtx, in addCommandToQueue()717 pCommand = pMqttAgentContext->agentInterface.getCommand( blockTimeMs ); in createAndAddCommand()737 commandReleased = pMqttAgentContext->agentInterface.releaseCommand( pCommand ); in createAndAddCommand()772 assert( pAgentContext->agentInterface.releaseCommand != NULL ); in concludeCommand()783 commandReleased = pAgentContext->agentInterface.releaseCommand( pCommand ); in concludeCommand()890 else if( ( pMqttAgentContext->agentInterface.send == NULL ) || in validateStruct()891 ( pMqttAgentContext->agentInterface.recv == NULL ) || in validateStruct()892 ( pMqttAgentContext->agentInterface.getCommand == NULL ) || in validateStruct()893 ( pMqttAgentContext->agentInterface.releaseCommand == NULL ) || in validateStruct()[all …]
230 assert( pMqttAgentContext->agentInterface.releaseCommand != NULL ); in MQTTAgentCommand_Terminate()
383 agentContext.agentInterface.send = NULL; in invalidParamsTestFunc()387 agentContext.agentInterface.send = stubSend; in invalidParamsTestFunc()388 agentContext.agentInterface.recv = NULL; in invalidParamsTestFunc()392 agentContext.agentInterface.recv = stubReceive; in invalidParamsTestFunc()393 agentContext.agentInterface.getCommand = NULL; in invalidParamsTestFunc()397 agentContext.agentInterface.getCommand = stubGetCommand; in invalidParamsTestFunc()398 agentContext.agentInterface.releaseCommand = NULL; in invalidParamsTestFunc()402 agentContext.agentInterface.releaseCommand = stubReleaseCommand; in invalidParamsTestFunc()403 agentContext.agentInterface.pMsgCtx = NULL; in invalidParamsTestFunc()407 agentContext.agentInterface.pMsgCtx = &globalMessageContext; in invalidParamsTestFunc()[all …]
522 mqttAgentContext.agentInterface.pMsgCtx = &globalMessageContext; in test_MQTTAgentCommand_Terminate()523 mqttAgentContext.agentInterface.send = stubSend; in test_MQTTAgentCommand_Terminate()524 mqttAgentContext.agentInterface.recv = stubReceive; in test_MQTTAgentCommand_Terminate()525 mqttAgentContext.agentInterface.releaseCommand = stubReleaseCommand; in test_MQTTAgentCommand_Terminate()526 mqttAgentContext.agentInterface.getCommand = stubGetCommand; in test_MQTTAgentCommand_Terminate()
39 __CPROVER_assume( pMqttAgentContext->agentInterface.releaseCommand != NULL ); in harness()
187 …MQTTAgentMessageInterface_t agentInterface; /**< Struct of function pointe… member
