Searched refs:NUM_COMMANDS (Results 1 – 3 of 3) sorted by relevance
55 __CPROVER_assume( command->commandType >= NONE && command->commandType < NUM_COMMANDS ); in allocateCommand()
92 NUM_COMMANDS /**< @brief The number of command types handled by the agent. */ enumerator
535 const MQTTAgentCommandFunc_t pCommandFunctionTable[ NUM_COMMANDS ] = MQTT_AGENT_FUNCTION_TABLE; in processCommand()548 assert( pCommand->commandType < NUM_COMMANDS ); in processCommand()
