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" ]

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.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.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.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
}

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
}

valid {
    input.Body.restoreTime == 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.cpuCount == INTEGER
    input.Body.properties.customerContacts[_].email == STRING
    input.Body.properties.dbNodeStorageSizeGb == INTEGER
    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.memorySizeGb == 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.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.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.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.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.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.name == 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.filter == 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.ProviderMetadata.Region == STRING
}