MICROSOFT.MAINTENANCE

ApplyUpdateForResourceGroup_List

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
}

ApplyUpdates_CreateOrUpdate

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

ApplyUpdates_CreateOrUpdateOrCancel

enum_ApplyUpdatePropertiesStatus := [ "Pending", "InProgress", "Completed", "RetryNow", "RetryLater", "NoUpdatesPending", "Cancel", "Cancelled" ]

valid {
    input.Body.properties.status == enum_ApplyUpdatePropertiesStatus[_]
    input.Body.properties.resourceId == STRING
    input.Body.properties.lastUpdateTime == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.applyUpdateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApplyUpdates_CreateOrUpdateParent

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceParentType == STRING
    input.ReqMap.resourceParentName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApplyUpdates_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.applyUpdateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApplyUpdates_GetParent

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceParentType == STRING
    input.ReqMap.resourceParentName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.applyUpdateName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApplyUpdates_List

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

ConfigurationAssignmentsForResourceGroup_CreateOrUpdate

enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]

valid {
    input.Body.location == STRING
    input.Body.properties.maintenanceConfigurationId == STRING
    input.Body.properties.resourceId == STRING
    input.Body.properties.filter.resourceTypes[_] == STRING
    input.Body.properties.filter.resourceGroups[_] == STRING
    input.Body.properties.filter.osTypes[_] == STRING
    input.Body.properties.filter.locations[_] == STRING
    input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
    input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.configurationAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationAssignmentsForResourceGroup_Delete

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

ConfigurationAssignmentsForResourceGroup_Get

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

ConfigurationAssignmentsForResourceGroup_Update

enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]

valid {
    input.Body.location == STRING
    input.Body.properties.maintenanceConfigurationId == STRING
    input.Body.properties.resourceId == STRING
    input.Body.properties.filter.resourceTypes[_] == STRING
    input.Body.properties.filter.resourceGroups[_] == STRING
    input.Body.properties.filter.osTypes[_] == STRING
    input.Body.properties.filter.locations[_] == STRING
    input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
    input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.configurationAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationAssignmentsForSubscriptions_CreateOrUpdate

enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]

valid {
    input.Body.location == STRING
    input.Body.properties.maintenanceConfigurationId == STRING
    input.Body.properties.resourceId == STRING
    input.Body.properties.filter.resourceTypes[_] == STRING
    input.Body.properties.filter.resourceGroups[_] == STRING
    input.Body.properties.filter.osTypes[_] == STRING
    input.Body.properties.filter.locations[_] == STRING
    input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
    input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.configurationAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

ConfigurationAssignmentsForSubscriptions_Delete

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

ConfigurationAssignmentsForSubscriptions_Get

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

ConfigurationAssignmentsForSubscriptions_Update

enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]

valid {
    input.Body.location == STRING
    input.Body.properties.maintenanceConfigurationId == STRING
    input.Body.properties.resourceId == STRING
    input.Body.properties.filter.resourceTypes[_] == STRING
    input.Body.properties.filter.resourceGroups[_] == STRING
    input.Body.properties.filter.osTypes[_] == STRING
    input.Body.properties.filter.locations[_] == STRING
    input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
    input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.configurationAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

ConfigurationAssignmentsWithinSubscription_List

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

ConfigurationAssignments_CreateOrUpdate

enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]

valid {
    input.Body.location == STRING
    input.Body.properties.maintenanceConfigurationId == STRING
    input.Body.properties.resourceId == STRING
    input.Body.properties.filter.resourceTypes[_] == STRING
    input.Body.properties.filter.resourceGroups[_] == STRING
    input.Body.properties.filter.osTypes[_] == STRING
    input.Body.properties.filter.locations[_] == STRING
    input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
    input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.configurationAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationAssignments_CreateOrUpdateParent

enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]

valid {
    input.Body.location == STRING
    input.Body.properties.maintenanceConfigurationId == STRING
    input.Body.properties.resourceId == STRING
    input.Body.properties.filter.resourceTypes[_] == STRING
    input.Body.properties.filter.resourceGroups[_] == STRING
    input.Body.properties.filter.osTypes[_] == STRING
    input.Body.properties.filter.locations[_] == STRING
    input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
    input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceParentType == STRING
    input.ReqMap.resourceParentName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.configurationAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationAssignments_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.configurationAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationAssignments_DeleteParent

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceParentType == STRING
    input.ReqMap.resourceParentName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.configurationAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationAssignments_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.configurationAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationAssignments_GetParent

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceParentType == STRING
    input.ReqMap.resourceParentName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.configurationAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationAssignments_List

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

ConfigurationAssignments_ListParent

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceParentType == STRING
    input.ReqMap.resourceParentName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MaintenanceConfigurationsForResourceGroup_List

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
}

