Struct graphql_tools::validation::rules::possible_fragment_spreads::PossibleFragmentSpreads

pub struct PossibleFragmentSpreads;

Possible fragment spread

A fragment spread is only valid if the type condition could ever possibly be true: if there is a non-empty intersection of the possible parent types, and possible types which pass the type condition.

https://spec.graphql.org/draft/#sec-Fragment-spread-is-possible

Trait Implementations

impl<'a> TypeInfoQueryVisitor<ValidationErrorContext<'a>> for PossibleFragmentSpreads

fn enter_inline_fragment(
    &self,
    _node: &InlineFragment,
    visitor_context: &mut ValidationErrorContext<'a>,
    type_info: &TypeInfo
)

fn enter_fragment_spread(
    &self,
    node: &FragmentSpread,
    visitor_context: &mut ValidationErrorContext<'a>,
    type_info: &TypeInfo
)

fn visit_document(
    &self,
    node: &Document,
    visitor_context: &mut T,
    type_info_registry: &TypeInfoRegistry<'_>
)

fn __visit_directive_use(
    &self,
    directive: &Directive,
    visitor_context: &mut T,
    _type_info_registry: &TypeInfoRegistry<'_>,
    type_info: &mut TypeInfo
)

fn __visit_selection_set(
    &self,
    _node: &SelectionSet,
    visitor_context: &mut T,
    type_info_registry: &TypeInfoRegistry<'_>,
    type_info: &mut TypeInfo
)

fn enter_document(
    &self,
    _node: &Document,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_document(
    &self,
    _node: &Document,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_definition(
    &self,
    _node: &Definition,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_definition(
    &self,
    _node: &Definition,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_fragment_definition(
    &self,
    _node: &FragmentDefinition,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_fragment_definition(
    &self,
    _node: &FragmentDefinition,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_operation_definition(
    &self,
    _node: &OperationDefinition,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_operation_definition(
    &self,
    _node: &OperationDefinition,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_query(
    &self,
    _node: &Query,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_query(
    &self,
    _node: &Query,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_mutation(
    &self,
    _node: &Mutation,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_mutation(
    &self,
    _node: &Mutation,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_subscription(
    &self,
    _node: &Subscription,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_subscription(
    &self,
    _node: &Subscription,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_selection_set(
    &self,
    _node: &SelectionSet,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_selection_set(
    &self,
    _node: &SelectionSet,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_variable_definition(
    &self,
    _node: &VariableDefinition,
    _parent_operation: &OperationDefinition,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_variable_definition(
    &self,
    _node: &VariableDefinition,
    _parent_operation: &OperationDefinition,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_selection(
    &self,
    _node: &Selection,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_selection(
    &self,
    _node: &Selection,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_field(
    &self,
    _node: &Field,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_field(
    &self,
    _node: &Field,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_directive(
    &self,
    _directive: &Directive,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_directive(
    &self,
    _directive: &Directive,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_field_argument(
    &self,
    _name: &String,
    _value: &Value,
    _parent_field: &Field,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_field_argument(
    &self,
    _name: &String,
    _value: &Value,
    _parent_field: &Field,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn enter_variable(
    &self,
    _name: &String,
    _parent_arg: (&String, &Value),
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_variable(
    &self,
    _name: &String,
    _parent_arg: (&String, &Value),
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_fragment_spread(
    &self,
    _node: &FragmentSpread,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

fn leave_inline_fragment(
    &self,
    _node: &InlineFragment,
    _visitor_context: &mut T,
    _type_info: &TypeInfo
)

impl ValidationRule for PossibleFragmentSpreads

fn validate<'a>(&self, ctx: &ValidationContext<'_>) -> Vec<ValidationError>