tiny.choir.composition.source.verification.boundary

1const std = @import("std");2const source = @import("../root.zig");3const verification = @import("root.zig");45pub fn verifySpec(spec: source.BoundarySpec) verification.Error!void {6    if (spec.byte_size == 0 or spec.name.len == 0) return error.EmptyBoundary;7    if (spec.provenance.path.len == 0 or spec.provenance.symbol.len == 0) return error.EmptyProvenance;8    switch (spec.alias) {9        .disjoint => {},10        .boundary => |id| {11            if (id.value == spec.id.value) return error.SelfBoundaryAlias;12            if (spec.ownership == .produced) return error.ProducedBoundaryAlias;13        },14    }15    const byte_size = source.boundary.staticByteSize(spec.element_type, spec.dimensions) orelse return error.InvalidBoundaryShape;16    if (byte_size != spec.byte_size) return error.BoundarySizeMismatch;17}1819pub fn verifyValue(boundary_value: source.Boundary) verification.Error!void {20    if (boundary_value.name.len == 0 or boundary_value.byte_size == 0) return error.EmptyBoundary;21    if (boundary_value.provenance.path.len == 0 or boundary_value.provenance.symbol.len == 0) return error.EmptyProvenance;22    switch (boundary_value.alias) {23        .disjoint => {},24        .boundary => |id| {25            if (id.value == boundary_value.id.value) return error.SelfBoundaryAlias;26            if (boundary_value.ownership == .produced) return error.ProducedBoundaryAlias;27        },28    }29    const byte_size = source.boundary.staticByteSize(boundary_value.element_type, boundary_value.dimensions) orelse return error.InvalidBoundaryShape;30    if (byte_size != boundary_value.byte_size) return error.BoundarySizeMismatch;31}3233pub fn verifyAliasSpec(module: *const source.PartitionedModule, spec: source.BoundarySpec) verification.Error!void {34    const alias_id = switch (spec.alias) {35        .disjoint => return,36        .boundary => |id| id,37    };38    const aliased = module.boundary(alias_id) orelse return;39    try verifyAliasTarget(aliased, spec.element_type, spec.dimensions, spec.byte_size, spec.ownership);40}4142pub fn verifyAlias(module: *const source.PartitionedModule, boundary_value: source.Boundary) verification.Error!void {43    const alias_id = switch (boundary_value.alias) {44        .disjoint => return,45        .boundary => |id| id,46    };47    const aliased = module.boundary(alias_id) orelse return error.MissingAliasBoundary;48    try verifyAliasTarget(49        aliased,50        boundary_value.element_type,51        boundary_value.dimensions,52        boundary_value.byte_size,53        boundary_value.ownership,54    );55}5657fn verifyAliasTarget(58    aliased: *const source.Boundary,59    element_type: source.ElementType,60    dimensions: []const u64,61    byte_size: u64,62    ownership: source.Ownership,63) verification.Error!void {64    switch (aliased.alias) {65        .disjoint => {},66        .boundary => return error.NonCanonicalBoundaryAlias,67    }68    if (aliased.ownership == .produced) return error.ProducedAliasTarget;69    if (aliased.ownership != ownership) return error.OwnershipMismatch;70    if (aliased.element_type != element_type or71        aliased.byte_size != byte_size or72        !std.mem.eql(u64, aliased.dimensions, dimensions))73    {74        return error.BoundaryAliasMismatch;75    }76}

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