MICROSOFT.DATALAKESTORE

Account_Create

enum_DataLakeStoreAccountPropertiesEncryptionState := [ "Enabled", "Disabled" ]
enum_EncryptionConfigType := [ "UserManaged", "ServiceManaged" ]
enum_EncryptionIdentityType := [ "SystemAssigned" ]

valid {
    input.Body.location == STRING
    input.Body.name == STRING
    input.Body.identity.type == enum_EncryptionIdentityType[_]
    input.Body.tags.STRING == STRING
    input.Body.properties.encryptionState == enum_DataLakeStoreAccountPropertiesEncryptionState[_]
    input.Body.properties.encryptionConfig.type == enum_EncryptionConfigType[_]
    input.Body.properties.encryptionConfig.keyVaultMetaInfo.keyVaultResourceId == STRING
    input.Body.properties.encryptionConfig.keyVaultMetaInfo.encryptionKeyName == STRING
    input.Body.properties.encryptionConfig.keyVaultMetaInfo.encryptionKeyVersion == STRING
    input.Body.properties.endpoint == STRING
    input.Body.properties.defaultGroup == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Account_CreateOrUpdateFirewallRule

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

Account_Update

enum_DataLakeStoreAccountPropertiesEncryptionState := [ "Enabled", "Disabled" ]
enum_EncryptionConfigType := [ "UserManaged", "ServiceManaged" ]
enum_EncryptionIdentityType := [ "SystemAssigned" ]

valid {
    input.Body.location == STRING
    input.Body.name == STRING
    input.Body.identity.type == enum_EncryptionIdentityType[_]
    input.Body.tags.STRING == STRING
    input.Body.properties.encryptionState == enum_DataLakeStoreAccountPropertiesEncryptionState[_]
    input.Body.properties.encryptionConfig.type == enum_EncryptionConfigType[_]
    input.Body.properties.encryptionConfig.keyVaultMetaInfo.keyVaultResourceId == STRING
    input.Body.properties.encryptionConfig.keyVaultMetaInfo.encryptionKeyName == STRING
    input.Body.properties.encryptionConfig.keyVaultMetaInfo.encryptionKeyVersion == STRING
    input.Body.properties.endpoint == STRING
    input.Body.properties.defaultGroup == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_CheckNameAvailability

enum_CheckNameAvailabilityParametersType := [ "Microsoft.DataLakeStore/accounts" ]

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

Accounts_Create

enum_CreateDataLakeStoreAccountPropertiesEncryptionState := [ "Enabled", "Disabled" ]
enum_CreateDataLakeStoreAccountPropertiesFirewallAllowAzureIps := [ "Enabled", "Disabled" ]
enum_CreateDataLakeStoreAccountPropertiesFirewallState := [ "Enabled", "Disabled" ]
enum_CreateDataLakeStoreAccountPropertiesNewTier := [ "Consumption", "Commitment_1TB", "Commitment_10TB", "Commitment_100TB", "Commitment_500TB", "Commitment_1PB", "Commitment_5PB" ]
enum_CreateDataLakeStoreAccountPropertiesTrustedIdProviderState := [ "Enabled", "Disabled" ]
enum_EncryptionConfigType := [ "UserManaged", "ServiceManaged" ]
enum_EncryptionIdentityType := [ "SystemAssigned" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_EncryptionIdentityType[_]
    input.Body.properties.defaultGroup == STRING
    input.Body.properties.encryptionConfig.type == enum_EncryptionConfigType[_]
    input.Body.properties.encryptionConfig.keyVaultMetaInfo.keyVaultResourceId == STRING
    input.Body.properties.encryptionConfig.keyVaultMetaInfo.encryptionKeyName == STRING
    input.Body.properties.encryptionConfig.keyVaultMetaInfo.encryptionKeyVersion == STRING
    input.Body.properties.encryptionState == enum_CreateDataLakeStoreAccountPropertiesEncryptionState[_]
    input.Body.properties.firewallRules[_].name == STRING
    input.Body.properties.firewallRules[_].properties.startIpAddress == STRING
    input.Body.properties.firewallRules[_].properties.endIpAddress == STRING
    input.Body.properties.virtualNetworkRules[_].name == STRING
    input.Body.properties.virtualNetworkRules[_].properties.subnetId == STRING
    input.Body.properties.firewallState == enum_CreateDataLakeStoreAccountPropertiesFirewallState[_]
    input.Body.properties.firewallAllowAzureIps == enum_CreateDataLakeStoreAccountPropertiesFirewallAllowAzureIps[_]
    input.Body.properties.trustedIdProviders[_].name == STRING
    input.Body.properties.trustedIdProviders[_].properties.idProvider == STRING
    input.Body.properties.trustedIdProviderState == enum_CreateDataLakeStoreAccountPropertiesTrustedIdProviderState[_]
    input.Body.properties.newTier == enum_CreateDataLakeStoreAccountPropertiesNewTier[_]
    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_EnableKeyVault

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.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == INTEGER
    input.Qs.$select == STRING
    input.Qs.$orderby == STRING
    input.Qs.$count == BOOLEAN
    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.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skip == INTEGER
    input.Qs.$select == STRING
    input.Qs.$orderby == STRING
    input.Qs.$count == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_Update

enum_UpdateDataLakeStoreAccountPropertiesFirewallAllowAzureIps := [ "Enabled", "Disabled" ]
enum_UpdateDataLakeStoreAccountPropertiesFirewallState := [ "Enabled", "Disabled" ]
enum_UpdateDataLakeStoreAccountPropertiesNewTier := [ "Consumption", "Commitment_1TB", "Commitment_10TB", "Commitment_100TB", "Commitment_500TB", "Commitment_1PB", "Commitment_5PB" ]
enum_UpdateDataLakeStoreAccountPropertiesTrustedIdProviderState := [ "Enabled", "Disabled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.defaultGroup == STRING
    input.Body.properties.encryptionConfig.keyVaultMetaInfo.encryptionKeyVersion == STRING
    input.Body.properties.firewallRules[_].name == STRING
    input.Body.properties.firewallRules[_].properties.startIpAddress == STRING
    input.Body.properties.firewallRules[_].properties.endIpAddress == STRING
    input.Body.properties.virtualNetworkRules[_].name == STRING
    input.Body.properties.virtualNetworkRules[_].properties.subnetId == STRING
    input.Body.properties.firewallState == enum_UpdateDataLakeStoreAccountPropertiesFirewallState[_]
    input.Body.properties.firewallAllowAzureIps == enum_UpdateDataLakeStoreAccountPropertiesFirewallAllowAzureIps[_]
    input.Body.properties.trustedIdProviders[_].name == STRING
    input.Body.properties.trustedIdProviders[_].properties.idProvider == STRING
    input.Body.properties.trustedIdProviderState == enum_UpdateDataLakeStoreAccountPropertiesTrustedIdProviderState[_]
    input.Body.properties.newTier == enum_UpdateDataLakeStoreAccountPropertiesNewTier[_]
    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
}

FirewallRules_CreateOrUpdate

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

FirewallRules_Delete

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

FirewallRules_Get

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

FirewallRules_ListByAccount

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
}

FirewallRules_Update

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

Locations_GetCapability

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

Locations_GetUsage

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

Operations_List

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

TrustedIdProviders_CreateOrUpdate

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

TrustedIdProviders_Delete

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

TrustedIdProviders_Get

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

TrustedIdProviders_ListByAccount

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
}

TrustedIdProviders_Update

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

VirtualNetworkRules_CreateOrUpdate

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

VirtualNetworkRules_Delete

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

VirtualNetworkRules_Get

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

VirtualNetworkRules_ListByAccount

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
}

VirtualNetworkRules_Update

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