MICROSOFT.LOGZ

MetricsSourceTagRules_CreateOrUpdate

enum_TagAction := [ "Include", "Exclude" ]

valid {
    input.Body.properties.sendMetrics == BOOLEAN
    input.Body.properties.metricRules[_].subscriptionId == STRING
    input.Body.properties.metricRules[_].filteringTags[_].name == STRING
    input.Body.properties.metricRules[_].filteringTags[_].value == STRING
    input.Body.properties.metricRules[_].filteringTags[_].action == enum_TagAction[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.ReqMap.metricsSourceName == STRING
    input.ReqMap.ruleSetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MetricsSourceTagRules_Delete

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

MetricsSourceTagRules_Get

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

MetricsSourceTagRules_List

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

MetricsSource_Create

enum_ManagedIdentityTypes := [ "SystemAssigned", "UserAssigned" ]
enum_MarketplaceSubscriptionStatus := [ "Active", "Suspended" ]
enum_MonitoringStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
    input.Body.properties.marketplaceSubscriptionStatus == enum_MarketplaceSubscriptionStatus[_]
    input.Body.properties.logzOrganizationProperties.companyName == STRING
    input.Body.properties.logzOrganizationProperties.enterpriseAppId == STRING
    input.Body.properties.logzOrganizationProperties.singleSignOnUrl == STRING
    input.Body.properties.userInfo.firstName == STRING
    input.Body.properties.userInfo.lastName == STRING
    input.Body.properties.userInfo.emailAddress == STRING
    input.Body.properties.userInfo.phoneNumber == STRING
    input.Body.properties.planData.usageType == STRING
    input.Body.properties.planData.billingCycle == STRING
    input.Body.properties.planData.planDetails == STRING
    input.Body.properties.planData.effectiveDate == STRING
    input.Body.identity.type == enum_ManagedIdentityTypes[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.ReqMap.metricsSourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MetricsSource_Delete

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

MetricsSource_Get

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

MetricsSource_List

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

MetricsSource_Update

enum_MonitoringStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.ReqMap.metricsSourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Monitor_ListVMHosts

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

Monitor_ListVmHostUpdate

enum_VMHostUpdateState := [ "Install", "Delete" ]

valid {
    input.Body.vmResourceIds[_].id == STRING
    input.Body.vmResourceIds[_].agentVersion == STRING
    input.Body.state == enum_VMHostUpdateState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Monitor_VMHostPayload

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

Monitors_Create

enum_ManagedIdentityTypes := [ "SystemAssigned", "UserAssigned" ]
enum_MarketplaceSubscriptionStatus := [ "Active", "Suspended" ]
enum_MonitoringStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
    input.Body.properties.marketplaceSubscriptionStatus == enum_MarketplaceSubscriptionStatus[_]
    input.Body.properties.logzOrganizationProperties.companyName == STRING
    input.Body.properties.logzOrganizationProperties.enterpriseAppId == STRING
    input.Body.properties.logzOrganizationProperties.singleSignOnUrl == STRING
    input.Body.properties.userInfo.firstName == STRING
    input.Body.properties.userInfo.lastName == STRING
    input.Body.properties.userInfo.emailAddress == STRING
    input.Body.properties.userInfo.phoneNumber == STRING
    input.Body.properties.planData.usageType == STRING
    input.Body.properties.planData.billingCycle == STRING
    input.Body.properties.planData.planDetails == STRING
    input.Body.properties.planData.effectiveDate == STRING
    input.Body.identity.type == enum_ManagedIdentityTypes[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Monitors_Delete

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

Monitors_Get

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

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

Monitors_ListBySubscription

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

Monitors_ListMonitoredResources

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

Monitors_ListUserRoles

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

Monitors_Update

enum_MonitoringStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == 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
}

SingleSignOn_CreateOrUpdate

enum_SingleSignOnStates := [ "Initial", "Enable", "Disable", "Existing" ]

valid {
    input.Body.properties.singleSignOnState == enum_SingleSignOnStates[_]
    input.Body.properties.enterpriseAppId == STRING
    input.Body.properties.singleSignOnUrl == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.ReqMap.configurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SingleSignOn_Get

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

SingleSignOn_List

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

SubAccountTagRules_CreateOrUpdate

enum_TagAction := [ "Include", "Exclude" ]

valid {
    input.Body.properties.logRules.sendAadLogs == BOOLEAN
    input.Body.properties.logRules.sendSubscriptionLogs == BOOLEAN
    input.Body.properties.logRules.sendActivityLogs == BOOLEAN
    input.Body.properties.logRules.filteringTags[_].name == STRING
    input.Body.properties.logRules.filteringTags[_].value == STRING
    input.Body.properties.logRules.filteringTags[_].action == enum_TagAction[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.ReqMap.subAccountName == STRING
    input.ReqMap.ruleSetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SubAccountTagRules_Delete

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

SubAccountTagRules_Get

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

SubAccountTagRules_List

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

SubAccount_Create

enum_ManagedIdentityTypes := [ "SystemAssigned", "UserAssigned" ]
enum_MarketplaceSubscriptionStatus := [ "Active", "Suspended" ]
enum_MonitoringStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
    input.Body.properties.marketplaceSubscriptionStatus == enum_MarketplaceSubscriptionStatus[_]
    input.Body.properties.logzOrganizationProperties.companyName == STRING
    input.Body.properties.logzOrganizationProperties.enterpriseAppId == STRING
    input.Body.properties.logzOrganizationProperties.singleSignOnUrl == STRING
    input.Body.properties.userInfo.firstName == STRING
    input.Body.properties.userInfo.lastName == STRING
    input.Body.properties.userInfo.emailAddress == STRING
    input.Body.properties.userInfo.phoneNumber == STRING
    input.Body.properties.planData.usageType == STRING
    input.Body.properties.planData.billingCycle == STRING
    input.Body.properties.planData.planDetails == STRING
    input.Body.properties.planData.effectiveDate == STRING
    input.Body.identity.type == enum_ManagedIdentityTypes[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.ReqMap.subAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SubAccount_Delete

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

SubAccount_Get

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

SubAccount_List

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

SubAccount_ListMonitoredResources

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

SubAccount_ListVMHosts

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

SubAccount_ListVmHostUpdate

enum_VMHostUpdateState := [ "Install", "Delete" ]

valid {
    input.Body.vmResourceIds[_].id == STRING
    input.Body.vmResourceIds[_].agentVersion == STRING
    input.Body.state == enum_VMHostUpdateState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.ReqMap.subAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SubAccount_Update

enum_MonitoringStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.monitoringStatus == enum_MonitoringStatus[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.ReqMap.subAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SubAccount_VMHostPayload

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

TagRules_CreateOrUpdate

enum_TagAction := [ "Include", "Exclude" ]

valid {
    input.Body.properties.logRules.sendAadLogs == BOOLEAN
    input.Body.properties.logRules.sendSubscriptionLogs == BOOLEAN
    input.Body.properties.logRules.sendActivityLogs == BOOLEAN
    input.Body.properties.logRules.filteringTags[_].name == STRING
    input.Body.properties.logRules.filteringTags[_].value == STRING
    input.Body.properties.logRules.filteringTags[_].action == enum_TagAction[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.monitorName == STRING
    input.ReqMap.ruleSetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TagRules_Delete

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

TagRules_Get

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

TagRules_List

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