MaintenanceConfigurations_CreateOrUpdate

enum_InputPatchConfigurationRebootSetting := [ "IfRequired", "Never", "Always" ]
enum_MaintenanceConfigurationPropertiesMaintenanceScope := [ "Host", "Resource", "OSImage", "Extension", "InGuestPatch", "SQLDB", "SQLManagedInstance" ]
enum_MaintenanceConfigurationPropertiesVisibility := [ "Custom", "Public" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.namespace == STRING
    input.Body.properties.extensionProperties.STRING == STRING
    input.Body.properties.maintenanceScope == enum_MaintenanceConfigurationPropertiesMaintenanceScope[_]
    input.Body.properties.maintenanceWindow.startDateTime == STRING
    input.Body.properties.maintenanceWindow.expirationDateTime == STRING
    input.Body.properties.maintenanceWindow.duration == STRING
    input.Body.properties.maintenanceWindow.timeZone == STRING
    input.Body.properties.maintenanceWindow.recurEvery == STRING
    input.Body.properties.visibility == enum_MaintenanceConfigurationPropertiesVisibility[_]
    input.Body.properties.installPatches.rebootSetting == enum_InputPatchConfigurationRebootSetting[_]
    input.Body.properties.installPatches.windowsParameters.kbNumbersToExclude[_] == STRING
    input.Body.properties.installPatches.windowsParameters.kbNumbersToInclude[_] == STRING
    input.Body.properties.installPatches.windowsParameters.classificationsToInclude[_] == STRING
    input.Body.properties.installPatches.windowsParameters.excludeKbsRequiringReboot == BOOLEAN
    input.Body.properties.installPatches.linuxParameters.packageNameMasksToExclude[_] == STRING
    input.Body.properties.installPatches.linuxParameters.packageNameMasksToInclude[_] == STRING
    input.Body.properties.installPatches.linuxParameters.classificationsToInclude[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MaintenanceConfigurations_Delete

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

MaintenanceConfigurations_Get

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

MaintenanceConfigurations_List

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

MaintenanceConfigurations_Update

enum_InputPatchConfigurationRebootSetting := [ "IfRequired", "Never", "Always" ]
enum_MaintenanceConfigurationPropertiesMaintenanceScope := [ "Host", "Resource", "OSImage", "Extension", "InGuestPatch", "SQLDB", "SQLManagedInstance" ]
enum_MaintenanceConfigurationPropertiesVisibility := [ "Custom", "Public" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.namespace == STRING
    input.Body.properties.extensionProperties.STRING == STRING
    input.Body.properties.maintenanceScope == enum_MaintenanceConfigurationPropertiesMaintenanceScope[_]
    input.Body.properties.maintenanceWindow.startDateTime == STRING
    input.Body.properties.maintenanceWindow.expirationDateTime == STRING
    input.Body.properties.maintenanceWindow.duration == STRING
    input.Body.properties.maintenanceWindow.timeZone == STRING
    input.Body.properties.maintenanceWindow.recurEvery == STRING
    input.Body.properties.visibility == enum_MaintenanceConfigurationPropertiesVisibility[_]
    input.Body.properties.installPatches.rebootSetting == enum_InputPatchConfigurationRebootSetting[_]
    input.Body.properties.installPatches.windowsParameters.kbNumbersToExclude[_] == STRING
    input.Body.properties.installPatches.windowsParameters.kbNumbersToInclude[_] == STRING
    input.Body.properties.installPatches.windowsParameters.classificationsToInclude[_] == STRING
    input.Body.properties.installPatches.windowsParameters.excludeKbsRequiringReboot == BOOLEAN
    input.Body.properties.installPatches.linuxParameters.packageNameMasksToExclude[_] == STRING
    input.Body.properties.installPatches.linuxParameters.packageNameMasksToInclude[_] == STRING
    input.Body.properties.installPatches.linuxParameters.classificationsToInclude[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == 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
}

PublicMaintenanceConfigurations_Get

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

PublicMaintenanceConfigurations_List

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

ScheduledEvent_Acknowledge

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

Updates_List

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

Updates_ListParent

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.providerName == STRING
    input.ReqMap.resourceParentType == STRING
    input.ReqMap.resourceParentName == STRING
    input.ReqMap.resourceType == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}