ATHENA

docs.aws.amazon.com

BatchGetNamedQuery

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

BatchGetPreparedStatement

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

BatchGetQueryExecution

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

CancelCapacityReservation

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

CreateCapacityReservation

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

CreateDataCatalog

enum_DataCatalogType := [ "LAMBDA", "GLUE", "HIVE", "FEDERATED" ]

valid {
    input.Body.Name == STRING
    input.Body.Type == enum_DataCatalogType[_]
    input.Body.Description == STRING
    input.Body.Parameters.STRING == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateNamedQuery

valid {
    input.Body.Name == STRING
    input.Body.Description == STRING
    input.Body.Database == STRING
    input.Body.QueryString == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.WorkGroup == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateNotebook

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

CreatePreparedStatement

valid {
    input.Body.StatementName == STRING
    input.Body.WorkGroup == STRING
    input.Body.QueryStatement == STRING
    input.Body.Description == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreatePresignedNotebookUrl

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

CreateWorkGroup

enum_AuthenticationType := [ "DIRECTORY_IDENTITY" ]
enum_EncryptionOption := [ "SSE_S3", "SSE_KMS", "CSE_KMS" ]
enum_S3AclOption := [ "BUCKET_OWNER_FULL_CONTROL" ]

valid {
    input.Body.Name == STRING
    input.Body.Configuration.ResultConfiguration.OutputLocation == STRING
    input.Body.Configuration.ResultConfiguration.EncryptionConfiguration.EncryptionOption == enum_EncryptionOption[_]
    input.Body.Configuration.ResultConfiguration.EncryptionConfiguration.KmsKey == STRING
    input.Body.Configuration.ResultConfiguration.ExpectedBucketOwner == STRING
    input.Body.Configuration.ResultConfiguration.AclConfiguration.S3AclOption == enum_S3AclOption[_]
    input.Body.Configuration.ManagedQueryResultsConfiguration.Enabled == BOOLEAN
    input.Body.Configuration.ManagedQueryResultsConfiguration.EncryptionConfiguration.KmsKey == STRING
    input.Body.Configuration.EnforceWorkGroupConfiguration == BOOLEAN
    input.Body.Configuration.PublishCloudWatchMetricsEnabled == BOOLEAN
    input.Body.Configuration.BytesScannedCutoffPerQuery == LONG
    input.Body.Configuration.RequesterPaysEnabled == BOOLEAN
    input.Body.Configuration.EngineVersion.SelectedEngineVersion == STRING
    input.Body.Configuration.EngineVersion.EffectiveEngineVersion == STRING
    input.Body.Configuration.AdditionalConfiguration == STRING
    input.Body.Configuration.ExecutionRole == STRING
    input.Body.Configuration.CustomerContentEncryptionConfiguration.KmsKey == STRING
    input.Body.Configuration.EnableMinimumEncryptionConfiguration == BOOLEAN
    input.Body.Configuration.IdentityCenterConfiguration.EnableIdentityCenter == BOOLEAN
    input.Body.Configuration.IdentityCenterConfiguration.IdentityCenterInstanceArn == STRING
    input.Body.Configuration.QueryResultsS3AccessGrantsConfiguration.EnableS3AccessGrants == BOOLEAN
    input.Body.Configuration.QueryResultsS3AccessGrantsConfiguration.CreateUserLevelPrefix == BOOLEAN
    input.Body.Configuration.QueryResultsS3AccessGrantsConfiguration.AuthenticationType == enum_AuthenticationType[_]
    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
}

DeleteCapacityReservation

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

DeleteDataCatalog

valid {
    input.Body.Name == STRING
    input.Body.DeleteCatalogOnly == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteNamedQuery

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

DeleteNotebook

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

DeletePreparedStatement

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

DeleteWorkGroup

valid {
    input.Body.WorkGroup == STRING
    input.Body.RecursiveDeleteOption == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ExportNotebook

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

GetCalculationExecution

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

GetCalculationExecutionCode

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

GetCalculationExecutionStatus

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

GetCapacityAssignmentConfiguration

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

GetCapacityReservation

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

GetDataCatalog

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

GetDatabase

valid {
    input.Body.CatalogName == STRING
    input.Body.DatabaseName == STRING
    input.Body.WorkGroup == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetNamedQuery

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

GetNotebookMetadata

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

GetPreparedStatement

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

GetQueryExecution

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

GetQueryResults

enum_QueryResultType := [ "DATA_MANIFEST", "DATA_ROWS" ]

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

GetQueryRuntimeStatistics

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

GetSession

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

GetSessionStatus

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

GetTableMetadata

valid {
    input.Body.CatalogName == STRING
    input.Body.DatabaseName == STRING
    input.Body.TableName == STRING
    input.Body.WorkGroup == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetWorkGroup

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

ImportNotebook

enum_NotebookType := [ "IPYNB" ]

valid {
    input.Body.WorkGroup == STRING
    input.Body.Name == STRING
    input.Body.Payload == STRING
    input.Body.Type == enum_NotebookType[_]
    input.Body.NotebookS3LocationUri == STRING
    input.Body.ClientRequestToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListApplicationDPUSizes

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

ListCalculationExecutions

enum_CalculationExecutionState := [ "CREATING", "CREATED", "QUEUED", "RUNNING", "CANCELING", "CANCELED", "COMPLETED", "FAILED" ]

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

ListCapacityReservations

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

ListDataCatalogs

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

ListDatabases

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

ListEngineVersions

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

ListExecutors

enum_ExecutorState := [ "CREATING", "CREATED", "REGISTERED", "TERMINATING", "TERMINATED", "FAILED" ]

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

ListNamedQueries

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

ListNotebookMetadata

valid {
    input.Body.Filters.Name == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.WorkGroup == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListNotebookSessions

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

ListPreparedStatements

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

ListQueryExecutions

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

ListSessions

enum_SessionState := [ "CREATING", "CREATED", "IDLE", "BUSY", "TERMINATING", "TERMINATED", "DEGRADED", "FAILED" ]

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

ListTableMetadata

valid {
    input.Body.CatalogName == STRING
    input.Body.DatabaseName == STRING
    input.Body.Expression == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.WorkGroup == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

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

ListWorkGroups

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

PutCapacityAssignmentConfiguration

valid {
    input.Body.CapacityReservationName == STRING
    input.Body.CapacityAssignments[_].WorkGroupNames[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartCalculationExecution

valid {
    input.Body.SessionId == STRING
    input.Body.Description == STRING
    input.Body.CalculationConfiguration.CodeBlock == STRING
    input.Body.CodeBlock == STRING
    input.Body.ClientRequestToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartQueryExecution

enum_EncryptionOption := [ "SSE_S3", "SSE_KMS", "CSE_KMS" ]
enum_S3AclOption := [ "BUCKET_OWNER_FULL_CONTROL" ]

valid {
    input.Body.QueryString == STRING
    input.Body.ClientRequestToken == STRING
    input.Body.QueryExecutionContext.Database == STRING
    input.Body.QueryExecutionContext.Catalog == STRING
    input.Body.ResultConfiguration.OutputLocation == STRING
    input.Body.ResultConfiguration.EncryptionConfiguration.EncryptionOption == enum_EncryptionOption[_]
    input.Body.ResultConfiguration.EncryptionConfiguration.KmsKey == STRING
    input.Body.ResultConfiguration.ExpectedBucketOwner == STRING
    input.Body.ResultConfiguration.AclConfiguration.S3AclOption == enum_S3AclOption[_]
    input.Body.WorkGroup == STRING
    input.Body.ExecutionParameters[_] == STRING
    input.Body.ResultReuseConfiguration.ResultReuseByAgeConfiguration.Enabled == BOOLEAN
    input.Body.ResultReuseConfiguration.ResultReuseByAgeConfiguration.MaxAgeInMinutes == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartSession

valid {
    input.Body.Description == STRING
    input.Body.WorkGroup == STRING
    input.Body.EngineConfiguration.CoordinatorDpuSize == INTEGER
    input.Body.EngineConfiguration.MaxConcurrentDpus == INTEGER
    input.Body.EngineConfiguration.DefaultExecutorDpuSize == INTEGER
    input.Body.EngineConfiguration.AdditionalConfigs.STRING == STRING
    input.Body.EngineConfiguration.SparkProperties.STRING == STRING
    input.Body.NotebookVersion == STRING
    input.Body.SessionIdleTimeoutInMinutes == INTEGER
    input.Body.ClientRequestToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopCalculationExecution

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

StopQueryExecution

valid {
    input.Body.QueryExecutionId == 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
}

TerminateSession

valid {
    input.Body.SessionId == 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
}

UpdateCapacityReservation

valid {
    input.Body.TargetDpus == INTEGER
    input.Body.Name == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateDataCatalog

enum_DataCatalogType := [ "LAMBDA", "GLUE", "HIVE", "FEDERATED" ]

valid {
    input.Body.Name == STRING
    input.Body.Type == enum_DataCatalogType[_]
    input.Body.Description == STRING
    input.Body.Parameters.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateNamedQuery

valid {
    input.Body.NamedQueryId == STRING
    input.Body.Name == STRING
    input.Body.Description == STRING
    input.Body.QueryString == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateNotebook

enum_NotebookType := [ "IPYNB" ]

valid {
    input.Body.NotebookId == STRING
    input.Body.Payload == STRING
    input.Body.Type == enum_NotebookType[_]
    input.Body.SessionId == STRING
    input.Body.ClientRequestToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateNotebookMetadata

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

UpdatePreparedStatement

valid {
    input.Body.StatementName == STRING
    input.Body.WorkGroup == STRING
    input.Body.QueryStatement == STRING
    input.Body.Description == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateWorkGroup

enum_AuthenticationType := [ "DIRECTORY_IDENTITY" ]
enum_EncryptionOption := [ "SSE_S3", "SSE_KMS", "CSE_KMS" ]
enum_S3AclOption := [ "BUCKET_OWNER_FULL_CONTROL" ]
enum_WorkGroupState := [ "ENABLED", "DISABLED" ]

valid {
    input.Body.WorkGroup == STRING
    input.Body.Description == STRING
    input.Body.ConfigurationUpdates.EnforceWorkGroupConfiguration == BOOLEAN
    input.Body.ConfigurationUpdates.ResultConfigurationUpdates.OutputLocation == STRING
    input.Body.ConfigurationUpdates.ResultConfigurationUpdates.RemoveOutputLocation == BOOLEAN
    input.Body.ConfigurationUpdates.ResultConfigurationUpdates.EncryptionConfiguration.EncryptionOption == enum_EncryptionOption[_]
    input.Body.ConfigurationUpdates.ResultConfigurationUpdates.EncryptionConfiguration.KmsKey == STRING
    input.Body.ConfigurationUpdates.ResultConfigurationUpdates.RemoveEncryptionConfiguration == BOOLEAN
    input.Body.ConfigurationUpdates.ResultConfigurationUpdates.ExpectedBucketOwner == STRING
    input.Body.ConfigurationUpdates.ResultConfigurationUpdates.RemoveExpectedBucketOwner == BOOLEAN
    input.Body.ConfigurationUpdates.ResultConfigurationUpdates.AclConfiguration.S3AclOption == enum_S3AclOption[_]
    input.Body.ConfigurationUpdates.ResultConfigurationUpdates.RemoveAclConfiguration == BOOLEAN
    input.Body.ConfigurationUpdates.ManagedQueryResultsConfigurationUpdates.Enabled == BOOLEAN
    input.Body.ConfigurationUpdates.ManagedQueryResultsConfigurationUpdates.EncryptionConfiguration.KmsKey == STRING
    input.Body.ConfigurationUpdates.ManagedQueryResultsConfigurationUpdates.RemoveEncryptionConfiguration == BOOLEAN
    input.Body.ConfigurationUpdates.PublishCloudWatchMetricsEnabled == BOOLEAN
    input.Body.ConfigurationUpdates.BytesScannedCutoffPerQuery == LONG
    input.Body.ConfigurationUpdates.RemoveBytesScannedCutoffPerQuery == BOOLEAN
    input.Body.ConfigurationUpdates.RequesterPaysEnabled == BOOLEAN
    input.Body.ConfigurationUpdates.EngineVersion.SelectedEngineVersion == STRING
    input.Body.ConfigurationUpdates.EngineVersion.EffectiveEngineVersion == STRING
    input.Body.ConfigurationUpdates.RemoveCustomerContentEncryptionConfiguration == BOOLEAN
    input.Body.ConfigurationUpdates.AdditionalConfiguration == STRING
    input.Body.ConfigurationUpdates.ExecutionRole == STRING
    input.Body.ConfigurationUpdates.CustomerContentEncryptionConfiguration.KmsKey == STRING
    input.Body.ConfigurationUpdates.EnableMinimumEncryptionConfiguration == BOOLEAN
    input.Body.ConfigurationUpdates.QueryResultsS3AccessGrantsConfiguration.EnableS3AccessGrants == BOOLEAN
    input.Body.ConfigurationUpdates.QueryResultsS3AccessGrantsConfiguration.CreateUserLevelPrefix == BOOLEAN
    input.Body.ConfigurationUpdates.QueryResultsS3AccessGrantsConfiguration.AuthenticationType == enum_AuthenticationType[_]
    input.Body.State == enum_WorkGroupState[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

Updated 11 days ago