MICROSOFT.AUTOMANAGE

Accounts_CreateOrUpdate

enum_AccountIdentityType := [ "SystemAssigned", "None" ]

valid {
    input.Body.identity.type == enum_AccountIdentityType[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.accountName == STRING
    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
}

Accounts_Delete

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

Accounts_Get

valid {
    input.ReqMap.accountName == STRING
    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
}

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

Accounts_ListBySubscription

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

Accounts_Update

enum_AccountIdentityType := [ "SystemAssigned", "None" ]

valid {
    input.Body.identity.type == enum_AccountIdentityType[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.accountName == STRING
    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
}

BestPracticesVersions_Get

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

BestPracticesVersions_ListByTenant

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

BestPractices_Get

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

BestPractices_ListByTenant

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

ConfigurationProfileAssignments_CreateOrUpdate

valid {
    input.Body.properties.configurationProfile == STRING
    input.Body.STRING == STRING
    input.ReqMap.configurationProfileAssignmentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.vmName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationProfileAssignments_Delete

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

ConfigurationProfileAssignments_Get

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

ConfigurationProfileAssignments_List

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

ConfigurationProfileAssignments_ListByClusterName

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

ConfigurationProfileAssignments_ListByMachineName

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

ConfigurationProfileAssignments_ListBySubscription

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

ConfigurationProfileAssignments_ListByVirtualMachines

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

ConfigurationProfileHCIAssignments_CreateOrUpdate

valid {
    input.Body.properties.configurationProfile == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.configurationProfileAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationProfileHCIAssignments_Delete

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

ConfigurationProfileHCIAssignments_Get

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

ConfigurationProfileHCRPAssignments_CreateOrUpdate

valid {
    input.Body.properties.configurationProfile == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.configurationProfileAssignmentName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationProfileHCRPAssignments_Delete

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

ConfigurationProfileHCRPAssignments_Get

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

ConfigurationProfilePreferences_CreateOrUpdate

enum_ConfigurationProfilePreferenceAntiMalwareEnableRealTimeProtection := [ "True", "False" ]
enum_ConfigurationProfilePreferenceAntiMalwareRunScheduledScan := [ "True", "False" ]
enum_ConfigurationProfilePreferenceAntiMalwareScanType := [ "Quick", "Full" ]

valid {
    input.Body.properties.vmBackup.timeZone == STRING
    input.Body.properties.vmBackup.instantRpRetentionRangeInDays == INTEGER
    input.Body.properties.vmBackup.retentionPolicy == STRING
    input.Body.properties.vmBackup.schedulePolicy == STRING
    input.Body.properties.antiMalware.enableRealTimeProtection == enum_ConfigurationProfilePreferenceAntiMalwareEnableRealTimeProtection[_]
    input.Body.properties.antiMalware.exclusions.STRING == STRING
    input.Body.properties.antiMalware.runScheduledScan == enum_ConfigurationProfilePreferenceAntiMalwareRunScheduledScan[_]
    input.Body.properties.antiMalware.scanType == enum_ConfigurationProfilePreferenceAntiMalwareScanType[_]
    input.Body.properties.antiMalware.scanDay == STRING
    input.Body.properties.antiMalware.scanTimeInMinutes == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.configurationProfilePreferenceName == STRING
    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
}

ConfigurationProfilePreferences_Delete

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

ConfigurationProfilePreferences_Get

valid {
    input.ReqMap.configurationProfilePreferenceName == STRING
    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
}

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

ConfigurationProfilePreferences_ListBySubscription

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

ConfigurationProfilePreferences_Update

enum_ConfigurationProfilePreferenceAntiMalwareEnableRealTimeProtection := [ "True", "False" ]
enum_ConfigurationProfilePreferenceAntiMalwareRunScheduledScan := [ "True", "False" ]
enum_ConfigurationProfilePreferenceAntiMalwareScanType := [ "Quick", "Full" ]

valid {
    input.Body.properties.vmBackup.timeZone == STRING
    input.Body.properties.vmBackup.instantRpRetentionRangeInDays == INTEGER
    input.Body.properties.vmBackup.retentionPolicy == STRING
    input.Body.properties.vmBackup.schedulePolicy == STRING
    input.Body.properties.antiMalware.enableRealTimeProtection == enum_ConfigurationProfilePreferenceAntiMalwareEnableRealTimeProtection[_]
    input.Body.properties.antiMalware.exclusions.STRING == STRING
    input.Body.properties.antiMalware.runScheduledScan == enum_ConfigurationProfilePreferenceAntiMalwareRunScheduledScan[_]
    input.Body.properties.antiMalware.scanType == enum_ConfigurationProfilePreferenceAntiMalwareScanType[_]
    input.Body.properties.antiMalware.scanDay == STRING
    input.Body.properties.antiMalware.scanTimeInMinutes == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.configurationProfilePreferenceName == STRING
    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
}

ConfigurationProfilesVersions_CreateOrUpdate

valid {
    input.Body.properties.configuration.STRING == STRING
    input.ReqMap.configurationProfileName == STRING
    input.ReqMap.versionName == STRING
    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
}

ConfigurationProfilesVersions_Delete

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

ConfigurationProfilesVersions_Get

valid {
    input.ReqMap.configurationProfileName == STRING
    input.ReqMap.versionName == STRING
    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
}

ConfigurationProfilesVersions_ListChildResources

valid {
    input.ReqMap.configurationProfileName == STRING
    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
}

ConfigurationProfilesVersions_Update

valid {
    input.Body.properties.configuration.STRING == STRING
    input.Body.properties.overrides[_].STRING == STRING
    input.ReqMap.configurationProfileName == STRING
    input.ReqMap.versionName == STRING
    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
}

ConfigurationProfiles_CreateOrUpdate

valid {
    input.Body.properties.configuration.STRING == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.configurationProfileName == STRING
    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
}

ConfigurationProfiles_Delete

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

ConfigurationProfiles_Get

valid {
    input.ReqMap.configurationProfileName == STRING
    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
}

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

ConfigurationProfiles_ListBySubscription

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

ConfigurationProfiles_Update

valid {
    input.Body.properties.configuration.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.configurationProfileName == STRING
    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
}

HCIReports_Get

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

HCIReports_ListByConfigurationProfileAssignments

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

HCRPReports_Get

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

HCRPReports_ListByConfigurationProfileAssignments

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.configurationProfileAssignmentName == 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
}

ServicePrincipals_Get

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

ServicePrincipals_ListBySubscription

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

reports_Get

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

reports_ListByConfigurationProfileAssignments

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