DeleteKey

valid {
    input.ReqMap.KvsARN == STRING
    input.ReqMap.Key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeKeyValueStore

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

GetKey

valid {
    input.ReqMap.KvsARN == STRING
    input.ReqMap.Key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListKeys

valid {
    input.ReqMap.KvsARN == STRING
    input.Qs.NextToken == STRING
    input.Qs.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutKey

valid {
    input.Body.Value == STRING
    input.ReqMap.Key == STRING
    input.ReqMap.KvsARN == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateKeys

valid {
    input.Body.Puts[_].Key == STRING
    input.Body.Puts[_].Value == STRING
    input.Body.Deletes[_].Key == STRING
    input.ReqMap.KvsARN == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}