1 files changed, 47 insertions, 0 deletions
diff --git a/rba.tool.editor/src/rba/tool/editor/validation/validators/AreaSetValidator.xtend b/rba.tool.editor/src/rba/tool/editor/validation/validators/AreaSetValidator.xtend
new file mode 100644
index 0000000..b87dcb6
--- /dev/null
+++ b/rba.tool.editor/src/rba/tool/editor/validation/validators/AreaSetValidator.xtend
@@ -0,0 +1,47 @@
+package rba.tool.editor.validation.validators
+
+import java.util.HashSet
+import org.eclipse.xtext.validation.Check
+import rba.core.AbstractAllocatable
+import rba.core.RBACorePackage
+import rba.tool.editor.messages.Messages
+import rba.view.Area
+import rba.view.AreaSet
+
+class AreaSetValidator extends AllocatableSetValidator {
+
+	private String AREASET_TARGET_SIZE = Messages.AREASET_TARGET_SIZE;
+
+	private String AREASET_TARGET_INVALID_TYPE = Messages.AREASET_TARGET_INVALID_TYPE;
+
+	private String AREASET_TARGET_INCLUDE_SELF = Messages.AREASET_TARGET_INCLUDE_SELF;
+
+	private String AREASET_TARGET_DUPLICATE = Messages.AREASET_TARGET_DUPLICATE;
+
+	@Check(NORMAL)
+	def checkContent(AreaSet areaSet) {
+		if (areaSet.target.size === 0) {
+			warning(String.format(AREASET_TARGET_SIZE, areaSet.name), RBACorePackage.Literals.ALLOCATABLE_SET__TARGET);
+		}
+
+		if (areaSet.target.contains(areaSet)) {
+			error(String.format(AREASET_TARGET_INCLUDE_SELF, areaSet.name), RBACorePackage.Literals.ALLOCATABLE_SET__TARGET, areaSet.target.indexOf(areaSet));
+			return;
+		}
+
+		var hash = new HashSet<AbstractAllocatable>
+		for (var index = 0; index < areaSet.target.size; index.operator_plusPlus()) {
+			val AbstractAllocatable abstractAllocatable = areaSet.target.get(index);
+			if (!(abstractAllocatable instanceof Area || abstractAllocatable instanceof AreaSet)) {
+				error(String.format(AREASET_TARGET_INVALID_TYPE, areaSet.name), RBACorePackage.Literals.ALLOCATABLE_SET__TARGET, index);
+				return;
+			}
+			if (hash.contains(abstractAllocatable)) {
+				error(String.format(AREASET_TARGET_DUPLICATE, areaSet.name), RBACorePackage.Literals.ALLOCATABLE_SET__TARGET, index);
+				return;
+			} else {
+				hash.add(abstractAllocatable)
+			}
+		}
+	}
+}