c-next 0.1.3 → 0.1.5

package/README.md

@@ -187,8 +187,8 @@ Your `.cnx` files and generated `.c` files remain untouched.
 If you prefer manual control, you can also run the transpiler explicitly:
 
 ```bash
-# Transpile all .cnx files in src/
-cnext --project src
+# Transpile all .cnx files in a directory (recursive)
+cnext src/
 
 # Or transpile specific files
 cnext src/ConfigStorage.cnx
@@ -661,42 +661,43 @@ Decisions are documented in `/docs/decisions/`:
 
 ### Implemented
 
-| ADR                                                          | Title                   | Description                                                  |
-| ------------------------------------------------------------ | ----------------------- | ------------------------------------------------------------ |
-| [ADR-001](docs/decisions/adr-001-assignment-operator.md)     | Assignment Operator     | `<-` for assignment, `=` for comparison                      |
-| [ADR-003](docs/decisions/adr-003-static-allocation.md)       | Static Allocation       | No dynamic memory after init                                 |
-| [ADR-004](docs/decisions/adr-004-register-bindings.md)       | Register Bindings       | Type-safe hardware access                                    |
-| [ADR-006](docs/decisions/adr-006-simplified-references.md)   | Simplified References   | Pass by reference, no pointer syntax                         |
-| [ADR-007](docs/decisions/adr-007-type-aware-bit-indexing.md) | Type-Aware Bit Indexing | Integers as bit arrays, `.length` property                   |
-| [ADR-010](docs/decisions/adr-010-c-interoperability.md)      | C Interoperability      | Unified ANTLR parser architecture                            |
-| [ADR-011](docs/decisions/adr-011-vscode-extension.md)        | VS Code Extension       | Live C preview with syntax highlighting                      |
-| [ADR-012](docs/decisions/adr-012-static-analysis.md)         | Static Analysis         | cppcheck integration for generated C                         |
-| [ADR-013](docs/decisions/adr-013-const-qualifier.md)         | Const Qualifier         | Compile-time const enforcement                               |
-| [ADR-014](docs/decisions/adr-014-structs.md)                 | Structs                 | Data containers without methods                              |
-| [ADR-015](docs/decisions/adr-015-null-state.md)              | Null State              | Zero initialization for all variables                        |
-| [ADR-016](docs/decisions/adr-016-scope.md)                   | Scope                   | `this.`/`global.` explicit qualification                     |
-| [ADR-017](docs/decisions/adr-017-enums.md)                   | Enums                   | Type-safe enums with C-style casting                         |
-| [ADR-030](docs/decisions/adr-030-forward-declarations.md)    | Define-Before-Use       | Functions must be defined before called                      |
-| [ADR-037](docs/decisions/adr-037-preprocessor.md)            | Preprocessor            | Flag-only defines, const for values                          |
-| [ADR-043](docs/decisions/adr-043-comments.md)                | Comments                | Comment preservation with MISRA compliance                   |
-| [ADR-044](docs/decisions/adr-044-primitive-types.md)         | Primitive Types         | Fixed-width types with `clamp`/`wrap` overflow               |
-| [ADR-024](docs/decisions/adr-024-type-casting.md)            | Type Casting            | Widening implicit, narrowing uses bit indexing               |
-| [ADR-022](docs/decisions/adr-022-conditional-expressions.md) | Conditional Expressions | Ternary with required parens, boolean condition, no nesting  |
-| [ADR-025](docs/decisions/adr-025-switch-statements.md)       | Switch Statements       | Safe switch with braces, `\|\|` syntax, counted `default(n)` |
-| [ADR-029](docs/decisions/adr-029-function-pointers.md)       | Callbacks               | Function-as-Type pattern with nominal typing                 |
-| [ADR-045](docs/decisions/adr-045-string-type.md)             | Bounded Strings         | `string<N>` with compile-time safety                         |
-| [ADR-023](docs/decisions/adr-023-sizeof.md)                  | Sizeof                  | Type/value size queries with safety checks                   |
-| [ADR-027](docs/decisions/adr-027-do-while.md)                | Do-While                | `do { } while ()` with boolean condition (E0701)             |
-| [ADR-032](docs/decisions/adr-032-nested-structs.md)          | Nested Structs          | Named nested structs only (no anonymous)                     |
-| [ADR-035](docs/decisions/adr-035-array-initializers.md)      | Array Initializers      | `[1, 2, 3]` syntax with `[0*]` fill-all                      |
-| [ADR-036](docs/decisions/adr-036-multidimensional-arrays.md) | Multi-dim Arrays        | `arr[i][j]` with compile-time bounds enforcement             |
-| [ADR-040](docs/decisions/adr-040-isr-declaration.md)         | ISR Type                | Built-in `ISR` type for `void(void)` function pointers       |
-| [ADR-034](docs/decisions/adr-034-bit-fields.md)              | Bitmap Types            | `bitmap8`/`bitmap16`/`bitmap32` for portable bit-packed data |
-| [ADR-048](docs/decisions/adr-048-cli-executable.md)          | CLI Executable          | `cnext` command with smart defaults                          |
-| [ADR-049](docs/decisions/adr-049-atomic-types.md)            | Atomic Types            | `atomic` keyword with LDREX/STREX or PRIMASK fallback        |
-| [ADR-050](docs/decisions/adr-050-critical-sections.md)       | Critical Sections       | `critical { }` blocks with PRIMASK save/restore              |
-| [ADR-108](docs/decisions/adr-108-volatile-keyword.md)        | Volatile Variables      | `volatile` keyword prevents compiler optimization            |
-| [ADR-047](docs/decisions/adr-047-nullable-types.md)          | NULL for C Interop      | `NULL` keyword for C stream function comparisons             |
+| ADR                                                                  | Title                   | Description                                                  |
+| -------------------------------------------------------------------- | ----------------------- | ------------------------------------------------------------ |
+| [ADR-001](docs/decisions/adr-001-assignment-operator.md)             | Assignment Operator     | `<-` for assignment, `=` for comparison                      |
+| [ADR-003](docs/decisions/adr-003-static-allocation.md)               | Static Allocation       | No dynamic memory after init                                 |
+| [ADR-004](docs/decisions/adr-004-register-bindings.md)               | Register Bindings       | Type-safe hardware access                                    |
+| [ADR-006](docs/decisions/adr-006-simplified-references.md)           | Simplified References   | Pass by reference, no pointer syntax                         |
+| [ADR-007](docs/decisions/adr-007-type-aware-bit-indexing.md)         | Type-Aware Bit Indexing | Integers as bit arrays, `.length` property                   |
+| [ADR-010](docs/decisions/adr-010-c-interoperability.md)              | C Interoperability      | Unified ANTLR parser architecture                            |
+| [ADR-011](docs/decisions/adr-011-vscode-extension.md)                | VS Code Extension       | Live C preview with syntax highlighting                      |
+| [ADR-012](docs/decisions/adr-012-static-analysis.md)                 | Static Analysis         | cppcheck integration for generated C                         |
+| [ADR-013](docs/decisions/adr-013-const-qualifier.md)                 | Const Qualifier         | Compile-time const enforcement                               |
+| [ADR-014](docs/decisions/adr-014-structs.md)                         | Structs                 | Data containers without methods                              |
+| [ADR-015](docs/decisions/adr-015-null-state.md)                      | Null State              | Zero initialization for all variables                        |
+| [ADR-016](docs/decisions/adr-016-scope.md)                           | Scope                   | `this.`/`global.` explicit qualification                     |
+| [ADR-017](docs/decisions/adr-017-enums.md)                           | Enums                   | Type-safe enums with C-style casting                         |
+| [ADR-030](docs/decisions/adr-030-forward-declarations.md)            | Define-Before-Use       | Functions must be defined before called                      |
+| [ADR-037](docs/decisions/adr-037-preprocessor.md)                    | Preprocessor            | Flag-only defines, const for values                          |
+| [ADR-043](docs/decisions/adr-043-comments.md)                        | Comments                | Comment preservation with MISRA compliance                   |
+| [ADR-044](docs/decisions/adr-044-primitive-types.md)                 | Primitive Types         | Fixed-width types with `clamp`/`wrap` overflow               |
+| [ADR-024](docs/decisions/adr-024-type-casting.md)                    | Type Casting            | Widening implicit, narrowing uses bit indexing               |
+| [ADR-022](docs/decisions/adr-022-conditional-expressions.md)         | Conditional Expressions | Ternary with required parens, boolean condition, no nesting  |
+| [ADR-025](docs/decisions/adr-025-switch-statements.md)               | Switch Statements       | Safe switch with braces, `\|\|` syntax, counted `default(n)` |
+| [ADR-029](docs/decisions/adr-029-function-pointers.md)               | Callbacks               | Function-as-Type pattern with nominal typing                 |
+| [ADR-045](docs/decisions/adr-045-string-type.md)                     | Bounded Strings         | `string<N>` with compile-time safety                         |
+| [ADR-023](docs/decisions/adr-023-sizeof.md)                          | Sizeof                  | Type/value size queries with safety checks                   |
+| [ADR-027](docs/decisions/adr-027-do-while.md)                        | Do-While                | `do { } while ()` with boolean condition (E0701)             |
+| [ADR-032](docs/decisions/adr-032-nested-structs.md)                  | Nested Structs          | Named nested structs only (no anonymous)                     |
+| [ADR-035](docs/decisions/adr-035-array-initializers.md)              | Array Initializers      | `[1, 2, 3]` syntax with `[0*]` fill-all                      |
+| [ADR-036](docs/decisions/adr-036-multidimensional-arrays.md)         | Multi-dim Arrays        | `arr[i][j]` with compile-time bounds enforcement             |
+| [ADR-040](docs/decisions/adr-040-isr-declaration.md)                 | ISR Type                | Built-in `ISR` type for `void(void)` function pointers       |
+| [ADR-034](docs/decisions/adr-034-bit-fields.md)                      | Bitmap Types            | `bitmap8`/`bitmap16`/`bitmap32` for portable bit-packed data |
+| [ADR-048](docs/decisions/adr-048-cli-executable.md)                  | CLI Executable          | `cnext` command with smart defaults                          |
+| [ADR-049](docs/decisions/adr-049-atomic-types.md)                    | Atomic Types            | `atomic` keyword with LDREX/STREX or PRIMASK fallback        |
+| [ADR-050](docs/decisions/adr-050-critical-sections.md)               | Critical Sections       | `critical { }` blocks with PRIMASK save/restore              |
+| [ADR-108](docs/decisions/adr-108-volatile-keyword.md)                | Volatile Variables      | `volatile` keyword prevents compiler optimization            |
+| [ADR-047](docs/decisions/adr-047-nullable-types.md)                  | NULL for C Interop      | `NULL` keyword for C stream function comparisons             |
+| [ADR-052](docs/decisions/adr-052-safe-numeric-literal-generation.md) | Safe Numeric Literals   | `type_MIN`/`type_MAX` constants + safe hex conversion        |
 
 ### Research (v1 Roadmap)
 

package/grammar/CNext.g4

@@ -345,8 +345,8 @@ switchCase
 caseLabel
     : qualifiedType      // Enum value: EState.IDLE
     | IDENTIFIER         // Const or enum member
-    | INTEGER_LITERAL
-    | HEX_LITERAL
+    | '-'? INTEGER_LITERAL  // Allow negative integers
+    | '-'? HEX_LITERAL      // Allow negative hex (e.g., -0x80)
     | BINARY_LITERAL
     | CHAR_LITERAL
     ;
@@ -505,7 +505,6 @@ type
     | qualifiedType                           // ADR-016: Scope.Type from outside scope
     | userType
     | arrayType
-    | genericType
     | 'void'
     ;
 
@@ -543,15 +542,6 @@ arrayType
     | userType '[' expression ']'
     ;
 
-genericType
-    : IDENTIFIER '<' typeArgument (',' typeArgument)* '>'
-    ;
-
-typeArgument
-    : type
-    | expression    // For numeric type parameters like buffer sizes
-    ;
-
 // ----------------------------------------------------------------------------
 // Literals (ADR-024: Type suffixes OPTIONAL, validated against target type)
 // ----------------------------------------------------------------------------

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "c-next",
-  "version": "0.1.3",
+  "version": "0.1.5",
   "description": "A safer C for embedded systems development. Transpiles to clean, readable C.",
   "main": "src/index.ts",
   "bin": {
@@ -26,7 +26,11 @@
     "oxlint:check": "oxlint src/",
     "oxlint:fix": "oxlint src/ --fix",
     "prepare": "husky",
-    "prepublishOnly": "npm run prettier:check && npm run oxlint:check && npm test"
+    "prepublishOnly": "npm run prettier:check && npm run oxlint:check && npm test",
+    "coverage:check": "tsx scripts/coverage-checker.ts check",
+    "coverage:report": "tsx scripts/coverage-checker.ts report",
+    "coverage:gaps": "tsx scripts/coverage-checker.ts gaps",
+    "coverage:ids": "tsx scripts/coverage-checker.ts ids"
   },
   "keywords": [
     "c",

package/src/analysis/FunctionCallAnalyzer.ts

@@ -229,6 +229,42 @@ class FunctionCallListener extends CNextListener {
     this.analyzer = analyzer;
   }
 
+  // ========================================================================
+  // ISR/Callback Variable Tracking (ADR-040)
+  // ========================================================================
+
+  /**
+   * Track ISR-typed variables from variable declarations
+   * e.g., `ISR handler <- myFunction;`
+   */
+  override enterVariableDeclaration = (
+    ctx: Parser.VariableDeclarationContext,
+  ): void => {
+    const typeCtx = ctx.type();
+    const typeName = typeCtx.getText();
+
+    // Check if this is an ISR type or a callback type (function-as-type)
+    if (typeName === "ISR" || this.analyzer.isCallbackType(typeName)) {
+      const varName = ctx.IDENTIFIER().getText();
+      this.analyzer.defineCallableVariable(varName);
+    }
+  };
+
+  /**
+   * Track ISR-typed parameters in function declarations
+   * e.g., `void execute(ISR handler) { handler(); }`
+   */
+  override enterParameter = (ctx: Parser.ParameterContext): void => {
+    const typeCtx = ctx.type();
+    const typeName = typeCtx.getText();
+
+    // Check if this is an ISR type or a callback type (function-as-type)
+    if (typeName === "ISR" || this.analyzer.isCallbackType(typeName)) {
+      const paramName = ctx.IDENTIFIER().getText();
+      this.analyzer.defineCallableVariable(paramName);
+    }
+  };
+
   // ========================================================================
   // Function Definitions
   // ========================================================================
@@ -357,6 +393,12 @@ class FunctionCallAnalyzer {
   /** Current function being defined (for self-recursion detection) */
   private currentFunctionName: string | null = null;
 
+  /** ADR-040: Variables of type ISR or callback types that can be invoked */
+  private callableVariables: Set<string> = new Set();
+
+  /** ADR-029: Callback types (function-as-type pattern) */
+  private callbackTypes: Set<string> = new Set();
+
   /**
    * Analyze a parsed program for function call errors
    * @param tree The parsed program AST
@@ -373,10 +415,13 @@ class FunctionCallAnalyzer {
     this.includedHeaders = new Set();
     this.symbolTable = symbolTable ?? null;
     this.currentFunctionName = null;
+    this.callableVariables = new Set();
+    this.callbackTypes = new Set();
 
-    // First pass: collect scope names and included headers
+    // First pass: collect scope names, includes, and callback types
     this.collectScopes(tree);
     this.collectIncludes(tree);
+    this.collectCallbackTypes(tree);
 
     // Second pass: walk tree in order, tracking definitions and checking calls
     const listener = new FunctionCallListener(this);
@@ -424,6 +469,33 @@ class FunctionCallAnalyzer {
     return false;
   }
 
+  /**
+   * ADR-029: Collect callback types (function-as-type pattern)
+   * Any function definition creates a type that can be used for callback fields/parameters
+   */
+  private collectCallbackTypes(tree: Parser.ProgramContext): void {
+    for (const decl of tree.declaration()) {
+      if (decl.functionDeclaration()) {
+        const name = decl.functionDeclaration()!.IDENTIFIER().getText();
+        this.callbackTypes.add(name);
+      }
+    }
+  }
+
+  /**
+   * ADR-029: Check if a type name is a callback type (function-as-type)
+   */
+  public isCallbackType(name: string): boolean {
+    return this.callbackTypes.has(name);
+  }
+
+  /**
+   * ADR-040: Register a variable that holds a callable (ISR or callback)
+   */
+  public defineCallableVariable(name: string): void {
+    this.callableVariables.add(name);
+  }
+
   /**
    * Register a function as defined
    */
@@ -488,6 +560,11 @@ class FunctionCallAnalyzer {
       return; // OK - external C/C++ function
     }
 
+    // ADR-040: Check if this is an ISR or callback variable being invoked
+    if (this.callableVariables.has(name)) {
+      return; // OK - invoking a function pointer variable
+    }
+
     // Not defined - report error
     this.errors.push({
       code: "E0422",