Guides

MICROSOFT.AUTONOMOUSDEVELOPMENTPLATFORM

docs.microsoft.com
Azure documentation

Accounts_CheckNameAvailability

enum_AccountCheckNameAvailabilityParametersType := [ "Microsoft.AutonomousDevelopmentPlatform/accounts" ]

valid {
    input.Body.name == STRING
    input.Body.type == enum_AccountCheckNameAvailabilityParametersType[_]
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Accounts_CreateOrUpdate

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

Accounts_Delete

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

Accounts_Get

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

Accounts_List

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

Accounts_ListByResourceGroup

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
}

Accounts_Update

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

DataPools_CreateOrUpdate

enum_storageSkuName := [ "Standard_LRS", "Standard_GRS", "Standard_Ragrs", "Standard_ZRS", "Premium_LRS", "Premium_ZRS", "Standard_Gzrs", "Standard_Ragzrs" ]

valid {
    input.Body.properties.STRING == STRING
    input.Body.properties.locations[_].name == STRING
    input.Body.properties.locations[_].encryption.keyVaultUri == STRING
    input.Body.properties.locations[_].encryption.keyName == STRING
    input.Body.properties.locations[_].encryption.keyVersion == STRING
    input.Body.properties.locations[_].encryption.userAssignedIdentity == STRING
    input.Body.properties.locations[_].storageSku.name == enum_storageSkuName[_]
    input.Body.properties.locations[_].storageAccountCount == INTEGER
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.dataPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataPools_Delete

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

DataPools_Get

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

DataPools_List

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

DataPools_Update

enum_storageSkuName := [ "Standard_LRS", "Standard_GRS", "Standard_Ragrs", "Standard_ZRS", "Premium_LRS", "Premium_ZRS", "Standard_Gzrs", "Standard_Ragzrs" ]

valid {
    input.Body.properties.locations[_].name == STRING
    input.Body.properties.locations[_].encryption.keyVaultUri == STRING
    input.Body.properties.locations[_].encryption.keyName == STRING
    input.Body.properties.locations[_].encryption.keyVersion == STRING
    input.Body.properties.locations[_].encryption.userAssignedIdentity == STRING
    input.Body.properties.locations[_].storageSku.name == enum_storageSkuName[_]
    input.Body.properties.locations[_].storageAccountCount == INTEGER
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.dataPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operations_List

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