CONNECTCAMPAIGNS

CreateCampaign

valid {
    input.Body.name == STRING
    input.Body.connectInstanceId == STRING
    input.Body.dialerConfig.progressiveDialerConfig.bandwidthAllocation == DOUBLE
    input.Body.dialerConfig.progressiveDialerConfig.dialingCapacity == DOUBLE
    input.Body.dialerConfig.predictiveDialerConfig.bandwidthAllocation == DOUBLE
    input.Body.dialerConfig.predictiveDialerConfig.dialingCapacity == DOUBLE
    input.Body.dialerConfig.agentlessDialerConfig.dialingCapacity == DOUBLE
    input.Body.outboundCallConfig.connectContactFlowId == STRING
    input.Body.outboundCallConfig.connectSourcePhoneNumber == STRING
    input.Body.outboundCallConfig.connectQueueId == STRING
    input.Body.outboundCallConfig.answerMachineDetectionConfig.enableAnswerMachineDetection == BOOLEAN
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteCampaign

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

DeleteConnectInstanceConfig

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

DeleteInstanceOnboardingJob

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

DescribeCampaign

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

GetCampaignState

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

GetCampaignStateBatch

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

GetConnectInstanceConfig

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

GetInstanceOnboardingJobStatus

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

ListCampaigns

enum_InstanceIdFilterOperator := [ "Eq" ]

valid {
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.filters.instanceIdFilter.value == STRING
    input.Body.filters.instanceIdFilter.operator == enum_InstanceIdFilterOperator[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

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

PauseCampaign

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

PutDialRequestBatch

valid {
    input.Body.dialRequests[_].clientToken == STRING
    input.Body.dialRequests[_].phoneNumber == STRING
    input.Body.dialRequests[_].expirationTime == TIMESTAMP
    input.Body.dialRequests[_].attributes.STRING == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ResumeCampaign

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

StartCampaign

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

StartInstanceOnboardingJob

enum_EncryptionType := [ "KMS" ]

valid {
    input.Body.encryptionConfig.enabled == BOOLEAN
    input.Body.encryptionConfig.encryptionType == enum_EncryptionType[_]
    input.Body.encryptionConfig.keyArn == STRING
    input.ReqMap.connectInstanceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopCampaign

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

TagResource

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

UntagResource

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

UpdateCampaignDialerConfig

valid {
    input.Body.dialerConfig.progressiveDialerConfig.bandwidthAllocation == DOUBLE
    input.Body.dialerConfig.progressiveDialerConfig.dialingCapacity == DOUBLE
    input.Body.dialerConfig.predictiveDialerConfig.bandwidthAllocation == DOUBLE
    input.Body.dialerConfig.predictiveDialerConfig.dialingCapacity == DOUBLE
    input.Body.dialerConfig.agentlessDialerConfig.dialingCapacity == DOUBLE
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateCampaignName

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

UpdateCampaignOutboundCallConfig

valid {
    input.Body.connectContactFlowId == STRING
    input.Body.connectSourcePhoneNumber == STRING
    input.Body.answerMachineDetectionConfig.enableAnswerMachineDetection == BOOLEAN
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}