apollo-backend/eu.yeger.apollo.assignment.model.api

Package-level declarations

Types

data class ApiAssignment(val id: String, val title: String, val formula: String, val description: String? = null)

ApiAssignmentSolution

data class ApiAssignmentSolution(val assignmentId: String, val firstGraph: ApiGraph, val secondGraph: ApiGraph)

AssignmentCheckResponse

data class AssignmentCheckResponse(val correct: Boolean, val firstTrace: ModelCheckerTrace?, val secondTrace: ModelCheckerTrace?)

CreateAssignmentRequest

data class CreateAssignmentRequest(val title: String, val formula: String, val description: String? = null)

UpdateAssignmentRequest

data class UpdateAssignmentRequest(val id: String, val title: String, val formula: String, val description: String?)

Functions

fun CreateAssignmentRequest.toAssignment(): IntermediateResult<Assignment>

fun UpdateAssignmentRequest.toAssignment(): IntermediateResult<Assignment>

toDomainAssignment

fun ApiAssignment.toDomainAssignment(): Assignment

toDomainAssignmentSolution

fun ApiAssignmentSolution.toDomainAssignmentSolution(): IntermediateResult<AssignmentSolution>