APPINTEGRATIONS

CreateApplication

valid {
    input.Body.Name == STRING
    input.Body.Namespace == STRING
    input.Body.Description == STRING
    input.Body.ApplicationSourceConfig.ExternalUrlConfig.AccessUrl == STRING
    input.Body.ApplicationSourceConfig.ExternalUrlConfig.ApprovedOrigins[_] == STRING
    input.Body.Subscriptions[_].Event == STRING
    input.Body.Subscriptions[_].Description == STRING
    input.Body.Publications[_].Event == STRING
    input.Body.Publications[_].Schema == STRING
    input.Body.Publications[_].Description == STRING
    input.Body.ClientToken == STRING
    input.Body.Tags.STRING == STRING
    input.Body.Permissions[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateDataIntegration

valid {
    input.Body.Name == STRING
    input.Body.Description == STRING
    input.Body.KmsKey == STRING
    input.Body.SourceURI == STRING
    input.Body.ScheduleConfig.FirstExecutionFrom == STRING
    input.Body.ScheduleConfig.Object == STRING
    input.Body.ScheduleConfig.ScheduleExpression == STRING
    input.Body.Tags.STRING == STRING
    input.Body.ClientToken == STRING
    input.Body.FileConfiguration.Folders[_] == STRING
    input.Body.FileConfiguration.Filters.STRING[_] == STRING
    input.Body.ObjectConfiguration.STRING.STRING[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateEventIntegration

valid {
    input.Body.Name == STRING
    input.Body.Description == STRING
    input.Body.EventFilter.Source == STRING
    input.Body.EventBridgeBus == STRING
    input.Body.ClientToken == STRING
    input.Body.Tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteApplication

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

DeleteDataIntegration

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

DeleteEventIntegration

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

GetApplication

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

GetDataIntegration

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

GetEventIntegration

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

ListApplicationAssociations

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

ListApplications

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

ListDataIntegrationAssociations

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

ListDataIntegrations

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

ListEventIntegrationAssociations

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

ListEventIntegrations

valid {
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    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
}

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.Name == STRING
    input.Body.Description == STRING
    input.Body.ApplicationSourceConfig.ExternalUrlConfig.AccessUrl == STRING
    input.Body.ApplicationSourceConfig.ExternalUrlConfig.ApprovedOrigins[_] == STRING
    input.Body.Subscriptions[_].Event == STRING
    input.Body.Subscriptions[_].Description == STRING
    input.Body.Publications[_].Event == STRING
    input.Body.Publications[_].Schema == STRING
    input.Body.Publications[_].Description == STRING
    input.Body.Permissions[_] == STRING
    input.ReqMap.ApplicationIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateDataIntegration

valid {
    input.Body.Name == STRING
    input.Body.Description == STRING
    input.ReqMap.Identifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateEventIntegration

valid {
    input.Body.Description == STRING
    input.ReqMap.Name == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}