async-graphql/src/validation/rules/no_fragment_cycles.rs

305 lines
7.6 KiB
Rust
Raw Normal View History

2020-03-09 04:08:50 +00:00
use crate::error::RuleError;
2020-09-06 05:38:31 +00:00
use crate::parser::types::{Document, FragmentDefinition, FragmentSpread};
2020-03-24 10:54:22 +00:00
use crate::validation::visitor::{Visitor, VisitorContext};
2020-05-10 02:59:51 +00:00
use crate::{Pos, Positioned};
2020-03-09 04:08:50 +00:00
use std::collections::{HashMap, HashSet};
struct CycleDetector<'a> {
visited: HashSet<&'a str>,
spreads: &'a HashMap<&'a str, Vec<(&'a str, Pos)>>,
path_indices: HashMap<&'a str, usize>,
errors: Vec<RuleError>,
}
impl<'a> CycleDetector<'a> {
fn detect_from(&mut self, from: &'a str, path: &mut Vec<(&'a str, Pos)>) {
self.visited.insert(from);
if !self.spreads.contains_key(from) {
return;
}
self.path_indices.insert(from, path.len());
for (name, pos) in &self.spreads[from] {
let index = self.path_indices.get(name).cloned();
if let Some(index) = index {
let err_pos = if index < path.len() {
path[index].1
} else {
*pos
};
self.errors.push(RuleError {
locations: vec![err_pos],
message: format!("Cannot spread fragment \"{}\"", name),
});
} else if !self.visited.contains(name) {
path.push((name, *pos));
self.detect_from(name, path);
path.pop();
}
}
self.path_indices.remove(from);
}
}
#[derive(Default)]
pub struct NoFragmentCycles<'a> {
current_fragment: Option<&'a str>,
spreads: HashMap<&'a str, Vec<(&'a str, Pos)>>,
fragment_order: Vec<&'a str>,
}
impl<'a> Visitor<'a> for NoFragmentCycles<'a> {
2020-03-22 08:45:59 +00:00
fn exit_document(&mut self, ctx: &mut VisitorContext<'a>, _doc: &'a Document) {
2020-03-09 04:08:50 +00:00
let mut detector = CycleDetector {
visited: HashSet::new(),
spreads: &self.spreads,
path_indices: HashMap::new(),
errors: Vec::new(),
};
for frag in &self.fragment_order {
if !detector.visited.contains(frag) {
let mut path = Vec::new();
detector.detect_from(frag, &mut path);
}
}
ctx.append_errors(detector.errors);
}
fn enter_fragment_definition(
&mut self,
2020-03-22 08:45:59 +00:00
_ctx: &mut VisitorContext<'a>,
2020-05-10 02:59:51 +00:00
fragment_definition: &'a Positioned<FragmentDefinition>,
2020-03-09 04:08:50 +00:00
) {
2020-09-06 05:38:31 +00:00
self.current_fragment = Some(&fragment_definition.node.name.node);
self.fragment_order.push(&fragment_definition.node.name.node);
2020-03-09 04:08:50 +00:00
}
fn exit_fragment_definition(
&mut self,
2020-03-22 08:45:59 +00:00
_ctx: &mut VisitorContext<'a>,
2020-05-10 02:59:51 +00:00
_fragment_definition: &'a Positioned<FragmentDefinition>,
2020-03-09 04:08:50 +00:00
) {
self.current_fragment = None;
}
fn enter_fragment_spread(
&mut self,
2020-03-22 08:45:59 +00:00
_ctx: &mut VisitorContext<'a>,
2020-05-10 02:59:51 +00:00
fragment_spread: &'a Positioned<FragmentSpread>,
2020-03-09 04:08:50 +00:00
) {
if let Some(current_fragment) = self.current_fragment {
self.spreads
.entry(current_fragment)
.or_insert_with(Vec::new)
2020-09-06 05:38:31 +00:00
.push((&fragment_spread.node.fragment_name.node, fragment_spread.pos));
2020-03-09 04:08:50 +00:00
}
}
}
2020-04-05 08:00:26 +00:00
#[cfg(test)]
mod tests {
use super::*;
pub fn factory<'a>() -> NoFragmentCycles<'a> {
NoFragmentCycles::default()
}
#[test]
fn single_reference_is_valid() {
2020-05-29 09:29:15 +00:00
expect_passes_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Dog { ...fragB }
fragment fragB on Dog { name }
"#,
);
}
#[test]
fn spreading_twice_is_not_circular() {
2020-05-29 09:29:15 +00:00
expect_passes_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Dog { ...fragB, ...fragB }
fragment fragB on Dog { name }
"#,
);
}
#[test]
fn spreading_twice_indirectly_is_not_circular() {
2020-05-29 09:29:15 +00:00
expect_passes_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Dog { ...fragB, ...fragC }
fragment fragB on Dog { ...fragC }
fragment fragC on Dog { name }
"#,
);
}
#[test]
fn double_spread_within_abstract_types() {
2020-05-29 09:29:15 +00:00
expect_passes_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment nameFragment on Pet {
... on Dog { name }
... on Cat { name }
}
fragment spreadsInAnon on Pet {
... on Dog { ...nameFragment }
... on Cat { ...nameFragment }
}
"#,
);
}
#[test]
fn does_not_false_positive_on_unknown_fragment() {
2020-05-29 09:29:15 +00:00
expect_passes_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment nameFragment on Pet {
...UnknownFragment
}
"#,
);
}
#[test]
fn spreading_recursively_within_field_fails() {
2020-05-29 09:29:15 +00:00
expect_fails_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Human { relatives { ...fragA } },
"#,
);
}
#[test]
fn no_spreading_itself_directly() {
2020-05-29 09:29:15 +00:00
expect_fails_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Dog { ...fragA }
"#,
);
}
#[test]
fn no_spreading_itself_directly_within_inline_fragment() {
2020-05-29 09:29:15 +00:00
expect_fails_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Pet {
... on Dog {
...fragA
}
}
"#,
);
}
#[test]
fn no_spreading_itself_indirectly() {
2020-05-29 09:29:15 +00:00
expect_fails_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Dog { ...fragB }
fragment fragB on Dog { ...fragA }
"#,
);
}
#[test]
fn no_spreading_itself_indirectly_reports_opposite_order() {
2020-05-29 09:29:15 +00:00
expect_fails_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragB on Dog { ...fragA }
fragment fragA on Dog { ...fragB }
"#,
);
}
#[test]
fn no_spreading_itself_indirectly_within_inline_fragment() {
2020-05-29 09:29:15 +00:00
expect_fails_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Pet {
... on Dog {
...fragB
}
}
fragment fragB on Pet {
... on Dog {
...fragA
}
}
"#,
);
}
#[test]
fn no_spreading_itself_deeply() {
2020-05-29 09:29:15 +00:00
expect_fails_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Dog { ...fragB }
fragment fragB on Dog { ...fragC }
fragment fragC on Dog { ...fragO }
fragment fragX on Dog { ...fragY }
fragment fragY on Dog { ...fragZ }
fragment fragZ on Dog { ...fragO }
fragment fragO on Dog { ...fragP }
fragment fragP on Dog { ...fragA, ...fragX }
"#,
);
}
#[test]
fn no_spreading_itself_deeply_two_paths() {
2020-05-29 09:29:15 +00:00
expect_fails_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Dog { ...fragB, ...fragC }
fragment fragB on Dog { ...fragA }
fragment fragC on Dog { ...fragA }
"#,
);
}
#[test]
fn no_spreading_itself_deeply_two_paths_alt_traversal_order() {
2020-05-29 09:29:15 +00:00
expect_fails_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Dog { ...fragC }
fragment fragB on Dog { ...fragC }
fragment fragC on Dog { ...fragA, ...fragB }
"#,
);
}
#[test]
fn no_spreading_itself_deeply_and_immediately() {
2020-05-29 09:29:15 +00:00
expect_fails_rule!(
2020-04-05 08:00:26 +00:00
factory,
r#"
fragment fragA on Dog { ...fragB }
fragment fragB on Dog { ...fragB, ...fragC }
fragment fragC on Dog { ...fragA, ...fragB }
"#,
);
}
}