MICROSOFT.DASHBOARD

Grafana_CheckEnterpriseDetails

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

Grafana_Create

enum_ApiKey := [ "Disabled", "Enabled" ]
enum_AutoGeneratedDomainNameLabelScope := [ "TenantReuse" ]
enum_DeterministicOutboundIP := [ "Disabled", "Enabled" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_MarketplaceAutoRenew := [ "Disabled", "Enabled" ]
enum_PublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_StartTLSPolicy := [ "OpportunisticStartTLS", "MandatoryStartTLS", "NoStartTLS" ]
enum_ZoneRedundancy := [ "Disabled", "Enabled" ]

valid {
    input.Body.sku.name == STRING
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
    input.Body.properties.zoneRedundancy == enum_ZoneRedundancy[_]
    input.Body.properties.apiKey == enum_ApiKey[_]
    input.Body.properties.deterministicOutboundIP == enum_DeterministicOutboundIP[_]
    input.Body.properties.autoGeneratedDomainNameLabelScope == enum_AutoGeneratedDomainNameLabelScope[_]
    input.Body.properties.grafanaIntegrations.azureMonitorWorkspaceIntegrations[_].azureMonitorWorkspaceResourceId == STRING
    input.Body.properties.enterpriseConfigurations.marketplacePlanId == STRING
    input.Body.properties.enterpriseConfigurations.marketplaceAutoRenew == enum_MarketplaceAutoRenew[_]
    input.Body.properties.grafanaConfigurations.smtp.enabled == BOOLEAN
    input.Body.properties.grafanaConfigurations.smtp.host == STRING
    input.Body.properties.grafanaConfigurations.smtp.user == STRING
    input.Body.properties.grafanaConfigurations.smtp.password == STRING
    input.Body.properties.grafanaConfigurations.smtp.fromAddress == STRING
    input.Body.properties.grafanaConfigurations.smtp.fromName == STRING
    input.Body.properties.grafanaConfigurations.smtp.startTLSPolicy == enum_StartTLSPolicy[_]
    input.Body.properties.grafanaConfigurations.smtp.skipVerify == BOOLEAN
    input.Body.properties.grafanaPlugins.STRING == {}
    input.Body.properties.grafanaMajorVersion == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Grafana_Delete

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

Grafana_FetchAvailablePlugins

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

Grafana_Get

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

Grafana_List

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

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

Grafana_Update

enum_ApiKey := [ "Disabled", "Enabled" ]
enum_DeterministicOutboundIP := [ "Disabled", "Enabled" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_MarketplaceAutoRenew := [ "Disabled", "Enabled" ]
enum_PublicNetworkAccess := [ "Enabled", "Disabled" ]
enum_StartTLSPolicy := [ "OpportunisticStartTLS", "MandatoryStartTLS", "NoStartTLS" ]
enum_ZoneRedundancy := [ "Disabled", "Enabled" ]

valid {
    input.Body.sku.name == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.properties.zoneRedundancy == enum_ZoneRedundancy[_]
    input.Body.properties.apiKey == enum_ApiKey[_]
    input.Body.properties.deterministicOutboundIP == enum_DeterministicOutboundIP[_]
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
    input.Body.properties.grafanaIntegrations.azureMonitorWorkspaceIntegrations[_].azureMonitorWorkspaceResourceId == STRING
    input.Body.properties.enterpriseConfigurations.marketplacePlanId == STRING
    input.Body.properties.enterpriseConfigurations.marketplaceAutoRenew == enum_MarketplaceAutoRenew[_]
    input.Body.properties.grafanaConfigurations.smtp.enabled == BOOLEAN
    input.Body.properties.grafanaConfigurations.smtp.host == STRING
    input.Body.properties.grafanaConfigurations.smtp.user == STRING
    input.Body.properties.grafanaConfigurations.smtp.password == STRING
    input.Body.properties.grafanaConfigurations.smtp.fromAddress == STRING
    input.Body.properties.grafanaConfigurations.smtp.fromName == STRING
    input.Body.properties.grafanaConfigurations.smtp.startTLSPolicy == enum_StartTLSPolicy[_]
    input.Body.properties.grafanaConfigurations.smtp.skipVerify == BOOLEAN
    input.Body.properties.grafanaPlugins.STRING == {}
    input.Body.properties.grafanaMajorVersion == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedPrivateEndpoints_Create

valid {
    input.Body.properties.privateLinkResourceId == STRING
    input.Body.properties.privateLinkResourceRegion == STRING
    input.Body.properties.groupIds[_] == STRING
    input.Body.properties.requestMessage == STRING
    input.Body.properties.privateLinkServiceUrl == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.managedPrivateEndpointName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedPrivateEndpoints_Delete

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

ManagedPrivateEndpoints_Get

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

ManagedPrivateEndpoints_List

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

ManagedPrivateEndpoints_Refresh

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

ManagedPrivateEndpoints_Update

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.managedPrivateEndpointName == STRING
    input.Qs.api-version == 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_Approve

enum_PrivateEndpointServiceConnectionStatus := [ "Pending", "Approved", "Rejected" ]

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

PrivateEndpointConnections_List

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

PrivateLinkResources_Get

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

PrivateLinkResources_List

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