Commit 495d37f2 authored by Markus Klinik's avatar Markus Klinik
Browse files

Assignment03Rules: use loc instead of name

parent 5dc941d5
......@@ -24,7 +24,8 @@ set[Message] a03_geometric_is_comparable(M3 model)
try
{
geometric = findInterface(model, "Geometric");
if( ! ("Comparable" in { super.file | super <- model.extends[geometric] }) )
comparable = |java+interface:///java/lang/Comparable|;
if( ! (comparable in model.extends[geometric] ) )
{
result += { error("Geometric should extend Comparable", geometric) };
}
......
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