Swapping to clang-format

.github/workflows/ci.yml

@@ -125,6 +125,7 @@ jobs:
             config: .github/memory_statistics_config.json
             check_against: docs/doxygen/include/size_table.md
   proof_ci:
+    if: ${{ github.event.pull_request }}
     runs-on: cbmc_ubuntu-latest_64-core
     steps:
       - name: Set up CBMC runner

source/include/core_http_config_defaults.h

@@ -4,22 +4,23 @@
  *
  * SPDX-License-Identifier: MIT
  *
- * Permission is hereby granted, free of charge, to any person obtaining a copy of
- * this software and associated documentation files (the "Software"), to deal in
- * the Software without restriction, including without limitation the rights to
- * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
- * the Software, and to permit persons to whom the Software is furnished to do so,
- * subject to the following conditions:
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
  *
- * The above copyright notice and this permission notice shall be included in all
- * copies or substantial portions of the Software.
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
  *
  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
- * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
- * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
- * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
- * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE.
  */
 
 /**
@@ -39,7 +40,7 @@
 
 /* *INDENT-OFF* */
 #ifdef __cplusplus
-    extern "C" {
+extern "C" {
 #endif
 /* *INDENT-ON* */
 
@@ -54,7 +55,7 @@
  * <b>Default value:</b> `my-platform-name`
  */
 #ifndef HTTP_USER_AGENT_VALUE
-    #define HTTP_USER_AGENT_VALUE    "my-platform-name"
+    #define HTTP_USER_AGENT_VALUE "my-platform-name"
 #endif
 
 /**
@@ -69,124 +70,135 @@
  * If the timeout expires, the #HTTPClient_Send function will return
  * #HTTPNetworkError.
  *
- * If #HTTPResponse_t.getTime is set to NULL, then this HTTP_RECV_RETRY_TIMEOUT_MS
- * is unused. When this timeout is unused, #HTTPClient_Send will not retry the
- * transport receive calls that return zero bytes read.
+ * If #HTTPResponse_t.getTime is set to NULL, then this
+ * HTTP_RECV_RETRY_TIMEOUT_MS is unused. When this timeout is unused,
+ * #HTTPClient_Send will not retry the transport receive calls that return zero
+ * bytes read.
  *
  * <b>Possible values:</b> Any positive 32 bit integer. A small timeout value
  * is recommended. <br>
  * <b>Default value:</b> `10`
  */
 #ifndef HTTP_RECV_RETRY_TIMEOUT_MS
-    #define HTTP_RECV_RETRY_TIMEOUT_MS    ( 10U )
+    #define HTTP_RECV_RETRY_TIMEOUT_MS ( 10U )
 #endif
 
 /**
  * @brief The maximum duration between non-empty network transmissions while
  * sending an HTTP request via the #HTTPClient_Send API function.
  *
- * When sending an HTTP request, the transport send function may be called multiple
- * times until all of the required number of bytes are sent.
- * This timeout represents the maximum duration that is allowed for no data
+ * When sending an HTTP request, the transport send function may be called
+ * multiple times until all of the required number of bytes are sent. This
+ * timeout represents the maximum duration that is allowed for no data
  * transmission over the network through the transport send function.
  *
- * If the timeout expires, the #HTTPClient_Send function returns #HTTPNetworkError.
+ * If the timeout expires, the #HTTPClient_Send function returns
+ * #HTTPNetworkError.
  *
- * If #HTTPResponse_t.getTime is set to NULL, then this HTTP_RECV_RETRY_TIMEOUT_MS
- * is unused. When this timeout is unused, #HTTPClient_Send will not retry the
- * transport send calls that return zero bytes sent.
+ * If #HTTPResponse_t.getTime is set to NULL, then this
+ * HTTP_RECV_RETRY_TIMEOUT_MS is unused. When this timeout is unused,
+ * #HTTPClient_Send will not retry the transport send calls that return zero
+ * bytes sent.
  *
  * <b>Possible values:</b> Any positive 32 bit integer. A small timeout value
  * is recommended. <br>
  * <b>Default value:</b> `10`
  */
 #ifndef HTTP_SEND_RETRY_TIMEOUT_MS
-    #define HTTP_SEND_RETRY_TIMEOUT_MS    ( 10U )
+    #define HTTP_SEND_RETRY_TIMEOUT_MS ( 10U )
 #endif
 
 /**
- * @brief Macro that is called in the HTTP Client library for logging "Error" level
- * messages.
- *
- * To enable error level logging in the HTTP Client library, this macro should be mapped to the
- * application-specific logging implementation that supports error logging.
- *
- * @note This logging macro is called in the HTTP Client library with parameters wrapped in
- * double parentheses to be ISO C89/C90 standard compliant. For a reference
- * POSIX implementation of the logging macros, refer to core_http_config.h files, and the
- * logging-stack in demos folder of the
- * [AWS IoT Embedded C SDK repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
- *
- * <b>Default value</b>: Error logging is turned off, and no code is generated for calls
- * to the macro in the HTTP Client library on compilation.
+ * @brief Macro that is called in the HTTP Client library for logging "Error"
+ * level messages.
+ *
+ * To enable error level logging in the HTTP Client library, this macro should
+ * be mapped to the application-specific logging implementation that supports
+ * error logging.
+ *
+ * @note This logging macro is called in the HTTP Client library with parameters
+ * wrapped in double parentheses to be ISO C89/C90 standard compliant. For a
+ * reference POSIX implementation of the logging macros, refer to
+ * core_http_config.h files, and the logging-stack in demos folder of the [AWS
+ * IoT Embedded C SDK
+ * repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
+ *
+ * <b>Default value</b>: Error logging is turned off, and no code is generated
+ * for calls to the macro in the HTTP Client library on compilation.
  */
 #ifndef LogError
     #define LogError( message )
 #endif
 
 /**
- * @brief Macro that is called in the HTTP Client library for logging "Warning" level
- * messages.
- *
- * To enable warning level logging in the HTTP Client library, this macro should be mapped to the
- * application-specific logging implementation that supports warning logging.
- *
- * @note This logging macro is called in the HTTP Client library with parameters wrapped in
- * double parentheses to be ISO C89/C90 standard compliant. For a reference
- * POSIX implementation of the logging macros, refer to core_http_config.h files, and the
- * logging-stack in demos folder of the
- * [AWS IoT Embedded C SDK repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
- *
- * <b>Default value</b>: Warning logs are turned off, and no code is generated for calls
- * to the macro in the HTTP Client library on compilation.
+ * @brief Macro that is called in the HTTP Client library for logging "Warning"
+ * level messages.
+ *
+ * To enable warning level logging in the HTTP Client library, this macro should
+ * be mapped to the application-specific logging implementation that supports
+ * warning logging.
+ *
+ * @note This logging macro is called in the HTTP Client library with parameters
+ * wrapped in double parentheses to be ISO C89/C90 standard compliant. For a
+ * reference POSIX implementation of the logging macros, refer to
+ * core_http_config.h files, and the logging-stack in demos folder of the [AWS
+ * IoT Embedded C SDK
+ * repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
+ *
+ * <b>Default value</b>: Warning logs are turned off, and no code is generated
+ * for calls to the macro in the HTTP Client library on compilation.
  */
 #ifndef LogWarn
     #define LogWarn( message )
 #endif
 
 /**
- * @brief Macro that is called in the HTTP Client library for logging "Info" level
- * messages.
- *
- * To enable info level logging in the HTTP Client library, this macro should be mapped to the
- * application-specific logging implementation that supports info logging.
- *
- * @note This logging macro is called in the HTTP Client library with parameters wrapped in
- * double parentheses to be ISO C89/C90 standard compliant. For a reference
- * POSIX implementation of the logging macros, refer to core_http_config.h files, and the
- * logging-stack in demos folder of the
- * [AWS IoT Embedded C SDK repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
- *
- * <b>Default value</b>: Info logging is turned off, and no code is generated for calls
- * to the macro in the HTTP Client library on compilation.
+ * @brief Macro that is called in the HTTP Client library for logging "Info"
+ * level messages.
+ *
+ * To enable info level logging in the HTTP Client library, this macro should be
+ * mapped to the application-specific logging implementation that supports info
+ * logging.
+ *
+ * @note This logging macro is called in the HTTP Client library with parameters
+ * wrapped in double parentheses to be ISO C89/C90 standard compliant. For a
+ * reference POSIX implementation of the logging macros, refer to
+ * core_http_config.h files, and the logging-stack in demos folder of the [AWS
+ * IoT Embedded C SDK
+ * repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
+ *
+ * <b>Default value</b>: Info logging is turned off, and no code is generated
+ * for calls to the macro in the HTTP Client library on compilation.
  */
 #ifndef LogInfo
     #define LogInfo( message )
 #endif
 
 /**
- * @brief Macro that is called in the HTTP Client library for logging "Debug" level
- * messages.
- *
- * To enable debug level logging from HTTP Client library, this macro should be mapped to the
- * application-specific logging implementation that supports debug logging.
- *
- * @note This logging macro is called in the HTTP Client library with parameters wrapped in
- * double parentheses to be ISO C89/C90 standard compliant. For a reference
- * POSIX implementation of the logging macros, refer to core_http_config.h files, and the
- * logging-stack in demos folder of the
- * [AWS IoT Embedded C SDK repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
- *
- * <b>Default value</b>: Debug logging is turned off, and no code is generated for calls
- * to the macro in the HTTP Client library on compilation.
+ * @brief Macro that is called in the HTTP Client library for logging "Debug"
+ * level messages.
+ *
+ * To enable debug level logging from HTTP Client library, this macro should be
+ * mapped to the application-specific logging implementation that supports debug
+ * logging.
+ *
+ * @note This logging macro is called in the HTTP Client library with parameters
+ * wrapped in double parentheses to be ISO C89/C90 standard compliant. For a
+ * reference POSIX implementation of the logging macros, refer to
+ * core_http_config.h files, and the logging-stack in demos folder of the [AWS
+ * IoT Embedded C SDK
+ * repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
+ *
+ * <b>Default value</b>: Debug logging is turned off, and no code is generated
+ * for calls to the macro in the HTTP Client library on compilation.
  */
 #ifndef LogDebug
     #define LogDebug( message )
 #endif
 
 /* *INDENT-OFF* */
 #ifdef __cplusplus
-    }
+}
 #endif
 /* *INDENT-ON* */