added ProvidedRequiredArguments

Author: dotansimha

README.md

@@ -64,7 +64,7 @@ cargo add graphql-tools
 - [x] KnownArgumentNames
 - [x] UniqueArgumentNames
 - [ ] ValuesOfCorrectType
-- [ ] ProvidedRequiredArguments
+- [x] ProvidedRequiredArguments
 - [ ] VariablesInAllowedPosition
 - [x] OverlappingFieldsCanBeMerged
 - [ ] UniqueInputFieldNames (blocked by https://github.com/graphql-rust/graphql-parser/issues/59)

src/ast/ext.rs

@@ -1,13 +1,29 @@
 use std::collections::{HashMap, HashSet};
 
 use crate::ast::QueryVisitor;
-use crate::static_graphql::query::{self, FragmentSpread, OperationDefinition};
+use crate::static_graphql::query::{self, FragmentSpread, OperationDefinition, Type};
 use crate::static_graphql::schema::{
-    self, Field, InterfaceType, ObjectType, TypeDefinition, UnionType,
+    self, Field, InputValue, InterfaceType, ObjectType, TypeDefinition, UnionType,
 };
 
 use super::{get_named_type, TypeInfoElementRef, TypeInfoRegistry};
 
+pub trait InputValueHelpers {
+    fn is_required(&self) -> bool;
+}
+
+impl InputValueHelpers for InputValue {
+    fn is_required(&self) -> bool {
+        if let Type::NonNullType(_inner_type) = &self.value_type {
+            if let None = &self.default_value {
+                return true;
+            }
+        }
+
+        false
+    }
+}
+
 pub trait AstWithVariables {
     fn get_variables(&self) -> Vec<query::VariableDefinition>;
     fn get_variables_in_use(

src/validation/rules/defaults.rs

@@ -4,8 +4,8 @@ use super::{
     FieldsOnCorrectType, FragmentsOnCompositeTypes, KnownArgumentNames, KnownFragmentNames,
     KnownTypeNames, LeafFieldSelections, LoneAnonymousOperation, NoFragmentsCycle,
     NoUndefinedVariables, NoUnusedFragments, OverlappingFieldsCanBeMerged, PossibleFragmentSpreads,
-    SingleFieldSubscriptions, UniqueArgumentNames, UniqueFragmentNames, UniqueOperationNames,
-    VariablesAreInputTypes,
+    ProvidedRequiredArguments, SingleFieldSubscriptions, UniqueArgumentNames, UniqueFragmentNames,
+    UniqueOperationNames, VariablesAreInputTypes,
 };
 
 pub fn default_rules_validation_plan() -> ValidationPlan {
@@ -28,6 +28,7 @@ pub fn default_rules_validation_plan() -> ValidationPlan {
     plan.add_rule(Box::new(NoUndefinedVariables {}));
     plan.add_rule(Box::new(KnownArgumentNames {}));
     plan.add_rule(Box::new(UniqueArgumentNames {}));
+    plan.add_rule(Box::new(ProvidedRequiredArguments {}));
 
     plan
 }

src/validation/rules/mod.rs

@@ -11,6 +11,7 @@ pub mod no_undefined_variables;
 pub mod no_unused_fragments;
 pub mod overlapping_fields_can_be_merged;
 pub mod possible_fragment_spreads;
+pub mod provided_required_arguments;
 /// Utilities validating GraphQL documents/operations
 pub mod rule;
 pub mod single_field_subscriptions;
@@ -32,6 +33,7 @@ pub use self::no_undefined_variables::*;
 pub use self::no_unused_fragments::*;
 pub use self::overlapping_fields_can_be_merged::*;
 pub use self::possible_fragment_spreads::*;
+pub use self::provided_required_arguments::*;
 pub use self::rule::*;
 pub use self::single_field_subscriptions::*;
 pub use self::unique_argument_names::*;