valid {
    input.Body.backupPlan == STRING
    input.Body.resource == STRING
    input.Body.resourceType == STRING
    input.ReqMap.parent == STRING
    input.Qs.backupPlanAssociationId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.requestId == STRING
    input.Body.ruleId == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

enum_StandardScheduleDaysOfWeek := [ "DAY_OF_WEEK_UNSPECIFIED", "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_StandardScheduleMonths := [ "MONTH_UNSPECIFIED", "JANUARY", "FEBRUARY", "MARCH", "APRIL", "MAY", "JUNE", "JULY", "AUGUST", "SEPTEMBER", "OCTOBER", "NOVEMBER", "DECEMBER" ]
enum_StandardScheduleRecurrenceType := [ "RECURRENCE_TYPE_UNSPECIFIED", "HOURLY", "DAILY", "WEEKLY", "MONTHLY", "YEARLY" ]
enum_WeekDayOfMonthDayOfWeek := [ "DAY_OF_WEEK_UNSPECIFIED", "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_WeekDayOfMonthWeekOfMonth := [ "WEEK_OF_MONTH_UNSPECIFIED", "FIRST", "SECOND", "THIRD", "FOURTH", "LAST" ]

valid {
    input.Body.backupRules[_].backupRetentionDays == INTEGER
    input.Body.backupRules[_].ruleId == STRING
    input.Body.backupRules[_].standardSchedule.backupWindow.endHourOfDay == INTEGER
    input.Body.backupRules[_].standardSchedule.backupWindow.startHourOfDay == INTEGER
    input.Body.backupRules[_].standardSchedule.daysOfMonth[_] == INTEGER
    input.Body.backupRules[_].standardSchedule.daysOfWeek[_] == enum_StandardScheduleDaysOfWeek[_]
    input.Body.backupRules[_].standardSchedule.hourlyFrequency == INTEGER
    input.Body.backupRules[_].standardSchedule.months[_] == enum_StandardScheduleMonths[_]
    input.Body.backupRules[_].standardSchedule.recurrenceType == enum_StandardScheduleRecurrenceType[_]
    input.Body.backupRules[_].standardSchedule.timeZone == STRING
    input.Body.backupRules[_].standardSchedule.weekDayOfMonth.dayOfWeek == enum_WeekDayOfMonthDayOfWeek[_]
    input.Body.backupRules[_].standardSchedule.weekDayOfMonth.weekOfMonth == enum_WeekDayOfMonthWeekOfMonth[_]
    input.Body.backupVault == STRING
    input.Body.description == STRING
    input.Body.etag == STRING
    input.Body.labels.STRING == STRING
    input.Body.resourceType == STRING
    input.ReqMap.parent == STRING
    input.Qs.backupPlanId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_BackupVaultAccessRestriction := [ "ACCESS_RESTRICTION_UNSPECIFIED", "WITHIN_PROJECT", "WITHIN_ORGANIZATION", "UNRESTRICTED" ]

valid {
    input.Body.accessRestriction == enum_BackupVaultAccessRestriction[_]
    input.Body.annotations.STRING == STRING
    input.Body.backupMinimumEnforcedRetentionDuration == STRING
    input.Body.description == STRING
    input.Body.effectiveTime == STRING
    input.Body.etag == STRING
    input.Body.labels.STRING == STRING
    input.ReqMap.parent == STRING
    input.Qs.backupVaultId == STRING
    input.Qs.requestId == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.requestId == STRING
    input.ReqMap.dataSource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ViewParameter := [ "BACKUP_VIEW_UNSPECIFIED", "BACKUP_VIEW_BASIC", "BACKUP_VIEW_FULL" ]

valid {
    input.ReqMap.name == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_ViewParameter := [ "BACKUP_VIEW_UNSPECIFIED", "BACKUP_VIEW_BASIC", "BACKUP_VIEW_FULL" ]

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.backupApplianceLocks[_].backupApplianceLockInfo.backupApplianceId == STRING
    input.Body.backupApplianceLocks[_].backupApplianceLockInfo.backupApplianceName == STRING
    input.Body.backupApplianceLocks[_].backupApplianceLockInfo.backupImage == STRING
    input.Body.backupApplianceLocks[_].backupApplianceLockInfo.jobName == STRING
    input.Body.backupApplianceLocks[_].backupApplianceLockInfo.lockReason == STRING
    input.Body.backupApplianceLocks[_].backupApplianceLockInfo.slaId == STRING
    input.Body.backupApplianceLocks[_].lockUntilTime == STRING
    input.Body.enforcedRetentionEndTime == STRING
    input.Body.etag == STRING
    input.Body.expireTime == STRING
    input.Body.labels.STRING == STRING
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AccessConfigNetworkTier := [ "NETWORK_TIER_UNSPECIFIED", "PREMIUM", "STANDARD" ]
enum_AccessConfigType := [ "ACCESS_TYPE_UNSPECIFIED", "ONE_TO_ONE_NAT", "DIRECT_IPV6" ]
enum_AllocationAffinityConsumeReservationType := [ "TYPE_UNSPECIFIED", "NO_RESERVATION", "ANY_RESERVATION", "SPECIFIC_RESERVATION" ]
enum_AttachedDiskDiskInterface := [ "DISK_INTERFACE_UNSPECIFIED", "SCSI", "NVME", "NVDIMM", "ISCSI" ]
enum_AttachedDiskDiskTypeDeprecated := [ "DISK_TYPE_UNSPECIFIED", "SCRATCH", "PERSISTENT" ]
enum_AttachedDiskMode := [ "DISK_MODE_UNSPECIFIED", "READ_WRITE", "READ_ONLY", "LOCKED" ]
enum_AttachedDiskType := [ "DISK_TYPE_UNSPECIFIED", "SCRATCH", "PERSISTENT" ]
enum_ComputeInstanceRestorePropertiesKeyRevocationActionType := [ "KEY_REVOCATION_ACTION_TYPE_UNSPECIFIED", "NONE", "STOP" ]
enum_ComputeInstanceRestorePropertiesPrivateIpv6GoogleAccess := [ "INSTANCE_PRIVATE_IPV6_GOOGLE_ACCESS_UNSPECIFIED", "INHERIT_FROM_SUBNETWORK", "ENABLE_OUTBOUND_VM_ACCESS_TO_GOOGLE", "ENABLE_BIDIRECTIONAL_ACCESS_TO_GOOGLE" ]
enum_GuestOsFeatureType := [ "FEATURE_TYPE_UNSPECIFIED", "VIRTIO_SCSI_MULTIQUEUE", "WINDOWS", "MULTI_IP_SUBNET", "UEFI_COMPATIBLE", "SECURE_BOOT", "GVNIC", "SEV_CAPABLE", "BARE_METAL_LINUX_COMPATIBLE", "SUSPEND_RESUME_COMPATIBLE", "SEV_LIVE_MIGRATABLE", "SEV_SNP_CAPABLE", "TDX_CAPABLE", "IDPF", "SEV_LIVE_MIGRATABLE_V2" ]
enum_NetworkInterfaceIpv6AccessType := [ "UNSPECIFIED_IPV6_ACCESS_TYPE", "INTERNAL", "EXTERNAL" ]
enum_NetworkInterfaceNicType := [ "NIC_TYPE_UNSPECIFIED", "VIRTIO_NET", "GVNIC" ]
enum_NetworkInterfaceStackType := [ "STACK_TYPE_UNSPECIFIED", "IPV4_ONLY", "IPV4_IPV6" ]
enum_NetworkPerformanceConfigTotalEgressBandwidthTier := [ "TIER_UNSPECIFIED", "DEFAULT", "TIER_1" ]
enum_NodeAffinityOperator := [ "OPERATOR_UNSPECIFIED", "IN", "NOT_IN" ]
enum_SchedulingInstanceTerminationAction := [ "INSTANCE_TERMINATION_ACTION_UNSPECIFIED", "DELETE", "STOP" ]
enum_SchedulingOnHostMaintenance := [ "ON_HOST_MAINTENANCE_UNSPECIFIED", "TERMINATE", "MIGRATE" ]
enum_SchedulingProvisioningModel := [ "PROVISIONING_MODEL_UNSPECIFIED", "STANDARD", "SPOT" ]

valid {
    input.Body.computeInstanceRestoreProperties.advancedMachineFeatures.enableNestedVirtualization == BOOLEAN
    input.Body.computeInstanceRestoreProperties.advancedMachineFeatures.enableUefiNetworking == BOOLEAN
    input.Body.computeInstanceRestoreProperties.advancedMachineFeatures.threadsPerCore == INTEGER
    input.Body.computeInstanceRestoreProperties.advancedMachineFeatures.visibleCoreCount == INTEGER
    input.Body.computeInstanceRestoreProperties.canIpForward == BOOLEAN
    input.Body.computeInstanceRestoreProperties.confidentialInstanceConfig.enableConfidentialCompute == BOOLEAN
    input.Body.computeInstanceRestoreProperties.deletionProtection == BOOLEAN
    input.Body.computeInstanceRestoreProperties.description == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].autoDelete == BOOLEAN
    input.Body.computeInstanceRestoreProperties.disks[_].boot == BOOLEAN
    input.Body.computeInstanceRestoreProperties.disks[_].deviceName == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].diskEncryptionKey.kmsKeyName == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].diskEncryptionKey.kmsKeyServiceAccount == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].diskEncryptionKey.rawKey == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].diskEncryptionKey.rsaEncryptedKey == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].diskInterface == enum_AttachedDiskDiskInterface[_]
    input.Body.computeInstanceRestoreProperties.disks[_].diskSizeGb == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].diskTypeDeprecated == enum_AttachedDiskDiskTypeDeprecated[_]
    input.Body.computeInstanceRestoreProperties.disks[_].guestOsFeature[_].type == enum_GuestOsFeatureType[_]
    input.Body.computeInstanceRestoreProperties.disks[_].index == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].initializeParams.diskName == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].initializeParams.replicaZones[_] == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].kind == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].license[_] == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].mode == enum_AttachedDiskMode[_]
    input.Body.computeInstanceRestoreProperties.disks[_].source == STRING
    input.Body.computeInstanceRestoreProperties.disks[_].type == enum_AttachedDiskType[_]
    input.Body.computeInstanceRestoreProperties.displayDevice.enableDisplay == BOOLEAN
    input.Body.computeInstanceRestoreProperties.guestAccelerators[_].acceleratorCount == INTEGER
    input.Body.computeInstanceRestoreProperties.guestAccelerators[_].acceleratorType == STRING
    input.Body.computeInstanceRestoreProperties.hostname == STRING
    input.Body.computeInstanceRestoreProperties.instanceEncryptionKey.kmsKeyName == STRING
    input.Body.computeInstanceRestoreProperties.instanceEncryptionKey.kmsKeyServiceAccount == STRING
    input.Body.computeInstanceRestoreProperties.instanceEncryptionKey.rawKey == STRING
    input.Body.computeInstanceRestoreProperties.instanceEncryptionKey.rsaEncryptedKey == STRING
    input.Body.computeInstanceRestoreProperties.keyRevocationActionType == enum_ComputeInstanceRestorePropertiesKeyRevocationActionType[_]
    input.Body.computeInstanceRestoreProperties.labels.STRING == STRING
    input.Body.computeInstanceRestoreProperties.machineType == STRING
    input.Body.computeInstanceRestoreProperties.metadata.items[_].key == STRING
    input.Body.computeInstanceRestoreProperties.metadata.items[_].value == STRING
    input.Body.computeInstanceRestoreProperties.minCpuPlatform == STRING
    input.Body.computeInstanceRestoreProperties.name == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].accessConfigs[_].externalIpv6 == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].accessConfigs[_].externalIpv6PrefixLength == INTEGER
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].accessConfigs[_].name == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].accessConfigs[_].natIP == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].accessConfigs[_].networkTier == enum_AccessConfigNetworkTier[_]
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].accessConfigs[_].publicPtrDomainName == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].accessConfigs[_].setPublicPtr == BOOLEAN
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].accessConfigs[_].type == enum_AccessConfigType[_]
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].aliasIpRanges[_].ipCidrRange == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].aliasIpRanges[_].subnetworkRangeName == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].internalIpv6PrefixLength == INTEGER
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].ipv6AccessConfigs[_].externalIpv6 == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].ipv6AccessConfigs[_].externalIpv6PrefixLength == INTEGER
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].ipv6AccessConfigs[_].name == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].ipv6AccessConfigs[_].natIP == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].ipv6AccessConfigs[_].networkTier == enum_AccessConfigNetworkTier[_]
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].ipv6AccessConfigs[_].publicPtrDomainName == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].ipv6AccessConfigs[_].setPublicPtr == BOOLEAN
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].ipv6AccessConfigs[_].type == enum_AccessConfigType[_]
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].ipv6AccessType == enum_NetworkInterfaceIpv6AccessType[_]
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].ipv6Address == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].network == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].networkAttachment == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].networkIP == STRING
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].nicType == enum_NetworkInterfaceNicType[_]
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].queueCount == INTEGER
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].stackType == enum_NetworkInterfaceStackType[_]
    input.Body.computeInstanceRestoreProperties.networkInterfaces[_].subnetwork == STRING
    input.Body.computeInstanceRestoreProperties.networkPerformanceConfig.totalEgressBandwidthTier == enum_NetworkPerformanceConfigTotalEgressBandwidthTier[_]
    input.Body.computeInstanceRestoreProperties.params.resourceManagerTags.STRING == STRING
    input.Body.computeInstanceRestoreProperties.privateIpv6GoogleAccess == enum_ComputeInstanceRestorePropertiesPrivateIpv6GoogleAccess[_]
    input.Body.computeInstanceRestoreProperties.reservationAffinity.consumeReservationType == enum_AllocationAffinityConsumeReservationType[_]
    input.Body.computeInstanceRestoreProperties.reservationAffinity.key == STRING
    input.Body.computeInstanceRestoreProperties.reservationAffinity.values[_] == STRING
    input.Body.computeInstanceRestoreProperties.resourcePolicies[_] == STRING
    input.Body.computeInstanceRestoreProperties.scheduling.automaticRestart == BOOLEAN
    input.Body.computeInstanceRestoreProperties.scheduling.instanceTerminationAction == enum_SchedulingInstanceTerminationAction[_]
    input.Body.computeInstanceRestoreProperties.scheduling.localSsdRecoveryTimeout.nanos == INTEGER
    input.Body.computeInstanceRestoreProperties.scheduling.localSsdRecoveryTimeout.seconds == STRING
    input.Body.computeInstanceRestoreProperties.scheduling.minNodeCpus == INTEGER
    input.Body.computeInstanceRestoreProperties.scheduling.nodeAffinities[_].key == STRING
    input.Body.computeInstanceRestoreProperties.scheduling.nodeAffinities[_].operator == enum_NodeAffinityOperator[_]
    input.Body.computeInstanceRestoreProperties.scheduling.nodeAffinities[_].values[_] == STRING
    input.Body.computeInstanceRestoreProperties.scheduling.onHostMaintenance == enum_SchedulingOnHostMaintenance[_]
    input.Body.computeInstanceRestoreProperties.scheduling.preemptible == BOOLEAN
    input.Body.computeInstanceRestoreProperties.scheduling.provisioningModel == enum_SchedulingProvisioningModel[_]
    input.Body.computeInstanceRestoreProperties.serviceAccounts[_].email == STRING
    input.Body.computeInstanceRestoreProperties.serviceAccounts[_].scopes[_] == STRING
    input.Body.computeInstanceRestoreProperties.tags.items[_] == STRING
    input.Body.computeInstanceTargetEnvironment.project == STRING
    input.Body.computeInstanceTargetEnvironment.zone == STRING
    input.Body.requestId == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.generationId == INTEGER
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.backupId == STRING
    input.Body.consistencyTime == STRING
    input.Body.description == STRING
    input.Body.recoveryRangeEndTime == STRING
    input.Body.recoveryRangeStartTime == STRING
    input.Body.requestId == STRING
    input.Body.retentionDuration == STRING
    input.ReqMap.dataSource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.backupId == STRING
    input.Body.requestId == STRING
    input.ReqMap.dataSource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.backupCount == STRING
    input.Body.dataSourceBackupApplianceApplication.applianceId == STRING
    input.Body.dataSourceBackupApplianceApplication.applicationId == STRING
    input.Body.dataSourceBackupApplianceApplication.applicationName == STRING
    input.Body.dataSourceBackupApplianceApplication.backupAppliance == STRING
    input.Body.dataSourceBackupApplianceApplication.hostId == STRING
    input.Body.dataSourceBackupApplianceApplication.hostname == STRING
    input.Body.dataSourceBackupApplianceApplication.type == STRING
    input.Body.dataSourceGcpResource.computeInstanceDatasourceProperties.description == STRING
    input.Body.dataSourceGcpResource.computeInstanceDatasourceProperties.machineType == STRING
    input.Body.dataSourceGcpResource.computeInstanceDatasourceProperties.name == STRING
    input.Body.dataSourceGcpResource.computeInstanceDatasourceProperties.totalDiskCount == STRING
    input.Body.dataSourceGcpResource.computeInstanceDatasourceProperties.totalDiskSizeGb == STRING
    input.Body.dataSourceGcpResource.location == STRING
    input.Body.dataSourceGcpResource.type == STRING
    input.Body.etag == STRING
    input.Body.labels.STRING == STRING
    input.Body.totalStoredBytes == STRING
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    input.Qs.requestId == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.requestId == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.requestId == STRING
    input.Body.value == STRING
    input.ReqMap.dataSource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.allowMissing == BOOLEAN
    input.Qs.etag == STRING
    input.Qs.force == BOOLEAN
    input.Qs.requestId == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ViewParameter := [ "BACKUP_VAULT_VIEW_UNSPECIFIED", "BACKUP_VAULT_VIEW_BASIC", "BACKUP_VAULT_VIEW_FULL" ]

