enum_DockerfileGenerationMode := [ "enabled", "disabled" ]
enum_GenerationLanguage := [ "clojure", "csharp", "erlang", "go", "gomodule", "gradle", "java", "javascript", "php", "python", "ruby", "rust", "swift" ]
enum_GenerationManifestType := [ "helm", "kube" ]
enum_ManifestGenerationMode := [ "enabled", "disabled" ]

valid {
    input.Body.generationLanguage == enum_GenerationLanguage[_]
    input.Body.languageVersion == STRING
    input.Body.builderVersion == STRING
    input.Body.port == STRING
    input.Body.appName == STRING
    input.Body.dockerfileOutputDirectory == STRING
    input.Body.manifestOutputDirectory == STRING
    input.Body.dockerfileGenerationMode == enum_DockerfileGenerationMode[_]
    input.Body.manifestGenerationMode == enum_ManifestGenerationMode[_]
    input.Body.manifestType == enum_GenerationManifestType[_]
    input.Body.imageName == STRING
    input.Body.namespace == STRING
    input.Body.imageTag == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

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

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

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

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

enum_DockerfileGenerationMode := [ "enabled", "disabled" ]
enum_GenerationLanguage := [ "clojure", "csharp", "erlang", "go", "gomodule", "gradle", "java", "javascript", "php", "python", "ruby", "rust", "swift" ]
enum_GenerationManifestType := [ "helm", "kube" ]
enum_ManifestGenerationMode := [ "enabled", "disabled" ]
enum_ManifestType := [ "helm", "kube", "kustomize" ]
enum_WorkflowRunStatus := [ "queued", "inprogress", "completed" ]

valid {
    input.Body.properties.githubWorkflowProfile.repositoryOwner == STRING
    input.Body.properties.githubWorkflowProfile.repositoryName == STRING
    input.Body.properties.githubWorkflowProfile.branchName == STRING
    input.Body.properties.githubWorkflowProfile.dockerfile == STRING
    input.Body.properties.githubWorkflowProfile.dockerBuildContext == STRING
    input.Body.properties.githubWorkflowProfile.deploymentProperties.manifestType == enum_ManifestType[_]
    input.Body.properties.githubWorkflowProfile.deploymentProperties.kubeManifestLocations[_] == STRING
    input.Body.properties.githubWorkflowProfile.deploymentProperties.helmChartPath == STRING
    input.Body.properties.githubWorkflowProfile.deploymentProperties.helmValues == STRING
    input.Body.properties.githubWorkflowProfile.deploymentProperties.overrides.STRING == STRING
    input.Body.properties.githubWorkflowProfile.namespace == STRING
    input.Body.properties.githubWorkflowProfile.acr.acrSubscriptionId == STRING
    input.Body.properties.githubWorkflowProfile.acr.acrResourceGroup == STRING
    input.Body.properties.githubWorkflowProfile.acr.acrRegistryName == STRING
    input.Body.properties.githubWorkflowProfile.acr.acrRepositoryName == STRING
    input.Body.properties.githubWorkflowProfile.oidcCredentials.azureClientId == STRING
    input.Body.properties.githubWorkflowProfile.oidcCredentials.azureTenantId == STRING
    input.Body.properties.githubWorkflowProfile.aksResourceId == STRING
    input.Body.properties.githubWorkflowProfile.lastWorkflowRun.workflowRunStatus == enum_WorkflowRunStatus[_]
    input.Body.properties.artifactGenerationProperties.generationLanguage == enum_GenerationLanguage[_]
    input.Body.properties.artifactGenerationProperties.languageVersion == STRING
    input.Body.properties.artifactGenerationProperties.builderVersion == STRING
    input.Body.properties.artifactGenerationProperties.port == STRING
    input.Body.properties.artifactGenerationProperties.appName == STRING
    input.Body.properties.artifactGenerationProperties.dockerfileOutputDirectory == STRING
    input.Body.properties.artifactGenerationProperties.manifestOutputDirectory == STRING
    input.Body.properties.artifactGenerationProperties.dockerfileGenerationMode == enum_DockerfileGenerationMode[_]
    input.Body.properties.artifactGenerationProperties.manifestGenerationMode == enum_ManifestGenerationMode[_]
    input.Body.properties.artifactGenerationProperties.manifestType == enum_GenerationManifestType[_]
    input.Body.properties.artifactGenerationProperties.imageName == STRING
    input.Body.properties.artifactGenerationProperties.namespace == STRING
    input.Body.properties.artifactGenerationProperties.imageTag == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workflowName == 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.workflowName == 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.workflowName == 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
}

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