Fix type inferring for trivial resolver code

Additionally:
- fix inconsistencies after merge with master
This commit is contained in:
tyranron 2019-10-10 14:50:10 +02:00
parent 635bf1ff34
commit e2903cf0f7
No known key found for this signature in database
GPG key ID: 762E144FB230A4F0
4 changed files with 22 additions and 118 deletions

View file

@ -828,121 +828,10 @@ where
None => return Err(GraphQLError::UnknownOperationName),
};
let default_variable_values = op.item.variable_definitions.map(|defs| {
defs.item
.items
.iter()
.filter_map(|&(ref name, ref def)| {
def.default_value
.as_ref()
.map(|i| (name.item.to_owned(), i.item.clone()))
})
.collect::<HashMap<String, InputValue<S>>>()
});
let errors = RwLock::new(Vec::new());
let value;
{
let mut all_vars;
let mut final_vars = variables;
if let Some(defaults) = default_variable_values {
all_vars = variables.clone();
for (name, value) in defaults {
all_vars.entry(name).or_insert(value);
}
final_vars = &all_vars;
}
let root_type = match op.item.operation_type {
OperationType::Query => root_node.schema.query_type(),
OperationType::Mutation => root_node
.schema
.mutation_type()
.expect("No mutation type found"),
};
let executor = Executor {
fragments: &fragments
.iter()
.map(|f| (f.item.name.item, &f.item))
.collect(),
variables: final_vars,
current_selection_set: Some(&op.item.selection_set[..]),
parent_selection_set: None,
current_type: root_type,
schema: &root_node.schema,
context,
errors: &errors,
field_path: FieldPath::Root(op.start),
};
value = match op.item.operation_type {
OperationType::Query => {
executor
.resolve_into_value_async(&root_node.query_info, &root_node)
.await
}
OperationType::Mutation => {
executor
.resolve_into_value_async(&root_node.mutation_info, &root_node.mutation_type)
.await
}
};
if op.item.operation_type == OperationType::Subscription {
return Err(GraphQLError::IsSubscription);
}
let mut errors = errors.into_inner().unwrap();
errors.sort();
Ok((value, errors))
}
#[cfg(feature = "async")]
pub async fn execute_validated_query_async<'a, QueryT, MutationT, CtxT, S>(
document: Document<'a, S>,
operation_name: Option<&str>,
root_node: &RootNode<'a, QueryT, MutationT, S>,
variables: &Variables<S>,
context: &CtxT,
) -> Result<(Value<S>, Vec<ExecutionError<S>>), GraphQLError<'a>>
where
S: ScalarValue + Send + Sync,
QueryT: crate::GraphQLTypeAsync<S, Context = CtxT> + Send + Sync,
QueryT::TypeInfo: Send + Sync,
MutationT: crate::GraphQLTypeAsync<S, Context = CtxT> + Send + Sync,
MutationT::TypeInfo: Send + Sync,
CtxT: Send + Sync,
for<'b> &'b S: ScalarRefValue<'b>,
{
let mut fragments = vec![];
let mut operation = None;
for def in document {
match def {
Definition::Operation(op) => {
if operation_name.is_none() && operation.is_some() {
return Err(GraphQLError::MultipleOperationsProvided);
}
let move_op = operation_name.is_none()
|| op.item.name.as_ref().map(|s| s.item) == operation_name;
if move_op {
operation = Some(op);
}
}
Definition::Fragment(f) => fragments.push(f),
};
}
let op = match operation {
Some(op) => op,
None => return Err(GraphQLError::UnknownOperationName),
};
let default_variable_values = op.item.variable_definitions.map(|defs| {
defs.item
.items
@ -978,6 +867,7 @@ where
.schema
.mutation_type()
.expect("No mutation type found"),
OperationType::Subscription => unreachable!(),
};
let executor = Executor {
@ -1006,6 +896,7 @@ where
.resolve_into_value_async(&root_node.mutation_info, &root_node.mutation_type)
.await
}
OperationType::Subscription => unreachable!(),
};
}

View file

@ -59,6 +59,7 @@ pub fn build_derive_object(ast: syn::DeriveInput, is_internal: bool) -> TokenStr
description: field_attrs.description,
deprecation: field_attrs.deprecation,
resolver_code,
is_type_inferred: true,
is_async: false,
})
}

View file

@ -214,6 +214,7 @@ pub fn build_object(args: TokenStream, body: TokenStream, is_internal: bool) ->
description: attrs.description,
deprecation: attrs.deprecation,
resolver_code,
is_type_inferred: false,
is_async,
});
}

View file

@ -597,6 +597,7 @@ pub struct GraphQLTypeDefinitionField {
pub deprecation: Option<DeprecationAttr>,
pub args: Vec<GraphQLTypeDefinitionFieldArg>,
pub resolver_code: proc_macro2::TokenStream,
pub is_type_inferred: bool,
pub is_async: bool,
}
@ -712,10 +713,15 @@ impl GraphQLTypeDefiniton {
},
)
} else {
let _type = &field._type;
let _type = if field.is_type_inferred {
quote!()
} else {
let _type = &field._type;
quote!(: #_type)
};
quote!(
#name => {
let res: #_type = { #code };
let res #_type = { #code };
#juniper_crate_name::IntoResolvable::into(
res,
executor.context()
@ -805,14 +811,19 @@ impl GraphQLTypeDefiniton {
let resolve_field_async = {
let resolve_matches_async = self.fields.iter().map(|field| {
let name = &field.name;
let _type = &field._type;
let code = &field.resolver_code;
let _type = if field.is_type_inferred {
quote!()
} else {
let _type = &field._type;
quote!(: #_type)
};
if field.is_async {
quote!(
#name => {
let f = async move {
let res: #_type = async move { #code }.await;
let res #_type = async move { #code }.await;
let inner_res = #juniper_crate_name::IntoResolvable::into(
res,
@ -860,7 +871,7 @@ impl GraphQLTypeDefiniton {
quote!(
#name => {
let res: #_type = { #code };
let res #_type = { #code };
let res2 = #juniper_crate_name::IntoResolvable::into(
res,
executor.context()