1use std::path::PathBuf;
4use crate::types::Span;
5
6#[derive(thiserror::Error, Debug)]
10pub enum ForgeError {
11 #[error("Database error: {0}")]
13 DatabaseError(String),
14
15 #[error("Symbol not found: {0}")]
17 SymbolNotFound(String),
18
19 #[error("Invalid query: {0}")]
21 InvalidQuery(String),
22
23 #[error("Edit conflict in {file:?} at {span:?}")]
25 EditConflict {
26 file: PathBuf,
28 span: Span,
30 },
31
32 #[error("Verification failed: {0}")]
34 VerificationFailed(String),
35
36 #[error("Policy violation: {0}")]
38 PolicyViolation(String),
39
40 #[error("Backend not available: {0}")]
42 BackendNotAvailable(String),
43
44 #[error("CFG not available for symbol: {0:?}")]
46 CfgNotAvailable(crate::types::SymbolId),
47
48 #[error("Path overflow for symbol: {0:?}")]
50 PathOverflow(crate::types::SymbolId),
51
52 #[error("I/O error: {0}")]
54 Io(#[from] std::io::Error),
55
56 #[error("JSON error: {0}")]
58 Json(#[from] serde_json::Error),
59
60 #[error("Graph error: {0}")]
62 Graph(#[from] anyhow::Error),
63
64 #[error("Tool error: {0}")]
66 ToolError(String),
67}
68
69pub type Result<T> = std::result::Result<T, ForgeError>;
71
72#[cfg(test)]
73mod tests {
74 use super::*;
75
76 #[test]
77 fn test_error_display() {
78 let err = ForgeError::SymbolNotFound("test".to_string());
79 assert_eq!(err.to_string(), "Symbol not found: test");
80 }
81
82 #[test]
83 fn test_span_is_empty() {
84 let span = Span { start: 10, end: 10 };
85 assert!(span.is_empty());
86 }
87
88 #[test]
89 fn test_span_contains() {
90 let span = Span { start: 10, end: 20 };
91 assert!(span.contains(15));
92 assert!(!span.contains(20));
93 assert!(!span.contains(5));
94 }
95}