Add TypeMapper and provide pre-mapped template context

Introduce a TypeMapper and a set of Mapped* dataclasses to map IR types/items to target-language representations before templating. build_context now produces mapped files/items (preserving declaration order) and exposes both mapped data and the raw IR; generator.py was updated to consume MappedFile instances and build per-file contexts from the pre-mapped data. Many runtime type-mapping filters were removed in favor of using the mapped objects directly; Jinja helper filters were simplified and the loader logic cleaned up. Templates were updated to use the mapped item shapes (file.items, item.type, etc.). A sample IR (example/sample_ir.json) was added and related IR/serializer/model changes were made to support the refactor.

Author: lijy91

tools/bindgen/codegen/context.py

@@ -1,5 +1,5 @@
 {#- Per-file template that generates bindings for each IR source file -#}
-{#- This template is rendered once per IR file -#}
+{#- Items are rendered in declaration order -#}
 
 {#- Import partial macros -#}
 {% from 'partials/type.j2' import render_type %}
@@ -11,87 +11,32 @@
 
 // =============================================================================
 // Auto-generated bindings for: {{ file_path }}
-// Language: {{ mapping.language | default("example") }}
+// Language: {{ mapping.language }}
 // =============================================================================
 
 {% if is_empty %}
 // This file has no exported symbols.
 {% else %}
-// Summary:
-//   Types:     {{ types | length }}
-//   Enums:     {{ enums | length }}
-//   Functions: {{ functions | length }}
-//   Classes:   {{ classes | length }}
-//   Constants: {{ constants | length }}
-//   Aliases:   {{ aliases | length }}
+// Items: {{ file.items | length }}
 
-{#- ========== Types (Structs) ========== -#}
-{% if has_types %}
-// -----------------------------------------------------------------------------
-// Types (Structs)
-// -----------------------------------------------------------------------------
-
-{% for item in types %}
+{% for item in file.items %}
+{#- Render each item based on its kind -#}
+{% if item.kind == 'struct' %}
 {{ render_type(item) }}
-
-{% endfor %}
-{% endif %}
-{#- ========== Enums ========== -#}
-{% if has_enums %}
-// -----------------------------------------------------------------------------
-// Enums
-// -----------------------------------------------------------------------------
-
-{% for item in enums %}
+{% elif item.kind == 'enum' %}
 {{ render_enum(item) }}
-
-{% endfor %}
-{% endif %}
-{#- ========== Functions ========== -#}
-{% if has_functions %}
-// -----------------------------------------------------------------------------
-// Functions
-// -----------------------------------------------------------------------------
-
-{% for item in functions %}
+{% elif item.kind == 'function' %}
 {{ render_function(item) }}
-
-{% endfor %}
-{% endif %}
-{#- ========== Classes ========== -#}
-{% if has_classes %}
-// -----------------------------------------------------------------------------
-// Classes
-// -----------------------------------------------------------------------------
-
-{% for item in classes %}
+{% elif item.kind == 'class' %}
 {{ render_class(item) }}
-
-{% endfor %}
-{% endif %}
-{#- ========== Constants ========== -#}
-{% if has_constants %}
-// -----------------------------------------------------------------------------
-// Constants
-// -----------------------------------------------------------------------------
-
-{% for item in constants %}
+{% elif item.kind == 'constant' %}
 {{ render_constant(item) }}
-
-{% endfor %}
-{% endif %}
-{#- ========== Aliases ========== -#}
-{% if has_aliases %}
-// -----------------------------------------------------------------------------
-// Type Aliases
-// -----------------------------------------------------------------------------
-
-{% for item in aliases %}
+{% elif item.kind == 'alias' %}
 {{ render_alias(item) }}
+{% endif %}
 
 {% endfor %}
 {% endif %}
-{% endif %}
 // =============================================================================
 // End of {{ file_name }}
 // =============================================================================

tools/bindgen/codegen/generator.py

@@ -1,9 +1,9 @@
 {#- Partial template for rendering a single type alias -#}
-{#- Expected context: item (IRAlias), type_mapping (TypeMappingConfig) -#}
+{#- Expected context: item (MappedAlias) -#}
 {%- macro render_alias(item) -%}
 // Alias: {{ item.name }}
 // Source: {{ item.source_path }}
-type {{ item.name }} = {{ item.target | map_type }};
+type {{ item.name }} = {{ item.target }};
 {%- endmacro -%}
 
 {#- Render alias if item is provided directly in context -#}

tools/bindgen/example/bindgen/template/file/example.j2

@@ -1,5 +1,5 @@
 {#- Partial template for rendering a single class -#}
-{#- Expected context: item (IRClass), type_mapping (TypeMappingConfig) -#}
+{#- Expected context: item (MappedClass) -#}
 {%- macro render_class(item) -%}
 // Class: {{ item.name }}
 // Source: {{ item.source_path }}
@@ -10,15 +10,15 @@ class {{ item.name }}{% if item.bases %} extends {{ item.bases | join(', ') }}{%
 {%- if item.fields %}
     // Fields
 {%- for field in item.fields %}
-    {{ field.name }}: {{ field.type | map_type }};
+    {{ field.name }}: {{ field.type }};
 {%- endfor %}
 {%- endif %}
 {%- if item.methods %}
 
     // Methods
 {%- for method in item.methods %}
     {% if method.static %}static {% endif %}{% if method.const %}const {% endif %}{{ method.name }}(
-{%- for param in method.params %}{{ param.name }}: {{ param.type | map_type }}{% if not loop.last %}, {% endif %}{%- endfor %}) -> {{ method.return_type | map_type }};
+{%- for param in method.params %}{{ param.name }}: {{ param.type }}{% if not loop.last %}, {% endif %}{%- endfor %}) -> {{ method.return_type }};
 {%- endfor %}
 {%- endif %}
 }

tools/bindgen/example/bindgen/template/partials/alias.j2

@@ -1,9 +1,9 @@
 {#- Partial template for rendering a single constant -#}
-{#- Expected context: item (IRConstant), type_mapping (TypeMappingConfig) -#}
+{#- Expected context: item (MappedConstant) -#}
 {%- macro render_constant(item) -%}
 // Constant: {{ item.name }}
 // Source: {{ item.source_path }}
-const {{ item.name }}: {{ item.type | map_type }} = {{ item.value }};
+const {{ item.name }}: {{ item.type }} = {{ item.value }};
 {%- endmacro -%}
 
 {#- Render constant if item is provided directly in context -#}

tools/bindgen/example/bindgen/template/partials/class.j2

@@ -1,5 +1,5 @@
 {#- Partial template for rendering a single enum -#}
-{#- Expected context: item (IREnum) -#}
+{#- Expected context: item (MappedEnum) -#}
 {%- macro render_enum(item) -%}
 // Enum: {{ item.name }}
 // Source: {{ item.source_path }}

tools/bindgen/example/bindgen/template/partials/constant.j2

@@ -1,14 +1,14 @@
 {#- Partial template for rendering a single function -#}
-{#- Expected context: item (IRFunction), type_mapping (TypeMappingConfig) -#}
+{#- Expected context: item (MappedFunction) -#}
 {%- macro render_function(item) -%}
 // Function: {{ item.name }}
 // Source: {{ item.source_path }}
 fn {{ item.name }}(
 {%- for param in item.params %}
-    {{ param.name }}: {{ param.type | map_type }}{% if param.nullable %} | null{% endif %}{% if not loop.last %},{% endif %}
+    {{ param.name }}: {{ param.type }}{% if param.nullable %} | null{% endif %}{% if not loop.last %},{% endif %}
 
 {%- endfor %}
-) -> {{ item.return_type | map_type }};
+) -> {{ item.return_type }};
 {%- endmacro -%}
 
 {#- Render function if item is provided directly in context -#}

tools/bindgen/example/bindgen/template/partials/enum.j2

@@ -1,11 +1,11 @@
 {#- Partial template for rendering a single struct type -#}
-{#- Expected context: item (IRStruct), type_mapping (TypeMappingConfig) -#}
+{#- Expected context: item (MappedStruct) -#}
 {%- macro render_type(item) -%}
 // Struct: {{ item.name }}
 // Source: {{ item.source_path }}
 struct {{ item.name }} {
 {%- for field in item.fields %}
-    {{ field.name }}: {{ field.type | map_type }};
+    {{ field.name }}: {{ field.type }};
 {%- endfor %}
 }
 {%- endmacro -%}