reifydb-core 0.9.0

// SPDX-License-Identifier: Apache-2.0
// Copyright (c) 2026 ReifyDB

use std::fmt;

use reifydb_value::value::dictionary::DictionaryId;
use serde::{Deserialize, Serialize};

use crate::interface::catalog::{
	id::{QueueId, RingBufferId, SeriesId, TableId, ViewId},
	table::Table,
	view::View,
	vtable::{VTable, VTableId},
};

#[derive(Debug, Copy, Clone, PartialOrd, PartialEq, Ord, Eq, Hash, Serialize, Deserialize)]
pub enum ObjectId {
	Table(TableId),
	View(ViewId),
	TableVirtual(VTableId),
	RingBuffer(RingBufferId),
	Dictionary(DictionaryId),
	Series(SeriesId),
	Queue(QueueId),
}

impl fmt::Display for ObjectId {
	fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
		match self {
			ObjectId::Table(id) => write!(f, "{}", id.0),
			ObjectId::View(id) => write!(f, "{}", id.0),
			ObjectId::TableVirtual(id) => write!(f, "{}", id.0),
			ObjectId::RingBuffer(id) => write!(f, "{}", id.0),
			ObjectId::Dictionary(id) => write!(f, "{}", id.0),
			ObjectId::Series(id) => write!(f, "{}", id.0),
			ObjectId::Queue(id) => write!(f, "{}", id.0),
		}
	}
}

impl ObjectId {
	pub fn table(id: impl Into<TableId>) -> Self {
		Self::Table(id.into())
	}

	pub fn view(id: impl Into<ViewId>) -> Self {
		Self::View(id.into())
	}

	pub fn vtable(id: impl Into<VTableId>) -> Self {
		Self::TableVirtual(id.into())
	}

	pub fn ringbuffer(id: impl Into<RingBufferId>) -> Self {
		Self::RingBuffer(id.into())
	}

	pub fn dictionary(id: impl Into<DictionaryId>) -> Self {
		Self::Dictionary(id.into())
	}

	pub fn series(id: impl Into<SeriesId>) -> Self {
		Self::Series(id.into())
	}

	pub fn queue(id: impl Into<QueueId>) -> Self {
		Self::Queue(id.into())
	}

	pub fn to_u64(self) -> u64 {
		match self {
			ObjectId::Table(id) => id.0,
			ObjectId::View(id) => id.0,
			ObjectId::TableVirtual(id) => id.0,
			ObjectId::RingBuffer(id) => id.0,
			ObjectId::Dictionary(id) => id.0,
			ObjectId::Series(id) => id.0,
			ObjectId::Queue(id) => id.0,
		}
	}
}

impl From<TableId> for ObjectId {
	fn from(id: TableId) -> Self {
		ObjectId::Table(id)
	}
}

impl From<ViewId> for ObjectId {
	fn from(id: ViewId) -> Self {
		ObjectId::View(id)
	}
}

impl From<VTableId> for ObjectId {
	fn from(id: VTableId) -> Self {
		ObjectId::TableVirtual(id)
	}
}

impl From<RingBufferId> for ObjectId {
	fn from(id: RingBufferId) -> Self {
		ObjectId::RingBuffer(id)
	}
}

impl From<DictionaryId> for ObjectId {
	fn from(id: DictionaryId) -> Self {
		ObjectId::Dictionary(id)
	}
}

impl From<SeriesId> for ObjectId {
	fn from(id: SeriesId) -> Self {
		ObjectId::Series(id)
	}
}

impl From<QueueId> for ObjectId {
	fn from(id: QueueId) -> Self {
		ObjectId::Queue(id)
	}
}

impl PartialEq<u64> for ObjectId {
	fn eq(&self, other: &u64) -> bool {
		match self {
			ObjectId::Table(id) => id.0.eq(other),
			ObjectId::View(id) => id.0.eq(other),
			ObjectId::TableVirtual(id) => id.0.eq(other),
			ObjectId::RingBuffer(id) => id.0.eq(other),
			ObjectId::Dictionary(id) => id.0.eq(other),
			ObjectId::Series(id) => id.0.eq(other),
			ObjectId::Queue(id) => id.0.eq(other),
		}
	}
}

impl PartialEq<TableId> for ObjectId {
	fn eq(&self, other: &TableId) -> bool {
		match self {
			ObjectId::Table(id) => id.0 == other.0,
			_ => false,
		}
	}
}

impl PartialEq<ViewId> for ObjectId {
	fn eq(&self, other: &ViewId) -> bool {
		match self {
			ObjectId::View(id) => id.0 == other.0,
			_ => false,
		}
	}
}

impl PartialEq<VTableId> for ObjectId {
	fn eq(&self, other: &VTableId) -> bool {
		match self {
			ObjectId::TableVirtual(id) => id.0 == other.0,
			_ => false,
		}
	}
}

impl PartialEq<RingBufferId> for ObjectId {
	fn eq(&self, other: &RingBufferId) -> bool {
		match self {
			ObjectId::RingBuffer(id) => id.0 == other.0,
			_ => false,
		}
	}
}

impl PartialEq<DictionaryId> for ObjectId {
	fn eq(&self, other: &DictionaryId) -> bool {
		match self {
			ObjectId::Dictionary(id) => id.0 == other.0,
			_ => false,
		}
	}
}

impl PartialEq<SeriesId> for ObjectId {
	fn eq(&self, other: &SeriesId) -> bool {
		match self {
			ObjectId::Series(id) => id.0 == other.0,
			_ => false,
		}
	}
}

impl From<ObjectId> for u64 {
	fn from(object: ObjectId) -> u64 {
		object.as_u64()
	}
}

