ELASTICBEANSTALK

AbortEnvironmentUpdate

valid {
    input.Body.EnvironmentId == STRING
    input.Body.EnvironmentName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ApplyEnvironmentManagedAction

valid {
    input.Body.EnvironmentName == STRING
    input.Body.EnvironmentId == STRING
    input.Body.ActionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

AssociateEnvironmentOperationsRole

valid {
    input.Body.EnvironmentName == STRING
    input.Body.OperationsRole == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CheckDNSAvailability

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

ComposeEnvironments

valid {
    input.Body.ApplicationName == STRING
    input.Body.GroupName == STRING
    input.Body.VersionLabels[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateApplication

valid {
    input.Body.ApplicationName == STRING
    input.Body.Description == STRING
    input.Body.ResourceLifecycleConfig.ServiceRole == STRING
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxCountRule.Enabled == BOOLEAN
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxCountRule.MaxCount == INTEGER
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxCountRule.DeleteSourceFromS3 == BOOLEAN
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxAgeRule.Enabled == BOOLEAN
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxAgeRule.MaxAgeInDays == INTEGER
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxAgeRule.DeleteSourceFromS3 == BOOLEAN
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateApplicationVersion

enum_ComputeType := [ "BUILD_GENERAL1_SMALL", "BUILD_GENERAL1_MEDIUM", "BUILD_GENERAL1_LARGE" ]
enum_SourceRepository := [ "CodeCommit", "S3" ]
enum_SourceType := [ "Git", "Zip" ]

valid {
    input.Body.ApplicationName == STRING
    input.Body.VersionLabel == STRING
    input.Body.Description == STRING
    input.Body.SourceBuildInformation.SourceType == enum_SourceType[_]
    input.Body.SourceBuildInformation.SourceRepository == enum_SourceRepository[_]
    input.Body.SourceBuildInformation.SourceLocation == STRING
    input.Body.SourceBundle.S3Bucket == STRING
    input.Body.SourceBundle.S3Key == STRING
    input.Body.BuildConfiguration.ArtifactName == STRING
    input.Body.BuildConfiguration.CodeBuildServiceRole == STRING
    input.Body.BuildConfiguration.ComputeType == enum_ComputeType[_]
    input.Body.BuildConfiguration.Image == STRING
    input.Body.BuildConfiguration.TimeoutInMinutes == INTEGER
    input.Body.AutoCreateApplication == BOOLEAN
    input.Body.Process == BOOLEAN
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateConfigurationTemplate

valid {
    input.Body.ApplicationName == STRING
    input.Body.TemplateName == STRING
    input.Body.SolutionStackName == STRING
    input.Body.PlatformArn == STRING
    input.Body.SourceConfiguration.ApplicationName == STRING
    input.Body.SourceConfiguration.TemplateName == STRING
    input.Body.EnvironmentId == STRING
    input.Body.Description == STRING
    input.Body.OptionSettings[_].ResourceName == STRING
    input.Body.OptionSettings[_].Namespace == STRING
    input.Body.OptionSettings[_].OptionName == STRING
    input.Body.OptionSettings[_].Value == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateEnvironment

valid {
    input.Body.ApplicationName == STRING
    input.Body.EnvironmentName == STRING
    input.Body.GroupName == STRING
    input.Body.Description == STRING
    input.Body.CNAMEPrefix == STRING
    input.Body.Tier.Name == STRING
    input.Body.Tier.Type == STRING
    input.Body.Tier.Version == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.Body.VersionLabel == STRING
    input.Body.TemplateName == STRING
    input.Body.SolutionStackName == STRING
    input.Body.PlatformArn == STRING
    input.Body.OptionSettings[_].ResourceName == STRING
    input.Body.OptionSettings[_].Namespace == STRING
    input.Body.OptionSettings[_].OptionName == STRING
    input.Body.OptionSettings[_].Value == STRING
    input.Body.OptionsToRemove[_].ResourceName == STRING
    input.Body.OptionsToRemove[_].Namespace == STRING
    input.Body.OptionsToRemove[_].OptionName == STRING
    input.Body.OperationsRole == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreatePlatformVersion

valid {
    input.Body.PlatformName == STRING
    input.Body.PlatformVersion == STRING
    input.Body.PlatformDefinitionBundle.S3Bucket == STRING
    input.Body.PlatformDefinitionBundle.S3Key == STRING
    input.Body.EnvironmentName == STRING
    input.Body.OptionSettings[_].ResourceName == STRING
    input.Body.OptionSettings[_].Namespace == STRING
    input.Body.OptionSettings[_].OptionName == STRING
    input.Body.OptionSettings[_].Value == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateStorageLocation

valid {
    input.Body.PlatformName == STRING
    input.Body.PlatformVersion == STRING
    input.Body.PlatformDefinitionBundle.S3Bucket == STRING
    input.Body.PlatformDefinitionBundle.S3Key == STRING
    input.Body.EnvironmentName == STRING
    input.Body.OptionSettings[_].ResourceName == STRING
    input.Body.OptionSettings[_].Namespace == STRING
    input.Body.OptionSettings[_].OptionName == STRING
    input.Body.OptionSettings[_].Value == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteApplication

valid {
    input.Body.ApplicationName == STRING
    input.Body.TerminateEnvByForce == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteApplicationVersion

valid {
    input.Body.ApplicationName == STRING
    input.Body.VersionLabel == STRING
    input.Body.DeleteSourceBundle == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteConfigurationTemplate

valid {
    input.Body.ApplicationName == STRING
    input.Body.TemplateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteEnvironmentConfiguration

valid {
    input.Body.ApplicationName == STRING
    input.Body.EnvironmentName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeletePlatformVersion

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

DescribeAccountAttributes

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

DescribeApplicationVersions

valid {
    input.Body.ApplicationName == STRING
    input.Body.VersionLabels[_] == STRING
    input.Body.MaxRecords == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeApplications

valid {
    input.Body.ApplicationNames[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeConfigurationOptions

valid {
    input.Body.ApplicationName == STRING
    input.Body.TemplateName == STRING
    input.Body.EnvironmentName == STRING
    input.Body.SolutionStackName == STRING
    input.Body.PlatformArn == STRING
    input.Body.Options[_].ResourceName == STRING
    input.Body.Options[_].Namespace == STRING
    input.Body.Options[_].OptionName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeConfigurationSettings

valid {
    input.Body.ApplicationName == STRING
    input.Body.TemplateName == STRING
    input.Body.EnvironmentName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEnvironmentHealth

enum_EnvironmentHealthAttribute := [ "Status", "Color", "Causes", "ApplicationMetrics", "InstancesHealth", "All", "HealthStatus", "RefreshedAt" ]

valid {
    input.Body.EnvironmentName == STRING
    input.Body.EnvironmentId == STRING
    input.Body.AttributeNames[_] == enum_EnvironmentHealthAttribute[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEnvironmentManagedActionHistory

valid {
    input.Body.EnvironmentId == STRING
    input.Body.EnvironmentName == STRING
    input.Body.NextToken == STRING
    input.Body.MaxItems == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEnvironmentManagedActions

enum_ActionStatus := [ "Scheduled", "Pending", "Running", "Unknown" ]

valid {
    input.Body.EnvironmentName == STRING
    input.Body.EnvironmentId == STRING
    input.Body.Status == enum_ActionStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEnvironmentResources

valid {
    input.Body.EnvironmentId == STRING
    input.Body.EnvironmentName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEnvironments

valid {
    input.Body.ApplicationName == STRING
    input.Body.VersionLabel == STRING
    input.Body.EnvironmentIds[_] == STRING
    input.Body.EnvironmentNames[_] == STRING
    input.Body.IncludeDeleted == BOOLEAN
    input.Body.IncludedDeletedBackTo == TIMESTAMP
    input.Body.MaxRecords == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeEvents

enum_EventSeverity := [ "TRACE", "DEBUG", "INFO", "WARN", "ERROR", "FATAL" ]

valid {
    input.Body.ApplicationName == STRING
    input.Body.VersionLabel == STRING
    input.Body.TemplateName == STRING
    input.Body.EnvironmentId == STRING
    input.Body.EnvironmentName == STRING
    input.Body.PlatformArn == STRING
    input.Body.RequestId == STRING
    input.Body.Severity == enum_EventSeverity[_]
    input.Body.StartTime == TIMESTAMP
    input.Body.EndTime == TIMESTAMP
    input.Body.MaxRecords == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeInstancesHealth

enum_InstancesHealthAttribute := [ "HealthStatus", "Color", "Causes", "ApplicationMetrics", "RefreshedAt", "LaunchedAt", "System", "Deployment", "AvailabilityZone", "InstanceType", "All" ]

valid {
    input.Body.EnvironmentName == STRING
    input.Body.EnvironmentId == STRING
    input.Body.AttributeNames[_] == enum_InstancesHealthAttribute[_]
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribePlatformVersion

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

DisassociateEnvironmentOperationsRole

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

ListAvailableSolutionStacks

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

ListPlatformBranches

valid {
    input.Body.Filters[_].Attribute == STRING
    input.Body.Filters[_].Operator == STRING
    input.Body.Filters[_].Values[_] == STRING
    input.Body.MaxRecords == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListPlatformVersions

valid {
    input.Body.Filters[_].Type == STRING
    input.Body.Filters[_].Operator == STRING
    input.Body.Filters[_].Values[_] == STRING
    input.Body.MaxRecords == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

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

RebuildEnvironment

valid {
    input.Body.EnvironmentId == STRING
    input.Body.EnvironmentName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RequestEnvironmentInfo

enum_EnvironmentInfoType := [ "tail", "bundle" ]

valid {
    input.Body.EnvironmentId == STRING
    input.Body.EnvironmentName == STRING
    input.Body.InfoType == enum_EnvironmentInfoType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RestartAppServer

valid {
    input.Body.EnvironmentId == STRING
    input.Body.EnvironmentName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RetrieveEnvironmentInfo

enum_EnvironmentInfoType := [ "tail", "bundle" ]

valid {
    input.Body.EnvironmentId == STRING
    input.Body.EnvironmentName == STRING
    input.Body.InfoType == enum_EnvironmentInfoType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

SwapEnvironmentCNAMEs

valid {
    input.Body.SourceEnvironmentId == STRING
    input.Body.SourceEnvironmentName == STRING
    input.Body.DestinationEnvironmentId == STRING
    input.Body.DestinationEnvironmentName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TerminateEnvironment

valid {
    input.Body.EnvironmentId == STRING
    input.Body.EnvironmentName == STRING
    input.Body.TerminateResources == BOOLEAN
    input.Body.ForceTerminate == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateApplication

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

UpdateApplicationResourceLifecycle

valid {
    input.Body.ApplicationName == STRING
    input.Body.ResourceLifecycleConfig.ServiceRole == STRING
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxCountRule.Enabled == BOOLEAN
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxCountRule.MaxCount == INTEGER
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxCountRule.DeleteSourceFromS3 == BOOLEAN
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxAgeRule.Enabled == BOOLEAN
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxAgeRule.MaxAgeInDays == INTEGER
    input.Body.ResourceLifecycleConfig.VersionLifecycleConfig.MaxAgeRule.DeleteSourceFromS3 == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateApplicationVersion

valid {
    input.Body.ApplicationName == STRING
    input.Body.VersionLabel == STRING
    input.Body.Description == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateConfigurationTemplate

valid {
    input.Body.ApplicationName == STRING
    input.Body.TemplateName == STRING
    input.Body.Description == STRING
    input.Body.OptionSettings[_].ResourceName == STRING
    input.Body.OptionSettings[_].Namespace == STRING
    input.Body.OptionSettings[_].OptionName == STRING
    input.Body.OptionSettings[_].Value == STRING
    input.Body.OptionsToRemove[_].ResourceName == STRING
    input.Body.OptionsToRemove[_].Namespace == STRING
    input.Body.OptionsToRemove[_].OptionName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateEnvironment

valid {
    input.Body.ApplicationName == STRING
    input.Body.EnvironmentId == STRING
    input.Body.EnvironmentName == STRING
    input.Body.GroupName == STRING
    input.Body.Description == STRING
    input.Body.Tier.Name == STRING
    input.Body.Tier.Type == STRING
    input.Body.Tier.Version == STRING
    input.Body.VersionLabel == STRING
    input.Body.TemplateName == STRING
    input.Body.SolutionStackName == STRING
    input.Body.PlatformArn == STRING
    input.Body.OptionSettings[_].ResourceName == STRING
    input.Body.OptionSettings[_].Namespace == STRING
    input.Body.OptionSettings[_].OptionName == STRING
    input.Body.OptionSettings[_].Value == STRING
    input.Body.OptionsToRemove[_].ResourceName == STRING
    input.Body.OptionsToRemove[_].Namespace == STRING
    input.Body.OptionsToRemove[_].OptionName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateTagsForResource

valid {
    input.Body.ResourceArn == STRING
    input.Body.TagsToAdd[_].Key == STRING
    input.Body.TagsToAdd[_].Value == STRING
    input.Body.TagsToRemove[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ValidateConfigurationSettings

valid {
    input.Body.ApplicationName == STRING
    input.Body.TemplateName == STRING
    input.Body.EnvironmentName == STRING
    input.Body.OptionSettings[_].ResourceName == STRING
    input.Body.OptionSettings[_].Namespace == STRING
    input.Body.OptionSettings[_].OptionName == STRING
    input.Body.OptionSettings[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}