CreateDiscoverer

valid {
    input.Body.Description == STRING
    input.Body.SourceArn == STRING
    input.Body.CrossAccount == BOOLEAN
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateRegistry

valid {
    input.Body.Description == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.registryName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateSchema

enum_Type := [ "OpenApi3", "JSONSchemaDraft4" ]

valid {
    input.Body.Content == STRING
    input.Body.Description == STRING
    input.Body.tags.STRING == STRING
    input.Body.Type == enum_Type[_]
    input.ReqMap.registryName == STRING
    input.ReqMap.schemaName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteDiscoverer

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

DeleteRegistry

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

DeleteResourcePolicy

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

DeleteSchema

valid {
    input.ReqMap.registryName == STRING
    input.ReqMap.schemaName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteSchemaVersion

valid {
    input.ReqMap.registryName == STRING
    input.ReqMap.schemaName == STRING
    input.ReqMap.schemaVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeCodeBinding

valid {
    input.ReqMap.language == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.schemaName == STRING
    input.Qs.schemaVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DescribeDiscoverer

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

DescribeRegistry

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

DescribeSchema

valid {
    input.ReqMap.registryName == STRING
    input.ReqMap.schemaName == STRING
    input.Qs.schemaVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ExportSchema

valid {
    input.ReqMap.registryName == STRING
    input.ReqMap.schemaName == STRING
    input.Qs.schemaVersion == STRING
    input.Qs.type == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetCodeBindingSource

valid {
    input.ReqMap.language == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.schemaName == STRING
    input.Qs.schemaVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetDiscoveredSchema

enum_Type := [ "OpenApi3", "JSONSchemaDraft4" ]

valid {
    input.Body.Events[_] == STRING
    input.Body.Type == enum_Type[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetResourcePolicy

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

ListDiscoverers

valid {
    input.Qs.discovererIdPrefix == STRING
    input.Qs.limit == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.sourceArnPrefix == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListRegistries

valid {
    input.Qs.limit == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.registryNamePrefix == STRING
    input.Qs.scope == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSchemaVersions

valid {
    input.ReqMap.registryName == STRING
    input.ReqMap.schemaName == STRING
    input.Qs.limit == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSchemas

valid {
    input.ReqMap.registryName == STRING
    input.Qs.limit == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.schemaNamePrefix == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

valid {
    input.ReqMap.resource-arn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutCodeBinding

valid {
    input.ReqMap.language == STRING
    input.ReqMap.registryName == STRING
    input.ReqMap.schemaName == STRING
    input.Qs.schemaVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

PutResourcePolicy

valid {
    input.Body.Policy == STRING
    input.Body.RevisionId == STRING
    input.Qs.registryName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

SearchSchemas

valid {
    input.ReqMap.registryName == STRING
    input.Qs.keywords == STRING
    input.Qs.limit == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartDiscoverer

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

StopDiscoverer

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

TagResource

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.resource-arn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.ReqMap.resource-arn == STRING
    input.Qs.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateDiscoverer

valid {
    input.Body.Description == STRING
    input.Body.CrossAccount == BOOLEAN
    input.ReqMap.discovererId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateRegistry

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

UpdateSchema

enum_Type := [ "OpenApi3", "JSONSchemaDraft4" ]

valid {
    input.Body.ClientTokenId == STRING
    input.Body.Content == STRING
    input.Body.Description == STRING
    input.Body.Type == enum_Type[_]
    input.ReqMap.registryName == STRING
    input.ReqMap.schemaName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}