5.8. workspace.fmsl
module Workspace;
import QuestionManagement.Database;
import TestGeneration.GeneratedTest;
import TestTaking.AnsweredTest;
import TestGrading.GradedTest;
object Workspace
components: databases:Database*, options:Option*,
generatedTests:GeneratedTest*,
answeredTests:AnsweredTest*,
gradedTests:GradedTest*;
description: (*
A user's configuration and associated
data.
*);
end Workspace;
object Option
end Option;
end Workspace;
Prev: testtaking.fmsl
| Next: [none] | Up: specification
| Top: index