tiny.choir.composition.source.verification.module

1const source = @import("../root.zig");2const verification = @import("root.zig");34pub fn verify(module: *const source.PartitionedModule) verification.Error!void {5    for (module.boundaries.items, 0..) |boundary_value, index| {6        try verification.boundary.verifyValue(boundary_value);7        try verification.boundary.verifyAlias(module, boundary_value);8        for (module.boundaries.items[0..index]) |previous| {9            if (previous.id.value == boundary_value.id.value) return error.DuplicateBoundary;10        }11    }12    for (module.partitions.items, 0..) |partition_value, index| {13        try verification.partition.verifyValue(module, partition_value);14        for (module.partitions.items[0..index]) |previous| {15            if (previous.id.value == partition_value.id.value) return error.DuplicatePartition;16            if (previous.product.eql(partition_value.product)) return error.DuplicateProductRef;17        }18        for (partition_value.inputs) |id| if (module.boundary(id) == null) return error.MissingBoundary;19        for (partition_value.outputs) |id| if (module.boundary(id) == null) return error.MissingBoundary;20    }21    for (module.call_sites.items, 0..) |call_site, index| {22        for (module.call_sites.items[0..index]) |previous| {23            if (previous.id.value == call_site.id.value) return error.DuplicateCallSite;24        }25        try verification.call.verifyValue(module, call_site);26    }27}

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