Searched refs:command (Results 1 – 8 of 8) sorted by relevance
44 MQTTAgentCommand_t * command = malloc( sizeof( MQTTAgentCommand_t ) ); in allocateCommand() local49 __CPROVER_assume( command != NULL ); in allocateCommand()50 __CPROVER_assume( command->commandType == TERMINATE ); in allocateCommand()53 if( command != NULL ) in allocateCommand()55 __CPROVER_assume( command->commandType >= NONE && command->commandType < NUM_COMMANDS ); in allocateCommand()57 if( ( command->commandType == SUBSCRIBE ) || ( command->commandType == UNSUBSCRIBE ) ) in allocateCommand()60 command->pArgs = ( void * ) pSubscribeArgs; in allocateCommand()62 else if( command->commandType == PUBLISH ) in allocateCommand()65 command->pArgs = ( void * ) pPublishInfo; in allocateCommand()72 __CPROVER_assume( command->pCommandCompleteCallback == commandCompleteCallbackStub ); in allocateCommand()[all …]
554 MQTTAgentCommand_t command = { 0 }; in test_MQTTAgent_ResumeSession_session_present_no_publish_found() local560 mqttAgentContext.pPendingAcks[ 0 ].pOriginalCommand = &command; in test_MQTTAgent_ResumeSession_session_present_no_publish_found()626 MQTTAgentCommand_t command = { 0 }; in test_MQTTAgent_ResumeSession_failed_publish() local631 command.pArgs = &args; in test_MQTTAgent_ResumeSession_failed_publish()633 mqttAgentContext.pPendingAcks[ 0 ].pOriginalCommand = &command; in test_MQTTAgent_ResumeSession_failed_publish()646 MQTTAgentCommand_t command = { 0 }; in test_MQTTAgent_ResumeSession_publish_resend_success() local652 command.pArgs = &args; in test_MQTTAgent_ResumeSession_publish_resend_success()655 ackInfo.pOriginalCommand = &command; in test_MQTTAgent_ResumeSession_publish_resend_success()671 MQTTAgentCommand_t command = { 0 }; in test_MQTTAgent_ResumeSession_no_session_present() local675 command.pCommandCompleteCallback = NULL; in test_MQTTAgent_ResumeSession_no_session_present()[all …]
29 …command or completion callback, and these structures MUST remain in scope until the associated com…58 <td>Allocating storage for a command to be sent to the agent task.</td>62 <td>Releasing a command obtained from @ref MQTTAgentCommandGet_t.</td>71 …y timeout associated with them. The only way for a task to be aware of a command's completion is t…79 //pthread mutex and condition variables to signal to the thread that created the command.90 //Set return code so the thread that created the command can view.98 …e each optional, and passed at time of command creation in the @ref MQTTAgentCommandInfo_t paramet…275 It will return a pointer to the allocated command, or `NULL` if allocation failed.<br><br>290 It will return a `true` if the command was release, else `false`.<br><br>
186 # style comments (thus requiring an explicit @brief command for a brief205 # requiring an explicit \brief command for a brief description.)254 # will allow you to put the command \sideeffect (or @sideeffect) in the405 # \nosubgrouping command.569 # \internal command is included. If the tag is set to NO then the documentation726 # controlled using \showinitializer or \hideinitializer command in the756 # popen()) the command command input-file, where command is the value of the953 # command).974 # \image command).980 # by executing (via popen()) the command:[all …]
16 # this may be overridden on the command-line to Make, for example
8 # Use this file to give project-specific definitions of the command
45 …mand_t` structure, which is used to hold information and arguments for a command to be executed in…46 | `MQTTAgentCommandRelease_t` | A function called to indicate that a command structure that had bee…52 … safety. The below [reference examples](#reference-examples) use static memory with a command pool.69 To build unit tests, the submodule dependency of CMock is required. Use the following command to cl…86 1. Run the *cmake* command: `cmake -S test -B build`88 1. Run this command to build the library and unit tests: `make -C build all`111 Doxygen pages yourself, please run the following command from the root of this repository:
17 | Rule 11.5 | Advisory | Allow casts from `void *`. Fields such as command parameters are passed as…
