Skip to content

Make VisitorArray shape explicit #1675

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 9 commits into from
Closed

Make VisitorArray shape explicit #1675

Show file tree
Hide file tree
Changes from 3 commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
ae54048
Make NodeVisitor Node argument covariant
ruudk Feb 26, 2025
d83b95b
Add fully VisitorArray shape
ruudk Feb 27, 2025
a3a7540
Prettify docs
ruudk Feb 27, 2025
586d0fa
VisitorReturnType
ruudk Feb 27, 2025
563e4ea
Prettify docs
ruudk Feb 27, 2025
8adbe70
Fix broken phpdoc
ruudk Feb 27, 2025
a8adc73
Use default value for NodeList T
ruudk Feb 27, 2025
aca99b3
Fix
ruudk Feb 27, 2025
606c093
Prettify docs
ruudk Feb 27, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
98 changes: 96 additions & 2 deletions docs/class-reference.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1298,8 +1298,102 @@ visitor API:
]
]);

@phpstan-type NodeVisitor callable(Node): (VisitorOperation|null|false|void)
@phpstan-type VisitorArray array<string, NodeVisitor>|array<string, array<string, NodeVisitor>>
@phpstan-type VisitorArray array{
enter?: callable(Node): (VisitorOperation|null|false|void),
leave?: callable(Node): (VisitorOperation|null|false|void),
Name?: array{
enter?: callable(NameNode): (VisitorOperation|null|false|void),
leave?: callable(NameNode): (VisitorOperation|null|false|void),
}|callable(NameNode): (VisitorOperation|null|false|void),
Document?: array{
enter?: callable(DocumentNode): (VisitorOperation|null|false|void),
leave?: callable(DocumentNode): (VisitorOperation|null|false|void),
}|callable(DocumentNode): (VisitorOperation|null|false|void),
OperationDefinition?: array{
enter?: callable(OperationDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(OperationDefinitionNode): (VisitorOperation|null|false|void),
}|callable(OperationDefinitionNode): (VisitorOperation|null|false|void),
VariableDefinition?: array{
enter?: callable(VariableDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(VariableDefinitionNode): (VisitorOperation|null|false|void),
}|callable(VariableDefinitionNode): (VisitorOperation|null|false|void),
SchemaDefinition?: array{
enter?: callable(SchemaDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(SchemaDefinitionNode): (VisitorOperation|null|false|void),
}|callable(SchemaDefinitionNode): (VisitorOperation|null|false|void),
OperationTypeDefinition?: array{
enter?: callable(OperationTypeDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(OperationTypeDefinitionNode): (VisitorOperation|null|false|void),
}|callable(OperationTypeDefinitionNode): (VisitorOperation|null|false|void),
ScalarTypeDefinition?: array{
enter?: callable(ScalarTypeDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(ScalarTypeDefinitionNode): (VisitorOperation|null|false|void),
}|callable(ScalarTypeDefinitionNode): (VisitorOperation|null|false|void),
ObjectTypeDefinition?: array{
enter?: callable(ObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(ObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
}|callable(ObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
FieldDefinition?: array{
enter?: callable(FieldDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(FieldDefinitionNode): (VisitorOperation|null|false|void),
}|callable(FieldDefinitionNode): (VisitorOperation|null|false|void),
InputValueDefinition?: array{
enter?: callable(InputValueDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(InputValueDefinitionNode): (VisitorOperation|null|false|void),
}|callable(InputValueDefinitionNode): (VisitorOperation|null|false|void),
InterfaceTypeDefinition?: array{
enter?: callable(InterfaceTypeDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(InterfaceTypeDefinitionNode): (VisitorOperation|null|false|void),
}|callable(InterfaceTypeDefinitionNode): (VisitorOperation|null|false|void),
UnionTypeDefinition?: array{
enter?: callable(UnionTypeDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(UnionTypeDefinitionNode): (VisitorOperation|null|false|void),
}|callable(UnionTypeDefinitionNode): (VisitorOperation|null|false|void),
EnumTypeDefinition?: array{
enter?: callable(EnumTypeDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(EnumTypeDefinitionNode): (VisitorOperation|null|false|void),
}|callable(EnumTypeDefinitionNode): (VisitorOperation|null|false|void),
EnumValueDefinition?: array{
enter?: callable(EnumValueDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(EnumValueDefinitionNode): (VisitorOperation|null|false|void),
}|callable(EnumValueDefinitionNode): (VisitorOperation|null|false|void),
InputObjectTypeDefinition?: array{
enter?: callable(InputObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(InputObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
}|callable(InputObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
SchemaExtension?: array{
enter?: callable(SchemaExtensionNode): (VisitorOperation|null|false|void),
leave?: callable(SchemaExtensionNode): (VisitorOperation|null|false|void),
}|callable(SchemaExtensionNode): (VisitorOperation|null|false|void),
DirectiveDefinition?: array{
enter?: callable(DirectiveDefinitionNode): (VisitorOperation|null|false|void),
leave?: callable(DirectiveDefinitionNode): (VisitorOperation|null|false|void),
}|callable(DirectiveDefinitionNode): (VisitorOperation|null|false|void),
ScalarTypeExtension?: array{
enter?: callable(ScalarTypeExtensionNode): (VisitorOperation|null|false|void),
leave?: callable(ScalarTypeExtensionNode): (VisitorOperation|null|false|void),
}|callable(ScalarTypeExtensionNode): (VisitorOperation|null|false|void),
ObjectTypeExtension?: array{
enter?: callable(ObjectTypeExtensionNode): (VisitorOperation|null|false|void),
leave?: callable(ObjectTypeExtensionNode): (VisitorOperation|null|false|void),
}|callable(ObjectTypeExtensionNode): (VisitorOperation|null|false|void),
InterfaceTypeExtension?: array{
enter?: callable(InterfaceTypeExtensionNode): (VisitorOperation|null|false|void),
leave?: callable(InterfaceTypeExtensionNode): (VisitorOperation|null|false|void),
}|callable(InterfaceTypeExtensionNode): (VisitorOperation|null|false|void),
UnionTypeExtension?: array{
enter?: callable(UnionTypeExtensionNode): (VisitorOperation|null|false|void),
leave?: callable(UnionTypeExtensionNode): (VisitorOperation|null|false|void),
}|callable(UnionTypeExtensionNode): (VisitorOperation|null|false|void),
EnumTypeExtension?: array{
enter?: callable(EnumTypeExtensionNode): (VisitorOperation|null|false|void),
leave?: callable(EnumTypeExtensionNode): (VisitorOperation|null|false|void),
}|callable(EnumTypeExtensionNode): (VisitorOperation|null|false|void),
InputObjectTypeExtension?: array{
enter?: callable(InputObjectTypeExtensionNode): (VisitorOperation|null|false|void),
leave?: callable(InputObjectTypeExtensionNode): (VisitorOperation|null|false|void),
}|callable(InputObjectTypeExtensionNode): (VisitorOperation|null|false|void),
}

@see \GraphQL\Tests\Language\VisitorTest

Expand Down
121 changes: 119 additions & 2 deletions src/Language/Visitor.php
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,32 @@

namespace GraphQL\Language;

use GraphQL\Language\AST\DirectiveDefinitionNode;
use GraphQL\Language\AST\DocumentNode;
use GraphQL\Language\AST\EnumTypeDefinitionNode;
use GraphQL\Language\AST\EnumTypeExtensionNode;
use GraphQL\Language\AST\EnumValueDefinitionNode;
use GraphQL\Language\AST\FieldDefinitionNode;
use GraphQL\Language\AST\InputObjectTypeDefinitionNode;
use GraphQL\Language\AST\InputObjectTypeExtensionNode;
use GraphQL\Language\AST\InputValueDefinitionNode;
use GraphQL\Language\AST\InterfaceTypeDefinitionNode;
use GraphQL\Language\AST\InterfaceTypeExtensionNode;
use GraphQL\Language\AST\NameNode;
use GraphQL\Language\AST\Node;
use GraphQL\Language\AST\NodeKind;
use GraphQL\Language\AST\NodeList;
use GraphQL\Language\AST\ObjectTypeDefinitionNode;
use GraphQL\Language\AST\ObjectTypeExtensionNode;
use GraphQL\Language\AST\OperationDefinitionNode;
use GraphQL\Language\AST\OperationTypeDefinitionNode;
use GraphQL\Language\AST\ScalarTypeDefinitionNode;
use GraphQL\Language\AST\ScalarTypeExtensionNode;
use GraphQL\Language\AST\SchemaDefinitionNode;
use GraphQL\Language\AST\SchemaExtensionNode;
use GraphQL\Language\AST\UnionTypeDefinitionNode;
use GraphQL\Language\AST\UnionTypeExtensionNode;
use GraphQL\Language\AST\VariableDefinitionNode;
use GraphQL\Utils\TypeInfo;
use GraphQL\Utils\Utils;

Expand Down Expand Up @@ -89,8 +112,102 @@
* ]
* ]);
*
* @phpstan-type NodeVisitor callable(Node): (VisitorOperation|null|false|void)
* @phpstan-type VisitorArray array<string, NodeVisitor>|array<string, array<string, NodeVisitor>>
* @phpstan-type VisitorArray array{
* enter?: callable(Node): (VisitorOperation|null|false|void),
* leave?: callable(Node): (VisitorOperation|null|false|void),
* Name?: array{
* enter?: callable(NameNode): (VisitorOperation|null|false|void),
* leave?: callable(NameNode): (VisitorOperation|null|false|void),
* }|callable(NameNode): (VisitorOperation|null|false|void),
* Document?: array{
* enter?: callable(DocumentNode): (VisitorOperation|null|false|void),
* leave?: callable(DocumentNode): (VisitorOperation|null|false|void),
* }|callable(DocumentNode): (VisitorOperation|null|false|void),
* OperationDefinition?: array{
* enter?: callable(OperationDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(OperationDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(OperationDefinitionNode): (VisitorOperation|null|false|void),
* VariableDefinition?: array{
* enter?: callable(VariableDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(VariableDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(VariableDefinitionNode): (VisitorOperation|null|false|void),
* SchemaDefinition?: array{
* enter?: callable(SchemaDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(SchemaDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(SchemaDefinitionNode): (VisitorOperation|null|false|void),
* OperationTypeDefinition?: array{
* enter?: callable(OperationTypeDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(OperationTypeDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(OperationTypeDefinitionNode): (VisitorOperation|null|false|void),
* ScalarTypeDefinition?: array{
* enter?: callable(ScalarTypeDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(ScalarTypeDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(ScalarTypeDefinitionNode): (VisitorOperation|null|false|void),
* ObjectTypeDefinition?: array{
* enter?: callable(ObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(ObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(ObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
* FieldDefinition?: array{
* enter?: callable(FieldDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(FieldDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(FieldDefinitionNode): (VisitorOperation|null|false|void),
* InputValueDefinition?: array{
* enter?: callable(InputValueDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(InputValueDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(InputValueDefinitionNode): (VisitorOperation|null|false|void),
* InterfaceTypeDefinition?: array{
* enter?: callable(InterfaceTypeDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(InterfaceTypeDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(InterfaceTypeDefinitionNode): (VisitorOperation|null|false|void),
* UnionTypeDefinition?: array{
* enter?: callable(UnionTypeDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(UnionTypeDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(UnionTypeDefinitionNode): (VisitorOperation|null|false|void),
* EnumTypeDefinition?: array{
* enter?: callable(EnumTypeDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(EnumTypeDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(EnumTypeDefinitionNode): (VisitorOperation|null|false|void),
* EnumValueDefinition?: array{
* enter?: callable(EnumValueDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(EnumValueDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(EnumValueDefinitionNode): (VisitorOperation|null|false|void),
* InputObjectTypeDefinition?: array{
* enter?: callable(InputObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(InputObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(InputObjectTypeDefinitionNode): (VisitorOperation|null|false|void),
* SchemaExtension?: array{
* enter?: callable(SchemaExtensionNode): (VisitorOperation|null|false|void),
* leave?: callable(SchemaExtensionNode): (VisitorOperation|null|false|void),
* }|callable(SchemaExtensionNode): (VisitorOperation|null|false|void),
* DirectiveDefinition?: array{
* enter?: callable(DirectiveDefinitionNode): (VisitorOperation|null|false|void),
* leave?: callable(DirectiveDefinitionNode): (VisitorOperation|null|false|void),
* }|callable(DirectiveDefinitionNode): (VisitorOperation|null|false|void),
* ScalarTypeExtension?: array{
* enter?: callable(ScalarTypeExtensionNode): (VisitorOperation|null|false|void),
* leave?: callable(ScalarTypeExtensionNode): (VisitorOperation|null|false|void),
* }|callable(ScalarTypeExtensionNode): (VisitorOperation|null|false|void),
* ObjectTypeExtension?: array{
* enter?: callable(ObjectTypeExtensionNode): (VisitorOperation|null|false|void),
* leave?: callable(ObjectTypeExtensionNode): (VisitorOperation|null|false|void),
* }|callable(ObjectTypeExtensionNode): (VisitorOperation|null|false|void),
* InterfaceTypeExtension?: array{
* enter?: callable(InterfaceTypeExtensionNode): (VisitorOperation|null|false|void),
* leave?: callable(InterfaceTypeExtensionNode): (VisitorOperation|null|false|void),
* }|callable(InterfaceTypeExtensionNode): (VisitorOperation|null|false|void),
* UnionTypeExtension?: array{
* enter?: callable(UnionTypeExtensionNode): (VisitorOperation|null|false|void),
* leave?: callable(UnionTypeExtensionNode): (VisitorOperation|null|false|void),
* }|callable(UnionTypeExtensionNode): (VisitorOperation|null|false|void),
* EnumTypeExtension?: array{
* enter?: callable(EnumTypeExtensionNode): (VisitorOperation|null|false|void),
* leave?: callable(EnumTypeExtensionNode): (VisitorOperation|null|false|void),
* }|callable(EnumTypeExtensionNode): (VisitorOperation|null|false|void),
* InputObjectTypeExtension?: array{
* enter?: callable(InputObjectTypeExtensionNode): (VisitorOperation|null|false|void),
* leave?: callable(InputObjectTypeExtensionNode): (VisitorOperation|null|false|void),
* }|callable(InputObjectTypeExtensionNode): (VisitorOperation|null|false|void),
* }
*
* @see \GraphQL\Tests\Language\VisitorTest
*/
Expand Down