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
}