pub struct InlineFragment { /* private fields */ }

Implementations§

source§

impl InlineFragment

source

pub fn type_condition(&self) -> Option<&str>

Get a reference to inline fragment’s type condition.

source

pub fn parent_type(&self, db: &dyn HirDatabase) -> Option<TypeDefinition>

Get the type this inline fragment is spread onto.

This method does not look up type conditions, so in the example below b.parent_type() returns the type for “Intf”, not “X”. To look up the type that an inline fragment applies to, use InlineFragment::type_def.

Examples
let mut compiler = ApolloCompiler::new();
compiler.add_type_system(r#"
    interface Intf {
        subField: Int!
    }
    type X implements Intf {
        subField: Int!
        subField2: Int!
    }
    type Query {
        field: Intf
    }
"#, "schema.graphql");
let id = compiler.add_executable(r#"
    query {
        ... on Query { field { subField } } # spread A
        field {
            ... on X { subField2 } # spread B
        }
    }
"#, "query.graphql");

let query = compiler.db.find_operation(id, None)?;
let a = &query.selection_set().inline_fragments()[0];
let b = &query.selection_set().field("field")?.selection_set().inline_fragments()[0];
assert_eq!(a.parent_type(&compiler.db)?.name(), "Query");
assert_eq!(b.parent_type(&compiler.db)?.name(), "Intf");
source

pub fn type_def(&self, db: &dyn HirDatabase) -> Option<TypeDefinition>

Get the type this inline fragment applies to: the type condition, or the parent type if a type condition is not given.

Examples
let mut compiler = ApolloCompiler::new();
compiler.add_type_system(r#"
    interface Intf {
        subField: Int!
    }
    type X implements Intf {
        subField: Int!
        subField2: Int!
    }
    type Query {
        field: Intf
    }
"#, "schema.graphql");
let id = compiler.add_executable(r#"
    query {
        ... on Query { field { subField } } # spread A
        field {
            ... on X { subField2 } # spread B
        }
    }
"#, "query.graphql");

let query = compiler.db.find_operation(id, None)?;
let a = &query.selection_set().inline_fragments()[0];
let b = &query.selection_set().field("field")?.selection_set().inline_fragments()[0];
assert_eq!(a.type_def(&compiler.db)?.name(), "Query");
assert_eq!(b.type_def(&compiler.db)?.name(), "X");
source

pub fn directives(&self) -> &[Directive]

Get a reference to inline fragment’s directives.

source

pub fn directive_by_name(&self, name: &str) -> Option<&Directive>

Returns the first directive with the given name.

For repeatable directives, see directives_by_name (plural).

source

pub fn directives_by_name<'def: 'name, 'name>( &'def self, name: &'name str ) -> impl Iterator<Item = &'def Directive> + 'name

Returns an iterator of directives with the given name.

For non-repeatable directives, directive_by_name (singular).

source

pub fn selection_set(&self) -> &SelectionSet

Get a reference inline fragment’s selection set.

source

pub fn self_used_variables(&self) -> impl Iterator<Item = Variable> + '_

Return an iterator over the variables used in directives on this spread.

Variables used inside the fragment are not included. For that, use variables().

source

pub fn variables(&self, db: &dyn HirDatabase) -> Vec<Variable>

Get variables in use in the inline fragment.

source

pub fn loc(&self) -> HirNodeLocation

Get the AST location information for this HIR node.

source

pub fn is_introspection(&self, db: &dyn HirDatabase) -> bool

Returns true if the inline fragment’s SelectionSet is an introspection.

Trait Implementations§

source§

impl Clone for InlineFragment

source§

fn clone(&self) -> InlineFragment

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for InlineFragment

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Hash for InlineFragment

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq<InlineFragment> for InlineFragment

source§

fn eq(&self, other: &InlineFragment) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Eq for InlineFragment

source§

impl StructuralEq for InlineFragment

source§

impl StructuralPartialEq for InlineFragment

Auto Trait Implementations§

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,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

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> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

§

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

The type returned in the event of a conversion error.
source§

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

Performs the conversion.