impl ObjectId {
	pub fn type_tag(&self) -> u8 {
		match self {
			ObjectId::Table(_) => 0x01,
			ObjectId::View(_) => 0x02,
			ObjectId::TableVirtual(_) => 0x03,
			ObjectId::RingBuffer(_) => 0x04,
			ObjectId::Dictionary(_) => 0x05,
			ObjectId::Series(_) => 0x06,
			ObjectId::Queue(_) => 0x07,
		}
	}

	pub fn from_type_tag(tag: u8, id: u64) -> Option<Self> {
		Some(match tag {
			0x01 => ObjectId::Table(TableId(id)),
			0x02 => ObjectId::View(ViewId(id)),
			0x03 => ObjectId::TableVirtual(VTableId(id)),
			0x04 => ObjectId::RingBuffer(RingBufferId(id)),
			0x05 => ObjectId::Dictionary(DictionaryId(id)),
			0x06 => ObjectId::Series(SeriesId(id)),
			0x07 => ObjectId::Queue(QueueId(id)),
			_ => return None,
		})
	}

	pub fn as_u64(&self) -> u64 {
		match self {
			ObjectId::Table(id) => id.0,
			ObjectId::View(id) => id.0,
			ObjectId::TableVirtual(id) => id.0,
			ObjectId::RingBuffer(id) => id.0,
			ObjectId::Dictionary(id) => id.0,
			ObjectId::Series(id) => id.0,
			ObjectId::Queue(id) => id.0,
		}
	}

	pub fn next(&self) -> ObjectId {
		match self {
			ObjectId::Table(table) => ObjectId::table(table.0 + 1),
			ObjectId::View(view) => ObjectId::view(view.0 + 1),
			ObjectId::TableVirtual(vtable) => ObjectId::vtable(vtable.0 + 1),
			ObjectId::RingBuffer(ringbuffer) => ObjectId::ringbuffer(ringbuffer.0 + 1),
			ObjectId::Dictionary(dictionary) => ObjectId::dictionary(dictionary.0 + 1),
			ObjectId::Series(series) => ObjectId::series(series.0 + 1),
			ObjectId::Queue(queue) => ObjectId::queue(queue.0 + 1),
		}
	}

	pub fn prev(&self) -> ObjectId {
		match self {
			ObjectId::Table(table) => ObjectId::table(table.0.wrapping_sub(1)),
			ObjectId::View(view) => ObjectId::view(view.0.wrapping_sub(1)),
			ObjectId::TableVirtual(vtable) => ObjectId::vtable(vtable.0.wrapping_sub(1)),
			ObjectId::RingBuffer(ringbuffer) => ObjectId::ringbuffer(ringbuffer.0.wrapping_sub(1)),
			ObjectId::Dictionary(dictionary) => ObjectId::dictionary(dictionary.0.wrapping_sub(1)),
			ObjectId::Series(series) => ObjectId::series(series.0.wrapping_sub(1)),
			ObjectId::Queue(queue) => ObjectId::queue(queue.0.wrapping_sub(1)),
		}
	}
}

#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub enum Object {
	Table(Table),
	View(View),
	TableVirtual(VTable),
}

impl Object {
	pub fn id(&self) -> ObjectId {
		match self {
			Object::Table(table) => table.id.into(),
			Object::View(view) => view.id().into(),
			Object::TableVirtual(vtable) => vtable.id.into(),
		}
	}
}

#[cfg(test)]
mod tests {
	use super::*;

	#[test]
	fn the_type_tags_are_contiguous_and_pinned_to_their_on_disk_bytes() {
		// The tag goes into the catalog and row-settings keyspaces, so it is on-disk layout: changing
		// one orphans every row already stored under the old tag. Pinned literally rather than
		// derived, so reordering the enum cannot move them.
		assert_eq!(ObjectId::Table(TableId(1)).type_tag(), 0x01);
		assert_eq!(ObjectId::View(ViewId(1)).type_tag(), 0x02);
		assert_eq!(ObjectId::TableVirtual(VTableId(1)).type_tag(), 0x03);
		assert_eq!(ObjectId::RingBuffer(RingBufferId(1)).type_tag(), 0x04);
		assert_eq!(ObjectId::Dictionary(DictionaryId(1)).type_tag(), 0x05);
		assert_eq!(ObjectId::Series(SeriesId(1)).type_tag(), 0x06);
		assert_eq!(ObjectId::Queue(QueueId(1)).type_tag(), 0x07);
	}

	#[test]
	fn a_tag_outside_the_assigned_range_is_rejected_rather_than_mapped_to_a_neighbour() {
		// Accepting an out-of-range tag would let a corrupt key decode into a neighbouring kind, so a
		// wrong-kind lookup becomes a silent miss. 0x08 and 0x00 bracket the assigned range 0x01-0x07.
		assert_eq!(ObjectId::from_type_tag(0x00, 42), None);
		assert_eq!(ObjectId::from_type_tag(0x08, 42), None);
		assert_eq!(ObjectId::from_type_tag(0xff, 42), None);
	}

	#[test]
	fn every_variant_survives_a_tag_round_trip_as_the_same_kind() {
		// Encoders write `type_tag` and decoders read `from_type_tag`; if the two tables drift, a key
		// decodes as a different object kind carrying the same numeric id.
		let objects = [
			ObjectId::Table(TableId(7)),
			ObjectId::View(ViewId(7)),
			ObjectId::TableVirtual(VTableId(7)),
			ObjectId::RingBuffer(RingBufferId(7)),
			ObjectId::Dictionary(DictionaryId(7)),
			ObjectId::Series(SeriesId(7)),
			ObjectId::Queue(QueueId(7)),
		];

		for object in objects {
			assert_eq!(ObjectId::from_type_tag(object.type_tag(), object.as_u64()), Some(object));
		}
	}
}