format qldoc comment (indentation)

Author: jeongsoolee09

c/misra/src/rules/RULE-6-1/BitFieldsShallOnlyBeDeclaredWithAnAppropriateType.ql

@@ -1,14 +1,14 @@
 /**
-* @id c/misra/bit-fields-shall-only-be-declared-with-an-appropriate-type
-* @name RULE-6-1: Bit-fields shall only be declared with an appropriate type
-* @description Declaring bit-fields on types other than appropriate ones causes
-*              implementation-specific or undefined behavior.
-* @kind problem
-* @precision very-high
-* @problem.severity error
-* @tags external/misra/id/rule-6-1
-*       external/misra/obligation/required
-*/
+ * @id c/misra/bit-fields-shall-only-be-declared-with-an-appropriate-type
+ * @name RULE-6-1: Bit-fields shall only be declared with an appropriate type
+ * @description Declaring bit-fields on types other than appropriate ones causes
+ *              implementation-specific or undefined behavior.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-6-1
+ *       external/misra/obligation/required
+ */
 
 import cpp
 import codingstandards.c.misra
@@ -17,20 +17,20 @@ predicate isAppropriatePrimitive(Type type) {
   /* An appropriate primitive types to which a bit-field can be declared. */
   type instanceof IntType and
   (
-   type.(IntegralType).isExplicitlySigned() or
-   type.(IntegralType).isExplicitlyUnsigned()
-   )
+    type.(IntegralType).isExplicitlySigned() or
+    type.(IntegralType).isExplicitlyUnsigned()
+  )
   or
   type instanceof BoolType
 }
 
 from BitField bitField
 where
-not isExcluded(bitField,
-BitfieldTypesPackage::bitFieldsShallOnlyBeDeclaredWithAnAppropriateTypeQuery()) and
+  not isExcluded(bitField,
+    BitfieldTypesPackage::bitFieldsShallOnlyBeDeclaredWithAnAppropriateTypeQuery()) and
   /* A violation would neither an appropriate primitive type nor an appropriate typedef. */
-not (
-     isAppropriatePrimitive(bitField.getType()) or
-     isAppropriatePrimitive(bitField.getType().resolveTypedefs())
-     )
+  not (
+    isAppropriatePrimitive(bitField.getType()) or
+    isAppropriatePrimitive(bitField.getType().resolveTypedefs())
+  )
 select bitField, "Bit-field " + bitField + " is declared on type " + bitField.getType() + "."

c/misra/src/rules/RULE-6-2/SingleBitNamedBitFieldsOfASignedType.ql

@@ -13,18 +13,22 @@
 import cpp
 import codingstandards.c.misra
 
-/* Check if the DECLARED bit-fields is a single bit, because Rule 6.2 also intends to catch confusion on the programmers' part. Consider:
-
-struct S {
-  int32_t x: 1;
-}
-
-In this case, field x is essentially of 32 bits, but is declared as 1 bit and its type int32_t is signed. Therefore, it indicates confusion by the programmer, which is exactly what this rule intends to find. */
+/*
+ * Check if the DECLARED bit-fields is a single bit, because Rule 6.2 also intends to catch confusion on the programmers' part. Consider:
+ *
+ * struct S {
+ *  int32_t x: 1;
+ * }
+ *
+ * In this case, field x is essentially of 32 bits, but is declared as 1 bit and its type int32_t is signed. Therefore, it indicates confusion by the programmer, which is exactly what this rule intends to find.
+ */
 
 from BitField bitField
 where
-not isExcluded(bitField, BitfieldTypesPackage::singleBitNamedBitFieldsOfASignedTypeQuery()) and
-bitField.getDeclaredNumBits() = 1 and // Single-bit,
-not bitField.isAnonymous() and // named,
-bitField.getType().(IntegralType).isSigned() // but its type is signed.
-select bitField, "Single-bit bit-field named " + bitField.toString() + " has a signed type " + bitField.getType() + "."
+  not isExcluded(bitField, BitfieldTypesPackage::singleBitNamedBitFieldsOfASignedTypeQuery()) and
+  bitField.getDeclaredNumBits() = 1 and // Single-bit,
+  not bitField.isAnonymous() and // named,
+  bitField.getType().(IntegralType).isSigned() // but its type is signed.
+select bitField,
+  "Single-bit bit-field named " + bitField.toString() + " has a signed type " + bitField.getType() +
+    "."