MICROSOFT.SIGNALRSERVICE
Operations_List
valid {
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
SignalRCustomCertificates_CreateOrUpdate
valid {
input.Body.properties.keyVaultBaseUri == STRING
input.Body.properties.keyVaultSecretName == STRING
input.Body.properties.keyVaultSecretVersion == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.certificateName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRCustomCertificates_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.certificateName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRCustomCertificates_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.certificateName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRCustomCertificates_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRCustomDomains_CreateOrUpdate
valid {
input.Body.properties.domainName == STRING
input.Body.properties.customCertificate.id == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.name == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRCustomDomains_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.name == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRCustomDomains_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.name == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRCustomDomains_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRPrivateEndpointConnections_Delete
valid {
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRPrivateEndpointConnections_Get
valid {
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRPrivateEndpointConnections_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRPrivateEndpointConnections_Update
enum_PrivateLinkServiceConnectionStatus := [ "Pending", "Approved", "Rejected", "Disconnected" ]
valid {
input.Body.properties.privateEndpoint.id == STRING
input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateLinkServiceConnectionStatus[_]
input.Body.properties.privateLinkServiceConnectionState.description == STRING
input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
input.Body.STRING == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRPrivateLinkResources_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRReplicaSharedPrivateLinkResources_CreateOrUpdate
valid {
input.Body.properties.groupId == STRING
input.Body.properties.privateLinkResourceId == STRING
input.Body.properties.requestMessage == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.ReqMap.sharedPrivateLinkResourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRReplicaSharedPrivateLinkResources_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.ReqMap.sharedPrivateLinkResourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRReplicaSharedPrivateLinkResources_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRReplicas_CreateOrUpdate
enum_SignalRSkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SignalRSkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.properties.regionEndpointEnabled == STRING
input.Body.properties.resourceStopped == STRING
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRReplicas_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRReplicas_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRReplicas_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRReplicas_Restart
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRReplicas_Update
enum_SignalRSkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SignalRSkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.properties.regionEndpointEnabled == STRING
input.Body.properties.resourceStopped == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRSharedPrivateLinkResources_CreateOrUpdate
valid {
input.Body.properties.groupId == STRING
input.Body.properties.privateLinkResourceId == STRING
input.Body.properties.requestMessage == STRING
input.ReqMap.sharedPrivateLinkResourceName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRSharedPrivateLinkResources_Delete
valid {
input.ReqMap.sharedPrivateLinkResourceName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRSharedPrivateLinkResources_Get
valid {
input.ReqMap.sharedPrivateLinkResourceName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalRSharedPrivateLinkResources_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalR_CheckNameAvailability
valid {
input.Body.type == STRING
input.Body.name == STRING
input.ReqMap.location == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
SignalR_CreateOrUpdate
enum_ACLAction := [ "Allow", "Deny" ]
enum_FeatureFlags := [ "ServiceMode", "EnableConnectivityLogs", "EnableMessagingLogs", "EnableLiveTrace" ]
enum_ManagedIdentityType := [ "None", "SystemAssigned", "UserAssigned" ]
enum_ServiceKind := [ "SignalR", "RawWebSockets" ]
enum_SignalRRequestType := [ "ClientConnection", "ServerConnection", "RESTAPI", "Trace" ]
enum_SignalRSkuTier := [ "Free", "Basic", "Standard", "Premium" ]
enum_UpstreamAuthType := [ "None", "ManagedIdentity" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SignalRSkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.properties.tls.clientCertEnabled == BOOLEAN
input.Body.properties.features[_].flag == enum_FeatureFlags[_]
input.Body.properties.features[_].value == STRING
input.Body.properties.features[_].properties.STRING == STRING
input.Body.properties.liveTraceConfiguration.enabled == STRING
input.Body.properties.liveTraceConfiguration.categories[_].name == STRING
input.Body.properties.liveTraceConfiguration.categories[_].enabled == STRING
input.Body.properties.resourceLogConfiguration.categories[_].name == STRING
input.Body.properties.resourceLogConfiguration.categories[_].enabled == STRING
input.Body.properties.cors.allowedOrigins[_] == STRING
input.Body.properties.serverless.connectionTimeoutInSeconds == INTEGER
input.Body.properties.upstream.templates[_].hubPattern == STRING
input.Body.properties.upstream.templates[_].eventPattern == STRING
input.Body.properties.upstream.templates[_].categoryPattern == STRING
input.Body.properties.upstream.templates[_].urlTemplate == STRING
input.Body.properties.upstream.templates[_].auth.type == enum_UpstreamAuthType[_]
input.Body.properties.upstream.templates[_].auth.managedIdentity.resource == STRING
input.Body.properties.networkACLs.defaultAction == enum_ACLAction[_]
input.Body.properties.networkACLs.publicNetwork.allow[_] == enum_SignalRRequestType[_]
input.Body.properties.networkACLs.publicNetwork.deny[_] == enum_SignalRRequestType[_]
input.Body.properties.networkACLs.privateEndpoints[_].name == STRING
input.Body.properties.networkACLs.privateEndpoints[_].allow[_] == enum_SignalRRequestType[_]
input.Body.properties.networkACLs.privateEndpoints[_].deny[_] == enum_SignalRRequestType[_]
input.Body.properties.networkACLs.ipRules[_].value == STRING
input.Body.properties.networkACLs.ipRules[_].action == enum_ACLAction[_]
input.Body.properties.publicNetworkAccess == STRING
input.Body.properties.disableLocalAuth == BOOLEAN
input.Body.properties.disableAadAuth == BOOLEAN
input.Body.properties.regionEndpointEnabled == STRING
input.Body.properties.resourceStopped == STRING
input.Body.kind == enum_ServiceKind[_]
input.Body.identity.type == enum_ManagedIdentityType[_]
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalR_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalR_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalR_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
}
SignalR_ListBySubscription
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
SignalR_ListKeys
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalR_ListReplicaSkus
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalR_ListSkus
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalR_RegenerateKey
enum_KeyType := [ "Primary", "Secondary", "Salt" ]
valid {
input.Body.keyType == enum_KeyType[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalR_Restart
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
SignalR_Update
enum_ACLAction := [ "Allow", "Deny" ]
enum_FeatureFlags := [ "ServiceMode", "EnableConnectivityLogs", "EnableMessagingLogs", "EnableLiveTrace" ]
enum_ManagedIdentityType := [ "None", "SystemAssigned", "UserAssigned" ]
enum_ServiceKind := [ "SignalR", "RawWebSockets" ]
enum_SignalRRequestType := [ "ClientConnection", "ServerConnection", "RESTAPI", "Trace" ]
enum_SignalRSkuTier := [ "Free", "Basic", "Standard", "Premium" ]
enum_UpstreamAuthType := [ "None", "ManagedIdentity" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SignalRSkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.properties.tls.clientCertEnabled == BOOLEAN
input.Body.properties.features[_].flag == enum_FeatureFlags[_]
input.Body.properties.features[_].value == STRING
input.Body.properties.features[_].properties.STRING == STRING
input.Body.properties.liveTraceConfiguration.enabled == STRING
input.Body.properties.liveTraceConfiguration.categories[_].name == STRING
input.Body.properties.liveTraceConfiguration.categories[_].enabled == STRING
input.Body.properties.resourceLogConfiguration.categories[_].name == STRING
input.Body.properties.resourceLogConfiguration.categories[_].enabled == STRING
input.Body.properties.cors.allowedOrigins[_] == STRING
input.Body.properties.serverless.connectionTimeoutInSeconds == INTEGER
input.Body.properties.upstream.templates[_].hubPattern == STRING
input.Body.properties.upstream.templates[_].eventPattern == STRING
input.Body.properties.upstream.templates[_].categoryPattern == STRING
input.Body.properties.upstream.templates[_].urlTemplate == STRING
input.Body.properties.upstream.templates[_].auth.type == enum_UpstreamAuthType[_]
input.Body.properties.upstream.templates[_].auth.managedIdentity.resource == STRING
input.Body.properties.networkACLs.defaultAction == enum_ACLAction[_]
input.Body.properties.networkACLs.publicNetwork.allow[_] == enum_SignalRRequestType[_]
input.Body.properties.networkACLs.publicNetwork.deny[_] == enum_SignalRRequestType[_]
input.Body.properties.networkACLs.privateEndpoints[_].name == STRING
input.Body.properties.networkACLs.ipRules[_].value == STRING
input.Body.properties.networkACLs.ipRules[_].action == enum_ACLAction[_]
input.Body.properties.publicNetworkAccess == STRING
input.Body.properties.disableLocalAuth == BOOLEAN
input.Body.properties.disableAadAuth == BOOLEAN
input.Body.properties.regionEndpointEnabled == STRING
input.Body.properties.resourceStopped == STRING
input.Body.kind == enum_ServiceKind[_]
input.Body.identity.type == enum_ManagedIdentityType[_]
input.Body.identity.userAssignedIdentities.STRING == {}
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Usages_List
valid {
input.ReqMap.location == STRING
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
WebPubSubCustomCertificates_CreateOrUpdate
valid {
input.Body.properties.keyVaultBaseUri == STRING
input.Body.properties.keyVaultSecretName == STRING
input.Body.properties.keyVaultSecretVersion == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.certificateName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubCustomCertificates_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.certificateName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubCustomCertificates_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.certificateName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubCustomCertificates_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubCustomDomains_CreateOrUpdate
valid {
input.Body.properties.domainName == STRING
input.Body.properties.customCertificate.id == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.name == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubCustomDomains_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.name == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubCustomDomains_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.name == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubCustomDomains_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubHubs_CreateOrUpdate
enum_EventListenerEndpointType := [ "EventHub" ]
enum_EventListenerFilterType := [ "EventName" ]
enum_UpstreamAuthType := [ "None", "ManagedIdentity" ]
valid {
input.Body.properties.eventHandlers[_].urlTemplate == STRING
input.Body.properties.eventHandlers[_].userEventPattern == STRING
input.Body.properties.eventHandlers[_].systemEvents[_] == STRING
input.Body.properties.eventHandlers[_].auth.type == enum_UpstreamAuthType[_]
input.Body.properties.eventHandlers[_].auth.managedIdentity.resource == STRING
input.Body.properties.eventListeners[_].filter.type == enum_EventListenerFilterType[_]
input.Body.properties.eventListeners[_].endpoint.type == enum_EventListenerEndpointType[_]
input.Body.properties.anonymousConnectPolicy == STRING
input.Body.properties.webSocketKeepAliveIntervalInSeconds == INTEGER
input.Body.STRING == STRING
input.ReqMap.hubName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubHubs_Delete
valid {
input.ReqMap.hubName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubHubs_Get
valid {
input.ReqMap.hubName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubHubs_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubPrivateEndpointConnections_Delete
valid {
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubPrivateEndpointConnections_Get
valid {
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubPrivateEndpointConnections_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubPrivateEndpointConnections_Update
enum_PrivateLinkServiceConnectionStatus := [ "Pending", "Approved", "Rejected", "Disconnected" ]
valid {
input.Body.properties.privateEndpoint.id == STRING
input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateLinkServiceConnectionStatus[_]
input.Body.properties.privateLinkServiceConnectionState.description == STRING
input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
input.Body.STRING == STRING
input.ReqMap.privateEndpointConnectionName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubPrivateLinkResources_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubReplicaSharedPrivateLinkResources_CreateOrUpdate
valid {
input.Body.properties.groupId == STRING
input.Body.properties.privateLinkResourceId == STRING
input.Body.properties.requestMessage == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.ReqMap.sharedPrivateLinkResourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubReplicaSharedPrivateLinkResources_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.ReqMap.sharedPrivateLinkResourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubReplicaSharedPrivateLinkResources_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubReplicas_CreateOrUpdate
enum_WebPubSubSkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == enum_WebPubSubSkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.properties.regionEndpointEnabled == STRING
input.Body.properties.resourceStopped == STRING
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubReplicas_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubReplicas_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubReplicas_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubReplicas_Restart
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubReplicas_Update
enum_WebPubSubSkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == enum_WebPubSubSkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.properties.regionEndpointEnabled == STRING
input.Body.properties.resourceStopped == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubSharedPrivateLinkResources_CreateOrUpdate
valid {
input.Body.properties.groupId == STRING
input.Body.properties.privateLinkResourceId == STRING
input.Body.properties.requestMessage == STRING
input.ReqMap.sharedPrivateLinkResourceName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubSharedPrivateLinkResources_Delete
valid {
input.ReqMap.sharedPrivateLinkResourceName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubSharedPrivateLinkResources_Get
valid {
input.ReqMap.sharedPrivateLinkResourceName == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSubSharedPrivateLinkResources_List
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSub_CreateOrUpdate
enum_ACLAction := [ "Allow", "Deny" ]
enum_ManagedIdentityType := [ "None", "SystemAssigned", "UserAssigned" ]
enum_ServiceKind := [ "WebPubSub", "SocketIO" ]
enum_WebPubSubRequestType := [ "ClientConnection", "ServerConnection", "RESTAPI", "Trace" ]
enum_WebPubSubSkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == enum_WebPubSubSkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.properties.tls.clientCertEnabled == BOOLEAN
input.Body.properties.liveTraceConfiguration.enabled == STRING
input.Body.properties.liveTraceConfiguration.categories[_].name == STRING
input.Body.properties.liveTraceConfiguration.categories[_].enabled == STRING
input.Body.properties.resourceLogConfiguration.categories[_].name == STRING
input.Body.properties.resourceLogConfiguration.categories[_].enabled == STRING
input.Body.properties.networkACLs.defaultAction == enum_ACLAction[_]
input.Body.properties.networkACLs.publicNetwork.allow[_] == enum_WebPubSubRequestType[_]
input.Body.properties.networkACLs.publicNetwork.deny[_] == enum_WebPubSubRequestType[_]
input.Body.properties.networkACLs.privateEndpoints[_].name == STRING
input.Body.properties.networkACLs.privateEndpoints[_].allow[_] == enum_WebPubSubRequestType[_]
input.Body.properties.networkACLs.privateEndpoints[_].deny[_] == enum_WebPubSubRequestType[_]
input.Body.properties.networkACLs.ipRules[_].value == STRING
input.Body.properties.networkACLs.ipRules[_].action == enum_ACLAction[_]
input.Body.properties.publicNetworkAccess == STRING
input.Body.properties.disableLocalAuth == BOOLEAN
input.Body.properties.disableAadAuth == BOOLEAN
input.Body.properties.regionEndpointEnabled == STRING
input.Body.properties.resourceStopped == STRING
input.Body.properties.socketIO.serviceMode == STRING
input.Body.kind == enum_ServiceKind[_]
input.Body.identity.type == enum_ManagedIdentityType[_]
input.Body.identity.userAssignedIdentities.STRING == {}
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSub_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSub_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSub_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
}
WebPubSub_ListBySubscription
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
WebPubSub_ListKeys
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSub_ListReplicaSkus
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.replicaName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSub_ListSkus
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSub_RegenerateKey
enum_KeyType := [ "Primary", "Secondary", "Salt" ]
valid {
input.Body.keyType == enum_KeyType[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSub_Restart
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
WebPubSub_Update
enum_ACLAction := [ "Allow", "Deny" ]
enum_ManagedIdentityType := [ "None", "SystemAssigned", "UserAssigned" ]
enum_ServiceKind := [ "WebPubSub", "SocketIO" ]
enum_WebPubSubRequestType := [ "ClientConnection", "ServerConnection", "RESTAPI", "Trace" ]
enum_WebPubSubSkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.sku.name == STRING
input.Body.sku.tier == enum_WebPubSubSkuTier[_]
input.Body.sku.capacity == INTEGER
input.Body.properties.tls.clientCertEnabled == BOOLEAN
input.Body.properties.liveTraceConfiguration.enabled == STRING
input.Body.properties.liveTraceConfiguration.categories[_].name == STRING
input.Body.properties.liveTraceConfiguration.categories[_].enabled == STRING
input.Body.properties.resourceLogConfiguration.categories[_].name == STRING
input.Body.properties.resourceLogConfiguration.categories[_].enabled == STRING
input.Body.properties.networkACLs.defaultAction == enum_ACLAction[_]
input.Body.properties.networkACLs.publicNetwork.allow[_] == enum_WebPubSubRequestType[_]
input.Body.properties.networkACLs.publicNetwork.deny[_] == enum_WebPubSubRequestType[_]
input.Body.properties.networkACLs.privateEndpoints[_].name == STRING
input.Body.properties.networkACLs.ipRules[_].value == STRING
input.Body.properties.networkACLs.ipRules[_].action == enum_ACLAction[_]
input.Body.properties.publicNetworkAccess == STRING
input.Body.properties.disableLocalAuth == BOOLEAN
input.Body.properties.disableAadAuth == BOOLEAN
input.Body.properties.regionEndpointEnabled == STRING
input.Body.properties.resourceStopped == STRING
input.Body.properties.socketIO.serviceMode == STRING
input.Body.kind == enum_ServiceKind[_]
input.Body.identity.type == enum_ManagedIdentityType[_]
input.Body.identity.userAssignedIdentities.STRING == {}
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Updated 7 months ago