MICROSOFT.STORSIMPLE

AccessControlRecords_CreateOrUpdate

enum_BaseModelKind := [ "Series8000" ]

valid {
    input.Body.properties.initiatorName == STRING
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.accessControlRecordName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AccessControlRecords_Delete

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

AccessControlRecords_Get

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

AccessControlRecords_ListByManager

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

Alerts_Clear

valid {
    input.Body.resolutionMessage == STRING
    input.Body.alerts[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Alerts_ListByManager

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

Alerts_SendTestEmail

valid {
    input.Body.emailList[_] == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupPolicies_BackupNow

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

BackupPolicies_CreateOrUpdate

enum_BaseModelKind := [ "Series8000" ]

valid {
    input.Body.properties.volumeIds[_] == STRING
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.backupPolicyName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupPolicies_Delete

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

BackupPolicies_Get

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

BackupPolicies_ListByDevice

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

BackupScheduleGroups_CreateOrUpdate

valid {
    input.Body.properties.startTime.hour == INTEGER
    input.Body.properties.startTime.minute == INTEGER
    input.ReqMap.deviceName == STRING
    input.ReqMap.scheduleGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupScheduleGroups_Delete

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

BackupScheduleGroups_Get

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

BackupScheduleGroups_ListByDevice

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

BackupSchedules_CreateOrUpdate

enum_BackupSchedulePropertiesBackupType := [ "LocalSnapshot", "CloudSnapshot" ]
enum_BackupSchedulePropertiesScheduleStatus := [ "Enabled", "Disabled" ]
enum_BaseModelKind := [ "Series8000" ]
enum_ScheduleRecurrenceRecurrenceType := [ "Minutes", "Hourly", "Daily", "Weekly" ]
enum_ScheduleRecurrenceWeeklyDaysList := [ "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" ]

valid {
    input.Body.properties.scheduleRecurrence.recurrenceType == enum_ScheduleRecurrenceRecurrenceType[_]
    input.Body.properties.scheduleRecurrence.recurrenceValue == INTEGER
    input.Body.properties.scheduleRecurrence.weeklyDaysList[_] == enum_ScheduleRecurrenceWeeklyDaysList[_]
    input.Body.properties.backupType == enum_BackupSchedulePropertiesBackupType[_]
    input.Body.properties.retentionCount == INTEGER
    input.Body.properties.startTime == STRING
    input.Body.properties.scheduleStatus == enum_BackupSchedulePropertiesScheduleStatus[_]
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.backupPolicyName == STRING
    input.ReqMap.backupScheduleName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BackupSchedules_Delete

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

BackupSchedules_Get

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

BackupSchedules_ListByBackupPolicy

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

Backups_Clone

enum_BackupElementVolumeType := [ "Tiered", "Archival", "LocallyPinned" ]

valid {
    input.Body.targetDeviceId == STRING
    input.Body.targetVolumeName == STRING
    input.Body.targetAccessControlRecordIds[_] == STRING
    input.Body.backupElement.elementId == STRING
    input.Body.backupElement.elementName == STRING
    input.Body.backupElement.elementType == STRING
    input.Body.backupElement.sizeInBytes == INTEGER
    input.Body.backupElement.volumeName == STRING
    input.Body.backupElement.volumeContainerId == STRING
    input.Body.backupElement.volumeType == enum_BackupElementVolumeType[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.backupName == STRING
    input.ReqMap.backupElementName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Backups_Delete

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

Backups_ListByDevice

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

Backups_ListByManager

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

Backups_Restore

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

BandwidthSettings_CreateOrUpdate

enum_BandwidthScheduleDays := [ "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday" ]
enum_BaseModelKind := [ "Series8000" ]

valid {
    input.Body.properties.schedules[_].start.hours == INTEGER
    input.Body.properties.schedules[_].start.minutes == INTEGER
    input.Body.properties.schedules[_].start.seconds == INTEGER
    input.Body.properties.schedules[_].stop.hours == INTEGER
    input.Body.properties.schedules[_].stop.minutes == INTEGER
    input.Body.properties.schedules[_].stop.seconds == INTEGER
    input.Body.properties.schedules[_].rateInMbps == INTEGER
    input.Body.properties.schedules[_].days[_] == enum_BandwidthScheduleDays[_]
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.bandwidthSettingName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BandwidthSettings_Delete

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

BandwidthSettings_Get

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

BandwidthSettings_ListByManager

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

ChapSettings_CreateOrUpdate

enum_AsymmetricEncryptedSecretEncryptionAlgorithm := [ "None", "AES256", "RSAES_PKCS1_v_1_5" ]

valid {
    input.Body.properties.password.value == STRING
    input.Body.properties.password.encryptionCertificateThumbprint == STRING
    input.Body.properties.password.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.chapUserName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ChapSettings_Delete

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

ChapSettings_Get

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

ChapSettings_ListByDevice

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

CloudAppliances_ListSupportedConfigurations

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

CloudAppliances_Provision

valid {
    input.Body.name == STRING
    input.Body.vnetName == STRING
    input.Body.vnetRegion == STRING
    input.Body.isVnetDnsConfigured == BOOLEAN
    input.Body.isVnetExpressConfigured == BOOLEAN
    input.Body.subnetName == STRING
    input.Body.storageAccountName == STRING
    input.Body.storageAccountType == STRING
    input.Body.vmType == STRING
    input.Body.vmImageName == STRING
    input.Body.modelNumber == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DeviceSettings_CreateOrUpdateAlertSettings

enum_AlertNotificationPropertiesEmailNotification := [ "Enabled", "Disabled" ]
enum_AlertNotificationPropertiesNotificationToServiceOwners := [ "Enabled", "Disabled" ]
enum_BaseModelKind := [ "Series8000" ]

valid {
    input.Body.properties.emailNotification == enum_AlertNotificationPropertiesEmailNotification[_]
    input.Body.properties.alertNotificationCulture == STRING
    input.Body.properties.notificationToServiceOwners == enum_AlertNotificationPropertiesNotificationToServiceOwners[_]
    input.Body.properties.additionalRecipientEmailList[_] == STRING
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DeviceSettings_CreateOrUpdateTimeSettings

enum_BaseModelKind := [ "Series8000" ]

valid {
    input.Body.properties.timeZone == STRING
    input.Body.properties.primaryTimeServer == STRING
    input.Body.properties.secondaryTimeServer[_] == STRING
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DeviceSettings_GetAlertSettings

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

DeviceSettings_GetNetworkSettings

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

DeviceSettings_GetSecuritySettings

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

DeviceSettings_GetTimeSettings

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

DeviceSettings_SyncRemotemanagementCertificate

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

DeviceSettings_UpdateNetworkSettings

enum_NetworkAdaptersInterfaceId := [ "Invalid", "Data0", "Data1", "Data2", "Data3", "Data4", "Data5" ]
enum_NetworkAdaptersIscsiAndCloudStatus := [ "Disabled", "IscsiEnabled", "CloudEnabled", "IscsiAndCloudEnabled" ]
enum_NetworkAdaptersMode := [ "Invalid", "IPV4", "IPV6", "BOTH" ]
enum_NetworkAdaptersNetInterfaceStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.dnsSettings.primaryDnsServer == STRING
    input.Body.properties.dnsSettings.primaryIpv6DnsServer == STRING
    input.Body.properties.dnsSettings.secondaryDnsServers[_] == STRING
    input.Body.properties.dnsSettings.secondaryIpv6DnsServers[_] == STRING
    input.Body.properties.networkAdapters.value[_].interfaceId == enum_NetworkAdaptersInterfaceId[_]
    input.Body.properties.networkAdapters.value[_].netInterfaceStatus == enum_NetworkAdaptersNetInterfaceStatus[_]
    input.Body.properties.networkAdapters.value[_].isDefault == BOOLEAN
    input.Body.properties.networkAdapters.value[_].iscsiAndCloudStatus == enum_NetworkAdaptersIscsiAndCloudStatus[_]
    input.Body.properties.networkAdapters.value[_].speed == INTEGER
    input.Body.properties.networkAdapters.value[_].mode == enum_NetworkAdaptersMode[_]
    input.Body.properties.networkAdapters.value[_].nicIpv4Settings.ipv4Address == STRING
    input.Body.properties.networkAdapters.value[_].nicIpv4Settings.ipv4Netmask == STRING
    input.Body.properties.networkAdapters.value[_].nicIpv4Settings.ipv4Gateway == STRING
    input.Body.properties.networkAdapters.value[_].nicIpv4Settings.controller0Ipv4Address == STRING
    input.Body.properties.networkAdapters.value[_].nicIpv4Settings.controller1Ipv4Address == STRING
    input.Body.properties.networkAdapters.value[_].nicIpv6Settings.ipv6Address == STRING
    input.Body.properties.networkAdapters.value[_].nicIpv6Settings.ipv6Prefix == STRING
    input.Body.properties.networkAdapters.value[_].nicIpv6Settings.ipv6Gateway == STRING
    input.Body.properties.networkAdapters.value[_].nicIpv6Settings.controller0Ipv6Address == STRING
    input.Body.properties.networkAdapters.value[_].nicIpv6Settings.controller1Ipv6Address == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DeviceSettings_UpdateSecuritySettings

enum_AsymmetricEncryptedSecretEncryptionAlgorithm := [ "None", "AES256", "RSAES_PKCS1_v_1_5" ]
enum_RemoteManagementSettingsPatchRemoteManagementMode := [ "Unknown", "Disabled", "HttpsEnabled", "HttpsAndHttpEnabled" ]

valid {
    input.Body.properties.remoteManagementSettings.remoteManagementMode == enum_RemoteManagementSettingsPatchRemoteManagementMode[_]
    input.Body.properties.deviceAdminPassword.value == STRING
    input.Body.properties.deviceAdminPassword.encryptionCertThumbprint == STRING
    input.Body.properties.deviceAdminPassword.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.Body.properties.snapshotPassword.value == STRING
    input.Body.properties.snapshotPassword.encryptionCertThumbprint == STRING
    input.Body.properties.snapshotPassword.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.Body.properties.chapSettings.initiatorUser == STRING
    input.Body.properties.chapSettings.initiatorSecret.value == STRING
    input.Body.properties.chapSettings.initiatorSecret.encryptionCertThumbprint == STRING
    input.Body.properties.chapSettings.initiatorSecret.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.Body.properties.chapSettings.targetUser == STRING
    input.Body.properties.chapSettings.targetSecret.value == STRING
    input.Body.properties.chapSettings.targetSecret.encryptionCertThumbprint == STRING
    input.Body.properties.chapSettings.targetSecret.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.Body.properties.cloudApplianceSettings.serviceDataEncryptionKey.value == STRING
    input.Body.properties.cloudApplianceSettings.serviceDataEncryptionKey.encryptionCertThumbprint == STRING
    input.Body.properties.cloudApplianceSettings.serviceDataEncryptionKey.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.Body.properties.cloudApplianceSettings.channelIntegrityKey.value == STRING
    input.Body.properties.cloudApplianceSettings.channelIntegrityKey.encryptionCertThumbprint == STRING
    input.Body.properties.cloudApplianceSettings.channelIntegrityKey.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Devices_AuthorizeForServiceEncryptionKeyRollover

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

Devices_Configure

enum_BaseModelKind := [ "Series8000" ]

valid {
    input.Body.properties.friendlyName == STRING
    input.Body.properties.currentDeviceName == STRING
    input.Body.properties.timeZone == STRING
    input.Body.properties.dnsSettings.secondaryDnsServers[_] == STRING
    input.Body.properties.networkInterfaceData0Settings.controllerZeroIp == STRING
    input.Body.properties.networkInterfaceData0Settings.controllerOneIp == STRING
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Devices_CreateOrUpdateSecuritySettings

enum_AsymmetricEncryptedSecretEncryptionAlgorithm := [ "None", "AES256", "RSAES_PKCS1_v_1_5" ]

valid {
    input.Body.properties.deviceAdminPassword.value == STRING
    input.Body.properties.deviceAdminPassword.encryptionCertificateThumbprint == STRING
    input.Body.properties.deviceAdminPassword.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Devices_Deactivate

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

Devices_Delete

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

Devices_DownloadUpdates

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

Devices_Failover

valid {
    input.Body.targetDeviceId == STRING
    input.Body.volumeContainers[_] == STRING
    input.ReqMap.sourceDeviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Devices_Get

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

Devices_GetUpdateSummary

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

Devices_InstallUpdates

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

Devices_ListByManager

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

Devices_ListFailoverSets

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

Devices_ListFailoverTarget

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

Devices_ListFailoverTargets

valid {
    input.Body.volumeContainers[_] == STRING
    input.ReqMap.sourceDeviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Devices_ListMetricDefinition

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

Devices_ListMetrics

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

Devices_ScanForUpdates

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

Devices_Update

valid {
    input.Body.properties.deviceDescription == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FileServers_BackupNow

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

FileServers_CreateOrUpdate

valid {
    input.Body.properties.domainName == STRING
    input.Body.properties.storageDomainId == STRING
    input.Body.properties.backupScheduleGroupId == STRING
    input.Body.properties.description == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.fileServerName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FileServers_Delete

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

FileServers_Get

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

FileServers_ListByDevice

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

FileServers_ListByManager

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

FileServers_ListMetricDefinition

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

FileServers_ListMetrics

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.fileServerName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FileShares_CreateOrUpdate

enum_FileSharePropertiesDataPolicy := [ "Invalid", "Local", "Tiered", "Cloud" ]
enum_FileSharePropertiesMonitoringStatus := [ "Enabled", "Disabled" ]
enum_FileSharePropertiesShareStatus := [ "Online", "Offline" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.shareStatus == enum_FileSharePropertiesShareStatus[_]
    input.Body.properties.dataPolicy == enum_FileSharePropertiesDataPolicy[_]
    input.Body.properties.adminUser == STRING
    input.Body.properties.provisionedCapacityInBytes == INTEGER
    input.Body.properties.monitoringStatus == enum_FileSharePropertiesMonitoringStatus[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.fileServerName == STRING
    input.ReqMap.shareName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FileShares_Delete

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

FileShares_Get

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

FileShares_ListByDevice

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

FileShares_ListByFileServer

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

FileShares_ListMetricDefinition

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

FileShares_ListMetrics

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.fileServerName == STRING
    input.ReqMap.shareName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HardwareComponentGroups_ChangeControllerPowerState

enum_BaseModelKind := [ "Series8000" ]
enum_ControllerPowerStateChangeRequestPropertiesAction := [ "Start", "Restart", "Shutdown" ]
enum_ControllerPowerStateChangeRequestPropertiesActiveController := [ "Unknown", "None", "Controller0", "Controller1" ]
enum_ControllerPowerStateChangeRequestPropertiesController0State := [ "NotPresent", "PoweredOff", "Ok", "Recovering", "Warning", "Failure" ]
enum_ControllerPowerStateChangeRequestPropertiesController1State := [ "NotPresent", "PoweredOff", "Ok", "Recovering", "Warning", "Failure" ]

valid {
    input.Body.properties.action == enum_ControllerPowerStateChangeRequestPropertiesAction[_]
    input.Body.properties.activeController == enum_ControllerPowerStateChangeRequestPropertiesActiveController[_]
    input.Body.properties.controller0State == enum_ControllerPowerStateChangeRequestPropertiesController0State[_]
    input.Body.properties.controller1State == enum_ControllerPowerStateChangeRequestPropertiesController1State[_]
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.hardwareComponentGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HardwareComponentGroups_ListByDevice

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

IscsiDisks_CreateOrUpdate

enum_ISCSIDiskPropertiesDataPolicy := [ "Invalid", "Local", "Tiered", "Cloud" ]
enum_ISCSIDiskPropertiesDiskStatus := [ "Online", "Offline" ]
enum_ISCSIDiskPropertiesMonitoringStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.diskStatus == enum_ISCSIDiskPropertiesDiskStatus[_]
    input.Body.properties.accessControlRecords[_] == STRING
    input.Body.properties.dataPolicy == enum_ISCSIDiskPropertiesDataPolicy[_]
    input.Body.properties.provisionedCapacityInBytes == INTEGER
    input.Body.properties.monitoringStatus == enum_ISCSIDiskPropertiesMonitoringStatus[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.iscsiServerName == STRING
    input.ReqMap.diskName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IscsiDisks_Delete

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

IscsiDisks_Get

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

IscsiDisks_ListByDevice

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

IscsiDisks_ListByIscsiServer

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

IscsiDisks_ListMetricDefinition

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

IscsiDisks_ListMetrics

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.iscsiServerName == STRING
    input.ReqMap.diskName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IscsiServers_BackupNow

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

IscsiServers_CreateOrUpdate

valid {
    input.Body.properties.storageDomainId == STRING
    input.Body.properties.backupScheduleGroupId == STRING
    input.Body.properties.description == STRING
    input.Body.properties.chapId == STRING
    input.Body.properties.reverseChapId == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.iscsiServerName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IscsiServers_Delete

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

IscsiServers_Get

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

IscsiServers_ListByDevice

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

IscsiServers_ListByManager

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

IscsiServers_ListMetricDefinition

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

IscsiServers_ListMetrics

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.iscsiServerName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Jobs_Cancel

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

Jobs_Get

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

Jobs_ListByDevice

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

Jobs_ListByManager

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

Managers_CreateExtendedInfo

enum_BaseModelKind := [ "Series8000" ]

valid {
    input.Body.properties.version == STRING
    input.Body.properties.integrityKey == STRING
    input.Body.properties.encryptionKey == STRING
    input.Body.properties.encryptionKeyThumbprint == STRING
    input.Body.properties.portalCertificateThumbprint == STRING
    input.Body.properties.algorithm == STRING
    input.Body.etag == STRING
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Managers_CreateOrUpdate

enum_ManagerIntrinsicSettingsType := [ "GardaV1", "HelsinkiV1" ]
enum_ManagerSkuName := [ "Standard" ]

valid {
    input.Body.properties.cisIntrinsicSettings.type == enum_ManagerIntrinsicSettingsType[_]
    input.Body.properties.sku.name == enum_ManagerSkuName[_]
    input.Body.properties.provisioningState == STRING
    input.Body.etag == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Managers_Delete

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

Managers_DeleteExtendedInfo

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

Managers_Get

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

Managers_GetActivationKey

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

Managers_GetDevicePublicEncryptionKey

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

Managers_GetEncryptionKey

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

Managers_GetEncryptionSettings

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

Managers_GetExtendedInfo

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

Managers_GetPublicEncryptionKey

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

Managers_List

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

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

Managers_ListFeatureSupportStatus

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

Managers_ListMetricDefinition

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

Managers_ListMetrics

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

Managers_RegenerateActivationKey

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

Managers_Update

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

Managers_UpdateExtendedInfo

valid {
    input.Body.properties.version == STRING
    input.Body.properties.integrityKey == STRING
    input.Body.properties.encryptionKey == STRING
    input.Body.properties.encryptionKeyThumbprint == STRING
    input.Body.properties.portalCertificateThumbprint == STRING
    input.Body.properties.algorithm == STRING
    input.Body.etag == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Managers_UploadRegistrationCertificate

enum_RawCertificateDataAuthType := [ "Invalid", "AccessControlService", "AzureActiveDirectory" ]

valid {
    input.Body.properties.authType == enum_RawCertificateDataAuthType[_]
    input.Body.properties.certificate == STRING
    input.ReqMap.certificateName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == 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
}

StorageAccountCredentials_CreateOrUpdate

enum_AsymmetricEncryptedSecretEncryptionAlgorithm := [ "None", "AES256", "RSAES_PKCS1_v_1_5" ]
enum_BaseModelKind := [ "Series8000" ]
enum_StorageAccountCredentialPropertiesSslStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.endPoint == STRING
    input.Body.properties.sslStatus == enum_StorageAccountCredentialPropertiesSslStatus[_]
    input.Body.properties.accessKey.value == STRING
    input.Body.properties.accessKey.encryptionCertThumbprint == STRING
    input.Body.properties.accessKey.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.storageAccountCredentialName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StorageAccountCredentials_Delete

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

StorageAccountCredentials_Get

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

StorageAccountCredentials_ListByManager

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

StorageDomains_CreateOrUpdate

enum_AsymmetricEncryptedSecretEncryptionAlgorithm := [ "None", "AES256", "RSAES_PKCS1_v_1_5" ]
enum_StorageDomainPropertiesEncryptionStatus := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.storageAccountCredentialIds[_] == STRING
    input.Body.properties.encryptionKey.value == STRING
    input.Body.properties.encryptionKey.encryptionCertificateThumbprint == STRING
    input.Body.properties.encryptionKey.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.Body.properties.encryptionStatus == enum_StorageDomainPropertiesEncryptionStatus[_]
    input.ReqMap.storageDomainName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StorageDomains_Delete

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

StorageDomains_Get

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

StorageDomains_ListByManager

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

VolumeContainers_CreateOrUpdate

enum_AsymmetricEncryptedSecretEncryptionAlgorithm := [ "None", "AES256", "RSAES_PKCS1_v_1_5" ]
enum_BaseModelKind := [ "Series8000" ]

valid {
    input.Body.properties.encryptionKey.value == STRING
    input.Body.properties.encryptionKey.encryptionCertThumbprint == STRING
    input.Body.properties.encryptionKey.encryptionAlgorithm == enum_AsymmetricEncryptedSecretEncryptionAlgorithm[_]
    input.Body.properties.storageAccountCredentialId == STRING
    input.Body.properties.bandWidthRateInMbps == INTEGER
    input.Body.properties.bandwidthSettingId == STRING
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.volumeContainerName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VolumeContainers_Delete

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

VolumeContainers_Get

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

VolumeContainers_ListByDevice

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

VolumeContainers_ListMetricDefinition

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

VolumeContainers_ListMetrics

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.volumeContainerName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_CreateOrUpdate

enum_BaseModelKind := [ "Series8000" ]
enum_VolumePropertiesMonitoringStatus := [ "Enabled", "Disabled" ]
enum_VolumePropertiesVolumeStatus := [ "Online", "Offline" ]
enum_VolumePropertiesVolumeType := [ "Tiered", "Archival", "LocallyPinned" ]

valid {
    input.Body.properties.sizeInBytes == INTEGER
    input.Body.properties.volumeType == enum_VolumePropertiesVolumeType[_]
    input.Body.properties.accessControlRecordIds[_] == STRING
    input.Body.properties.volumeStatus == enum_VolumePropertiesVolumeStatus[_]
    input.Body.properties.monitoringStatus == enum_VolumePropertiesMonitoringStatus[_]
    input.Body.kind == enum_BaseModelKind[_]
    input.ReqMap.deviceName == STRING
    input.ReqMap.volumeContainerName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volumes_Delete

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

Volumes_Get

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

Volumes_ListByDevice

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

Volumes_ListByVolumeContainer

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

Volumes_ListMetricDefinition

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

Volumes_ListMetrics

valid {
    input.ReqMap.deviceName == STRING
    input.ReqMap.volumeContainerName == STRING
    input.ReqMap.volumeName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.managerName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Updated 8 months ago