All files / utils/constants TypeConstants.ts

100% Statements 3/3
100% Branches 0/0
100% Functions 0/0
100% Lines 3/3

Press n or j to go to the next uncovered block, b, p or k for the previous block.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48                                16x                         16x                           16x        
/**
 * Shared type constants for analyzers.
 *
 * Centralizes type definitions to avoid duplication across analyzers.
 */
 
/**
 * Type constants used across analyzers
 */
class TypeConstants {
  /**
   * Floating-point type names (C-Next and C).
   *
   * Used by:
   * - FloatModuloAnalyzer: detecting float operands in modulo expressions
   */
  static readonly FLOAT_TYPES: readonly string[] = [
    "f32",
    "f64",
    "float",
    "double",
  ];
 
  /**
   * Unsigned integer types valid as array/bit subscript indexes.
   *
   * Used by:
   * - ArrayIndexTypeAnalyzer: validating subscript index types
   */
  static readonly UNSIGNED_INDEX_TYPES: readonly string[] = [
    "u8",
    "u16",
    "u32",
    "u64",
    "bool",
  ];
 
  /**
   * Signed integer types (rejected as subscript indexes).
   *
   * Used by:
   * - ArrayIndexTypeAnalyzer: detecting signed integer subscript indexes
   */
  static readonly SIGNED_TYPES: readonly string[] = ["i8", "i16", "i32", "i64"];
}
 
export default TypeConstants;