fixed issue #565

itemisCREATE · Apr 5, 2016 · 2b05e12 · 2b05e12
1 parent e1cba7f
commit 2b05e12
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/...akindu.sct.model.stext/src/org/yakindu/sct/model/stext/validation/STextJavaValidator.java b/...akindu.sct.model.stext/src/org/yakindu/sct/model/stext/validation/STextJavaValidator.java
@@ -149,10 +149,13 @@ public void checkExpression(Guard expression) {
 
 	@Check(CheckType.FAST)
 	public void transitionsWithNoTrigger(Transition trans) {
-		if (trans.getSource() instanceof Entry || trans.getSource() instanceof Choice
-				|| trans.getSource() instanceof Synchronization) {
-			return;
-		}
+
+		if (trans.getSource() instanceof Entry 
+			|| trans.getSource() instanceof Choice
+			|| trans.getSource() instanceof Synchronization
+			|| (trans.getTarget() instanceof Synchronization && (trans.getTarget().getIncomingTransitions().size() > 1))
+			) { return; }
+
 		if (trans.getSource() instanceof org.yakindu.sct.model.sgraph.State) {
 			org.yakindu.sct.model.sgraph.State state = (org.yakindu.sct.model.sgraph.State) trans.getSource();
 			if (state.isComposite()) {