tiny.choir.composition.source.partition

1const std = @import("std");2const product = @import("../../product/root.zig");3const source = @import("root.zig");45const Allocator = std.mem.Allocator;67/// Borrowed facts for one closed semantic region selected by the source compiler.8/// Captures, results, effects, and cross-partition boundaries must already be explicit.9pub const PartitionSpec = struct {10    id: source.PartitionId,11    name: []const u8,12    pipeline: source.Pipeline,13    inputs: []const source.BoundaryId = &.{},14    outputs: []const source.BoundaryId = &.{},15    product: product.ProductRef,16    effect: Effect,17    provenance: source.ProvenanceSpec,18};1920pub const Effect = enum(u8) {21    none,22    read,23    write,24    read_write,25    unknown,26};2728/// An owned semantic region with a frontend-stable identity and source provenance.29pub const Partition = struct {30    id: source.PartitionId,31    name: []const u8,32    pipeline: source.Pipeline,33    inputs: []const source.BoundaryId,34    outputs: []const source.BoundaryId,35    product: product.ProductRef,36    effect: Effect,37    provenance: source.Provenance,3839    pub fn init(allocator: Allocator, spec: PartitionSpec) Allocator.Error!Partition {40        const name = try allocator.dupe(u8, spec.name);41        errdefer allocator.free(name);42        const inputs = try source.slice.dupeOrEmpty(source.BoundaryId, allocator, spec.inputs);43        errdefer source.slice.freeOrEmpty(source.BoundaryId, allocator, inputs);44        const outputs = try source.slice.dupeOrEmpty(source.BoundaryId, allocator, spec.outputs);45        errdefer source.slice.freeOrEmpty(source.BoundaryId, allocator, outputs);46        const product_ref = try product.cloneProductRef(allocator, spec.product);47        errdefer product.deinitProductRef(allocator, product_ref);48        return .{49            .id = spec.id,50            .name = name,51            .pipeline = spec.pipeline,52            .inputs = inputs,53            .outputs = outputs,54            .product = product_ref,55            .effect = spec.effect,56            .provenance = try source.Provenance.init(allocator, spec.provenance),57        };58    }5960    pub fn clone(self: Partition, allocator: Allocator) Allocator.Error!Partition {61        return try init(allocator, .{62            .id = self.id,63            .name = self.name,64            .pipeline = self.pipeline,65            .inputs = self.inputs,66            .outputs = self.outputs,67            .product = self.product,68            .effect = self.effect,69            .provenance = .{70                .path = self.provenance.path,71                .symbol = self.provenance.symbol,72                .line = self.provenance.line,73                .column = self.provenance.column,74            },75        });76    }7778    pub fn deinit(self: *Partition, allocator: Allocator) void {79        self.provenance.deinit(allocator);80        product.deinitProductRef(allocator, self.product);81        source.slice.freeOrEmpty(source.BoundaryId, allocator, self.outputs);82        source.slice.freeOrEmpty(source.BoundaryId, allocator, self.inputs);83        allocator.free(self.name);84        self.* = undefined;85    }86};

1pub const partition = @import("partition.zig");