MICROSOFT.RELAY

HybridConnections_CreateOrUpdate

valid {
    input.Body.properties.requiresClientAuthorization == BOOLEAN
    input.Body.properties.userMetadata == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.hybridConnectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HybridConnections_CreateOrUpdateAuthorizationRule

enum_AuthorizationRulePropertiesRights := [ "Manage", "Send", "Listen" ]

valid {
    input.Body.properties.rights[_] == enum_AuthorizationRulePropertiesRights[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.hybridConnectionName == 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
}

HybridConnections_Delete

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

HybridConnections_DeleteAuthorizationRule

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.hybridConnectionName == 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
}

HybridConnections_Get

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

HybridConnections_GetAuthorizationRule

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.hybridConnectionName == 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
}

HybridConnections_ListAuthorizationRules

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

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

HybridConnections_ListKeys

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.hybridConnectionName == 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
}

HybridConnections_ListPostAuthorizationRules

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

HybridConnections_PostAuthorizationRule

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.hybridConnectionName == 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
}

HybridConnections_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.hybridConnectionName == 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_CheckNameAvailability

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_PrivateEndpointConnectionPropertiesProvisioningState := [ "Creating", "Updating", "Deleting", "Succeeded", "Canceled", "Failed" ]
enum_RelayNamespacePropertiesPublicNetworkAccess := [ "Enabled", "Disabled", "SecuredByPerimeter" ]
enum_SkuName := [ "Standard" ]
enum_SkuTier := [ "Standard" ]

valid {
    input.Body.sku.name == enum_SkuName[_]
    input.Body.sku.tier == enum_SkuTier[_]
    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.publicNetworkAccess == enum_RelayNamespacePropertiesPublicNetworkAccess[_]
    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_AuthorizationRulePropertiesRights := [ "Manage", "Send", "Listen" ]

valid {
    input.Body.properties.rights[_] == enum_AuthorizationRulePropertiesRights[_]
    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_CreateOrUpdateNetworkRuleSet

enum_NWRuleSetIpRulesAction := [ "Allow" ]
enum_NetworkRuleSetPropertiesDefaultAction := [ "Allow", "Deny" ]
enum_NetworkRuleSetPropertiesPublicNetworkAccess := [ "Disabled", "Enabled", "SecuredByPerimeter" ]

valid {
    input.Body.properties.trustedServiceAccessEnabled == BOOLEAN
    input.Body.properties.defaultAction == enum_NetworkRuleSetPropertiesDefaultAction[_]
    input.Body.properties.publicNetworkAccess == enum_NetworkRuleSetPropertiesPublicNetworkAccess[_]
    input.Body.properties.ipRules[_].ipMask == STRING
    input.Body.properties.ipRules[_].action == enum_NWRuleSetIpRulesAction[_]
    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_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_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_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_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_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_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_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_PrivateEndpointConnectionPropertiesProvisioningState := [ "Creating", "Updating", "Deleting", "Succeeded", "Canceled", "Failed" ]
enum_RelayNamespacePropertiesPublicNetworkAccess := [ "Enabled", "Disabled", "SecuredByPerimeter" ]
enum_SkuName := [ "Standard" ]
enum_SkuTier := [ "Standard" ]

valid {
    input.Body.sku.name == enum_SkuName[_]
    input.Body.sku.tier == enum_SkuTier[_]
    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.publicNetworkAccess == enum_RelayNamespacePropertiesPublicNetworkAccess[_]
    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
}

OperationStatusPrivateEndpointConnections_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.operationType == 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
}

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.privateLinkResourceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

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

WCFRelays_CreateOrUpdate

enum_WcfRelayPropertiesRelayType := [ "NetTcp", "Http" ]

valid {
    input.Body.properties.relayType == enum_WcfRelayPropertiesRelayType[_]
    input.Body.properties.requiresClientAuthorization == BOOLEAN
    input.Body.properties.requiresTransportSecurity == BOOLEAN
    input.Body.properties.userMetadata == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.relayName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WCFRelays_CreateOrUpdateAuthorizationRule

enum_AuthorizationRulePropertiesRights := [ "Manage", "Send", "Listen" ]

valid {
    input.Body.properties.rights[_] == enum_AuthorizationRulePropertiesRights[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.relayName == 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
}

WCFRelays_Delete

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

WCFRelays_DeleteAuthorizationRule

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.relayName == 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
}

WCFRelays_Get

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

WCFRelays_GetAuthorizationRule

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.relayName == 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
}

WCFRelays_ListAuthorizationRules

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

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

WCFRelays_ListKeys

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.relayName == 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
}

WCFRelays_ListPostAuthorizationRules

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

WCFRelays_PostAuthorizationRule

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.namespaceName == STRING
    input.ReqMap.relayName == 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
}

WCFRelays_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.relayName == 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
}