AcceptPrimaryEmailUpdate

valid {
    input.Body.AccountId == STRING
    input.Body.Otp == STRING
    input.Body.PrimaryEmail == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteAlternateContact

enum_AlternateContactType := [ "BILLING", "OPERATIONS", "SECURITY" ]

valid {
    input.Body.AccountId == STRING
    input.Body.AlternateContactType == enum_AlternateContactType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisableRegion

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

EnableRegion

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

GetAlternateContact

enum_AlternateContactType := [ "BILLING", "OPERATIONS", "SECURITY" ]

valid {
    input.Body.AccountId == STRING
    input.Body.AlternateContactType == enum_AlternateContactType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetContactInformation

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

GetPrimaryEmail

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

GetRegionOptStatus

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

ListRegions

enum_RegionOptStatus := [ "ENABLED", "ENABLING", "DISABLING", "DISABLED", "ENABLED_BY_DEFAULT" ]

valid {
    input.Body.AccountId == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.RegionOptStatusContains[_] == enum_RegionOptStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutAlternateContact

enum_AlternateContactType := [ "BILLING", "OPERATIONS", "SECURITY" ]

valid {
    input.Body.AccountId == STRING
    input.Body.AlternateContactType == enum_AlternateContactType[_]
    input.Body.EmailAddress == STRING
    input.Body.Name == STRING
    input.Body.PhoneNumber == STRING
    input.Body.Title == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutContactInformation

valid {
    input.Body.AccountId == STRING
    input.Body.ContactInformation.AddressLine1 == STRING
    input.Body.ContactInformation.AddressLine2 == STRING
    input.Body.ContactInformation.AddressLine3 == STRING
    input.Body.ContactInformation.City == STRING
    input.Body.ContactInformation.CompanyName == STRING
    input.Body.ContactInformation.CountryCode == STRING
    input.Body.ContactInformation.DistrictOrCounty == STRING
    input.Body.ContactInformation.FullName == STRING
    input.Body.ContactInformation.PhoneNumber == STRING
    input.Body.ContactInformation.PostalCode == STRING
    input.Body.ContactInformation.StateOrRegion == STRING
    input.Body.ContactInformation.WebsiteUrl == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartPrimaryEmailUpdate

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