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

source ·

pub struct PossibleFragmentSpreads;

Expand description

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

Implementations§

source §

impl PossibleFragmentSpreads

source

pub fn new() -> Self

Trait Implementations§

source §

impl<'a> OperationVisitor<'a, ValidationErrorContext> for PossibleFragmentSpreads

source §

fn enter_inline_fragment( &mut self, visitor_context: &mut OperationVisitorContext<'_>, user_context: &mut ValidationErrorContext, _inline_fragment: &InlineFragment )

source §

fn enter_fragment_spread( &mut self, visitor_context: &mut OperationVisitorContext<'_>, user_context: &mut ValidationErrorContext, fragment_spread: &FragmentSpread )

source §

fn enter_document( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a Document )

source §

fn leave_document( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Document )

source §

fn enter_operation_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a OperationDefinition )

source §

fn leave_operation_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &OperationDefinition )

source §

fn enter_fragment_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a FragmentDefinition )

source §

fn leave_fragment_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &FragmentDefinition )

source §

fn enter_variable_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a VariableDefinition )

source §

fn leave_variable_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &VariableDefinition )

source §

fn enter_directive( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Directive )

source §

fn leave_directive( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Directive )

source §

fn enter_argument( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a (String, Value) )

source §

fn leave_argument( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &(String, Value) )

source §

fn enter_selection_set( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a SelectionSet )

source §

fn leave_selection_set( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &SelectionSet )

source §

fn enter_field( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Field )

source §

fn leave_field( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Field )

source §

fn leave_fragment_spread( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &FragmentSpread )

source §

fn leave_inline_fragment( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &InlineFragment )

source §

fn enter_null_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: () )

source §

fn leave_null_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: () )

source §

fn enter_scalar_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Value )

source §

fn leave_scalar_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Value )

source §

fn enter_enum_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &String )

source §

fn leave_enum_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &String )

source §

fn enter_variable_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a str )

source §

fn leave_variable_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &String )

source §

fn enter_list_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Vec<Value> )

source §

fn leave_list_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Vec<Value> )

source §

fn enter_object_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &BTreeMap<String, Value> )

source §

fn leave_object_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &BTreeMap<String, Value> )

source §

fn enter_object_field( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &(String, Value) )

source §

fn leave_object_field( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &(String, Value) )

source §

impl ValidationRule for PossibleFragmentSpreads

source §

fn error_code<'a>(&self) -> &'a str

source §

fn validate<'a>( &self, ctx: &'a mut OperationVisitorContext<'_>, error_collector: &mut ValidationErrorContext )

Auto Trait Implementations§

§

impl UnwindSafe for PossibleFragmentSpreads

Blanket Implementations§

source §

impl<T> Any for Twhere T: 'static + ?Sized,

source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source §

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source §

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source §

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source §

impl<T, U> Into for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source §

impl<T, U> TryFrom for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source §

impl<T, U> TryInto for Twhere U: TryFrom<T>,

§

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source§

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

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

Implementations§

impl PossibleFragmentSpreads

pub fn new() -> Self

Trait Implementations§

impl<'a> OperationVisitor<'a, ValidationErrorContext> for PossibleFragmentSpreads

fn enter_inline_fragment( &mut self, visitor_context: &mut OperationVisitorContext<'_>, user_context: &mut ValidationErrorContext, _inline_fragment: &InlineFragment )

fn enter_fragment_spread( &mut self, visitor_context: &mut OperationVisitorContext<'_>, user_context: &mut ValidationErrorContext, fragment_spread: &FragmentSpread )

fn enter_document( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a Document )

fn leave_document( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Document )

fn enter_operation_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a OperationDefinition )

fn leave_operation_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &OperationDefinition )

fn enter_fragment_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a FragmentDefinition )

fn leave_fragment_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &FragmentDefinition )

fn enter_variable_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a VariableDefinition )

fn leave_variable_definition( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &VariableDefinition )

fn enter_directive( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Directive )

fn leave_directive( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Directive )

fn enter_argument( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a (String, Value) )

fn leave_argument( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &(String, Value) )

fn enter_selection_set( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a SelectionSet )

fn leave_selection_set( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &SelectionSet )

fn enter_field( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Field )

fn leave_field( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Field )

fn leave_fragment_spread( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &FragmentSpread )

fn leave_inline_fragment( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &InlineFragment )

fn enter_null_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: () )

fn leave_null_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: () )

fn enter_scalar_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Value )

fn leave_scalar_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Value )

fn enter_enum_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &String )

fn leave_enum_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &String )

fn enter_variable_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &'a str )

fn leave_variable_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &String )

fn enter_list_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Vec<Value> )

fn leave_list_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &Vec<Value> )

fn enter_object_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &BTreeMap<String, Value> )

fn leave_object_value( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &BTreeMap<String, Value> )

fn enter_object_field( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &(String, Value) )

fn leave_object_field( &mut self, _: &mut OperationVisitorContext<'a>, _: &mut UserContext, _: &(String, Value) )

impl ValidationRule for PossibleFragmentSpreads

fn error_code<'a>(&self) -> &'a str

fn validate<'a>( &self, ctx: &'a mut OperationVisitorContext<'_>, error_collector: &mut ValidationErrorContext )

Auto Trait Implementations§

impl RefUnwindSafe for PossibleFragmentSpreads

impl Send for PossibleFragmentSpreads

impl Sync for PossibleFragmentSpreads

impl Unpin for PossibleFragmentSpreads

impl UnwindSafe for PossibleFragmentSpreads

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>