Searched refs:validateStruct (Results 1 – 8 of 8) sorted by relevance
| /CoreMQTT-Agent-v1.1.0/source/ |
| D | core_mqtt_agent.c | 245 static bool validateStruct( const MQTTAgentContext_t * pMqttAgentContext,
878 static bool validateStruct( const MQTTAgentContext_t * pMqttAgentContext, in validateStruct() function
1137 paramsValid = validateStruct( pMqttAgentContext, pCommandInfo ) && in MQTTAgent_Subscribe()
1162 paramsValid = validateStruct( pMqttAgentContext, pCommandInfo ) && in MQTTAgent_Unsubscribe()
1187 paramsValid = validateStruct( pMqttAgentContext, pCommandInfo ) && in MQTTAgent_Publish()
1211 paramsValid = validateStruct( pMqttAgentContext, pCommandInfo ); in MQTTAgent_ProcessLoop()
1235 paramsValid = validateStruct( pMqttAgentContext, pCommandInfo ) && in MQTTAgent_Connect()
1259 paramsValid = validateStruct( pMqttAgentContext, pCommandInfo ); in MQTTAgent_Disconnect()
1282 paramsValid = validateStruct( pMqttAgentContext, pCommandInfo ); in MQTTAgent_Ping()
1305 paramsValid = validateStruct( pMqttAgentContext, pCommandInfo ); in MQTTAgent_Terminate()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Connect/ |
| D | README.md | 11 * validateStruct()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Publish/ |
| D | README.md | 11 * validateStruct()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Terminate/ |
| D | README.md | 11 * validateStruct()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_ProcessLoop/ |
| D | README.md | 11 * validateStruct()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Ping/ |
| D | README.md | 11 * validateStruct()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Unsubscribe/ |
| D | README.md | 11 * validateStruct()
|
| /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/MQTTAgent_Subscribe/ |
| D | README.md | 11 * validateStruct()
|
