diff options
Diffstat (limited to 'plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/BasicQVTiExecutor.java')
| -rw-r--r-- | plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/BasicQVTiExecutor.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/BasicQVTiExecutor.java b/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/BasicQVTiExecutor.java index c5238cdbf..d4309ddb1 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/BasicQVTiExecutor.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/evaluation/BasicQVTiExecutor.java @@ -209,7 +209,11 @@ public class BasicQVTiExecutor extends AbstractExecutor implements QVTiExecutor assert checkableBottomPattern.getEnforcementOperation().isEmpty(); assert checkableBottomPattern.getPredicate().isEmpty(); assert checkableBottomPattern.getRealizedVariable().isEmpty(); - assert checkableBottomPattern.getVariable().isEmpty(); +// assert checkableBottomPattern.getVariable().isEmpty(); + for (@NonNull Variable rVar : ClassUtil.nullFree(checkableBottomPattern.getVariable())) { + OCLExpression ownedInit = rVar.getOwnedInit(); + assert ownedInit == null; + } } else { CoreDomain enforceableDomain = (CoreDomain)domain; |