reifydb-transaction 0.5.6

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

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

use reifydb_core::interface::catalog::{
	change::CatalogTrackProcedureChangeOperations,
	id::{NamespaceId, ProcedureId},
	procedure::Procedure,
};
use reifydb_type::Result;

use crate::{
	change::{
		Change,
		OperationType::{Create, Delete, Update},
		TransactionalProcedureChanges,
	},
	transaction::admin::AdminTransaction,
};

impl CatalogTrackProcedureChangeOperations for AdminTransaction {
	fn track_procedure_created(&mut self, procedure: Procedure) -> Result<()> {
		let change = Change {
			pre: None,
			post: Some(procedure),
			op: Create,
		};
		self.changes.add_procedure_change(change);
		Ok(())
	}

	fn track_procedure_updated(&mut self, pre: Procedure, post: Procedure) -> Result<()> {
		let change = Change {
			pre: Some(pre),
			post: Some(post),
			op: Update,
		};
		self.changes.add_procedure_change(change);
		Ok(())
	}

	fn track_procedure_deleted(&mut self, procedure: Procedure) -> Result<()> {
		let change = Change {
			pre: Some(procedure),
			post: None,
			op: Delete,
		};
		self.changes.add_procedure_change(change);
		Ok(())
	}
}

impl TransactionalProcedureChanges for AdminTransaction {
	fn find_procedure(&self, id: ProcedureId) -> Option<&Procedure> {
		for change in self.changes.procedure.iter().rev() {
			if let Some(procedure) = &change.post {
				if procedure.id() == id {
					return Some(procedure);
				}
			} else if let Some(procedure) = &change.pre
				&& procedure.id() == id && change.op == Delete
			{
				return None;
			}
		}
		None
	}

	fn find_procedure_by_name(&self, namespace: NamespaceId, name: &str) -> Option<&Procedure> {
		self.changes.procedure.iter().rev().find_map(|change| {
			change.post.as_ref().filter(|p| p.namespace() == namespace && p.name() == name)
		})
	}

	fn is_procedure_deleted(&self, id: ProcedureId) -> bool {
		self.changes
			.procedure
			.iter()
			.rev()
			.any(|change| change.op == Delete && change.pre.as_ref().map(|p| p.id()) == Some(id))
	}

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