AcceptMarketplaceRegistration

valid {
    input.Body.marketplaceRegistrationToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateCloudAutonomousVmCluster

enum_DayOfWeekName := [ "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_LicenseModel := [ "BRING_YOUR_OWN_LICENSE", "LICENSE_INCLUDED" ]
enum_MonthName := [ "JANUARY", "FEBRUARY", "MARCH", "APRIL", "MAY", "JUNE", "JULY", "AUGUST", "SEPTEMBER", "OCTOBER", "NOVEMBER", "DECEMBER" ]
enum_PatchingModeType := [ "ROLLING", "NONROLLING" ]
enum_PreferenceType := [ "NO_PREFERENCE", "CUSTOM_PREFERENCE" ]

valid {
    input.Body.cloudExadataInfrastructureId == STRING
    input.Body.odbNetworkId == STRING
    input.Body.displayName == STRING
    input.Body.clientToken == STRING
    input.Body.autonomousDataStorageSizeInTBs == DOUBLE
    input.Body.cpuCoreCountPerNode == INTEGER
    input.Body.dbServers[_] == STRING
    input.Body.description == STRING
    input.Body.isMtlsEnabledVmCluster == BOOLEAN
    input.Body.licenseModel == enum_LicenseModel[_]
    input.Body.maintenanceWindow.customActionTimeoutInMins == INTEGER
    input.Body.maintenanceWindow.daysOfWeek[_].name == enum_DayOfWeekName[_]
    input.Body.maintenanceWindow.hoursOfDay[_] == INTEGER
    input.Body.maintenanceWindow.isCustomActionTimeoutEnabled == BOOLEAN
    input.Body.maintenanceWindow.leadTimeInWeeks == INTEGER
    input.Body.maintenanceWindow.months[_].name == enum_MonthName[_]
    input.Body.maintenanceWindow.patchingMode == enum_PatchingModeType[_]
    input.Body.maintenanceWindow.preference == enum_PreferenceType[_]
    input.Body.maintenanceWindow.skipRu == BOOLEAN
    input.Body.maintenanceWindow.weeksOfMonth[_] == INTEGER
    input.Body.memoryPerOracleComputeUnitInGBs == INTEGER
    input.Body.scanListenerPortNonTls == INTEGER
    input.Body.scanListenerPortTls == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.timeZone == STRING
    input.Body.totalContainerDatabases == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateCloudExadataInfrastructure

enum_DayOfWeekName := [ "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_MonthName := [ "JANUARY", "FEBRUARY", "MARCH", "APRIL", "MAY", "JUNE", "JULY", "AUGUST", "SEPTEMBER", "OCTOBER", "NOVEMBER", "DECEMBER" ]
enum_PatchingModeType := [ "ROLLING", "NONROLLING" ]
enum_PreferenceType := [ "NO_PREFERENCE", "CUSTOM_PREFERENCE" ]

valid {
    input.Body.displayName == STRING
    input.Body.shape == STRING
    input.Body.availabilityZone == STRING
    input.Body.availabilityZoneId == STRING
    input.Body.tags.STRING == STRING
    input.Body.computeCount == INTEGER
    input.Body.customerContactsToSendToOCI[_].email == STRING
    input.Body.maintenanceWindow.customActionTimeoutInMins == INTEGER
    input.Body.maintenanceWindow.daysOfWeek[_].name == enum_DayOfWeekName[_]
    input.Body.maintenanceWindow.hoursOfDay[_] == INTEGER
    input.Body.maintenanceWindow.isCustomActionTimeoutEnabled == BOOLEAN
    input.Body.maintenanceWindow.leadTimeInWeeks == INTEGER
    input.Body.maintenanceWindow.months[_].name == enum_MonthName[_]
    input.Body.maintenanceWindow.patchingMode == enum_PatchingModeType[_]
    input.Body.maintenanceWindow.preference == enum_PreferenceType[_]
    input.Body.maintenanceWindow.skipRu == BOOLEAN
    input.Body.maintenanceWindow.weeksOfMonth[_] == INTEGER
    input.Body.storageCount == INTEGER
    input.Body.clientToken == STRING
    input.Body.databaseServerType == STRING
    input.Body.storageServerType == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateCloudVmCluster

enum_LicenseModel := [ "BRING_YOUR_OWN_LICENSE", "LICENSE_INCLUDED" ]

valid {
    input.Body.cloudExadataInfrastructureId == STRING
    input.Body.cpuCoreCount == INTEGER
    input.Body.displayName == STRING
    input.Body.giVersion == STRING
    input.Body.hostname == STRING
    input.Body.sshPublicKeys[_] == STRING
    input.Body.odbNetworkId == STRING
    input.Body.clusterName == STRING
    input.Body.dataCollectionOptions.isDiagnosticsEventsEnabled == BOOLEAN
    input.Body.dataCollectionOptions.isHealthMonitoringEnabled == BOOLEAN
    input.Body.dataCollectionOptions.isIncidentLogsEnabled == BOOLEAN
    input.Body.dataStorageSizeInTBs == DOUBLE
    input.Body.dbNodeStorageSizeInGBs == INTEGER
    input.Body.dbServers[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.isLocalBackupEnabled == BOOLEAN
    input.Body.isSparseDiskgroupEnabled == BOOLEAN
    input.Body.licenseModel == enum_LicenseModel[_]
    input.Body.memorySizeInGBs == INTEGER
    input.Body.systemVersion == STRING
    input.Body.timeZone == STRING
    input.Body.clientToken == STRING
    input.Body.scanListenerPortTcp == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateOdbNetwork

enum_Access := [ "ENABLED", "DISABLED" ]

valid {
    input.Body.displayName == STRING
    input.Body.availabilityZone == STRING
    input.Body.availabilityZoneId == STRING
    input.Body.clientSubnetCidr == STRING
    input.Body.backupSubnetCidr == STRING
    input.Body.customDomainName == STRING
    input.Body.defaultDnsPrefix == STRING
    input.Body.clientToken == STRING
    input.Body.s3Access == enum_Access[_]
    input.Body.zeroEtlAccess == enum_Access[_]
    input.Body.s3PolicyDocument == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateOdbPeeringConnection

valid {
    input.Body.odbNetworkId == STRING
    input.Body.peerNetworkId == STRING
    input.Body.displayName == STRING
    input.Body.clientToken == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteCloudAutonomousVmCluster

valid {
    input.Body.cloudAutonomousVmClusterId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteCloudExadataInfrastructure

valid {
    input.Body.cloudExadataInfrastructureId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteCloudVmCluster

valid {
    input.Body.cloudVmClusterId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteOdbNetwork

valid {
    input.Body.odbNetworkId == STRING
    input.Body.deleteAssociatedResources == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteOdbPeeringConnection

valid {
    input.Body.odbPeeringConnectionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetCloudAutonomousVmCluster

valid {
    input.Body.cloudAutonomousVmClusterId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetCloudExadataInfrastructure

valid {
    input.Body.cloudExadataInfrastructureId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetCloudExadataInfrastructureUnallocatedResources

valid {
    input.Body.cloudExadataInfrastructureId == STRING
    input.Body.dbServers[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetCloudVmCluster

valid {
    input.Body.cloudVmClusterId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetDbNode

valid {
    input.Body.cloudVmClusterId == STRING
    input.Body.dbNodeId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetDbServer

valid {
    input.Body.cloudExadataInfrastructureId == STRING
    input.Body.dbServerId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetOciOnboardingStatus

valid {
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetOdbNetwork

valid {
    input.Body.odbNetworkId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetOdbPeeringConnection

valid {
    input.Body.odbPeeringConnectionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

InitializeService

valid {
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListAutonomousVirtualMachines

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.cloudAutonomousVmClusterId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListCloudAutonomousVmClusters

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.cloudExadataInfrastructureId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListCloudExadataInfrastructures

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListCloudVmClusters

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.cloudExadataInfrastructureId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDbNodes

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.cloudVmClusterId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDbServers

valid {
    input.Body.cloudExadataInfrastructureId == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDbSystemShapes

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.availabilityZone == STRING
    input.Body.availabilityZoneId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListGiVersions

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.shape == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListOdbNetworks

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListOdbPeeringConnections

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.odbNetworkId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSystemVersions

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.giVersion == STRING
    input.Body.shape == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

valid {
    input.Body.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RebootDbNode

valid {
    input.Body.cloudVmClusterId == STRING
    input.Body.dbNodeId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartDbNode

valid {
    input.Body.cloudVmClusterId == STRING
    input.Body.dbNodeId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopDbNode

valid {
    input.Body.cloudVmClusterId == STRING
    input.Body.dbNodeId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.resourceArn == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.Body.resourceArn == STRING
    input.Body.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateCloudExadataInfrastructure

enum_DayOfWeekName := [ "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_MonthName := [ "JANUARY", "FEBRUARY", "MARCH", "APRIL", "MAY", "JUNE", "JULY", "AUGUST", "SEPTEMBER", "OCTOBER", "NOVEMBER", "DECEMBER" ]
enum_PatchingModeType := [ "ROLLING", "NONROLLING" ]
enum_PreferenceType := [ "NO_PREFERENCE", "CUSTOM_PREFERENCE" ]

valid {
    input.Body.cloudExadataInfrastructureId == STRING
    input.Body.maintenanceWindow.customActionTimeoutInMins == INTEGER
    input.Body.maintenanceWindow.daysOfWeek[_].name == enum_DayOfWeekName[_]
    input.Body.maintenanceWindow.hoursOfDay[_] == INTEGER
    input.Body.maintenanceWindow.isCustomActionTimeoutEnabled == BOOLEAN
    input.Body.maintenanceWindow.leadTimeInWeeks == INTEGER
    input.Body.maintenanceWindow.months[_].name == enum_MonthName[_]
    input.Body.maintenanceWindow.patchingMode == enum_PatchingModeType[_]
    input.Body.maintenanceWindow.preference == enum_PreferenceType[_]
    input.Body.maintenanceWindow.skipRu == BOOLEAN
    input.Body.maintenanceWindow.weeksOfMonth[_] == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateOdbNetwork

enum_Access := [ "ENABLED", "DISABLED" ]

valid {
    input.Body.odbNetworkId == STRING
    input.Body.displayName == STRING
    input.Body.peeredCidrsToBeAdded[_] == STRING
    input.Body.peeredCidrsToBeRemoved[_] == STRING
    input.Body.s3Access == enum_Access[_]
    input.Body.zeroEtlAccess == enum_Access[_]
    input.Body.s3PolicyDocument == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}