COGNITO-SYNC

BulkPublish

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

DeleteDataset

valid {
    input.ReqMap.IdentityPoolId == STRING
    input.ReqMap.IdentityId == STRING
    input.ReqMap.DatasetName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeDataset

valid {
    input.ReqMap.IdentityPoolId == STRING
    input.ReqMap.IdentityId == STRING
    input.ReqMap.DatasetName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeIdentityPoolUsage

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

DescribeIdentityUsage

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

GetBulkPublishDetails

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

GetCognitoEvents

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

GetIdentityPoolConfiguration

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

ListDatasets

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

ListIdentityPoolUsage

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

ListRecords

valid {
    input.ReqMap.IdentityPoolId == STRING
    input.ReqMap.IdentityId == STRING
    input.ReqMap.DatasetName == STRING
    input.Qs.lastSyncCount == LONG
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.syncSessionToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RegisterDevice

enum_Platform := [ "APNS", "APNS_SANDBOX", "GCM", "ADM" ]

valid {
    input.Body.Platform == enum_Platform[_]
    input.Body.Token == STRING
    input.ReqMap.IdentityPoolId == STRING
    input.ReqMap.IdentityId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

SetCognitoEvents

valid {
    input.Body.Events.STRING == STRING
    input.ReqMap.IdentityPoolId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

SetIdentityPoolConfiguration

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

valid {
    input.Body.PushSync.ApplicationArns[_] == STRING
    input.Body.PushSync.RoleArn == STRING
    input.Body.CognitoStreams.StreamName == STRING
    input.Body.CognitoStreams.RoleArn == STRING
    input.Body.CognitoStreams.StreamingStatus == enum_StreamingStatus[_]
    input.ReqMap.IdentityPoolId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

SubscribeToDataset

valid {
    input.ReqMap.IdentityPoolId == STRING
    input.ReqMap.IdentityId == STRING
    input.ReqMap.DatasetName == STRING
    input.ReqMap.DeviceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UnsubscribeFromDataset

valid {
    input.ReqMap.IdentityPoolId == STRING
    input.ReqMap.IdentityId == STRING
    input.ReqMap.DatasetName == STRING
    input.ReqMap.DeviceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateRecords

enum_Operation := [ "replace", "remove" ]

valid {
    input.Body.DeviceId == STRING
    input.Body.RecordPatches[_].Op == enum_Operation[_]
    input.Body.RecordPatches[_].Key == STRING
    input.Body.RecordPatches[_].Value == STRING
    input.Body.RecordPatches[_].SyncCount == LONG
    input.Body.RecordPatches[_].DeviceLastModifiedDate == TIMESTAMP
    input.Body.SyncSessionToken == STRING
    input.ReqMap.IdentityPoolId == STRING
    input.ReqMap.IdentityId == STRING
    input.ReqMap.DatasetName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}