use std::cmp::Ordering;
use std::fmt;
use cairo_lang_diagnostics::DiagnosticsBuilder;
use cairo_lang_filesystem::ids::{FileKind, FileLongId, VirtualFile};
use cairo_lang_filesystem::span::TextWidth;
use cairo_lang_parser::ParserDiagnostic;
use cairo_lang_parser::parser::Parser;
use cairo_lang_syntax as syntax;
use cairo_lang_syntax::attribute::consts::FMT_SKIP_ATTR;
use cairo_lang_syntax::node::ast::UsePath;
use cairo_lang_syntax::node::db::SyntaxGroup;
use cairo_lang_syntax::node::{SyntaxNode, Terminal, TypedSyntaxNode, ast};
use cairo_lang_utils::Intern;
use cairo_lang_utils::ordered_hash_map::OrderedHashMap;
use itertools::{Itertools, chain};
use syntax::node::helpers::QueryAttrs;
use syntax::node::kind::SyntaxKind;
use crate::FormatterConfig;
#[derive(Default, Debug)]
struct UseTree {
children: OrderedHashMap<String, UseTree>,
leaves: Vec<Leaf>,
}
#[derive(Default, Debug, Clone)]
struct Leaf {
name: String,
alias: Option<String>,
}
impl UseTree {
fn insert_path(&mut self, db: &dyn SyntaxGroup, use_path: UsePath) {
match use_path {
UsePath::Leaf(leaf) => {
let name = leaf.extract_ident(db);
let alias = leaf.extract_alias(db);
self.leaves.push(Leaf { name, alias });
}
UsePath::Single(single) => {
let segment = single.extract_ident(db);
let subtree = self.children.entry(segment).or_default();
subtree.insert_path(db, single.use_path(db));
}
UsePath::Multi(multi) => {
for sub_path in multi.use_paths(db).elements(db) {
self.insert_path(db, sub_path);
}
}
UsePath::Star(_) => {
self.leaves.push(Leaf { name: "*".to_string(), alias: None });
}
}
}
pub fn create_merged_use_items(
self,
allow_duplicate_uses: bool,
top_level: bool,
) -> (Vec<String>, bool) {
let mut leaf_paths: Vec<_> = self
.leaves
.into_iter()
.map(|leaf| {
if let Some(alias) = leaf.alias {
format!("{} as {alias}", leaf.name)
} else {
leaf.name
}
})
.collect();
let mut nested_paths = vec![];
for (segment, subtree) in self.children {
let (subtree_merged_use_items, is_single_leaf) =
subtree.create_merged_use_items(allow_duplicate_uses, false);
let formatted_subtree_paths =
subtree_merged_use_items.into_iter().map(|child| format!("{segment}::{child}"));
if is_single_leaf {
leaf_paths.extend(formatted_subtree_paths);
} else {
nested_paths.extend(formatted_subtree_paths);
}
}
if !allow_duplicate_uses {
leaf_paths.sort();
leaf_paths.dedup();
}
match leaf_paths.len() {
0 => {}
1 if nested_paths.is_empty() => return (leaf_paths, true),
1 => nested_paths.extend(leaf_paths),
_ if top_level => nested_paths.extend(leaf_paths),
_ => nested_paths.push(format!("{{{}}}", leaf_paths.join(", "))),
}
(nested_paths, false)
}
pub fn generate_syntax_node_from_use(
self,
db: &dyn SyntaxGroup,
allow_duplicate_uses: bool,
decorations: String,
) -> SyntaxNode {
let mut formatted_use_items = String::new();
for statement in self.create_merged_use_items(allow_duplicate_uses, true).0 {
formatted_use_items.push_str(&format!("{decorations}use {statement};\n"));
}
let file_id = FileLongId::Virtual(VirtualFile {
parent: None,
name: "parser_input".into(),
content: formatted_use_items.clone().into(),
code_mappings: [].into(),
kind: FileKind::Module,
})
.intern(db);
let mut diagnostics = DiagnosticsBuilder::<ParserDiagnostic>::default();
Parser::parse_file(db, &mut diagnostics, file_id, &formatted_use_items).as_syntax_node()
}
}
#[derive(Clone, Debug, Copy, PartialEq, Eq, PartialOrd, Ord)]
pub enum BreakLinePointIndentation {
Indented,
IndentedWithTail,
NotIndented,
}
#[derive(Clone, Debug, PartialEq, Eq)]
pub struct BreakLinePointProperties {
pub is_empty_line_breakpoint: bool,
pub precedence: usize,
pub break_indentation: BreakLinePointIndentation,
pub is_optional: bool,
pub space_if_not_broken: bool,
pub is_single_breakpoint: bool,
pub is_comma_if_broken: bool,
}
impl Ord for BreakLinePointProperties {
fn cmp(&self, other: &Self) -> Ordering {
match self.is_empty_line_breakpoint.cmp(&other.is_empty_line_breakpoint) {
Ordering::Equal => self.precedence.cmp(&other.precedence),
other => other,
}
}
}
impl PartialOrd for BreakLinePointProperties {
fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
Some(self.cmp(other))
}
}
impl BreakLinePointProperties {
pub fn new(
precedence: usize,
break_indentation: BreakLinePointIndentation,
is_optional: bool,
space_if_not_broken: bool,
) -> Self {
Self {
precedence,
break_indentation,
is_optional,
space_if_not_broken,
is_empty_line_breakpoint: false,
is_single_breakpoint: false,
is_comma_if_broken: false,
}
}
pub fn set_comma_if_broken(&mut self) {
self.is_comma_if_broken = true;
}
pub fn is_comma_if_broken(&self) -> bool {
self.is_comma_if_broken
}
pub fn new_empty_line() -> Self {
Self {
precedence: 0,
break_indentation: BreakLinePointIndentation::NotIndented,
is_optional: false,
space_if_not_broken: false,
is_empty_line_breakpoint: true,
is_single_breakpoint: false,
is_comma_if_broken: false,
}
}
pub fn set_single_breakpoint(&mut self) {
self.is_single_breakpoint = true;
}
pub fn set_line_by_line(&mut self) {
self.is_single_breakpoint = false;
self.is_optional = true;
}
pub fn unset_comma_if_broken(&mut self) {
self.is_comma_if_broken = false;
}
}
#[derive(Clone, Debug)]
enum LineComponent {
Token(String),
ProtectedZone { builder: LineBuilder, precedence: usize },
Space,
Indent(usize),
BreakLinePoint(BreakLinePointProperties),
Comment { content: String, is_trailing: bool },
}
impl LineComponent {
pub fn width(&self) -> usize {
match self {
Self::Token(s) => s.len(),
Self::ProtectedZone { builder, .. } => builder.width(),
Self::Space => 1,
Self::Indent(n) => *n,
Self::BreakLinePoint(properties) => usize::from(properties.space_if_not_broken),
Self::Comment { content, is_trailing } => {
if *is_trailing {
content.len()
} else {
0
}
}
}
}
fn is_trivia(&self) -> bool {
matches!(
self,
Self::Comment { .. } | Self::Space | Self::Indent(_) | Self::BreakLinePoint(_)
)
}
}
impl fmt::Display for LineComponent {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
match self {
Self::Token(s) => write!(f, "{s}"),
Self::ProtectedZone { builder, .. } => write!(f, "{builder}"),
Self::Space => write!(f, " "),
Self::Indent(n) => write!(f, "{}", " ".repeat(*n)),
Self::BreakLinePoint(properties) => {
write!(f, "{}", if properties.space_if_not_broken { " " } else { "" })
}
Self::Comment { content, .. } => write!(f, "{content}"),
}
}
}
#[derive(Clone, Debug)]
struct LineBuilder {
children: Vec<LineComponent>,
is_open: bool,
pending_break_line_points: Vec<LineComponent>,
}
impl fmt::Display for LineBuilder {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
if self.is_only_indents() {
write!(f, "")
} else {
write!(f, "{}", self.children.iter().map(|child| child.to_string()).join(""))
}
}
}
impl LineBuilder {
pub fn default() -> Self {
Self { children: vec![], is_open: true, pending_break_line_points: vec![] }
}
pub fn new(indent_size: usize) -> Self {
if indent_size > 0 {
Self {
children: vec![LineComponent::Indent(indent_size)],
is_open: true,
pending_break_line_points: vec![],
}
} else {
Self::default()
}
}
fn open_sub_builder(&mut self, precedence: usize) {
let active_builder = self.get_active_builder_mut();
active_builder.flush_pending_break_line_points();
active_builder.push_child(LineComponent::ProtectedZone {
builder: LineBuilder::default(),
precedence,
});
}
fn close_sub_builder(&mut self) {
let active_builder = self.get_active_builder_mut();
active_builder.flush_pending_break_line_points();
active_builder.is_open = false;
}
fn push_child(&mut self, component: LineComponent) {
match &component {
LineComponent::BreakLinePoint(properties) if !properties.is_empty_line_breakpoint => {
if !self.is_only_indents() {
self.get_active_builder_mut().pending_break_line_points.push(component);
}
}
_ => {
let active_builder = self.get_active_builder_mut();
active_builder.flush_pending_break_line_points();
active_builder.children.push(component);
}
}
}
pub fn push_str(&mut self, s: &str) {
self.push_child(LineComponent::Token(s.to_string()));
}
pub fn push_space(&mut self) {
self.push_child(LineComponent::Space);
}
pub fn push_empty_line_break_line_point(&mut self) {
self.push_child(LineComponent::BreakLinePoint(BreakLinePointProperties::new_empty_line()));
}
pub fn push_break_line_point(&mut self, properties: BreakLinePointProperties) {
self.push_child(LineComponent::BreakLinePoint(properties));
}
pub fn push_comment(&mut self, content: &str, is_trailing: bool) {
let active_builder = self.get_active_builder_mut();
if let Some(LineComponent::Comment { content: prev_content, is_trailing }) =
active_builder.children.last_mut()
{
if !*is_trailing {
*prev_content += "\n";
*prev_content += content;
return;
}
}
self.push_child(LineComponent::Comment { content: content.to_string(), is_trailing });
self.push_break_line_point(BreakLinePointProperties::new(
usize::MAX,
BreakLinePointIndentation::NotIndented,
false,
false,
));
}
fn flush_pending_break_line_points(&mut self) {
self.children.append(&mut self.pending_break_line_points);
}
fn width(&self) -> usize {
self.width_between(0, self.children.len())
}
fn width_between(&self, start: usize, end: usize) -> usize {
self.children[start..end].iter().fold(0, |sum, node| sum + node.width())
}
fn get_next_break_properties(&self) -> Option<BreakLinePointProperties> {
self.children
.iter()
.filter_map(|child| {
if let LineComponent::BreakLinePoint(properties) = child {
Some(properties.clone())
} else {
None
}
})
.min()
}
fn get_break_point_indices_by_precedence(&self, precedence: usize) -> Vec<usize> {
self.children
.iter()
.enumerate()
.filter_map(|(i, child)| match child {
LineComponent::BreakLinePoint(properties)
if properties.precedence == precedence =>
{
Some(i)
}
_ => None,
})
.collect()
}
fn break_line_tree(&self, max_line_width: usize, tab_size: usize) -> Vec<String> {
let mut sub_builders = self.break_line_tree_single_level(max_line_width, tab_size);
while sub_builders.len() == 1 {
if sub_builders[0].contains_break_line_points() {
sub_builders =
sub_builders[0].break_line_tree_single_level(max_line_width, tab_size)
} else if sub_builders[0].contains_protected_zone() {
sub_builders = vec![sub_builders[0].open_protected_zone()];
} else {
return vec![self.to_string()];
}
}
sub_builders
.iter()
.flat_map(|tree| tree.break_line_tree(max_line_width, tab_size))
.collect()
}
fn break_line_tree_single_level(
&self,
max_line_width: usize,
tab_size: usize,
) -> Vec<LineBuilder> {
let Some(break_line_point_properties) = self.get_next_break_properties() else {
return vec![self.clone()];
};
let mut breaking_positions =
self.get_break_point_indices_by_precedence(break_line_point_properties.precedence);
if break_line_point_properties.is_single_breakpoint {
let mut last_break_point_index = breaking_positions.len() - 1;
let mut first_break_point_index = 0;
while first_break_point_index < last_break_point_index {
let middle_break_point_index =
(first_break_point_index + last_break_point_index + 1) / 2;
let middle_break_point = breaking_positions[middle_break_point_index];
let middle_break_point_width = self.width_between(0, middle_break_point);
if middle_break_point_width <= max_line_width {
first_break_point_index = middle_break_point_index;
} else {
last_break_point_index = middle_break_point_index - 1;
}
}
breaking_positions = vec![breaking_positions[first_break_point_index]];
}
if self.width() <= max_line_width && break_line_point_properties.is_optional {
return vec![self.remove_all_optional_break_line_points()];
}
let base_indent = self.get_leading_indent();
let mut trees: Vec<LineBuilder> = vec![];
let n_children = self.children.len();
breaking_positions.push(n_children);
let n_break_points = breaking_positions.len();
let mut current_line_start = 0;
for (i, current_line_end) in breaking_positions.iter().enumerate() {
let added_indent = match break_line_point_properties.break_indentation {
BreakLinePointIndentation::Indented if i != 0 => tab_size,
BreakLinePointIndentation::IndentedWithTail
if i != 0 && i != n_break_points - 1 =>
{
tab_size
}
_ => 0,
};
let mut comment_only_added_indent = if let BreakLinePointIndentation::IndentedWithTail =
break_line_point_properties.break_indentation
{
if i == n_break_points - 1 { tab_size } else { 0 }
} else {
0
};
let cur_indent = base_indent + added_indent;
trees.push(LineBuilder::new(cur_indent));
for j in current_line_start..*current_line_end {
match &self.children[j] {
LineComponent::Indent(_) => {}
LineComponent::Space => {
if !trees.last().unwrap().is_only_indents() {
trees.last_mut().unwrap().push_space();
}
}
LineComponent::Comment { content, is_trailing } if !is_trailing => {
trees.last_mut().unwrap().push_str(&" ".repeat(comment_only_added_indent));
let formatted_comment = format_leading_comment(
content,
cur_indent + comment_only_added_indent,
max_line_width,
);
trees.last_mut().unwrap().push_child(LineComponent::Comment {
content: formatted_comment,
is_trailing: *is_trailing,
});
}
_ => trees.last_mut().unwrap().push_child(self.children[j].clone()),
}
if !self.children[j].is_trivia() {
comment_only_added_indent = 0;
}
}
if let Some(LineComponent::BreakLinePoint(cur_break_line_points_properties)) =
self.children.get(*current_line_end)
{
if cur_break_line_points_properties.is_comma_if_broken() {
trees.last_mut().unwrap().push_str(",");
}
}
current_line_start = *current_line_end + 1;
}
trees
}
fn get_active_builder_mut(&mut self) -> &mut LineBuilder {
match self.children.last() {
Some(LineComponent::ProtectedZone { builder: sub_builder, .. })
if sub_builder.is_open => {}
_ => {
return self;
}
}
match self.children.last_mut() {
Some(LineComponent::ProtectedZone { builder: sub_builder, .. })
if sub_builder.is_open =>
{
sub_builder.get_active_builder_mut()
}
_ => {
unreachable!("This case is covered in the first match.")
}
}
}
pub fn build(&self, max_line_width: usize, tab_size: usize) -> String {
self.break_line_tree(max_line_width, tab_size).iter().join("\n") + "\n"
}
fn get_highest_protected_zone_precedence(&self) -> Option<usize> {
self.children
.iter()
.filter_map(|child| {
if let LineComponent::ProtectedZone { precedence, .. } = child {
Some(*precedence)
} else {
None
}
})
.min()
}
fn open_protected_zone(&self) -> LineBuilder {
let mut unprotected_builder = LineBuilder::default();
let mut first_protected_zone_found = false;
let highest_precedence = self
.get_highest_protected_zone_precedence()
.expect("Tried to unprotect a line builder with no protected zones.");
for child in self.children.iter() {
match child {
LineComponent::ProtectedZone { builder: sub_tree, precedence }
if *precedence == highest_precedence && !first_protected_zone_found =>
{
first_protected_zone_found = true;
for sub_child in sub_tree.children.iter() {
unprotected_builder.push_child(sub_child.clone());
}
}
_ => unprotected_builder.push_child(child.clone()),
}
}
unprotected_builder
}
fn contains_protected_zone(&self) -> bool {
self.children.iter().any(|child| matches!(child, LineComponent::ProtectedZone { .. }))
}
fn is_only_indents(&self) -> bool {
!self.children.iter().any(|child| !matches!(child, LineComponent::Indent { .. }))
}
fn get_leading_indent(&self) -> usize {
let mut leading_indent = 0;
let mut children_iter = self.children.iter();
while let Some(LineComponent::Indent(indent_size)) = children_iter.next() {
leading_indent += indent_size
}
leading_indent
}
fn contains_break_line_points(&self) -> bool {
self.children.iter().any(|child| matches!(child, LineComponent::BreakLinePoint(_)))
}
fn remove_all_optional_break_line_points(&self) -> LineBuilder {
LineBuilder {
children: self
.children
.iter()
.map(|child| match child {
LineComponent::BreakLinePoint(node_properties)
if node_properties.is_optional =>
{
if node_properties.space_if_not_broken {
LineComponent::Space
} else {
LineComponent::Token("".to_string())
}
}
_ => child.clone(),
})
.collect_vec(),
is_open: true,
pending_break_line_points: vec![],
}
}
}
#[derive(Clone, PartialEq, Eq)]
struct CommentLine {
n_slashes: usize,
n_exclamations: usize,
n_leading_spaces: usize,
content: String,
}
impl CommentLine {
pub fn from_string(mut comment_line: String) -> Self {
comment_line = comment_line.trim().to_string();
let n_slashes = comment_line.chars().take_while(|c| *c == '/').count();
comment_line = comment_line.chars().skip(n_slashes).collect();
let n_exclamations = comment_line.chars().take_while(|c| *c == '!').count();
comment_line = comment_line.chars().skip(n_exclamations).collect();
let n_leading_spaces = comment_line.chars().take_while(|c| *c == ' ').count();
let content = comment_line.chars().skip(n_leading_spaces).collect();
Self { n_slashes, n_exclamations, n_leading_spaces, content }
}
pub fn is_same_prefix(&self, other: &Self) -> bool {
self.n_slashes == other.n_slashes
&& self.n_exclamations == other.n_exclamations
&& self.n_leading_spaces == other.n_leading_spaces
}
pub fn is_open_line(&self) -> bool {
self.content.ends_with(|c: char| c.is_alphanumeric() || c == ',')
}
}
impl fmt::Display for CommentLine {
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
write!(
f,
"{}{}{}{}",
"/".repeat(self.n_slashes),
"!".repeat(self.n_exclamations),
" ".repeat(self.n_leading_spaces),
self.content.trim()
)
}
}
fn format_leading_comment(content: &str, cur_indent: usize, max_line_width: usize) -> String {
let mut formatted_comment = String::new();
let mut prev_comment_line = CommentLine::from_string("".to_string());
let append_line = |formatted_comment: &mut String, comment_line: &CommentLine| {
formatted_comment.push_str(&" ".repeat(cur_indent));
formatted_comment.push_str(&comment_line.to_string());
formatted_comment.push('\n');
};
let mut last_line_broken = false;
for line in content.lines() {
let orig_comment_line = CommentLine::from_string(line.to_string());
let max_comment_width = max_line_width
- cur_indent
- orig_comment_line.n_slashes
- orig_comment_line.n_exclamations
- orig_comment_line.n_leading_spaces;
let mut current_line = if last_line_broken
&& prev_comment_line.is_open_line()
&& prev_comment_line.is_same_prefix(&orig_comment_line)
{
prev_comment_line.content += " ";
prev_comment_line
} else {
append_line(&mut formatted_comment, &prev_comment_line);
CommentLine { content: "".to_string(), ..orig_comment_line }
};
last_line_broken = false;
for word in orig_comment_line.content.split(' ') {
if current_line.content.is_empty()
|| current_line.content.len() + word.len() <= max_comment_width
{
current_line.content.push_str(word);
current_line.content.push(' ');
} else {
append_line(&mut formatted_comment, ¤t_line);
last_line_broken = true;
current_line = CommentLine { content: word.to_string(), ..current_line };
current_line.content.push(' ');
}
}
prev_comment_line = CommentLine {
n_slashes: orig_comment_line.n_slashes,
n_exclamations: orig_comment_line.n_exclamations,
n_leading_spaces: orig_comment_line.n_leading_spaces,
content: current_line.content.trim().to_string(),
};
}
append_line(&mut formatted_comment, &prev_comment_line);
formatted_comment.trim().to_string()
}
struct PendingLineState {
line_buffer: LineBuilder,
prevent_next_space: bool,
}
impl PendingLineState {
pub fn new() -> Self {
Self { line_buffer: LineBuilder::default(), prevent_next_space: true }
}
}
pub enum BreakLinePointsPositions {
Leading(BreakLinePointProperties),
Trailing(BreakLinePointProperties),
Both { leading: BreakLinePointProperties, trailing: BreakLinePointProperties },
List { properties: BreakLinePointProperties, breaking_frequency: usize },
None,
}
impl BreakLinePointsPositions {
pub fn new_symmetric(break_line_point_properties: BreakLinePointProperties) -> Self {
Self::Both {
leading: break_line_point_properties.clone(),
trailing: break_line_point_properties,
}
}
pub fn leading(&self) -> Option<BreakLinePointProperties> {
match self {
Self::Leading(properties) | Self::Both { leading: properties, .. } => {
Some(properties.clone())
}
_ => None,
}
}
pub fn trailing(&self) -> Option<BreakLinePointProperties> {
match self {
Self::Trailing(properties) | Self::Both { trailing: properties, .. } => {
Some(properties.clone())
}
_ => None,
}
}
}
pub trait SyntaxNodeFormat {
fn force_no_space_before(&self, db: &dyn SyntaxGroup) -> bool;
fn force_no_space_after(&self, db: &dyn SyntaxGroup) -> bool;
fn allow_newline_after(&self, db: &dyn SyntaxGroup) -> bool;
fn allowed_empty_between(&self, db: &dyn SyntaxGroup) -> usize;
fn get_wrapping_break_line_point_properties(
&self,
db: &dyn SyntaxGroup,
) -> BreakLinePointsPositions;
fn get_internal_break_line_point_properties(
&self,
db: &dyn SyntaxGroup,
config: &FormatterConfig,
) -> BreakLinePointsPositions;
fn get_protected_zone_precedence(&self, db: &dyn SyntaxGroup) -> Option<usize>;
fn should_skip_terminal(&self, db: &dyn SyntaxGroup) -> bool;
fn as_sort_kind(&self, db: &dyn SyntaxGroup) -> SortKind;
}
pub struct FormatterImpl<'a> {
db: &'a dyn SyntaxGroup,
config: FormatterConfig,
line_state: PendingLineState,
empty_lines_allowance: usize,
is_current_line_whitespaces: bool,
is_last_element_comment: bool,
is_merging_use_items: bool,
}
impl<'a> FormatterImpl<'a> {
pub fn new(db: &'a dyn SyntaxGroup, config: FormatterConfig) -> Self {
Self {
db,
config,
line_state: PendingLineState::new(),
empty_lines_allowance: 0,
is_current_line_whitespaces: true,
is_last_element_comment: false,
is_merging_use_items: false,
}
}
pub fn get_formatted_string(&mut self, syntax_node: &SyntaxNode) -> String {
self.format_node(syntax_node);
self.line_state.line_buffer.build(self.config.max_line_length, self.config.tab_size)
}
fn format_node(&mut self, syntax_node: &SyntaxNode) {
if self.is_merging_use_items {
self.line_state.line_buffer.push_str(syntax_node.get_text(self.db).trim());
return;
}
if syntax_node.text(self.db).is_some() {
panic!("Token reached before terminal.");
}
let protected_zone_precedence = syntax_node.get_protected_zone_precedence(self.db);
let node_break_points = syntax_node.get_wrapping_break_line_point_properties(self.db);
self.append_break_line_point(node_break_points.leading());
if let Some(precedence) = protected_zone_precedence {
self.line_state.line_buffer.open_sub_builder(precedence);
}
if syntax_node.force_no_space_before(self.db) {
self.line_state.prevent_next_space = true;
}
if self.should_ignore_node_format(syntax_node) {
self.line_state.line_buffer.push_str(syntax_node.get_text(self.db).trim());
} else if syntax_node.kind(self.db).is_terminal() {
self.format_terminal(syntax_node);
} else {
self.format_internal(syntax_node);
}
if syntax_node.force_no_space_after(self.db) {
self.line_state.prevent_next_space = true;
}
if protected_zone_precedence.is_some() {
self.line_state.line_buffer.close_sub_builder();
}
if let Some(mut trailing_break_point) = node_break_points.trailing() {
if self.is_last_element_comment {
trailing_break_point.unset_comma_if_broken();
}
self.append_break_line_point(Some(trailing_break_point));
}
}
fn format_internal(&mut self, syntax_node: &SyntaxNode) {
let allowed_empty_between = syntax_node.allowed_empty_between(self.db);
let internal_break_line_points_positions =
syntax_node.get_internal_break_line_point_properties(self.db, &self.config);
let mut children = self.db.get_children(syntax_node.clone()).to_vec();
let n_children = children.len();
if self.config.merge_use_items {
self.merge_use_items(&mut children);
}
if self.config.sort_module_level_items {
self.sort_items_sections(&mut children);
if let SyntaxKind::UsePathList = syntax_node.kind(self.db) {
self.sort_inner_use_path(&mut children);
}
}
for (i, child) in children.iter().enumerate() {
if child.width(self.db) == TextWidth::default() {
continue;
}
self.format_node(child);
if let BreakLinePointsPositions::List { properties, breaking_frequency } =
&internal_break_line_points_positions
{
if i % breaking_frequency == breaking_frequency - 1 && i < n_children - 1 {
self.append_break_line_point(Some(properties.clone()));
}
}
self.empty_lines_allowance = allowed_empty_between;
}
}
fn merge_use_items(&mut self, children: &mut Vec<SyntaxNode>) {
let mut new_children = Vec::new();
for (section_kind, section_nodes) in extract_sections(children, self.db) {
if section_kind != SortKind::UseItem {
new_children.extend(section_nodes.iter().cloned());
continue;
}
let mut decoration_to_use_tree: OrderedHashMap<String, UseTree> =
OrderedHashMap::default();
for node in section_nodes {
if !self.has_only_whitespace_trivia(node) {
new_children.push(node.clone());
continue;
}
let use_item = ast::ItemUse::from_syntax_node(self.db, node.clone());
let decorations = chain!(
use_item
.attributes(self.db)
.elements(self.db)
.into_iter()
.map(|attr| attr.as_syntax_node().get_text_without_trivia(self.db)),
[use_item.visibility(self.db).as_syntax_node().get_text(self.db)],
)
.join("\n");
let tree = decoration_to_use_tree.entry(decorations).or_default();
tree.insert_path(self.db, use_item.use_path(self.db));
}
for (decorations, tree) in decoration_to_use_tree {
let merged_node = tree.generate_syntax_node_from_use(
self.db,
self.config.allow_duplicate_uses,
decorations,
);
let children = self.db.get_children(merged_node.clone()).to_vec();
if !children.is_empty() {
let grandchildren = self.db.get_children(children[0].clone()).to_vec();
for child in grandchildren {
new_children.push(child.clone());
}
}
}
}
*children = new_children;
}
fn has_only_whitespace_trivia(&self, node: &SyntaxNode) -> bool {
node.descendants(self.db).all(|descendant| {
if descendant.kind(self.db) == SyntaxKind::Trivia {
ast::Trivia::from_syntax_node(self.db, descendant)
.elements(self.db)
.into_iter()
.all(|element| {
matches!(element, ast::Trivium::Whitespace(_) | ast::Trivium::Newline(_))
})
} else {
true
}
})
}
fn sort_inner_use_path(&self, children: &mut Vec<SyntaxNode>) {
if children.iter().any(|child| !self.has_only_whitespace_trivia(child)) {
return;
}
let (mut sorted_elements, commas): (Vec<_>, Vec<_>) = std::mem::take(children)
.into_iter()
.partition(|node| node.kind(self.db) != SyntaxKind::TerminalComma);
sorted_elements.sort_by(|a_node, b_node| {
let a_use_path = extract_use_path(a_node, self.db);
let b_use_path = extract_use_path(b_node, self.db);
match (a_use_path, b_use_path) {
(Some(a_path), Some(b_path)) => compare_use_paths(&a_path, &b_path, self.db),
(None, Some(_)) => Ordering::Less,
(Some(_), None) => Ordering::Greater,
(None, None) => Ordering::Equal,
}
});
*children = itertools::Itertools::intersperse_with(sorted_elements.into_iter(), || {
commas.first().cloned().unwrap()
})
.collect();
}
fn sort_items_sections(&self, children: &mut Vec<SyntaxNode>) {
let sections = extract_sections(children, self.db);
let mut sorted_children = Vec::with_capacity(children.len());
for (section_kind, section_nodes) in sections {
match section_kind {
SortKind::Module => {
let mut sorted_section = section_nodes.to_vec();
sorted_section.sort_by_key(|node| {
ast::ItemModule::from_syntax_node(self.db, node.clone())
.name(self.db)
.text(self.db)
});
sorted_children.extend(sorted_section);
}
SortKind::UseItem => {
let mut sorted_section = section_nodes.to_vec();
sorted_section.sort_by(|a, b| {
compare_use_paths(
&ast::ItemUse::from_syntax_node(self.db, a.clone()).use_path(self.db),
&ast::ItemUse::from_syntax_node(self.db, b.clone()).use_path(self.db),
self.db,
)
});
sorted_children.extend(sorted_section);
}
SortKind::Immovable => {
sorted_children.extend(section_nodes.iter().cloned());
}
}
}
*children = sorted_children;
}
fn format_terminal(&mut self, syntax_node: &SyntaxNode) {
let children = self.db.get_children(syntax_node.clone());
let mut children_iter = children.iter().cloned();
let leading_trivia = ast::Trivia::from_syntax_node(self.db, children_iter.next().unwrap());
let token = children_iter.next().unwrap();
let trailing_trivia = ast::Trivia::from_syntax_node(self.db, children_iter.next().unwrap());
self.format_trivia(leading_trivia, true);
if !syntax_node.should_skip_terminal(self.db) {
self.format_token(&token);
}
self.format_trivia(trailing_trivia, false);
}
fn format_trivia(&mut self, trivia: syntax::node::ast::Trivia, is_leading: bool) {
for trivium in trivia.elements(self.db) {
match trivium {
ast::Trivium::SingleLineComment(_)
| ast::Trivium::SingleLineDocComment(_)
| ast::Trivium::SingleLineInnerComment(_) => {
if !is_leading {
self.line_state.line_buffer.push_space();
}
self.line_state.line_buffer.push_comment(
&trivium.as_syntax_node().text(self.db).unwrap(),
!is_leading,
);
self.is_current_line_whitespaces = false;
self.empty_lines_allowance = 1;
self.is_last_element_comment = true;
}
ast::Trivium::Whitespace(_) => {}
ast::Trivium::Newline(_) => {
if self.empty_lines_allowance > 0 && self.is_current_line_whitespaces {
self.empty_lines_allowance -= 1;
self.line_state.line_buffer.push_empty_line_break_line_point();
}
self.is_current_line_whitespaces = true;
}
ast::Trivium::Skipped(_) => {
self.format_token(&trivium.as_syntax_node());
}
ast::Trivium::SkippedNode(node) => {
self.format_node(&node.as_syntax_node());
}
}
}
}
fn format_token(&mut self, syntax_node: &SyntaxNode) {
let text = syntax_node.text(self.db).unwrap();
if !syntax_node.force_no_space_before(self.db) && !self.line_state.prevent_next_space {
self.line_state.line_buffer.push_space();
}
self.line_state.prevent_next_space = syntax_node.force_no_space_after(self.db);
if syntax_node.kind(self.db) != SyntaxKind::TokenWhitespace {
self.is_current_line_whitespaces = false;
}
let node_break_points = syntax_node.get_wrapping_break_line_point_properties(self.db);
self.append_break_line_point(node_break_points.leading());
self.line_state.line_buffer.push_str(&text);
self.append_break_line_point(node_break_points.trailing());
self.is_last_element_comment = false;
}
fn append_break_line_point(&mut self, properties: Option<BreakLinePointProperties>) {
if let Some(properties) = properties {
self.line_state.line_buffer.push_break_line_point(properties);
self.line_state.prevent_next_space = true;
}
}
pub fn should_ignore_node_format(&self, syntax_node: &SyntaxNode) -> bool {
syntax_node.has_attr(self.db, FMT_SKIP_ATTR)
}
}
fn compare_use_paths(a: &UsePath, b: &UsePath, db: &dyn SyntaxGroup) -> Ordering {
match (a, b) {
(UsePath::Multi(a_multi), UsePath::Multi(b_multi)) => {
let get_min_child = |multi: &ast::UsePathMulti| {
multi.use_paths(db).elements(db).into_iter().min_by_key(|child| match child {
UsePath::Leaf(leaf) => leaf.extract_ident(db),
UsePath::Single(single) => single.extract_ident(db),
_ => "".to_string(),
})
};
match (get_min_child(a_multi), get_min_child(b_multi)) {
(Some(a_min), Some(b_min)) => compare_use_paths(&a_min, &b_min, db),
(None, Some(_)) => Ordering::Less,
(Some(_), None) => Ordering::Greater,
(None, None) => Ordering::Equal,
}
}
(UsePath::Multi(_), _) => Ordering::Greater,
(_, UsePath::Multi(_)) => Ordering::Less,
(UsePath::Leaf(a_leaf), UsePath::Single(b_single)) => {
let a_str = a_leaf.extract_ident(db);
let b_str = b_single.extract_ident(db);
match a_str.cmp(&b_str) {
Ordering::Equal => Ordering::Less,
other => other,
}
}
(UsePath::Single(a_single), UsePath::Leaf(b_leaf)) => {
let a_str = a_single.extract_ident(db);
let b_str = b_leaf.extract_ident(db);
match a_str.cmp(&b_str) {
Ordering::Equal => Ordering::Greater,
other => other,
}
}
(UsePath::Leaf(a_leaf), UsePath::Leaf(b_leaf)) => {
match a_leaf.extract_ident(db).cmp(&b_leaf.extract_ident(db)) {
Ordering::Equal => a_leaf.extract_alias(db).cmp(&b_leaf.extract_alias(db)),
other => other,
}
}
(UsePath::Single(a_single), UsePath::Single(b_single)) => {
match a_single.extract_ident(db).cmp(&b_single.extract_ident(db)) {
Ordering::Equal => {
compare_use_paths(&a_single.use_path(db), &b_single.use_path(db), db)
}
other => other,
}
}
(UsePath::Star(_), UsePath::Star(_)) => Ordering::Equal,
(UsePath::Star(_), _) => Ordering::Less,
(_, UsePath::Star(_)) => Ordering::Greater,
}
}
fn extract_use_path(node: &SyntaxNode, db: &dyn SyntaxGroup) -> Option<ast::UsePath> {
match node.kind(db) {
SyntaxKind::UsePathLeaf => {
Some(ast::UsePath::Leaf(ast::UsePathLeaf::from_syntax_node(db, node.clone())))
}
SyntaxKind::UsePathSingle => {
Some(ast::UsePath::Single(ast::UsePathSingle::from_syntax_node(db, node.clone())))
}
SyntaxKind::UsePathMulti => {
Some(ast::UsePath::Multi(ast::UsePathMulti::from_syntax_node(db, node.clone())))
}
SyntaxKind::UsePathStar => {
Some(ast::UsePath::Star(ast::UsePathStar::from_syntax_node(db, node.clone())))
}
_ => None,
}
}
trait IdentExtractor {
fn extract_ident(&self, db: &dyn SyntaxGroup) -> String;
fn extract_alias(&self, db: &dyn SyntaxGroup) -> Option<String>;
}
impl IdentExtractor for ast::UsePathLeaf {
fn extract_ident(&self, db: &dyn SyntaxGroup) -> String {
self.ident(db).as_syntax_node().get_text_without_trivia(db)
}
fn extract_alias(&self, db: &dyn SyntaxGroup) -> Option<String> {
match self.alias_clause(db) {
ast::OptionAliasClause::Empty(_) => None,
ast::OptionAliasClause::AliasClause(alias_clause) => {
Some(alias_clause.alias(db).as_syntax_node().get_text_without_trivia(db))
}
}
}
}
impl IdentExtractor for ast::UsePathSingle {
fn extract_ident(&self, db: &dyn SyntaxGroup) -> String {
self.ident(db).as_syntax_node().get_text_without_trivia(db)
}
fn extract_alias(&self, _db: &dyn SyntaxGroup) -> Option<String> {
None
}
}
fn extract_sections<'a>(
children: &'a [SyntaxNode],
db: &'a dyn SyntaxGroup,
) -> Vec<(SortKind, &'a [SyntaxNode])> {
let mut sections = Vec::new();
let mut start_idx = 0;
while start_idx < children.len() {
let kind = children[start_idx].as_sort_kind(db);
let mut end_idx = start_idx + 1;
while end_idx < children.len() && kind == children[end_idx].as_sort_kind(db) {
end_idx += 1;
}
sections.push((kind, &children[start_idx..end_idx]));
start_idx = end_idx;
}
sections
}
#[derive(PartialEq, Eq)]
pub enum SortKind {
Module,
UseItem,
Immovable,
}