MICROSOFT.AUTONOMOUSDEVELOPMENTPLATFORM
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
}
Updated 7 months ago