libgraphql-parser 0.0.5

A blazing fast, error-focused, lossless GraphQL parser for schema, executable, and mixed documents.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

//! Strategies for generating complete GraphQL documents.
//!
//! Documents are composed of definitions: type-system definitions
//! (schema docs), executable definitions (executable docs), or
//! both (mixed docs).
//!
//! See [Document](https://spec.graphql.org/September2025/#sec-Document)
//! in the spec.
//!
//! Written by Claude Code, reviewed by a human.

use proptest::prelude::*;
use proptest::strategy::BoxedStrategy;

use crate::tests::property_tests::generators::extensions::arb_type_system_extension;
use crate::tests::property_tests::generators::operations::arb_executable_definition;
use crate::tests::property_tests::generators::operations::arb_named_executable_definition;
use crate::tests::property_tests::generators::schema_types::arb_type_system_definition;
use crate::tests::property_tests::generators::whitespace::arb_separator;
use crate::tests::property_tests::generators::whitespace::join_items;

/// Generates a schema document (type-system definitions only).
///
/// Contains 1-5 type definitions, schema definitions, directive
/// definitions, and/or type extensions.
pub fn arb_schema_document(depth: usize) -> BoxedStrategy<String> {
    prop::collection::vec((arb_schema_doc_definition(depth), arb_separator()), 1..5)
        .prop_map(|pairs| join_items(&pairs))
        .boxed()
}

/// Generates an executable document (operations and fragments only).
///
/// Contains 1-5 operation definitions and/or fragment definitions.
pub fn arb_executable_document(depth: usize) -> BoxedStrategy<String> {
    prop::collection::vec((arb_executable_definition(depth), arb_separator()), 1..5)
        .prop_map(|pairs| join_items(&pairs))
        .boxed()
}

/// Generates a mixed document (both type-system and executable
/// definitions).
pub fn arb_mixed_document(depth: usize) -> BoxedStrategy<String> {
    prop::collection::vec((arb_any_definition(depth), arb_separator()), 1..5)
        .prop_map(|pairs| join_items(&pairs))
        .boxed()
}

/// Generates a single definition for a schema document.
fn arb_schema_doc_definition(depth: usize) -> BoxedStrategy<String> {
    prop_oneof![
        3 => arb_type_system_definition(depth),
        1 => arb_type_system_extension(depth),
    ]
    .boxed()
}

/// Generates any definition (type-system or executable).
///
/// Uses named operations only (no shorthand queries) to avoid
/// ambiguity where `{ ... }` could be parsed as a type extension
/// body rather than a shorthand query.
fn arb_any_definition(depth: usize) -> BoxedStrategy<String> {
    prop_oneof![
        2 => arb_type_system_definition(depth),
        1 => arb_type_system_extension(depth),
        2 => arb_named_executable_definition(depth),
    ]
    .boxed()
}