AssociateFileSystemAliases

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.FileSystemId == STRING
    input.Body.Aliases[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CancelDataRepositoryTask

valid {
    input.Body.TaskId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CopyBackup

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.SourceBackupId == STRING
    input.Body.SourceRegion == STRING
    input.Body.KmsKeyId == STRING
    input.Body.CopyTags == BOOLEAN
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CopySnapshotAndUpdateVolume

enum_OpenZFSCopyStrategy := [ "CLONE", "FULL_COPY", "INCREMENTAL_COPY" ]
enum_UpdateOpenZFSVolumeOption := [ "DELETE_INTERMEDIATE_SNAPSHOTS", "DELETE_CLONED_VOLUMES", "DELETE_INTERMEDIATE_DATA" ]

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.VolumeId == STRING
    input.Body.SourceSnapshotARN == STRING
    input.Body.CopyStrategy == enum_OpenZFSCopyStrategy[_]
    input.Body.Options[_] == enum_UpdateOpenZFSVolumeOption[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateBackup

valid {
    input.Body.FileSystemId == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.VolumeId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDataRepositoryAssociation

enum_EventType := [ "NEW", "CHANGED", "DELETED" ]

valid {
    input.Body.FileSystemId == STRING
    input.Body.FileSystemPath == STRING
    input.Body.DataRepositoryPath == STRING
    input.Body.BatchImportMetaDataOnCreate == BOOLEAN
    input.Body.ImportedFileChunkSize == INTEGER
    input.Body.S3.AutoImportPolicy.Events[_] == enum_EventType[_]
    input.Body.S3.AutoExportPolicy.Events[_] == enum_EventType[_]
    input.Body.ClientRequestToken == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDataRepositoryTask

enum_DataRepositoryTaskType := [ "EXPORT_TO_REPOSITORY", "IMPORT_METADATA_FROM_REPOSITORY", "RELEASE_DATA_FROM_FILESYSTEM", "AUTO_RELEASE_DATA" ]
enum_ReportFormat := [ "REPORT_CSV_20191124" ]
enum_ReportScope := [ "FAILED_FILES_ONLY" ]
enum_Unit := [ "DAYS" ]

valid {
    input.Body.Type == enum_DataRepositoryTaskType[_]
    input.Body.Paths[_] == STRING
    input.Body.FileSystemId == STRING
    input.Body.Report.Enabled == BOOLEAN
    input.Body.Report.Path == STRING
    input.Body.Report.Format == enum_ReportFormat[_]
    input.Body.Report.Scope == enum_ReportScope[_]
    input.Body.ClientRequestToken == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.CapacityToRelease == LONG
    input.Body.ReleaseConfiguration.DurationSinceLastAccess.Unit == enum_Unit[_]
    input.Body.ReleaseConfiguration.DurationSinceLastAccess.Value == LONG
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateFileCache

enum_FileCacheLustreDeploymentType := [ "CACHE_1" ]
enum_FileCacheType := [ "LUSTRE" ]
enum_NfsVersion := [ "NFS3" ]

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.FileCacheType == enum_FileCacheType[_]
    input.Body.FileCacheTypeVersion == STRING
    input.Body.StorageCapacity == INTEGER
    input.Body.SubnetIds[_] == STRING
    input.Body.SecurityGroupIds[_] == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.CopyTagsToDataRepositoryAssociations == BOOLEAN
    input.Body.KmsKeyId == STRING
    input.Body.LustreConfiguration.PerUnitStorageThroughput == INTEGER
    input.Body.LustreConfiguration.DeploymentType == enum_FileCacheLustreDeploymentType[_]
    input.Body.LustreConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.LustreConfiguration.MetadataConfiguration.StorageCapacity == INTEGER
    input.Body.DataRepositoryAssociations[_].FileCachePath == STRING
    input.Body.DataRepositoryAssociations[_].DataRepositoryPath == STRING
    input.Body.DataRepositoryAssociations[_].DataRepositorySubdirectories[_] == STRING
    input.Body.DataRepositoryAssociations[_].NFS.Version == enum_NfsVersion[_]
    input.Body.DataRepositoryAssociations[_].NFS.DnsIps[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateFileSystem

enum_AutoImportPolicyType := [ "NONE", "NEW", "NEW_CHANGED", "NEW_CHANGED_DELETED" ]
enum_DataCompressionType := [ "NONE", "LZ4" ]
enum_DiskIopsConfigurationMode := [ "AUTOMATIC", "USER_PROVISIONED" ]
enum_DriveCacheType := [ "NONE", "READ" ]
enum_FileSystemType := [ "WINDOWS", "LUSTRE", "ONTAP", "OPENZFS" ]
enum_LustreAccessAuditLogLevel := [ "DISABLED", "WARN_ONLY", "ERROR_ONLY", "WARN_ERROR" ]
enum_LustreDeploymentType := [ "SCRATCH_1", "SCRATCH_2", "PERSISTENT_1", "PERSISTENT_2" ]
enum_OntapDeploymentType := [ "MULTI_AZ_1", "SINGLE_AZ_1", "SINGLE_AZ_2" ]
enum_OpenZFSDataCompressionType := [ "NONE", "ZSTD", "LZ4" ]
enum_OpenZFSDeploymentType := [ "SINGLE_AZ_1", "SINGLE_AZ_2", "MULTI_AZ_1" ]
enum_OpenZFSQuotaType := [ "USER", "GROUP" ]
enum_StorageType := [ "SSD", "HDD" ]
enum_WindowsAccessAuditLogLevel := [ "DISABLED", "SUCCESS_ONLY", "FAILURE_ONLY", "SUCCESS_AND_FAILURE" ]
enum_WindowsDeploymentType := [ "MULTI_AZ_1", "SINGLE_AZ_1", "SINGLE_AZ_2" ]

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.FileSystemType == enum_FileSystemType[_]
    input.Body.StorageCapacity == INTEGER
    input.Body.StorageType == enum_StorageType[_]
    input.Body.SubnetIds[_] == STRING
    input.Body.SecurityGroupIds[_] == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.KmsKeyId == STRING
    input.Body.WindowsConfiguration.ActiveDirectoryId == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.DomainName == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.OrganizationalUnitDistinguishedName == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.FileSystemAdministratorsGroup == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.UserName == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.Password == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.DnsIps[_] == STRING
    input.Body.WindowsConfiguration.DeploymentType == enum_WindowsDeploymentType[_]
    input.Body.WindowsConfiguration.PreferredSubnetId == STRING
    input.Body.WindowsConfiguration.ThroughputCapacity == INTEGER
    input.Body.WindowsConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.WindowsConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.WindowsConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.WindowsConfiguration.CopyTagsToBackups == BOOLEAN
    input.Body.WindowsConfiguration.Aliases[_] == STRING
    input.Body.WindowsConfiguration.AuditLogConfiguration.FileAccessAuditLogLevel == enum_WindowsAccessAuditLogLevel[_]
    input.Body.WindowsConfiguration.AuditLogConfiguration.FileShareAccessAuditLogLevel == enum_WindowsAccessAuditLogLevel[_]
    input.Body.WindowsConfiguration.AuditLogConfiguration.AuditLogDestination == STRING
    input.Body.WindowsConfiguration.DiskIopsConfiguration.Mode == enum_DiskIopsConfigurationMode[_]
    input.Body.WindowsConfiguration.DiskIopsConfiguration.Iops == LONG
    input.Body.LustreConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.LustreConfiguration.ImportPath == STRING
    input.Body.LustreConfiguration.ExportPath == STRING
    input.Body.LustreConfiguration.ImportedFileChunkSize == INTEGER
    input.Body.LustreConfiguration.DeploymentType == enum_LustreDeploymentType[_]
    input.Body.LustreConfiguration.AutoImportPolicy == enum_AutoImportPolicyType[_]
    input.Body.LustreConfiguration.PerUnitStorageThroughput == INTEGER
    input.Body.LustreConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.LustreConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.LustreConfiguration.CopyTagsToBackups == BOOLEAN
    input.Body.LustreConfiguration.DriveCacheType == enum_DriveCacheType[_]
    input.Body.LustreConfiguration.DataCompressionType == enum_DataCompressionType[_]
    input.Body.LustreConfiguration.LogConfiguration.Level == enum_LustreAccessAuditLogLevel[_]
    input.Body.LustreConfiguration.LogConfiguration.Destination == STRING
    input.Body.LustreConfiguration.RootSquashConfiguration.RootSquash == STRING
    input.Body.LustreConfiguration.RootSquashConfiguration.NoSquashNids[_] == STRING
    input.Body.OntapConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.OntapConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.OntapConfiguration.DeploymentType == enum_OntapDeploymentType[_]
    input.Body.OntapConfiguration.EndpointIpAddressRange == STRING
    input.Body.OntapConfiguration.FsxAdminPassword == STRING
    input.Body.OntapConfiguration.DiskIopsConfiguration.Mode == enum_DiskIopsConfigurationMode[_]
    input.Body.OntapConfiguration.DiskIopsConfiguration.Iops == LONG
    input.Body.OntapConfiguration.PreferredSubnetId == STRING
    input.Body.OntapConfiguration.RouteTableIds[_] == STRING
    input.Body.OntapConfiguration.ThroughputCapacity == INTEGER
    input.Body.OntapConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.OntapConfiguration.HAPairs == INTEGER
    input.Body.OntapConfiguration.ThroughputCapacityPerHAPair == INTEGER
    input.Body.FileSystemTypeVersion == STRING
    input.Body.OpenZFSConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.OpenZFSConfiguration.CopyTagsToBackups == BOOLEAN
    input.Body.OpenZFSConfiguration.CopyTagsToVolumes == BOOLEAN
    input.Body.OpenZFSConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.OpenZFSConfiguration.DeploymentType == enum_OpenZFSDeploymentType[_]
    input.Body.OpenZFSConfiguration.ThroughputCapacity == INTEGER
    input.Body.OpenZFSConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.OpenZFSConfiguration.DiskIopsConfiguration.Mode == enum_DiskIopsConfigurationMode[_]
    input.Body.OpenZFSConfiguration.DiskIopsConfiguration.Iops == LONG
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.RecordSizeKiB == INTEGER
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.DataCompressionType == enum_OpenZFSDataCompressionType[_]
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.NfsExports[_].ClientConfigurations[_].Clients == STRING
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.NfsExports[_].ClientConfigurations[_].Options[_] == STRING
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.UserAndGroupQuotas[_].Type == enum_OpenZFSQuotaType[_]
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.UserAndGroupQuotas[_].Id == INTEGER
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.UserAndGroupQuotas[_].StorageCapacityQuotaGiB == INTEGER
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.CopyTagsToSnapshots == BOOLEAN
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.ReadOnly == BOOLEAN
    input.Body.OpenZFSConfiguration.PreferredSubnetId == STRING
    input.Body.OpenZFSConfiguration.EndpointIpAddressRange == STRING
    input.Body.OpenZFSConfiguration.RouteTableIds[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateFileSystemFromBackup

enum_AutoImportPolicyType := [ "NONE", "NEW", "NEW_CHANGED", "NEW_CHANGED_DELETED" ]
enum_DataCompressionType := [ "NONE", "LZ4" ]
enum_DiskIopsConfigurationMode := [ "AUTOMATIC", "USER_PROVISIONED" ]
enum_DriveCacheType := [ "NONE", "READ" ]
enum_LustreAccessAuditLogLevel := [ "DISABLED", "WARN_ONLY", "ERROR_ONLY", "WARN_ERROR" ]
enum_LustreDeploymentType := [ "SCRATCH_1", "SCRATCH_2", "PERSISTENT_1", "PERSISTENT_2" ]
enum_OpenZFSDataCompressionType := [ "NONE", "ZSTD", "LZ4" ]
enum_OpenZFSDeploymentType := [ "SINGLE_AZ_1", "SINGLE_AZ_2", "MULTI_AZ_1" ]
enum_OpenZFSQuotaType := [ "USER", "GROUP" ]
enum_StorageType := [ "SSD", "HDD" ]
enum_WindowsAccessAuditLogLevel := [ "DISABLED", "SUCCESS_ONLY", "FAILURE_ONLY", "SUCCESS_AND_FAILURE" ]
enum_WindowsDeploymentType := [ "MULTI_AZ_1", "SINGLE_AZ_1", "SINGLE_AZ_2" ]

valid {
    input.Body.BackupId == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.SubnetIds[_] == STRING
    input.Body.SecurityGroupIds[_] == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.WindowsConfiguration.ActiveDirectoryId == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.DomainName == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.OrganizationalUnitDistinguishedName == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.FileSystemAdministratorsGroup == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.UserName == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.Password == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.DnsIps[_] == STRING
    input.Body.WindowsConfiguration.DeploymentType == enum_WindowsDeploymentType[_]
    input.Body.WindowsConfiguration.PreferredSubnetId == STRING
    input.Body.WindowsConfiguration.ThroughputCapacity == INTEGER
    input.Body.WindowsConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.WindowsConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.WindowsConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.WindowsConfiguration.CopyTagsToBackups == BOOLEAN
    input.Body.WindowsConfiguration.Aliases[_] == STRING
    input.Body.WindowsConfiguration.AuditLogConfiguration.FileAccessAuditLogLevel == enum_WindowsAccessAuditLogLevel[_]
    input.Body.WindowsConfiguration.AuditLogConfiguration.FileShareAccessAuditLogLevel == enum_WindowsAccessAuditLogLevel[_]
    input.Body.WindowsConfiguration.AuditLogConfiguration.AuditLogDestination == STRING
    input.Body.WindowsConfiguration.DiskIopsConfiguration.Mode == enum_DiskIopsConfigurationMode[_]
    input.Body.WindowsConfiguration.DiskIopsConfiguration.Iops == LONG
    input.Body.LustreConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.LustreConfiguration.ImportPath == STRING
    input.Body.LustreConfiguration.ExportPath == STRING
    input.Body.LustreConfiguration.ImportedFileChunkSize == INTEGER
    input.Body.LustreConfiguration.DeploymentType == enum_LustreDeploymentType[_]
    input.Body.LustreConfiguration.AutoImportPolicy == enum_AutoImportPolicyType[_]
    input.Body.LustreConfiguration.PerUnitStorageThroughput == INTEGER
    input.Body.LustreConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.LustreConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.LustreConfiguration.CopyTagsToBackups == BOOLEAN
    input.Body.LustreConfiguration.DriveCacheType == enum_DriveCacheType[_]
    input.Body.LustreConfiguration.DataCompressionType == enum_DataCompressionType[_]
    input.Body.LustreConfiguration.LogConfiguration.Level == enum_LustreAccessAuditLogLevel[_]
    input.Body.LustreConfiguration.LogConfiguration.Destination == STRING
    input.Body.LustreConfiguration.RootSquashConfiguration.RootSquash == STRING
    input.Body.LustreConfiguration.RootSquashConfiguration.NoSquashNids[_] == STRING
    input.Body.StorageType == enum_StorageType[_]
    input.Body.KmsKeyId == STRING
    input.Body.FileSystemTypeVersion == STRING
    input.Body.OpenZFSConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.OpenZFSConfiguration.CopyTagsToBackups == BOOLEAN
    input.Body.OpenZFSConfiguration.CopyTagsToVolumes == BOOLEAN
    input.Body.OpenZFSConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.OpenZFSConfiguration.DeploymentType == enum_OpenZFSDeploymentType[_]
    input.Body.OpenZFSConfiguration.ThroughputCapacity == INTEGER
    input.Body.OpenZFSConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.OpenZFSConfiguration.DiskIopsConfiguration.Mode == enum_DiskIopsConfigurationMode[_]
    input.Body.OpenZFSConfiguration.DiskIopsConfiguration.Iops == LONG
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.RecordSizeKiB == INTEGER
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.DataCompressionType == enum_OpenZFSDataCompressionType[_]
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.NfsExports[_].ClientConfigurations[_].Clients == STRING
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.NfsExports[_].ClientConfigurations[_].Options[_] == STRING
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.UserAndGroupQuotas[_].Type == enum_OpenZFSQuotaType[_]
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.UserAndGroupQuotas[_].Id == INTEGER
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.UserAndGroupQuotas[_].StorageCapacityQuotaGiB == INTEGER
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.CopyTagsToSnapshots == BOOLEAN
    input.Body.OpenZFSConfiguration.RootVolumeConfiguration.ReadOnly == BOOLEAN
    input.Body.OpenZFSConfiguration.PreferredSubnetId == STRING
    input.Body.OpenZFSConfiguration.EndpointIpAddressRange == STRING
    input.Body.OpenZFSConfiguration.RouteTableIds[_] == STRING
    input.Body.StorageCapacity == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateSnapshot

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.Name == STRING
    input.Body.VolumeId == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateStorageVirtualMachine

enum_StorageVirtualMachineRootVolumeSecurityStyle := [ "UNIX", "NTFS", "MIXED" ]

valid {
    input.Body.ActiveDirectoryConfiguration.NetBiosName == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.DomainName == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.OrganizationalUnitDistinguishedName == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.FileSystemAdministratorsGroup == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.UserName == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.Password == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.DnsIps[_] == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.FileSystemId == STRING
    input.Body.Name == STRING
    input.Body.SvmAdminPassword == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.RootVolumeSecurityStyle == enum_StorageVirtualMachineRootVolumeSecurityStyle[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateVolume

enum_AutocommitPeriodType := [ "MINUTES", "HOURS", "DAYS", "MONTHS", "YEARS", "NONE" ]
enum_InputOntapVolumeType := [ "RW", "DP" ]
enum_OpenZFSCopyStrategy := [ "CLONE", "FULL_COPY", "INCREMENTAL_COPY" ]
enum_OpenZFSDataCompressionType := [ "NONE", "ZSTD", "LZ4" ]
enum_OpenZFSQuotaType := [ "USER", "GROUP" ]
enum_PrivilegedDelete := [ "DISABLED", "ENABLED", "PERMANENTLY_DISABLED" ]
enum_RetentionPeriodType := [ "SECONDS", "MINUTES", "HOURS", "DAYS", "MONTHS", "YEARS", "INFINITE", "UNSPECIFIED" ]
enum_SecurityStyle := [ "UNIX", "NTFS", "MIXED" ]
enum_SnaplockType := [ "COMPLIANCE", "ENTERPRISE" ]
enum_TieringPolicyName := [ "SNAPSHOT_ONLY", "AUTO", "ALL", "NONE" ]
enum_VolumeStyle := [ "FLEXVOL", "FLEXGROUP" ]
enum_VolumeType := [ "ONTAP", "OPENZFS" ]

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.VolumeType == enum_VolumeType[_]
    input.Body.Name == STRING
    input.Body.OntapConfiguration.JunctionPath == STRING
    input.Body.OntapConfiguration.SecurityStyle == enum_SecurityStyle[_]
    input.Body.OntapConfiguration.SizeInMegabytes == INTEGER
    input.Body.OntapConfiguration.StorageEfficiencyEnabled == BOOLEAN
    input.Body.OntapConfiguration.StorageVirtualMachineId == STRING
    input.Body.OntapConfiguration.TieringPolicy.CoolingPeriod == INTEGER
    input.Body.OntapConfiguration.TieringPolicy.Name == enum_TieringPolicyName[_]
    input.Body.OntapConfiguration.OntapVolumeType == enum_InputOntapVolumeType[_]
    input.Body.OntapConfiguration.SnapshotPolicy == STRING
    input.Body.OntapConfiguration.CopyTagsToBackups == BOOLEAN
    input.Body.OntapConfiguration.SnaplockConfiguration.AuditLogVolume == BOOLEAN
    input.Body.OntapConfiguration.SnaplockConfiguration.AutocommitPeriod.Type == enum_AutocommitPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.AutocommitPeriod.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.PrivilegedDelete == enum_PrivilegedDelete[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.DefaultRetention.Type == enum_RetentionPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.DefaultRetention.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MinimumRetention.Type == enum_RetentionPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MinimumRetention.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MaximumRetention.Type == enum_RetentionPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MaximumRetention.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.SnaplockType == enum_SnaplockType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.VolumeAppendModeEnabled == BOOLEAN
    input.Body.OntapConfiguration.VolumeStyle == enum_VolumeStyle[_]
    input.Body.OntapConfiguration.AggregateConfiguration.Aggregates[_] == STRING
    input.Body.OntapConfiguration.AggregateConfiguration.ConstituentsPerAggregate == INTEGER
    input.Body.OntapConfiguration.SizeInBytes == LONG
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.OpenZFSConfiguration.ParentVolumeId == STRING
    input.Body.OpenZFSConfiguration.StorageCapacityReservationGiB == INTEGER
    input.Body.OpenZFSConfiguration.StorageCapacityQuotaGiB == INTEGER
    input.Body.OpenZFSConfiguration.RecordSizeKiB == INTEGER
    input.Body.OpenZFSConfiguration.DataCompressionType == enum_OpenZFSDataCompressionType[_]
    input.Body.OpenZFSConfiguration.CopyTagsToSnapshots == BOOLEAN
    input.Body.OpenZFSConfiguration.OriginSnapshot.SnapshotARN == STRING
    input.Body.OpenZFSConfiguration.OriginSnapshot.CopyStrategy == enum_OpenZFSCopyStrategy[_]
    input.Body.OpenZFSConfiguration.ReadOnly == BOOLEAN
    input.Body.OpenZFSConfiguration.NfsExports[_].ClientConfigurations[_].Clients == STRING
    input.Body.OpenZFSConfiguration.NfsExports[_].ClientConfigurations[_].Options[_] == STRING
    input.Body.OpenZFSConfiguration.UserAndGroupQuotas[_].Type == enum_OpenZFSQuotaType[_]
    input.Body.OpenZFSConfiguration.UserAndGroupQuotas[_].Id == INTEGER
    input.Body.OpenZFSConfiguration.UserAndGroupQuotas[_].StorageCapacityQuotaGiB == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateVolumeFromBackup

enum_AutocommitPeriodType := [ "MINUTES", "HOURS", "DAYS", "MONTHS", "YEARS", "NONE" ]
enum_InputOntapVolumeType := [ "RW", "DP" ]
enum_PrivilegedDelete := [ "DISABLED", "ENABLED", "PERMANENTLY_DISABLED" ]
enum_RetentionPeriodType := [ "SECONDS", "MINUTES", "HOURS", "DAYS", "MONTHS", "YEARS", "INFINITE", "UNSPECIFIED" ]
enum_SecurityStyle := [ "UNIX", "NTFS", "MIXED" ]
enum_SnaplockType := [ "COMPLIANCE", "ENTERPRISE" ]
enum_TieringPolicyName := [ "SNAPSHOT_ONLY", "AUTO", "ALL", "NONE" ]
enum_VolumeStyle := [ "FLEXVOL", "FLEXGROUP" ]

valid {
    input.Body.BackupId == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.Name == STRING
    input.Body.OntapConfiguration.JunctionPath == STRING
    input.Body.OntapConfiguration.SecurityStyle == enum_SecurityStyle[_]
    input.Body.OntapConfiguration.SizeInMegabytes == INTEGER
    input.Body.OntapConfiguration.StorageEfficiencyEnabled == BOOLEAN
    input.Body.OntapConfiguration.StorageVirtualMachineId == STRING
    input.Body.OntapConfiguration.TieringPolicy.CoolingPeriod == INTEGER
    input.Body.OntapConfiguration.TieringPolicy.Name == enum_TieringPolicyName[_]
    input.Body.OntapConfiguration.OntapVolumeType == enum_InputOntapVolumeType[_]
    input.Body.OntapConfiguration.SnapshotPolicy == STRING
    input.Body.OntapConfiguration.CopyTagsToBackups == BOOLEAN
    input.Body.OntapConfiguration.SnaplockConfiguration.AuditLogVolume == BOOLEAN
    input.Body.OntapConfiguration.SnaplockConfiguration.AutocommitPeriod.Type == enum_AutocommitPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.AutocommitPeriod.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.PrivilegedDelete == enum_PrivilegedDelete[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.DefaultRetention.Type == enum_RetentionPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.DefaultRetention.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MinimumRetention.Type == enum_RetentionPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MinimumRetention.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MaximumRetention.Type == enum_RetentionPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MaximumRetention.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.SnaplockType == enum_SnaplockType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.VolumeAppendModeEnabled == BOOLEAN
    input.Body.OntapConfiguration.VolumeStyle == enum_VolumeStyle[_]
    input.Body.OntapConfiguration.AggregateConfiguration.Aggregates[_] == STRING
    input.Body.OntapConfiguration.AggregateConfiguration.ConstituentsPerAggregate == INTEGER
    input.Body.OntapConfiguration.SizeInBytes == LONG
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteBackup

valid {
    input.Body.BackupId == STRING
    input.Body.ClientRequestToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDataRepositoryAssociation

valid {
    input.Body.AssociationId == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.DeleteDataInFileSystem == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteFileCache

valid {
    input.Body.FileCacheId == STRING
    input.Body.ClientRequestToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteFileSystem

enum_DeleteFileSystemOpenZFSOption := [ "DELETE_CHILD_VOLUMES_AND_SNAPSHOTS" ]

valid {
    input.Body.FileSystemId == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.WindowsConfiguration.SkipFinalBackup == BOOLEAN
    input.Body.WindowsConfiguration.FinalBackupTags[_].Key == STRING
    input.Body.WindowsConfiguration.FinalBackupTags[_].Value == STRING
    input.Body.LustreConfiguration.SkipFinalBackup == BOOLEAN
    input.Body.LustreConfiguration.FinalBackupTags[_].Key == STRING
    input.Body.LustreConfiguration.FinalBackupTags[_].Value == STRING
    input.Body.OpenZFSConfiguration.SkipFinalBackup == BOOLEAN
    input.Body.OpenZFSConfiguration.FinalBackupTags[_].Key == STRING
    input.Body.OpenZFSConfiguration.FinalBackupTags[_].Value == STRING
    input.Body.OpenZFSConfiguration.Options[_] == enum_DeleteFileSystemOpenZFSOption[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteSnapshot

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.SnapshotId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteStorageVirtualMachine

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.StorageVirtualMachineId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteVolume

enum_DeleteOpenZFSVolumeOption := [ "DELETE_CHILD_VOLUMES_AND_SNAPSHOTS" ]

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.VolumeId == STRING
    input.Body.OntapConfiguration.SkipFinalBackup == BOOLEAN
    input.Body.OntapConfiguration.FinalBackupTags[_].Key == STRING
    input.Body.OntapConfiguration.FinalBackupTags[_].Value == STRING
    input.Body.OntapConfiguration.BypassSnaplockEnterpriseRetention == BOOLEAN
    input.Body.OpenZFSConfiguration.Options[_] == enum_DeleteOpenZFSVolumeOption[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeBackups

enum_FilterName := [ "file-system-id", "backup-type", "file-system-type", "volume-id", "data-repository-type", "file-cache-id", "file-cache-type" ]

valid {
    input.Body.BackupIds[_] == STRING
    input.Body.Filters[_].Name == enum_FilterName[_]
    input.Body.Filters[_].Values[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeDataRepositoryAssociations

enum_FilterName := [ "file-system-id", "backup-type", "file-system-type", "volume-id", "data-repository-type", "file-cache-id", "file-cache-type" ]

valid {
    input.Body.AssociationIds[_] == STRING
    input.Body.Filters[_].Name == enum_FilterName[_]
    input.Body.Filters[_].Values[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeDataRepositoryTasks

enum_DataRepositoryTaskFilterName := [ "file-system-id", "task-lifecycle", "data-repository-association-id", "file-cache-id" ]

valid {
    input.Body.TaskIds[_] == STRING
    input.Body.Filters[_].Name == enum_DataRepositoryTaskFilterName[_]
    input.Body.Filters[_].Values[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeFileCaches

valid {
    input.Body.FileCacheIds[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeFileSystemAliases

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.FileSystemId == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeFileSystems

valid {
    input.Body.FileSystemIds[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeSharedVpcConfiguration

valid {
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeSnapshots

enum_SnapshotFilterName := [ "file-system-id", "volume-id" ]

valid {
    input.Body.SnapshotIds[_] == STRING
    input.Body.Filters[_].Name == enum_SnapshotFilterName[_]
    input.Body.Filters[_].Values[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.IncludeShared == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeStorageVirtualMachines

enum_StorageVirtualMachineFilterName := [ "file-system-id" ]

valid {
    input.Body.StorageVirtualMachineIds[_] == STRING
    input.Body.Filters[_].Name == enum_StorageVirtualMachineFilterName[_]
    input.Body.Filters[_].Values[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeVolumes

enum_VolumeFilterName := [ "file-system-id", "storage-virtual-machine-id" ]

valid {
    input.Body.VolumeIds[_] == STRING
    input.Body.Filters[_].Name == enum_VolumeFilterName[_]
    input.Body.Filters[_].Values[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisassociateFileSystemAliases

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.FileSystemId == STRING
    input.Body.Aliases[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

valid {
    input.Body.ResourceARN == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ReleaseFileSystemNfsV3Locks

valid {
    input.Body.FileSystemId == STRING
    input.Body.ClientRequestToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RestoreVolumeFromSnapshot

enum_RestoreOpenZFSVolumeOption := [ "DELETE_INTERMEDIATE_SNAPSHOTS", "DELETE_CLONED_VOLUMES" ]

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.VolumeId == STRING
    input.Body.SnapshotId == STRING
    input.Body.Options[_] == enum_RestoreOpenZFSVolumeOption[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartMisconfiguredStateRecovery

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.FileSystemId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.ResourceARN == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.Body.ResourceARN == STRING
    input.Body.TagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateDataRepositoryAssociation

enum_EventType := [ "NEW", "CHANGED", "DELETED" ]

valid {
    input.Body.AssociationId == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.ImportedFileChunkSize == INTEGER
    input.Body.S3.AutoImportPolicy.Events[_] == enum_EventType[_]
    input.Body.S3.AutoExportPolicy.Events[_] == enum_EventType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateFileCache

valid {
    input.Body.FileCacheId == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.LustreConfiguration.WeeklyMaintenanceStartTime == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateFileSystem

enum_AutoImportPolicyType := [ "NONE", "NEW", "NEW_CHANGED", "NEW_CHANGED_DELETED" ]
enum_DataCompressionType := [ "NONE", "LZ4" ]
enum_DiskIopsConfigurationMode := [ "AUTOMATIC", "USER_PROVISIONED" ]
enum_LustreAccessAuditLogLevel := [ "DISABLED", "WARN_ONLY", "ERROR_ONLY", "WARN_ERROR" ]
enum_StorageType := [ "SSD", "HDD" ]
enum_WindowsAccessAuditLogLevel := [ "DISABLED", "SUCCESS_ONLY", "FAILURE_ONLY", "SUCCESS_AND_FAILURE" ]

valid {
    input.Body.FileSystemId == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.StorageCapacity == INTEGER
    input.Body.WindowsConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.WindowsConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.WindowsConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.WindowsConfiguration.ThroughputCapacity == INTEGER
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.UserName == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.Password == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.DnsIps[_] == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.DomainName == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.OrganizationalUnitDistinguishedName == STRING
    input.Body.WindowsConfiguration.SelfManagedActiveDirectoryConfiguration.FileSystemAdministratorsGroup == STRING
    input.Body.WindowsConfiguration.AuditLogConfiguration.FileAccessAuditLogLevel == enum_WindowsAccessAuditLogLevel[_]
    input.Body.WindowsConfiguration.AuditLogConfiguration.FileShareAccessAuditLogLevel == enum_WindowsAccessAuditLogLevel[_]
    input.Body.WindowsConfiguration.AuditLogConfiguration.AuditLogDestination == STRING
    input.Body.WindowsConfiguration.DiskIopsConfiguration.Mode == enum_DiskIopsConfigurationMode[_]
    input.Body.WindowsConfiguration.DiskIopsConfiguration.Iops == LONG
    input.Body.LustreConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.LustreConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.LustreConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.LustreConfiguration.AutoImportPolicy == enum_AutoImportPolicyType[_]
    input.Body.LustreConfiguration.DataCompressionType == enum_DataCompressionType[_]
    input.Body.LustreConfiguration.LogConfiguration.Level == enum_LustreAccessAuditLogLevel[_]
    input.Body.LustreConfiguration.LogConfiguration.Destination == STRING
    input.Body.LustreConfiguration.RootSquashConfiguration.RootSquash == STRING
    input.Body.LustreConfiguration.RootSquashConfiguration.NoSquashNids[_] == STRING
    input.Body.LustreConfiguration.PerUnitStorageThroughput == INTEGER
    input.Body.OntapConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.OntapConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.OntapConfiguration.FsxAdminPassword == STRING
    input.Body.OntapConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.OntapConfiguration.DiskIopsConfiguration.Mode == enum_DiskIopsConfigurationMode[_]
    input.Body.OntapConfiguration.DiskIopsConfiguration.Iops == LONG
    input.Body.OntapConfiguration.ThroughputCapacity == INTEGER
    input.Body.OntapConfiguration.AddRouteTableIds[_] == STRING
    input.Body.OntapConfiguration.RemoveRouteTableIds[_] == STRING
    input.Body.OntapConfiguration.ThroughputCapacityPerHAPair == INTEGER
    input.Body.OpenZFSConfiguration.AutomaticBackupRetentionDays == INTEGER
    input.Body.OpenZFSConfiguration.CopyTagsToBackups == BOOLEAN
    input.Body.OpenZFSConfiguration.CopyTagsToVolumes == BOOLEAN
    input.Body.OpenZFSConfiguration.DailyAutomaticBackupStartTime == STRING
    input.Body.OpenZFSConfiguration.ThroughputCapacity == INTEGER
    input.Body.OpenZFSConfiguration.WeeklyMaintenanceStartTime == STRING
    input.Body.OpenZFSConfiguration.DiskIopsConfiguration.Mode == enum_DiskIopsConfigurationMode[_]
    input.Body.OpenZFSConfiguration.DiskIopsConfiguration.Iops == LONG
    input.Body.OpenZFSConfiguration.AddRouteTableIds[_] == STRING
    input.Body.OpenZFSConfiguration.RemoveRouteTableIds[_] == STRING
    input.Body.StorageType == enum_StorageType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSharedVpcConfiguration

valid {
    input.Body.EnableFsxRouteTableUpdatesFromParticipantAccounts == STRING
    input.Body.ClientRequestToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSnapshot

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.Name == STRING
    input.Body.SnapshotId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateStorageVirtualMachine

valid {
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.UserName == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.Password == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.DnsIps[_] == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.DomainName == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.OrganizationalUnitDistinguishedName == STRING
    input.Body.ActiveDirectoryConfiguration.SelfManagedActiveDirectoryConfiguration.FileSystemAdministratorsGroup == STRING
    input.Body.ActiveDirectoryConfiguration.NetBiosName == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.StorageVirtualMachineId == STRING
    input.Body.SvmAdminPassword == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateVolume

enum_AutocommitPeriodType := [ "MINUTES", "HOURS", "DAYS", "MONTHS", "YEARS", "NONE" ]
enum_OpenZFSDataCompressionType := [ "NONE", "ZSTD", "LZ4" ]
enum_OpenZFSQuotaType := [ "USER", "GROUP" ]
enum_PrivilegedDelete := [ "DISABLED", "ENABLED", "PERMANENTLY_DISABLED" ]
enum_RetentionPeriodType := [ "SECONDS", "MINUTES", "HOURS", "DAYS", "MONTHS", "YEARS", "INFINITE", "UNSPECIFIED" ]
enum_SecurityStyle := [ "UNIX", "NTFS", "MIXED" ]
enum_TieringPolicyName := [ "SNAPSHOT_ONLY", "AUTO", "ALL", "NONE" ]

valid {
    input.Body.ClientRequestToken == STRING
    input.Body.VolumeId == STRING
    input.Body.OntapConfiguration.JunctionPath == STRING
    input.Body.OntapConfiguration.SecurityStyle == enum_SecurityStyle[_]
    input.Body.OntapConfiguration.SizeInMegabytes == INTEGER
    input.Body.OntapConfiguration.StorageEfficiencyEnabled == BOOLEAN
    input.Body.OntapConfiguration.TieringPolicy.CoolingPeriod == INTEGER
    input.Body.OntapConfiguration.TieringPolicy.Name == enum_TieringPolicyName[_]
    input.Body.OntapConfiguration.SnapshotPolicy == STRING
    input.Body.OntapConfiguration.CopyTagsToBackups == BOOLEAN
    input.Body.OntapConfiguration.SnaplockConfiguration.AuditLogVolume == BOOLEAN
    input.Body.OntapConfiguration.SnaplockConfiguration.AutocommitPeriod.Type == enum_AutocommitPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.AutocommitPeriod.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.PrivilegedDelete == enum_PrivilegedDelete[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.DefaultRetention.Type == enum_RetentionPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.DefaultRetention.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MinimumRetention.Type == enum_RetentionPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MinimumRetention.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MaximumRetention.Type == enum_RetentionPeriodType[_]
    input.Body.OntapConfiguration.SnaplockConfiguration.RetentionPeriod.MaximumRetention.Value == INTEGER
    input.Body.OntapConfiguration.SnaplockConfiguration.VolumeAppendModeEnabled == BOOLEAN
    input.Body.OntapConfiguration.SizeInBytes == LONG
    input.Body.Name == STRING
    input.Body.OpenZFSConfiguration.StorageCapacityReservationGiB == INTEGER
    input.Body.OpenZFSConfiguration.StorageCapacityQuotaGiB == INTEGER
    input.Body.OpenZFSConfiguration.RecordSizeKiB == INTEGER
    input.Body.OpenZFSConfiguration.DataCompressionType == enum_OpenZFSDataCompressionType[_]
    input.Body.OpenZFSConfiguration.NfsExports[_].ClientConfigurations[_].Clients == STRING
    input.Body.OpenZFSConfiguration.NfsExports[_].ClientConfigurations[_].Options[_] == STRING
    input.Body.OpenZFSConfiguration.UserAndGroupQuotas[_].Type == enum_OpenZFSQuotaType[_]
    input.Body.OpenZFSConfiguration.UserAndGroupQuotas[_].Id == INTEGER
    input.Body.OpenZFSConfiguration.UserAndGroupQuotas[_].StorageCapacityQuotaGiB == INTEGER
    input.Body.OpenZFSConfiguration.ReadOnly == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}