tiny.accy.kernel.plan

1pub const Options = struct {2    diagnostic_id: ?[]const u8 = null,3    diagnostic: ?*builder.VerificationDiagnostic = null,4};

1pub const Plan = struct {2    allocator: std.mem.Allocator,3    version: u32,4    schedule: schedule_mod.Snapshot,5    schedule_version: u32,6    launch: schedule_mod.Launch,7    body_fingerprint: u64,8    schedule_fingerprint: u64,9    entry_name: []const u8,10    diagnostic_id: []const u8,11    argument_count: u32,12    params: []builder.Param,1314    pub fn deinit(self: *Plan) void {15        if (self.params.len != 0) self.allocator.free(self.params);16        self.allocator.free(self.diagnostic_id);17        self.allocator.free(self.entry_name);18        self.schedule.deinit(self.allocator);19        self.* = undefined;20    }21};

1pub const Error = schedule_mod.ScheduleError ||2    builder.BackendError ||3    builder.FingerprintError ||4    std.mem.Allocator.Error ||5    error{6        ArgumentCountOverflow,7        MissingKernelName,8        ParameterSchemaMismatch,9    };

1pub fn create(2    allocator: std.mem.Allocator,3    kernel: *builder.Kernel,4    schedule: *const schedule_mod.Schedule,5    snapshot_limits: schedule_mod.Snapshot.Limits,6    options: Options,7) Error!Plan {8    var local_diagnostic: builder.VerificationDiagnostic = .{};9    try kernel.verifyWithDiagnostic(options.diagnostic orelse &local_diagnostic);1011    const launch = try schedule.launch();12    var snapshot = try schedule_mod.createSnapshot(allocator, snapshot_limits, schedule);13    errdefer snapshot.deinit(allocator);14    const body_fingerprint = try kernel.fingerprint(allocator);15    const schedule_fingerprint = snapshot.fingerprint();1617    const entry_name = kernel.func().getName() orelse return error.MissingKernelName;18    const raw_argument_count = kernel.func().getNumArguments();19    if (raw_argument_count != kernel.params().len) return error.ParameterSchemaMismatch;20    const argument_count = std.math.cast(u32, raw_argument_count) orelse return error.ArgumentCountOverflow;2122    const owned_entry_name = try allocator.dupe(u8, entry_name);23    errdefer allocator.free(owned_entry_name);24    const owned_diagnostic_id = try allocator.dupe(u8, options.diagnostic_id orelse entry_name);25    errdefer allocator.free(owned_diagnostic_id);26    const owned_params = try allocator.dupe(builder.Param, kernel.params());27    errdefer allocator.free(owned_params);2829    return .{30        .allocator = allocator,31        .version = plan_version,32        .schedule = snapshot,33        .schedule_version = snapshot.version,34        .launch = launch,35        .body_fingerprint = body_fingerprint,36        .schedule_fingerprint = schedule_fingerprint,37        .entry_name = owned_entry_name,38        .diagnostic_id = owned_diagnostic_id,39        .argument_count = argument_count,40        .params = owned_params,41    };42}

1pub const plan_version: u32 = 1;

1const model = @import("model.zig");23pub const Error = model.Error;4pub const Options = model.Options;5pub const Plan = model.Plan;6pub const plan_version = model.plan_version;7pub const create = model.create;

1pub const plan = model.plan;