diff options
| author | Elie Richa | 2015-04-12 22:51:16 +0000 |
|---|---|---|
| committer | Elie Richa | 2015-04-19 18:57:21 +0000 |
| commit | abec969ec514b9bba84cc4bdd1a927596ce31163 (patch) | |
| tree | 922ae4c773f878bc43ebec194d3490b8beaf18b1 | |
| parent | e3d5d7abb8b38136cfaa3c1a43302a32a995831f (diff) | |
| download | org.eclipse.emft.henshin-abec969ec514b9bba84cc4bdd1a927596ce31163.tar.gz org.eclipse.emft.henshin-abec969ec514b9bba84cc4bdd1a927596ce31163.tar.xz org.eclipse.emft.henshin-abec969ec514b9bba84cc4bdd1a927596ce31163.zip | |
Implement isFalse() for NestedCondition
A NestedCondition having a nested Formula which is always false is
itself always false.
Change-Id: Ic7f3aa3ca0f3651389cef9bfca520dfafda904ec
Signed-off-by: Elie Richa <richa@adacore.com>
| -rw-r--r-- | plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/NestedConditionImpl.java | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/NestedConditionImpl.java b/plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/NestedConditionImpl.java index fe3146137..fa161f160 100644 --- a/plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/NestedConditionImpl.java +++ b/plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/NestedConditionImpl.java @@ -218,8 +218,12 @@ public class NestedConditionImpl extends ModelElementImpl implements NestedCondi * @generated NOT */ public boolean isFalse() { - // There seems to be no situation where we can definitely say it is always false. - return false; + Formula formula = conclusion.getFormula(); + if (formula != null && formula.isFalse()) { + return true; + } else { + return false; + } } /** |