From 3cb03f7a172d08b4c305d3918da2ebb40a4d6b17 Mon Sep 17 00:00:00 2001
From: tkuehn <thomas.kuehn3@tu-dresden.de>
Date: Tue, 19 Jun 2018 05:40:10 +0200
Subject: [PATCH] Added TODO on containsCompartmentVisitor, to indicate wrong
 behavior.

---
 .../src/org/framed/iorm/ui/editPolicy/ConstraintRuleVisitor.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/org.framed.iorm.ui/src/org/framed/iorm/ui/editPolicy/ConstraintRuleVisitor.java b/org.framed.iorm.ui/src/org/framed/iorm/ui/editPolicy/ConstraintRuleVisitor.java
index ed4a492a..0532c402 100644
--- a/org.framed.iorm.ui/src/org/framed/iorm/ui/editPolicy/ConstraintRuleVisitor.java
+++ b/org.framed.iorm.ui/src/org/framed/iorm/ui/editPolicy/ConstraintRuleVisitor.java
@@ -225,6 +225,7 @@ public class ConstraintRuleVisitor {
 		}
 		if (container == null)
 			return false;
+		//TODO: this does not work, it only finds the enclosing compartment type if it exists, and is semantically equivalent to In(CompartmentType).
 		// travers Containers to find the compartment type.
 		Diagram compartmentDiagram = findContainerDiagramOfType(container, Type.COMPARTMENT_TYPE);
 		System.out.println("containsCompartmentVisitor: TEST: " + compartmentDiagram != null);
-- 
GitLab