Searched refs:pContext (Results 1 – 5 of 5) sorted by relevance
| /CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/ |
| D | core_mqtt_stubs.c | 58 MQTTStatus_t MQTT_Init( MQTTContext_t * pContext, in MQTT_Init() argument
66 __CPROVER_assert( pContext != NULL, in MQTT_Init()
69 ( void ) memset( pContext, 0x00, sizeof( MQTTContext_t ) ); in MQTT_Init()
71 pContext->connectStatus = MQTTNotConnected; in MQTT_Init()
72 pContext->transportInterface = *pTransportInterface; in MQTT_Init()
73 pContext->getTime = getTimeFunction; in MQTT_Init()
74 pContext->appCallback = userCallback; in MQTT_Init()
75 pContext->networkBuffer = *pNetworkBuffer; in MQTT_Init()
78 pContext->nextPacketId = 1; in MQTT_Init()
83 MQTTStatus_t MQTT_ProcessLoop( MQTTContext_t * pContext, in MQTT_ProcessLoop() argument
[all …]
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/sources/ |
| D | mqtt_agent_cbmc_state.c | 72 MQTTAgentContext_t * allocateMqttAgentContext( MQTTAgentContext_t * pContext ) in allocateMqttAgentContext() argument
80 if( pContext == NULL ) in allocateMqttAgentContext()
82 pContext = malloc( sizeof( MQTTAgentContext_t ) ); in allocateMqttAgentContext()
111 if( pContext != NULL ) in allocateMqttAgentContext()
113 status = MQTTAgent_Init( pContext, in allocateMqttAgentContext()
127 pContext = NULL; in allocateMqttAgentContext()
130 return pContext; in allocateMqttAgentContext()
133 bool isValidMqttAgentContext( const MQTTAgentContext_t * pContext ) in isValidMqttAgentContext() argument
137 if( pContext != NULL ) in isValidMqttAgentContext()
139 isValid = isValidMqttFixedBuffer( &( pContext->mqttContext.networkBuffer ) ); in isValidMqttAgentContext()
[all …]
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/include/ |
| D | mqtt_agent_cbmc_state.h | 62 MQTTAgentContext_t * allocateMqttAgentContext( MQTTAgentContext_t * pContext );
74 bool isValidMqttAgentContext( const MQTTAgentContext_t * pContext );
109 void addPendingAcks( MQTTAgentContext_t * pContext );
|
| D | incoming_publish_callback_stub.h | 40 void IncomingPublishCallbackStub( MQTTAgentContext_t * pContext,
|
| /CoreMQTT-Agent-v1.1.0/test/unit-test/ |
| D | mqtt_agent_utest.c | 255 static MQTTStatus_t MQTT_Init_CustomStub( MQTTContext_t * pContext, in MQTT_Init_CustomStub() argument
264 pContext->connectStatus = MQTTNotConnected; in MQTT_Init_CustomStub()
265 pContext->transportInterface = *pTransport; in MQTT_Init_CustomStub()
266 pContext->getTime = getTimeFunc; in MQTT_Init_CustomStub()
267 pContext->appCallback = userCallback; in MQTT_Init_CustomStub()
268 pContext->networkBuffer = *pNetworkBuffer; in MQTT_Init_CustomStub()
269 pContext->nextPacketId = 1; in MQTT_Init_CustomStub()
276 MQTTStatus_t MQTT_ProcessLoop_CustomStub( MQTTContext_t * pContext, in MQTT_ProcessLoop_CustomStub() argument
290 pContext->appCallback( pContext, &packetInfo, &deserializedInfo ); in MQTT_ProcessLoop_CustomStub()
291 pMqttAgentContext = ( MQTTAgentContext_t * ) pContext; in MQTT_ProcessLoop_CustomStub()
[all …]
|
