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

valid {
    input.Body.clientToken == STRING
    input.ReqMap.quantumTaskArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AssociationType := [ "RESERVATION_TIME_WINDOW_ARN" ]
enum_CompressionType := [ "NONE", "GZIP" ]
enum_InstanceType := [ "ml.m4.xlarge", "ml.m4.2xlarge", "ml.m4.4xlarge", "ml.m4.10xlarge", "ml.m4.16xlarge", "ml.g4dn.xlarge", "ml.g4dn.2xlarge", "ml.g4dn.4xlarge", "ml.g4dn.8xlarge", "ml.g4dn.12xlarge", "ml.g4dn.16xlarge", "ml.m5.large", "ml.m5.xlarge", "ml.m5.2xlarge", "ml.m5.4xlarge", "ml.m5.12xlarge", "ml.m5.24xlarge", "ml.c4.xlarge", "ml.c4.2xlarge", "ml.c4.4xlarge", "ml.c4.8xlarge", "ml.p2.xlarge", "ml.p2.8xlarge", "ml.p2.16xlarge", "ml.p3.2xlarge", "ml.p3.8xlarge", "ml.p3.16xlarge", "ml.p3dn.24xlarge", "ml.p4d.24xlarge", "ml.c5.xlarge", "ml.c5.2xlarge", "ml.c5.4xlarge", "ml.c5.9xlarge", "ml.c5.18xlarge", "ml.c5n.xlarge", "ml.c5n.2xlarge", "ml.c5n.4xlarge", "ml.c5n.9xlarge", "ml.c5n.18xlarge" ]

valid {
    input.Body.algorithmSpecification.containerImage.uri == STRING
    input.Body.algorithmSpecification.scriptModeConfig.compressionType == enum_CompressionType[_]
    input.Body.algorithmSpecification.scriptModeConfig.entryPoint == STRING
    input.Body.algorithmSpecification.scriptModeConfig.s3Uri == STRING
    input.Body.associations[_].arn == STRING
    input.Body.associations[_].type == enum_AssociationType[_]
    input.Body.checkpointConfig.localPath == STRING
    input.Body.checkpointConfig.s3Uri == STRING
    input.Body.clientToken == STRING
    input.Body.deviceConfig.device == STRING
    input.Body.hyperParameters.STRING == STRING
    input.Body.inputDataConfig[_].channelName == STRING
    input.Body.inputDataConfig[_].contentType == STRING
    input.Body.inputDataConfig[_].dataSource.s3DataSource.s3Uri == STRING
    input.Body.instanceConfig.instanceCount == INTEGER
    input.Body.instanceConfig.instanceType == enum_InstanceType[_]
    input.Body.instanceConfig.volumeSizeInGb == INTEGER
    input.Body.jobName == STRING
    input.Body.outputDataConfig.kmsKeyId == STRING
    input.Body.outputDataConfig.s3Path == STRING
    input.Body.roleArn == STRING
    input.Body.stoppingCondition.maxRuntimeInSeconds == INTEGER
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AssociationType := [ "RESERVATION_TIME_WINDOW_ARN" ]

valid {
    input.Body.action == STRING
    input.Body.associations[_].arn == STRING
    input.Body.associations[_].type == enum_AssociationType[_]
    input.Body.clientToken == STRING
    input.Body.deviceArn == STRING
    input.Body.deviceParameters == STRING
    input.Body.jobToken == STRING
    input.Body.outputS3Bucket == STRING
    input.Body.outputS3KeyPrefix == STRING
    input.Body.shots == LONG
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

enum_HybridJobAdditionalAttributeName := [ "QueueInfo" ]

valid {
    input.ReqMap.jobArn == STRING
    input.Qs.additionalAttributeNames[_] == enum_HybridJobAdditionalAttributeName[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_QuantumTaskAdditionalAttributeName := [ "QueueInfo" ]

valid {
    input.ReqMap.quantumTaskArn == STRING
    input.Qs.additionalAttributeNames[_] == enum_QuantumTaskAdditionalAttributeName[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.filters[_].name == STRING
    input.Body.filters[_].values[_] == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_SearchJobsFilterOperator := [ "LT", "LTE", "EQUAL", "GT", "GTE", "BETWEEN", "CONTAINS" ]

valid {
    input.Body.filters[_].name == STRING
    input.Body.filters[_].operator == enum_SearchJobsFilterOperator[_]
    input.Body.filters[_].values[_] == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_SearchQuantumTasksFilterOperator := [ "LT", "LTE", "EQUAL", "GT", "GTE", "BETWEEN" ]

valid {
    input.Body.filters[_].name == STRING
    input.Body.filters[_].operator == enum_SearchQuantumTasksFilterOperator[_]
    input.Body.filters[_].values[_] == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

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

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