MICROSOFT.HDINSIGHT

Applications_Create

enum_AutoscaleScheduleDays := [ "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday" ]
enum_IPConfigurationPropertiesPrivateIPAllocationMethod := [ "dynamic", "static" ]

valid {
    input.Body.etag == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.computeProfile.roles[_].name == STRING
    input.Body.properties.computeProfile.roles[_].minInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].targetInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].VMGroupName == STRING
    input.Body.properties.computeProfile.roles[_].autoscale.capacity.minInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].autoscale.capacity.maxInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.timeZone == STRING
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].days[_] == enum_AutoscaleScheduleDays[_]
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].timeAndCapacity.time == STRING
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].timeAndCapacity.minInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].timeAndCapacity.maxInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].hardwareProfile.vmSize == STRING
    input.Body.properties.computeProfile.roles[_].osProfile.linuxOperatingSystemProfile.username == STRING
    input.Body.properties.computeProfile.roles[_].osProfile.linuxOperatingSystemProfile.password == STRING
    input.Body.properties.computeProfile.roles[_].osProfile.linuxOperatingSystemProfile.sshProfile.publicKeys[_].certificateData == STRING
    input.Body.properties.computeProfile.roles[_].virtualNetworkProfile.id == STRING
    input.Body.properties.computeProfile.roles[_].virtualNetworkProfile.subnet == STRING
    input.Body.properties.computeProfile.roles[_].dataDisksGroups[_].disksPerNode == INTEGER
    input.Body.properties.computeProfile.roles[_].scriptActions[_].name == STRING
    input.Body.properties.computeProfile.roles[_].scriptActions[_].uri == STRING
    input.Body.properties.computeProfile.roles[_].scriptActions[_].parameters == STRING
    input.Body.properties.computeProfile.roles[_].encryptDataDisks == BOOLEAN
    input.Body.properties.installScriptActions[_].name == STRING
    input.Body.properties.installScriptActions[_].uri == STRING
    input.Body.properties.installScriptActions[_].parameters == STRING
    input.Body.properties.installScriptActions[_].roles[_] == STRING
    input.Body.properties.uninstallScriptActions[_].name == STRING
    input.Body.properties.uninstallScriptActions[_].uri == STRING
    input.Body.properties.uninstallScriptActions[_].parameters == STRING
    input.Body.properties.uninstallScriptActions[_].roles[_] == STRING
    input.Body.properties.httpsEndpoints[_].accessModes[_] == STRING
    input.Body.properties.httpsEndpoints[_].destinationPort == INTEGER
    input.Body.properties.httpsEndpoints[_].privateIPAddress == STRING
    input.Body.properties.httpsEndpoints[_].subDomainSuffix == STRING
    input.Body.properties.httpsEndpoints[_].disableGatewayAuth == BOOLEAN
    input.Body.properties.sshEndpoints[_].location == STRING
    input.Body.properties.sshEndpoints[_].destinationPort == INTEGER
    input.Body.properties.sshEndpoints[_].publicPort == INTEGER
    input.Body.properties.sshEndpoints[_].privateIPAddress == STRING
    input.Body.properties.applicationType == STRING
    input.Body.properties.errors[_].code == STRING
    input.Body.properties.errors[_].message == STRING
    input.Body.properties.privateLinkConfigurations[_].name == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.groupId == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].name == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.primary == BOOLEAN
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.privateIPAddress == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.privateIPAllocationMethod == enum_IPConfigurationPropertiesPrivateIPAllocationMethod[_]
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.subnet.id == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.applicationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Applications_Delete

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

Applications_Get

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

Applications_GetAzureAsyncOperationStatus

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

Applications_ListByCluster

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

Clusters_Create

