Rename files and structs (#43)

* Prefix structures with MQTTAgent * Change internal references to filenames * Rename files * Fix CBMC proofs * Update header guards
FreeRTOS · Apr 22, 2021 · c688e34 · c688e34
1 parent b5e094b
commit c688e34
Show file tree

Hide file tree

Showing 69 changed files with 402 additions and 402 deletions.
diff --git a/.github/memory_statistics_config.json b/.github/memory_statistics_config.json
@@ -1,8 +1,8 @@
 {
     "lib_name": "MQTT Agent",
     "src": [
-        "source/mqtt_agent.c",
-        "source/mqtt_agent_command_functions.c",
+        "source/core_mqtt_agent.c",
+        "source/core_mqtt_agent_command_functions.c",
         "source/dependency/coreMQTT/source/core_mqtt.c",
         "source/dependency/coreMQTT/source/core_mqtt_state.c",
         "source/dependency/coreMQTT/source/core_mqtt_serializer.c"

diff --git a/docs/doxygen/include/size_table.html b/docs/doxygen/include/size_table.html
@@ -8,12 +8,12 @@
         <td><b><center>With -Os Optimization</center></b></td>
     </tr>
     <tr>
-        <td>mqtt_agent.c</td>
+        <td>core_mqtt_agent.c</td>
         <td><center>1.6K</center></td>
         <td><center>1.4K</center></td>
     </tr>
     <tr>
-        <td>mqtt_agent_command_functions.c</td>
+        <td>core_mqtt_agent_command_functions.c</td>
         <td><center>0.4K</center></td>
         <td><center>0.4K</center></td>
     </tr>

diff --git a/docs/doxygen/pages.dox b/docs/doxygen/pages.dox
@@ -41,43 +41,43 @@ Configuration settings are C preprocessor constants. They can be set with a `#de
 @subpage mqtt_agent_resume_function <br><br>
 
 @page mqtt_agent_init_function MQTTAgent_Init
-@snippet mqtt_agent.h declare_mqtt_agent_init
+@snippet core_mqtt_agent.h declare_mqtt_agent_init
 @copydoc MQTTAgent_Init
 
 @page mqtt_agent_command_function MQTTAgent_CommandLoop
-@snippet mqtt_agent.h declare_mqtt_agent_commandloop
+@snippet core_mqtt_agent.h declare_mqtt_agent_commandloop
 @copydoc MQTTAgent_CommandLoop
 
 @page mqtt_agent_resume_function MQTTAgent_ResumeSession
-@snippet mqtt_agent.h declare_mqtt_agent_resumesession
+@snippet core_mqtt_agent.h declare_mqtt_agent_resumesession
 @copydoc MQTTAgent_ResumeSession
 
 @page mqtt_agent_publish_function MQTTAgent_Publish
-@snippet mqtt_agent.h declare_mqtt_agent_publish
+@snippet core_mqtt_agent.h declare_mqtt_agent_publish
 @copydoc MQTTAgent_Publish
 
 @page mqtt_agent_subscribe_function MQTTAgent_Subscribe
-@snippet mqtt_agent.h declare_mqtt_agent_subscribe
+@snippet core_mqtt_agent.h declare_mqtt_agent_subscribe
 @copydoc MQTTAgent_Subscribe
 
 @page mqtt_agent_unsubscribe_function MQTTAgent_Unsubscribe
-@snippet mqtt_agent.h declare_mqtt_agent_unsubscribe
+@snippet core_mqtt_agent.h declare_mqtt_agent_unsubscribe
 @copydoc MQTTAgent_Unsubscribe
 
 @page mqtt_agent_connect_function MQTTAgent_Connect
-@snippet mqtt_agent.h declare_mqtt_agent_connect
+@snippet core_mqtt_agent.h declare_mqtt_agent_connect
 @copydoc MQTTAgent_Connect
 
 @page mqtt_agent_disconnect_function MQTTAgent_Disconnect
-@snippet mqtt_agent.h declare_mqtt_agent_disconnect
+@snippet core_mqtt_agent.h declare_mqtt_agent_disconnect
 @copydoc MQTTAgent_Disconnect
 
 @page mqtt_agent_ping_function MQTTAgent_Ping
-@snippet mqtt_agent.h declare_mqtt_agent_ping
+@snippet core_mqtt_agent.h declare_mqtt_agent_ping
 @copydoc MQTTAgent_Ping
 
 @page mqtt_agent_terminate_function MQTTAgent_Terminate
-@snippet mqtt_agent.h declare_mqtt_agent_terminate
+@snippet core_mqtt_agent.h declare_mqtt_agent_terminate
 @copydoc MQTTAgent_Terminate
 
 */

diff --git a/lexicon.txt b/lexicon.txt
@@ -28,7 +28,6 @@ com
 commandcallback
 commandcompletecallback
 commandcontext
-commandinfo
 commandloop
 commandtype
 cond
@@ -87,6 +86,7 @@ misra
 mqtt
 mqttagent
 mqttagentcommand
+mqttagentcommandinfo
 mqttagentcontext
 mqttagentsubscribeargs
 mqttbadparameter
@@ -199,4 +199,4 @@ uint
 unsuback
 utest
 uxcontrolandlengthbytes
-www
+www
diff --git a/mqttAgentFilePaths.cmake b/mqttAgentFilePaths.cmake
@@ -12,6 +12,6 @@ set( MQTT_AGENT_INCLUDE_PUBLIC_DIRS
 
 # MQTT Agent library source files.
 set( MQTT_AGENT_SOURCES
-     "${CMAKE_CURRENT_LIST_DIR}/source/mqtt_agent.c"
-     "${CMAKE_CURRENT_LIST_DIR}/source/mqtt_agent_command_functions.c" )
+     "${CMAKE_CURRENT_LIST_DIR}/source/core_mqtt_agent.c"
+     "${CMAKE_CURRENT_LIST_DIR}/source/core_mqtt_agent_command_functions.c" )