MICROSOFT.DOMAINREGISTRATION

DomainRegistrationProvider_ListOperations

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Domains_CheckAvailability

valid {
    input.Body.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Domains_CreateOrUpdate

enum_DomainPropertiesDnsType := [ "AzureDns", "DefaultDomainRegistrarDns" ]
enum_DomainPropertiesTargetDnsType := [ "AzureDns", "DefaultDomainRegistrarDns" ]

valid {
    input.Body.properties.contactAdmin.addressMailing.address1 == STRING
    input.Body.properties.contactAdmin.addressMailing.address2 == STRING
    input.Body.properties.contactAdmin.addressMailing.city == STRING
    input.Body.properties.contactAdmin.addressMailing.country == STRING
    input.Body.properties.contactAdmin.addressMailing.postalCode == STRING
    input.Body.properties.contactAdmin.addressMailing.state == STRING
    input.Body.properties.contactAdmin.email == STRING
    input.Body.properties.contactAdmin.fax == STRING
    input.Body.properties.contactAdmin.jobTitle == STRING
    input.Body.properties.contactAdmin.nameFirst == STRING
    input.Body.properties.contactAdmin.nameLast == STRING
    input.Body.properties.contactAdmin.nameMiddle == STRING
    input.Body.properties.contactAdmin.organization == STRING
    input.Body.properties.contactAdmin.phone == STRING
    input.Body.properties.contactBilling.addressMailing.address1 == STRING
    input.Body.properties.contactBilling.addressMailing.address2 == STRING
    input.Body.properties.contactBilling.addressMailing.city == STRING
    input.Body.properties.contactBilling.addressMailing.country == STRING
    input.Body.properties.contactBilling.addressMailing.postalCode == STRING
    input.Body.properties.contactBilling.addressMailing.state == STRING
    input.Body.properties.contactBilling.email == STRING
    input.Body.properties.contactBilling.fax == STRING
    input.Body.properties.contactBilling.jobTitle == STRING
    input.Body.properties.contactBilling.nameFirst == STRING
    input.Body.properties.contactBilling.nameLast == STRING
    input.Body.properties.contactBilling.nameMiddle == STRING
    input.Body.properties.contactBilling.organization == STRING
    input.Body.properties.contactBilling.phone == STRING
    input.Body.properties.contactRegistrant.addressMailing.address1 == STRING
    input.Body.properties.contactRegistrant.addressMailing.address2 == STRING
    input.Body.properties.contactRegistrant.addressMailing.city == STRING
    input.Body.properties.contactRegistrant.addressMailing.country == STRING
    input.Body.properties.contactRegistrant.addressMailing.postalCode == STRING
    input.Body.properties.contactRegistrant.addressMailing.state == STRING
    input.Body.properties.contactRegistrant.email == STRING
    input.Body.properties.contactRegistrant.fax == STRING
    input.Body.properties.contactRegistrant.jobTitle == STRING
    input.Body.properties.contactRegistrant.nameFirst == STRING
    input.Body.properties.contactRegistrant.nameLast == STRING
    input.Body.properties.contactRegistrant.nameMiddle == STRING
    input.Body.properties.contactRegistrant.organization == STRING
    input.Body.properties.contactRegistrant.phone == STRING
    input.Body.properties.contactTech.addressMailing.address1 == STRING
    input.Body.properties.contactTech.addressMailing.address2 == STRING
    input.Body.properties.contactTech.addressMailing.city == STRING
    input.Body.properties.contactTech.addressMailing.country == STRING
    input.Body.properties.contactTech.addressMailing.postalCode == STRING
    input.Body.properties.contactTech.addressMailing.state == STRING
    input.Body.properties.contactTech.email == STRING
    input.Body.properties.contactTech.fax == STRING
    input.Body.properties.contactTech.jobTitle == STRING
    input.Body.properties.contactTech.nameFirst == STRING
    input.Body.properties.contactTech.nameLast == STRING
    input.Body.properties.contactTech.nameMiddle == STRING
    input.Body.properties.contactTech.organization == STRING
    input.Body.properties.contactTech.phone == STRING
    input.Body.properties.privacy == BOOLEAN
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.consent.agreementKeys[_] == STRING
    input.Body.properties.consent.agreedBy == STRING
    input.Body.properties.consent.agreedAt == STRING
    input.Body.properties.dnsType == enum_DomainPropertiesDnsType[_]
    input.Body.properties.dnsZoneId == STRING
    input.Body.properties.targetDnsType == enum_DomainPropertiesTargetDnsType[_]
    input.Body.properties.authCode == STRING
    input.Body.kind == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_CreateOrUpdateOwnershipIdentifier

valid {
    input.Body.properties.ownershipId == STRING
    input.Body.kind == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_Delete

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.forceHardDeleteDomain == BOOLEAN
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_DeleteOwnershipIdentifier

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_Get

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_GetControlCenterSsoRequest

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Domains_GetOwnershipIdentifier

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Domains_ListByResourceGroup

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_ListOwnershipIdentifiers

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_ListRecommendations

valid {
    input.Body.keywords == STRING
    input.Body.maxDomainRecommendations == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Domains_Renew

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_TransferOut

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_Update

enum_DomainPatchResourcePropertiesDnsType := [ "AzureDns", "DefaultDomainRegistrarDns" ]
enum_DomainPatchResourcePropertiesTargetDnsType := [ "AzureDns", "DefaultDomainRegistrarDns" ]

valid {
    input.Body.properties.contactAdmin.addressMailing.address1 == STRING
    input.Body.properties.contactAdmin.addressMailing.address2 == STRING
    input.Body.properties.contactAdmin.addressMailing.city == STRING
    input.Body.properties.contactAdmin.addressMailing.country == STRING
    input.Body.properties.contactAdmin.addressMailing.postalCode == STRING
    input.Body.properties.contactAdmin.addressMailing.state == STRING
    input.Body.properties.contactAdmin.email == STRING
    input.Body.properties.contactAdmin.fax == STRING
    input.Body.properties.contactAdmin.jobTitle == STRING
    input.Body.properties.contactAdmin.nameFirst == STRING
    input.Body.properties.contactAdmin.nameLast == STRING
    input.Body.properties.contactAdmin.nameMiddle == STRING
    input.Body.properties.contactAdmin.organization == STRING
    input.Body.properties.contactAdmin.phone == STRING
    input.Body.properties.contactBilling.addressMailing.address1 == STRING
    input.Body.properties.contactBilling.addressMailing.address2 == STRING
    input.Body.properties.contactBilling.addressMailing.city == STRING
    input.Body.properties.contactBilling.addressMailing.country == STRING
    input.Body.properties.contactBilling.addressMailing.postalCode == STRING
    input.Body.properties.contactBilling.addressMailing.state == STRING
    input.Body.properties.contactBilling.email == STRING
    input.Body.properties.contactBilling.fax == STRING
    input.Body.properties.contactBilling.jobTitle == STRING
    input.Body.properties.contactBilling.nameFirst == STRING
    input.Body.properties.contactBilling.nameLast == STRING
    input.Body.properties.contactBilling.nameMiddle == STRING
    input.Body.properties.contactBilling.organization == STRING
    input.Body.properties.contactBilling.phone == STRING
    input.Body.properties.contactRegistrant.addressMailing.address1 == STRING
    input.Body.properties.contactRegistrant.addressMailing.address2 == STRING
    input.Body.properties.contactRegistrant.addressMailing.city == STRING
    input.Body.properties.contactRegistrant.addressMailing.country == STRING
    input.Body.properties.contactRegistrant.addressMailing.postalCode == STRING
    input.Body.properties.contactRegistrant.addressMailing.state == STRING
    input.Body.properties.contactRegistrant.email == STRING
    input.Body.properties.contactRegistrant.fax == STRING
    input.Body.properties.contactRegistrant.jobTitle == STRING
    input.Body.properties.contactRegistrant.nameFirst == STRING
    input.Body.properties.contactRegistrant.nameLast == STRING
    input.Body.properties.contactRegistrant.nameMiddle == STRING
    input.Body.properties.contactRegistrant.organization == STRING
    input.Body.properties.contactRegistrant.phone == STRING
    input.Body.properties.contactTech.addressMailing.address1 == STRING
    input.Body.properties.contactTech.addressMailing.address2 == STRING
    input.Body.properties.contactTech.addressMailing.city == STRING
    input.Body.properties.contactTech.addressMailing.country == STRING
    input.Body.properties.contactTech.addressMailing.postalCode == STRING
    input.Body.properties.contactTech.addressMailing.state == STRING
    input.Body.properties.contactTech.email == STRING
    input.Body.properties.contactTech.fax == STRING
    input.Body.properties.contactTech.jobTitle == STRING
    input.Body.properties.contactTech.nameFirst == STRING
    input.Body.properties.contactTech.nameLast == STRING
    input.Body.properties.contactTech.nameMiddle == STRING
    input.Body.properties.contactTech.organization == STRING
    input.Body.properties.contactTech.phone == STRING
    input.Body.properties.privacy == BOOLEAN
    input.Body.properties.autoRenew == BOOLEAN
    input.Body.properties.consent.agreementKeys[_] == STRING
    input.Body.properties.consent.agreedBy == STRING
    input.Body.properties.consent.agreedAt == STRING
    input.Body.properties.dnsType == enum_DomainPatchResourcePropertiesDnsType[_]
    input.Body.properties.dnsZoneId == STRING
    input.Body.properties.targetDnsType == enum_DomainPatchResourcePropertiesTargetDnsType[_]
    input.Body.properties.authCode == STRING
    input.Body.kind == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Domains_UpdateOwnershipIdentifier

valid {
    input.Body.properties.ownershipId == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.domainName == STRING
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TopLevelDomains_Get

valid {
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

TopLevelDomains_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

TopLevelDomains_ListAgreements

valid {
    input.Body.includePrivacy == BOOLEAN
    input.Body.forTransfer == BOOLEAN
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}