enum_AutoscaleScheduleDays := [ "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday" ]
enum_ClusterCreatePropertiesOsType := [ "Windows", "Linux" ]
enum_ClusterCreatePropertiesTier := [ "Standard", "Premium" ]
enum_ClusterIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_DiskEncryptionPropertiesEncryptionAlgorithm := [ "RSA-OAEP", "RSA-OAEP-256", "RSA1_5" ]
enum_IPConfigurationPropertiesPrivateIPAllocationMethod := [ "dynamic", "static" ]
enum_NetworkPropertiesOutboundDependenciesManagedType := [ "Managed", "External" ]
enum_NetworkPropertiesPrivateLink := [ "Disabled", "Enabled" ]
enum_NetworkPropertiesResourceProviderConnection := [ "Inbound", "Outbound" ]
enum_SecurityProfileDirectoryType := [ "ActiveDirectory" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.zones[_] == STRING
    input.Body.properties.clusterVersion == STRING
    input.Body.properties.osType == enum_ClusterCreatePropertiesOsType[_]
    input.Body.properties.tier == enum_ClusterCreatePropertiesTier[_]
    input.Body.properties.clusterDefinition.blueprint == STRING
    input.Body.properties.clusterDefinition.kind == STRING
    input.Body.properties.clusterDefinition.componentVersion.STRING == STRING
    input.Body.properties.clusterDefinition.configurations.STRING == STRING
    input.Body.properties.kafkaRestProperties.clientGroupInfo.groupName == STRING
    input.Body.properties.kafkaRestProperties.clientGroupInfo.groupId == STRING
    input.Body.properties.kafkaRestProperties.configurationOverride.STRING == STRING
    input.Body.properties.securityProfile.directoryType == enum_SecurityProfileDirectoryType[_]
    input.Body.properties.securityProfile.domain == STRING
    input.Body.properties.securityProfile.organizationalUnitDN == STRING
    input.Body.properties.securityProfile.ldapsUrls[_] == STRING
    input.Body.properties.securityProfile.domainUsername == STRING
    input.Body.properties.securityProfile.domainUserPassword == STRING
    input.Body.properties.securityProfile.clusterUsersGroupDNs[_] == STRING
    input.Body.properties.securityProfile.aaddsResourceId == STRING
    input.Body.properties.securityProfile.msiResourceId == STRING
    input.Body.properties.computeProfile.roles[_].name == STRING
    input.Body.properties.computeProfile.roles[_].minInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].targetInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].VMGroupName == STRING
    input.Body.properties.computeProfile.roles[_].autoscale.capacity.minInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].autoscale.capacity.maxInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.timeZone == STRING
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].days[_] == enum_AutoscaleScheduleDays[_]
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].timeAndCapacity.time == STRING
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].timeAndCapacity.minInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].timeAndCapacity.maxInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].hardwareProfile.vmSize == STRING
    input.Body.properties.computeProfile.roles[_].osProfile.linuxOperatingSystemProfile.username == STRING
    input.Body.properties.computeProfile.roles[_].osProfile.linuxOperatingSystemProfile.password == STRING
    input.Body.properties.computeProfile.roles[_].osProfile.linuxOperatingSystemProfile.sshProfile.publicKeys[_].certificateData == STRING
    input.Body.properties.computeProfile.roles[_].virtualNetworkProfile.id == STRING
    input.Body.properties.computeProfile.roles[_].virtualNetworkProfile.subnet == STRING
    input.Body.properties.computeProfile.roles[_].dataDisksGroups[_].disksPerNode == INTEGER
    input.Body.properties.computeProfile.roles[_].scriptActions[_].name == STRING
    input.Body.properties.computeProfile.roles[_].scriptActions[_].uri == STRING
    input.Body.properties.computeProfile.roles[_].scriptActions[_].parameters == STRING
    input.Body.properties.computeProfile.roles[_].encryptDataDisks == BOOLEAN
    input.Body.properties.storageProfile.storageaccounts[_].name == STRING
    input.Body.properties.storageProfile.storageaccounts[_].isDefault == BOOLEAN
    input.Body.properties.storageProfile.storageaccounts[_].container == STRING
    input.Body.properties.storageProfile.storageaccounts[_].fileSystem == STRING
    input.Body.properties.storageProfile.storageaccounts[_].key == STRING
    input.Body.properties.storageProfile.storageaccounts[_].resourceId == STRING
    input.Body.properties.storageProfile.storageaccounts[_].msiResourceId == STRING
    input.Body.properties.storageProfile.storageaccounts[_].saskey == STRING
    input.Body.properties.storageProfile.storageaccounts[_].fileshare == STRING
    input.Body.properties.storageProfile.storageaccounts[_].enableSecureChannel == BOOLEAN
    input.Body.properties.diskEncryptionProperties.vaultUri == STRING
    input.Body.properties.diskEncryptionProperties.keyName == STRING
    input.Body.properties.diskEncryptionProperties.keyVersion == STRING
    input.Body.properties.diskEncryptionProperties.encryptionAlgorithm == enum_DiskEncryptionPropertiesEncryptionAlgorithm[_]
    input.Body.properties.diskEncryptionProperties.msiResourceId == STRING
    input.Body.properties.diskEncryptionProperties.encryptionAtHost == BOOLEAN
    input.Body.properties.encryptionInTransitProperties.isEncryptionInTransitEnabled == BOOLEAN
    input.Body.properties.minSupportedTlsVersion == STRING
    input.Body.properties.networkProperties.outboundDependenciesManagedType == enum_NetworkPropertiesOutboundDependenciesManagedType[_]
    input.Body.properties.networkProperties.resourceProviderConnection == enum_NetworkPropertiesResourceProviderConnection[_]
    input.Body.properties.networkProperties.privateLink == enum_NetworkPropertiesPrivateLink[_]
    input.Body.properties.computeIsolationProperties.enableComputeIsolation == BOOLEAN
    input.Body.properties.computeIsolationProperties.hostSku == STRING
    input.Body.properties.privateLinkConfigurations[_].name == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.groupId == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].name == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.primary == BOOLEAN
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.privateIPAddress == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.privateIPAllocationMethod == enum_IPConfigurationPropertiesPrivateIPAllocationMethod[_]
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.subnet.id == STRING
    input.Body.identity.type == enum_ClusterIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING.tenantId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_Delete

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

