valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == 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
}

enum_AcsClusterPropertiesAgentVmSize := [ "Standard_A0", "Standard_A1", "Standard_A2", "Standard_A3", "Standard_A4", "Standard_A5", "Standard_A6", "Standard_A7", "Standard_A8", "Standard_A9", "Standard_A10", "Standard_A11", "Standard_D1", "Standard_D2", "Standard_D3", "Standard_D4", "Standard_D11", "Standard_D12", "Standard_D13", "Standard_D14", "Standard_D1_v2", "Standard_D2_v2", "Standard_D3_v2", "Standard_D4_v2", "Standard_D5_v2", "Standard_D11_v2", "Standard_D12_v2", "Standard_D13_v2", "Standard_D14_v2", "Standard_G1", "Standard_G2", "Standard_G3", "Standard_G4", "Standard_G5", "Standard_DS1", "Standard_DS2", "Standard_DS3", "Standard_DS4", "Standard_DS11", "Standard_DS12", "Standard_DS13", "Standard_DS14", "Standard_GS1", "Standard_GS2", "Standard_GS3", "Standard_GS4", "Standard_GS5" ]
enum_AcsClusterPropertiesOrchestratorType := [ "Kubernetes", "None" ]
enum_AutoScaleConfigurationStatus := [ "Enabled", "Disabled" ]
enum_OperationalizationClusterPropertiesClusterType := [ "ACS", "Local" ]
enum_SslConfigurationStatus := [ "Enabled", "Disabled" ]
enum_SystemServiceSystemServiceType := [ "None", "ScoringFrontEnd", "BatchFrontEnd" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.clusterType == enum_OperationalizationClusterPropertiesClusterType[_]
    input.Body.properties.storageAccount.resourceId == STRING
    input.Body.properties.containerRegistry.resourceId == STRING
    input.Body.properties.containerService.orchestratorType == enum_AcsClusterPropertiesOrchestratorType[_]
    input.Body.properties.containerService.orchestratorProperties.servicePrincipal.clientId == STRING
    input.Body.properties.containerService.orchestratorProperties.servicePrincipal.secret == STRING
    input.Body.properties.containerService.systemServices[_].systemServiceType == enum_SystemServiceSystemServiceType[_]
    input.Body.properties.containerService.masterCount == INTEGER
    input.Body.properties.containerService.agentCount == INTEGER
    input.Body.properties.containerService.agentVmSize == enum_AcsClusterPropertiesAgentVmSize[_]
    input.Body.properties.appInsights.resourceId == STRING
    input.Body.properties.globalServiceConfiguration.etag == STRING
    input.Body.properties.globalServiceConfiguration.ssl.status == enum_SslConfigurationStatus[_]
    input.Body.properties.globalServiceConfiguration.ssl.cert == STRING
    input.Body.properties.globalServiceConfiguration.ssl.key == STRING
    input.Body.properties.globalServiceConfiguration.ssl.cname == STRING
    input.Body.properties.globalServiceConfiguration.serviceAuth.primaryAuthKeyHash == STRING
    input.Body.properties.globalServiceConfiguration.serviceAuth.secondaryAuthKeyHash == STRING
    input.Body.properties.globalServiceConfiguration.autoScale.status == enum_AutoScaleConfigurationStatus[_]
    input.Body.properties.globalServiceConfiguration.autoScale.minReplicas == INTEGER
    input.Body.properties.globalServiceConfiguration.autoScale.maxReplicas == INTEGER
    input.Body.properties.globalServiceConfiguration.autoScale.targetUtilization == NUMBER
    input.Body.properties.globalServiceConfiguration.autoScale.refreshPeriodInSeconds == INTEGER
    input.Body.location == STRING
    input.Body.tags.STRING == 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.Qs.deleteAll == BOOLEAN
    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.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == 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.Body.tags.STRING == 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
}