MICROSOFT.AVS

Addons_CreateOrUpdate

enum_AddonPropertiesAddonType := [ "SRM", "VR", "HCX", "Arc" ]

valid {
    input.Body.properties.addonType == enum_AddonPropertiesAddonType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.addonName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Addons_Delete

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

Addons_Get

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

Addons_List

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

Authorizations_CreateOrUpdate

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

Authorizations_Delete

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

Authorizations_Get

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

Authorizations_List

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

CloudLinks_CreateOrUpdate

valid {
    input.Body.properties.linkedCloud == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.cloudLinkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudLinks_Delete

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

CloudLinks_Get

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

CloudLinks_List

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

Clusters_CreateOrUpdate

valid {
    input.Body.sku.name == STRING
    input.Body.properties.STRING == STRING
    input.Body.properties.clusterSize == INTEGER
    input.Body.properties.hosts[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == 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.privateCloudName == 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.privateCloudName == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_List

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

Clusters_ListZones

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

Clusters_Update

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

Datastores_CreateOrUpdate

enum_DiskPoolVolumeMountOption := [ "MOUNT", "ATTACH" ]

valid {
    input.Body.properties.netAppVolume.id == STRING
    input.Body.properties.diskPoolVolume.targetId == STRING
    input.Body.properties.diskPoolVolume.lunName == STRING
    input.Body.properties.diskPoolVolume.mountOption == enum_DiskPoolVolumeMountOption[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.datastoreName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Datastores_Delete

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

Datastores_Get

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

Datastores_List

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

GlobalReachConnections_CreateOrUpdate

valid {
    input.Body.properties.authorizationKey == STRING
    input.Body.properties.peerExpressRouteCircuit == STRING
    input.Body.properties.expressRouteId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.globalReachConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

GlobalReachConnections_Delete

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

GlobalReachConnections_Get

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

GlobalReachConnections_List

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

HcxEnterpriseSites_CreateOrUpdate

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

HcxEnterpriseSites_Delete

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

HcxEnterpriseSites_Get

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

HcxEnterpriseSites_List

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

Locations_CheckQuotaAvailability

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

Locations_CheckTrialAvailability

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

Operations_List

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

PlacementPolicies_CreateOrUpdate

enum_PlacementPolicyPropertiesState := [ "Enabled", "Disabled" ]
enum_PlacementPolicyPropertiesType := [ "VmVm", "VmHost" ]

valid {
    input.Body.properties.type == enum_PlacementPolicyPropertiesType[_]
    input.Body.properties.state == enum_PlacementPolicyPropertiesState[_]
    input.Body.properties.displayName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.placementPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PlacementPolicies_Delete

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

PlacementPolicies_Get

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

PlacementPolicies_List

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

PlacementPolicies_Update

enum_AffinityStrength := [ "Should", "Must" ]
enum_AzureHybridBenefitType := [ "SqlHost", "None" ]
enum_PlacementPolicyUpdatePropertiesState := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.state == enum_PlacementPolicyUpdatePropertiesState[_]
    input.Body.properties.vmMembers[_] == STRING
    input.Body.properties.hostMembers[_] == STRING
    input.Body.properties.affinityStrength == enum_AffinityStrength[_]
    input.Body.properties.azureHybridBenefitType == enum_AzureHybridBenefitType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.placementPolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateClouds_CreateOrUpdate

enum_AvailabilityPropertiesStrategy := [ "SingleZone", "DualZone" ]
enum_EncryptionStatus := [ "Enabled", "Disabled" ]
enum_IdentitySourceSsl := [ "Enabled", "Disabled" ]
enum_PrivateCloudIdentityType := [ "SystemAssigned", "None" ]
enum_PrivateCloudUpdatePropertiesInternet := [ "Enabled", "Disabled" ]

valid {
    input.Body.sku.name == STRING
    input.Body.properties.circuit == {}
    input.Body.properties.networkBlock == STRING
    input.Body.properties.vcenterPassword == STRING
    input.Body.properties.nsxtPassword == STRING
    input.Body.properties.secondaryCircuit == {}
    input.Body.properties.managementCluster.STRING == STRING
    input.Body.properties.managementCluster.clusterSize == INTEGER
    input.Body.properties.managementCluster.hosts[_] == STRING
    input.Body.properties.internet == enum_PrivateCloudUpdatePropertiesInternet[_]
    input.Body.properties.identitySources[_].name == STRING
    input.Body.properties.identitySources[_].alias == STRING
    input.Body.properties.identitySources[_].domain == STRING
    input.Body.properties.identitySources[_].baseUserDN == STRING
    input.Body.properties.identitySources[_].baseGroupDN == STRING
    input.Body.properties.identitySources[_].primaryServer == STRING
    input.Body.properties.identitySources[_].secondaryServer == STRING
    input.Body.properties.identitySources[_].ssl == enum_IdentitySourceSsl[_]
    input.Body.properties.identitySources[_].username == STRING
    input.Body.properties.identitySources[_].password == STRING
    input.Body.properties.availability.strategy == enum_AvailabilityPropertiesStrategy[_]
    input.Body.properties.availability.zone == INTEGER
    input.Body.properties.availability.secondaryZone == INTEGER
    input.Body.properties.encryption.status == enum_EncryptionStatus[_]
    input.Body.properties.encryption.keyVaultProperties.keyName == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVersion == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVaultUrl == STRING
    input.Body.properties.extendedNetworkBlocks[_] == STRING
    input.Body.identity.type == enum_PrivateCloudIdentityType[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateClouds_Delete

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

PrivateClouds_Get

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

PrivateClouds_List

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
}

PrivateClouds_ListAdminCredentials

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

PrivateClouds_ListInSubscription

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

PrivateClouds_RotateNsxtPassword

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

PrivateClouds_RotateVcenterPassword

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

PrivateClouds_Update

enum_AvailabilityPropertiesStrategy := [ "SingleZone", "DualZone" ]
enum_EncryptionStatus := [ "Enabled", "Disabled" ]
enum_IdentitySourceSsl := [ "Enabled", "Disabled" ]
enum_PrivateCloudIdentityType := [ "SystemAssigned", "None" ]
enum_PrivateCloudUpdatePropertiesInternet := [ "Enabled", "Disabled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.managementCluster.STRING == STRING
    input.Body.properties.internet == enum_PrivateCloudUpdatePropertiesInternet[_]
    input.Body.properties.identitySources[_].name == STRING
    input.Body.properties.identitySources[_].alias == STRING
    input.Body.properties.identitySources[_].domain == STRING
    input.Body.properties.identitySources[_].baseUserDN == STRING
    input.Body.properties.identitySources[_].baseGroupDN == STRING
    input.Body.properties.identitySources[_].primaryServer == STRING
    input.Body.properties.identitySources[_].secondaryServer == STRING
    input.Body.properties.identitySources[_].ssl == enum_IdentitySourceSsl[_]
    input.Body.properties.identitySources[_].username == STRING
    input.Body.properties.identitySources[_].password == STRING
    input.Body.properties.availability.strategy == enum_AvailabilityPropertiesStrategy[_]
    input.Body.properties.availability.zone == INTEGER
    input.Body.properties.availability.secondaryZone == INTEGER
    input.Body.properties.encryption.status == enum_EncryptionStatus[_]
    input.Body.properties.encryption.keyVaultProperties.keyName == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVersion == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVaultUrl == STRING
    input.Body.properties.extendedNetworkBlocks[_] == STRING
    input.Body.identity.type == enum_PrivateCloudIdentityType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ScriptCmdlets_Get

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

ScriptCmdlets_List

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

ScriptExecutions_CreateOrUpdate

enum_ScriptExecutionParameterType := [ "Value", "SecureValue", "Credential" ]

valid {
    input.Body.properties.scriptCmdletId == STRING
    input.Body.properties.parameters[_].name == STRING
    input.Body.properties.parameters[_].type == enum_ScriptExecutionParameterType[_]
    input.Body.properties.hiddenParameters[_].name == STRING
    input.Body.properties.hiddenParameters[_].type == enum_ScriptExecutionParameterType[_]
    input.Body.properties.failureReason == STRING
    input.Body.properties.timeout == STRING
    input.Body.properties.retention == STRING
    input.Body.properties.output[_] == STRING
    input.Body.properties.namedOutputs.STRING.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.scriptExecutionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ScriptExecutions_Delete

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

ScriptExecutions_Get

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

ScriptExecutions_GetExecutionLogs

enum_scriptOutputStreamType := [ "Information", "Warning", "Output", "Error" ]

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

ScriptExecutions_List

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

ScriptPackages_Get

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

ScriptPackages_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == 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.privateCloudName == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.virtualMachineId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VirtualMachines_List

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

VirtualMachines_RestrictMovement

enum_VirtualMachineRestrictMovementState := [ "Enabled", "Disabled" ]

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

WorkloadNetworks_CreateDhcp

enum_WorkloadNetworkDhcpEntityDhcpType := [ "SERVER", "RELAY" ]

valid {
    input.Body.properties.dhcpType == enum_WorkloadNetworkDhcpEntityDhcpType[_]
    input.Body.properties.displayName == STRING
    input.Body.properties.revision == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.dhcpId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_CreateDnsService

enum_WorkloadNetworkDnsServicePropertiesLogLevel := [ "DEBUG", "INFO", "WARNING", "ERROR", "FATAL" ]

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.dnsServiceIp == STRING
    input.Body.properties.defaultDnsZone == STRING
    input.Body.properties.fqdnZones[_] == STRING
    input.Body.properties.logLevel == enum_WorkloadNetworkDnsServicePropertiesLogLevel[_]
    input.Body.properties.revision == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.dnsServiceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_CreateDnsZone

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.domain[_] == STRING
    input.Body.properties.dnsServerIps[_] == STRING
    input.Body.properties.sourceIp == STRING
    input.Body.properties.dnsServices == INTEGER
    input.Body.properties.revision == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.dnsZoneId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_CreatePortMirroring

enum_WorkloadNetworkPortMirroringPropertiesDirection := [ "INGRESS", "EGRESS", "BIDIRECTIONAL" ]

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.direction == enum_WorkloadNetworkPortMirroringPropertiesDirection[_]
    input.Body.properties.source == STRING
    input.Body.properties.destination == STRING
    input.Body.properties.revision == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.portMirroringId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_CreatePublicIP

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.numberOfPublicIPs == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.publicIPId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_CreateSegments

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.connectedGateway == STRING
    input.Body.properties.subnet.dhcpRanges[_] == STRING
    input.Body.properties.subnet.gatewayAddress == STRING
    input.Body.properties.revision == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.segmentId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_CreateVMGroup

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.members[_] == STRING
    input.Body.properties.revision == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.vmGroupId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_DeleteDhcp

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

WorkloadNetworks_DeleteDnsService

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

WorkloadNetworks_DeleteDnsZone

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

WorkloadNetworks_DeletePortMirroring

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

WorkloadNetworks_DeletePublicIP

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

WorkloadNetworks_DeleteSegment

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

WorkloadNetworks_DeleteVMGroup

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

WorkloadNetworks_Get

enum_workloadNetworkName := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.workloadNetworkName == enum_workloadNetworkName[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_GetDhcp

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

WorkloadNetworks_GetDnsService

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

WorkloadNetworks_GetDnsZone

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

WorkloadNetworks_GetGateway

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

WorkloadNetworks_GetPortMirroring

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

WorkloadNetworks_GetPublicIP

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

WorkloadNetworks_GetSegment

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

WorkloadNetworks_GetVMGroup

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

WorkloadNetworks_GetVirtualMachine

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

WorkloadNetworks_List

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

WorkloadNetworks_ListDhcp

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

WorkloadNetworks_ListDnsServices

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

WorkloadNetworks_ListDnsZones

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

WorkloadNetworks_ListGateways

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

WorkloadNetworks_ListPortMirroring

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

WorkloadNetworks_ListPublicIPs

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

WorkloadNetworks_ListSegments

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

WorkloadNetworks_ListVMGroups

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

WorkloadNetworks_ListVirtualMachines

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

WorkloadNetworks_UpdateDhcp

enum_WorkloadNetworkDhcpEntityDhcpType := [ "SERVER", "RELAY" ]

valid {
    input.Body.properties.dhcpType == enum_WorkloadNetworkDhcpEntityDhcpType[_]
    input.Body.properties.displayName == STRING
    input.Body.properties.revision == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.dhcpId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_UpdateDnsService

enum_WorkloadNetworkDnsServicePropertiesLogLevel := [ "DEBUG", "INFO", "WARNING", "ERROR", "FATAL" ]

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.dnsServiceIp == STRING
    input.Body.properties.defaultDnsZone == STRING
    input.Body.properties.fqdnZones[_] == STRING
    input.Body.properties.logLevel == enum_WorkloadNetworkDnsServicePropertiesLogLevel[_]
    input.Body.properties.revision == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.dnsServiceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_UpdateDnsZone

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.domain[_] == STRING
    input.Body.properties.dnsServerIps[_] == STRING
    input.Body.properties.sourceIp == STRING
    input.Body.properties.dnsServices == INTEGER
    input.Body.properties.revision == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.dnsZoneId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_UpdatePortMirroring

enum_WorkloadNetworkPortMirroringPropertiesDirection := [ "INGRESS", "EGRESS", "BIDIRECTIONAL" ]

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.direction == enum_WorkloadNetworkPortMirroringPropertiesDirection[_]
    input.Body.properties.source == STRING
    input.Body.properties.destination == STRING
    input.Body.properties.revision == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.portMirroringId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_UpdateSegments

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.connectedGateway == STRING
    input.Body.properties.subnet.dhcpRanges[_] == STRING
    input.Body.properties.subnet.gatewayAddress == STRING
    input.Body.properties.revision == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.segmentId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WorkloadNetworks_UpdateVMGroup

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.members[_] == STRING
    input.Body.properties.revision == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.privateCloudName == STRING
    input.ReqMap.vmGroupId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}