MICROSOFT.VISUALSTUDIO

Accounts_CheckNameAvailability

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

Accounts_CreateOrUpdate

enum_AccountResourceRequestOperationType := [ "unknown", "create", "update", "link" ]

valid {
    input.Body.accountName == STRING
    input.Body.location == STRING
    input.Body.operationType == enum_AccountResourceRequestOperationType[_]
    input.Body.properties.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_Delete

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

Accounts_Get

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

Accounts_ListByResourceGroup

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

Accounts_Update

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

Extensions_Create

valid {
    input.Body.location == STRING
    input.Body.plan.name == STRING
    input.Body.plan.product == STRING
    input.Body.plan.promotionCode == STRING
    input.Body.plan.publisher == STRING
    input.Body.plan.version == STRING
    input.Body.properties.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.accountResourceName == STRING
    input.ReqMap.extensionResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Extensions_Delete

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

Extensions_Get

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

Extensions_ListByAccount

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

Extensions_Update

valid {
    input.Body.location == STRING
    input.Body.plan.name == STRING
    input.Body.plan.product == STRING
    input.Body.plan.promotionCode == STRING
    input.Body.plan.publisher == STRING
    input.Body.plan.version == STRING
    input.Body.properties.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.accountResourceName == STRING
    input.ReqMap.extensionResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operations_List

valid {
    input.ProviderMetadata.Region == STRING
}

PipelineTemplates_List

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

Projects_Create

enum_ApplicationSourceApplicationType := [ "AspDotNet", "AspDotNetCore", "NodeJs" ]
enum_ApplicationSourceSourceType := [ "CodeTemplate", "CodeRepository" ]
enum_ApplicationTargetTargetType := [ "WindowsAppService" ]
enum_AuthorizationAuthorizationType := [ "authorizationToken", "personalAccessToken" ]
enum_ProjectResourceKind := [ "project", "bootstrappedProject" ]
enum_ProjectResourcePropertiesProcessTemplateId := [ "Scrum", "Agile", "Cmmi" ]
enum_ProjectResourcePropertiesVersionControlOption := [ "Git", "Tfvc" ]

valid {
    input.Body.kind == enum_ProjectResourceKind[_]
    input.Body.properties.processTemplateId == enum_ProjectResourcePropertiesProcessTemplateId[_]
    input.Body.properties.versionControlOption == enum_ProjectResourcePropertiesVersionControlOption[_]
    input.Body.properties.ownerUpn == STRING
    input.Body.properties.bootstrapPipelineTemplate.applicationSource.sourceType == enum_ApplicationSourceSourceType[_]
    input.Body.properties.bootstrapPipelineTemplate.applicationSource.applicationType == enum_ApplicationSourceApplicationType[_]
    input.Body.properties.bootstrapPipelineTemplate.applicationSource.applicationConfiguration.STRING == STRING
    input.Body.properties.bootstrapPipelineTemplate.applicationTarget.targetType == enum_ApplicationTargetTargetType[_]
    input.Body.properties.bootstrapPipelineTemplate.applicationTarget.resources[_].id == STRING
    input.Body.properties.bootstrapPipelineTemplate.applicationTarget.resources[_].role == STRING
    input.Body.properties.bootstrapPipelineTemplate.applicationTarget.resources[_].authorizationReference == STRING
    input.Body.properties.bootstrapPipelineTemplate.authorizationDetails.STRING.authorizationType == enum_AuthorizationAuthorizationType[_]
    input.Body.properties.bootstrapPipelineTemplate.authorizationDetails.STRING.parameters.STRING == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.rootResourceName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.validating == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Projects_Get

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

Projects_GetJobStatus

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.rootResourceName == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.subContainerName == STRING
    input.Qs.api-version == STRING
    input.Qs.operation == STRING
    input.Qs.jobId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Projects_ListByResourceGroup

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

Projects_Update

enum_AuthorizationAuthorizationType := [ "authorizationToken", "personalAccessToken" ]
enum_CodeRepositoryRepositoryType := [ "gitHub", "vstsGit" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.pipelineBootstrapConfigurations[_].name == STRING
    input.Body.properties.pipelineBootstrapConfigurations[_].templateId == STRING
    input.Body.properties.pipelineBootstrapConfigurations[_].templateParameters.STRING == STRING
    input.Body.properties.pipelineBootstrapConfigurations[_].repository.repositoryType == enum_CodeRepositoryRepositoryType[_]
    input.Body.properties.pipelineBootstrapConfigurations[_].repository.id == STRING
    input.Body.properties.pipelineBootstrapConfigurations[_].repository.defaultBranch == STRING
    input.Body.properties.pipelineBootstrapConfigurations[_].repository.authorization.authorizationType == enum_AuthorizationAuthorizationType[_]
    input.Body.properties.pipelineBootstrapConfigurations[_].repository.authorization.parameters.STRING == STRING
    input.Body.properties.pipelineBootstrapConfigurations[_].repository.properties.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.rootResourceName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}