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
// =============================================================================
// Copyright (c) 2025 - 2026 Haixing Hu.
//
// SPDX-License-Identifier: Apache-2.0
//
// Licensed under the Apache License, Version 2.0.
// =============================================================================
//! Binding error kinds.
use std::fmt;
/// A configuration or declaration error found while binding a rule.
///
/// # Examples
///
/// ```
/// use qubit_validator::BindErrorKind;
///
/// let kind = BindErrorKind::MissingParameter;
/// assert_eq!(kind.to_string(), "missing parameter");
/// ```
#[must_use]
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
#[non_exhaustive]
pub enum BindErrorKind {
/// A parameter name is not known to the rule.
UnknownParameter,
/// A parameter was supplied more than once.
DuplicateParameter,
/// A required parameter is absent.
MissingParameter,
/// A parameter has already been consumed by this reader.
ParameterAlreadyConsumed,
/// A parameter has the wrong value type.
ParameterTypeMismatch,
/// A parameter is outside the supported range.
ParameterOutOfRange,
/// Bounds are internally inconsistent.
InvalidBounds,
/// A pattern cannot be compiled.
InvalidPattern,
/// The requested rule is not registered.
MissingRule,
/// A registered rule cannot consume the requested input.
UnsupportedInput,
/// A dependency declaration is missing.
MissingDependencyDeclaration,
/// A dependency declaration is unknown.
UnknownDependencyDeclaration,
/// Dependency declarations do not follow the signature's slot order.
DependencyOrderMismatch,
/// A prepared implementation disagrees with its declared signature.
PreparedSignatureMismatch,
/// A required dependency may be absent on a statically known path.
DependencyOptionalityMismatch,
/// A dependency has the wrong type.
DependencyTypeMismatch,
/// A dependency path cannot be read.
UnreadablePath,
/// More than one signature matches the declaration.
AmbiguousSignature,
/// A declared constraint has no implementation.
UnsupportedConstraint,
/// An implementation feature is disabled.
MissingFeature,
/// A declaration is malformed.
InvalidDeclaration,
/// A requested selection is not known.
InvalidSelection,
}
impl fmt::Display for BindErrorKind {
/// Formats the stable human-readable error category.
///
/// # Parameters
///
/// - `formatter`: Destination that receives the formatted category.
///
/// # Errors
///
/// Returns the formatter's error if writing the category fails.
fn fmt(&self, formatter: &mut fmt::Formatter<'_>) -> fmt::Result {
let name = match self {
Self::UnknownParameter => "unknown parameter",
Self::DuplicateParameter => "duplicate parameter",
Self::MissingParameter => "missing parameter",
Self::ParameterAlreadyConsumed => "parameter already consumed",
Self::ParameterTypeMismatch => "parameter type mismatch",
Self::ParameterOutOfRange => "parameter out of range",
Self::InvalidBounds => "invalid bounds",
Self::InvalidPattern => "invalid pattern",
Self::MissingRule => "missing rule",
Self::UnsupportedInput => "unsupported input",
Self::MissingDependencyDeclaration => "missing dependency declaration",
Self::UnknownDependencyDeclaration => "unknown dependency declaration",
Self::DependencyOrderMismatch => "dependency order mismatch",
Self::PreparedSignatureMismatch => "prepared signature mismatch",
Self::DependencyOptionalityMismatch => "dependency optionality mismatch",
Self::DependencyTypeMismatch => "dependency type mismatch",
Self::UnreadablePath => "unreadable path",
Self::AmbiguousSignature => "ambiguous signature",
Self::UnsupportedConstraint => "unsupported constraint",
Self::MissingFeature => "missing feature",
Self::InvalidDeclaration => "invalid declaration",
Self::InvalidSelection => "invalid selection",
};
formatter.write_str(name)
}
}