enum_ShardFilterType := [ "CHILD_SHARDS" ]

valid {
    input.Body.StreamArn == STRING
    input.Body.Limit == INTEGER
    input.Body.ExclusiveStartShardId == STRING
    input.Body.ShardFilter.Type == enum_ShardFilterType[_]
    input.Body.ShardFilter.ShardId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_ShardIteratorType := [ "TRIM_HORIZON", "LATEST", "AT_SEQUENCE_NUMBER", "AFTER_SEQUENCE_NUMBER" ]

valid {
    input.Body.StreamArn == STRING
    input.Body.ShardId == STRING
    input.Body.ShardIteratorType == enum_ShardIteratorType[_]
    input.Body.SequenceNumber == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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