Hanami backend/fi.aalto.cs.hanami.grading

Package-level declarations

Types

@Serializable

data class Assessment(val submissionId: Long? = null, val memberIds: List<Long> = emptyList(), val selections: Map<String, Assessment.CategorySelection> = emptyMap(), val fileAnnotations: Map<String, List<SarifAnnotation>> = emptyMap(), val generalFeedback: String = "", val staffNotes: String = "", val finalGrade: Int? = null)

AssessmentAccessOutcome

sealed interface AssessmentAccessOutcome

Result of loading an assessment under the current grader ownership rules.

AssessmentPublicationRecord

data class AssessmentPublicationRecord(val courseId: Long, val exerciseId: Long, val studentId: Long, val expectedRevision: Long, val sentByUserId: Long, val manualSubmissionId: Long?)

AssessmentPublicationResponse

@Serializable

data class AssessmentPublicationResponse(val studentId: Long, val points: Int, val state: AssessmentPublicationState)

AssessmentPublicationResult

sealed interface AssessmentPublicationResult

Durable result of a grade publication attempt.

AssessmentPublicationState

@Serializable

enum AssessmentPublicationState : Enum<AssessmentPublicationState>

AssessmentPutBody

@Serializable

data class AssessmentPutBody(val assessment: Assessment, val status: AssessmentStatus, val expectedUpdatedAtMillis: Long? = null)

AssessmentRow

@Serializable

data class AssessmentRow(val exerciseId: Long, val studentId: Long, val assessment: Assessment, val status: AssessmentStatus, val graderUserId: Long, val sentAtMillis: Long? = null, val sentByUserId: Long? = null, val updatedAtMillis: Long, val sending: Boolean = false)

AssessmentSaveOutcome

sealed interface AssessmentSaveOutcome

Result of an assessment save after ownership, send state, and revision checks.

AssessmentSendOutcome

sealed interface AssessmentSendOutcome

Result of publication preflight and delivery.

AssessmentStatus

@Serializable

enum AssessmentStatus : Enum<AssessmentStatus>

AssignableAssistant

data class AssignableAssistant(val userId: Long, val languages: List<String>, val gradingTags: List<String> = emptyList())

AssignableStudent

data class AssignableStudent(val studentId: Long, val tags: List<String>)

AssignmentOverviewEntry

@Serializable

data class AssignmentOverviewEntry(val exerciseId: Long, val studentId: Long, val fullName: String?, val languageTags: List<String>, val assigneeUserId: Long, val assessmentStatus: AssessmentStatus?)

AssignmentPutEntry

@Serializable

data class AssignmentPutEntry(val studentId: Long, val assigneeUserId: Long? = null)

AutoAssignBody

@Serializable

data class AutoAssignBody(val replaceExisting: Boolean = false)

CourseAssignmentRow

@Serializable

data class CourseAssignmentRow(val exerciseId: Long, val studentId: Long, val assigneeUserId: Long)

DefiniteGradePublicationRejection

interface DefiniteGradePublicationRejection

Marks an error that proves A+ rejected the grade before accepting it.

FeedbackHtmlBody

@Serializable

data class FeedbackHtmlBody(val rubric: Rubric, val feedbackHtml: String, val assistantFeedbackHtml: String? = null, val assessmentUpdatedAtMillis: Long)

GradeConfirmation

data class GradeConfirmation(val submissionId: Long, val status: String, val points: Int)

GradePublication

data class GradePublication(val publicationId: String, val exerciseId: Long, val submitterIds: List<Long>, val points: Int, val feedbackHtml: String, val assistantFeedbackHtml: String?, val gradingData: String)

GradePublisher

interface GradePublisher

Publishes grades to A+ and checks whether a specific publication was accepted.

GraderClaim

data class GraderClaim(val exerciseId: Long, val studentId: Long, val graderUserId: Long)

GraderExerciseSummary

@Serializable

data class GraderExerciseSummary(val exerciseId: Long, val count: Int, val sent: Int)

GraderWorkloadSummary

@Serializable

data class GraderWorkloadSummary(val userId: Long, val total: Int, val notStarted: Int, val draft: Int, val ready: Int, val sent: Int, val exercises: List<GraderExerciseSummary>)

