summaryrefslogtreecommitdiffstats
path: root/rba.tool.editor/src/rba/tool/editor/validation/validators/AreaSetValidator.xtend
blob: b87dcb6081e302cdb5f14a99ebc28a65bbacf5b0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
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)
			}
		}
	}
}