MICROSOFT.BATCH

Suggest Edits
docs.microsoft.com
Azure documentation

ApplicationPackage_Activate

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

ApplicationPackage_Create

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

ApplicationPackage_Delete

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

ApplicationPackage_Get

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

ApplicationPackage_List

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

Application_Create

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.allowUpdates == BOOLEAN
    input.Body.properties.defaultVersion == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.applicationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Application_Delete

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

Application_Get

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

Application_List

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

Application_Update

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.allowUpdates == BOOLEAN
    input.Body.properties.defaultVersion == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.applicationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BatchAccount_Create

enum_AuthenticationMode := [ "SharedKey", "AAD", "TaskAuthenticationToken" ]
enum_AutoStorageBasePropertiesAuthenticationMode := [ "StorageKeys", "BatchAccountManagedIdentity" ]
enum_BatchAccountIdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_EncryptionPropertiesKeySource := [ "Microsoft.Batch", "Microsoft.KeyVault" ]
enum_EndpointAccessProfileDefaultAction := [ "Allow", "Deny" ]
enum_IPRuleAction := [ "Allow" ]
enum_PoolAllocationMode := [ "BatchService", "UserSubscription" ]
enum_PublicNetworkAccessType := [ "Enabled", "Disabled" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.autoStorage.storageAccountId == STRING
    input.Body.properties.autoStorage.authenticationMode == enum_AutoStorageBasePropertiesAuthenticationMode[_]
    input.Body.properties.autoStorage.nodeIdentityReference.resourceId == STRING
    input.Body.properties.poolAllocationMode == enum_PoolAllocationMode[_]
    input.Body.properties.keyVaultReference.id == STRING
    input.Body.properties.keyVaultReference.url == STRING
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccessType[_]
    input.Body.properties.networkProfile.accountAccess.defaultAction == enum_EndpointAccessProfileDefaultAction[_]
    input.Body.properties.networkProfile.accountAccess.ipRules[_].action == enum_IPRuleAction[_]
    input.Body.properties.networkProfile.accountAccess.ipRules[_].value == STRING
    input.Body.properties.networkProfile.nodeManagementAccess.defaultAction == enum_EndpointAccessProfileDefaultAction[_]
    input.Body.properties.networkProfile.nodeManagementAccess.ipRules[_].action == enum_IPRuleAction[_]
    input.Body.properties.networkProfile.nodeManagementAccess.ipRules[_].value == STRING
    input.Body.properties.encryption.keySource == enum_EncryptionPropertiesKeySource[_]
    input.Body.properties.encryption.keyVaultProperties.keyIdentifier == STRING
    input.Body.properties.allowedAuthenticationModes[_] == enum_AuthenticationMode[_]
    input.Body.identity.type == enum_BatchAccountIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BatchAccount_Delete

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

BatchAccount_Get

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

BatchAccount_GetDetector

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

BatchAccount_GetKeys

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

BatchAccount_List

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

BatchAccount_ListByResourceGroup

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

BatchAccount_ListDetectors

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

BatchAccount_ListOutboundNetworkDependenciesEndpoints

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

BatchAccount_RegenerateKey

enum_BatchAccountRegenerateKeyParametersKeyName := [ "Primary", "Secondary" ]

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

BatchAccount_SynchronizeAutoStorageKeys

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

BatchAccount_Update

enum_AuthenticationMode := [ "SharedKey", "AAD", "TaskAuthenticationToken" ]
enum_AutoStorageBasePropertiesAuthenticationMode := [ "StorageKeys", "BatchAccountManagedIdentity" ]
enum_BatchAccountIdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_EncryptionPropertiesKeySource := [ "Microsoft.Batch", "Microsoft.KeyVault" ]
enum_EndpointAccessProfileDefaultAction := [ "Allow", "Deny" ]
enum_IPRuleAction := [ "Allow" ]
enum_PublicNetworkAccessType := [ "Enabled", "Disabled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.autoStorage.storageAccountId == STRING
    input.Body.properties.autoStorage.authenticationMode == enum_AutoStorageBasePropertiesAuthenticationMode[_]
    input.Body.properties.autoStorage.nodeIdentityReference.resourceId == STRING
    input.Body.properties.encryption.keySource == enum_EncryptionPropertiesKeySource[_]
    input.Body.properties.encryption.keyVaultProperties.keyIdentifier == STRING
    input.Body.properties.allowedAuthenticationModes[_] == enum_AuthenticationMode[_]
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccessType[_]
    input.Body.properties.networkProfile.accountAccess.defaultAction == enum_EndpointAccessProfileDefaultAction[_]
    input.Body.properties.networkProfile.accountAccess.ipRules[_].action == enum_IPRuleAction[_]
    input.Body.properties.networkProfile.accountAccess.ipRules[_].value == STRING
    input.Body.properties.networkProfile.nodeManagementAccess.defaultAction == enum_EndpointAccessProfileDefaultAction[_]
    input.Body.properties.networkProfile.nodeManagementAccess.ipRules[_].action == enum_IPRuleAction[_]
    input.Body.properties.networkProfile.nodeManagementAccess.ipRules[_].value == STRING
    input.Body.identity.type == enum_BatchAccountIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Certificate_CancelDeletion

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

Certificate_Create

enum_CertificateBasePropertiesFormat := [ "Pfx", "Cer" ]

valid {
    input.Body.properties.data == STRING
    input.Body.properties.password == STRING
    input.Body.properties.thumbprintAlgorithm == STRING
    input.Body.properties.thumbprint == STRING
    input.Body.properties.format == enum_CertificateBasePropertiesFormat[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.certificateName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Certificate_Delete

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

Certificate_Get

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

Certificate_ListByBatchAccount

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.maxresults == INTEGER
    input.Qs.$select == STRING
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Certificate_Update

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

Location_CheckNameAvailability

enum_CheckNameAvailabilityParametersType := [ "Microsoft.Batch/batchAccounts" ]

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

Location_GetQuotas

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

Location_ListSupportedCloudServiceSkus

valid {
    input.ReqMap.locationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.maxresults == INTEGER
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Location_ListSupportedVirtualMachineSkus

valid {
    input.ReqMap.locationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.maxresults == INTEGER
    input.Qs.$filter == 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
}

Pool_Create

enum_AutoUserSpecificationScope := [ "Task", "Pool" ]
enum_BatchPoolIdentityType := [ "UserAssigned", "None" ]
enum_CachingType := [ "None", "ReadOnly", "ReadWrite" ]
enum_CertificateReferenceStoreLocation := [ "CurrentUser", "LocalMachine" ]
enum_CertificateReferenceVisibility := [ "StartTask", "Task", "RemoteUser" ]
enum_ComputeNodeDeallocationOption := [ "Requeue", "Terminate", "TaskCompletion", "RetainedData" ]
enum_ContainerConfigurationType := [ "DockerCompatible", "CriCompatible" ]
enum_DiffDiskPlacement := [ "CacheDisk" ]
enum_DiskEncryptionConfigurationTargets := [ "OsDisk", "TemporaryDisk" ]
enum_ElevationLevel := [ "NonAdmin", "Admin" ]
enum_IPAddressProvisioningType := [ "BatchManaged", "UserManaged", "NoPublicIPAddresses" ]
enum_InboundNatPoolProtocol := [ "TCP", "UDP" ]
enum_NetworkConfigurationDynamicVnetAssignmentScope := [ "none", "job" ]
enum_NetworkSecurityGroupRuleAccess := [ "Allow", "Deny" ]
enum_NodeCommunicationMode := [ "Default", "Classic", "Simplified" ]
enum_NodePlacementPolicyType := [ "Regional", "Zonal" ]
enum_PoolPropertiesInterNodeCommunication := [ "Enabled", "Disabled" ]
enum_SecurityProfileSecurityType := [ "trustedLaunch" ]
enum_StorageAccountType := [ "Standard_LRS", "Premium_LRS", "StandardSSD_LRS" ]
enum_TaskContainerSettingsWorkingDirectory := [ "TaskWorkingDirectory", "ContainerImageDefault" ]
enum_TaskSchedulingPolicyNodeFillType := [ "Spread", "Pack" ]
enum_UpgradePolicyMode := [ "automatic", "manual", "rolling" ]
enum_WindowsUserConfigurationLoginMode := [ "Batch", "Interactive" ]

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.vmSize == STRING
    input.Body.properties.deploymentConfiguration.cloudServiceConfiguration.osFamily == STRING
    input.Body.properties.deploymentConfiguration.cloudServiceConfiguration.osVersion == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.imageReference.publisher == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.imageReference.offer == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.imageReference.sku == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.imageReference.version == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.imageReference.id == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.nodeAgentSkuId == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.windowsConfiguration.enableAutomaticUpdates == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.dataDisks[_].lun == INTEGER
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.dataDisks[_].caching == enum_CachingType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.dataDisks[_].diskSizeGB == INTEGER
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.dataDisks[_].storageAccountType == enum_StorageAccountType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.licenseType == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.type == enum_ContainerConfigurationType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.containerImageNames[_] == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.containerRegistries[_].username == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.containerRegistries[_].password == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.containerRegistries[_].registryServer == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.containerRegistries[_].identityReference.resourceId == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.diskEncryptionConfiguration.targets[_] == enum_DiskEncryptionConfigurationTargets[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.nodePlacementConfiguration.policy == enum_NodePlacementPolicyType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].name == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].publisher == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].type == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].typeHandlerVersion == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].autoUpgradeMinorVersion == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].enableAutomaticUpgrade == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].settings.STRING == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].protectedSettings.STRING == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].provisionAfterExtensions[_] == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.osDisk.ephemeralOSDiskSettings.placement == enum_DiffDiskPlacement[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.osDisk.caching == enum_CachingType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.osDisk.managedDisk.storageAccountType == enum_StorageAccountType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.osDisk.diskSizeGB == INTEGER
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.osDisk.writeAcceleratorEnabled == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.securityProfile.securityType == enum_SecurityProfileSecurityType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.securityProfile.encryptionAtHost == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.securityProfile.uefiSettings.secureBootEnabled == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.securityProfile.uefiSettings.vTpmEnabled == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.serviceArtifactReference.id == STRING
    input.Body.properties.scaleSettings.fixedScale.resizeTimeout == STRING
    input.Body.properties.scaleSettings.fixedScale.targetDedicatedNodes == INTEGER
    input.Body.properties.scaleSettings.fixedScale.targetLowPriorityNodes == INTEGER
    input.Body.properties.scaleSettings.fixedScale.nodeDeallocationOption == enum_ComputeNodeDeallocationOption[_]
    input.Body.properties.scaleSettings.autoScale.formula == STRING
    input.Body.properties.scaleSettings.autoScale.evaluationInterval == STRING
    input.Body.properties.interNodeCommunication == enum_PoolPropertiesInterNodeCommunication[_]
    input.Body.properties.networkConfiguration.subnetId == STRING
    input.Body.properties.networkConfiguration.dynamicVnetAssignmentScope == enum_NetworkConfigurationDynamicVnetAssignmentScope[_]
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].name == STRING
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].protocol == enum_InboundNatPoolProtocol[_]
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].backendPort == INTEGER
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].frontendPortRangeStart == INTEGER
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].frontendPortRangeEnd == INTEGER
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].networkSecurityGroupRules[_].priority == INTEGER
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].networkSecurityGroupRules[_].access == enum_NetworkSecurityGroupRuleAccess[_]
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].networkSecurityGroupRules[_].sourceAddressPrefix == STRING
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].networkSecurityGroupRules[_].sourcePortRanges[_] == STRING
    input.Body.properties.networkConfiguration.publicIPAddressConfiguration.provision == enum_IPAddressProvisioningType[_]
    input.Body.properties.networkConfiguration.publicIPAddressConfiguration.ipAddressIds[_] == STRING
    input.Body.properties.networkConfiguration.enableAcceleratedNetworking == BOOLEAN
    input.Body.properties.taskSlotsPerNode == INTEGER
    input.Body.properties.taskSchedulingPolicy.nodeFillType == enum_TaskSchedulingPolicyNodeFillType[_]
    input.Body.properties.userAccounts[_].name == STRING
    input.Body.properties.userAccounts[_].password == STRING
    input.Body.properties.userAccounts[_].elevationLevel == enum_ElevationLevel[_]
    input.Body.properties.userAccounts[_].linuxUserConfiguration.uid == INTEGER
    input.Body.properties.userAccounts[_].linuxUserConfiguration.gid == INTEGER
    input.Body.properties.userAccounts[_].linuxUserConfiguration.sshPrivateKey == STRING
    input.Body.properties.userAccounts[_].windowsUserConfiguration.loginMode == enum_WindowsUserConfigurationLoginMode[_]
    input.Body.properties.metadata[_].name == STRING
    input.Body.properties.metadata[_].value == STRING
    input.Body.properties.startTask.commandLine == STRING
    input.Body.properties.startTask.resourceFiles[_].autoStorageContainerName == STRING
    input.Body.properties.startTask.resourceFiles[_].storageContainerUrl == STRING
    input.Body.properties.startTask.resourceFiles[_].httpUrl == STRING
    input.Body.properties.startTask.resourceFiles[_].blobPrefix == STRING
    input.Body.properties.startTask.resourceFiles[_].filePath == STRING
    input.Body.properties.startTask.resourceFiles[_].fileMode == STRING
    input.Body.properties.startTask.resourceFiles[_].identityReference.resourceId == STRING
    input.Body.properties.startTask.environmentSettings[_].name == STRING
    input.Body.properties.startTask.environmentSettings[_].value == STRING
    input.Body.properties.startTask.userIdentity.userName == STRING
    input.Body.properties.startTask.userIdentity.autoUser.scope == enum_AutoUserSpecificationScope[_]
    input.Body.properties.startTask.userIdentity.autoUser.elevationLevel == enum_ElevationLevel[_]
    input.Body.properties.startTask.maxTaskRetryCount == INTEGER
    input.Body.properties.startTask.waitForSuccess == BOOLEAN
    input.Body.properties.startTask.containerSettings.containerRunOptions == STRING
    input.Body.properties.startTask.containerSettings.imageName == STRING
    input.Body.properties.startTask.containerSettings.registry.username == STRING
    input.Body.properties.startTask.containerSettings.registry.password == STRING
    input.Body.properties.startTask.containerSettings.registry.registryServer == STRING
    input.Body.properties.startTask.containerSettings.registry.identityReference.resourceId == STRING
    input.Body.properties.startTask.containerSettings.workingDirectory == enum_TaskContainerSettingsWorkingDirectory[_]
    input.Body.properties.certificates[_].id == STRING
    input.Body.properties.certificates[_].storeLocation == enum_CertificateReferenceStoreLocation[_]
    input.Body.properties.certificates[_].storeName == STRING
    input.Body.properties.certificates[_].visibility[_] == enum_CertificateReferenceVisibility[_]
    input.Body.properties.applicationPackages[_].id == STRING
    input.Body.properties.applicationPackages[_].version == STRING
    input.Body.properties.applicationLicenses[_] == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.accountName == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.containerName == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.accountKey == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.sasKey == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.blobfuseOptions == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.relativeMountPath == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.identityReference.resourceId == STRING
    input.Body.properties.mountConfiguration[_].nfsMountConfiguration.source == STRING
    input.Body.properties.mountConfiguration[_].nfsMountConfiguration.relativeMountPath == STRING
    input.Body.properties.mountConfiguration[_].nfsMountConfiguration.mountOptions == STRING
    input.Body.properties.mountConfiguration[_].cifsMountConfiguration.userName == STRING
    input.Body.properties.mountConfiguration[_].cifsMountConfiguration.source == STRING
    input.Body.properties.mountConfiguration[_].cifsMountConfiguration.relativeMountPath == STRING
    input.Body.properties.mountConfiguration[_].cifsMountConfiguration.mountOptions == STRING
    input.Body.properties.mountConfiguration[_].cifsMountConfiguration.password == STRING
    input.Body.properties.mountConfiguration[_].azureFileShareConfiguration.accountName == STRING
    input.Body.properties.mountConfiguration[_].azureFileShareConfiguration.azureFileUrl == STRING
    input.Body.properties.mountConfiguration[_].azureFileShareConfiguration.accountKey == STRING
    input.Body.properties.mountConfiguration[_].azureFileShareConfiguration.relativeMountPath == STRING
    input.Body.properties.mountConfiguration[_].azureFileShareConfiguration.mountOptions == STRING
    input.Body.properties.targetNodeCommunicationMode == enum_NodeCommunicationMode[_]
    input.Body.properties.upgradePolicy.mode == enum_UpgradePolicyMode[_]
    input.Body.properties.upgradePolicy.automaticOSUpgradePolicy.disableAutomaticRollback == BOOLEAN
    input.Body.properties.upgradePolicy.automaticOSUpgradePolicy.enableAutomaticOSUpgrade == BOOLEAN
    input.Body.properties.upgradePolicy.automaticOSUpgradePolicy.useRollingUpgradePolicy == BOOLEAN
    input.Body.properties.upgradePolicy.automaticOSUpgradePolicy.osRollingUpgradeDeferral == BOOLEAN
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.enableCrossZoneUpgrade == BOOLEAN
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.maxBatchInstancePercent == INTEGER
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.maxUnhealthyInstancePercent == INTEGER
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.maxUnhealthyUpgradedInstancePercent == INTEGER
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.pauseTimeBetweenBatches == STRING
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.prioritizeUnhealthyInstances == BOOLEAN
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.rollbackFailedInstancesOnPolicyBreach == BOOLEAN
    input.Body.properties.resourceTags.STRING == STRING
    input.Body.identity.type == enum_BatchPoolIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Pool_Delete

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

