CODECATALYST

CreateAccessToken

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

CreateDevEnvironment

enum_InstanceType := [ "dev.standard1.small", "dev.standard1.medium", "dev.standard1.large", "dev.standard1.xlarge" ]

valid {
    input.Body.repositories[_].repositoryName == STRING
    input.Body.repositories[_].branchName == STRING
    input.Body.clientToken == STRING
    input.Body.alias == STRING
    input.Body.ides[_].runtime == STRING
    input.Body.ides[_].name == STRING
    input.Body.instanceType == enum_InstanceType[_]
    input.Body.inactivityTimeoutMinutes == INTEGER
    input.Body.persistentStorage.sizeInGiB == INTEGER
    input.Body.vpcConnectionName == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateProject

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

CreateSourceRepository

valid {
    input.Body.description == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateSourceRepositoryBranch

valid {
    input.Body.headCommitId == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.sourceRepositoryName == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteAccessToken

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

DeleteDevEnvironment

valid {
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteProject

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

DeleteSourceRepository

valid {
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteSpace

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

GetDevEnvironment

valid {
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetProject

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

GetSourceRepository

valid {
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetSourceRepositoryCloneUrls

valid {
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.sourceRepositoryName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetSpace

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

GetSubscription

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

GetUserDetails

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

GetWorkflow

valid {
    input.ReqMap.spaceName == STRING
    input.ReqMap.id == STRING
    input.ReqMap.projectName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetWorkflowRun

valid {
    input.ReqMap.spaceName == STRING
    input.ReqMap.id == STRING
    input.ReqMap.projectName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListAccessTokens

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

ListDevEnvironmentSessions

valid {
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.devEnvironmentId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDevEnvironments

valid {
    input.Body.projectName == STRING
    input.Body.filters[_].key == STRING
    input.Body.filters[_].values[_] == STRING
    input.Body.filters[_].comparisonOperator == STRING
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ReqMap.spaceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListEventLogs

valid {
    input.Body.startTime == TIMESTAMP
    input.Body.endTime == TIMESTAMP
    input.Body.eventName == STRING
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ReqMap.spaceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListProjects

enum_ComparisonOperator := [ "EQ", "GT", "GE", "LT", "LE", "BEGINS_WITH" ]
enum_FilterKey := [ "hasAccessTo", "name" ]

valid {
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.Body.filters[_].key == enum_FilterKey[_]
    input.Body.filters[_].values[_] == STRING
    input.Body.filters[_].comparisonOperator == enum_ComparisonOperator[_]
    input.ReqMap.spaceName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSourceRepositories

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

ListSourceRepositoryBranches

valid {
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.sourceRepositoryName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListSpaces

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

ListWorkflowRuns

valid {
    input.Body.sortBy[_] == {}
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.Qs.workflowId == STRING
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListWorkflows

valid {
    input.Body.sortBy[_] == {}
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartDevEnvironment

enum_InstanceType := [ "dev.standard1.small", "dev.standard1.medium", "dev.standard1.large", "dev.standard1.xlarge" ]

valid {
    input.Body.ides[_].runtime == STRING
    input.Body.ides[_].name == STRING
    input.Body.instanceType == enum_InstanceType[_]
    input.Body.inactivityTimeoutMinutes == INTEGER
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartDevEnvironmentSession

enum_DevEnvironmentSessionType := [ "SSM", "SSH" ]

valid {
    input.Body.sessionConfiguration.sessionType == enum_DevEnvironmentSessionType[_]
    input.Body.sessionConfiguration.executeCommandSessionConfiguration.command == STRING
    input.Body.sessionConfiguration.executeCommandSessionConfiguration.arguments[_] == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartWorkflowRun

valid {
    input.Body.clientToken == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.Qs.workflowId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopDevEnvironment

valid {
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StopDevEnvironmentSession

valid {
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.id == STRING
    input.ReqMap.sessionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateDevEnvironment

enum_InstanceType := [ "dev.standard1.small", "dev.standard1.medium", "dev.standard1.large", "dev.standard1.xlarge" ]

valid {
    input.Body.alias == STRING
    input.Body.ides[_].runtime == STRING
    input.Body.ides[_].name == STRING
    input.Body.instanceType == enum_InstanceType[_]
    input.Body.inactivityTimeoutMinutes == INTEGER
    input.Body.clientToken == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateProject

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

UpdateSpace

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

VerifySession

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

Updated 8 days ago