REDSHIFT-DATA

BatchExecuteStatement

valid {
    input.Body.ClientToken == STRING
    input.Body.ClusterIdentifier == STRING
    input.Body.Database == STRING
    input.Body.DbUser == STRING
    input.Body.SecretArn == STRING
    input.Body.Sqls[_] == STRING
    input.Body.StatementName == STRING
    input.Body.WithEvent == BOOLEAN
    input.Body.WorkgroupName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CancelStatement

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

DescribeStatement

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

DescribeTable

valid {
    input.Body.ClusterIdentifier == STRING
    input.Body.ConnectedDatabase == STRING
    input.Body.Database == STRING
    input.Body.DbUser == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.Schema == STRING
    input.Body.SecretArn == STRING
    input.Body.Table == STRING
    input.Body.WorkgroupName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ExecuteStatement

valid {
    input.Body.ClientToken == STRING
    input.Body.ClusterIdentifier == STRING
    input.Body.Database == STRING
    input.Body.DbUser == STRING
    input.Body.Parameters[_].name == STRING
    input.Body.Parameters[_].value == STRING
    input.Body.SecretArn == STRING
    input.Body.Sql == STRING
    input.Body.StatementName == STRING
    input.Body.WithEvent == BOOLEAN
    input.Body.WorkgroupName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetStatementResult

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

ListDatabases

valid {
    input.Body.ClusterIdentifier == STRING
    input.Body.Database == STRING
    input.Body.DbUser == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.SecretArn == STRING
    input.Body.WorkgroupName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSchemas

valid {
    input.Body.ClusterIdentifier == STRING
    input.Body.ConnectedDatabase == STRING
    input.Body.Database == STRING
    input.Body.DbUser == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.SchemaPattern == STRING
    input.Body.SecretArn == STRING
    input.Body.WorkgroupName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListStatements

enum_StatusString := [ "SUBMITTED", "PICKED", "STARTED", "FINISHED", "ABORTED", "FAILED", "ALL" ]

valid {
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.RoleLevel == BOOLEAN
    input.Body.StatementName == STRING
    input.Body.Status == enum_StatusString[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTables

valid {
    input.Body.ClusterIdentifier == STRING
    input.Body.ConnectedDatabase == STRING
    input.Body.Database == STRING
    input.Body.DbUser == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.SchemaPattern == STRING
    input.Body.SecretArn == STRING
    input.Body.TablePattern == STRING
    input.Body.WorkgroupName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}