MisraStdC

BitVecFromInteger Description Create bitvector from integer value. Creates a bitvector representing the specified number of bits from the integer.

BitVecNumericalCompare Description Compare two bitvectors as unsigned integers. Treats bitvectors as unsigned binary numbers (LSB first).

BitVecSignedCompare Description Compare two bitvectors as signed integers (MSB is sign bit).

BitVecToInteger Description Convert bitvector to integer (up to 64 bits). Treats the bitvector as an unsigned integer with LSB first.

JR_INT Description Read a JSON integer value from stream and assign to target.

JR_INT_KV Description Read an integer key-value pair if key matches.

JReadInteger Description Strictly read an integer from input string.

JW_INT Description Append an integer value to a JSON string.

JW_INT_KV Description Write a key and integer value to a JSON object.