enum_ArcAgentProfileAgentAutoUpgrade := [ "Enabled", "Disabled" ]
enum_ConnectedClusterIdentityType := [ "None", "SystemAssigned" ]
enum_ConnectedClusterKind := [ "ProvisionedCluster" ]
enum_ConnectedClusterPropertiesAzureHybridBenefit := [ "True", "False", "NotApplicable" ]
enum_ConnectedClusterPropertiesPrivateLinkState := [ "Enabled", "Disabled" ]
enum_ConnectedClusterProvisioningState := [ "Succeeded", "Failed", "Canceled", "Provisioning", "Updating", "Deleting", "Accepted" ]

valid {
    input.Body.identity.type == enum_ConnectedClusterIdentityType[_]
    input.Body.kind == enum_ConnectedClusterKind[_]
    input.Body.properties.agentPublicKeyCertificate == STRING
    input.Body.properties.provisioningState == enum_ConnectedClusterProvisioningState[_]
    input.Body.properties.distribution == STRING
    input.Body.properties.distributionVersion == STRING
    input.Body.properties.infrastructure == STRING
    input.Body.properties.privateLinkState == enum_ConnectedClusterPropertiesPrivateLinkState[_]
    input.Body.properties.privateLinkScopeResourceId == STRING
    input.Body.properties.azureHybridBenefit == enum_ConnectedClusterPropertiesAzureHybridBenefit[_]
    input.Body.properties.aadProfile.enableAzureRBAC == BOOLEAN
    input.Body.properties.aadProfile.adminGroupObjectIDs[_] == STRING
    input.Body.properties.aadProfile.tenantID == STRING
    input.Body.properties.arcAgentProfile.desiredAgentVersion == STRING
    input.Body.properties.arcAgentProfile.agentAutoUpgrade == enum_ArcAgentProfileAgentAutoUpgrade[_]
    input.Body.properties.arcAgentProfile.systemComponents[_].type == STRING
    input.Body.properties.arcAgentProfile.systemComponents[_].userSpecifiedVersion == STRING
    input.Body.properties.arcAgentProfile.systemComponents[_].majorVersion == INTEGER
    input.Body.properties.arcAgentProfile.agentErrors[_] == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

enum_ListClusterUserCredentialPropertiesAuthenticationMethod := [ "Token", "AAD" ]

valid {
    input.Body.authenticationMethod == enum_ListClusterUserCredentialPropertiesAuthenticationMethod[_]
    input.Body.clientProxy == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_ListClusterUserCredentialsPropertiesAuthenticationMethod := [ "Token", "AAD" ]

valid {
    input.Body.authenticationMethod == enum_ListClusterUserCredentialsPropertiesAuthenticationMethod[_]
    input.Body.clientProxy == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

enum_ConnectedClusterPatchPropertiesAzureHybridBenefit := [ "True", "False", "NotApplicable" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.distribution == STRING
    input.Body.properties.distributionVersion == STRING
    input.Body.properties.azureHybridBenefit == enum_ConnectedClusterPatchPropertiesAzureHybridBenefit[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}