tiny.choir.composition.source.verification.call

1const source = @import("../root.zig");2const verification = @import("root.zig");34pub fn verifySpec(module: *const source.PartitionedModule, spec: source.SemanticCallSiteSpec) verification.Error!void {5    if (spec.name.len == 0) return error.EmptyCallSite;6    if (module.callSite(spec.id) != null) return error.DuplicateCallSite;7    if (module.partition(spec.caller) == null or module.partition(spec.callee) == null) return error.MissingPartition;8    for (spec.inputs) |id| if (module.boundary(id) == null) return error.MissingBoundary;9    for (spec.outputs) |id| if (module.boundary(id) == null) return error.MissingBoundary;10    const callee = module.partition(spec.callee).?;11    if (!source.boundaryIdsEqual(spec.inputs, callee.inputs) or !source.boundaryIdsEqual(spec.outputs, callee.outputs)) {12        return error.BoundaryContractMismatch;13    }14    try verification.partition.verifyBoundaryRoles(module, spec.inputs, spec.outputs);15}1617pub fn verifyValue(module: *const source.PartitionedModule, call_site: source.SemanticCallSite) verification.Error!void {18    if (call_site.name.len == 0) return error.EmptyCallSite;19    if (module.partition(call_site.caller) == null) return error.MissingPartition;20    const callee = module.partition(call_site.callee) orelse return error.MissingPartition;21    for (call_site.inputs) |id| if (module.boundary(id) == null) return error.MissingBoundary;22    for (call_site.outputs) |id| if (module.boundary(id) == null) return error.MissingBoundary;23    if (!source.boundaryIdsEqual(call_site.inputs, callee.inputs) or !source.boundaryIdsEqual(call_site.outputs, callee.outputs)) {24        return error.BoundaryContractMismatch;25    }26    try verification.partition.verifyBoundaryRoles(module, call_site.inputs, call_site.outputs);27}

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