AcceptEnvironmentAccountConnection

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

CancelComponentDeployment

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

CancelEnvironmentDeployment

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

CancelServiceInstanceDeployment

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

CancelServicePipelineDeployment

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

CreateComponent

valid {
    input.Body.clientToken == STRING
    input.Body.description == STRING
    input.Body.environmentName == STRING
    input.Body.manifest == STRING
    input.Body.name == STRING
    input.Body.serviceInstanceName == STRING
    input.Body.serviceName == STRING
    input.Body.serviceSpec == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.Body.templateFile == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateEnvironment

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]

valid {
    input.Body.codebuildRoleArn == STRING
    input.Body.componentRoleArn == STRING
    input.Body.description == STRING
    input.Body.environmentAccountConnectionId == STRING
    input.Body.name == STRING
    input.Body.protonServiceRoleArn == STRING
    input.Body.provisioningRepository.branch == STRING
    input.Body.provisioningRepository.name == STRING
    input.Body.provisioningRepository.provider == enum_RepositoryProvider[_]
    input.Body.spec == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.Body.templateMajorVersion == STRING
    input.Body.templateMinorVersion == STRING
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateEnvironmentAccountConnection

valid {
    input.Body.clientToken == STRING
    input.Body.codebuildRoleArn == STRING
    input.Body.componentRoleArn == STRING
    input.Body.environmentName == STRING
    input.Body.managementAccountId == STRING
    input.Body.roleArn == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateEnvironmentTemplate

enum_Provisioning := [ "CUSTOMER_MANAGED" ]

valid {
    input.Body.description == STRING
    input.Body.displayName == STRING
    input.Body.encryptionKey == STRING
    input.Body.name == STRING
    input.Body.provisioning == enum_Provisioning[_]
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateEnvironmentTemplateVersion

valid {
    input.Body.clientToken == STRING
    input.Body.description == STRING
    input.Body.majorVersion == STRING
    input.Body.source.s3.bucket == STRING
    input.Body.source.s3.key == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateRepository

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]

valid {
    input.Body.connectionArn == STRING
    input.Body.encryptionKey == STRING
    input.Body.name == STRING
    input.Body.provider == enum_RepositoryProvider[_]
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateService

valid {
    input.Body.branchName == STRING
    input.Body.description == STRING
    input.Body.name == STRING
    input.Body.repositoryConnectionArn == STRING
    input.Body.repositoryId == STRING
    input.Body.spec == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.Body.templateMajorVersion == STRING
    input.Body.templateMinorVersion == STRING
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateServiceInstance

valid {
    input.Body.clientToken == STRING
    input.Body.name == STRING
    input.Body.serviceName == STRING
    input.Body.spec == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.Body.templateMajorVersion == STRING
    input.Body.templateMinorVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateServiceSyncConfig

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]

valid {
    input.Body.branch == STRING
    input.Body.filePath == STRING
    input.Body.repositoryName == STRING
    input.Body.repositoryProvider == enum_RepositoryProvider[_]
    input.Body.serviceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateServiceTemplate

enum_Provisioning := [ "CUSTOMER_MANAGED" ]

valid {
    input.Body.description == STRING
    input.Body.displayName == STRING
    input.Body.encryptionKey == STRING
    input.Body.name == STRING
    input.Body.pipelineProvisioning == enum_Provisioning[_]
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateServiceTemplateVersion

enum_ServiceTemplateSupportedComponentSourceType := [ "DIRECTLY_DEFINED" ]

valid {
    input.Body.clientToken == STRING
    input.Body.compatibleEnvironmentTemplates[_].majorVersion == STRING
    input.Body.compatibleEnvironmentTemplates[_].templateName == STRING
    input.Body.description == STRING
    input.Body.majorVersion == STRING
    input.Body.source.s3.bucket == STRING
    input.Body.source.s3.key == STRING
    input.Body.supportedComponentSources[_] == enum_ServiceTemplateSupportedComponentSourceType[_]
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateTemplateSyncConfig

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]
enum_TemplateType := [ "ENVIRONMENT", "SERVICE" ]

valid {
    input.Body.branch == STRING
    input.Body.repositoryName == STRING
    input.Body.repositoryProvider == enum_RepositoryProvider[_]
    input.Body.subdirectory == STRING
    input.Body.templateName == STRING
    input.Body.templateType == enum_TemplateType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteComponent

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

DeleteDeployment

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

DeleteEnvironment

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

DeleteEnvironmentAccountConnection

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

DeleteEnvironmentTemplate

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

DeleteEnvironmentTemplateVersion

valid {
    input.Body.majorVersion == STRING
    input.Body.minorVersion == STRING
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteRepository

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]

valid {
    input.Body.name == STRING
    input.Body.provider == enum_RepositoryProvider[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteService

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

DeleteServiceSyncConfig

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

DeleteServiceTemplate

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

DeleteServiceTemplateVersion

valid {
    input.Body.majorVersion == STRING
    input.Body.minorVersion == STRING
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteTemplateSyncConfig

enum_TemplateType := [ "ENVIRONMENT", "SERVICE" ]

valid {
    input.Body.templateName == STRING
    input.Body.templateType == enum_TemplateType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetAccountSettings

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

GetComponent

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

GetDeployment

valid {
    input.Body.componentName == STRING
    input.Body.environmentName == STRING
    input.Body.id == STRING
    input.Body.serviceInstanceName == STRING
    input.Body.serviceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetEnvironment

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

GetEnvironmentAccountConnection

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

GetEnvironmentTemplate

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

GetEnvironmentTemplateVersion

valid {
    input.Body.majorVersion == STRING
    input.Body.minorVersion == STRING
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetRepository

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]

valid {
    input.Body.name == STRING
    input.Body.provider == enum_RepositoryProvider[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetRepositorySyncStatus

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]
enum_SyncType := [ "TEMPLATE_SYNC", "SERVICE_SYNC" ]

valid {
    input.Body.branch == STRING
    input.Body.repositoryName == STRING
    input.Body.repositoryProvider == enum_RepositoryProvider[_]
    input.Body.syncType == enum_SyncType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetResourcesSummary

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

GetService

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

GetServiceInstance

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

GetServiceInstanceSyncStatus

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

GetServiceSyncBlockerSummary

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

GetServiceSyncConfig

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

GetServiceTemplate

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

GetServiceTemplateVersion

valid {
    input.Body.majorVersion == STRING
    input.Body.minorVersion == STRING
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetTemplateSyncConfig

enum_TemplateType := [ "ENVIRONMENT", "SERVICE" ]

valid {
    input.Body.templateName == STRING
    input.Body.templateType == enum_TemplateType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetTemplateSyncStatus

enum_TemplateType := [ "ENVIRONMENT", "SERVICE" ]

valid {
    input.Body.templateName == STRING
    input.Body.templateType == enum_TemplateType[_]
    input.Body.templateVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListComponentOutputs

valid {
    input.Body.componentName == STRING
    input.Body.deploymentId == STRING
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListComponentProvisionedResources

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

ListComponents

valid {
    input.Body.environmentName == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.serviceInstanceName == STRING
    input.Body.serviceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDeployments

valid {
    input.Body.componentName == STRING
    input.Body.environmentName == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.serviceInstanceName == STRING
    input.Body.serviceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListEnvironmentAccountConnections

enum_EnvironmentAccountConnectionRequesterAccountType := [ "MANAGEMENT_ACCOUNT", "ENVIRONMENT_ACCOUNT" ]
enum_EnvironmentAccountConnectionStatus := [ "PENDING", "CONNECTED", "REJECTED" ]

valid {
    input.Body.environmentName == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.requestedBy == enum_EnvironmentAccountConnectionRequesterAccountType[_]
    input.Body.statuses[_] == enum_EnvironmentAccountConnectionStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListEnvironmentOutputs

valid {
    input.Body.deploymentId == STRING
    input.Body.environmentName == STRING
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListEnvironmentProvisionedResources

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

ListEnvironmentTemplateVersions

valid {
    input.Body.majorVersion == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListEnvironmentTemplates

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

ListEnvironments

valid {
    input.Body.environmentTemplates[_].majorVersion == STRING
    input.Body.environmentTemplates[_].templateName == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListRepositories

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

ListRepositorySyncDefinitions

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]
enum_SyncType := [ "TEMPLATE_SYNC", "SERVICE_SYNC" ]

valid {
    input.Body.nextToken == STRING
    input.Body.repositoryName == STRING
    input.Body.repositoryProvider == enum_RepositoryProvider[_]
    input.Body.syncType == enum_SyncType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServiceInstanceOutputs

valid {
    input.Body.deploymentId == STRING
    input.Body.nextToken == STRING
    input.Body.serviceInstanceName == STRING
    input.Body.serviceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServiceInstanceProvisionedResources

valid {
    input.Body.nextToken == STRING
    input.Body.serviceInstanceName == STRING
    input.Body.serviceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServiceInstances

enum_ListServiceInstancesFilterBy := [ "name", "deploymentStatus", "templateName", "serviceName", "deployedTemplateVersionStatus", "environmentName", "lastDeploymentAttemptedAtBefore", "lastDeploymentAttemptedAtAfter", "createdAtBefore", "createdAtAfter" ]
enum_ListServiceInstancesSortBy := [ "name", "deploymentStatus", "templateName", "serviceName", "environmentName", "lastDeploymentAttemptedAt", "createdAt" ]
enum_SortOrder := [ "ASCENDING", "DESCENDING" ]

valid {
    input.Body.filters[_].key == enum_ListServiceInstancesFilterBy[_]
    input.Body.filters[_].value == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.serviceName == STRING
    input.Body.sortBy == enum_ListServiceInstancesSortBy[_]
    input.Body.sortOrder == enum_SortOrder[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServicePipelineOutputs

valid {
    input.Body.deploymentId == STRING
    input.Body.nextToken == STRING
    input.Body.serviceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServicePipelineProvisionedResources

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

ListServiceTemplateVersions

valid {
    input.Body.majorVersion == STRING
    input.Body.maxResults == INTEGER
    input.Body.nextToken == STRING
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServiceTemplates

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

ListServices

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

ListTagsForResource

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

NotifyResourceDeploymentStatusChange

enum_ResourceDeploymentStatus := [ "IN_PROGRESS", "FAILED", "SUCCEEDED" ]

valid {
    input.Body.deploymentId == STRING
    input.Body.outputs[_].key == STRING
    input.Body.outputs[_].valueString == STRING
    input.Body.resourceArn == STRING
    input.Body.status == enum_ResourceDeploymentStatus[_]
    input.Body.statusMessage == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RejectEnvironmentAccountConnection

valid {
    input.Body.id == STRING
    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
}

UpdateAccountSettings

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]

valid {
    input.Body.deletePipelineProvisioningRepository == BOOLEAN
    input.Body.pipelineCodebuildRoleArn == STRING
    input.Body.pipelineProvisioningRepository.branch == STRING
    input.Body.pipelineProvisioningRepository.name == STRING
    input.Body.pipelineProvisioningRepository.provider == enum_RepositoryProvider[_]
    input.Body.pipelineServiceRoleArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateComponent

enum_ComponentDeploymentUpdateType := [ "NONE", "CURRENT_VERSION" ]

valid {
    input.Body.clientToken == STRING
    input.Body.deploymentType == enum_ComponentDeploymentUpdateType[_]
    input.Body.description == STRING
    input.Body.name == STRING
    input.Body.serviceInstanceName == STRING
    input.Body.serviceName == STRING
    input.Body.serviceSpec == STRING
    input.Body.templateFile == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateEnvironment

enum_DeploymentUpdateType := [ "NONE", "CURRENT_VERSION", "MINOR_VERSION", "MAJOR_VERSION" ]
enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]

valid {
    input.Body.codebuildRoleArn == STRING
    input.Body.componentRoleArn == STRING
    input.Body.deploymentType == enum_DeploymentUpdateType[_]
    input.Body.description == STRING
    input.Body.environmentAccountConnectionId == STRING
    input.Body.name == STRING
    input.Body.protonServiceRoleArn == STRING
    input.Body.provisioningRepository.branch == STRING
    input.Body.provisioningRepository.name == STRING
    input.Body.provisioningRepository.provider == enum_RepositoryProvider[_]
    input.Body.spec == STRING
    input.Body.templateMajorVersion == STRING
    input.Body.templateMinorVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateEnvironmentAccountConnection

valid {
    input.Body.codebuildRoleArn == STRING
    input.Body.componentRoleArn == STRING
    input.Body.id == STRING
    input.Body.roleArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateEnvironmentTemplate

valid {
    input.Body.description == STRING
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateEnvironmentTemplateVersion

enum_TemplateVersionStatus := [ "REGISTRATION_IN_PROGRESS", "REGISTRATION_FAILED", "DRAFT", "PUBLISHED" ]

valid {
    input.Body.description == STRING
    input.Body.majorVersion == STRING
    input.Body.minorVersion == STRING
    input.Body.status == enum_TemplateVersionStatus[_]
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateService

valid {
    input.Body.description == STRING
    input.Body.name == STRING
    input.Body.spec == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateServiceInstance

enum_DeploymentUpdateType := [ "NONE", "CURRENT_VERSION", "MINOR_VERSION", "MAJOR_VERSION" ]

valid {
    input.Body.clientToken == STRING
    input.Body.deploymentType == enum_DeploymentUpdateType[_]
    input.Body.name == STRING
    input.Body.serviceName == STRING
    input.Body.spec == STRING
    input.Body.templateMajorVersion == STRING
    input.Body.templateMinorVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateServicePipeline

enum_DeploymentUpdateType := [ "NONE", "CURRENT_VERSION", "MINOR_VERSION", "MAJOR_VERSION" ]

valid {
    input.Body.deploymentType == enum_DeploymentUpdateType[_]
    input.Body.serviceName == STRING
    input.Body.spec == STRING
    input.Body.templateMajorVersion == STRING
    input.Body.templateMinorVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateServiceSyncBlocker

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

UpdateServiceSyncConfig

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]

valid {
    input.Body.branch == STRING
    input.Body.filePath == STRING
    input.Body.repositoryName == STRING
    input.Body.repositoryProvider == enum_RepositoryProvider[_]
    input.Body.serviceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateServiceTemplate

valid {
    input.Body.description == STRING
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateServiceTemplateVersion

enum_ServiceTemplateSupportedComponentSourceType := [ "DIRECTLY_DEFINED" ]
enum_TemplateVersionStatus := [ "REGISTRATION_IN_PROGRESS", "REGISTRATION_FAILED", "DRAFT", "PUBLISHED" ]

valid {
    input.Body.compatibleEnvironmentTemplates[_].majorVersion == STRING
    input.Body.compatibleEnvironmentTemplates[_].templateName == STRING
    input.Body.description == STRING
    input.Body.majorVersion == STRING
    input.Body.minorVersion == STRING
    input.Body.status == enum_TemplateVersionStatus[_]
    input.Body.supportedComponentSources[_] == enum_ServiceTemplateSupportedComponentSourceType[_]
    input.Body.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateTemplateSyncConfig

enum_RepositoryProvider := [ "GITHUB", "GITHUB_ENTERPRISE", "BITBUCKET" ]
enum_TemplateType := [ "ENVIRONMENT", "SERVICE" ]

valid {
    input.Body.branch == STRING
    input.Body.repositoryName == STRING
    input.Body.repositoryProvider == enum_RepositoryProvider[_]
    input.Body.subdirectory == STRING
    input.Body.templateName == STRING
    input.Body.templateType == enum_TemplateType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}