diff options
Diffstat (limited to 'plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/analysis/AbstractDomainUsageAnalysis.java')
| -rw-r--r-- | plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/analysis/AbstractDomainUsageAnalysis.java | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/analysis/AbstractDomainUsageAnalysis.java b/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/analysis/AbstractDomainUsageAnalysis.java index 6588e6da7..7cefcff5c 100644 --- a/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/analysis/AbstractDomainUsageAnalysis.java +++ b/plugins/org.eclipse.qvtd.pivot.qvtimperative/src/org/eclipse/qvtd/pivot/qvtimperative/analysis/AbstractDomainUsageAnalysis.java @@ -81,6 +81,7 @@ import org.eclipse.qvtd.pivot.qvtimperative.CheckStatement; import org.eclipse.qvtd.pivot.qvtimperative.ConnectionVariable; import org.eclipse.qvtd.pivot.qvtimperative.GuardVariable; import org.eclipse.qvtd.pivot.qvtimperative.ImperativeDomain; +import org.eclipse.qvtd.pivot.qvtimperative.InitializeStatement; import org.eclipse.qvtd.pivot.qvtimperative.Mapping; import org.eclipse.qvtd.pivot.qvtimperative.NewStatement; import org.eclipse.qvtd.pivot.qvtimperative.DeclareStatement; @@ -463,6 +464,11 @@ public abstract class AbstractDomainUsageAnalysis extends AbstractExtendingQVTim } @Override + public @NonNull DomainUsage visitGuardVariable(@NonNull GuardVariable object) { + return visit(object.getReferredTypedModel()); + } + + @Override public @NonNull DomainUsage visitIfExp(@NonNull IfExp object) { @SuppressWarnings("unused") DomainUsage conditionUsage = visit(object.getOwnedCondition()); DomainUsage thenUsage = visit(object.getOwnedThen()); @@ -471,11 +477,6 @@ public abstract class AbstractDomainUsageAnalysis extends AbstractExtendingQVTim } @Override - public @NonNull DomainUsage visitGuardVariable(@NonNull GuardVariable object) { - return visit(object.getReferredTypedModel()); - } - - @Override public @NonNull DomainUsage visitImperativeDomain(@NonNull ImperativeDomain object) { DomainUsage usage = visit(object.getTypedModel()); setUsage(object, usage); @@ -483,6 +484,11 @@ public abstract class AbstractDomainUsageAnalysis extends AbstractExtendingQVTim } @Override + public @NonNull DomainUsage visitInitializeStatement(@NonNull InitializeStatement object) { + return visit(object.getTargetVariable()); + } + + @Override public @NonNull DomainUsage visitIterateExp(@NonNull IterateExp object) { DomainUsage sourceUsage = visit(object.getOwnedSource()); for (Variable iterator : object.getOwnedIterators()) { |