Commit 6f439d61 authored by Markus Klinik's avatar Markus Klinik
Browse files

simplify

parent c992541c
......@@ -11,14 +11,10 @@ import ClassHierarchy;
import Util;
set[Message] allAssignment01Rules(M3 model)
{
messages
= a01_student(model)
+ a01_group(model)
+ a01_io(model)
;
return messages;
}
= a01_student(model)
+ a01_group(model)
+ a01_io(model)
;
set[Message] a01_student(M3 model) = assertExists(findClass, model, "Student");
......
......@@ -11,14 +11,10 @@ import ImplementsAbstractMethod;
import Util;
set[Message] allAssignment04Rules(M3 model)
{
errors
= a04_question_exists(model)
+ a04_question_types(model)
+ a04_implement_abstract_methods(model)
;
return errors;
}
= a04_question_exists(model)
+ a04_question_types(model)
+ a04_implement_abstract_methods(model)
;
// A class Question should exist, and it should be an abstract class.
set[Message] a04_question_exists(M3 model)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment