WIP: Apollo Federation V2 merge

.editorconfig

@@ -121,3 +121,12 @@ resharper_trailing_comma_in_multiline_lists = true
 resharper_wrap_before_binary_pattern_op = false
 resharper_wrap_chained_binary_expressions = chop_if_long
 resharper_wrap_chained_binary_patterns = chop_if_long
+
+# Require braces on all control statements
+resharper_csharp_braces_for_ifelse = required
+resharper_csharp_braces_for_for = required
+resharper_csharp_braces_for_foreach = required
+resharper_csharp_braces_for_while = required
+resharper_csharp_braces_for_using = required
+resharper_csharp_braces_for_lock = required
+resharper_csharp_braces_for_fixed = required

src/HotChocolate/ApolloFederation/Directory.Build.props

@@ -3,6 +3,6 @@
 
   <PropertyGroup>
     <Nullable>enable</Nullable>
-    <TargetFrameworks>$(Library2TargetFrameworks)</TargetFrameworks>
+    <TargetFrameworks>$(Library3TargetFrameworks)</TargetFrameworks>
   </PropertyGroup>
 </Project>

src/HotChocolate/ApolloFederation/src/ApolloFederation/Configuration/Attributes/ApolloAuthenticatedAttribute.cs

@@ -0,0 +1,70 @@
+using System.Reflection;
+using HotChocolate.Types.Descriptors;
+
+namespace HotChocolate.ApolloFederation;
+
+/// <summary>
+/// <code>
+/// directive @authenticated on
+///     ENUM
+///   | FIELD_DEFINITION
+///   | INTERFACE
+///   | OBJECT
+///   | SCALAR
+/// </code>
+///
+/// The @authenticated directive is used to indicate that the target element is accessible only to the authenticated supergraph users.
+/// For more granular access control, see the <see cref="RequiresScopesDirectiveType">RequiresScopeDirectiveType</see> directive usage.
+/// Refer to the <see href="https://www.apollographql.com/docs/router/configuration/authorization#authenticated">Apollo Router article</see>
+/// for additional details.
+/// <example>
+/// type Foo @key(fields: "id") {
+///   id: ID
+///   description: String @authenticated
+/// }
+/// </example>
+/// </summary>
+[AttributeUsage(
+    AttributeTargets.Class |
+    AttributeTargets.Enum |
+    AttributeTargets.Interface |
+    AttributeTargets.Method |
+    AttributeTargets.Property |
+    AttributeTargets.Struct)]
+public sealed class ApolloAuthenticatedAttribute : DescriptorAttribute
+{
+    protected internal override void TryConfigure(
+        IDescriptorContext context,
+        IDescriptor descriptor,
+        ICustomAttributeProvider element)
+    {
+        switch (descriptor)
+        {
+            case IEnumTypeDescriptor enumTypeDescriptor:
+            {
+                enumTypeDescriptor.ApolloAuthenticated();
+                break;
+            }
+            case IObjectTypeDescriptor objectFieldDescriptor:
+            {
+                objectFieldDescriptor.ApolloAuthenticated();
+                break;
+            }
+            case IObjectFieldDescriptor objectFieldDescriptor:
+            {
+                objectFieldDescriptor.ApolloAuthenticated();
+                break;
+            }
+            case IInterfaceTypeDescriptor interfaceTypeDescriptor:
+            {
+                interfaceTypeDescriptor.ApolloAuthenticated();
+                break;
+            }
+            case IInterfaceFieldDescriptor interfaceFieldDescriptor:
+            {
+                interfaceFieldDescriptor.ApolloAuthenticated();
+                break;
+            }
+        }
+    }
+}

src/HotChocolate/ApolloFederation/src/ApolloFederation/Configuration/Attributes/ComposeDirectiveAttribute.cs

@@ -0,0 +1,57 @@
+using HotChocolate.Types.Descriptors;
+using static HotChocolate.ApolloFederation.ThrowHelper;
+
+namespace HotChocolate.ApolloFederation;
+
+/// <summary>
+/// <code>
+/// directive @composeDirective(name: String!) repeatable on SCHEMA
+/// </code>
+///
+/// By default, Supergraph schema excludes all custom directives. The @composeDirective is used to specify
+/// custom directives that should be exposed in the Supergraph schema.
+///
+/// <example>
+/// extend schema @composeDirective(name: "@custom")
+///   @link(url: "https://specs.apollo.dev/federation/v2.5", import: ["@composeDirective"])
+///   @link(url: "https://myspecs.dev/custom/v1.0", import: ["@custom"])
+///
+/// directive @custom on FIELD_DEFINITION
+///
+/// type Query {
+///   helloWorld: String! @custom
+/// }
+/// </example>
+/// </summary>
+[AttributeUsage(
+    AttributeTargets.Class
+    | AttributeTargets.Struct,
+    Inherited = true,
+    AllowMultiple = true)]
+public sealed class ComposeDirectiveAttribute : SchemaTypeDescriptorAttribute
+{
+    /// <summary>
+    /// Initializes new instance of <see cref="ComposeDirectiveAttribute"/>
+    /// </summary>
+    /// <param name="name">
+    /// Name of the directive that should be preserved in the supergraph composition.
+    /// </param>
+    public ComposeDirectiveAttribute(string name)
+    {
+        Name = name;
+    }
+
+    /// <summary>
+    /// Gets the composed directive name.
+    /// </summary>
+    public string Name { get; }
+
+    public override void OnConfigure(IDescriptorContext context, ISchemaTypeDescriptor descriptor, Type type)
+    {
+        if (string.IsNullOrEmpty(Name))
+        {
+            throw ComposeDirective_Name_CannotBeEmpty(type);
+        }
+        descriptor.ComposeDirective(Name);
+    }
+}

