MICROSOFT.SERVICEBUS
DisasterRecoveryConfigs_BreakPairing
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.alias == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DisasterRecoveryConfigs_CheckNameAvailability
valid {
input.Body.name == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DisasterRecoveryConfigs_CreateOrUpdate
valid {
input.Body.properties.partnerNamespace == STRING
input.Body.properties.alternateName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.alias == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DisasterRecoveryConfigs_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.alias == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DisasterRecoveryConfigs_FailOver
valid {
input.Body.properties.IsSafeFailover == BOOLEAN
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.alias == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DisasterRecoveryConfigs_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.alias == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DisasterRecoveryConfigs_GetAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.alias == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DisasterRecoveryConfigs_List
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DisasterRecoveryConfigs_ListAuthorizationRules
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.alias == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
DisasterRecoveryConfigs_ListKeys
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.alias == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
EventHub_GetAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.eventhubName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
EventHub_ListAuthorizationRules
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.eventhubName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
EventHubs_ListByNamespace
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
MessagingPlan_CreateOrUpdate
valid {
input.Body.properties.sku == INTEGER
input.Body.properties.selectedEventHubUnit == INTEGER
input.Body.properties.revision == INTEGER
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
MessagingPlan_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
MigrationConfigs_CompleteMigration
enum_ConfigNameParameter := [ "$default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.configName == enum_ConfigNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
MigrationConfigs_CreateAndStartMigration
enum_ConfigNameParameter := [ "$default" ]
valid {
input.Body.properties.targetNamespace == STRING
input.Body.properties.postMigrationName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.configName == enum_ConfigNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
MigrationConfigs_Delete
enum_ConfigNameParameter := [ "$default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.configName == enum_ConfigNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
MigrationConfigs_Get
enum_ConfigNameParameter := [ "$default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.configName == enum_ConfigNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
MigrationConfigs_List
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
MigrationConfigs_Revert
enum_ConfigNameParameter := [ "$default" ]
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.configName == enum_ConfigNameParameter[_]
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_CheckNameAvailability
valid {
input.Body.name == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
Namespaces_CheckNameSpaceAvailability
valid {
input.Body.name == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
Namespaces_CreateOrUpdate
enum_ConnectionStateStatus := [ "Pending", "Approved", "Rejected", "Disconnected" ]
enum_EncryptionKeySource := [ "Microsoft.KeyVault" ]
enum_IdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_PrivateEndpointConnectionPropertiesProvisioningState := [ "Creating", "Updating", "Deleting", "Succeeded", "Canceled", "Failed" ]
enum_SBNamespacePropertiesMinimumTlsVersion := [ "1.0", "1.1", "1.2" ]
enum_SBNamespacePropertiesPublicNetworkAccess := [ "Enabled", "Disabled", "SecuredByPerimeter" ]
enum_SBSkuName := [ "Basic", "Standard", "Premium" ]
enum_SBSkuTier := [ "Basic", "Standard", "Premium" ]
valid {
input.Body.sku.name == enum_SBSkuName[_]
input.Body.sku.tier == enum_SBSkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.identity.type == enum_IdentityType[_]
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.properties.minimumTlsVersion == enum_SBNamespacePropertiesMinimumTlsVersion[_]
input.Body.properties.zoneRedundant == BOOLEAN
input.Body.properties.encryption.keyVaultProperties[_].keyName == STRING
input.Body.properties.encryption.keyVaultProperties[_].keyVaultUri == STRING
input.Body.properties.encryption.keyVaultProperties[_].keyVersion == STRING
input.Body.properties.encryption.keyVaultProperties[_].identity.userAssignedIdentity == STRING
input.Body.properties.encryption.keySource == enum_EncryptionKeySource[_]
input.Body.properties.encryption.requireInfrastructureEncryption == BOOLEAN
input.Body.properties.privateEndpointConnections[_].properties.privateEndpoint.id == STRING
input.Body.properties.privateEndpointConnections[_].properties.privateLinkServiceConnectionState.status == enum_ConnectionStateStatus[_]
input.Body.properties.privateEndpointConnections[_].properties.privateLinkServiceConnectionState.description == STRING
input.Body.properties.privateEndpointConnections[_].properties.provisioningState == enum_PrivateEndpointConnectionPropertiesProvisioningState[_]
input.Body.properties.disableLocalAuth == BOOLEAN
input.Body.properties.alternateName == STRING
input.Body.properties.publicNetworkAccess == enum_SBNamespacePropertiesPublicNetworkAccess[_]
input.Body.properties.premiumMessagingPartitions == INTEGER
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_CreateOrUpdateAuthorizationRule
enum_SBAuthorizationRulePropertiesRights := [ "Manage", "Send", "Listen" ]
valid {
input.Body.properties.rights[_] == enum_SBAuthorizationRulePropertiesRights[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_CreateOrUpdateIpFilterRule
enum_IpFilterRulePropertiesAction := [ "Accept", "Reject" ]
valid {
input.Body.properties.ipMask == STRING
input.Body.properties.action == enum_IpFilterRulePropertiesAction[_]
input.Body.properties.filterName == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.ipFilterRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_CreateOrUpdateNetworkRuleSet
enum_NWRuleSetIpRulesAction := [ "Allow" ]
enum_NetworkRuleSetPropertiesDefaultAction := [ "Allow", "Deny" ]
enum_NetworkRuleSetPropertiesPublicNetworkAccess := [ "Enabled", "Disabled" ]
valid {
input.Body.properties.trustedServiceAccessEnabled == BOOLEAN
input.Body.properties.defaultAction == enum_NetworkRuleSetPropertiesDefaultAction[_]
input.Body.properties.virtualNetworkRules[_].subnet.id == STRING
input.Body.properties.virtualNetworkRules[_].ignoreMissingVnetServiceEndpoint == BOOLEAN
input.Body.properties.ipRules[_].ipMask == STRING
input.Body.properties.ipRules[_].action == enum_NWRuleSetIpRulesAction[_]
input.Body.properties.publicNetworkAccess == enum_NetworkRuleSetPropertiesPublicNetworkAccess[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_CreateOrUpdateVirtualNetworkRule
valid {
input.Body.properties.virtualNetworkSubnetId == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.virtualNetworkRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_DeleteAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_DeleteIpFilterRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.ipFilterRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_DeleteVirtualNetworkRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.virtualNetworkRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_GetAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_GetIpFilterRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.ipFilterRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_GetNetworkRuleSet
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_GetVirtualNetworkRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.virtualNetworkRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_List
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
Namespaces_ListAuthorizationRules
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_ListByResourceGroup
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_ListIpFilterRules
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_ListKeys
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_ListNetworkRuleSets
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_ListPostAuthorizationRules
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_ListVirtualNetworkRules
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_Migrate
enum_SBNamespaceMigrateTargetNamespaceType := [ "Messaging", "NotificationHub", "Mixed", "EventHub", "Relay" ]
valid {
input.Body.targetNamespaceType == enum_SBNamespaceMigrateTargetNamespaceType[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_PostAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_RegenerateKeys
enum_RegenerateAccessKeyParametersKeyType := [ "PrimaryKey", "SecondaryKey" ]
valid {
input.Body.keyType == enum_RegenerateAccessKeyParametersKeyType[_]
input.Body.key == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Namespaces_Update
enum_ConnectionStateStatus := [ "Pending", "Approved", "Rejected", "Disconnected" ]
enum_EncryptionKeySource := [ "Microsoft.KeyVault" ]
enum_IdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_PrivateEndpointConnectionPropertiesProvisioningState := [ "Creating", "Updating", "Deleting", "Succeeded", "Canceled", "Failed" ]
enum_SBSkuName := [ "Basic", "Standard", "Premium" ]
enum_SBSkuTier := [ "Basic", "Standard", "Premium" ]
valid {
input.Body.sku.name == enum_SBSkuName[_]
input.Body.sku.tier == enum_SBSkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.properties.encryption.keyVaultProperties[_].keyName == STRING
input.Body.properties.encryption.keyVaultProperties[_].keyVaultUri == STRING
input.Body.properties.encryption.keyVaultProperties[_].keyVersion == STRING
input.Body.properties.encryption.keyVaultProperties[_].identity.userAssignedIdentity == STRING
input.Body.properties.encryption.keySource == enum_EncryptionKeySource[_]
input.Body.properties.encryption.requireInfrastructureEncryption == BOOLEAN
input.Body.properties.privateEndpointConnections[_].properties.privateEndpoint.id == STRING
input.Body.properties.privateEndpointConnections[_].properties.privateLinkServiceConnectionState.status == enum_ConnectionStateStatus[_]
input.Body.properties.privateEndpointConnections[_].properties.privateLinkServiceConnectionState.description == STRING
input.Body.properties.privateEndpointConnections[_].properties.provisioningState == enum_PrivateEndpointConnectionPropertiesProvisioningState[_]
input.Body.properties.disableLocalAuth == BOOLEAN
input.Body.properties.alternateName == STRING
input.Body.identity.type == enum_IdentityType[_]
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == 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
}
PremiumMessagingRegions_List
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
PrivateEndpointConnections_CreateOrUpdate
enum_ConnectionStateStatus := [ "Pending", "Approved", "Rejected", "Disconnected" ]
enum_PrivateEndpointConnectionPropertiesProvisioningState := [ "Creating", "Updating", "Deleting", "Succeeded", "Canceled", "Failed" ]
valid {
input.Body.properties.privateEndpoint.id == STRING
input.Body.properties.privateLinkServiceConnectionState.status == enum_ConnectionStateStatus[_]
input.Body.properties.privateLinkServiceConnectionState.description == STRING
input.Body.properties.provisioningState == enum_PrivateEndpointConnectionPropertiesProvisioningState[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateEndpointConnections_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateEndpointConnections_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateEndpointConnections_List
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
PrivateLinkResources_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_CreateOrUpdate
enum_EntityStatus := [ "Active", "Disabled", "Restoring", "SendDisabled", "ReceiveDisabled", "Creating", "Deleting", "Renaming", "Unknown" ]
valid {
input.Body.properties.lockDuration == STRING
input.Body.properties.maxSizeInMegabytes == INTEGER
input.Body.properties.maxMessageSizeInKilobytes == INTEGER
input.Body.properties.requiresDuplicateDetection == BOOLEAN
input.Body.properties.requiresSession == BOOLEAN
input.Body.properties.defaultMessageTimeToLive == STRING
input.Body.properties.deadLetteringOnMessageExpiration == BOOLEAN
input.Body.properties.duplicateDetectionHistoryTimeWindow == STRING
input.Body.properties.maxDeliveryCount == INTEGER
input.Body.properties.status == enum_EntityStatus[_]
input.Body.properties.enableBatchedOperations == BOOLEAN
input.Body.properties.autoDeleteOnIdle == STRING
input.Body.properties.enablePartitioning == BOOLEAN
input.Body.properties.enableExpress == BOOLEAN
input.Body.properties.forwardTo == STRING
input.Body.properties.forwardDeadLetteredMessagesTo == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.queueName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_CreateOrUpdateAuthorizationRule
enum_SBAuthorizationRulePropertiesRights := [ "Manage", "Send", "Listen" ]
valid {
input.Body.properties.rights[_] == enum_SBAuthorizationRulePropertiesRights[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.queueName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.queueName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_DeleteAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.queueName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.queueName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_GetAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.queueName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_ListAuthorizationRules
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.queueName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_ListByNamespace
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_ListKeys
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.queueName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_PostAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.queueName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Queues_RegenerateKeys
enum_RegenerateAccessKeyParametersKeyType := [ "PrimaryKey", "SecondaryKey" ]
valid {
input.Body.keyType == enum_RegenerateAccessKeyParametersKeyType[_]
input.Body.key == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.queueName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Regions_ListBySku
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.sku == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
Rules_CreateOrUpdate
enum_FilterType := [ "SqlFilter", "CorrelationFilter" ]
valid {
input.Body.properties.action.sqlExpression == STRING
input.Body.properties.action.compatibilityLevel == INTEGER
input.Body.properties.action.requiresPreprocessing == BOOLEAN
input.Body.properties.filterType == enum_FilterType[_]
input.Body.properties.sqlFilter.sqlExpression == STRING
input.Body.properties.sqlFilter.compatibilityLevel == INTEGER
input.Body.properties.sqlFilter.requiresPreprocessing == BOOLEAN
input.Body.properties.correlationFilter.properties.STRING == STRING
input.Body.properties.correlationFilter.correlationId == STRING
input.Body.properties.correlationFilter.messageId == STRING
input.Body.properties.correlationFilter.to == STRING
input.Body.properties.correlationFilter.replyTo == STRING
input.Body.properties.correlationFilter.label == STRING
input.Body.properties.correlationFilter.sessionId == STRING
input.Body.properties.correlationFilter.replyToSessionId == STRING
input.Body.properties.correlationFilter.contentType == STRING
input.Body.properties.correlationFilter.requiresPreprocessing == BOOLEAN
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ruleName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Rules_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ruleName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Rules_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ruleName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Rules_ListBySubscriptions
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Subscriptions_CreateOrUpdate
enum_EntityStatus := [ "Active", "Disabled", "Restoring", "SendDisabled", "ReceiveDisabled", "Creating", "Deleting", "Renaming", "Unknown" ]
valid {
input.Body.properties.lockDuration == STRING
input.Body.properties.requiresSession == BOOLEAN
input.Body.properties.defaultMessageTimeToLive == STRING
input.Body.properties.deadLetteringOnFilterEvaluationExceptions == BOOLEAN
input.Body.properties.deadLetteringOnMessageExpiration == BOOLEAN
input.Body.properties.duplicateDetectionHistoryTimeWindow == STRING
input.Body.properties.maxDeliveryCount == INTEGER
input.Body.properties.status == enum_EntityStatus[_]
input.Body.properties.enableBatchedOperations == BOOLEAN
input.Body.properties.autoDeleteOnIdle == STRING
input.Body.properties.forwardTo == STRING
input.Body.properties.forwardDeadLetteredMessagesTo == STRING
input.Body.properties.isClientAffine == BOOLEAN
input.Body.properties.clientAffineProperties.clientId == STRING
input.Body.properties.clientAffineProperties.isDurable == BOOLEAN
input.Body.properties.clientAffineProperties.isShared == BOOLEAN
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Subscriptions_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Subscriptions_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Subscriptions_ListByTopic
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_CreateOrUpdate
enum_EntityStatus := [ "Active", "Disabled", "Restoring", "SendDisabled", "ReceiveDisabled", "Creating", "Deleting", "Renaming", "Unknown" ]
valid {
input.Body.properties.defaultMessageTimeToLive == STRING
input.Body.properties.maxSizeInMegabytes == INTEGER
input.Body.properties.maxMessageSizeInKilobytes == INTEGER
input.Body.properties.requiresDuplicateDetection == BOOLEAN
input.Body.properties.duplicateDetectionHistoryTimeWindow == STRING
input.Body.properties.enableBatchedOperations == BOOLEAN
input.Body.properties.status == enum_EntityStatus[_]
input.Body.properties.supportOrdering == BOOLEAN
input.Body.properties.autoDeleteOnIdle == STRING
input.Body.properties.enablePartitioning == BOOLEAN
input.Body.properties.enableExpress == BOOLEAN
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_CreateOrUpdateAuthorizationRule
enum_SBAuthorizationRulePropertiesRights := [ "Manage", "Send", "Listen" ]
valid {
input.Body.properties.rights[_] == enum_SBAuthorizationRulePropertiesRights[_]
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_Delete
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_DeleteAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_Get
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_GetAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_ListAuthorizationRules
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_ListByNamespace
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.Qs.$skip == INTEGER
input.Qs.$top == INTEGER
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_ListKeys
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_PostAuthorizationRule
valid {
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Topics_RegenerateKeys
enum_RegenerateAccessKeyParametersKeyType := [ "PrimaryKey", "SecondaryKey" ]
valid {
input.Body.keyType == enum_RegenerateAccessKeyParametersKeyType[_]
input.Body.key == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.namespaceName == STRING
input.ReqMap.topicName == STRING
input.ReqMap.authorizationRuleName == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Updated 6 months ago