Commit 4bb73e91 authored by Markus Klinik's avatar Markus Klinik
Browse files

remove unused imports

parent 5c5d1ce5
module AssignmentTaxiRules module AssignmentTaxiRules
import Message; import Message;
import Set;
import Relation; import Relation;
import lang::java::m3::Core; import lang::java::m3::Core;
import lang::java::m3::AST; import lang::java::m3::AST;
import IO;
import ClassHierarchy; import ClassHierarchy;
import Util;
import StandardLocations; import StandardLocations;
set[Message] allAssignmentTaxiRules(M3 model, set[Declaration] ast) set[Message] allAssignmentTaxiRules(M3 model, set[Declaration] ast)
...@@ -84,7 +81,7 @@ set[Message] aTaxi_no_synchronized_modifier(M3 model) = ...@@ -84,7 +81,7 @@ set[Message] aTaxi_no_synchronized_modifier(M3 model) =
| synchronizedThing <- invert(model.modifiers)[synchronized()] | synchronizedThing <- invert(model.modifiers)[synchronized()]
}; };
set[Message] aTaxi_no_synchronized_block(M3 model, set[Declaration] ast) = set[Message] aTaxi_no_synchronized_block(M3 _, set[Declaration] ast) =
{ error("synchronized should not be used in this assignment", m.decl) { error("synchronized should not be used in this assignment", m.decl)
| /m:method(_,_,_,_,/synchronizedStatement(_,_)) <- ast | /m:method(_,_,_,_,/synchronizedStatement(_,_)) <- ast
}; };
\ No newline at end of file
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