Home
last modified time | relevance | path

Searched refs:MQTT_AGENT_MAX_OUTSTANDING_ACKS (Results 1 – 9 of 9) sorted by relevance

/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgentCommand_Terminate/
DMakefile14 MQTT_AGENT_MAX_OUTSTANDING_ACKS=2 macro
22 MAX_BOUND_FOR_PENDING_ACK_LOOPS=$(shell expr $(MQTT_AGENT_MAX_OUTSTANDING_ACKS) + 1 )
24 DEFINES += -DMQTT_AGENT_MAX_OUTSTANDING_ACKS=$(MQTT_AGENT_MAX_OUTSTANDING_ACKS)
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_CancelAll/
DMakefile14 MQTT_AGENT_MAX_OUTSTANDING_ACKS=2 macro
22 MAX_BOUND_FOR_PENDING_ACK_LOOPS=$(shell expr $(MQTT_AGENT_MAX_OUTSTANDING_ACKS) + 1 )
24 DEFINES += -DMQTT_AGENT_MAX_OUTSTANDING_ACKS=$(MQTT_AGENT_MAX_OUTSTANDING_ACKS)
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ResumeSession/
DMakefile14 MQTT_AGENT_MAX_OUTSTANDING_ACKS=2 macro
20 MAX_BOUND_FOR_PENDING_ACK_LOOPS=$(shell expr $(MQTT_AGENT_MAX_OUTSTANDING_ACKS) + 1 )
27 DEFINES += -DMQTT_AGENT_MAX_OUTSTANDING_ACKS=$(MQTT_AGENT_MAX_OUTSTANDING_ACKS)
/CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_CommandLoop/
DMakefile14 MQTT_AGENT_MAX_OUTSTANDING_ACKS=2 macro
20 MAX_BOUND_FOR_PENDING_ACK_LOOPS=$(shell expr $(MQTT_AGENT_MAX_OUTSTANDING_ACKS) + 1 )
30 DEFINES += -DMQTT_AGENT_MAX_OUTSTANDING_ACKS=$(MQTT_AGENT_MAX_OUTSTANDING_ACKS)
/CoreMQTT-Agent-v1.1.0/source/include/
Dcore_mqtt_agent.h55 #ifndef MQTT_AGENT_MAX_OUTSTANDING_ACKS
56 #define MQTT_AGENT_MAX_OUTSTANDING_ACKS ( 20U ) macro
188 …MQTTAgentAckInfo_t pPendingAcks[ MQTT_AGENT_MAX_OUTSTANDING_ACKS ]; /**< List of pending acknowled…
/CoreMQTT-Agent-v1.1.0/source/
Dcore_mqtt_agent.c292 for( i = 0; i < MQTT_AGENT_MAX_OUTSTANDING_ACKS; i++ ) in isSpaceInPendingAckList()
312 size_t i = 0, unusedPos = MQTT_AGENT_MAX_OUTSTANDING_ACKS; in addAwaitingOperation()
325 for( i = 0; i < MQTT_AGENT_MAX_OUTSTANDING_ACKS; i++ ) in addAwaitingOperation()
329 if( ( unusedPos == MQTT_AGENT_MAX_OUTSTANDING_ACKS ) && in addAwaitingOperation()
386 for( i = 0; i < MQTT_AGENT_MAX_OUTSTANDING_ACKS; i++ ) in getAwaitingOperation()
849 for( i = 0; i < MQTT_AGENT_MAX_OUTSTANDING_ACKS; i++ ) in clearPendingAcknowledgments()
1113 for( i = 0; i < MQTT_AGENT_MAX_OUTSTANDING_ACKS; i++ ) in MQTTAgent_CancelAll()
/CoreMQTT-Agent-v1.1.0/test/unit-test/
Dmqtt_agent_utest.c594 mqttAgentContext.pPendingAcks[ MQTT_AGENT_MAX_OUTSTANDING_ACKS - 1 ].packetId = pubPacketId + 2; in test_MQTTAgent_ResumeSession_session_present_clear_pending_subscribe_unsubscribe()
595 mqttAgentContext.pPendingAcks[ MQTT_AGENT_MAX_OUTSTANDING_ACKS - 1 ].pOriginalCommand = in test_MQTTAgent_ResumeSession_session_present_clear_pending_subscribe_unsubscribe()
612 pPendingAcks[ MQTT_AGENT_MAX_OUTSTANDING_ACKS - 1 ].packetId ); in test_MQTTAgent_ResumeSession_session_present_clear_pending_subscribe_unsubscribe()
614 … pPendingAcks[ MQTT_AGENT_MAX_OUTSTANDING_ACKS - 1 ].pOriginalCommand ); in test_MQTTAgent_ResumeSession_session_present_clear_pending_subscribe_unsubscribe()
752 for( i = 0; i < MQTT_AGENT_MAX_OUTSTANDING_ACKS; i++ ) in test_MQTTAgent_Subscribe_No_Ack_Space()
952 for( i = 0; i < MQTT_AGENT_MAX_OUTSTANDING_ACKS; i++ ) in test_MQTTAgent_Publish_No_Ack_Space()
1355 for( i = 0; i < MQTT_AGENT_MAX_OUTSTANDING_ACKS; i++ ) in test_MQTTAgent_CommandLoop_add_acknowledgment_failure()
1425 MQTT_AGENT_MAX_OUTSTANDING_ACKS ); in test_MQTTAgent_CommandLoop_add_acknowledgment_invalid_id()
/CoreMQTT-Agent-v1.1.0/test/cbmc/sources/
Dmqtt_agent_cbmc_state.c177 for( i = 0; i < MQTT_AGENT_MAX_OUTSTANDING_ACKS; i++ ) in addPendingAcks()
/CoreMQTT-Agent-v1.1.0/docs/doxygen/
Dpages.dox109 @section MQTT_AGENT_MAX_OUTSTANDING_ACKS
110 @copydoc MQTT_AGENT_MAX_OUTSTANDING_ACKS