Home
last modified time | relevance | path

Searched refs:pSubscribeArgs (Results 1 – 7 of 7) sorted by relevance

/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/
DMQTTAgentCommand_Unsubscribe_harness.c36 MQTTAgentSubscribeArgs_t * pSubscribeArgs; in harness() local
42 pSubscribeArgs = allocateSubscribeArgs( NULL ); in harness()
44 MQTTAgentCommand_Unsubscribe( pMqttAgentContext, pSubscribeArgs, pReturnFlags ); in harness()
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Subscribe/
DMQTTAgentCommand_Subscribe_harness.c36 MQTTAgentSubscribeArgs_t * pSubscribeArgs; in harness() local
42 pSubscribeArgs = allocateSubscribeArgs( NULL ); in harness()
44 MQTTAgentCommand_Subscribe( pMqttAgentContext, pSubscribeArgs, pReturnFlags ); in harness()
/CoreMQTT-Agent-v1.1.0/test/cbmc/sources/
Dmqtt_agent_cbmc_state.c204 MQTTAgentSubscribeArgs_t * allocateSubscribeArgs( MQTTAgentSubscribeArgs_t * pSubscribeArgs ) in allocateSubscribeArgs() argument
206 if( pSubscribeArgs == NULL ) in allocateSubscribeArgs()
208 pSubscribeArgs = malloc( sizeof( MQTTAgentSubscribeArgs_t ) ); in allocateSubscribeArgs()
209 __CPROVER_assume( pSubscribeArgs != NULL ); in allocateSubscribeArgs()
212 pSubscribeArgs->pSubscribeInfo = malloc( sizeof( MQTTSubscribeInfo_t ) ); in allocateSubscribeArgs()
213 __CPROVER_assume( pSubscribeArgs->pSubscribeInfo != NULL ); in allocateSubscribeArgs()
215 return pSubscribeArgs; in allocateSubscribeArgs()
/CoreMQTT-Agent-v1.1.0/source/
Dcore_mqtt_agent_command_functions.c92 const MQTTAgentSubscribeArgs_t * pSubscribeArgs; in MQTTAgentCommand_Subscribe() local
100 pSubscribeArgs = ( const MQTTAgentSubscribeArgs_t * ) ( pVoidSubscribeArgs ); in MQTTAgentCommand_Subscribe()
104 pSubscribeArgs->pSubscribeInfo, in MQTTAgentCommand_Subscribe()
105 pSubscribeArgs->numSubscriptions, in MQTTAgentCommand_Subscribe()
120 const MQTTAgentSubscribeArgs_t * pSubscribeArgs; in MQTTAgentCommand_Unsubscribe() local
128 pSubscribeArgs = ( const MQTTAgentSubscribeArgs_t * ) ( pVoidSubscribeArgs ); in MQTTAgentCommand_Unsubscribe()
132 pSubscribeArgs->pSubscribeInfo, in MQTTAgentCommand_Unsubscribe()
133 pSubscribeArgs->numSubscriptions, in MQTTAgentCommand_Unsubscribe()
Dcore_mqtt_agent.c913 const MQTTAgentSubscribeArgs_t * pSubscribeArgs = NULL; in validateParams() local
928 pSubscribeArgs = ( const MQTTAgentSubscribeArgs_t * ) pParams; in validateParams()
929 ret = ( ( pSubscribeArgs != NULL ) && in validateParams()
930 ( pSubscribeArgs->pSubscribeInfo != NULL ) && in validateParams()
931 ( pSubscribeArgs->numSubscriptions != 0U ) ); in validateParams()
/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
Dagent_message_stubs.c40 MQTTAgentSubscribeArgs_t * pSubscribeArgs; in allocateCommand() local
59 pSubscribeArgs = malloc( sizeof( MQTTAgentSubscribeArgs_t ) ); in allocateCommand()
60 command->pArgs = ( void * ) pSubscribeArgs; in allocateCommand()
/CoreMQTT-Agent-v1.1.0/test/cbmc/include/
Dmqtt_agent_cbmc_state.h118 MQTTAgentSubscribeArgs_t * allocateSubscribeArgs( MQTTAgentSubscribeArgs_t * pSubscribeArgs );