WELLARCHITECTED
AssociateLenses
valid {
input.Body.LensAliases[_] == STRING
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
AssociateProfiles
valid {
input.Body.ProfileArns[_] == STRING
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateLensShare
valid {
input.Body.SharedWith == STRING
input.Body.ClientRequestToken == STRING
input.ReqMap.LensAlias == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateLensVersion
valid {
input.Body.LensVersion == STRING
input.Body.IsMajorVersion == BOOLEAN
input.Body.ClientRequestToken == STRING
input.ReqMap.LensAlias == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateMilestone
valid {
input.Body.MilestoneName == STRING
input.Body.ClientRequestToken == STRING
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateProfile
valid {
input.Body.ProfileName == STRING
input.Body.ProfileDescription == STRING
input.Body.ProfileQuestions[_].QuestionId == STRING
input.Body.ProfileQuestions[_].SelectedChoiceIds[_] == STRING
input.Body.ClientRequestToken == STRING
input.Body.Tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateProfileShare
valid {
input.Body.SharedWith == STRING
input.Body.ClientRequestToken == STRING
input.ReqMap.ProfileArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateReviewTemplate
valid {
input.Body.TemplateName == STRING
input.Body.Description == STRING
input.Body.Lenses[_] == STRING
input.Body.Notes == STRING
input.Body.Tags.STRING == STRING
input.Body.ClientRequestToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateTemplateShare
valid {
input.Body.SharedWith == STRING
input.Body.ClientRequestToken == STRING
input.ReqMap.TemplateArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateWorkload
enum_DefinitionType := [ "WORKLOAD_METADATA", "APP_REGISTRY" ]
enum_IssueManagementType := [ "AUTO", "MANUAL" ]
enum_TrustedAdvisorIntegrationStatus := [ "ENABLED", "DISABLED" ]
enum_WorkloadEnvironment := [ "PRODUCTION", "PREPRODUCTION" ]
enum_WorkloadIssueManagementStatus := [ "ENABLED", "DISABLED", "INHERIT" ]
valid {
input.Body.WorkloadName == STRING
input.Body.Description == STRING
input.Body.Environment == enum_WorkloadEnvironment[_]
input.Body.AccountIds[_] == STRING
input.Body.AwsRegions[_] == STRING
input.Body.NonAwsRegions[_] == STRING
input.Body.PillarPriorities[_] == STRING
input.Body.ArchitecturalDesign == STRING
input.Body.ReviewOwner == STRING
input.Body.IndustryType == STRING
input.Body.Industry == STRING
input.Body.Lenses[_] == STRING
input.Body.Notes == STRING
input.Body.ClientRequestToken == STRING
input.Body.Tags.STRING == STRING
input.Body.DiscoveryConfig.TrustedAdvisorIntegrationStatus == enum_TrustedAdvisorIntegrationStatus[_]
input.Body.DiscoveryConfig.WorkloadResourceDefinition[_] == enum_DefinitionType[_]
input.Body.Applications[_] == STRING
input.Body.ProfileArns[_] == STRING
input.Body.ReviewTemplateArns[_] == STRING
input.Body.JiraConfiguration.IssueManagementStatus == enum_WorkloadIssueManagementStatus[_]
input.Body.JiraConfiguration.IssueManagementType == enum_IssueManagementType[_]
input.Body.JiraConfiguration.JiraProjectKey == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateWorkloadShare
enum_PermissionType := [ "READONLY", "CONTRIBUTOR" ]
valid {
input.Body.SharedWith == STRING
input.Body.PermissionType == enum_PermissionType[_]
input.Body.ClientRequestToken == STRING
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteLens
enum_LensStatusType := [ "ALL", "DRAFT", "PUBLISHED" ]
valid {
input.ReqMap.LensAlias == STRING
input.Qs.ClientRequestToken == STRING
input.Qs.LensStatus == enum_LensStatusType[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteLensShare
valid {
input.ReqMap.ShareId == STRING
input.ReqMap.LensAlias == STRING
input.Qs.ClientRequestToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteProfile
valid {
input.ReqMap.ProfileArn == STRING
input.Qs.ClientRequestToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteProfileShare
valid {
input.ReqMap.ShareId == STRING
input.ReqMap.ProfileArn == STRING
input.Qs.ClientRequestToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteReviewTemplate
valid {
input.ReqMap.TemplateArn == STRING
input.Qs.ClientRequestToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteTemplateShare
valid {
input.ReqMap.ShareId == STRING
input.ReqMap.TemplateArn == STRING
input.Qs.ClientRequestToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteWorkload
valid {
input.ReqMap.WorkloadId == STRING
input.Qs.ClientRequestToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteWorkloadShare
valid {
input.ReqMap.ShareId == STRING
input.ReqMap.WorkloadId == STRING
input.Qs.ClientRequestToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DisassociateLenses
valid {
input.Body.LensAliases[_] == STRING
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DisassociateProfiles
valid {
input.Body.ProfileArns[_] == STRING
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ExportLens
valid {
input.ReqMap.LensAlias == STRING
input.Qs.LensVersion == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetAnswer
valid {
input.ReqMap.WorkloadId == STRING
input.ReqMap.LensAlias == STRING
input.ReqMap.QuestionId == STRING
input.Qs.MilestoneNumber == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetConsolidatedReport
enum_ReportFormat := [ "PDF", "JSON" ]
valid {
input.Qs.Format == enum_ReportFormat[_]
input.Qs.IncludeSharedResources == BOOLEAN
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetGlobalSettings
enum_ReportFormat := [ "PDF", "JSON" ]
valid {
input.Qs.Format == enum_ReportFormat[_]
input.Qs.IncludeSharedResources == BOOLEAN
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetLens
valid {
input.ReqMap.LensAlias == STRING
input.Qs.LensVersion == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetLensReview
valid {
input.ReqMap.WorkloadId == STRING
input.ReqMap.LensAlias == STRING
input.Qs.MilestoneNumber == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetLensReviewReport
valid {
input.ReqMap.WorkloadId == STRING
input.ReqMap.LensAlias == STRING
input.Qs.MilestoneNumber == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetLensVersionDifference
valid {
input.ReqMap.LensAlias == STRING
input.Qs.BaseLensVersion == STRING
input.Qs.TargetLensVersion == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetMilestone
valid {
input.ReqMap.WorkloadId == STRING
input.ReqMap.MilestoneNumber == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetProfile
valid {
input.ReqMap.ProfileArn == STRING
input.Qs.ProfileVersion == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetProfileTemplate
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetReviewTemplate
valid {
input.ReqMap.TemplateArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetReviewTemplateAnswer
valid {
input.ReqMap.TemplateArn == STRING
input.ReqMap.LensAlias == STRING
input.ReqMap.QuestionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetReviewTemplateLensReview
valid {
input.ReqMap.TemplateArn == STRING
input.ReqMap.LensAlias == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetWorkload
valid {
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ImportLens
valid {
input.Body.LensAlias == STRING
input.Body.JSONString == STRING
input.Body.ClientRequestToken == STRING
input.Body.Tags.STRING == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListAnswers
enum_QuestionPriority := [ "PRIORITIZED", "NONE" ]
valid {
input.ReqMap.WorkloadId == STRING
input.ReqMap.LensAlias == STRING
input.Qs.PillarId == STRING
input.Qs.MilestoneNumber == INTEGER
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.Qs.QuestionPriority == enum_QuestionPriority[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListCheckDetails
valid {
input.Body.NextToken == STRING
input.Body.MaxResults == INTEGER
input.Body.LensArn == STRING
input.Body.PillarId == STRING
input.Body.QuestionId == STRING
input.Body.ChoiceId == STRING
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListCheckSummaries
valid {
input.Body.NextToken == STRING
input.Body.MaxResults == INTEGER
input.Body.LensArn == STRING
input.Body.PillarId == STRING
input.Body.QuestionId == STRING
input.Body.ChoiceId == STRING
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListLensReviewImprovements
enum_QuestionPriority := [ "PRIORITIZED", "NONE" ]
valid {
input.ReqMap.WorkloadId == STRING
input.ReqMap.LensAlias == STRING
input.Qs.PillarId == STRING
input.Qs.MilestoneNumber == INTEGER
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.Qs.QuestionPriority == enum_QuestionPriority[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListLensReviews
valid {
input.ReqMap.WorkloadId == STRING
input.Qs.MilestoneNumber == INTEGER
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListLensShares
enum_ShareStatus := [ "ACCEPTED", "REJECTED", "PENDING", "REVOKED", "EXPIRED", "ASSOCIATING", "ASSOCIATED", "FAILED" ]
valid {
input.ReqMap.LensAlias == STRING
input.Qs.SharedWithPrefix == STRING
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.Qs.Status == enum_ShareStatus[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListLenses
enum_LensStatusType := [ "ALL", "DRAFT", "PUBLISHED" ]
enum_LensType := [ "AWS_OFFICIAL", "CUSTOM_SHARED", "CUSTOM_SELF" ]
valid {
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.Qs.LensType == enum_LensType[_]
input.Qs.LensStatus == enum_LensStatusType[_]
input.Qs.LensName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListMilestones
valid {
input.Body.NextToken == STRING
input.Body.MaxResults == INTEGER
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListNotifications
valid {
input.Body.WorkloadId == STRING
input.Body.NextToken == STRING
input.Body.MaxResults == INTEGER
input.Body.ResourceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListProfileNotifications
valid {
input.Qs.WorkloadId == STRING
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListProfileShares
enum_ShareStatus := [ "ACCEPTED", "REJECTED", "PENDING", "REVOKED", "EXPIRED", "ASSOCIATING", "ASSOCIATED", "FAILED" ]
valid {
input.ReqMap.ProfileArn == STRING
input.Qs.SharedWithPrefix == STRING
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.Qs.Status == enum_ShareStatus[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListProfiles
enum_ProfileOwnerType := [ "SELF", "SHARED" ]
valid {
input.Qs.ProfileNamePrefix == STRING
input.Qs.ProfileOwnerType == enum_ProfileOwnerType[_]
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListReviewTemplateAnswers
valid {
input.ReqMap.TemplateArn == STRING
input.ReqMap.LensAlias == STRING
input.Qs.PillarId == STRING
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListReviewTemplates
valid {
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListShareInvitations
enum_ShareResourceType := [ "WORKLOAD", "LENS", "PROFILE", "TEMPLATE" ]
valid {
input.Qs.WorkloadNamePrefix == STRING
input.Qs.LensNamePrefix == STRING
input.Qs.ShareResourceType == enum_ShareResourceType[_]
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.Qs.ProfileNamePrefix == STRING
input.Qs.TemplateNamePrefix == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListTagsForResource
valid {
input.ReqMap.WorkloadArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListTemplateShares
enum_ShareStatus := [ "ACCEPTED", "REJECTED", "PENDING", "REVOKED", "EXPIRED", "ASSOCIATING", "ASSOCIATED", "FAILED" ]
valid {
input.ReqMap.TemplateArn == STRING
input.Qs.SharedWithPrefix == STRING
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.Qs.Status == enum_ShareStatus[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListWorkloadShares
enum_ShareStatus := [ "ACCEPTED", "REJECTED", "PENDING", "REVOKED", "EXPIRED", "ASSOCIATING", "ASSOCIATED", "FAILED" ]
valid {
input.ReqMap.WorkloadId == STRING
input.Qs.SharedWithPrefix == STRING
input.Qs.NextToken == STRING
input.Qs.MaxResults == INTEGER
input.Qs.Status == enum_ShareStatus[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
ListWorkloads
valid {
input.Body.WorkloadNamePrefix == STRING
input.Body.NextToken == STRING
input.Body.MaxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
TagResource
valid {
input.Body.Tags.STRING == STRING
input.ReqMap.WorkloadArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UntagResource
valid {
input.ReqMap.WorkloadArn == STRING
input.Qs.tagKeys[_] == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateAnswer
enum_AnswerReason := [ "OUT_OF_SCOPE", "BUSINESS_PRIORITIES", "ARCHITECTURE_CONSTRAINTS", "OTHER", "NONE" ]
enum_ChoiceReason := [ "OUT_OF_SCOPE", "BUSINESS_PRIORITIES", "ARCHITECTURE_CONSTRAINTS", "OTHER", "NONE" ]
enum_ChoiceStatus := [ "SELECTED", "NOT_APPLICABLE", "UNSELECTED" ]
valid {
input.Body.SelectedChoices[_] == STRING
input.Body.ChoiceUpdates.STRING.Status == enum_ChoiceStatus[_]
input.Body.ChoiceUpdates.STRING.Reason == enum_ChoiceReason[_]
input.Body.ChoiceUpdates.STRING.Notes == STRING
input.Body.Notes == STRING
input.Body.IsApplicable == BOOLEAN
input.Body.Reason == enum_AnswerReason[_]
input.ReqMap.WorkloadId == STRING
input.ReqMap.LensAlias == STRING
input.ReqMap.QuestionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateGlobalSettings
enum_AccountJiraIssueManagementStatus := [ "ENABLED", "DISABLED" ]
enum_DiscoveryIntegrationStatus := [ "ENABLED", "DISABLED" ]
enum_IntegrationStatusInput := [ "NOT_CONFIGURED" ]
enum_IssueManagementType := [ "AUTO", "MANUAL" ]
enum_OrganizationSharingStatus := [ "ENABLED", "DISABLED" ]
valid {
input.Body.OrganizationSharingStatus == enum_OrganizationSharingStatus[_]
input.Body.DiscoveryIntegrationStatus == enum_DiscoveryIntegrationStatus[_]
input.Body.JiraConfiguration.IssueManagementStatus == enum_AccountJiraIssueManagementStatus[_]
input.Body.JiraConfiguration.IssueManagementType == enum_IssueManagementType[_]
input.Body.JiraConfiguration.JiraProjectKey == STRING
input.Body.JiraConfiguration.IntegrationStatus == enum_IntegrationStatusInput[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateIntegration
enum_IntegratingService := [ "JIRA" ]
valid {
input.Body.ClientRequestToken == STRING
input.Body.IntegratingService == enum_IntegratingService[_]
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateLensReview
valid {
input.Body.LensNotes == STRING
input.Body.PillarNotes.STRING == STRING
input.Body.JiraConfiguration.SelectedPillars[_].PillarId == STRING
input.Body.JiraConfiguration.SelectedPillars[_].SelectedQuestionIds[_] == STRING
input.ReqMap.WorkloadId == STRING
input.ReqMap.LensAlias == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateProfile
valid {
input.Body.ProfileDescription == STRING
input.Body.ProfileQuestions[_].QuestionId == STRING
input.Body.ProfileQuestions[_].SelectedChoiceIds[_] == STRING
input.ReqMap.ProfileArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateReviewTemplate
valid {
input.Body.TemplateName == STRING
input.Body.Description == STRING
input.Body.Notes == STRING
input.Body.LensesToAssociate[_] == STRING
input.Body.LensesToDisassociate[_] == STRING
input.ReqMap.TemplateArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateReviewTemplateAnswer
enum_AnswerReason := [ "OUT_OF_SCOPE", "BUSINESS_PRIORITIES", "ARCHITECTURE_CONSTRAINTS", "OTHER", "NONE" ]
enum_ChoiceReason := [ "OUT_OF_SCOPE", "BUSINESS_PRIORITIES", "ARCHITECTURE_CONSTRAINTS", "OTHER", "NONE" ]
enum_ChoiceStatus := [ "SELECTED", "NOT_APPLICABLE", "UNSELECTED" ]
valid {
input.Body.SelectedChoices[_] == STRING
input.Body.ChoiceUpdates.STRING.Status == enum_ChoiceStatus[_]
input.Body.ChoiceUpdates.STRING.Reason == enum_ChoiceReason[_]
input.Body.ChoiceUpdates.STRING.Notes == STRING
input.Body.Notes == STRING
input.Body.IsApplicable == BOOLEAN
input.Body.Reason == enum_AnswerReason[_]
input.ReqMap.TemplateArn == STRING
input.ReqMap.LensAlias == STRING
input.ReqMap.QuestionId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateReviewTemplateLensReview
valid {
input.Body.LensNotes == STRING
input.Body.PillarNotes.STRING == STRING
input.ReqMap.TemplateArn == STRING
input.ReqMap.LensAlias == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateShareInvitation
enum_ShareInvitationAction := [ "ACCEPT", "REJECT" ]
valid {
input.Body.ShareInvitationAction == enum_ShareInvitationAction[_]
input.ReqMap.ShareInvitationId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateWorkload
enum_DefinitionType := [ "WORKLOAD_METADATA", "APP_REGISTRY" ]
enum_IssueManagementType := [ "AUTO", "MANUAL" ]
enum_TrustedAdvisorIntegrationStatus := [ "ENABLED", "DISABLED" ]
enum_WorkloadEnvironment := [ "PRODUCTION", "PREPRODUCTION" ]
enum_WorkloadImprovementStatus := [ "NOT_APPLICABLE", "NOT_STARTED", "IN_PROGRESS", "COMPLETE", "RISK_ACKNOWLEDGED" ]
enum_WorkloadIssueManagementStatus := [ "ENABLED", "DISABLED", "INHERIT" ]
valid {
input.Body.WorkloadName == STRING
input.Body.Description == STRING
input.Body.Environment == enum_WorkloadEnvironment[_]
input.Body.AccountIds[_] == STRING
input.Body.AwsRegions[_] == STRING
input.Body.NonAwsRegions[_] == STRING
input.Body.PillarPriorities[_] == STRING
input.Body.ArchitecturalDesign == STRING
input.Body.ReviewOwner == STRING
input.Body.IsReviewOwnerUpdateAcknowledged == BOOLEAN
input.Body.IndustryType == STRING
input.Body.Industry == STRING
input.Body.Notes == STRING
input.Body.ImprovementStatus == enum_WorkloadImprovementStatus[_]
input.Body.DiscoveryConfig.TrustedAdvisorIntegrationStatus == enum_TrustedAdvisorIntegrationStatus[_]
input.Body.DiscoveryConfig.WorkloadResourceDefinition[_] == enum_DefinitionType[_]
input.Body.Applications[_] == STRING
input.Body.JiraConfiguration.IssueManagementStatus == enum_WorkloadIssueManagementStatus[_]
input.Body.JiraConfiguration.IssueManagementType == enum_IssueManagementType[_]
input.Body.JiraConfiguration.JiraProjectKey == STRING
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpdateWorkloadShare
enum_PermissionType := [ "READONLY", "CONTRIBUTOR" ]
valid {
input.Body.PermissionType == enum_PermissionType[_]
input.ReqMap.ShareId == STRING
input.ReqMap.WorkloadId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpgradeLensReview
valid {
input.Body.MilestoneName == STRING
input.Body.ClientRequestToken == STRING
input.ReqMap.WorkloadId == STRING
input.ReqMap.LensAlias == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpgradeProfileVersion
valid {
input.Body.MilestoneName == STRING
input.Body.ClientRequestToken == STRING
input.ReqMap.WorkloadId == STRING
input.ReqMap.ProfileArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
UpgradeReviewTemplateLensReview
valid {
input.Body.ClientRequestToken == STRING
input.ReqMap.TemplateArn == STRING
input.ReqMap.LensAlias == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
Updated 5 days ago