reifydb-transaction 0.4.5

Transaction management and concurrency control for ReifyDB
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120

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

use reifydb_core::interface::catalog::{
	change::CatalogTrackSourceChangeOperations,
	id::{NamespaceId, SourceId},
	source::Source,
};
use reifydb_type::Result;

use crate::{
	change::{
		Change,
		OperationType::{Create, Delete},
		TransactionalSourceChanges,
	},
	transaction::{admin::AdminTransaction, subscription::SubscriptionTransaction},
};

impl CatalogTrackSourceChangeOperations for AdminTransaction {
	fn track_source_created(&mut self, source: Source) -> Result<()> {
		let change = Change {
			pre: None,
			post: Some(source),
			op: Create,
		};
		self.changes.add_source_change(change);
		Ok(())
	}

	fn track_source_deleted(&mut self, source: Source) -> Result<()> {
		let change = Change {
			pre: Some(source),
			post: None,
			op: Delete,
		};
		self.changes.add_source_change(change);
		Ok(())
	}
}

impl TransactionalSourceChanges for AdminTransaction {
	fn find_source(&self, id: SourceId) -> Option<&Source> {
		for change in self.changes.source.iter().rev() {
			if let Some(source) = &change.post {
				if source.id == id {
					return Some(source);
				}
			}
			if let Some(source) = &change.pre {
				if source.id == id && change.op == Delete {
					return None;
				}
			}
		}
		None
	}

	fn find_source_by_name(&self, namespace: NamespaceId, name: &str) -> Option<&Source> {
		for change in self.changes.source.iter().rev() {
			if let Some(source) = &change.post {
				if source.namespace == namespace && source.name == name {
					return Some(source);
				}
			}
			if let Some(source) = &change.pre {
				if source.namespace == namespace && source.name == name && change.op == Delete {
					return None;
				}
			}
		}
		None
	}

	fn is_source_deleted(&self, id: SourceId) -> bool {
		self.changes
			.source
			.iter()
			.any(|change| change.op == Delete && change.pre.as_ref().map(|s| s.id == id).unwrap_or(false))
	}

	fn is_source_deleted_by_name(&self, namespace: NamespaceId, name: &str) -> bool {
		self.changes.source.iter().any(|change| {
			change.op == Delete
				&& change
					.pre
					.as_ref()
					.map(|s| s.namespace == namespace && s.name == name)
					.unwrap_or(false)
		})
	}
}

impl CatalogTrackSourceChangeOperations for SubscriptionTransaction {
	fn track_source_created(&mut self, source: Source) -> Result<()> {
		self.inner.track_source_created(source)
	}

	fn track_source_deleted(&mut self, source: Source) -> Result<()> {
		self.inner.track_source_deleted(source)
	}
}

impl TransactionalSourceChanges for SubscriptionTransaction {
	fn find_source(&self, id: SourceId) -> Option<&Source> {
		self.inner.find_source(id)
	}

	fn find_source_by_name(&self, namespace: NamespaceId, name: &str) -> Option<&Source> {
		self.inner.find_source_by_name(namespace, name)
	}

	fn is_source_deleted(&self, id: SourceId) -> bool {
		self.inner.is_source_deleted(id)
	}

	fn is_source_deleted_by_name(&self, namespace: NamespaceId, name: &str) -> bool {
		self.inner.is_source_deleted_by_name(namespace, name)
	}
}