AssociateTeamMember

valid {
    input.Body.projectId == STRING
    input.Body.clientRequestToken == STRING
    input.Body.userArn == STRING
    input.Body.projectRole == STRING
    input.Body.remoteAccessAllowed == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateProject

valid {
    input.Body.name == STRING
    input.Body.id == STRING
    input.Body.description == STRING
    input.Body.clientRequestToken == STRING
    input.Body.sourceCode[_].source.s3.bucketName == STRING
    input.Body.sourceCode[_].source.s3.bucketKey == STRING
    input.Body.sourceCode[_].destination.codeCommit.name == STRING
    input.Body.sourceCode[_].destination.gitHub.name == STRING
    input.Body.sourceCode[_].destination.gitHub.description == STRING
    input.Body.sourceCode[_].destination.gitHub.type == STRING
    input.Body.sourceCode[_].destination.gitHub.owner == STRING
    input.Body.sourceCode[_].destination.gitHub.privateRepository == BOOLEAN
    input.Body.sourceCode[_].destination.gitHub.issuesEnabled == BOOLEAN
    input.Body.sourceCode[_].destination.gitHub.token == STRING
    input.Body.toolchain.source.s3.bucketName == STRING
    input.Body.toolchain.source.s3.bucketKey == STRING
    input.Body.toolchain.roleArn == STRING
    input.Body.toolchain.stackParameters.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateUserProfile

valid {
    input.Body.userArn == STRING
    input.Body.displayName == STRING
    input.Body.emailAddress == STRING
    input.Body.sshPublicKey == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteProject

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

DeleteUserProfile

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

DescribeProject

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

DescribeUserProfile

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

DisassociateTeamMember

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

ListProjects

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

ListResources

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

ListTagsForProject

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

ListTeamMembers

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

ListUserProfiles

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

TagProject

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

UntagProject

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

UpdateProject

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

UpdateTeamMember

valid {
    input.Body.projectId == STRING
    input.Body.userArn == STRING
    input.Body.projectRole == STRING
    input.Body.remoteAccessAllowed == BOOLEAN
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateUserProfile

valid {
    input.Body.userArn == STRING
    input.Body.displayName == STRING
    input.Body.emailAddress == STRING
    input.Body.sshPublicKey == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}