MICROSOFT.DATALAKEANALYTICS

Account_AddDataLakeStoreAccount

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

Account_AddStorageAccount

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

Account_DeleteDataLakeStoreAccount

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

Account_DeleteStorageAccount

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

Account_GetDataLakeStoreAccount

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

Account_GetStorageAccount

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

Account_ListDataLakeStoreAccounts

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == 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
}

Account_ListStorageAccounts

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == 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
}

Account_UpdateStorageAccount

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

Accounts_CheckNameAvailability

enum_CheckNameAvailabilityParametersType := [ "Microsoft.DataLakeAnalytics/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_CreateDataLakeAnalyticsAccountPropertiesFirewallAllowAzureIps := [ "Enabled", "Disabled" ]
enum_CreateDataLakeAnalyticsAccountPropertiesFirewallState := [ "Enabled", "Disabled" ]
enum_CreateDataLakeAnalyticsAccountPropertiesNewTier := [ "Consumption", "Commitment_100AUHours", "Commitment_500AUHours", "Commitment_1000AUHours", "Commitment_5000AUHours", "Commitment_10000AUHours", "Commitment_50000AUHours", "Commitment_100000AUHours", "Commitment_500000AUHours" ]
enum_CreateOrUpdateComputePolicyPropertiesObjectType := [ "User", "Group", "ServicePrincipal" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.defaultDataLakeStoreAccount == STRING
    input.Body.properties.dataLakeStoreAccounts[_].name == STRING
    input.Body.properties.dataLakeStoreAccounts[_].properties.suffix == STRING
    input.Body.properties.storageAccounts[_].name == STRING
    input.Body.properties.storageAccounts[_].properties.accessKey == STRING
    input.Body.properties.storageAccounts[_].properties.suffix == STRING
    input.Body.properties.computePolicies[_].name == STRING
    input.Body.properties.computePolicies[_].properties.objectId == STRING
    input.Body.properties.computePolicies[_].properties.objectType == enum_CreateOrUpdateComputePolicyPropertiesObjectType[_]
    input.Body.properties.computePolicies[_].properties.maxDegreeOfParallelismPerJob == INTEGER
    input.Body.properties.computePolicies[_].properties.minPriorityPerJob == INTEGER
    input.Body.properties.firewallRules[_].name == STRING
    input.Body.properties.firewallRules[_].properties.startIpAddress == STRING
    input.Body.properties.firewallRules[_].properties.endIpAddress == STRING
    input.Body.properties.firewallState == enum_CreateDataLakeAnalyticsAccountPropertiesFirewallState[_]
    input.Body.properties.firewallAllowAzureIps == enum_CreateDataLakeAnalyticsAccountPropertiesFirewallAllowAzureIps[_]
    input.Body.properties.newTier == enum_CreateDataLakeAnalyticsAccountPropertiesNewTier[_]
    input.Body.properties.maxJobCount == INTEGER
    input.Body.properties.maxDegreeOfParallelism == INTEGER
    input.Body.properties.maxDegreeOfParallelismPerJob == INTEGER
    input.Body.properties.minPriorityPerJob == INTEGER
    input.Body.properties.queryStoreRetention == INTEGER
    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.$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_UpdateComputePolicyPropertiesObjectType := [ "User", "Group", "ServicePrincipal" ]
enum_UpdateDataLakeAnalyticsAccountPropertiesFirewallAllowAzureIps := [ "Enabled", "Disabled" ]
enum_UpdateDataLakeAnalyticsAccountPropertiesFirewallState := [ "Enabled", "Disabled" ]
enum_UpdateDataLakeAnalyticsAccountPropertiesNewTier := [ "Consumption", "Commitment_100AUHours", "Commitment_500AUHours", "Commitment_1000AUHours", "Commitment_5000AUHours", "Commitment_10000AUHours", "Commitment_50000AUHours", "Commitment_100000AUHours", "Commitment_500000AUHours" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.dataLakeStoreAccounts[_].name == STRING
    input.Body.properties.dataLakeStoreAccounts[_].properties.suffix == STRING
    input.Body.properties.storageAccounts[_].name == STRING
    input.Body.properties.storageAccounts[_].properties.accessKey == STRING
    input.Body.properties.storageAccounts[_].properties.suffix == STRING
    input.Body.properties.computePolicies[_].name == STRING
    input.Body.properties.computePolicies[_].properties.objectId == STRING
    input.Body.properties.computePolicies[_].properties.objectType == enum_UpdateComputePolicyPropertiesObjectType[_]
    input.Body.properties.computePolicies[_].properties.maxDegreeOfParallelismPerJob == INTEGER
    input.Body.properties.computePolicies[_].properties.minPriorityPerJob == INTEGER
    input.Body.properties.firewallRules[_].name == STRING
    input.Body.properties.firewallRules[_].properties.startIpAddress == STRING
    input.Body.properties.firewallRules[_].properties.endIpAddress == STRING
    input.Body.properties.firewallState == enum_UpdateDataLakeAnalyticsAccountPropertiesFirewallState[_]
    input.Body.properties.firewallAllowAzureIps == enum_UpdateDataLakeAnalyticsAccountPropertiesFirewallAllowAzureIps[_]
    input.Body.properties.newTier == enum_UpdateDataLakeAnalyticsAccountPropertiesNewTier[_]
    input.Body.properties.maxJobCount == INTEGER
    input.Body.properties.maxDegreeOfParallelism == INTEGER
    input.Body.properties.maxDegreeOfParallelismPerJob == INTEGER
    input.Body.properties.minPriorityPerJob == INTEGER
    input.Body.properties.queryStoreRetention == INTEGER
    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
}

ComputePolicies_CreateOrUpdate

enum_CreateOrUpdateComputePolicyPropertiesObjectType := [ "User", "Group", "ServicePrincipal" ]

valid {
    input.Body.properties.objectId == STRING
    input.Body.properties.objectType == enum_CreateOrUpdateComputePolicyPropertiesObjectType[_]
    input.Body.properties.maxDegreeOfParallelismPerJob == INTEGER
    input.Body.properties.minPriorityPerJob == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.computePolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ComputePolicies_Delete

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

ComputePolicies_Get

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

ComputePolicies_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
}

ComputePolicies_Update

enum_UpdateComputePolicyPropertiesObjectType := [ "User", "Group", "ServicePrincipal" ]

valid {
    input.Body.properties.objectId == STRING
    input.Body.properties.objectType == enum_UpdateComputePolicyPropertiesObjectType[_]
    input.Body.properties.maxDegreeOfParallelismPerJob == INTEGER
    input.Body.properties.minPriorityPerJob == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.computePolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataLakeStoreAccounts_Add

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

DataLakeStoreAccounts_Delete

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

DataLakeStoreAccounts_Get

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

DataLakeStoreAccounts_ListByAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == 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
}

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
}

Operations_List

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

StorageAccounts_Add

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

StorageAccounts_Delete

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

StorageAccounts_Get

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

StorageAccounts_GetStorageContainer

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

StorageAccounts_ListByAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == 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
}

StorageAccounts_ListSasTokens

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

StorageAccounts_ListStorageContainers

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

StorageAccounts_Update

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