All files / transpiler/types TRequirementKey.ts

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
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
/**
 * Issue #1143: Stable identity of one toolchain requirement.
 *
 * Keys are **per-arm, not per-feature**. The IRQ-wrapper block emits four
 * platform arms in one #if/#elif/#else chain, and each arm depends on a
 * different platform library -- ARMv7-M, Arduino, avr-libc, CMSIS. Collapsing
 * them into one "critical section" key is what makes a requirements table lie:
 * it forces a single answer to a question whose answer is per-target.
 *
 * The union is closed, and TOOLCHAIN_REQUIREMENTS is a Record over it, so
 * adding a key without adding its registry entry is a compile error.
 */
type TRequirementKey =
  // --- baselines: what any file in a given mode already costs ---
  | "baseline-c"
  | "baseline-cpp"
  // --- float bit indexing ---
  | "float-assert-c11"
  | "float-assert-cpp11"
  // --- critical sections (ADR-050), one key per platform arm ---
  | "critical-arm-gnu"
  | "critical-arduino"
  | "critical-avr-libc"
  | "critical-cmsis-fallback"
  // --- atomics (ADR-049) ---
  | "atomic-ldrex-cmsis"
  | "atomic-primask-cmsis"
  // --- struct initializers ---
  | "cpp-designated-initializer"
  | "cpp-compound-literal"
  // --- debug mode ---
  | "overflow-panic-hosted-libc";
 
export default TRequirementKey;