Module user_course_state

Structs§

SubmissionsView 🔒: How a call’s submissions are reported, which follows from whether it named an exercise.
UserCourseStateFacet 🔒: The facets user_course_state can be asked for. Internal to this tool: the wire form is the facets string array in the schema, never this enum.
UserCourseStateFacetValue 🔒

MAX_REVIEW_ROWS 🔒: The most rows any one review or reset list reports. These grow with the exercises of the course, and a teacher’s justification on a grading decision is free text, so the product is only loosely bounded even though the row count is.
MAX_SUBMISSION_SUMMARIES 🔒: The most exercises a whole-course call reports on, and the most timestamps a call narrowed to one exercise lists. Both are far above what a real course or a real student reaches; they exist so a pathological row count cannot crowd the other facets out of the same output.
MAX_SUBMISSION_TIMESTAMPS 🔒

build_arguments 🔒
certificates_facet 🔒
completions_facet 🔒
credit_registration_facet 🔒
exercise_name_index 🔒: Maps exercise id to name, for annotating rows that only carry an exercise id.
parse_facets 🔒
progress_facet 🔒
resets_facet 🔒
reviews_facet 🔒
submissions_facet 🔒
summarize_submissions_per_exercise 🔒: Collapses submission times into one row per exercise, in the order the exercises were first submitted to.