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)
}
}
}
}
|