Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHenrik Rentz-Reichert2011-02-09 12:19:10 +0000
committerHenrik Rentz-Reichert2011-02-09 12:19:10 +0000
commit0b36b81d6de2487730925bc4bb459ae1d807b74b (patch)
treee89ff7e4e387b7c81ced452f238440cc070244c9
parentf9d82241efb4fcf1c4181745ec690ecf0b4490be (diff)
downloadorg.eclipse.etrice-0b36b81d6de2487730925bc4bb459ae1d807b74b.tar.gz
org.eclipse.etrice-0b36b81d6de2487730925bc4bb459ae1d807b74b.tar.xz
org.eclipse.etrice-0b36b81d6de2487730925bc4bb459ae1d807b74b.zip
core.room: bug fix in transition validation
-rw-r--r--plugins/org.eclipse.etrice.core.room/src/org/eclipse/etrice/core/validation/ValidationUtil.java7
1 files changed, 4 insertions, 3 deletions
diff --git a/plugins/org.eclipse.etrice.core.room/src/org/eclipse/etrice/core/validation/ValidationUtil.java b/plugins/org.eclipse.etrice.core.room/src/org/eclipse/etrice/core/validation/ValidationUtil.java
index 838f73fb8..55feb9fdd 100644
--- a/plugins/org.eclipse.etrice.core.room/src/org/eclipse/etrice/core/validation/ValidationUtil.java
+++ b/plugins/org.eclipse.etrice.core.room/src/org/eclipse/etrice/core/validation/ValidationUtil.java
@@ -526,10 +526,11 @@ public class ValidationUtil {
}
}
else if (src instanceof TrPointTerminal) {
- if (((TrPointTerminal) src).getTrPoint() instanceof ExitPoint)
+ TrPoint srcTP = ((TrPointTerminal) src).getTrPoint();
+ if (srcTP instanceof ExitPoint)
return Result.error("exit point can not be transition sources");
// TransitionPoint and EntryPoint are valid
- if (src instanceof EntryPoint) {
+ if (srcTP instanceof EntryPoint) {
for (Transition t : sg.getTransitions()) {
if (t==trans)
continue;
@@ -537,7 +538,7 @@ public class ValidationUtil {
if (t instanceof NonInitialTransition) {
if (((NonInitialTransition) t).getFrom() instanceof TrPointTerminal) {
TrPointTerminal tpt = (TrPointTerminal)((NonInitialTransition) t).getFrom();
- if (tpt.getTrPoint()==((TrPointTerminal) src).getTrPoint())
+ if (tpt.getTrPoint()==srcTP)
return Result.error("source transition point already is connected");
}
}

Back to the top