c-next 0.1.0 → 0.1.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "c-next",
-  "version": "0.1.0",
+  "version": "0.1.1",
   "description": "A safer C for embedded systems development. Transpiles to clean, readable C.",
   "main": "src/index.ts",
   "bin": {

package/src/codegen/CodeGenerator.ts

@@ -898,6 +898,10 @@ export default class CodeGenerator {
         const scopeDecl = decl.scopeDeclaration()!;
         const scopeName = scopeDecl.IDENTIFIER().getText();
 
+        // Set currentScope so that this.Type references resolve correctly
+        const savedScope = this.context.currentScope;
+        this.context.currentScope = scopeName;
+
         for (const member of scopeDecl.scopeMember()) {
           if (member.variableDeclaration()) {
             const varDecl = member.variableDeclaration()!;
@@ -907,6 +911,9 @@ export default class CodeGenerator {
             this.trackVariableTypeWithName(varDecl, fullName);
           }
         }
+
+        // Restore previous scope
+        this.context.currentScope = savedScope;
       }
 
       // Note: Function parameters are registered per-function during generation

package/src/codegen/types/ICallbackTypeInfo.ts

@@ -0,0 +1,20 @@
+/**
+ * Callback type info for Function-as-Type pattern
+ * Each function definition creates both a callable function AND a type
+ */
+
+interface ICallbackTypeInfo {
+  functionName: string; // The original function name (also the type name)
+  returnType: string; // Return type for typedef (C type)
+  parameters: Array<{
+    name: string;
+    type: string; // C type
+    isConst: boolean;
+    isPointer: boolean; // Non-array params become pointers
+    isArray: boolean; // Array parameters pass naturally as pointers
+    arrayDims: string; // Array dimensions if applicable
+  }>;
+  typedefName: string; // e.g., "onReceive_fp"
+}
+
+export default ICallbackTypeInfo;

package/src/codegen/types/IFunctionSignature.ts

@@ -0,0 +1,16 @@
+/**
+ * Function signature for const parameter tracking
+ * Used to validate const-to-non-const errors at call sites
+ */
+
+interface IFunctionSignature {
+  name: string;
+  parameters: Array<{
+    name: string;
+    baseType: string; // The C-Next type (e.g., 'u32', 'f32')
+    isConst: boolean;
+    isArray: boolean;
+  }>;
+}
+
+export default IFunctionSignature;

package/src/codegen/types/ITargetCapabilities.ts

@@ -0,0 +1,12 @@
+/**
+ * Target platform capabilities for code generation
+ * Determines which atomic instructions and features are available
+ */
+
+interface ITargetCapabilities {
+  wordSize: 8 | 16 | 32;
+  hasLdrexStrex: boolean;
+  hasBasepri: boolean;
+}
+
+export default ITargetCapabilities;

package/src/codegen/types/TCodeGenContext.ts

@@ -0,0 +1,41 @@
+/**
+ * Code generation context - shared state across all codegen components
+ * Tracks current scope, variables, types, and generation state
+ */
+
+import TParameterInfo from "./TParameterInfo";
+import TTypeInfo from "./TTypeInfo";
+import TOverflowBehavior from "./TOverflowBehavior";
+import ITargetCapabilities from "./ITargetCapabilities";
+
+/**
+ * Assignment context for overflow behavior tracking
+ */
+export interface IAssignmentContext {
+  targetName: string | null;
+  targetType: string | null;
+  overflowBehavior: TOverflowBehavior;
+}
+
+/**
+ * Code generation context - mutable state passed to all codegen components
+ */
+type TCodeGenContext = {
+  currentScope: string | null;
+  indentLevel: number;
+  scopeMembers: Map<string, Set<string>>;
+  currentParameters: Map<string, TParameterInfo>;
+  localArrays: Set<string>;
+  localVariables: Set<string>;
+  inFunctionBody: boolean;
+  typeRegistry: Map<string, TTypeInfo>;
+  expectedType: string | null;
+  mainArgsName: string | null;
+  assignmentContext: IAssignmentContext;
+  lastArrayInitCount: number;
+  lastArrayFillValue: string | undefined;
+  lengthCache: Map<string, string> | null;
+  targetCapabilities: ITargetCapabilities;
+};
+
+export default TCodeGenContext;

package/src/codegen/types/index.ts

@@ -0,0 +1,17 @@
+/**
+ * Codegen types barrel export
+ * Central export point for all codegen type definitions
+ */
+
+export { default as ECommentType } from "./ECommentType";
+export { default as IComment } from "./IComment";
+export { default as ICommentError } from "./ICommentError";
+export { default as TParameterInfo } from "./TParameterInfo";
+export { default as TOverflowBehavior } from "./TOverflowBehavior";
+export { default as TTypeInfo } from "./TTypeInfo";
+export { default as TCodeGenContext } from "./TCodeGenContext";
+export type { IAssignmentContext } from "./TCodeGenContext";
+export { default as ITargetCapabilities } from "./ITargetCapabilities";
+export { default as IFunctionSignature } from "./IFunctionSignature";
+export { default as ICallbackTypeInfo } from "./ICallbackTypeInfo";
+export * from "./TTypeConstants";