valid {
    input.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == 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
}

enum_AutonomousDatabasePropertiesDbEdition := [ "DATABASE_EDITION_UNSPECIFIED", "STANDARD_EDITION", "ENTERPRISE_EDITION" ]
enum_AutonomousDatabasePropertiesDbWorkload := [ "DB_WORKLOAD_UNSPECIFIED", "OLTP", "DW", "AJD", "APEX" ]
enum_AutonomousDatabasePropertiesLicenseType := [ "LICENSE_TYPE_UNSPECIFIED", "LICENSE_INCLUDED", "BRING_YOUR_OWN_LICENSE" ]
enum_AutonomousDatabasePropertiesMaintenanceScheduleType := [ "MAINTENANCE_SCHEDULE_TYPE_UNSPECIFIED", "EARLY", "REGULAR" ]
enum_EncryptionKeyProvider := [ "PROVIDER_UNSPECIFIED", "GOOGLE_MANAGED", "ORACLE_MANAGED" ]

valid {
    input.Body.adminPassword == STRING
    input.Body.cidr == STRING
    input.Body.database == STRING
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.network == STRING
    input.Body.odbNetwork == STRING
    input.Body.odbSubnet == STRING
    input.Body.properties.allowlistedIps[_] == STRING
    input.Body.properties.backupRetentionPeriodDays == INTEGER
    input.Body.properties.characterSet == STRING
    input.Body.properties.computeCount == NUMBER
    input.Body.properties.cpuCoreCount == INTEGER
    input.Body.properties.customerContacts[_].email == STRING
    input.Body.properties.dataStorageSizeGb == INTEGER
    input.Body.properties.dataStorageSizeTb == INTEGER
    input.Body.properties.dbEdition == enum_AutonomousDatabasePropertiesDbEdition[_]
    input.Body.properties.dbVersion == STRING
    input.Body.properties.dbWorkload == enum_AutonomousDatabasePropertiesDbWorkload[_]
    input.Body.properties.encryptionKey.kmsKey == STRING
    input.Body.properties.encryptionKey.provider == enum_EncryptionKeyProvider[_]
    input.Body.properties.isAutoScalingEnabled == BOOLEAN
    input.Body.properties.isStorageAutoScalingEnabled == BOOLEAN
    input.Body.properties.licenseType == enum_AutonomousDatabasePropertiesLicenseType[_]
    input.Body.properties.maintenanceScheduleType == enum_AutonomousDatabasePropertiesMaintenanceScheduleType[_]
    input.Body.properties.mtlsConnectionRequired == BOOLEAN
    input.Body.properties.nCharacterSet == STRING
    input.Body.properties.privateEndpointIp == STRING
    input.Body.properties.privateEndpointLabel == STRING
    input.Body.properties.secretId == STRING
    input.Body.properties.vaultId == STRING
    input.Body.sourceConfig.automaticBackupsReplicationEnabled == BOOLEAN
    input.Body.sourceConfig.autonomousDatabase == STRING
    input.ReqMap.parent == STRING
    input.Qs.autonomousDatabaseId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

enum_GenerateAutonomousDatabaseWalletRequestType := [ "GENERATE_TYPE_UNSPECIFIED", "ALL", "SINGLE" ]

valid {
    input.Body.isRegional == BOOLEAN
    input.Body.password == STRING
    input.Body.type == enum_GenerateAutonomousDatabaseWalletRequestType[_]
    input.ReqMap.name == 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_AutonomousDatabasePropertiesDbEdition := [ "DATABASE_EDITION_UNSPECIFIED", "STANDARD_EDITION", "ENTERPRISE_EDITION" ]
enum_AutonomousDatabasePropertiesDbWorkload := [ "DB_WORKLOAD_UNSPECIFIED", "OLTP", "DW", "AJD", "APEX" ]
enum_AutonomousDatabasePropertiesLicenseType := [ "LICENSE_TYPE_UNSPECIFIED", "LICENSE_INCLUDED", "BRING_YOUR_OWN_LICENSE" ]
enum_AutonomousDatabasePropertiesMaintenanceScheduleType := [ "MAINTENANCE_SCHEDULE_TYPE_UNSPECIFIED", "EARLY", "REGULAR" ]
enum_EncryptionKeyProvider := [ "PROVIDER_UNSPECIFIED", "GOOGLE_MANAGED", "ORACLE_MANAGED" ]

valid {
    input.Body.adminPassword == STRING
    input.Body.cidr == STRING
    input.Body.database == STRING
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.network == STRING
    input.Body.odbNetwork == STRING
    input.Body.odbSubnet == STRING
    input.Body.properties.allowlistedIps[_] == STRING
    input.Body.properties.backupRetentionPeriodDays == INTEGER
    input.Body.properties.characterSet == STRING
    input.Body.properties.computeCount == NUMBER
    input.Body.properties.cpuCoreCount == INTEGER
    input.Body.properties.customerContacts[_].email == STRING
    input.Body.properties.dataStorageSizeGb == INTEGER
    input.Body.properties.dataStorageSizeTb == INTEGER
    input.Body.properties.dbEdition == enum_AutonomousDatabasePropertiesDbEdition[_]
    input.Body.properties.dbVersion == STRING
    input.Body.properties.dbWorkload == enum_AutonomousDatabasePropertiesDbWorkload[_]
    input.Body.properties.encryptionKey.kmsKey == STRING
    input.Body.properties.encryptionKey.provider == enum_EncryptionKeyProvider[_]
    input.Body.properties.isAutoScalingEnabled == BOOLEAN
    input.Body.properties.isStorageAutoScalingEnabled == BOOLEAN
    input.Body.properties.licenseType == enum_AutonomousDatabasePropertiesLicenseType[_]
    input.Body.properties.maintenanceScheduleType == enum_AutonomousDatabasePropertiesMaintenanceScheduleType[_]
    input.Body.properties.mtlsConnectionRequired == BOOLEAN
    input.Body.properties.nCharacterSet == STRING
    input.Body.properties.privateEndpointIp == STRING
    input.Body.properties.privateEndpointLabel == STRING
    input.Body.properties.secretId == STRING
    input.Body.properties.vaultId == STRING
    input.Body.sourceConfig.automaticBackupsReplicationEnabled == BOOLEAN
    input.Body.sourceConfig.autonomousDatabase == STRING
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

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

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

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

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

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

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

enum_MaintenanceWindowDaysOfWeek := [ "DAY_OF_WEEK_UNSPECIFIED", "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_MaintenanceWindowMonths := [ "MONTH_UNSPECIFIED", "JANUARY", "FEBRUARY", "MARCH", "APRIL", "MAY", "JUNE", "JULY", "AUGUST", "SEPTEMBER", "OCTOBER", "NOVEMBER", "DECEMBER" ]
enum_MaintenanceWindowPatchingMode := [ "PATCHING_MODE_UNSPECIFIED", "ROLLING", "NON_ROLLING" ]
enum_MaintenanceWindowPreference := [ "MAINTENANCE_WINDOW_PREFERENCE_UNSPECIFIED", "CUSTOM_PREFERENCE", "NO_PREFERENCE" ]

valid {
    input.Body.displayName == STRING
    input.Body.gcpOracleZone == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.properties.computeCount == INTEGER
    input.Body.properties.customerContacts[_].email == STRING
    input.Body.properties.maintenanceWindow.customActionTimeoutMins == INTEGER
    input.Body.properties.maintenanceWindow.daysOfWeek[_] == enum_MaintenanceWindowDaysOfWeek[_]
    input.Body.properties.maintenanceWindow.hoursOfDay[_] == INTEGER
    input.Body.properties.maintenanceWindow.isCustomActionTimeoutEnabled == BOOLEAN
    input.Body.properties.maintenanceWindow.leadTimeWeek == INTEGER
    input.Body.properties.maintenanceWindow.months[_] == enum_MaintenanceWindowMonths[_]
    input.Body.properties.maintenanceWindow.patchingMode == enum_MaintenanceWindowPatchingMode[_]
    input.Body.properties.maintenanceWindow.preference == enum_MaintenanceWindowPreference[_]
    input.Body.properties.maintenanceWindow.weeksOfMonth[_] == INTEGER
    input.Body.properties.shape == STRING
    input.Body.properties.storageCount == INTEGER
    input.Body.properties.totalStorageSizeGb == INTEGER
    input.ReqMap.parent == STRING
    input.Qs.cloudExadataInfrastructureId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.name == STRING
    input.Qs.force == BOOLEAN
    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_CloudVmClusterPropertiesDiskRedundancy := [ "DISK_REDUNDANCY_UNSPECIFIED", "HIGH", "NORMAL" ]
enum_CloudVmClusterPropertiesLicenseType := [ "LICENSE_TYPE_UNSPECIFIED", "LICENSE_INCLUDED", "BRING_YOUR_OWN_LICENSE" ]

valid {
    input.Body.backupOdbSubnet == STRING
    input.Body.backupSubnetCidr == STRING
    input.Body.cidr == STRING
    input.Body.displayName == STRING
    input.Body.exadataInfrastructure == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.network == STRING
    input.Body.odbNetwork == STRING
    input.Body.odbSubnet == STRING
    input.Body.properties.clusterName == STRING
    input.Body.properties.cpuCoreCount == INTEGER
    input.Body.properties.dataStorageSizeTb == NUMBER
    input.Body.properties.dbNodeStorageSizeGb == INTEGER
    input.Body.properties.dbServerOcids[_] == STRING
    input.Body.properties.diagnosticsDataCollectionOptions.diagnosticsEventsEnabled == BOOLEAN
    input.Body.properties.diagnosticsDataCollectionOptions.healthMonitoringEnabled == BOOLEAN
    input.Body.properties.diagnosticsDataCollectionOptions.incidentLogsEnabled == BOOLEAN
    input.Body.properties.diskRedundancy == enum_CloudVmClusterPropertiesDiskRedundancy[_]
    input.Body.properties.giVersion == STRING
    input.Body.properties.hostnamePrefix == STRING
    input.Body.properties.licenseType == enum_CloudVmClusterPropertiesLicenseType[_]
    input.Body.properties.localBackupEnabled == BOOLEAN
    input.Body.properties.memorySizeGb == INTEGER
    input.Body.properties.nodeCount == INTEGER
    input.Body.properties.ocpuCount == NUMBER
    input.Body.properties.sparseDiskgroupEnabled == BOOLEAN
    input.Body.properties.sshPublicKeys[_] == STRING
    input.Body.properties.systemVersion == STRING
    input.Body.properties.timeZone.id == STRING
    input.Body.properties.timeZone.version == STRING
    input.ReqMap.parent == STRING
    input.Qs.cloudVmClusterId == STRING
    input.Qs.requestId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.name == STRING
    input.Qs.force == BOOLEAN
    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.ReqMap.parent == STRING
    input.Qs.filter == 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.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == 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
}

enum_BackupDestinationDetailsType := [ "BACKUP_DESTINATION_TYPE_UNSPECIFIED", "NFS", "RECOVERY_APPLIANCE", "OBJECT_STORE", "LOCAL", "DBRS" ]
enum_DbBackupConfigAutoFullBackupDay := [ "DAY_OF_WEEK_UNSPECIFIED", "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_DbBackupConfigAutoFullBackupWindow := [ "BACKUP_WINDOW_UNSPECIFIED", "SLOT_ONE", "SLOT_TWO", "SLOT_THREE", "SLOT_FOUR", "SLOT_FIVE", "SLOT_SIX", "SLOT_SEVEN", "SLOT_EIGHT", "SLOT_NINE", "SLOT_TEN", "SLOT_ELEVEN", "SLOT_TWELVE" ]
enum_DbBackupConfigAutoIncrementalBackupWindow := [ "BACKUP_WINDOW_UNSPECIFIED", "SLOT_ONE", "SLOT_TWO", "SLOT_THREE", "SLOT_FOUR", "SLOT_FIVE", "SLOT_SIX", "SLOT_SEVEN", "SLOT_EIGHT", "SLOT_NINE", "SLOT_TEN", "SLOT_ELEVEN", "SLOT_TWELVE" ]
enum_DbBackupConfigBackupDeletionPolicy := [ "BACKUP_DELETION_POLICY_UNSPECIFIED", "DELETE_IMMEDIATELY", "DELETE_AFTER_RETENTION_PERIOD" ]
enum_DbSystemOptionsStorageManagement := [ "STORAGE_MANAGEMENT_UNSPECIFIED", "ASM", "LVM" ]
enum_DbSystemPropertiesComputeModel := [ "COMPUTE_MODEL_UNSPECIFIED", "ECPU", "OCPU" ]
enum_DbSystemPropertiesDatabaseEdition := [ "DB_SYSTEM_DATABASE_EDITION_UNSPECIFIED", "STANDARD_EDITION", "ENTERPRISE_EDITION", "ENTERPRISE_EDITION_HIGH_PERFORMANCE" ]
enum_DbSystemPropertiesLicenseModel := [ "LICENSE_MODEL_UNSPECIFIED", "LICENSE_INCLUDED", "BRING_YOUR_OWN_LICENSE" ]

valid {
    input.Body.displayName == STRING
    input.Body.gcpOracleZone == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.odbNetwork == STRING
    input.Body.odbSubnet == STRING
    input.Body.properties.computeCount == INTEGER
    input.Body.properties.computeModel == enum_DbSystemPropertiesComputeModel[_]
    input.Body.properties.dataCollectionOptions.isDiagnosticsEventsEnabled == BOOLEAN
    input.Body.properties.dataCollectionOptions.isIncidentLogsEnabled == BOOLEAN
    input.Body.properties.dataStorageSizeGb == INTEGER
    input.Body.properties.databaseEdition == enum_DbSystemPropertiesDatabaseEdition[_]
    input.Body.properties.dbHome.database.adminPassword == STRING
    input.Body.properties.dbHome.database.characterSet == STRING
    input.Body.properties.dbHome.database.databaseId == STRING
    input.Body.properties.dbHome.database.dbHomeName == STRING
    input.Body.properties.dbHome.database.dbName == STRING
    input.Body.properties.dbHome.database.dbUniqueName == STRING
    input.Body.properties.dbHome.database.name == STRING
    input.Body.properties.dbHome.database.ncharacterSet == STRING
    input.Body.properties.dbHome.database.properties.dbBackupConfig.autoBackupEnabled == BOOLEAN
    input.Body.properties.dbHome.database.properties.dbBackupConfig.autoFullBackupDay == enum_DbBackupConfigAutoFullBackupDay[_]
    input.Body.properties.dbHome.database.properties.dbBackupConfig.autoFullBackupWindow == enum_DbBackupConfigAutoFullBackupWindow[_]
    input.Body.properties.dbHome.database.properties.dbBackupConfig.autoIncrementalBackupWindow == enum_DbBackupConfigAutoIncrementalBackupWindow[_]
    input.Body.properties.dbHome.database.properties.dbBackupConfig.backupDeletionPolicy == enum_DbBackupConfigBackupDeletionPolicy[_]
    input.Body.properties.dbHome.database.properties.dbBackupConfig.backupDestinationDetails[_].type == enum_BackupDestinationDetailsType[_]
    input.Body.properties.dbHome.database.properties.dbBackupConfig.retentionPeriodDays == INTEGER
    input.Body.properties.dbHome.database.properties.dbVersion == STRING
    input.Body.properties.dbHome.database.tdeWalletPassword == STRING
    input.Body.properties.dbHome.dbVersion == STRING
    input.Body.properties.dbHome.displayName == STRING
    input.Body.properties.dbHome.isUnifiedAuditingEnabled == BOOLEAN
    input.Body.properties.dbSystemOptions.storageManagement == enum_DbSystemOptionsStorageManagement[_]
    input.Body.properties.domain == STRING
    input.Body.properties.hostnamePrefix == STRING
    input.Body.properties.initialDataStorageSizeGb == INTEGER
    input.Body.properties.licenseModel == enum_DbSystemPropertiesLicenseModel[_]
    input.Body.properties.memorySizeGb == INTEGER
    input.Body.properties.nodeCount == INTEGER
    input.Body.properties.privateIp == STRING
    input.Body.properties.recoStorageSizeGb == INTEGER
    input.Body.properties.shape == STRING
    input.Body.properties.sshPublicKeys[_] == STRING
    input.Body.properties.timeZone.id == STRING
    input.Body.properties.timeZone.version == STRING
    input.ReqMap.parent == STRING
    input.Qs.dbSystemId == 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
}

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

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

enum_ExadbVmClusterPropertiesLicenseModel := [ "LICENSE_MODEL_UNSPECIFIED", "LICENSE_INCLUDED", "BRING_YOUR_OWN_LICENSE" ]
enum_ExadbVmClusterPropertiesShapeAttribute := [ "SHAPE_ATTRIBUTE_UNSPECIFIED", "SMART_STORAGE", "BLOCK_STORAGE" ]

valid {
    input.Body.backupOdbSubnet == STRING
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.odbNetwork == STRING
    input.Body.odbSubnet == STRING
    input.Body.properties.additionalEcpuCountPerNode == INTEGER
    input.Body.properties.clusterName == STRING
    input.Body.properties.dataCollectionOptions.isDiagnosticsEventsEnabled == BOOLEAN
    input.Body.properties.dataCollectionOptions.isHealthMonitoringEnabled == BOOLEAN
    input.Body.properties.dataCollectionOptions.isIncidentLogsEnabled == BOOLEAN
    input.Body.properties.enabledEcpuCountPerNode == INTEGER
    input.Body.properties.exascaleDbStorageVault == STRING
    input.Body.properties.gridImageId == STRING
    input.Body.properties.hostnamePrefix == STRING
    input.Body.properties.licenseModel == enum_ExadbVmClusterPropertiesLicenseModel[_]
    input.Body.properties.nodeCount == INTEGER
    input.Body.properties.scanListenerPortTcp == INTEGER
    input.Body.properties.shapeAttribute == enum_ExadbVmClusterPropertiesShapeAttribute[_]
    input.Body.properties.sshPublicKeys[_] == STRING
    input.Body.properties.timeZone.id == STRING
    input.Body.properties.timeZone.version == STRING
    input.Body.properties.vmFileSystemStorage.sizeInGbsPerNode == INTEGER
    input.ReqMap.parent == STRING
    input.Qs.exadbVmClusterId == 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_ExadbVmClusterPropertiesLicenseModel := [ "LICENSE_MODEL_UNSPECIFIED", "LICENSE_INCLUDED", "BRING_YOUR_OWN_LICENSE" ]
enum_ExadbVmClusterPropertiesShapeAttribute := [ "SHAPE_ATTRIBUTE_UNSPECIFIED", "SMART_STORAGE", "BLOCK_STORAGE" ]

valid {
    input.Body.backupOdbSubnet == STRING
    input.Body.displayName == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.odbNetwork == STRING
    input.Body.odbSubnet == STRING
    input.Body.properties.additionalEcpuCountPerNode == INTEGER
    input.Body.properties.clusterName == STRING
    input.Body.properties.dataCollectionOptions.isDiagnosticsEventsEnabled == BOOLEAN
    input.Body.properties.dataCollectionOptions.isHealthMonitoringEnabled == BOOLEAN
    input.Body.properties.dataCollectionOptions.isIncidentLogsEnabled == BOOLEAN
    input.Body.properties.enabledEcpuCountPerNode == INTEGER
    input.Body.properties.exascaleDbStorageVault == STRING
    input.Body.properties.gridImageId == STRING
    input.Body.properties.hostnamePrefix == STRING
    input.Body.properties.licenseModel == enum_ExadbVmClusterPropertiesLicenseModel[_]
    input.Body.properties.nodeCount == INTEGER
    input.Body.properties.scanListenerPortTcp == INTEGER
    input.Body.properties.shapeAttribute == enum_ExadbVmClusterPropertiesShapeAttribute[_]
    input.Body.properties.sshPublicKeys[_] == STRING
    input.Body.properties.timeZone.id == STRING
    input.Body.properties.timeZone.version == STRING
    input.Body.properties.vmFileSystemStorage.sizeInGbsPerNode == INTEGER
    input.ReqMap.name == STRING
    input.Qs.requestId == STRING
    input.Qs.updateMask == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.hostnames[_] == STRING
    input.Body.requestId == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.displayName == STRING
    input.Body.gcpOracleZone == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.properties.additionalFlashCachePercent == INTEGER
    input.Body.properties.description == STRING
    input.Body.properties.exascaleDbStorageDetails.totalSizeGbs == INTEGER
    input.ReqMap.parent == STRING
    input.Qs.exascaleDbStorageVaultId == 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
}

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.ReqMap.parent == STRING
    input.Qs.filter == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.gcpOracleZone == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.network == STRING
    input.ReqMap.parent == STRING
    input.Qs.odbNetworkId == 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_OdbSubnetPurpose := [ "PURPOSE_UNSPECIFIED", "CLIENT_SUBNET", "BACKUP_SUBNET" ]

valid {
    input.Body.cidrRange == STRING
    input.Body.labels.STRING == STRING
    input.Body.name == STRING
    input.Body.purpose == enum_OdbSubnetPurpose[_]
    input.ReqMap.parent == STRING
    input.Qs.odbSubnetId == 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
}

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.Qs.returnPartialSuccess == BOOLEAN
    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
}