ECR-PUBLIC
BatchCheckLayerAvailability
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.Body.layerDigests[_] == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
BatchDeleteImage
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.Body.imageIds[_].imageDigest == STRING
input.Body.imageIds[_].imageTag == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CompleteLayerUpload
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.Body.uploadId == STRING
input.Body.layerDigests[_] == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
CreateRepository
valid {
input.Body.repositoryName == STRING
input.Body.catalogData.description == STRING
input.Body.catalogData.architectures[_] == STRING
input.Body.catalogData.operatingSystems[_] == STRING
input.Body.catalogData.logoImageBlob == BLOB
input.Body.catalogData.aboutText == STRING
input.Body.catalogData.usageText == STRING
input.Body.tags[_].Key == STRING
input.Body.tags[_].Value == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteRepository
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.Body.force == BOOLEAN
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DeleteRepositoryPolicy
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DescribeImageTags
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.Body.nextToken == STRING
input.Body.maxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DescribeImages
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.Body.imageIds[_].imageDigest == STRING
input.Body.imageIds[_].imageTag == STRING
input.Body.nextToken == STRING
input.Body.maxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DescribeRegistries
valid {
input.Body.nextToken == STRING
input.Body.maxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
DescribeRepositories
valid {
input.Body.registryId == STRING
input.Body.repositoryNames[_] == STRING
input.Body.nextToken == STRING
input.Body.maxResults == INTEGER
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetAuthorizationToken
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetRegistryCatalogData
valid {
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetRepositoryCatalogData
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
GetRepositoryPolicy
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
InitiateLayerUpload
valid {
input.Body.registryId == STRING
input.Body.repositoryName == 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
}
PutImage
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.Body.imageManifest == STRING
input.Body.imageManifestMediaType == STRING
input.Body.imageTag == STRING
input.Body.imageDigest == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
PutRegistryCatalogData
valid {
input.Body.displayName == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
PutRepositoryCatalogData
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.Body.catalogData.description == STRING
input.Body.catalogData.architectures[_] == STRING
input.Body.catalogData.operatingSystems[_] == STRING
input.Body.catalogData.logoImageBlob == BLOB
input.Body.catalogData.aboutText == STRING
input.Body.catalogData.usageText == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
SetRepositoryPolicy
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.Body.policyText == STRING
input.Body.force == BOOLEAN
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
}
UploadLayerPart
valid {
input.Body.registryId == STRING
input.Body.repositoryName == STRING
input.Body.uploadId == STRING
input.Body.partFirstByte == LONG
input.Body.partLastByte == LONG
input.Body.layerPartBlob == BLOB
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
Updated 5 days ago