Clusters_ExecuteScriptActions

valid {
    input.Body.scriptActions[_].name == STRING
    input.Body.scriptActions[_].uri == STRING
    input.Body.scriptActions[_].parameters == STRING
    input.Body.scriptActions[_].roles[_] == STRING
    input.Body.persistOnSuccess == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_Get

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

Clusters_GetAzureAsyncOperationStatus

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

Clusters_GetGatewaySettings

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

Clusters_List

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

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

Clusters_Resize

enum_RoleNameParameter := [ "workernode" ]

valid {
    input.Body.targetInstanceCount == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.roleName == enum_RoleNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_RotateDiskEncryptionKey

valid {
    input.Body.vaultUri == STRING
    input.Body.keyName == STRING
    input.Body.keyVersion == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_Update

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

Clusters_UpdateAutoScaleConfiguration

enum_AutoscaleScheduleDays := [ "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday" ]
enum_RoleNameParameter := [ "workernode" ]

valid {
    input.Body.autoscale.capacity.minInstanceCount == INTEGER
    input.Body.autoscale.capacity.maxInstanceCount == INTEGER
    input.Body.autoscale.recurrence.timeZone == STRING
    input.Body.autoscale.recurrence.schedule[_].days[_] == enum_AutoscaleScheduleDays[_]
    input.Body.autoscale.recurrence.schedule[_].timeAndCapacity.time == STRING
    input.Body.autoscale.recurrence.schedule[_].timeAndCapacity.minInstanceCount == INTEGER
    input.Body.autoscale.recurrence.schedule[_].timeAndCapacity.maxInstanceCount == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.roleName == enum_RoleNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_UpdateGatewaySettings

valid {
    input.Body.restAuthCredential.isEnabled == BOOLEAN
    input.Body.restAuthCredential.username == STRING
    input.Body.restAuthCredential.password == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_UpdateIdentityCertificate

valid {
    input.Body.applicationId == STRING
    input.Body.certificate == STRING
    input.Body.certificatePassword == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Configurations_Get

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

Configurations_List

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

Configurations_Update

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

Extensions_Create

valid {
    input.Body.workspaceId == STRING
    input.Body.primaryKey == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.extensionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Extensions_Delete

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

Extensions_DisableAzureMonitor

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

Extensions_DisableMonitoring

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

Extensions_EnableAzureMonitor

valid {
    input.Body.workspaceId == STRING
    input.Body.primaryKey == STRING
    input.Body.selectedConfigurations.configurationVersion == STRING
    input.Body.selectedConfigurations.globalConfigurations.STRING == STRING
    input.Body.selectedConfigurations.tableList[_].name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Extensions_EnableMonitoring

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

Extensions_Get

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

Extensions_GetAzureAsyncOperationStatus

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

Extensions_GetAzureMonitorStatus

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

Extensions_GetMonitoringStatus

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

Locations_CheckNameAvailability

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

Locations_GetAzureAsyncOperationStatus

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

Locations_GetCapabilities

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

Locations_ListBillingSpecs

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

Locations_ListUsages

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

Locations_ValidateClusterCreateRequest

enum_AutoscaleScheduleDays := [ "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday" ]
enum_ClusterCreatePropertiesOsType := [ "Windows", "Linux" ]
enum_ClusterCreatePropertiesTier := [ "Standard", "Premium" ]
enum_ClusterIdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_DiskEncryptionPropertiesEncryptionAlgorithm := [ "RSA-OAEP", "RSA-OAEP-256", "RSA1_5" ]
enum_IPConfigurationPropertiesPrivateIPAllocationMethod := [ "dynamic", "static" ]
enum_NetworkPropertiesOutboundDependenciesManagedType := [ "Managed", "External" ]
enum_NetworkPropertiesPrivateLink := [ "Disabled", "Enabled" ]
enum_NetworkPropertiesResourceProviderConnection := [ "Inbound", "Outbound" ]
enum_SecurityProfileDirectoryType := [ "ActiveDirectory" ]

valid {
    input.Body.name == STRING
    input.Body.type == STRING
    input.Body.tenantId == STRING
    input.Body.fetchAaddsResource == BOOLEAN
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.zones[_] == STRING
    input.Body.properties.clusterVersion == STRING
    input.Body.properties.osType == enum_ClusterCreatePropertiesOsType[_]
    input.Body.properties.tier == enum_ClusterCreatePropertiesTier[_]
    input.Body.properties.clusterDefinition.blueprint == STRING
    input.Body.properties.clusterDefinition.kind == STRING
    input.Body.properties.clusterDefinition.componentVersion.STRING == STRING
    input.Body.properties.clusterDefinition.configurations.STRING == STRING
    input.Body.properties.kafkaRestProperties.clientGroupInfo.groupName == STRING
    input.Body.properties.kafkaRestProperties.clientGroupInfo.groupId == STRING
    input.Body.properties.kafkaRestProperties.configurationOverride.STRING == STRING
    input.Body.properties.securityProfile.directoryType == enum_SecurityProfileDirectoryType[_]
    input.Body.properties.securityProfile.domain == STRING
    input.Body.properties.securityProfile.organizationalUnitDN == STRING
    input.Body.properties.securityProfile.ldapsUrls[_] == STRING
    input.Body.properties.securityProfile.domainUsername == STRING
    input.Body.properties.securityProfile.domainUserPassword == STRING
    input.Body.properties.securityProfile.clusterUsersGroupDNs[_] == STRING
    input.Body.properties.securityProfile.aaddsResourceId == STRING
    input.Body.properties.securityProfile.msiResourceId == STRING
    input.Body.properties.computeProfile.roles[_].name == STRING
    input.Body.properties.computeProfile.roles[_].minInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].targetInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].VMGroupName == STRING
    input.Body.properties.computeProfile.roles[_].autoscale.capacity.minInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].autoscale.capacity.maxInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.timeZone == STRING
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].days[_] == enum_AutoscaleScheduleDays[_]
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].timeAndCapacity.time == STRING
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].timeAndCapacity.minInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].autoscale.recurrence.schedule[_].timeAndCapacity.maxInstanceCount == INTEGER
    input.Body.properties.computeProfile.roles[_].hardwareProfile.vmSize == STRING
    input.Body.properties.computeProfile.roles[_].osProfile.linuxOperatingSystemProfile.username == STRING
    input.Body.properties.computeProfile.roles[_].osProfile.linuxOperatingSystemProfile.password == STRING
    input.Body.properties.computeProfile.roles[_].osProfile.linuxOperatingSystemProfile.sshProfile.publicKeys[_].certificateData == STRING
    input.Body.properties.computeProfile.roles[_].virtualNetworkProfile.id == STRING
    input.Body.properties.computeProfile.roles[_].virtualNetworkProfile.subnet == STRING
    input.Body.properties.computeProfile.roles[_].dataDisksGroups[_].disksPerNode == INTEGER
    input.Body.properties.computeProfile.roles[_].scriptActions[_].name == STRING
    input.Body.properties.computeProfile.roles[_].scriptActions[_].uri == STRING
    input.Body.properties.computeProfile.roles[_].scriptActions[_].parameters == STRING
    input.Body.properties.computeProfile.roles[_].encryptDataDisks == BOOLEAN
    input.Body.properties.storageProfile.storageaccounts[_].name == STRING
    input.Body.properties.storageProfile.storageaccounts[_].isDefault == BOOLEAN
    input.Body.properties.storageProfile.storageaccounts[_].container == STRING
    input.Body.properties.storageProfile.storageaccounts[_].fileSystem == STRING
    input.Body.properties.storageProfile.storageaccounts[_].key == STRING
    input.Body.properties.storageProfile.storageaccounts[_].resourceId == STRING
    input.Body.properties.storageProfile.storageaccounts[_].msiResourceId == STRING
    input.Body.properties.storageProfile.storageaccounts[_].saskey == STRING
    input.Body.properties.storageProfile.storageaccounts[_].fileshare == STRING
    input.Body.properties.storageProfile.storageaccounts[_].enableSecureChannel == BOOLEAN
    input.Body.properties.diskEncryptionProperties.vaultUri == STRING
    input.Body.properties.diskEncryptionProperties.keyName == STRING
    input.Body.properties.diskEncryptionProperties.keyVersion == STRING
    input.Body.properties.diskEncryptionProperties.encryptionAlgorithm == enum_DiskEncryptionPropertiesEncryptionAlgorithm[_]
    input.Body.properties.diskEncryptionProperties.msiResourceId == STRING
    input.Body.properties.diskEncryptionProperties.encryptionAtHost == BOOLEAN
    input.Body.properties.encryptionInTransitProperties.isEncryptionInTransitEnabled == BOOLEAN
    input.Body.properties.minSupportedTlsVersion == STRING
    input.Body.properties.networkProperties.outboundDependenciesManagedType == enum_NetworkPropertiesOutboundDependenciesManagedType[_]
    input.Body.properties.networkProperties.resourceProviderConnection == enum_NetworkPropertiesResourceProviderConnection[_]
    input.Body.properties.networkProperties.privateLink == enum_NetworkPropertiesPrivateLink[_]
    input.Body.properties.computeIsolationProperties.enableComputeIsolation == BOOLEAN
    input.Body.properties.computeIsolationProperties.hostSku == STRING
    input.Body.properties.privateLinkConfigurations[_].name == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.groupId == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].name == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.primary == BOOLEAN
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.privateIPAddress == STRING
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.privateIPAllocationMethod == enum_IPConfigurationPropertiesPrivateIPAllocationMethod[_]
    input.Body.properties.privateLinkConfigurations[_].properties.ipConfigurations[_].properties.subnet.id == STRING
    input.Body.identity.type == enum_ClusterIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING.tenantId == STRING
    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
}

PrivateEndpointConnections_CreateOrUpdate

enum_PrivateLinkServiceConnectionStateStatus := [ "Approved", "Rejected", "Pending", "Removed" ]

valid {
    input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateLinkServiceConnectionStateStatus[_]
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_Delete

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

PrivateEndpointConnections_Get

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

PrivateEndpointConnections_ListByCluster

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

PrivateLinkResources_Get

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

PrivateLinkResources_ListByCluster

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

ScriptActions_Delete

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

ScriptActions_GetExecutionAsyncOperationStatus

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

ScriptActions_GetExecutionDetail

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

ScriptActions_ListByCluster

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

ScriptExecutionHistory_ListByCluster

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

ScriptExecutionHistory_Promote

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

VirtualMachines_GetAsyncOperationStatus

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

VirtualMachines_ListHosts

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

VirtualMachines_RestartHosts

valid {
    input.Body[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}