BatchDeleteAttributes

valid {
    input.Body.DomainName == STRING
    input.Body.Items[_].ItemName == STRING
    input.Body.Items[_].Attributes[_].Name == STRING
    input.Body.Items[_].Attributes[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

BatchPutAttributes

valid {
    input.Body.DomainName == STRING
    input.Body.Items[_].ItemName == STRING
    input.Body.Items[_].Attributes[_].Name == STRING
    input.Body.Items[_].Attributes[_].Value == STRING
    input.Body.Items[_].Attributes[_].Replace == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDomain

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

DeleteAttributes

valid {
    input.Body.DomainName == STRING
    input.Body.ItemName == STRING
    input.Body.Attributes[_].Name == STRING
    input.Body.Attributes[_].Value == STRING
    input.Body.Expected.Name == STRING
    input.Body.Expected.Value == STRING
    input.Body.Expected.Exists == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDomain

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

DomainMetadata

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

GetAttributes

valid {
    input.Body.DomainName == STRING
    input.Body.ItemName == STRING
    input.Body.AttributeNames[_] == STRING
    input.Body.ConsistentRead == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDomains

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

PutAttributes

valid {
    input.Body.DomainName == STRING
    input.Body.ItemName == STRING
    input.Body.Attributes[_].Name == STRING
    input.Body.Attributes[_].Value == STRING
    input.Body.Attributes[_].Replace == BOOLEAN
    input.Body.Expected.Name == STRING
    input.Body.Expected.Value == STRING
    input.Body.Expected.Exists == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

Select

valid {
    input.Body.SelectExpression == STRING
    input.Body.NextToken == STRING
    input.Body.ConsistentRead == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}