tiny.zen.HeadingPlan

1/// Exact storage demand measured from one source without allocation.2pub const Plan = struct {3    /// Total bytes in the inspected Markdown source.4    source_bytes: usize,5    /// Number of heading descriptors required.6    headings: usize = 0,7    /// Total visible heading-text bytes copied into storage.8    text_bytes: usize = 0,9    /// Total resolved heading-ID bytes copied into storage.10    id_bytes: usize = 0,1112    pub fn init(source_bytes: usize) Plan {13        return .{ .source_bytes = source_bytes };14    }1516    pub fn includeHeading(17        self: *Plan,18        text: []const u8,19        id_bytes: usize,20    ) error{CapacityOverflow}!void {21        const headings = try added(self.headings, 1);22        const text_bytes = try added(self.text_bytes, text.len);23        const total_id_bytes = try added(self.id_bytes, id_bytes);24        self.headings = headings;25        self.text_bytes = text_bytes;26        self.id_bytes = total_id_bytes;27    }2829    /// Returns the smallest limits that admit this plan.30    pub fn exactLimits(self: Plan) Limits {31        return .{32            .max_headings = self.headings,33            .max_text_bytes = self.text_bytes,34            .max_id_bytes = self.id_bytes,35        };36    }3738    /// Rejects when any measured region exceeds supplied limits.39    pub fn require(self: Plan, limits: Limits) model.Exhaustion!void {40        if (self.headings > limits.max_headings) return error.HeadingCapacityExceeded;41        if (self.text_bytes > limits.max_text_bytes) {42            return error.HeadingTextByteCapacityExceeded;43        }44        if (self.id_bytes > limits.max_id_bytes) {45            return error.HeadingIdByteCapacityExceeded;46        }47    }48};

1/// Exact heading storage demand measured without allocation.2pub const HeadingPlan = document.Plan;