valid {
    input.Body.annotations.STRING == STRING
    input.Body.backupMinimumEnforcedRetentionDuration == STRING
    input.Body.description == STRING
    input.Body.effectiveTime == STRING
    input.Body.enforcedRetentionDuration == 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
}

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
}

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
}

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
}

enum_DataSourceConfigState := [ "BACKUP_CONFIG_STATE_UNSPECIFIED", "ACTIVE", "PASSIVE" ]

valid {
    input.Body.backupCount == STRING
    input.Body.configState == enum_DataSourceConfigState[_]
    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
}

enum_SetInternalStatusRequestBackupConfigState := [ "BACKUP_CONFIG_STATE_UNSPECIFIED", "ACTIVE", "PASSIVE" ]

valid {
    input.Body.backupConfigState == enum_SetInternalStatusRequestBackupConfigState[_]
    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
}

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
}

valid {
    input.Body.annotations.STRING == STRING
    input.Body.backupMinimumEnforcedRetentionDuration == STRING
    input.Body.description == STRING
    input.Body.effectiveTime == STRING
    input.Body.enforcedRetentionDuration == STRING
    input.Body.etag == STRING
    input.Body.labels.STRING == STRING
    input.ReqMap.name == STRING
    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
}