CancelBatchJobExecution

valid {
    input.Body.authSecretsManagerArn == STRING
    input.ReqMap.applicationId == STRING
    input.ReqMap.executionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateApplication

enum_EngineType := [ "microfocus", "bluage" ]

valid {
    input.Body.clientToken == STRING
    input.Body.definition.content == STRING
    input.Body.definition.s3Location == STRING
    input.Body.description == STRING
    input.Body.engineType == enum_EngineType[_]
    input.Body.kmsKeyId == STRING
    input.Body.name == STRING
    input.Body.roleArn == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDataSetImportTask

valid {
    input.Body.clientToken == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetName == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.gdg.limit == INTEGER
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.gdg.rollDisposition == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.po.encoding == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.po.format == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.po.memberFileExtensions[_] == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.ps.encoding == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.ps.format == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.vsam.alternateKeys[_].allowDuplicates == BOOLEAN
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.vsam.alternateKeys[_].length == INTEGER
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.vsam.alternateKeys[_].name == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.vsam.alternateKeys[_].offset == INTEGER
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.vsam.compressed == BOOLEAN
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.vsam.encoding == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.vsam.format == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.vsam.primaryKey.length == INTEGER
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.vsam.primaryKey.name == STRING
    input.Body.importConfig.dataSets[_].dataSet.datasetOrg.vsam.primaryKey.offset == INTEGER
    input.Body.importConfig.dataSets[_].dataSet.recordLength.max == INTEGER
    input.Body.importConfig.dataSets[_].dataSet.recordLength.min == INTEGER
    input.Body.importConfig.dataSets[_].dataSet.relativePath == STRING
    input.Body.importConfig.dataSets[_].dataSet.storageType == STRING
    input.Body.importConfig.dataSets[_].externalLocation.s3Location == STRING
    input.Body.importConfig.s3Location == STRING
    input.ReqMap.applicationId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDeployment

valid {
    input.Body.applicationVersion == INTEGER
    input.Body.clientToken == STRING
    input.Body.environmentId == STRING
    input.ReqMap.applicationId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateEnvironment

enum_EngineType := [ "microfocus", "bluage" ]
enum_NetworkType := [ "ipv4", "dual" ]

valid {
    input.Body.clientToken == STRING
    input.Body.description == STRING
    input.Body.engineType == enum_EngineType[_]
    input.Body.engineVersion == STRING
    input.Body.highAvailabilityConfig.desiredCapacity == INTEGER
    input.Body.instanceType == STRING
    input.Body.kmsKeyId == STRING
    input.Body.name == STRING
    input.Body.networkType == enum_NetworkType[_]
    input.Body.preferredMaintenanceWindow == STRING
    input.Body.publiclyAccessible == BOOLEAN
    input.Body.securityGroupIds[_] == STRING
    input.Body.storageConfigurations[_].efs.file-system-id == STRING
    input.Body.storageConfigurations[_].efs.mount-point == STRING
    input.Body.storageConfigurations[_].fsx.file-system-id == STRING
    input.Body.storageConfigurations[_].fsx.mount-point == STRING
    input.Body.subnetIds[_] == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteApplication

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

DeleteApplicationFromEnvironment

valid {
    input.ReqMap.applicationId == STRING
    input.ReqMap.environmentId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteEnvironment

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

GetApplication

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

GetApplicationVersion

valid {
    input.ReqMap.applicationId == STRING
    input.ReqMap.applicationVersion == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetBatchJobExecution

valid {
    input.ReqMap.applicationId == STRING
    input.ReqMap.executionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetDataSetDetails

valid {
    input.ReqMap.applicationId == STRING
    input.ReqMap.dataSetName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetDataSetImportTask

valid {
    input.ReqMap.applicationId == STRING
    input.ReqMap.taskId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetDeployment

valid {
    input.ReqMap.applicationId == STRING
    input.ReqMap.deploymentId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetEnvironment

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

GetSignedBluinsightsUrl

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

ListApplicationVersions

valid {
    input.ReqMap.applicationId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListApplications

valid {
    input.Qs.environmentId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.names[_] == STRING
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListBatchJobDefinitions

valid {
    input.ReqMap.applicationId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.prefix == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListBatchJobExecutions

enum_BatchJobExecutionStatus := [ "Submitting", "Holding", "Dispatching", "Running", "Cancelling", "Cancelled", "Succeeded", "Failed", "Purged", "Succeeded With Warning" ]

valid {
    input.ReqMap.applicationId == STRING
    input.Qs.executionIds[_] == STRING
    input.Qs.jobName == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.startedAfter == TIMESTAMP
    input.Qs.startedBefore == TIMESTAMP
    input.Qs.status == enum_BatchJobExecutionStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListBatchJobRestartPoints

valid {
    input.ReqMap.applicationId == STRING
    input.ReqMap.executionId == STRING
    input.Qs.authSecretsManagerArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDataSetImportHistory

valid {
    input.ReqMap.applicationId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDataSets

valid {
    input.ReqMap.applicationId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nameFilter == STRING
    input.Qs.nextToken == STRING
    input.Qs.prefix == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDeployments

valid {
    input.ReqMap.applicationId == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListEngineVersions

enum_EngineType := [ "microfocus", "bluage" ]

valid {
    input.Qs.engineType == enum_EngineType[_]
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListEnvironments

enum_EngineType := [ "microfocus", "bluage" ]

valid {
    input.Qs.engineType == enum_EngineType[_]
    input.Qs.maxResults == INTEGER
    input.Qs.names[_] == STRING
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

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

StartApplication

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

StartBatchJob

valid {
    input.Body.authSecretsManagerArn == STRING
    input.Body.batchJobIdentifier.fileBatchJobIdentifier.fileName == STRING
    input.Body.batchJobIdentifier.fileBatchJobIdentifier.folderPath == STRING
    input.Body.batchJobIdentifier.restartBatchJobIdentifier.executionId == STRING
    input.Body.batchJobIdentifier.restartBatchJobIdentifier.jobStepRestartMarker.fromProcStep == STRING
    input.Body.batchJobIdentifier.restartBatchJobIdentifier.jobStepRestartMarker.fromStep == STRING
    input.Body.batchJobIdentifier.restartBatchJobIdentifier.jobStepRestartMarker.toProcStep == STRING
    input.Body.batchJobIdentifier.restartBatchJobIdentifier.jobStepRestartMarker.toStep == STRING
    input.Body.batchJobIdentifier.s3BatchJobIdentifier.bucket == STRING
    input.Body.batchJobIdentifier.s3BatchJobIdentifier.identifier.fileName == STRING
    input.Body.batchJobIdentifier.s3BatchJobIdentifier.identifier.scriptName == STRING
    input.Body.batchJobIdentifier.s3BatchJobIdentifier.keyPrefix == STRING
    input.Body.batchJobIdentifier.scriptBatchJobIdentifier.scriptName == STRING
    input.Body.jobParams.STRING == STRING
    input.ReqMap.applicationId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopApplication

valid {
    input.Body.forceStop == BOOLEAN
    input.ReqMap.applicationId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

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

UntagResource

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

UpdateApplication

valid {
    input.Body.currentApplicationVersion == INTEGER
    input.Body.definition.content == STRING
    input.Body.definition.s3Location == STRING
    input.Body.description == STRING
    input.ReqMap.applicationId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateEnvironment

valid {
    input.Body.applyDuringMaintenanceWindow == BOOLEAN
    input.Body.desiredCapacity == INTEGER
    input.Body.engineVersion == STRING
    input.Body.forceUpdate == BOOLEAN
    input.Body.instanceType == STRING
    input.Body.preferredMaintenanceWindow == STRING
    input.ReqMap.environmentId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}