toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.model.reporting
/
ReportT
/
contextError
context
Error
val
contextError
:
ReportT.ContextError
?
=
null