Guides

MICROSOFT.NETWORKCLOUD

Suggest Edits
docs.microsoft.com
Azure documentation

AgentPools_CreateOrUpdate

enum_AgentOptionsHugepagesSize := [ "2M", "1G" ]
enum_AgentPoolPropertiesMode := [ "System", "User", "NotApplicable" ]
enum_L2NetworkAttachmentConfigurationPluginType := [ "DPDK", "SRIOV", "OSDevice", "MACVLAN", "IPVLAN" ]
enum_L3NetworkAttachmentConfigurationIpamEnabled := [ "True", "False" ]
enum_L3NetworkAttachmentConfigurationPluginType := [ "DPDK", "SRIOV", "OSDevice", "MACVLAN", "IPVLAN" ]
enum_TrunkedNetworkAttachmentConfigurationPluginType := [ "DPDK", "SRIOV", "OSDevice", "MACVLAN", "IPVLAN" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.administratorConfiguration.adminUsername == STRING
    input.Body.properties.administratorConfiguration.sshPublicKeys[_].keyData == STRING
    input.Body.properties.agentOptions.hugepagesCount == INTEGER
    input.Body.properties.agentOptions.hugepagesSize == enum_AgentOptionsHugepagesSize[_]
    input.Body.properties.attachedNetworkConfiguration.l2Networks[_].networkId == STRING
    input.Body.properties.attachedNetworkConfiguration.l2Networks[_].pluginType == enum_L2NetworkAttachmentConfigurationPluginType[_]
    input.Body.properties.attachedNetworkConfiguration.l3Networks[_].ipamEnabled == enum_L3NetworkAttachmentConfigurationIpamEnabled[_]
    input.Body.properties.attachedNetworkConfiguration.l3Networks[_].networkId == STRING
    input.Body.properties.attachedNetworkConfiguration.l3Networks[_].pluginType == enum_L3NetworkAttachmentConfigurationPluginType[_]
    input.Body.properties.attachedNetworkConfiguration.trunkedNetworks[_].networkId == STRING
    input.Body.properties.attachedNetworkConfiguration.trunkedNetworks[_].pluginType == enum_TrunkedNetworkAttachmentConfigurationPluginType[_]
    input.Body.properties.availabilityZones[_] == STRING
    input.Body.properties.count == INTEGER
    input.Body.properties.labels[_].key == STRING
    input.Body.properties.labels[_].value == STRING
    input.Body.properties.mode == enum_AgentPoolPropertiesMode[_]
    input.Body.properties.taints[_].key == STRING
    input.Body.properties.taints[_].value == STRING
    input.Body.properties.upgradeSettings.maxSurge == STRING
    input.Body.properties.vmSkuName == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.kubernetesClusterName == STRING
    input.ReqMap.agentPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AgentPools_Delete

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

AgentPools_Get

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

AgentPools_ListByKubernetesCluster

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

AgentPools_Update

valid {
    input.Body.properties.administratorConfiguration.sshPublicKeys[_].keyData == STRING
    input.Body.properties.count == INTEGER
    input.Body.properties.upgradeSettings.maxSurge == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.kubernetesClusterName == STRING
    input.ReqMap.agentPoolName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BareMetalMachineKeySets_CreateOrUpdate

enum_BareMetalMachineKeySetPropertiesPrivilegeLevel := [ "Standard", "Superuser" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.azureGroupId == STRING
    input.Body.properties.expiration == STRING
    input.Body.properties.jumpHostsAllowed[_] == STRING
    input.Body.properties.osGroupName == STRING
    input.Body.properties.privilegeLevel == enum_BareMetalMachineKeySetPropertiesPrivilegeLevel[_]
    input.Body.properties.userList[_].azureUserName == STRING
    input.Body.properties.userList[_].description == STRING
    input.Body.properties.userList[_].sshPublicKey.keyData == STRING
    input.Body.properties.userList[_].userPrincipalName == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.bareMetalMachineKeySetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BareMetalMachineKeySets_Delete

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

BareMetalMachineKeySets_Get

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

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

BareMetalMachineKeySets_Update

valid {
    input.Body.properties.expiration == STRING
    input.Body.properties.jumpHostsAllowed[_] == STRING
    input.Body.properties.userList[_].azureUserName == STRING
    input.Body.properties.userList[_].description == STRING
    input.Body.properties.userList[_].sshPublicKey.keyData == STRING
    input.Body.properties.userList[_].userPrincipalName == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.bareMetalMachineKeySetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BareMetalMachines_Cordon

enum_BareMetalMachineCordonParametersEvacuate := [ "True", "False" ]

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

BareMetalMachines_CreateOrUpdate

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.bmcConnectionString == STRING
    input.Body.properties.bmcCredentials.password == STRING
    input.Body.properties.bmcCredentials.username == STRING
    input.Body.properties.bmcMacAddress == STRING
    input.Body.properties.bootMacAddress == STRING
    input.Body.properties.machineDetails == STRING
    input.Body.properties.machineName == STRING
    input.Body.properties.machineSkuId == STRING
    input.Body.properties.rackId == STRING
    input.Body.properties.rackSlot == INTEGER
    input.Body.properties.serialNumber == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.bareMetalMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BareMetalMachines_Delete

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

BareMetalMachines_Get

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

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

BareMetalMachines_ListBySubscription

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

BareMetalMachines_PowerOff

enum_BareMetalMachinePowerOffParametersSkipShutdown := [ "True", "False" ]

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

BareMetalMachines_Reimage

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

BareMetalMachines_Replace

valid {
    input.Body.bmcCredentials.password == STRING
    input.Body.bmcCredentials.username == STRING
    input.Body.bmcMacAddress == STRING
    input.Body.bootMacAddress == STRING
    input.Body.machineName == STRING
    input.Body.serialNumber == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.bareMetalMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BareMetalMachines_Restart

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

BareMetalMachines_RunCommand

valid {
    input.Body.arguments[_] == STRING
    input.Body.limitTimeSeconds == INTEGER
    input.Body.script == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.bareMetalMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BareMetalMachines_RunDataExtracts

valid {
    input.Body.commands[_].arguments[_] == STRING
    input.Body.commands[_].command == STRING
    input.Body.limitTimeSeconds == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.bareMetalMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BareMetalMachines_RunReadCommands

valid {
    input.Body.commands[_].arguments[_] == STRING
    input.Body.commands[_].command == STRING
    input.Body.limitTimeSeconds == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.bareMetalMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BareMetalMachines_Start

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

BareMetalMachines_Uncordon

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

BareMetalMachines_Update

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

BareMetalMachines_ValidateHardware

enum_BareMetalMachineValidateHardwareParametersValidationCategory := [ "BasicValidation" ]

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

BmcKeySets_CreateOrUpdate

enum_BmcKeySetPropertiesPrivilegeLevel := [ "ReadOnly", "Administrator" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.azureGroupId == STRING
    input.Body.properties.expiration == STRING
    input.Body.properties.privilegeLevel == enum_BmcKeySetPropertiesPrivilegeLevel[_]
    input.Body.properties.userList[_].azureUserName == STRING
    input.Body.properties.userList[_].description == STRING
    input.Body.properties.userList[_].sshPublicKey.keyData == STRING
    input.Body.properties.userList[_].userPrincipalName == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.bmcKeySetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BmcKeySets_Delete

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

BmcKeySets_Get

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

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

BmcKeySets_Update

valid {
    input.Body.properties.expiration == STRING
    input.Body.properties.userList[_].azureUserName == STRING
    input.Body.properties.userList[_].description == STRING
    input.Body.properties.userList[_].sshPublicKey.keyData == STRING
    input.Body.properties.userList[_].userPrincipalName == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.bmcKeySetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServicesNetworks_CreateOrUpdate

enum_CloudServicesNetworkPropertiesEnableDefaultEgressEndpoints := [ "True", "False" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.additionalEgressEndpoints[_].category == STRING
    input.Body.properties.additionalEgressEndpoints[_].endpoints[_].domainName == STRING
    input.Body.properties.additionalEgressEndpoints[_].endpoints[_].port == INTEGER
    input.Body.properties.enableDefaultEgressEndpoints == enum_CloudServicesNetworkPropertiesEnableDefaultEgressEndpoints[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServicesNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServicesNetworks_Delete

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

CloudServicesNetworks_Get

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

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

CloudServicesNetworks_ListBySubscription

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

CloudServicesNetworks_Update

enum_CloudServicesNetworkPatchPropertiesEnableDefaultEgressEndpoints := [ "True", "False" ]

valid {
    input.Body.properties.additionalEgressEndpoints[_].category == STRING
    input.Body.properties.additionalEgressEndpoints[_].endpoints[_].domainName == STRING
    input.Body.properties.additionalEgressEndpoints[_].endpoints[_].port == INTEGER
    input.Body.properties.enableDefaultEgressEndpoints == enum_CloudServicesNetworkPatchPropertiesEnableDefaultEgressEndpoints[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServicesNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ClusterManagers_CreateOrUpdate

valid {
    input.Body.properties.analyticsWorkspaceId == STRING
    input.Body.properties.availabilityZones[_] == STRING
    input.Body.properties.fabricControllerId == STRING
    input.Body.properties.managedResourceGroupConfiguration.location == STRING
    input.Body.properties.managedResourceGroupConfiguration.name == STRING
    input.Body.properties.vmSize == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterManagerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ClusterManagers_Delete

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

ClusterManagers_Get

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

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

ClusterManagers_ListBySubscription

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

ClusterManagers_Update

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

Clusters_CreateOrUpdate

enum_ClusterPropertiesClusterType := [ "SingleRack", "MultiRack" ]
enum_ClusterSecretArchiveUseKeyVault := [ "True", "False" ]
enum_ClusterUpdateStrategyStrategyType := [ "Rack" ]
enum_ClusterUpdateStrategyThresholdType := [ "CountSuccess", "PercentSuccess" ]
enum_RuntimeProtectionConfigurationEnforcementLevel := [ "Audit", "Disabled", "OnDemand", "Passive", "RealTime" ]
enum_ValidationThresholdGrouping := [ "PerCluster", "PerRack" ]
enum_ValidationThresholdType := [ "CountSuccess", "PercentSuccess" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.availabilityZone == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].bmcCredentials.password == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].bmcCredentials.username == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].bmcMacAddress == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].bootMacAddress == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].machineDetails == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].machineName == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].rackSlot == INTEGER
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].serialNumber == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.networkRackId == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.rackLocation == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.rackSerialNumber == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.rackSkuId == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.storageApplianceConfigurationData[_].adminCredentials.password == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.storageApplianceConfigurationData[_].adminCredentials.username == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.storageApplianceConfigurationData[_].rackSlot == INTEGER
    input.Body.properties.aggregatorOrSingleRackDefinition.storageApplianceConfigurationData[_].serialNumber == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.storageApplianceConfigurationData[_].storageApplianceName == STRING
    input.Body.properties.analyticsWorkspaceId == STRING
    input.Body.properties.clusterLocation == STRING
    input.Body.properties.clusterServicePrincipal.applicationId == STRING
    input.Body.properties.clusterServicePrincipal.password == STRING
    input.Body.properties.clusterServicePrincipal.principalId == STRING
    input.Body.properties.clusterServicePrincipal.tenantId == STRING
    input.Body.properties.clusterType == enum_ClusterPropertiesClusterType[_]
    input.Body.properties.clusterVersion == STRING
    input.Body.properties.computeDeploymentThreshold.grouping == enum_ValidationThresholdGrouping[_]
    input.Body.properties.computeDeploymentThreshold.type == enum_ValidationThresholdType[_]
    input.Body.properties.computeDeploymentThreshold.value == INTEGER
    input.Body.properties.computeRackDefinitions[_].availabilityZone == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].bmcCredentials.password == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].bmcCredentials.username == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].bmcMacAddress == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].bootMacAddress == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].machineDetails == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].machineName == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].rackSlot == INTEGER
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].serialNumber == STRING
    input.Body.properties.computeRackDefinitions[_].networkRackId == STRING
    input.Body.properties.computeRackDefinitions[_].rackLocation == STRING
    input.Body.properties.computeRackDefinitions[_].rackSerialNumber == STRING
    input.Body.properties.computeRackDefinitions[_].rackSkuId == STRING
    input.Body.properties.computeRackDefinitions[_].storageApplianceConfigurationData[_].adminCredentials.password == STRING
    input.Body.properties.computeRackDefinitions[_].storageApplianceConfigurationData[_].adminCredentials.username == STRING
    input.Body.properties.computeRackDefinitions[_].storageApplianceConfigurationData[_].rackSlot == INTEGER
    input.Body.properties.computeRackDefinitions[_].storageApplianceConfigurationData[_].serialNumber == STRING
    input.Body.properties.computeRackDefinitions[_].storageApplianceConfigurationData[_].storageApplianceName == STRING
    input.Body.properties.managedResourceGroupConfiguration.location == STRING
    input.Body.properties.managedResourceGroupConfiguration.name == STRING
    input.Body.properties.networkFabricId == STRING
    input.Body.properties.runtimeProtectionConfiguration.enforcementLevel == enum_RuntimeProtectionConfigurationEnforcementLevel[_]
    input.Body.properties.secretArchive.keyVaultId == STRING
    input.Body.properties.secretArchive.useKeyVault == enum_ClusterSecretArchiveUseKeyVault[_]
    input.Body.properties.updateStrategy.maxUnavailable == INTEGER
    input.Body.properties.updateStrategy.strategyType == enum_ClusterUpdateStrategyStrategyType[_]
    input.Body.properties.updateStrategy.thresholdType == enum_ClusterUpdateStrategyThresholdType[_]
    input.Body.properties.updateStrategy.thresholdValue == INTEGER
    input.Body.properties.updateStrategy.waitTimeMinutes == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == 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_Deploy

