reifydb-core 0.4.12

Core database interfaces and data structures 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

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

use reifydb_type::{
	error::{Diagnostic, util::value_max},
	fragment::Fragment,
	value::r#type::Type,
};

pub fn sequence_exhausted(value: Type) -> Diagnostic {
	Diagnostic {
		code: "SEQUENCE_001".to_string(),
		rql: None,
		message: format!("sequence generator of type `{}` is exhausted", value),
		fragment: Fragment::None,
		label: Some("no more values can be generated".to_string()),
		help: Some(format!("maximum value for `{}` is `{}`", value, value_max(value.clone()))),
		column: None,
		notes: vec![],
		cause: None,
		operator_chain: None,
	}
}

pub fn can_not_alter_not_auto_increment(fragment: Fragment) -> Diagnostic {
	Diagnostic {
		code: "SEQUENCE_002".to_string(),
		rql: None,
		message: format!(
			"cannot alter sequence for column `{}` which does not have AUTO INCREMENT",
			fragment.text()
		),
		fragment,
		label: Some("column does not have AUTO INCREMENT".to_string()),
		help: Some("only columns with AUTO INCREMENT can have their sequences altered".to_string()),
		column: None,
		notes: vec![],
		cause: None,
		operator_chain: None,
	}
}