dns.changes.create

enum_ChangeStatus := [ "PENDING", "DONE" ]

valid {
    input.Body.additions[_].kind == STRING
    input.Body.additions[_].name == STRING
    input.Body.additions[_].routingPolicy.geo.items[_].kind == STRING
    input.Body.additions[_].routingPolicy.geo.items[_].location == STRING
    input.Body.additions[_].routingPolicy.geo.items[_].rrdatas[_] == STRING
    input.Body.additions[_].routingPolicy.geo.items[_].signatureRrdatas[_] == STRING
    input.Body.additions[_].routingPolicy.geo.kind == STRING
    input.Body.additions[_].routingPolicy.kind == STRING
    input.Body.additions[_].routingPolicy.wrr.items[_].kind == STRING
    input.Body.additions[_].routingPolicy.wrr.items[_].rrdatas[_] == STRING
    input.Body.additions[_].routingPolicy.wrr.items[_].signatureRrdatas[_] == STRING
    input.Body.additions[_].routingPolicy.wrr.items[_].weight == NUMBER
    input.Body.additions[_].routingPolicy.wrr.kind == STRING
    input.Body.additions[_].rrdatas[_] == STRING
    input.Body.additions[_].signatureRrdatas[_] == STRING
    input.Body.additions[_].ttl == INTEGER
    input.Body.additions[_].type == STRING
    input.Body.deletions[_].kind == STRING
    input.Body.deletions[_].name == STRING
    input.Body.deletions[_].routingPolicy.geo.items[_].kind == STRING
    input.Body.deletions[_].routingPolicy.geo.items[_].location == STRING
    input.Body.deletions[_].routingPolicy.geo.items[_].rrdatas[_] == STRING
    input.Body.deletions[_].routingPolicy.geo.items[_].signatureRrdatas[_] == STRING
    input.Body.deletions[_].routingPolicy.geo.kind == STRING
    input.Body.deletions[_].routingPolicy.kind == STRING
    input.Body.deletions[_].routingPolicy.wrr.items[_].kind == STRING
    input.Body.deletions[_].routingPolicy.wrr.items[_].rrdatas[_] == STRING
    input.Body.deletions[_].routingPolicy.wrr.items[_].signatureRrdatas[_] == STRING
    input.Body.deletions[_].routingPolicy.wrr.items[_].weight == NUMBER
    input.Body.deletions[_].routingPolicy.wrr.kind == STRING
    input.Body.deletions[_].rrdatas[_] == STRING
    input.Body.deletions[_].signatureRrdatas[_] == STRING
    input.Body.deletions[_].ttl == INTEGER
    input.Body.deletions[_].type == STRING
    input.Body.id == STRING
    input.Body.isServing == BOOLEAN
    input.Body.kind == STRING
    input.Body.startTime == STRING
    input.Body.status == enum_ChangeStatus[_]
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.changes.get

valid {
    input.ReqMap.changeId == STRING
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.changes.list

enum_SortByParameter := [ "CHANGE_SEQUENCE" ]

valid {
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.sortBy == enum_SortByParameter[_]
    input.Qs.sortOrder == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.dnsKeys.get

valid {
    input.ReqMap.dnsKeyId == STRING
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.Qs.digestType == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.dnsKeys.list

valid {
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.digestType == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.managedZoneOperations.get

valid {
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.operation == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.managedZoneOperations.list

enum_SortByParameter := [ "START_TIME", "ID" ]

valid {
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.sortBy == enum_SortByParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.managedZones.create

enum_DnsKeySpecAlgorithm := [ "RSASHA1", "RSASHA256", "RSASHA512", "ECDSAP256SHA256", "ECDSAP384SHA384" ]
enum_DnsKeySpecKeyType := [ "KEY_SIGNING", "ZONE_SIGNING" ]
enum_ManagedZoneDnsSecConfigNonExistence := [ "NSEC", "NSEC3" ]
enum_ManagedZoneDnsSecConfigState := [ "OFF", "ON", "TRANSFER" ]
enum_ManagedZoneForwardingConfigNameServerTargetForwardingPath := [ "DEFAULT", "PRIVATE" ]
enum_ManagedZoneVisibility := [ "PUBLIC", "PRIVATE" ]

valid {
    input.Body.cloudLoggingConfig.enableLogging == BOOLEAN
    input.Body.cloudLoggingConfig.kind == STRING
    input.Body.creationTime == STRING
    input.Body.description == STRING
    input.Body.dnsName == STRING
    input.Body.dnssecConfig.defaultKeySpecs[_].algorithm == enum_DnsKeySpecAlgorithm[_]
    input.Body.dnssecConfig.defaultKeySpecs[_].keyLength == INTEGER
    input.Body.dnssecConfig.defaultKeySpecs[_].keyType == enum_DnsKeySpecKeyType[_]
    input.Body.dnssecConfig.defaultKeySpecs[_].kind == STRING
    input.Body.dnssecConfig.kind == STRING
    input.Body.dnssecConfig.nonExistence == enum_ManagedZoneDnsSecConfigNonExistence[_]
    input.Body.dnssecConfig.state == enum_ManagedZoneDnsSecConfigState[_]
    input.Body.forwardingConfig.kind == STRING
    input.Body.forwardingConfig.targetNameServers[_].forwardingPath == enum_ManagedZoneForwardingConfigNameServerTargetForwardingPath[_]
    input.Body.forwardingConfig.targetNameServers[_].ipv4Address == STRING
    input.Body.forwardingConfig.targetNameServers[_].kind == STRING
    input.Body.id == STRING
    input.Body.kind == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.nameServerSet == STRING
    input.Body.nameServers[_] == STRING
    input.Body.peeringConfig.kind == STRING
    input.Body.peeringConfig.targetNetwork.deactivateTime == STRING
    input.Body.peeringConfig.targetNetwork.kind == STRING
    input.Body.peeringConfig.targetNetwork.networkUrl == STRING
    input.Body.privateVisibilityConfig.gkeClusters[_].gkeClusterName == STRING
    input.Body.privateVisibilityConfig.gkeClusters[_].kind == STRING
    input.Body.privateVisibilityConfig.kind == STRING
    input.Body.privateVisibilityConfig.networks[_].kind == STRING
    input.Body.privateVisibilityConfig.networks[_].networkUrl == STRING
    input.Body.reverseLookupConfig.kind == STRING
    input.Body.serviceDirectoryConfig.kind == STRING
    input.Body.serviceDirectoryConfig.namespace.deletionTime == STRING
    input.Body.serviceDirectoryConfig.namespace.kind == STRING
    input.Body.serviceDirectoryConfig.namespace.namespaceUrl == STRING
    input.Body.visibility == enum_ManagedZoneVisibility[_]
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.managedZones.delete

valid {
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.managedZones.get

valid {
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.managedZones.getIamPolicy

valid {
    input.Body.options.requestedPolicyVersion == INTEGER
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

dns.managedZones.list

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.dnsName == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.managedZones.patch

enum_DnsKeySpecAlgorithm := [ "RSASHA1", "RSASHA256", "RSASHA512", "ECDSAP256SHA256", "ECDSAP384SHA384" ]
enum_DnsKeySpecKeyType := [ "KEY_SIGNING", "ZONE_SIGNING" ]
enum_ManagedZoneDnsSecConfigNonExistence := [ "NSEC", "NSEC3" ]
enum_ManagedZoneDnsSecConfigState := [ "OFF", "ON", "TRANSFER" ]
enum_ManagedZoneForwardingConfigNameServerTargetForwardingPath := [ "DEFAULT", "PRIVATE" ]
enum_ManagedZoneVisibility := [ "PUBLIC", "PRIVATE" ]

valid {
    input.Body.cloudLoggingConfig.enableLogging == BOOLEAN
    input.Body.cloudLoggingConfig.kind == STRING
    input.Body.creationTime == STRING
    input.Body.description == STRING
    input.Body.dnsName == STRING
    input.Body.dnssecConfig.defaultKeySpecs[_].algorithm == enum_DnsKeySpecAlgorithm[_]
    input.Body.dnssecConfig.defaultKeySpecs[_].keyLength == INTEGER
    input.Body.dnssecConfig.defaultKeySpecs[_].keyType == enum_DnsKeySpecKeyType[_]
    input.Body.dnssecConfig.defaultKeySpecs[_].kind == STRING
    input.Body.dnssecConfig.kind == STRING
    input.Body.dnssecConfig.nonExistence == enum_ManagedZoneDnsSecConfigNonExistence[_]
    input.Body.dnssecConfig.state == enum_ManagedZoneDnsSecConfigState[_]
    input.Body.forwardingConfig.kind == STRING
    input.Body.forwardingConfig.targetNameServers[_].forwardingPath == enum_ManagedZoneForwardingConfigNameServerTargetForwardingPath[_]
    input.Body.forwardingConfig.targetNameServers[_].ipv4Address == STRING
    input.Body.forwardingConfig.targetNameServers[_].kind == STRING
    input.Body.id == STRING
    input.Body.kind == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.nameServerSet == STRING
    input.Body.nameServers[_] == STRING
    input.Body.peeringConfig.kind == STRING
    input.Body.peeringConfig.targetNetwork.deactivateTime == STRING
    input.Body.peeringConfig.targetNetwork.kind == STRING
    input.Body.peeringConfig.targetNetwork.networkUrl == STRING
    input.Body.privateVisibilityConfig.gkeClusters[_].gkeClusterName == STRING
    input.Body.privateVisibilityConfig.gkeClusters[_].kind == STRING
    input.Body.privateVisibilityConfig.kind == STRING
    input.Body.privateVisibilityConfig.networks[_].kind == STRING
    input.Body.privateVisibilityConfig.networks[_].networkUrl == STRING
    input.Body.reverseLookupConfig.kind == STRING
    input.Body.serviceDirectoryConfig.kind == STRING
    input.Body.serviceDirectoryConfig.namespace.deletionTime == STRING
    input.Body.serviceDirectoryConfig.namespace.kind == STRING
    input.Body.serviceDirectoryConfig.namespace.namespaceUrl == STRING
    input.Body.visibility == enum_ManagedZoneVisibility[_]
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.managedZones.setIamPolicy

enum_GoogleIamV1AuditLogConfigLogType := [ "LOG_TYPE_UNSPECIFIED", "ADMIN_READ", "DATA_WRITE", "DATA_READ" ]

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_GoogleIamV1AuditLogConfigLogType[_]
    input.Body.policy.auditConfigs[_].service == STRING
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.Body.updateMask == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

dns.managedZones.testIamPermissions

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

dns.managedZones.update

enum_DnsKeySpecAlgorithm := [ "RSASHA1", "RSASHA256", "RSASHA512", "ECDSAP256SHA256", "ECDSAP384SHA384" ]
enum_DnsKeySpecKeyType := [ "KEY_SIGNING", "ZONE_SIGNING" ]
enum_ManagedZoneDnsSecConfigNonExistence := [ "NSEC", "NSEC3" ]
enum_ManagedZoneDnsSecConfigState := [ "OFF", "ON", "TRANSFER" ]
enum_ManagedZoneForwardingConfigNameServerTargetForwardingPath := [ "DEFAULT", "PRIVATE" ]
enum_ManagedZoneVisibility := [ "PUBLIC", "PRIVATE" ]

valid {
    input.Body.cloudLoggingConfig.enableLogging == BOOLEAN
    input.Body.cloudLoggingConfig.kind == STRING
    input.Body.creationTime == STRING
    input.Body.description == STRING
    input.Body.dnsName == STRING
    input.Body.dnssecConfig.defaultKeySpecs[_].algorithm == enum_DnsKeySpecAlgorithm[_]
    input.Body.dnssecConfig.defaultKeySpecs[_].keyLength == INTEGER
    input.Body.dnssecConfig.defaultKeySpecs[_].keyType == enum_DnsKeySpecKeyType[_]
    input.Body.dnssecConfig.defaultKeySpecs[_].kind == STRING
    input.Body.dnssecConfig.kind == STRING
    input.Body.dnssecConfig.nonExistence == enum_ManagedZoneDnsSecConfigNonExistence[_]
    input.Body.dnssecConfig.state == enum_ManagedZoneDnsSecConfigState[_]
    input.Body.forwardingConfig.kind == STRING
    input.Body.forwardingConfig.targetNameServers[_].forwardingPath == enum_ManagedZoneForwardingConfigNameServerTargetForwardingPath[_]
    input.Body.forwardingConfig.targetNameServers[_].ipv4Address == STRING
    input.Body.forwardingConfig.targetNameServers[_].kind == STRING
    input.Body.id == STRING
    input.Body.kind == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.nameServerSet == STRING
    input.Body.nameServers[_] == STRING
    input.Body.peeringConfig.kind == STRING
    input.Body.peeringConfig.targetNetwork.deactivateTime == STRING
    input.Body.peeringConfig.targetNetwork.kind == STRING
    input.Body.peeringConfig.targetNetwork.networkUrl == STRING
    input.Body.privateVisibilityConfig.gkeClusters[_].gkeClusterName == STRING
    input.Body.privateVisibilityConfig.gkeClusters[_].kind == STRING
    input.Body.privateVisibilityConfig.kind == STRING
    input.Body.privateVisibilityConfig.networks[_].kind == STRING
    input.Body.privateVisibilityConfig.networks[_].networkUrl == STRING
    input.Body.reverseLookupConfig.kind == STRING
    input.Body.serviceDirectoryConfig.kind == STRING
    input.Body.serviceDirectoryConfig.namespace.deletionTime == STRING
    input.Body.serviceDirectoryConfig.namespace.kind == STRING
    input.Body.serviceDirectoryConfig.namespace.namespaceUrl == STRING
    input.Body.visibility == enum_ManagedZoneVisibility[_]
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.policies.create

enum_PolicyAlternativeNameServerConfigTargetNameServerForwardingPath := [ "DEFAULT", "PRIVATE" ]

valid {
    input.Body.alternativeNameServerConfig.kind == STRING
    input.Body.alternativeNameServerConfig.targetNameServers[_].forwardingPath == enum_PolicyAlternativeNameServerConfigTargetNameServerForwardingPath[_]
    input.Body.alternativeNameServerConfig.targetNameServers[_].ipv4Address == STRING
    input.Body.alternativeNameServerConfig.targetNameServers[_].kind == STRING
    input.Body.description == STRING
    input.Body.enableInboundForwarding == BOOLEAN
    input.Body.enableLogging == BOOLEAN
    input.Body.id == STRING
    input.Body.kind == STRING
    input.Body.name == STRING
    input.Body.networks[_].kind == STRING
    input.Body.networks[_].networkUrl == STRING
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.policies.delete

valid {
    input.ReqMap.location == STRING
    input.ReqMap.policy == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.policies.get

valid {
    input.ReqMap.location == STRING
    input.ReqMap.policy == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.policies.list

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.policies.patch

enum_PolicyAlternativeNameServerConfigTargetNameServerForwardingPath := [ "DEFAULT", "PRIVATE" ]

valid {
    input.Body.alternativeNameServerConfig.kind == STRING
    input.Body.alternativeNameServerConfig.targetNameServers[_].forwardingPath == enum_PolicyAlternativeNameServerConfigTargetNameServerForwardingPath[_]
    input.Body.alternativeNameServerConfig.targetNameServers[_].ipv4Address == STRING
    input.Body.alternativeNameServerConfig.targetNameServers[_].kind == STRING
    input.Body.description == STRING
    input.Body.enableInboundForwarding == BOOLEAN
    input.Body.enableLogging == BOOLEAN
    input.Body.id == STRING
    input.Body.kind == STRING
    input.Body.name == STRING
    input.Body.networks[_].kind == STRING
    input.Body.networks[_].networkUrl == STRING
    input.ReqMap.location == STRING
    input.ReqMap.policy == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.policies.update

enum_PolicyAlternativeNameServerConfigTargetNameServerForwardingPath := [ "DEFAULT", "PRIVATE" ]

valid {
    input.Body.alternativeNameServerConfig.kind == STRING
    input.Body.alternativeNameServerConfig.targetNameServers[_].forwardingPath == enum_PolicyAlternativeNameServerConfigTargetNameServerForwardingPath[_]
    input.Body.alternativeNameServerConfig.targetNameServers[_].ipv4Address == STRING
    input.Body.alternativeNameServerConfig.targetNameServers[_].kind == STRING
    input.Body.description == STRING
    input.Body.enableInboundForwarding == BOOLEAN
    input.Body.enableLogging == BOOLEAN
    input.Body.id == STRING
    input.Body.kind == STRING
    input.Body.name == STRING
    input.Body.networks[_].kind == STRING
    input.Body.networks[_].networkUrl == STRING
    input.ReqMap.location == STRING
    input.ReqMap.policy == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.projects.get

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.resourceRecordSets.create

valid {
    input.Body.kind == STRING
    input.Body.name == STRING
    input.Body.routingPolicy.geo.items[_].kind == STRING
    input.Body.routingPolicy.geo.items[_].location == STRING
    input.Body.routingPolicy.geo.items[_].rrdatas[_] == STRING
    input.Body.routingPolicy.geo.items[_].signatureRrdatas[_] == STRING
    input.Body.routingPolicy.geo.kind == STRING
    input.Body.routingPolicy.kind == STRING
    input.Body.routingPolicy.wrr.items[_].kind == STRING
    input.Body.routingPolicy.wrr.items[_].rrdatas[_] == STRING
    input.Body.routingPolicy.wrr.items[_].signatureRrdatas[_] == STRING
    input.Body.routingPolicy.wrr.items[_].weight == NUMBER
    input.Body.routingPolicy.wrr.kind == STRING
    input.Body.rrdatas[_] == STRING
    input.Body.signatureRrdatas[_] == STRING
    input.Body.ttl == INTEGER
    input.Body.type == STRING
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.resourceRecordSets.delete

valid {
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.name == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.type == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.resourceRecordSets.get

valid {
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.name == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.type == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.resourceRecordSets.list

valid {
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.name == STRING
    input.Qs.pageToken == STRING
    input.Qs.type == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.resourceRecordSets.patch

valid {
    input.Body.kind == STRING
    input.Body.name == STRING
    input.Body.routingPolicy.geo.items[_].kind == STRING
    input.Body.routingPolicy.geo.items[_].location == STRING
    input.Body.routingPolicy.geo.items[_].rrdatas[_] == STRING
    input.Body.routingPolicy.geo.items[_].signatureRrdatas[_] == STRING
    input.Body.routingPolicy.geo.kind == STRING
    input.Body.routingPolicy.kind == STRING
    input.Body.routingPolicy.wrr.items[_].kind == STRING
    input.Body.routingPolicy.wrr.items[_].rrdatas[_] == STRING
    input.Body.routingPolicy.wrr.items[_].signatureRrdatas[_] == STRING
    input.Body.routingPolicy.wrr.items[_].weight == NUMBER
    input.Body.routingPolicy.wrr.kind == STRING
    input.Body.rrdatas[_] == STRING
    input.Body.signatureRrdatas[_] == STRING
    input.Body.ttl == INTEGER
    input.Body.type == STRING
    input.ReqMap.location == STRING
    input.ReqMap.managedZone == STRING
    input.ReqMap.name == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.type == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicies.create

valid {
    input.Body.description == STRING
    input.Body.gkeClusters[_].gkeClusterName == STRING
    input.Body.gkeClusters[_].kind == STRING
    input.Body.id == STRING
    input.Body.kind == STRING
    input.Body.networks[_].kind == STRING
    input.Body.networks[_].networkUrl == STRING
    input.Body.responsePolicyName == STRING
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicies.delete

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.responsePolicy == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicies.get

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.responsePolicy == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicies.list

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicies.patch

valid {
    input.Body.description == STRING
    input.Body.gkeClusters[_].gkeClusterName == STRING
    input.Body.gkeClusters[_].kind == STRING
    input.Body.id == STRING
    input.Body.kind == STRING
    input.Body.networks[_].kind == STRING
    input.Body.networks[_].networkUrl == STRING
    input.Body.responsePolicyName == STRING
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.responsePolicy == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicies.update

valid {
    input.Body.description == STRING
    input.Body.gkeClusters[_].gkeClusterName == STRING
    input.Body.gkeClusters[_].kind == STRING
    input.Body.id == STRING
    input.Body.kind == STRING
    input.Body.networks[_].kind == STRING
    input.Body.networks[_].networkUrl == STRING
    input.Body.responsePolicyName == STRING
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.responsePolicy == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicyRules.create

enum_ResponsePolicyRuleBehavior := [ "BEHAVIOR_UNSPECIFIED", "BYPASS_RESPONSE_POLICY" ]

valid {
    input.Body.behavior == enum_ResponsePolicyRuleBehavior[_]
    input.Body.dnsName == STRING
    input.Body.kind == STRING
    input.Body.localData.localDatas[_].kind == STRING
    input.Body.localData.localDatas[_].name == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].location == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].rrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].signatureRrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].rrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].signatureRrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].weight == NUMBER
    input.Body.localData.localDatas[_].routingPolicy.wrr.kind == STRING
    input.Body.localData.localDatas[_].rrdatas[_] == STRING
    input.Body.localData.localDatas[_].signatureRrdatas[_] == STRING
    input.Body.localData.localDatas[_].ttl == INTEGER
    input.Body.localData.localDatas[_].type == STRING
    input.Body.ruleName == STRING
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.responsePolicy == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicyRules.delete

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.responsePolicy == STRING
    input.ReqMap.responsePolicyRule == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicyRules.get

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.responsePolicy == STRING
    input.ReqMap.responsePolicyRule == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicyRules.list

valid {
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.responsePolicy == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicyRules.patch

enum_ResponsePolicyRuleBehavior := [ "BEHAVIOR_UNSPECIFIED", "BYPASS_RESPONSE_POLICY" ]

valid {
    input.Body.behavior == enum_ResponsePolicyRuleBehavior[_]
    input.Body.dnsName == STRING
    input.Body.kind == STRING
    input.Body.localData.localDatas[_].kind == STRING
    input.Body.localData.localDatas[_].name == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].location == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].rrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].signatureRrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].rrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].signatureRrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].weight == NUMBER
    input.Body.localData.localDatas[_].routingPolicy.wrr.kind == STRING
    input.Body.localData.localDatas[_].rrdatas[_] == STRING
    input.Body.localData.localDatas[_].signatureRrdatas[_] == STRING
    input.Body.localData.localDatas[_].ttl == INTEGER
    input.Body.localData.localDatas[_].type == STRING
    input.Body.ruleName == STRING
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.responsePolicy == STRING
    input.ReqMap.responsePolicyRule == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}

dns.responsePolicyRules.update

enum_ResponsePolicyRuleBehavior := [ "BEHAVIOR_UNSPECIFIED", "BYPASS_RESPONSE_POLICY" ]

valid {
    input.Body.behavior == enum_ResponsePolicyRuleBehavior[_]
    input.Body.dnsName == STRING
    input.Body.kind == STRING
    input.Body.localData.localDatas[_].kind == STRING
    input.Body.localData.localDatas[_].name == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].location == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].rrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.items[_].signatureRrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.geo.kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].kind == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].rrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].signatureRrdatas[_] == STRING
    input.Body.localData.localDatas[_].routingPolicy.wrr.items[_].weight == NUMBER
    input.Body.localData.localDatas[_].routingPolicy.wrr.kind == STRING
    input.Body.localData.localDatas[_].rrdatas[_] == STRING
    input.Body.localData.localDatas[_].signatureRrdatas[_] == STRING
    input.Body.localData.localDatas[_].ttl == INTEGER
    input.Body.localData.localDatas[_].type == STRING
    input.Body.ruleName == STRING
    input.ReqMap.location == STRING
    input.ReqMap.ProjectID == STRING
    input.ReqMap.responsePolicy == STRING
    input.ReqMap.responsePolicyRule == STRING
    input.Qs.clientOperationId == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.ProjectID == STRING
}