oxilean_codegen/scala_backend/
scalatrait_traits.rs1use crate::lcnf::*;
12
13use super::types::ScalaTrait;
14use std::fmt;
15
16impl fmt::Display for ScalaTrait {
17 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
18 write!(f, "trait {}", self.name)?;
19 if !self.type_params.is_empty() {
20 write!(f, "[")?;
21 for (i, tp) in self.type_params.iter().enumerate() {
22 if i > 0 {
23 write!(f, ", ")?;
24 }
25 write!(f, "{}", tp)?;
26 }
27 write!(f, "]")?;
28 }
29 if !self.extends_list.is_empty() {
30 write!(f, " extends {}", self.extends_list[0])?;
31 for e in &self.extends_list[1..] {
32 write!(f, " with {}", e)?;
33 }
34 }
35 write!(f, " {{")?;
36 for m in &self.abstract_methods {
37 write!(f, "\n {}", m)?;
38 }
39 for m in &self.concrete_methods {
40 write!(f, "\n {}", m)?;
41 }
42 write!(f, "\n}}")
43 }
44}