valid {
    input.ReqMap.name == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_ViewParameter := [ "BACKUP_VAULT_VIEW_UNSPECIFIED", "BACKUP_VAULT_VIEW_BASIC", "BACKUP_VAULT_VIEW_FULL" ]

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.Qs.view == enum_ViewParameter[_]
    input.ProviderMetadata.Region == STRING
}

enum_BackupVaultAccessRestriction := [ "ACCESS_RESTRICTION_UNSPECIFIED", "WITHIN_PROJECT", "WITHIN_ORGANIZATION", "UNRESTRICTED" ]

valid {
    input.Body.accessRestriction == enum_BackupVaultAccessRestriction[_]
    input.Body.annotations.STRING == STRING
    input.Body.backupMinimumEnforcedRetentionDuration == STRING
    input.Body.description == STRING
    input.Body.effectiveTime == STRING
    input.Body.etag == STRING
    input.Body.labels.STRING == STRING
    input.ReqMap.name == STRING
    input.Qs.force == BOOLEAN
    input.Qs.requestId == STRING
    input.Qs.updateMask == STRING
    input.Qs.validateOnly == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ManagementServerType := [ "INSTANCE_TYPE_UNSPECIFIED", "BACKUP_RESTORE" ]
enum_NetworkConfigPeeringMode := [ "PEERING_MODE_UNSPECIFIED", "PRIVATE_SERVICE_ACCESS" ]

valid {
    input.Body.description == STRING
    input.Body.etag == STRING
    input.Body.labels.STRING == STRING
    input.Body.networks[_].network == STRING
    input.Body.networks[_].peeringMode == enum_NetworkConfigPeeringMode[_]
    input.Body.type == enum_ManagementServerType[_]
    input.ReqMap.parent == STRING
    input.Qs.managementServerId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.orderBy == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].exemptedMembers[_] == STRING
    input.Body.policy.auditConfigs[_].auditLogConfigs[_].logType == enum_AuditLogConfigLogType[_]
    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
}

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

valid {
    input.Body.STRING == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}