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

// KILT Blockchain – https://botlabs.org
// Copyright (C) 2019-2024 BOTLabs GmbH

// The KILT Blockchain is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// The KILT Blockchain is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <https://www.gnu.org/licenses/>.

// If you feel like getting in touch with us, you can do so at info@botlabs.org

use crate::Error;

#[derive(Debug, PartialEq, Eq)]
#[cfg_attr(test, derive(enum_iterator::Sequence))]
pub enum DipParachainStateProofVerifierError<DidOriginError> {
	UnsupportedVersion,
	ProofComponentTooLarge(u8),
	ProofVerification(Error),
	DidOriginError(DidOriginError),
	Internal,
}

impl<DidOriginError> From<DipParachainStateProofVerifierError<DidOriginError>> for u16
where
	DidOriginError: Into<u8>,
{
	fn from(value: DipParachainStateProofVerifierError<DidOriginError>) -> Self {
		match value {
			// DO NOT USE 0
			// Errors of different sub-parts are separated by a `u8::MAX`.
			// A value of 0 would make it confusing whether it's the previous sub-part error (u8::MAX)
			// or the new sub-part error (u8::MAX + 0).
			DipParachainStateProofVerifierError::UnsupportedVersion => 1,
			DipParachainStateProofVerifierError::ProofComponentTooLarge(component_id) => {
				u8::MAX as u16 + component_id as u16
			}
			DipParachainStateProofVerifierError::ProofVerification(error) => {
				u8::MAX as u16 * 2 + u8::from(error) as u16
			}
			DipParachainStateProofVerifierError::DidOriginError(error) => u8::MAX as u16 * 3 + error.into() as u16,
			DipParachainStateProofVerifierError::Internal => u16::MAX,
		}
	}
}

#[test]
fn dip_parachain_state_proof_verifier_error_value_never_zero() {
	assert!(
		enum_iterator::all::<DipParachainStateProofVerifierError<u8>>().all(|e| u16::from(e) != 0),
		"One of the u8 values for the error is 0, which is not allowed."
	);
}

#[test]
fn dip_parachain_state_proof_verifier_error_value_not_duplicated() {
	enum_iterator::all::<DipParachainStateProofVerifierError<u8>>().fold(
		sp_std::collections::btree_set::BTreeSet::<u16>::new(),
		|mut values, new_value| {
			let new_encoded_value = u16::from(new_value);
			// DidOriginError is generic, and we cannot test its constraints in this unit
			// test, so we skip it.
			if new_encoded_value == u8::MAX as u16 * 3 {
				return values;
			}
			assert!(
				values.insert(new_encoded_value),
				"Failed to add unique value {:#?} for error variant",
				new_encoded_value
			);
			values
		},
	);
}