XRAY
BatchGetTraces
valid {
input.Body.TraceIds[_] == STRING
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}CancelTraceRetrieval
valid {
input.Body.RetrievalToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}CreateGroup
valid {
input.Body.GroupName == STRING
input.Body.FilterExpression == STRING
input.Body.InsightsConfiguration.InsightsEnabled == BOOLEAN
input.Body.InsightsConfiguration.NotificationsEnabled == BOOLEAN
input.Body.Tags[_].Key == STRING
input.Body.Tags[_].Value == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}CreateSamplingRule
valid {
input.Body.SamplingRule.RuleName == STRING
input.Body.SamplingRule.RuleARN == STRING
input.Body.SamplingRule.ResourceARN == STRING
input.Body.SamplingRule.Priority == INTEGER
input.Body.SamplingRule.FixedRate == DOUBLE
input.Body.SamplingRule.ReservoirSize == INTEGER
input.Body.SamplingRule.ServiceName == STRING
input.Body.SamplingRule.ServiceType == STRING
input.Body.SamplingRule.Host == STRING
input.Body.SamplingRule.HTTPMethod == STRING
input.Body.SamplingRule.URLPath == STRING
input.Body.SamplingRule.Version == INTEGER
input.Body.SamplingRule.Attributes.STRING == STRING
input.Body.SamplingRule.SamplingRateBoost.MaxRate == DOUBLE
input.Body.SamplingRule.SamplingRateBoost.CooldownWindowMinutes == INTEGER
input.Body.Tags[_].Key == STRING
input.Body.Tags[_].Value == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteGroup
valid {
input.Body.GroupName == STRING
input.Body.GroupARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteResourcePolicy
valid {
input.Body.PolicyName == STRING
input.Body.PolicyRevisionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteSamplingRule
valid {
input.Body.RuleName == STRING
input.Body.RuleARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetEncryptionConfig
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetGroup
valid {
input.Body.GroupName == STRING
input.Body.GroupARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetGroups
valid {
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetIndexingRules
valid {
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetInsight
valid {
input.Body.InsightId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetInsightEvents
valid {
input.Body.InsightId == STRING
input.Body.MaxResults == INTEGER
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetInsightImpactGraph
valid {
input.Body.InsightId == STRING
input.Body.StartTime == TIMESTAMP
input.Body.EndTime == TIMESTAMP
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetInsightSummaries
enum_InsightState := [ "ACTIVE", "CLOSED" ]
valid {
input.Body.States[_] == enum_InsightState[_]
input.Body.GroupARN == STRING
input.Body.GroupName == STRING
input.Body.StartTime == TIMESTAMP
input.Body.EndTime == TIMESTAMP
input.Body.MaxResults == INTEGER
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetRetrievedTracesGraph
valid {
input.Body.RetrievalToken == STRING
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetSamplingRules
valid {
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetSamplingStatisticSummaries
valid {
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetSamplingTargets
valid {
input.Body.SamplingStatisticsDocuments[_].RuleName == STRING
input.Body.SamplingStatisticsDocuments[_].ClientID == STRING
input.Body.SamplingStatisticsDocuments[_].Timestamp == TIMESTAMP
input.Body.SamplingStatisticsDocuments[_].RequestCount == INTEGER
input.Body.SamplingStatisticsDocuments[_].SampledCount == INTEGER
input.Body.SamplingStatisticsDocuments[_].BorrowCount == INTEGER
input.Body.SamplingBoostStatisticsDocuments[_].RuleName == STRING
input.Body.SamplingBoostStatisticsDocuments[_].ServiceName == STRING
input.Body.SamplingBoostStatisticsDocuments[_].Timestamp == TIMESTAMP
input.Body.SamplingBoostStatisticsDocuments[_].AnomalyCount == INTEGER
input.Body.SamplingBoostStatisticsDocuments[_].TotalCount == INTEGER
input.Body.SamplingBoostStatisticsDocuments[_].SampledAnomalyCount == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetServiceGraph
valid {
input.Body.StartTime == TIMESTAMP
input.Body.EndTime == TIMESTAMP
input.Body.GroupName == STRING
input.Body.GroupARN == STRING
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTimeSeriesServiceStatistics
valid {
input.Body.StartTime == TIMESTAMP
input.Body.EndTime == TIMESTAMP
input.Body.GroupName == STRING
input.Body.GroupARN == STRING
input.Body.EntitySelectorExpression == STRING
input.Body.Period == INTEGER
input.Body.ForecastStatistics == BOOLEAN
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTraceGraph
valid {
input.Body.TraceIds[_] == STRING
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTraceSegmentDestination
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetTraceSummaries
enum_SamplingStrategyName := [ "PartialScan", "FixedRate" ]
enum_TimeRangeType := [ "TraceId", "Event", "Service" ]
valid {
input.Body.StartTime == TIMESTAMP
input.Body.EndTime == TIMESTAMP
input.Body.TimeRangeType == enum_TimeRangeType[_]
input.Body.Sampling == BOOLEAN
input.Body.SamplingStrategy.Name == enum_SamplingStrategyName[_]
input.Body.SamplingStrategy.Value == DOUBLE
input.Body.FilterExpression == STRING
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListResourcePolicies
valid {
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListRetrievedTraces
enum_TraceFormatType := [ "XRAY", "OTEL" ]
valid {
input.Body.RetrievalToken == STRING
input.Body.TraceFormat == enum_TraceFormatType[_]
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListTagsForResource
valid {
input.Body.ResourceARN == STRING
input.Body.NextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}PutEncryptionConfig
enum_EncryptionType := [ "NONE", "KMS" ]
valid {
input.Body.KeyId == STRING
input.Body.Type == enum_EncryptionType[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}PutResourcePolicy
valid {
input.Body.PolicyName == STRING
input.Body.PolicyDocument == STRING
input.Body.PolicyRevisionId == STRING
input.Body.BypassPolicyLockoutCheck == BOOLEAN
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}PutTelemetryRecords
valid {
input.Body.TelemetryRecords[_].Timestamp == TIMESTAMP
input.Body.TelemetryRecords[_].SegmentsReceivedCount == INTEGER
input.Body.TelemetryRecords[_].SegmentsSentCount == INTEGER
input.Body.TelemetryRecords[_].SegmentsSpilloverCount == INTEGER
input.Body.TelemetryRecords[_].SegmentsRejectedCount == INTEGER
input.Body.TelemetryRecords[_].BackendConnectionErrors.TimeoutCount == INTEGER
input.Body.TelemetryRecords[_].BackendConnectionErrors.ConnectionRefusedCount == INTEGER
input.Body.TelemetryRecords[_].BackendConnectionErrors.HTTPCode4XXCount == INTEGER
input.Body.TelemetryRecords[_].BackendConnectionErrors.HTTPCode5XXCount == INTEGER
input.Body.TelemetryRecords[_].BackendConnectionErrors.UnknownHostCount == INTEGER
input.Body.TelemetryRecords[_].BackendConnectionErrors.OtherCount == INTEGER
input.Body.EC2InstanceId == STRING
input.Body.Hostname == STRING
input.Body.ResourceARN == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}PutTraceSegments
valid {
input.Body.TraceSegmentDocuments[_] == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}StartTraceRetrieval
valid {
input.Body.TraceIds[_] == STRING
input.Body.StartTime == TIMESTAMP
input.Body.EndTime == TIMESTAMP
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}TagResource
valid {
input.Body.ResourceARN == STRING
input.Body.Tags[_].Key == STRING
input.Body.Tags[_].Value == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UntagResource
valid {
input.Body.ResourceARN == STRING
input.Body.TagKeys[_] == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UpdateGroup
valid {
input.Body.GroupName == STRING
input.Body.GroupARN == STRING
input.Body.FilterExpression == STRING
input.Body.InsightsConfiguration.InsightsEnabled == BOOLEAN
input.Body.InsightsConfiguration.NotificationsEnabled == BOOLEAN
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UpdateIndexingRule
valid {
input.Body.Name == STRING
input.Body.Rule.Probabilistic.DesiredSamplingPercentage == DOUBLE
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UpdateSamplingRule
valid {
input.Body.SamplingRuleUpdate.RuleName == STRING
input.Body.SamplingRuleUpdate.RuleARN == STRING
input.Body.SamplingRuleUpdate.ResourceARN == STRING
input.Body.SamplingRuleUpdate.Priority == INTEGER
input.Body.SamplingRuleUpdate.FixedRate == DOUBLE
input.Body.SamplingRuleUpdate.ReservoirSize == INTEGER
input.Body.SamplingRuleUpdate.Host == STRING
input.Body.SamplingRuleUpdate.ServiceName == STRING
input.Body.SamplingRuleUpdate.ServiceType == STRING
input.Body.SamplingRuleUpdate.HTTPMethod == STRING
input.Body.SamplingRuleUpdate.URLPath == STRING
input.Body.SamplingRuleUpdate.Attributes.STRING == STRING
input.Body.SamplingRuleUpdate.SamplingRateBoost.MaxRate == DOUBLE
input.Body.SamplingRuleUpdate.SamplingRateBoost.CooldownWindowMinutes == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UpdateTraceSegmentDestination
enum_TraceSegmentDestination := [ "XRay", "CloudWatchLogs" ]
valid {
input.Body.Destination == enum_TraceSegmentDestination[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}Updated 17 days ago