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
use cairo_lang_defs::diagnostic_utils::StableLocation;
use cairo_lang_defs::ids::ModuleFileId;
use cairo_lang_diagnostics::{
DiagnosticAdded, DiagnosticEntry, DiagnosticLocation, Diagnostics, DiagnosticsBuilder,
};
use cairo_lang_semantic::db::SemanticGroup;
use cairo_lang_syntax::node::ids::SyntaxStablePtrId;
pub struct LoweringDiagnostics {
pub diagnostics: DiagnosticsBuilder<LoweringDiagnostic>,
pub module_file_id: ModuleFileId,
}
impl LoweringDiagnostics {
pub fn new(module_file_id: ModuleFileId) -> Self {
Self { module_file_id, diagnostics: DiagnosticsBuilder::default() }
}
pub fn build(self) -> Diagnostics<LoweringDiagnostic> {
self.diagnostics.build()
}
pub fn report(
&mut self,
stable_ptr: SyntaxStablePtrId,
kind: LoweringDiagnosticKind,
) -> DiagnosticAdded {
self.diagnostics.add(LoweringDiagnostic {
stable_location: StableLocation::new(self.module_file_id, stable_ptr),
kind,
})
}
}
#[derive(Clone, Debug, Eq, Hash, PartialEq)]
pub struct LoweringDiagnostic {
pub stable_location: StableLocation,
pub kind: LoweringDiagnosticKind,
}
impl DiagnosticEntry for LoweringDiagnostic {
type DbType = dyn SemanticGroup;
fn format(&self, _db: &Self::DbType) -> String {
match &self.kind {
LoweringDiagnosticKind::Unreachable { .. } => "Unreachable code".into(),
LoweringDiagnosticKind::NonZeroValueInMatch => {
"Match with a non-zero value is not supported.".into()
}
LoweringDiagnosticKind::OnlyMatchZeroIsSupported => {
"Only match zero (match ... { 0 => ..., _ => ... }) is currently supported.".into()
}
LoweringDiagnosticKind::VariableMoved => "Variable was previously moved.".into(),
LoweringDiagnosticKind::UnsupportedMatch => "Unsupported match.".into(),
LoweringDiagnosticKind::UnsupportedMatchArm => "Unsupported match arm.".into(),
}
}
#[allow(unreachable_patterns, clippy::single_match)]
fn location(&self, db: &Self::DbType) -> DiagnosticLocation {
match &self.kind {
LoweringDiagnosticKind::Unreachable { last_statement_ptr } => {
return self
.stable_location
.diagnostic_location_until(db.upcast(), *last_statement_ptr);
}
_ => {}
}
self.stable_location.diagnostic_location(db.upcast())
}
}
#[derive(Clone, Debug, Eq, Hash, PartialEq)]
pub enum LoweringDiagnosticKind {
Unreachable { last_statement_ptr: SyntaxStablePtrId },
NonZeroValueInMatch,
OnlyMatchZeroIsSupported,
VariableMoved,
UnsupportedMatch,
UnsupportedMatchArm,
}