STORAGEGATEWAY

ActivateGateway

valid {
    input.Body.ActivationKey == STRING
    input.Body.GatewayName == STRING
    input.Body.GatewayTimezone == STRING
    input.Body.GatewayRegion == STRING
    input.Body.GatewayType == STRING
    input.Body.TapeDriveType == STRING
    input.Body.MediumChangerType == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AddCache

valid {
    input.Body.GatewayARN == STRING
    input.Body.DiskIds[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AddTagsToResource

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
}

AddUploadBuffer

valid {
    input.Body.GatewayARN == STRING
    input.Body.DiskIds[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AddWorkingStorage

valid {
    input.Body.GatewayARN == STRING
    input.Body.DiskIds[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AssignTapePool

valid {
    input.Body.TapeARN == STRING
    input.Body.PoolId == STRING
    input.Body.BypassGovernanceRetention == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AssociateFileSystem

valid {
    input.Body.UserName == STRING
    input.Body.Password == STRING
    input.Body.ClientToken == STRING
    input.Body.GatewayARN == STRING
    input.Body.LocationARN == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.AuditDestinationARN == STRING
    input.Body.CacheAttributes.CacheStaleTimeoutInSeconds == INTEGER
    input.Body.EndpointNetworkConfiguration.IpAddresses[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AttachVolume

valid {
    input.Body.GatewayARN == STRING
    input.Body.TargetName == STRING
    input.Body.VolumeARN == STRING
    input.Body.NetworkInterfaceId == STRING
    input.Body.DiskId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CancelArchival

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

CancelRetrieval

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

CreateCachediSCSIVolume

valid {
    input.Body.GatewayARN == STRING
    input.Body.VolumeSizeInBytes == LONG
    input.Body.SnapshotId == STRING
    input.Body.TargetName == STRING
    input.Body.SourceVolumeARN == STRING
    input.Body.NetworkInterfaceId == STRING
    input.Body.ClientToken == STRING
    input.Body.KMSEncrypted == BOOLEAN
    input.Body.KMSKey == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateNFSFileShare

enum_EncryptionType := [ "SseS3", "SseKms", "DsseKms" ]
enum_ObjectACL := [ "private", "public-read", "public-read-write", "authenticated-read", "bucket-owner-read", "bucket-owner-full-control", "aws-exec-read" ]

valid {
    input.Body.ClientToken == STRING
    input.Body.NFSFileShareDefaults.FileMode == STRING
    input.Body.NFSFileShareDefaults.DirectoryMode == STRING
    input.Body.NFSFileShareDefaults.GroupId == LONG
    input.Body.NFSFileShareDefaults.OwnerId == LONG
    input.Body.GatewayARN == STRING
    input.Body.EncryptionType == enum_EncryptionType[_]
    input.Body.KMSEncrypted == BOOLEAN
    input.Body.KMSKey == STRING
    input.Body.Role == STRING
    input.Body.LocationARN == STRING
    input.Body.DefaultStorageClass == STRING
    input.Body.ObjectACL == enum_ObjectACL[_]
    input.Body.ClientList[_] == STRING
    input.Body.Squash == STRING
    input.Body.ReadOnly == BOOLEAN
    input.Body.GuessMIMETypeEnabled == BOOLEAN
    input.Body.RequesterPays == BOOLEAN
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.FileShareName == STRING
    input.Body.CacheAttributes.CacheStaleTimeoutInSeconds == INTEGER
    input.Body.NotificationPolicy == STRING
    input.Body.VPCEndpointDNSName == STRING
    input.Body.BucketRegion == STRING
    input.Body.AuditDestinationARN == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateSMBFileShare

enum_CaseSensitivity := [ "ClientSpecified", "CaseSensitive" ]
enum_EncryptionType := [ "SseS3", "SseKms", "DsseKms" ]
enum_ObjectACL := [ "private", "public-read", "public-read-write", "authenticated-read", "bucket-owner-read", "bucket-owner-full-control", "aws-exec-read" ]

valid {
    input.Body.ClientToken == STRING
    input.Body.GatewayARN == STRING
    input.Body.EncryptionType == enum_EncryptionType[_]
    input.Body.KMSEncrypted == BOOLEAN
    input.Body.KMSKey == STRING
    input.Body.Role == STRING
    input.Body.LocationARN == STRING
    input.Body.DefaultStorageClass == STRING
    input.Body.ObjectACL == enum_ObjectACL[_]
    input.Body.ReadOnly == BOOLEAN
    input.Body.GuessMIMETypeEnabled == BOOLEAN
    input.Body.RequesterPays == BOOLEAN
    input.Body.SMBACLEnabled == BOOLEAN
    input.Body.AccessBasedEnumeration == BOOLEAN
    input.Body.AdminUserList[_] == STRING
    input.Body.ValidUserList[_] == STRING
    input.Body.InvalidUserList[_] == STRING
    input.Body.AuditDestinationARN == STRING
    input.Body.Authentication == STRING
    input.Body.CaseSensitivity == enum_CaseSensitivity[_]
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.FileShareName == STRING
    input.Body.CacheAttributes.CacheStaleTimeoutInSeconds == INTEGER
    input.Body.NotificationPolicy == STRING
    input.Body.VPCEndpointDNSName == STRING
    input.Body.BucketRegion == STRING
    input.Body.OplocksEnabled == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateSnapshot

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

CreateSnapshotFromVolumeRecoveryPoint

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

CreateStorediSCSIVolume

valid {
    input.Body.GatewayARN == STRING
    input.Body.DiskId == STRING
    input.Body.SnapshotId == STRING
    input.Body.PreserveExistingData == BOOLEAN
    input.Body.TargetName == STRING
    input.Body.NetworkInterfaceId == STRING
    input.Body.KMSEncrypted == BOOLEAN
    input.Body.KMSKey == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateTapePool

enum_RetentionLockType := [ "COMPLIANCE", "GOVERNANCE", "NONE" ]
enum_TapeStorageClass := [ "DEEP_ARCHIVE", "GLACIER" ]

valid {
    input.Body.PoolName == STRING
    input.Body.StorageClass == enum_TapeStorageClass[_]
    input.Body.RetentionLockType == enum_RetentionLockType[_]
    input.Body.RetentionLockTimeInDays == INTEGER
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateTapeWithBarcode

valid {
    input.Body.GatewayARN == STRING
    input.Body.TapeSizeInBytes == LONG
    input.Body.TapeBarcode == STRING
    input.Body.KMSEncrypted == BOOLEAN
    input.Body.KMSKey == STRING
    input.Body.PoolId == STRING
    input.Body.Worm == BOOLEAN
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateTapes

valid {
    input.Body.GatewayARN == STRING
    input.Body.TapeSizeInBytes == LONG
    input.Body.ClientToken == STRING
    input.Body.NumTapesToCreate == INTEGER
    input.Body.TapeBarcodePrefix == STRING
    input.Body.KMSEncrypted == BOOLEAN
    input.Body.KMSKey == STRING
    input.Body.PoolId == STRING
    input.Body.Worm == BOOLEAN
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteAutomaticTapeCreationPolicy

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

DeleteBandwidthRateLimit

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

DeleteChapCredentials

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

DeleteFileShare

valid {
    input.Body.FileShareARN == STRING
    input.Body.ForceDelete == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteGateway

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

DeleteSnapshotSchedule

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

DeleteTape

valid {
    input.Body.GatewayARN == STRING
    input.Body.TapeARN == STRING
    input.Body.BypassGovernanceRetention == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteTapeArchive

valid {
    input.Body.TapeARN == STRING
    input.Body.BypassGovernanceRetention == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteTapePool

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

DeleteVolume

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

DescribeAvailabilityMonitorTest

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

DescribeBandwidthRateLimit

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

DescribeBandwidthRateLimitSchedule

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

DescribeCache

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

DescribeCachediSCSIVolumes

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

DescribeChapCredentials

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

DescribeFileSystemAssociations

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

DescribeGatewayInformation

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

DescribeMaintenanceStartTime

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

DescribeNFSFileShares

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

DescribeSMBFileShares

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

DescribeSMBSettings

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

DescribeSnapshotSchedule

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

DescribeStorediSCSIVolumes

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

DescribeTapeArchives

valid {
    input.Body.TapeARNs[_] == STRING
    input.Body.Marker == STRING
    input.Body.Limit == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeTapeRecoveryPoints

valid {
    input.Body.GatewayARN == STRING
    input.Body.Marker == STRING
    input.Body.Limit == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeTapes

valid {
    input.Body.GatewayARN == STRING
    input.Body.TapeARNs[_] == STRING
    input.Body.Marker == STRING
    input.Body.Limit == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeUploadBuffer

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

DescribeVTLDevices

valid {
    input.Body.GatewayARN == STRING
    input.Body.VTLDeviceARNs[_] == STRING
    input.Body.Marker == STRING
    input.Body.Limit == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeWorkingStorage

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

DetachVolume

valid {
    input.Body.VolumeARN == STRING
    input.Body.ForceDetach == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisableGateway

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

DisassociateFileSystem

valid {
    input.Body.FileSystemAssociationARN == STRING
    input.Body.ForceDelete == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

JoinDomain

valid {
    input.Body.GatewayARN == STRING
    input.Body.DomainName == STRING
    input.Body.OrganizationalUnit == STRING
    input.Body.DomainControllers[_] == STRING
    input.Body.TimeoutInSeconds == INTEGER
    input.Body.UserName == STRING
    input.Body.Password == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListAutomaticTapeCreationPolicies

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

ListFileShares

valid {
    input.Body.GatewayARN == STRING
    input.Body.Limit == INTEGER
    input.Body.Marker == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListFileSystemAssociations

valid {
    input.Body.GatewayARN == STRING
    input.Body.Limit == INTEGER
    input.Body.Marker == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListGateways

valid {
    input.Body.Marker == STRING
    input.Body.Limit == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListLocalDisks

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

ListTagsForResource

valid {
    input.Body.ResourceARN == STRING
    input.Body.Marker == STRING
    input.Body.Limit == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTapePools

valid {
    input.Body.PoolARNs[_] == STRING
    input.Body.Marker == STRING
    input.Body.Limit == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTapes

valid {
    input.Body.TapeARNs[_] == STRING
    input.Body.Marker == STRING
    input.Body.Limit == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListVolumeInitiators

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

ListVolumeRecoveryPoints

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

ListVolumes

valid {
    input.Body.GatewayARN == STRING
    input.Body.Marker == STRING
    input.Body.Limit == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

NotifyWhenUploaded

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

RefreshCache

valid {
    input.Body.FileShareARN == STRING
    input.Body.FolderList[_] == STRING
    input.Body.Recursive == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RemoveTagsFromResource

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

ResetCache

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

RetrieveTapeArchive

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

RetrieveTapeRecoveryPoint

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

SetLocalConsolePassword

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

SetSMBGuestPassword

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

ShutdownGateway

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

StartAvailabilityMonitorTest

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

StartGateway

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

UpdateAutomaticTapeCreationPolicy

valid {
    input.Body.AutomaticTapeCreationRules[_].TapeBarcodePrefix == STRING
    input.Body.AutomaticTapeCreationRules[_].PoolId == STRING
    input.Body.AutomaticTapeCreationRules[_].TapeSizeInBytes == LONG
    input.Body.AutomaticTapeCreationRules[_].MinimumNumTapes == INTEGER
    input.Body.AutomaticTapeCreationRules[_].Worm == BOOLEAN
    input.Body.GatewayARN == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateBandwidthRateLimit

valid {
    input.Body.GatewayARN == STRING
    input.Body.AverageUploadRateLimitInBitsPerSec == LONG
    input.Body.AverageDownloadRateLimitInBitsPerSec == LONG
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateBandwidthRateLimitSchedule

valid {
    input.Body.GatewayARN == STRING
    input.Body.BandwidthRateLimitIntervals[_].StartHourOfDay == INTEGER
    input.Body.BandwidthRateLimitIntervals[_].StartMinuteOfHour == INTEGER
    input.Body.BandwidthRateLimitIntervals[_].EndHourOfDay == INTEGER
    input.Body.BandwidthRateLimitIntervals[_].EndMinuteOfHour == INTEGER
    input.Body.BandwidthRateLimitIntervals[_].DaysOfWeek[_] == INTEGER
    input.Body.BandwidthRateLimitIntervals[_].AverageUploadRateLimitInBitsPerSec == LONG
    input.Body.BandwidthRateLimitIntervals[_].AverageDownloadRateLimitInBitsPerSec == LONG
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateChapCredentials

valid {
    input.Body.TargetARN == STRING
    input.Body.SecretToAuthenticateInitiator == STRING
    input.Body.InitiatorName == STRING
    input.Body.SecretToAuthenticateTarget == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateFileSystemAssociation

valid {
    input.Body.FileSystemAssociationARN == STRING
    input.Body.UserName == STRING
    input.Body.Password == STRING
    input.Body.AuditDestinationARN == STRING
    input.Body.CacheAttributes.CacheStaleTimeoutInSeconds == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateGatewayInformation

enum_GatewayCapacity := [ "Small", "Medium", "Large" ]

valid {
    input.Body.GatewayARN == STRING
    input.Body.GatewayName == STRING
    input.Body.GatewayTimezone == STRING
    input.Body.CloudWatchLogGroupARN == STRING
    input.Body.GatewayCapacity == enum_GatewayCapacity[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateGatewaySoftwareNow

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

UpdateMaintenanceStartTime

enum_AutomaticUpdatePolicy := [ "ALL_VERSIONS", "EMERGENCY_VERSIONS_ONLY" ]

valid {
    input.Body.GatewayARN == STRING
    input.Body.HourOfDay == INTEGER
    input.Body.MinuteOfHour == INTEGER
    input.Body.DayOfWeek == INTEGER
    input.Body.DayOfMonth == INTEGER
    input.Body.SoftwareUpdatePreferences.AutomaticUpdatePolicy == enum_AutomaticUpdatePolicy[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateNFSFileShare

enum_EncryptionType := [ "SseS3", "SseKms", "DsseKms" ]
enum_ObjectACL := [ "private", "public-read", "public-read-write", "authenticated-read", "bucket-owner-read", "bucket-owner-full-control", "aws-exec-read" ]

valid {
    input.Body.FileShareARN == STRING
    input.Body.EncryptionType == enum_EncryptionType[_]
    input.Body.KMSEncrypted == BOOLEAN
    input.Body.KMSKey == STRING
    input.Body.NFSFileShareDefaults.FileMode == STRING
    input.Body.NFSFileShareDefaults.DirectoryMode == STRING
    input.Body.NFSFileShareDefaults.GroupId == LONG
    input.Body.NFSFileShareDefaults.OwnerId == LONG
    input.Body.DefaultStorageClass == STRING
    input.Body.ObjectACL == enum_ObjectACL[_]
    input.Body.ClientList[_] == STRING
    input.Body.Squash == STRING
    input.Body.ReadOnly == BOOLEAN
    input.Body.GuessMIMETypeEnabled == BOOLEAN
    input.Body.RequesterPays == BOOLEAN
    input.Body.FileShareName == STRING
    input.Body.CacheAttributes.CacheStaleTimeoutInSeconds == INTEGER
    input.Body.NotificationPolicy == STRING
    input.Body.AuditDestinationARN == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSMBFileShare

enum_CaseSensitivity := [ "ClientSpecified", "CaseSensitive" ]
enum_EncryptionType := [ "SseS3", "SseKms", "DsseKms" ]
enum_ObjectACL := [ "private", "public-read", "public-read-write", "authenticated-read", "bucket-owner-read", "bucket-owner-full-control", "aws-exec-read" ]

valid {
    input.Body.FileShareARN == STRING
    input.Body.EncryptionType == enum_EncryptionType[_]
    input.Body.KMSEncrypted == BOOLEAN
    input.Body.KMSKey == STRING
    input.Body.DefaultStorageClass == STRING
    input.Body.ObjectACL == enum_ObjectACL[_]
    input.Body.ReadOnly == BOOLEAN
    input.Body.GuessMIMETypeEnabled == BOOLEAN
    input.Body.RequesterPays == BOOLEAN
    input.Body.SMBACLEnabled == BOOLEAN
    input.Body.AccessBasedEnumeration == BOOLEAN
    input.Body.AdminUserList[_] == STRING
    input.Body.ValidUserList[_] == STRING
    input.Body.InvalidUserList[_] == STRING
    input.Body.AuditDestinationARN == STRING
    input.Body.CaseSensitivity == enum_CaseSensitivity[_]
    input.Body.FileShareName == STRING
    input.Body.CacheAttributes.CacheStaleTimeoutInSeconds == INTEGER
    input.Body.NotificationPolicy == STRING
    input.Body.OplocksEnabled == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSMBFileShareVisibility

valid {
    input.Body.GatewayARN == STRING
    input.Body.FileSharesVisible == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSMBLocalGroups

valid {
    input.Body.GatewayARN == STRING
    input.Body.SMBLocalGroups.GatewayAdmins[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSMBSecurityStrategy

enum_SMBSecurityStrategy := [ "ClientSpecified", "MandatorySigning", "MandatoryEncryption", "MandatoryEncryptionNoAes128" ]

valid {
    input.Body.GatewayARN == STRING
    input.Body.SMBSecurityStrategy == enum_SMBSecurityStrategy[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateSnapshotSchedule

valid {
    input.Body.VolumeARN == STRING
    input.Body.StartAt == INTEGER
    input.Body.RecurrenceInHours == INTEGER
    input.Body.Description == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateVTLDeviceType

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