enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.properties.portalName == STRING
    input.Body.properties.portalAdminEmailAddress == STRING
    input.Body.properties.portalOwnerOrganizationName == STRING
    input.Body.properties.portalOwnerEmailAddress == STRING
    input.Body.properties.identityConfiguration.identityType == STRING
    input.Body.properties.identityConfiguration.teamsEnabled == BOOLEAN
    input.Body.properties.identityConfiguration.tenantId == STRING
    input.Body.properties.identityConfiguration.domainName == STRING
    input.Body.properties.identityConfiguration.clientId == STRING
    input.Body.properties.identityConfiguration.clientSecret == STRING
    input.Body.properties.identityConfiguration.b2cAuthenticationPolicy == STRING
    input.Body.properties.identityConfiguration.b2cPasswordResetPolicy == STRING
    input.Body.properties.identityConfiguration.customLoginParameters == STRING
    input.Body.properties.zoneRedundancyEnabled == BOOLEAN
    input.Body.properties.disasterRecoveryEnabled == BOOLEAN
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.communityTrainingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

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

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

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
}

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

enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.properties.identityConfiguration.identityType == STRING
    input.Body.properties.identityConfiguration.teamsEnabled == BOOLEAN
    input.Body.properties.identityConfiguration.tenantId == STRING
    input.Body.properties.identityConfiguration.domainName == STRING
    input.Body.properties.identityConfiguration.clientId == STRING
    input.Body.properties.identityConfiguration.clientSecret == STRING
    input.Body.properties.identityConfiguration.b2cAuthenticationPolicy == STRING
    input.Body.properties.identityConfiguration.b2cPasswordResetPolicy == STRING
    input.Body.properties.identityConfiguration.customLoginParameters == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.communityTrainingName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}