GradingAssignment

@Serializable

data class GradingAssignment(val studentId: Long, val assigneeUserId: Long)

GradingExerciseSummary

@Serializable

data class GradingExerciseSummary(val exerciseId: Long, val assigned: Int, val notStarted: Int, val draft: Int, val ready: Int, val sent: Int, val graders: Int)

GradingMode

@Serializable

enum GradingMode : Enum<GradingMode>

GradingOverviewResponse

@Serializable

data class GradingOverviewResponse(val exercises: List<GradingExerciseSummary>, val workloads: List<GraderWorkloadSummary>)

GradingQueue

@Serializable

data class GradingQueue(val exerciseId: Long, val exerciseName: String, val exerciseMaxPoints: Int, val entries: List<GradingQueueEntry>)

GradingQueueEntry

@Serializable

data class GradingQueueEntry(val studentId: Long, val memberIds: List<Long>, val fullName: String?, val submissionId: Long?, val submissionTime: String?, val autoGrade: Int?, val submissionTags: List<String>, val assessmentStatus: AssessmentStatus?, val assessmentPoints: Int?, val graderUserId: Long? = null, val members: List<GradingQueueEntry.Member> = emptyList(), val assigneeUserId: Long? = null, val gradingMode: GradingMode = GradingMode.AUTOMATIC)

GradingService

class GradingService

Coordinates rubrics, assignments, assessment editing, queues, and grade publication.

Rubric

@Serializable

data class Rubric(val title: String, val categories: List<Rubric.Category>)

RubricInfo

@Serializable

data class RubricInfo(val exerciseId: Long, val title: String, val maxTotal: Int, val revision: Long)

RubricWriteOutcome

sealed interface RubricWriteOutcome

SarifAnnotation

@Serializable

data class SarifAnnotation(val ruleId: String, val kind: String? = null, val level: String? = null, val message: SarifAnnotation.Message, val locations: List<SarifAnnotation.Location> = emptyList(), val fingerprints: Map<String, String> = emptyMap(), val properties: JsonObject? = null)

SaveAssessmentCommand

data class SaveAssessmentCommand(val assessment: Assessment, val status: AssessmentStatus, val expectedUpdatedAtMillis: Long?)

Assessment content and optimistic revision supplied by an editor.

SendAssessmentCommand

data class SendAssessmentCommand(val rubric: Rubric, val feedbackHtml: String, val assistantFeedbackHtml: String?, val assessmentUpdatedAtMillis: Long)

Finalized feedback and the exact rubric and assessment revisions selected by the grader.

StaticCodeBlock

@Serializable

data class StaticCodeBlock(val lines: List<StaticCodeBlock.Line>)

StudentAssessmentView

@Serializable

data class StudentAssessmentView(val exerciseId: Long, val rubricTitle: String, val totalPoints: Int, val maxPoints: Int, val submissionId: Long?, val memberIds: List<Long>, val sentAtMillis: Long?, val categories: List<StudentAssessmentView.CategoryView>, val generalFeedback: String, val fileAnnotations: Map<String, List<SarifAnnotation>>)

VersionedRubric

data class VersionedRubric(val rubric: Rubric, val revision: Long)

Functions

appliedPhraseIds

fun appliedPhraseIds(assessment: Assessment, categoryId: String): Set<String>

autoAssign

fun autoAssign(students: List<AssignableStudent>, assistants: List<AssignableAssistant>, existing: Map<Long, Long>, courseLanguages: List<String>, replaceExisting: Boolean = false): Map<Long, Long>

categoryMax

fun categoryMax(category: Rubric.Category): Int

categoryPoints

fun categoryPoints(category: Rubric.Category, assessment: Assessment): Int

gradeTotalMax

fun gradeTotalMax(rubric: Rubric): Int

languageTags

fun languageTags(tagSlugs: List<String>, courseLanguages: Collection<String>): List<String>

studentAssessmentView

fun studentAssessmentView(exerciseId: Long, rubric: Rubric, row: AssessmentRow): StudentAssessmentView

totalPoints

fun totalPoints(rubric: Rubric, assessment: Assessment): Int