valid {
    input.Body.skipValidationsForMachines[_] == 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_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_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_ListBySubscription

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

Clusters_ScanRuntime

enum_ClusterScanRuntimeParametersScanActivity := [ "Scan", "Skip" ]

valid {
    input.Body.scanActivity == enum_ClusterScanRuntimeParametersScanActivity[_]
    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

enum_ClusterSecretArchiveUseKeyVault := [ "True", "False" ]
enum_ClusterUpdateStrategyStrategyType := [ "Rack" ]
enum_ClusterUpdateStrategyThresholdType := [ "CountSuccess", "PercentSuccess" ]
enum_RuntimeProtectionConfigurationEnforcementLevel := [ "Audit", "Disabled", "OnDemand", "Passive", "RealTime" ]
enum_ValidationThresholdGrouping := [ "PerCluster", "PerRack" ]
enum_ValidationThresholdType := [ "CountSuccess", "PercentSuccess" ]

valid {
    input.Body.properties.aggregatorOrSingleRackDefinition.availabilityZone == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].bmcCredentials.password == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].bmcCredentials.username == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].bmcMacAddress == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].bootMacAddress == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].machineDetails == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].machineName == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].rackSlot == INTEGER
    input.Body.properties.aggregatorOrSingleRackDefinition.bareMetalMachineConfigurationData[_].serialNumber == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.networkRackId == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.rackLocation == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.rackSerialNumber == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.rackSkuId == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.storageApplianceConfigurationData[_].adminCredentials.password == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.storageApplianceConfigurationData[_].adminCredentials.username == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.storageApplianceConfigurationData[_].rackSlot == INTEGER
    input.Body.properties.aggregatorOrSingleRackDefinition.storageApplianceConfigurationData[_].serialNumber == STRING
    input.Body.properties.aggregatorOrSingleRackDefinition.storageApplianceConfigurationData[_].storageApplianceName == STRING
    input.Body.properties.clusterLocation == STRING
    input.Body.properties.clusterServicePrincipal.applicationId == STRING
    input.Body.properties.clusterServicePrincipal.password == STRING
    input.Body.properties.clusterServicePrincipal.principalId == STRING
    input.Body.properties.clusterServicePrincipal.tenantId == STRING
    input.Body.properties.computeDeploymentThreshold.grouping == enum_ValidationThresholdGrouping[_]
    input.Body.properties.computeDeploymentThreshold.type == enum_ValidationThresholdType[_]
    input.Body.properties.computeDeploymentThreshold.value == INTEGER
    input.Body.properties.computeRackDefinitions[_].availabilityZone == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].bmcCredentials.password == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].bmcCredentials.username == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].bmcMacAddress == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].bootMacAddress == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].machineDetails == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].machineName == STRING
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].rackSlot == INTEGER
    input.Body.properties.computeRackDefinitions[_].bareMetalMachineConfigurationData[_].serialNumber == STRING
    input.Body.properties.computeRackDefinitions[_].networkRackId == STRING
    input.Body.properties.computeRackDefinitions[_].rackLocation == STRING
    input.Body.properties.computeRackDefinitions[_].rackSerialNumber == STRING
    input.Body.properties.computeRackDefinitions[_].rackSkuId == STRING
    input.Body.properties.computeRackDefinitions[_].storageApplianceConfigurationData[_].adminCredentials.password == STRING
    input.Body.properties.computeRackDefinitions[_].storageApplianceConfigurationData[_].adminCredentials.username == STRING
    input.Body.properties.computeRackDefinitions[_].storageApplianceConfigurationData[_].rackSlot == INTEGER
    input.Body.properties.computeRackDefinitions[_].storageApplianceConfigurationData[_].serialNumber == STRING
    input.Body.properties.computeRackDefinitions[_].storageApplianceConfigurationData[_].storageApplianceName == STRING
    input.Body.properties.runtimeProtectionConfiguration.enforcementLevel == enum_RuntimeProtectionConfigurationEnforcementLevel[_]
    input.Body.properties.secretArchive.keyVaultId == STRING
    input.Body.properties.secretArchive.useKeyVault == enum_ClusterSecretArchiveUseKeyVault[_]
    input.Body.properties.updateStrategy.maxUnavailable == INTEGER
    input.Body.properties.updateStrategy.strategyType == enum_ClusterUpdateStrategyStrategyType[_]
    input.Body.properties.updateStrategy.thresholdType == enum_ClusterUpdateStrategyThresholdType[_]
    input.Body.properties.updateStrategy.thresholdValue == INTEGER
    input.Body.properties.updateStrategy.waitTimeMinutes == INTEGER
    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_UpdateVersion

