blob: 5e7225d9843625c5781960c3d657197cb099a465 (
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
package rba.tool.editor.validation.validators
import java.util.HashSet
import java.util.Set
import org.eclipse.xtext.validation.Check
import org.eclipse.xtext.validation.EValidatorRegistrar
import rba.tool.editor.messages.Messages
import rba.tool.editor.validation.AbstractRBAModelValidator
import rba.view.AlignedLayout
import rba.view.Area
import rba.view.CompositeArea
import rba.view.Display
import rba.view.FixedPositionLayout
import rba.view.PositionContainer
import rba.view.RBAViewPackage
import rba.view.Size
import rba.view.SizeIdentifier
import rba.view.SizeReference
class DisplayValidator extends AbstractRBAModelValidator {
private String DISPLAY_AREA_SIZE_CHECK = Messages.DISPLAY_AREA_SIZE_CHECK
private String DISPLAY_ROOT_CHECK = Messages.DISPLAY_ROOT_CHECK;
override register(EValidatorRegistrar registrar) {
// not needed for classes used as ComposedCheck
}
@Check(NORMAL)
def checkDisplay(Display display) {
if (display.root === null) {
error(String.format(DISPLAY_ROOT_CHECK, display.name), RBAViewPackage.Literals.DISPLAY__ROOT);
return;
}
var size = display.size as SizeIdentifier
var displaySize = getSize(size);
var displayWidth = displaySize.width
var displayHeight = displaySize.height
if (display.root !== null && display.root.eContainer !== null) {
var Set<Area> areaList = new HashSet
getAreas(display.root, areaList)
for (a : areaList) {
var area = a as Area
for (sizeIdentifier : area.size) {
var areaSize = getSize(sizeIdentifier)
var areaWidth = areaSize.width
var areaHeight = areaSize.height
if (areaWidth > displayWidth || areaHeight > displayHeight) {
warning(String.format(DISPLAY_AREA_SIZE_CHECK, display.name), RBAViewPackage.Literals.DISPLAY__ROOT)
return;
}
}
}
}
}
// get all areas from display
def void getAreas(CompositeArea compositeArea, Set<Area> areaList) {
if (compositeArea !== null) {
var layout = compositeArea.layout
if (layout instanceof AlignedLayout) {
var aliginedLayout = layout as AlignedLayout
for (subArea : aliginedLayout.subarea) {
areaList.addAll(subArea);
}
} else if (layout instanceof FixedPositionLayout) {
var fixedPositionLayout = layout as FixedPositionLayout
var positions = fixedPositionLayout.subAreaPosition
for (position : positions) {
if (position instanceof PositionContainer) {
var pos = position as PositionContainer
areaList.add(pos.area);
}
}
}
}
}
// get Size from SizeIdentifier
def Size getSize(SizeIdentifier size) {
if (size instanceof Size) {
return size as Size
} else if (size instanceof SizeReference) {
var sizeRef = size as SizeReference
return sizeRef.size as Size
}
}
}
|