Commit 38e39ad4 authored by Markus Klinik's avatar Markus Klinik
Browse files

Condition also considered synchronization

parent 0ddbe89b
......@@ -29,5 +29,6 @@ set[Message] aSupermarket_no_synchronized_block(set[Declaration] ast) =
set[Message] aSupermarket_only_register_belt_synchronization(M3 model) =
{ error("class <getName(model,c)> should not have synchronization code", c)
| c <- classes(model) - { findClass(model, "Register"), findClass(model, "ConveyorBelt") }
, javaUtilLock in allTypeDependenciesLoc(model, c)
, javaUtilLock in allTypeDependenciesLoc(model, c)
|| javaUtilCondition in allTypeDependenciesLoc(model, c)
};
\ 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