MICROSOFT.HYBRIDCOMPUTE

AgentVersion_Get

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

AgentVersion_List

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

ExtensionMetadata_Get

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

ExtensionMetadata_List

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

HybridIdentityMetadata_Get

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

HybridIdentityMetadata_ListByMachines

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
}

LicenseProfiles_CreateOrUpdate

enum_LicenseProfileProductType := [ "WindowsServer", "WindowsIoTEnterprise" ]
enum_LicenseProfileSubscriptionStatus := [ "Unknown", "Enabling", "Enabled", "Disabled" ]
enum_licenseProfileNameParameter := [ "default" ]

valid {
    input.Body.properties.softwareAssurance.softwareAssuranceCustomer == BOOLEAN
    input.Body.properties.esuProfile.assignedLicense == STRING
    input.Body.properties.productProfile.subscriptionStatus == enum_LicenseProfileSubscriptionStatus[_]
    input.Body.properties.productProfile.productType == enum_LicenseProfileProductType[_]
    input.Body.properties.productProfile.productFeatures[_].name == STRING
    input.Body.properties.productProfile.productFeatures[_].subscriptionStatus == enum_LicenseProfileSubscriptionStatus[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.licenseProfileName == enum_licenseProfileNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LicenseProfiles_Delete

enum_licenseProfileNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.licenseProfileName == enum_licenseProfileNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LicenseProfiles_Get

enum_licenseProfileNameParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.licenseProfileName == enum_licenseProfileNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LicenseProfiles_List

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

LicenseProfiles_Update

enum_LicenseProfileProductType := [ "WindowsServer", "WindowsIoTEnterprise" ]
enum_LicenseProfileSubscriptionStatusUpdate := [ "Enable", "Disable" ]
enum_licenseProfileNameParameter := [ "default" ]

valid {
    input.Body.properties.softwareAssurance.softwareAssuranceCustomer == BOOLEAN
    input.Body.properties.esuProfile.assignedLicense == STRING
    input.Body.properties.productProfile.subscriptionStatus == enum_LicenseProfileSubscriptionStatusUpdate[_]
    input.Body.properties.productProfile.productType == enum_LicenseProfileProductType[_]
    input.Body.properties.productProfile.productFeatures[_].name == STRING
    input.Body.properties.productProfile.productFeatures[_].subscriptionStatus == enum_LicenseProfileSubscriptionStatusUpdate[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.licenseProfileName == enum_licenseProfileNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Licenses_CreateOrUpdate

enum_LicenseCoreType := [ "pCore", "vCore" ]
enum_LicenseEdition := [ "Standard", "Datacenter" ]
enum_LicenseState := [ "Activated", "Deactivated" ]
enum_LicenseTarget := [ "Windows Server 2012", "Windows Server 2012 R2" ]
enum_LicenseType := [ "ESU" ]

valid {
    input.Body.properties.tenantId == STRING
    input.Body.properties.licenseType == enum_LicenseType[_]
    input.Body.properties.licenseDetails.state == enum_LicenseState[_]
    input.Body.properties.licenseDetails.target == enum_LicenseTarget[_]
    input.Body.properties.licenseDetails.edition == enum_LicenseEdition[_]
    input.Body.properties.licenseDetails.type == enum_LicenseCoreType[_]
    input.Body.properties.licenseDetails.processors == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.licenseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Licenses_Delete

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

Licenses_Get

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

Licenses_ListByResourceGroup

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
}

Licenses_ListBySubscription

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

Licenses_Update

enum_LicenseCoreType := [ "pCore", "vCore" ]
enum_LicenseEdition := [ "Standard", "Datacenter" ]
enum_LicenseState := [ "Activated", "Deactivated" ]
enum_LicenseTarget := [ "Windows Server 2012", "Windows Server 2012 R2" ]
enum_LicenseType := [ "ESU" ]

valid {
    input.Body.properties.licenseType == enum_LicenseType[_]
    input.Body.properties.licenseDetails.state == enum_LicenseState[_]
    input.Body.properties.licenseDetails.target == enum_LicenseTarget[_]
    input.Body.properties.licenseDetails.edition == enum_LicenseEdition[_]
    input.Body.properties.licenseDetails.type == enum_LicenseCoreType[_]
    input.Body.properties.licenseDetails.processors == INTEGER
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.licenseName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Licenses_ValidateLicense

enum_LicenseCoreType := [ "pCore", "vCore" ]
enum_LicenseEdition := [ "Standard", "Datacenter" ]
enum_LicenseState := [ "Activated", "Deactivated" ]
enum_LicenseTarget := [ "Windows Server 2012", "Windows Server 2012 R2" ]
enum_LicenseType := [ "ESU" ]

valid {
    input.Body.properties.tenantId == STRING
    input.Body.properties.licenseType == enum_LicenseType[_]
    input.Body.properties.licenseDetails.state == enum_LicenseState[_]
    input.Body.properties.licenseDetails.target == enum_LicenseTarget[_]
    input.Body.properties.licenseDetails.edition == enum_LicenseEdition[_]
    input.Body.properties.licenseDetails.type == enum_LicenseCoreType[_]
    input.Body.properties.licenseDetails.processors == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

MachineExtensions_CreateOrUpdate

enum_MachineExtensionInstanceViewStatusLevel := [ "Info", "Warning", "Error" ]

valid {
    input.Body.properties.forceUpdateTag == STRING
    input.Body.properties.publisher == STRING
    input.Body.properties.type == STRING
    input.Body.properties.typeHandlerVersion == STRING
    input.Body.properties.enableAutomaticUpgrade == BOOLEAN
    input.Body.properties.autoUpgradeMinorVersion == BOOLEAN
    input.Body.properties.settings.STRING == STRING
    input.Body.properties.protectedSettings.STRING == STRING
    input.Body.properties.instanceView.name == STRING
    input.Body.properties.instanceView.type == STRING
    input.Body.properties.instanceView.typeHandlerVersion == STRING
    input.Body.properties.instanceView.status.code == STRING
    input.Body.properties.instanceView.status.level == enum_MachineExtensionInstanceViewStatusLevel[_]
    input.Body.properties.instanceView.status.displayStatus == STRING
    input.Body.properties.instanceView.status.message == STRING
    input.Body.properties.instanceView.status.time == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.extensionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineExtensions_Delete

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

MachineExtensions_Get

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

MachineExtensions_List

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

MachineExtensions_Update

valid {
    input.Body.properties.forceUpdateTag == STRING
    input.Body.properties.publisher == STRING
    input.Body.properties.type == STRING
    input.Body.properties.typeHandlerVersion == STRING
    input.Body.properties.enableAutomaticUpgrade == BOOLEAN
    input.Body.properties.autoUpgradeMinorVersion == BOOLEAN
    input.Body.properties.settings.STRING == STRING
    input.Body.properties.protectedSettings.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.extensionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineRunCommands_CreateOrUpdate

valid {
    input.Body.properties.source.script == STRING
    input.Body.properties.source.scriptUri == STRING
    input.Body.properties.source.commandId == STRING
    input.Body.properties.source.scriptUriManagedIdentity.clientId == STRING
    input.Body.properties.source.scriptUriManagedIdentity.objectId == STRING
    input.Body.properties.parameters[_].name == STRING
    input.Body.properties.parameters[_].value == STRING
    input.Body.properties.protectedParameters[_].name == STRING
    input.Body.properties.protectedParameters[_].value == STRING
    input.Body.properties.asyncExecution == BOOLEAN
    input.Body.properties.runAsUser == STRING
    input.Body.properties.runAsPassword == STRING
    input.Body.properties.timeoutInSeconds == INTEGER
    input.Body.properties.outputBlobUri == STRING
    input.Body.properties.errorBlobUri == STRING
    input.Body.properties.outputBlobManagedIdentity.clientId == STRING
    input.Body.properties.outputBlobManagedIdentity.objectId == STRING
    input.Body.properties.errorBlobManagedIdentity.clientId == STRING
    input.Body.properties.errorBlobManagedIdentity.objectId == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.runCommandName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineRunCommands_Delete

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

MachineRunCommands_Get

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

MachineRunCommands_List

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

MachineRunCommands_Update

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

Machines_AssessPatches

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

Machines_CreateOrUpdate

enum_ArcKindEnum := [ "AVS", "HCI", "SCVMM", "VMware", "EPS", "GCP", "AWS" ]
enum_IdentityType := [ "SystemAssigned" ]
enum_LicenseCoreType := [ "pCore", "vCore" ]
enum_LicenseEdition := [ "Standard", "Datacenter" ]
enum_LicenseProfileMachineInstanceViewEsuPropertiesLicenseAssignmentState := [ "Assigned", "NotAssigned" ]
enum_LicenseState := [ "Activated", "Deactivated" ]
enum_LicenseTarget := [ "Windows Server 2012", "Windows Server 2012 R2" ]
enum_LicenseType := [ "ESU" ]
enum_MachineExtensionInstanceViewStatusLevel := [ "Info", "Warning", "Error" ]
enum_PatchSettingsAssessmentMode := [ "ImageDefault", "AutomaticByPlatform" ]
enum_PatchSettingsPatchMode := [ "ImageDefault", "AutomaticByPlatform", "AutomaticByOS", "Manual" ]

valid {
    input.Body.properties.locationData.name == STRING
    input.Body.properties.locationData.city == STRING
    input.Body.properties.locationData.district == STRING
    input.Body.properties.locationData.countryOrRegion == STRING
    input.Body.properties.serviceStatuses.extensionService.status == STRING
    input.Body.properties.serviceStatuses.extensionService.startupType == STRING
    input.Body.properties.serviceStatuses.guestConfigurationService.status == STRING
    input.Body.properties.serviceStatuses.guestConfigurationService.startupType == STRING
    input.Body.properties.cloudMetadata == {}
    input.Body.properties.agentUpgrade.desiredVersion == STRING
    input.Body.properties.agentUpgrade.correlationId == STRING
    input.Body.properties.agentUpgrade.enableAutomaticUpgrade == BOOLEAN
    input.Body.properties.osProfile.windowsConfiguration.patchSettings.assessmentMode == enum_PatchSettingsAssessmentMode[_]
    input.Body.properties.osProfile.windowsConfiguration.patchSettings.patchMode == enum_PatchSettingsPatchMode[_]
    input.Body.properties.osProfile.linuxConfiguration.patchSettings.assessmentMode == enum_PatchSettingsAssessmentMode[_]
    input.Body.properties.osProfile.linuxConfiguration.patchSettings.patchMode == enum_PatchSettingsPatchMode[_]
    input.Body.properties.licenseProfile.esuProfile.assignedLicense.properties.tenantId == STRING
    input.Body.properties.licenseProfile.esuProfile.assignedLicense.properties.licenseType == enum_LicenseType[_]
    input.Body.properties.licenseProfile.esuProfile.assignedLicense.properties.licenseDetails.state == enum_LicenseState[_]
    input.Body.properties.licenseProfile.esuProfile.assignedLicense.properties.licenseDetails.target == enum_LicenseTarget[_]
    input.Body.properties.licenseProfile.esuProfile.assignedLicense.properties.licenseDetails.edition == enum_LicenseEdition[_]
    input.Body.properties.licenseProfile.esuProfile.assignedLicense.properties.licenseDetails.type == enum_LicenseCoreType[_]
    input.Body.properties.licenseProfile.esuProfile.assignedLicense.properties.licenseDetails.processors == INTEGER
    input.Body.properties.licenseProfile.esuProfile.licenseAssignmentState == enum_LicenseProfileMachineInstanceViewEsuPropertiesLicenseAssignmentState[_]
    input.Body.properties.vmId == STRING
    input.Body.properties.clientPublicKey == STRING
    input.Body.properties.osType == STRING
    input.Body.properties.extensions[_].name == STRING
    input.Body.properties.extensions[_].type == STRING
    input.Body.properties.extensions[_].typeHandlerVersion == STRING
    input.Body.properties.extensions[_].status.code == STRING
    input.Body.properties.extensions[_].status.level == enum_MachineExtensionInstanceViewStatusLevel[_]
    input.Body.properties.extensions[_].status.displayStatus == STRING
    input.Body.properties.extensions[_].status.message == STRING
    input.Body.properties.extensions[_].status.time == STRING
    input.Body.properties.privateLinkScopeResourceId == STRING
    input.Body.properties.parentClusterResourceId == STRING
    input.Body.properties.mssqlDiscovered == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.kind == enum_ArcKindEnum[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.Qs.api-version == STRING
    input.Qs.$expand == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Machines_Delete

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
}

Machines_Get

enum_$expandParameter := [ "instanceView" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.machineName == STRING
    input.Qs.api-version == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Machines_InstallPatches

enum_LinuxParametersClassificationsToInclude := [ "Critical", "Security", "Other" ]
enum_MachineInstallPatchesParametersRebootSetting := [ "IfRequired", "Never", "Always" ]
enum_WindowsParametersClassificationsToInclude := [ "Critical", "Security", "UpdateRollUp", "FeaturePack", "ServicePack", "Definition", "Tools", "Updates" ]

valid {
    input.Body.maximumDuration == STRING
    input.Body.rebootSetting == enum_MachineInstallPatchesParametersRebootSetting[_]
    input.Body.windowsParameters.classificationsToInclude[_] == enum_WindowsParametersClassificationsToInclude[_]
    input.Body.windowsParameters.kbNumbersToInclude[_] == STRING
    input.Body.windowsParameters.kbNumbersToExclude[_] == STRING
    input.Body.windowsParameters.excludeKbsRequiringReboot == BOOLEAN
    input.Body.windowsParameters.maxPatchPublishDate == STRING
    input.Body.linuxParameters.classificationsToInclude[_] == enum_LinuxParametersClassificationsToInclude[_]
    input.Body.linuxParameters.packageNameMasksToInclude[_] == STRING
    input.Body.linuxParameters.packageNameMasksToExclude[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Machines_ListByResourceGroup

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

Machines_ListBySubscription

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

Machines_Reconnect

valid {
    input.Body.properties.vmId == STRING
    input.Body.properties.clientPublicKey == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Machines_Update

enum_ArcKindEnum := [ "AVS", "HCI", "SCVMM", "VMware", "EPS", "GCP", "AWS" ]
enum_IdentityType := [ "SystemAssigned" ]
enum_PatchSettingsAssessmentMode := [ "ImageDefault", "AutomaticByPlatform" ]
enum_PatchSettingsPatchMode := [ "ImageDefault", "AutomaticByPlatform", "AutomaticByOS", "Manual" ]

valid {
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.kind == enum_ArcKindEnum[_]
    input.Body.properties.locationData.name == STRING
    input.Body.properties.locationData.city == STRING
    input.Body.properties.locationData.district == STRING
    input.Body.properties.locationData.countryOrRegion == STRING
    input.Body.properties.osProfile.windowsConfiguration.patchSettings.assessmentMode == enum_PatchSettingsAssessmentMode[_]
    input.Body.properties.osProfile.windowsConfiguration.patchSettings.patchMode == enum_PatchSettingsPatchMode[_]
    input.Body.properties.osProfile.linuxConfiguration.patchSettings.assessmentMode == enum_PatchSettingsAssessmentMode[_]
    input.Body.properties.osProfile.linuxConfiguration.patchSettings.patchMode == enum_PatchSettingsPatchMode[_]
    input.Body.properties.cloudMetadata == {}
    input.Body.properties.agentUpgrade.desiredVersion == STRING
    input.Body.properties.agentUpgrade.correlationId == STRING
    input.Body.properties.agentUpgrade.enableAutomaticUpgrade == BOOLEAN
    input.Body.properties.parentClusterResourceId == STRING
    input.Body.properties.privateLinkScopeResourceId == STRING
    input.Body.tags.STRING == STRING
    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
}

NetworkConfigurations_CreateOrUpdate

valid {
    input.Body.properties.location == STRING
    input.Body.properties.networkConfigurationScopeId == STRING
    input.Body.properties.networkConfigurationScopeResourceId == STRING
    input.Body.STRING == STRING
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

NetworkConfigurations_Get

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

NetworkConfigurations_Update

valid {
    input.Body.properties.location == STRING
    input.Body.properties.networkConfigurationScopeId == STRING
    input.Body.properties.networkConfigurationScopeResourceId == STRING
    input.ReqMap.resourceUri == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

NetworkProfile_Get

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
}

NetworkSecurityPerimeterConfigurations_GetByPrivateLinkScope

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

NetworkSecurityPerimeterConfigurations_ListByPrivateLinkScope

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

NetworkSecurityPerimeterConfigurations_ReconcileForPrivateLinkScope

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.scopeName == STRING
    input.ReqMap.perimeterName == 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_CreateOrUpdate

valid {
    input.Body.properties.privateEndpoint.id == STRING
    input.Body.properties.privateLinkServiceConnectionState.status == STRING
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.scopeName == 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.scopeName == 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.scopeName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_ListByPrivateLinkScope

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.scopeName == 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.scopeName == STRING
    input.ReqMap.groupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateLinkResources_ListByPrivateLinkScope

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

PrivateLinkScopedResources_CreateOrUpdate

valid {
    input.Body.properties.linkedResourceId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.scopeName == STRING
    input.ReqMap.name == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateLinkScopedResources_Delete

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

PrivateLinkScopedResources_Get

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

PrivateLinkScopedResources_ListByPrivateLinkScope

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

PrivateLinkScopes_CreateOrUpdate

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

valid {
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccessType[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.scopeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateLinkScopes_Delete

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

PrivateLinkScopes_Get

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

PrivateLinkScopes_GetValidationDetails

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

PrivateLinkScopes_GetValidationDetailsForMachine

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
}

PrivateLinkScopes_List

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

PrivateLinkScopes_ListByResourceGroup

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
}

PrivateLinkScopes_UpdateTags

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

UpgradeExtensions

valid {
    input.Body.extensionTargets.STRING.targetVersion == STRING
    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
}

Updated 7 months ago