src/HotChocolate/ApolloFederation/src/ApolloFederation/Configuration/Attributes/ContactAttribute.cs

@@ -0,0 +1,78 @@
+using HotChocolate.Types.Descriptors;
+using static HotChocolate.ApolloFederation.ThrowHelper;
+
+namespace HotChocolate.ApolloFederation;
+
+/// <summary>
+/// <code>
+/// directive @contact(
+///   "Contact title of the subgraph owner"
+///   name: String!
+///   "URL where the subgraph's owner can be reached"
+///   url: String
+///   "Other relevant notes can be included here; supports markdown links"
+///   description: String
+/// ) on SCHEMA
+/// </code>
+///
+/// Contact schema directive can be used to provide team contact information to your subgraph schema. This information is automatically parsed and displayed by Apollo Studio.
+/// See <see href="https://www.apollographql.com/docs/graphos/graphs/federated-graphs/#contact-info-for-subgraphs">Subgraph Contact Information</see> for additional details.
+///
+///
+/// <example>
+/// <code>
+/// schema @contact(description : "send urgent issues to [#oncall](https://yourteam.slack.com/archives/oncall).", name : "My Team Name", url : "https://myteam.slack.com/archives/teams-chat-room-url"){
+///   query: Query
+/// }
+/// </code>
+/// </example>
+/// </summary>
+[AttributeUsage(
+    AttributeTargets.Class |
+    AttributeTargets.Struct,
+    Inherited = true)]
+public sealed class ContactAttribute : SchemaTypeDescriptorAttribute
+{
+    /// <summary>
+    /// Initializes new instance of <see cref="ContactAttribute"/>
+    /// </summary>
+    /// <param name="name">
+    /// Contact title of the subgraph owner
+    /// </param>
+    /// <param name="url">
+    /// URL where the subgraph's owner can be reached
+    /// </param>
+    /// <param name="description">
+    /// Other relevant contact notes; supports markdown links
+    /// </param>
+    public ContactAttribute(string name, string? url = null, string? description = null)
+    {
+        Name = name;
+        Url = url;
+        Description = description;
+    }
+
+    /// <summary>
+    /// Gets the contact title of the subgraph owner.
+    /// </summary>
+    public string Name { get; }
+
+    /// <summary>
+    /// Gets the url where the subgraph's owner can be reached.
+    /// </summary>
+    public string? Url { get; }
+
+    /// <summary>
+    /// Gets other relevant notes about subgraph contact information. Can include markdown links.
+    /// </summary>
+    public string? Description { get; }
+
+    public override void OnConfigure(IDescriptorContext context, ISchemaTypeDescriptor descriptor, Type type)
+    {
+        if (string.IsNullOrEmpty(Url))
+        {
+            throw Contact_Name_CannotBeEmpty(type);
+        }
+        descriptor.Contact(Name, Url, Description);
+    }
+}

src/HotChocolate/ApolloFederation/src/ApolloFederation/ExtendServiceTypeAttribute.cs → src/HotChocolate/ApolloFederation/src/ApolloFederation/Configuration/Attributes/ExtendServiceTypeAttribute.cs

@@ -3,9 +3,19 @@
 namespace HotChocolate.ApolloFederation;
 
 /// <summary>
