diff options
Diffstat (limited to 'plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvti/BasicRegion2Mapping.java')
| -rw-r--r-- | plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvti/BasicRegion2Mapping.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvti/BasicRegion2Mapping.java b/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvti/BasicRegion2Mapping.java index 9c027cedb..4c9025ff5 100644 --- a/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvti/BasicRegion2Mapping.java +++ b/plugins/org.eclipse.qvtd.compiler/src/org/eclipse/qvtd/compiler/internal/qvts2qvti/BasicRegion2Mapping.java @@ -935,7 +935,12 @@ public class BasicRegion2Mapping extends AbstractRegion2Mapping for (@NonNull NavigableEdge edge : region.getNavigationEdges()) { Node sourceNode = edge.getSource(); Node targetNode = edge.getTarget(); - if (!sourceNode.isIterator() && !sourceNode.isDependency() && !targetNode.isIterator() && RegionUtil.isUnconditional(edge)) { // FIXME provide a better isExpression capability for pattern nodes + boolean isMatched1 = !sourceNode.isIterator() && !sourceNode.isDependency() && !targetNode.isIterator() && RegionUtil.isUnconditional(edge); // FIXME provide a better isExpression capability for pattern nodes + boolean isMatched2 = edge.isMatched(); + if (isMatched1 != isMatched2) { + System.out.println("Inconsistently isMatched in " + name + " : " + edge); + } + if (isMatched2) { forestEdges.add(edge); } } |