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
111
112
113
114
115
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.report_by_location(StableLocation::new(self.module_file_id, stable_ptr), kind)
}
pub fn report_by_location(
&mut self,
stable_location: StableLocation,
kind: LoweringDiagnosticKind,
) -> DiagnosticAdded {
self.diagnostics.add(LoweringDiagnostic { stable_location, 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::VariableNotDropped => "Variable not dropped.".into(),
LoweringDiagnosticKind::DesnappingANonCopyableType => {
"Cannot desnap a non copyable type.".into()
}
LoweringDiagnosticKind::UnsupportedMatch => "Unsupported match. Currently, matches \
require one arm per variant, in the \
order of variant definition."
.into(),
LoweringDiagnosticKind::UnsupportedMatchArmNotAVariant => {
"Unsupported match arm - not a variant.".into()
}
LoweringDiagnosticKind::UnsupportedMatchArmOutOfOrder => {
"Unsupported match arm - variants must be the same order as enum declaration."
.into()
}
LoweringDiagnosticKind::CannotInlineFunctionThatMightCallItself => {
"Cannot inline a function that might call itself.".into()
}
LoweringDiagnosticKind::UnsupportedInlineArguments => {
"Unsupported `inline` arguments.".into()
}
LoweringDiagnosticKind::RedundantInlineAttribute => {
"Redundant `inline` attribute.".into()
}
LoweringDiagnosticKind::InlineWithoutArgumentNotSupported => {
"`inline` without arguments is not supported.".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,
VariableNotDropped,
DesnappingANonCopyableType,
UnsupportedMatch,
UnsupportedMatchArmNotAVariant,
UnsupportedMatchArmOutOfOrder,
CannotInlineFunctionThatMightCallItself,
UnsupportedInlineArguments,
RedundantInlineAttribute,
InlineWithoutArgumentNotSupported,
}