-/// This attribute is used to mark types as an extended type
-/// of a type that is defined by another service when
-/// using apollo federation.
+/// <code>
+/// directive @extends on OBJECT | INTERFACE
+/// </code>
+///
+/// The @extends directive is used to represent type extensions in the schema. Federated extended types should have
+/// corresponding @key directive defined that specifies primary key required to fetch the underlying object.
+/// <example>
+/// # extended from the Users service
+/// type Foo @extends @key(fields: "id") {
+///   id: ID
+///   description: String
+/// }
+/// </example>
 /// </summary>
 [AttributeUsage(
     AttributeTargets.Class |

src/HotChocolate/ApolloFederation/src/ApolloFederation/Configuration/Attributes/ExternalAttribute.cs

@@ -0,0 +1,39 @@
+using System.Reflection;
+using HotChocolate.Types.Descriptors;
+
+namespace HotChocolate.ApolloFederation;
+
+/// <summary>
+/// <code>
+/// # federation v1 definition
+/// directive @external on FIELD_DEFINITION
+///
+/// # federation v2 definition
+/// directive @external on OBJECT | FIELD_DEFINITION
+/// </code>
+///
+/// The @external directive is used to mark a field as owned by another service.
+/// This allows service A to use fields from service B while also knowing at runtime
+/// the types of that field. All the external fields should either be referenced from the @key,
+/// @requires or @provides directives field sets.
+///
+/// Due to the smart merging of entity types, Federation v2 no longer requires @external directive
+/// on @key fields and can be safely omitted from the schema. @external directive is only required
+/// on fields referenced by the @requires and @provides directive.
+///
+/// <example>
+/// type Foo @key(fields: "id") {
+///   id: ID!
+///   remoteField: String @external
+///   localField: String @requires(fields: "remoteField")
+/// }
+/// </example>
+/// </summary>
+public sealed class ExternalAttribute : ObjectFieldDescriptorAttribute
+{
+    protected override void OnConfigure(
+        IDescriptorContext context,
+        IObjectFieldDescriptor descriptor,
+        MemberInfo member)
+        => descriptor.External();
+}

src/HotChocolate/ApolloFederation/src/ApolloFederation/Configuration/Attributes/InaccessibleAttribute.cs

@@ -0,0 +1,103 @@
+using System.Reflection;
+using HotChocolate.Types.Descriptors;
+
+namespace HotChocolate.ApolloFederation;
+
+/// <summary>
+/// <code>
+/// directive @inaccessible on FIELD_DEFINITION
+///  | OBJECT
+///  | INTERFACE
+///  | UNION
+///  | ENUM
+///  | ENUM_VALUE
+///  | SCALAR
+///  | INPUT_OBJECT
+///  | INPUT_FIELD_DEFINITION
+///  | ARGUMENT_DEFINITION
+/// </code>
+///
+/// The @inaccessible directive is used to mark location within schema as inaccessible
+/// from the GraphQL Router. Applying @inaccessible directive on a type is equivalent of applying
+/// it on all type fields.
+///
+/// While @inaccessible fields are not exposed by the router to the clients, they are still available
+/// for query plans and can be referenced from @key and @requires directives. This allows you to not
+/// expose sensitive fields to your clients but still make them available for computations.
+/// Inaccessible can also be used to incrementally add schema elements (e.g. fields) to multiple
+/// subgraphs without breaking composition.
+///
+/// <example>
+/// type Foo @inaccessible {
+///   hiddenId: ID!
+///   hiddenField: String
+/// }
+/// </example>
+/// </summary>
+[AttributeUsage(
+    AttributeTargets.Class
+    | AttributeTargets.Enum
+    | AttributeTargets.Field
+    | AttributeTargets.Interface
+    | AttributeTargets.Method
+    | AttributeTargets.Parameter
+    | AttributeTargets.Property
+    | AttributeTargets.Struct
+)]
+public sealed class InaccessibleAttribute : DescriptorAttribute
+{
+    protected internal override void TryConfigure(
+        IDescriptorContext context,
+        IDescriptor descriptor,
+        ICustomAttributeProvider element)
+    {
+        switch (descriptor)
+        {
+            case IEnumTypeDescriptor enumTypeDescriptor:
+            {
+                enumTypeDescriptor.Inaccessible();
+                break;
+            }
+            case IObjectTypeDescriptor objectFieldDescriptor:
+            {
+                objectFieldDescriptor.Inaccessible();
+                break;
+            }
+            case IObjectFieldDescriptor objectFieldDescriptor:
+            {
+                objectFieldDescriptor.Inaccessible();
+                break;
+            }
+            case IInterfaceTypeDescriptor interfaceTypeDescriptor:
+            {
+                interfaceTypeDescriptor.Inaccessible();
+                break;
+            }
+            case IInterfaceFieldDescriptor interfaceFieldDescriptor:
+            {
+                interfaceFieldDescriptor.Inaccessible();
+                break;
+            }
+            case IInputObjectTypeDescriptor inputObjectTypeDescriptor:
+            {
+                inputObjectTypeDescriptor.Inaccessible();
+                break;
+            }
+            case IInputFieldDescriptor inputFieldDescriptor:
+            {
+                inputFieldDescriptor.Inaccessible();
+                break;
+            }
+            case IUnionTypeDescriptor unionTypeDescriptor:
+            {
+                unionTypeDescriptor.Inaccessible();
+                break;
+            }
+            case IEnumValueDescriptor enumValueDescriptor:
+            {
+                enumValueDescriptor.Inaccessible();
+                break;
+            }
+        }
+    }
+}