valid {
    input.Body.targetClusterVersion == 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
}

Consoles_CreateOrUpdate

enum_ConsolePropertiesEnabled := [ "True", "False" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.enabled == enum_ConsolePropertiesEnabled[_]
    input.Body.properties.expiration == STRING
    input.Body.properties.sshPublicKey.keyData == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.ReqMap.consoleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Consoles_Delete

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

Consoles_Get

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

Consoles_ListByVirtualMachine

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

Consoles_Update

enum_ConsolePatchPropertiesEnabled := [ "True", "False" ]

valid {
    input.Body.properties.enabled == enum_ConsolePatchPropertiesEnabled[_]
    input.Body.properties.expiration == STRING
    input.Body.properties.sshPublicKey.keyData == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.ReqMap.consoleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

KubernetesClusters_CreateOrUpdate

enum_AgentOptionsHugepagesSize := [ "2M", "1G" ]
enum_BgpAdvertisementAdvertiseToFabric := [ "True", "False" ]
enum_BgpServiceLoadBalancerConfigurationFabricPeeringEnabled := [ "True", "False" ]
enum_InitialAgentPoolConfigurationMode := [ "System", "User", "NotApplicable" ]
enum_IpAddressPoolAutoAssign := [ "True", "False" ]
enum_IpAddressPoolOnlyUseHostIps := [ "True", "False" ]
enum_L2NetworkAttachmentConfigurationPluginType := [ "DPDK", "SRIOV", "OSDevice", "MACVLAN", "IPVLAN" ]
enum_L3NetworkAttachmentConfigurationIpamEnabled := [ "True", "False" ]
enum_L3NetworkAttachmentConfigurationPluginType := [ "DPDK", "SRIOV", "OSDevice", "MACVLAN", "IPVLAN" ]
enum_ServiceLoadBalancerBgpPeerBfdEnabled := [ "True", "False" ]
enum_ServiceLoadBalancerBgpPeerBgpMultiHop := [ "True", "False" ]
enum_TrunkedNetworkAttachmentConfigurationPluginType := [ "DPDK", "SRIOV", "OSDevice", "MACVLAN", "IPVLAN" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.aadConfiguration.adminGroupObjectIds[_] == STRING
    input.Body.properties.administratorConfiguration.adminUsername == STRING
    input.Body.properties.administratorConfiguration.sshPublicKeys[_].keyData == STRING
    input.Body.properties.controlPlaneNodeConfiguration.administratorConfiguration.adminUsername == STRING
    input.Body.properties.controlPlaneNodeConfiguration.administratorConfiguration.sshPublicKeys[_].keyData == STRING
    input.Body.properties.controlPlaneNodeConfiguration.availabilityZones[_] == STRING
    input.Body.properties.controlPlaneNodeConfiguration.count == INTEGER
    input.Body.properties.controlPlaneNodeConfiguration.vmSkuName == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].administratorConfiguration.adminUsername == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].administratorConfiguration.sshPublicKeys[_].keyData == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].agentOptions.hugepagesCount == INTEGER
    input.Body.properties.initialAgentPoolConfigurations[_].agentOptions.hugepagesSize == enum_AgentOptionsHugepagesSize[_]
    input.Body.properties.initialAgentPoolConfigurations[_].attachedNetworkConfiguration.l2Networks[_].networkId == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].attachedNetworkConfiguration.l2Networks[_].pluginType == enum_L2NetworkAttachmentConfigurationPluginType[_]
    input.Body.properties.initialAgentPoolConfigurations[_].attachedNetworkConfiguration.l3Networks[_].ipamEnabled == enum_L3NetworkAttachmentConfigurationIpamEnabled[_]
    input.Body.properties.initialAgentPoolConfigurations[_].attachedNetworkConfiguration.l3Networks[_].networkId == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].attachedNetworkConfiguration.l3Networks[_].pluginType == enum_L3NetworkAttachmentConfigurationPluginType[_]
    input.Body.properties.initialAgentPoolConfigurations[_].attachedNetworkConfiguration.trunkedNetworks[_].networkId == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].attachedNetworkConfiguration.trunkedNetworks[_].pluginType == enum_TrunkedNetworkAttachmentConfigurationPluginType[_]
    input.Body.properties.initialAgentPoolConfigurations[_].availabilityZones[_] == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].count == INTEGER
    input.Body.properties.initialAgentPoolConfigurations[_].labels[_].key == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].labels[_].value == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].mode == enum_InitialAgentPoolConfigurationMode[_]
    input.Body.properties.initialAgentPoolConfigurations[_].name == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].taints[_].key == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].taints[_].value == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].upgradeSettings.maxSurge == STRING
    input.Body.properties.initialAgentPoolConfigurations[_].vmSkuName == STRING
    input.Body.properties.kubernetesVersion == STRING
    input.Body.properties.managedResourceGroupConfiguration.location == STRING
    input.Body.properties.managedResourceGroupConfiguration.name == STRING
    input.Body.properties.networkConfiguration.attachedNetworkConfiguration.l2Networks[_].networkId == STRING
    input.Body.properties.networkConfiguration.attachedNetworkConfiguration.l2Networks[_].pluginType == enum_L2NetworkAttachmentConfigurationPluginType[_]
    input.Body.properties.networkConfiguration.attachedNetworkConfiguration.l3Networks[_].ipamEnabled == enum_L3NetworkAttachmentConfigurationIpamEnabled[_]
    input.Body.properties.networkConfiguration.attachedNetworkConfiguration.l3Networks[_].networkId == STRING
    input.Body.properties.networkConfiguration.attachedNetworkConfiguration.l3Networks[_].pluginType == enum_L3NetworkAttachmentConfigurationPluginType[_]
    input.Body.properties.networkConfiguration.attachedNetworkConfiguration.trunkedNetworks[_].networkId == STRING
    input.Body.properties.networkConfiguration.attachedNetworkConfiguration.trunkedNetworks[_].pluginType == enum_TrunkedNetworkAttachmentConfigurationPluginType[_]
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpAdvertisements[_].advertiseToFabric == enum_BgpAdvertisementAdvertiseToFabric[_]
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpAdvertisements[_].communities[_] == STRING
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpAdvertisements[_].ipAddressPools[_] == STRING
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpAdvertisements[_].peers[_] == STRING
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpPeers[_].bfdEnabled == enum_ServiceLoadBalancerBgpPeerBfdEnabled[_]
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpPeers[_].bgpMultiHop == enum_ServiceLoadBalancerBgpPeerBgpMultiHop[_]
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpPeers[_].holdTime == STRING
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpPeers[_].keepAliveTime == STRING
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpPeers[_].myAsn == INTEGER
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpPeers[_].name == STRING
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpPeers[_].password == STRING
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpPeers[_].peerAddress == STRING
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpPeers[_].peerAsn == INTEGER
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.bgpPeers[_].peerPort == INTEGER
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.fabricPeeringEnabled == enum_BgpServiceLoadBalancerConfigurationFabricPeeringEnabled[_]
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.ipAddressPools[_].addresses[_] == STRING
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.ipAddressPools[_].autoAssign == enum_IpAddressPoolAutoAssign[_]
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.ipAddressPools[_].name == STRING
    input.Body.properties.networkConfiguration.bgpServiceLoadBalancerConfiguration.ipAddressPools[_].onlyUseHostIps == enum_IpAddressPoolOnlyUseHostIps[_]
    input.Body.properties.networkConfiguration.cloudServicesNetworkId == STRING
    input.Body.properties.networkConfiguration.cniNetworkId == STRING
    input.Body.properties.networkConfiguration.dnsServiceIp == STRING
    input.Body.properties.networkConfiguration.podCidrs[_] == STRING
    input.Body.properties.networkConfiguration.serviceCidrs[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.kubernetesClusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

KubernetesClusters_Delete

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

KubernetesClusters_Get

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

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

KubernetesClusters_ListBySubscription

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

KubernetesClusters_RestartNode

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

KubernetesClusters_Update

valid {
    input.Body.properties.administratorConfiguration.sshPublicKeys[_].keyData == STRING
    input.Body.properties.controlPlaneNodeConfiguration.administratorConfiguration.sshPublicKeys[_].keyData == STRING
    input.Body.properties.controlPlaneNodeConfiguration.count == INTEGER
    input.Body.properties.kubernetesVersion == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.kubernetesClusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

L2Networks_CreateOrUpdate

enum_L2NetworkPropertiesHybridAksPluginType := [ "DPDK", "SRIOV", "OSDevice" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.hybridAksPluginType == enum_L2NetworkPropertiesHybridAksPluginType[_]
    input.Body.properties.interfaceName == STRING
    input.Body.properties.l2IsolationDomainId == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l2NetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

L2Networks_Delete

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

L2Networks_Get

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

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

L2Networks_ListBySubscription

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

L2Networks_Update

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

L3Networks_CreateOrUpdate

enum_L3NetworkPropertiesHybridAksIpamEnabled := [ "True", "False" ]
enum_L3NetworkPropertiesHybridAksPluginType := [ "DPDK", "SRIOV", "OSDevice" ]
enum_L3NetworkPropertiesIpAllocationType := [ "IPV4", "IPV6", "DualStack" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.hybridAksIpamEnabled == enum_L3NetworkPropertiesHybridAksIpamEnabled[_]
    input.Body.properties.hybridAksPluginType == enum_L3NetworkPropertiesHybridAksPluginType[_]
    input.Body.properties.interfaceName == STRING
    input.Body.properties.ipAllocationType == enum_L3NetworkPropertiesIpAllocationType[_]
    input.Body.properties.ipv4ConnectedPrefix == STRING
    input.Body.properties.ipv6ConnectedPrefix == STRING
    input.Body.properties.l3IsolationDomainId == STRING
    input.Body.properties.vlan == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3NetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

L3Networks_Delete

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

L3Networks_Get

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

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

L3Networks_ListBySubscription

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

L3Networks_Update

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

MetricsConfigurations_CreateOrUpdate

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.collectionInterval == INTEGER
    input.Body.properties.enabledMetrics[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.metricsConfigurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MetricsConfigurations_Delete

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

MetricsConfigurations_Get

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

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

MetricsConfigurations_Update

valid {
    input.Body.properties.collectionInterval == INTEGER
    input.Body.properties.enabledMetrics[_] == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.metricsConfigurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operations_List

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

RackSkus_Get

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

RackSkus_ListBySubscription

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

Racks_CreateOrUpdate

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.availabilityZone == STRING
    input.Body.properties.rackLocation == STRING
    input.Body.properties.rackSerialNumber == STRING
    input.Body.properties.rackSkuId == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.rackName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Racks_Delete

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

Racks_Get

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

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

Racks_ListBySubscription

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

Racks_Update

valid {
    input.Body.properties.rackLocation == STRING
    input.Body.properties.rackSerialNumber == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.rackName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StorageAppliances_CreateOrUpdate

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.administratorCredentials.password == STRING
    input.Body.properties.administratorCredentials.username == STRING
    input.Body.properties.rackId == STRING
    input.Body.properties.rackSlot == INTEGER
    input.Body.properties.serialNumber == STRING
    input.Body.properties.storageApplianceSkuId == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.storageApplianceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StorageAppliances_Delete

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

StorageAppliances_DisableRemoteVendorManagement

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

StorageAppliances_EnableRemoteVendorManagement

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

StorageAppliances_Get

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

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

StorageAppliances_ListBySubscription

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

StorageAppliances_RunReadCommands

valid {
    input.Body.commands[_].arguments[_] == STRING
    input.Body.commands[_].command == STRING
    input.Body.limitTimeSeconds == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.storageApplianceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StorageAppliances_Update

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

TrunkedNetworks_CreateOrUpdate

enum_TrunkedNetworkPropertiesHybridAksPluginType := [ "DPDK", "SRIOV", "OSDevice" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.hybridAksPluginType == enum_TrunkedNetworkPropertiesHybridAksPluginType[_]
    input.Body.properties.interfaceName == STRING
    input.Body.properties.isolationDomainIds[_] == STRING
    input.Body.properties.vlans[_] == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.trunkedNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TrunkedNetworks_Delete

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

TrunkedNetworks_Get

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

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

TrunkedNetworks_ListBySubscription

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

TrunkedNetworks_Update

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

VirtualMachines_AttachVolume

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

VirtualMachines_CreateOrUpdate

enum_NetworkAttachmentDefaultGateway := [ "True", "False" ]
enum_NetworkAttachmentIpAllocationMethod := [ "Dynamic", "Static", "Disabled" ]
enum_OsDiskCreateOption := [ "Ephemeral" ]
enum_OsDiskDeleteOption := [ "Delete" ]
enum_VirtualMachinePlacementHintHintType := [ "Affinity", "AntiAffinity" ]
enum_VirtualMachinePlacementHintSchedulingExecution := [ "Hard", "Soft" ]
enum_VirtualMachinePlacementHintScope := [ "Rack", "Machine" ]
enum_VirtualMachinePropertiesBootMethod := [ "UEFI", "BIOS" ]
enum_VirtualMachinePropertiesIsolateEmulatorThread := [ "True", "False" ]
enum_VirtualMachinePropertiesVirtioInterface := [ "Modern", "Transitional" ]
enum_VirtualMachinePropertiesVmDeviceModel := [ "T1", "T2" ]

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.adminUsername == STRING
    input.Body.properties.bootMethod == enum_VirtualMachinePropertiesBootMethod[_]
    input.Body.properties.cloudServicesNetworkAttachment.attachedNetworkId == STRING
    input.Body.properties.cloudServicesNetworkAttachment.defaultGateway == enum_NetworkAttachmentDefaultGateway[_]
    input.Body.properties.cloudServicesNetworkAttachment.ipAllocationMethod == enum_NetworkAttachmentIpAllocationMethod[_]
    input.Body.properties.cloudServicesNetworkAttachment.ipv4Address == STRING
    input.Body.properties.cloudServicesNetworkAttachment.ipv6Address == STRING
    input.Body.properties.cloudServicesNetworkAttachment.networkAttachmentName == STRING
    input.Body.properties.cpuCores == INTEGER
    input.Body.properties.isolateEmulatorThread == enum_VirtualMachinePropertiesIsolateEmulatorThread[_]
    input.Body.properties.memorySizeGB == INTEGER
    input.Body.properties.networkAttachments[_].attachedNetworkId == STRING
    input.Body.properties.networkAttachments[_].defaultGateway == enum_NetworkAttachmentDefaultGateway[_]
    input.Body.properties.networkAttachments[_].ipAllocationMethod == enum_NetworkAttachmentIpAllocationMethod[_]
    input.Body.properties.networkAttachments[_].ipv4Address == STRING
    input.Body.properties.networkAttachments[_].ipv6Address == STRING
    input.Body.properties.networkAttachments[_].networkAttachmentName == STRING
    input.Body.properties.networkData == STRING
    input.Body.properties.placementHints[_].hintType == enum_VirtualMachinePlacementHintHintType[_]
    input.Body.properties.placementHints[_].resourceId == STRING
    input.Body.properties.placementHints[_].schedulingExecution == enum_VirtualMachinePlacementHintSchedulingExecution[_]
    input.Body.properties.placementHints[_].scope == enum_VirtualMachinePlacementHintScope[_]
    input.Body.properties.sshPublicKeys[_].keyData == STRING
    input.Body.properties.storageProfile.osDisk.createOption == enum_OsDiskCreateOption[_]
    input.Body.properties.storageProfile.osDisk.deleteOption == enum_OsDiskDeleteOption[_]
    input.Body.properties.storageProfile.osDisk.diskSizeGB == INTEGER
    input.Body.properties.storageProfile.volumeAttachments[_] == STRING
    input.Body.properties.userData == STRING
    input.Body.properties.virtioInterface == enum_VirtualMachinePropertiesVirtioInterface[_]
    input.Body.properties.vmDeviceModel == enum_VirtualMachinePropertiesVmDeviceModel[_]
    input.Body.properties.vmImage == STRING
    input.Body.properties.vmImageRepositoryCredentials.password == STRING
    input.Body.properties.vmImageRepositoryCredentials.registryUrl == STRING
    input.Body.properties.vmImageRepositoryCredentials.username == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualMachines_Delete

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

VirtualMachines_DetachVolume

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

VirtualMachines_Get

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

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

VirtualMachines_ListBySubscription

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

VirtualMachines_PowerOff

enum_VirtualMachinePowerOffParametersSkipShutdown := [ "True", "False" ]

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

VirtualMachines_Reimage

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

VirtualMachines_Restart

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

VirtualMachines_Start

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

VirtualMachines_Update

valid {
    input.Body.properties.vmImageRepositoryCredentials.password == STRING
    input.Body.properties.vmImageRepositoryCredentials.registryUrl == STRING
    input.Body.properties.vmImageRepositoryCredentials.username == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.virtualMachineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_CreateOrUpdate

valid {
    input.Body.extendedLocation.name == STRING
    input.Body.extendedLocation.type == STRING
    input.Body.properties.sizeMiB == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.volumeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_Delete

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

Volumes_Get

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

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

Volumes_ListBySubscription

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

Volumes_Update

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

Updated 7 months ago