CreateAlertManagerDefinition

valid {
    input.Body.clientToken == STRING
    input.Body.data == BLOB
    input.ReqMap.workspaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateLoggingConfiguration

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

CreateRuleGroupsNamespace

valid {
    input.Body.clientToken == STRING
    input.Body.data == BLOB
    input.Body.name == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.workspaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateScraper

valid {
    input.Body.alias == STRING
    input.Body.clientToken == STRING
    input.Body.destination.ampConfiguration.workspaceArn == STRING
    input.Body.scrapeConfiguration.configurationBlob == BLOB
    input.Body.source.eksConfiguration.clusterArn == STRING
    input.Body.source.eksConfiguration.securityGroupIds[_] == STRING
    input.Body.source.eksConfiguration.subnetIds[_] == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateWorkspace

valid {
    input.Body.alias == STRING
    input.Body.clientToken == STRING
    input.Body.kmsKeyArn == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteAlertManagerDefinition

valid {
    input.ReqMap.workspaceId == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteLoggingConfiguration

valid {
    input.ReqMap.workspaceId == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteRuleGroupsNamespace

valid {
    input.ReqMap.name == STRING
    input.ReqMap.workspaceId == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteScraper

valid {
    input.ReqMap.scraperId == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteWorkspace

valid {
    input.ReqMap.workspaceId == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeAlertManagerDefinition

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

DescribeLoggingConfiguration

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

DescribeRuleGroupsNamespace

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

DescribeScraper

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

DescribeWorkspace

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

GetDefaultScraperConfiguration

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

ListRuleGroupsNamespaces

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

ListScrapers

valid {
    input.Qs.filters.STRING[_] == STRING
    input.Qs.maxResults == INTEGER
    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
}

ListWorkspaces

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

PutAlertManagerDefinition

valid {
    input.Body.clientToken == STRING
    input.Body.data == BLOB
    input.ReqMap.workspaceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutRuleGroupsNamespace

valid {
    input.Body.clientToken == STRING
    input.Body.data == BLOB
    input.ReqMap.name == STRING
    input.ReqMap.workspaceId == 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
}

UpdateLoggingConfiguration

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

UpdateScraper

valid {
    input.Body.alias == STRING
    input.Body.clientToken == STRING
    input.Body.destination.ampConfiguration.workspaceArn == STRING
    input.Body.scrapeConfiguration.configurationBlob == BLOB
    input.ReqMap.scraperId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateWorkspaceAlias

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