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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
package rba.tool.editor.validation.validators
import java.util.HashSet
import org.eclipse.xtext.validation.Check
import rba.core.AbstractAllocatable
import rba.core.AbstractContent
import rba.core.RBACorePackage
import rba.tool.editor.messages.Messages
import rba.view.Area
import rba.view.AreaSet
import rba.view.ViewContent
import rba.view.ViewContentSet
class ViewContentSetValidator extends ContentSetValidator {
private String VIEWCONTENTSET_TARGET_SIZE = Messages.VIEWCONTENTSET_TARGET_SIZE;
private String VIEWCONTENTSET_TARGET_INVALID_TYPE = Messages.VIEWCONTENTSET_TARGET_INVALID_TYPE;
private String VIEWCONTENTSET_TARGET_INCLUDE_SELF = Messages.VIEWCONTENTSET_TARGET_INCLUDE_SELF;
private String VIEWCONTENTSET_TARGET_DUPLICATE = Messages.VIEWCONTENTSET_TARGET_DUPLICATE;
private String VIEWCONTENTSET_ALLOCATABLE_INVALID_TYPE = Messages.VIEWCONTENTSET_ALLOCATABLE_INVALID_TYPE;
private String VIEWCONTENTSET_ALLOCATABLE_DUPLICATE = Messages.VIEWCONTENTSET_ALLOCATABLE_DUPLICATE;
@Check(NORMAL)
def checkContent(ViewContentSet viewContentSet) {
if (viewContentSet.target.size === 0) {
warning(String.format(VIEWCONTENTSET_TARGET_SIZE, viewContentSet.name), RBACorePackage.Literals.CONTENT_SET__TARGET);
}
if (viewContentSet.target.contains(viewContentSet)) {
error(String.format(VIEWCONTENTSET_TARGET_INCLUDE_SELF, viewContentSet.name), RBACorePackage.Literals.CONTENT_SET__TARGET, viewContentSet.target.indexOf(
viewContentSet));
return;
}
var hash = new HashSet<AbstractContent>
for (var index = 0; index < viewContentSet.target.size; index.operator_plusPlus()) {
val AbstractContent abstractContent = viewContentSet.target.get(index);
if (!(abstractContent instanceof ViewContent || abstractContent instanceof ViewContentSet)) {
error(String.format(VIEWCONTENTSET_TARGET_INVALID_TYPE, viewContentSet.name), RBACorePackage.Literals.CONTENT_SET__TARGET, index);
return;
}
if (hash.contains(abstractContent)) {
error(String.format(VIEWCONTENTSET_TARGET_DUPLICATE, viewContentSet.name), RBACorePackage.Literals.CONTENT_SET__TARGET, index);
return;
} else {
hash.add(abstractContent)
}
}
var allocatableSet = new HashSet<AbstractAllocatable>
for (var index = 0; index < viewContentSet.allocatable.size; index.operator_plusPlus()) {
val AbstractAllocatable abstractAllocatable = viewContentSet.allocatable.get(index);
if (!(abstractAllocatable instanceof Area || abstractAllocatable instanceof AreaSet)) {
error(String.format(VIEWCONTENTSET_ALLOCATABLE_INVALID_TYPE, viewContentSet.name), RBACorePackage.Literals.ABSTRACT_CONTENT__ALLOCATABLE, index);
return;
}
if (allocatableSet.contains(abstractAllocatable)) {
error(String.format(VIEWCONTENTSET_ALLOCATABLE_DUPLICATE, viewContentSet.name), RBACorePackage.Literals.ABSTRACT_CONTENT__ALLOCATABLE, index);
return;
} else {
allocatableSet.add(abstractAllocatable)
}
}
}
}
|