Pool_DisableAutoScale

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

Pool_Get

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

Pool_ListByBatchAccount

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.maxresults == INTEGER
    input.Qs.$select == STRING
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Pool_StopResize

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

Pool_Update

enum_AutoUserSpecificationScope := [ "Task", "Pool" ]
enum_BatchPoolIdentityType := [ "UserAssigned", "None" ]
enum_CachingType := [ "None", "ReadOnly", "ReadWrite" ]
enum_CertificateReferenceStoreLocation := [ "CurrentUser", "LocalMachine" ]
enum_CertificateReferenceVisibility := [ "StartTask", "Task", "RemoteUser" ]
enum_ComputeNodeDeallocationOption := [ "Requeue", "Terminate", "TaskCompletion", "RetainedData" ]
enum_ContainerConfigurationType := [ "DockerCompatible", "CriCompatible" ]
enum_DiffDiskPlacement := [ "CacheDisk" ]
enum_DiskEncryptionConfigurationTargets := [ "OsDisk", "TemporaryDisk" ]
enum_ElevationLevel := [ "NonAdmin", "Admin" ]
enum_IPAddressProvisioningType := [ "BatchManaged", "UserManaged", "NoPublicIPAddresses" ]
enum_InboundNatPoolProtocol := [ "TCP", "UDP" ]
enum_NetworkConfigurationDynamicVnetAssignmentScope := [ "none", "job" ]
enum_NetworkSecurityGroupRuleAccess := [ "Allow", "Deny" ]
enum_NodeCommunicationMode := [ "Default", "Classic", "Simplified" ]
enum_NodePlacementPolicyType := [ "Regional", "Zonal" ]
enum_PoolPropertiesInterNodeCommunication := [ "Enabled", "Disabled" ]
enum_SecurityProfileSecurityType := [ "trustedLaunch" ]
enum_StorageAccountType := [ "Standard_LRS", "Premium_LRS", "StandardSSD_LRS" ]
enum_TaskContainerSettingsWorkingDirectory := [ "TaskWorkingDirectory", "ContainerImageDefault" ]
enum_TaskSchedulingPolicyNodeFillType := [ "Spread", "Pack" ]
enum_UpgradePolicyMode := [ "automatic", "manual", "rolling" ]
enum_WindowsUserConfigurationLoginMode := [ "Batch", "Interactive" ]

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.vmSize == STRING
    input.Body.properties.deploymentConfiguration.cloudServiceConfiguration.osFamily == STRING
    input.Body.properties.deploymentConfiguration.cloudServiceConfiguration.osVersion == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.imageReference.publisher == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.imageReference.offer == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.imageReference.sku == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.imageReference.version == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.imageReference.id == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.nodeAgentSkuId == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.windowsConfiguration.enableAutomaticUpdates == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.dataDisks[_].lun == INTEGER
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.dataDisks[_].caching == enum_CachingType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.dataDisks[_].diskSizeGB == INTEGER
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.dataDisks[_].storageAccountType == enum_StorageAccountType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.licenseType == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.type == enum_ContainerConfigurationType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.containerImageNames[_] == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.containerRegistries[_].username == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.containerRegistries[_].password == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.containerRegistries[_].registryServer == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.containerConfiguration.containerRegistries[_].identityReference.resourceId == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.diskEncryptionConfiguration.targets[_] == enum_DiskEncryptionConfigurationTargets[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.nodePlacementConfiguration.policy == enum_NodePlacementPolicyType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].name == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].publisher == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].type == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].typeHandlerVersion == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].autoUpgradeMinorVersion == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].enableAutomaticUpgrade == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].settings.STRING == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].protectedSettings.STRING == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.extensions[_].provisionAfterExtensions[_] == STRING
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.osDisk.ephemeralOSDiskSettings.placement == enum_DiffDiskPlacement[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.osDisk.caching == enum_CachingType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.osDisk.managedDisk.storageAccountType == enum_StorageAccountType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.osDisk.diskSizeGB == INTEGER
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.osDisk.writeAcceleratorEnabled == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.securityProfile.securityType == enum_SecurityProfileSecurityType[_]
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.securityProfile.encryptionAtHost == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.securityProfile.uefiSettings.secureBootEnabled == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.securityProfile.uefiSettings.vTpmEnabled == BOOLEAN
    input.Body.properties.deploymentConfiguration.virtualMachineConfiguration.serviceArtifactReference.id == STRING
    input.Body.properties.scaleSettings.fixedScale.resizeTimeout == STRING
    input.Body.properties.scaleSettings.fixedScale.targetDedicatedNodes == INTEGER
    input.Body.properties.scaleSettings.fixedScale.targetLowPriorityNodes == INTEGER
    input.Body.properties.scaleSettings.fixedScale.nodeDeallocationOption == enum_ComputeNodeDeallocationOption[_]
    input.Body.properties.scaleSettings.autoScale.formula == STRING
    input.Body.properties.scaleSettings.autoScale.evaluationInterval == STRING
    input.Body.properties.interNodeCommunication == enum_PoolPropertiesInterNodeCommunication[_]
    input.Body.properties.networkConfiguration.subnetId == STRING
    input.Body.properties.networkConfiguration.dynamicVnetAssignmentScope == enum_NetworkConfigurationDynamicVnetAssignmentScope[_]
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].name == STRING
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].protocol == enum_InboundNatPoolProtocol[_]
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].backendPort == INTEGER
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].frontendPortRangeStart == INTEGER
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].frontendPortRangeEnd == INTEGER
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].networkSecurityGroupRules[_].priority == INTEGER
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].networkSecurityGroupRules[_].access == enum_NetworkSecurityGroupRuleAccess[_]
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].networkSecurityGroupRules[_].sourceAddressPrefix == STRING
    input.Body.properties.networkConfiguration.endpointConfiguration.inboundNatPools[_].networkSecurityGroupRules[_].sourcePortRanges[_] == STRING
    input.Body.properties.networkConfiguration.publicIPAddressConfiguration.provision == enum_IPAddressProvisioningType[_]
    input.Body.properties.networkConfiguration.publicIPAddressConfiguration.ipAddressIds[_] == STRING
    input.Body.properties.networkConfiguration.enableAcceleratedNetworking == BOOLEAN
    input.Body.properties.taskSlotsPerNode == INTEGER
    input.Body.properties.taskSchedulingPolicy.nodeFillType == enum_TaskSchedulingPolicyNodeFillType[_]
    input.Body.properties.userAccounts[_].name == STRING
    input.Body.properties.userAccounts[_].password == STRING
    input.Body.properties.userAccounts[_].elevationLevel == enum_ElevationLevel[_]
    input.Body.properties.userAccounts[_].linuxUserConfiguration.uid == INTEGER
    input.Body.properties.userAccounts[_].linuxUserConfiguration.gid == INTEGER
    input.Body.properties.userAccounts[_].linuxUserConfiguration.sshPrivateKey == STRING
    input.Body.properties.userAccounts[_].windowsUserConfiguration.loginMode == enum_WindowsUserConfigurationLoginMode[_]
    input.Body.properties.metadata[_].name == STRING
    input.Body.properties.metadata[_].value == STRING
    input.Body.properties.startTask.commandLine == STRING
    input.Body.properties.startTask.resourceFiles[_].autoStorageContainerName == STRING
    input.Body.properties.startTask.resourceFiles[_].storageContainerUrl == STRING
    input.Body.properties.startTask.resourceFiles[_].httpUrl == STRING
    input.Body.properties.startTask.resourceFiles[_].blobPrefix == STRING
    input.Body.properties.startTask.resourceFiles[_].filePath == STRING
    input.Body.properties.startTask.resourceFiles[_].fileMode == STRING
    input.Body.properties.startTask.resourceFiles[_].identityReference.resourceId == STRING
    input.Body.properties.startTask.environmentSettings[_].name == STRING
    input.Body.properties.startTask.environmentSettings[_].value == STRING
    input.Body.properties.startTask.userIdentity.userName == STRING
    input.Body.properties.startTask.userIdentity.autoUser.scope == enum_AutoUserSpecificationScope[_]
    input.Body.properties.startTask.userIdentity.autoUser.elevationLevel == enum_ElevationLevel[_]
    input.Body.properties.startTask.maxTaskRetryCount == INTEGER
    input.Body.properties.startTask.waitForSuccess == BOOLEAN
    input.Body.properties.startTask.containerSettings.containerRunOptions == STRING
    input.Body.properties.startTask.containerSettings.imageName == STRING
    input.Body.properties.startTask.containerSettings.registry.username == STRING
    input.Body.properties.startTask.containerSettings.registry.password == STRING
    input.Body.properties.startTask.containerSettings.registry.registryServer == STRING
    input.Body.properties.startTask.containerSettings.registry.identityReference.resourceId == STRING
    input.Body.properties.startTask.containerSettings.workingDirectory == enum_TaskContainerSettingsWorkingDirectory[_]
    input.Body.properties.certificates[_].id == STRING
    input.Body.properties.certificates[_].storeLocation == enum_CertificateReferenceStoreLocation[_]
    input.Body.properties.certificates[_].storeName == STRING
    input.Body.properties.certificates[_].visibility[_] == enum_CertificateReferenceVisibility[_]
    input.Body.properties.applicationPackages[_].id == STRING
    input.Body.properties.applicationPackages[_].version == STRING
    input.Body.properties.applicationLicenses[_] == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.accountName == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.containerName == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.accountKey == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.sasKey == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.blobfuseOptions == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.relativeMountPath == STRING
    input.Body.properties.mountConfiguration[_].azureBlobFileSystemConfiguration.identityReference.resourceId == STRING
    input.Body.properties.mountConfiguration[_].nfsMountConfiguration.source == STRING
    input.Body.properties.mountConfiguration[_].nfsMountConfiguration.relativeMountPath == STRING
    input.Body.properties.mountConfiguration[_].nfsMountConfiguration.mountOptions == STRING
    input.Body.properties.mountConfiguration[_].cifsMountConfiguration.userName == STRING
    input.Body.properties.mountConfiguration[_].cifsMountConfiguration.source == STRING
    input.Body.properties.mountConfiguration[_].cifsMountConfiguration.relativeMountPath == STRING
    input.Body.properties.mountConfiguration[_].cifsMountConfiguration.mountOptions == STRING
    input.Body.properties.mountConfiguration[_].cifsMountConfiguration.password == STRING
    input.Body.properties.mountConfiguration[_].azureFileShareConfiguration.accountName == STRING
    input.Body.properties.mountConfiguration[_].azureFileShareConfiguration.azureFileUrl == STRING
    input.Body.properties.mountConfiguration[_].azureFileShareConfiguration.accountKey == STRING
    input.Body.properties.mountConfiguration[_].azureFileShareConfiguration.relativeMountPath == STRING
    input.Body.properties.mountConfiguration[_].azureFileShareConfiguration.mountOptions == STRING
    input.Body.properties.targetNodeCommunicationMode == enum_NodeCommunicationMode[_]
    input.Body.properties.upgradePolicy.mode == enum_UpgradePolicyMode[_]
    input.Body.properties.upgradePolicy.automaticOSUpgradePolicy.disableAutomaticRollback == BOOLEAN
    input.Body.properties.upgradePolicy.automaticOSUpgradePolicy.enableAutomaticOSUpgrade == BOOLEAN
    input.Body.properties.upgradePolicy.automaticOSUpgradePolicy.useRollingUpgradePolicy == BOOLEAN
    input.Body.properties.upgradePolicy.automaticOSUpgradePolicy.osRollingUpgradeDeferral == BOOLEAN
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.enableCrossZoneUpgrade == BOOLEAN
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.maxBatchInstancePercent == INTEGER
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.maxUnhealthyInstancePercent == INTEGER
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.maxUnhealthyUpgradedInstancePercent == INTEGER
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.pauseTimeBetweenBatches == STRING
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.prioritizeUnhealthyInstances == BOOLEAN
    input.Body.properties.upgradePolicy.rollingUpgradePolicy.rollbackFailedInstancesOnPolicyBreach == BOOLEAN
    input.Body.properties.resourceTags.STRING == STRING
    input.Body.identity.type == enum_BatchPoolIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.poolName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnection_Delete

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

PrivateEndpointConnection_Get

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

PrivateEndpointConnection_ListByBatchAccount

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

PrivateEndpointConnection_Update

enum_PrivateLinkServiceConnectionStatus := [ "Approved", "Pending", "Rejected", "Disconnected" ]

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

PrivateLinkResource_Get

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

PrivateLinkResource_ListByBatchAccount

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

Updated 8 days ago