Accounts_AddRootCollectionAdmin

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

Accounts_CheckNameAvailability

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

Accounts_CreateOrUpdate

enum_AccountPropertiesManagedEventHubState := [ "NotSpecified", "Disabled", "Enabled" ]
enum_AccountPropertiesManagedResourcesPublicNetworkAccess := [ "NotSpecified", "Enabled", "Disabled" ]
enum_AccountPropertiesPublicNetworkAccess := [ "NotSpecified", "Enabled", "Disabled" ]
enum_IdentityType := [ "None", "SystemAssigned", "UserAssigned" ]
enum_IngestionStoragePublicNetworkAccess := [ "NotSpecified", "Enabled", "Disabled" ]

valid {
    input.Body.properties.cloudConnectors == {}
    input.Body.properties.ingestionStorage.publicNetworkAccess == enum_IngestionStoragePublicNetworkAccess[_]
    input.Body.properties.managedEventHubState == enum_AccountPropertiesManagedEventHubState[_]
    input.Body.properties.managedResourceGroupName == STRING
    input.Body.properties.managedResourcesPublicNetworkAccess == enum_AccountPropertiesManagedResourcesPublicNetworkAccess[_]
    input.Body.properties.publicNetworkAccess == enum_AccountPropertiesPublicNetworkAccess[_]
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Accounts_Delete

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

Accounts_Get

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

Accounts_ListByResourceGroup

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

Accounts_ListBySubscription

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

Accounts_ListKeys

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

Accounts_Update

enum_AccountPropertiesManagedEventHubState := [ "NotSpecified", "Disabled", "Enabled" ]
enum_AccountPropertiesManagedResourcesPublicNetworkAccess := [ "NotSpecified", "Enabled", "Disabled" ]
enum_AccountPropertiesPublicNetworkAccess := [ "NotSpecified", "Enabled", "Disabled" ]
enum_IdentityType := [ "None", "SystemAssigned", "UserAssigned" ]
enum_IngestionStoragePublicNetworkAccess := [ "NotSpecified", "Enabled", "Disabled" ]

valid {
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.cloudConnectors == {}
    input.Body.properties.ingestionStorage.publicNetworkAccess == enum_IngestionStoragePublicNetworkAccess[_]
    input.Body.properties.managedEventHubState == enum_AccountPropertiesManagedEventHubState[_]
    input.Body.properties.managedResourceGroupName == STRING
    input.Body.properties.managedResourcesPublicNetworkAccess == enum_AccountPropertiesManagedResourcesPublicNetworkAccess[_]
    input.Body.properties.publicNetworkAccess == enum_AccountPropertiesPublicNetworkAccess[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DefaultAccounts_Get

enum_ScopeTypeParameter := [ "Tenant", "Subscription" ]

valid {
    input.Qs.scopeTenantId == STRING
    input.Qs.scopeType == enum_ScopeTypeParameter[_]
    input.Qs.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

DefaultAccounts_Remove

enum_ScopeTypeParameter := [ "Tenant", "Subscription" ]

valid {
    input.Qs.scopeTenantId == STRING
    input.Qs.scopeType == enum_ScopeTypeParameter[_]
    input.Qs.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

DefaultAccounts_Set

enum_DefaultAccountPayloadScopeType := [ "Tenant", "Subscription" ]

valid {
    input.Body.accountName == STRING
    input.Body.resourceGroupName == STRING
    input.Body.scope == STRING
    input.Body.scopeTenantId == STRING
    input.Body.scopeType == enum_DefaultAccountPayloadScopeType[_]
    input.Body.subscriptionId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Features_AccountGet

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

Features_SubscriptionGet

valid {
    input.Body.features[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.locations == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

IngestionPrivateEndpointConnections_List

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

IngestionPrivateEndpointConnections_UpdateStatus

valid {
    input.Body.privateEndpointId == STRING
    input.Body.status == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

KafkaConfigurations_CreateOrUpdate

enum_CredentialsType := [ "None", "SystemAssigned", "UserAssigned" ]
enum_KafkaConfigurationPropertiesEventHubType := [ "Notification", "Hook" ]
enum_KafkaConfigurationPropertiesEventStreamingState := [ "Disabled", "Enabled" ]
enum_KafkaConfigurationPropertiesEventStreamingType := [ "None", "Managed", "Azure" ]

valid {
    input.Body.properties.consumerGroup == STRING
    input.Body.properties.credentials.identityId == STRING
    input.Body.properties.credentials.type == enum_CredentialsType[_]
    input.Body.properties.eventHubPartitionId == STRING
    input.Body.properties.eventHubResourceId == STRING
    input.Body.properties.eventHubType == enum_KafkaConfigurationPropertiesEventHubType[_]
    input.Body.properties.eventStreamingState == enum_KafkaConfigurationPropertiesEventStreamingState[_]
    input.Body.properties.eventStreamingType == enum_KafkaConfigurationPropertiesEventStreamingType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.kafkaConfigurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

KafkaConfigurations_Delete

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

KafkaConfigurations_Get

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

KafkaConfigurations_ListByAccount

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skipToken == 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_PrivateLinkServiceConnectionStateStatus := [ "Unknown", "Pending", "Approved", "Rejected", "Disconnected" ]

valid {
    input.Body.properties.privateEndpoint.id == STRING
    input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateLinkServiceConnectionStateStatus[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == 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.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == 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.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accountName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_ListByAccount

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

PrivateLinkResources_GetByGroupId

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

PrivateLinkResources_ListByAccount

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

PurviewPolicies_List

valid {
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.Qs.skipToken == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
}

Usages_Get

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