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

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

enum_AuthorizationAuthorizationType := [ "personalAccessToken" ]
enum_CodeRepositoryRepositoryType := [ "gitHub", "vstsGit" ]
enum_PipelinePropertiesPipelineType := [ "githubWorkflow", "azurePipeline" ]

valid {
    input.Body.properties.pipelineType == enum_PipelinePropertiesPipelineType[_]
    input.Body.properties.bootstrapConfiguration.sourceRepository.repositoryType == enum_CodeRepositoryRepositoryType[_]
    input.Body.properties.bootstrapConfiguration.sourceRepository.id == STRING
    input.Body.properties.bootstrapConfiguration.sourceRepository.defaultBranch == STRING
    input.Body.properties.bootstrapConfiguration.sourceRepository.authorization.authorizationType == enum_AuthorizationAuthorizationType[_]
    input.Body.properties.bootstrapConfiguration.sourceRepository.authorization.parameters.STRING == STRING
    input.Body.properties.bootstrapConfiguration.sourceRepository.properties.STRING == STRING
    input.Body.properties.bootstrapConfiguration.template.id == STRING
    input.Body.properties.bootstrapConfiguration.template.parameters.STRING == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.pipelineName == 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.pipelineName == 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.pipelineName == 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
}

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