de.bmotionstudio.gef.core.visualization
de.bmotionstudio.gef.basic.rectangle
de.bmotionstudio.gef.basic.observer.ToggleCoordinates
#PREDICATE
up_out=1
false
200
100
true
#PREDICATE
down_out=1
false
200
300
true
de.bmotionstudio.gef.core.attribute.BAttributeWidth
100
de.bmotionstudio.gef.core.attribute.BAttributeHeight
100
de.bmotionstudio.gef.basic.attribute.BAttributeAlpha
255
de.bmotionstudio.gef.core.attribute.BAttributeID
control_0
de.bmotionstudio.gef.basic.attribute.BAttributeOutlineAlpha
255
de.bmotionstudio.gef.core.attribute.BAttributeX
222
de.bmotionstudio.gef.core.attribute.BAttributeY
265
de.bmotionstudio.gef.basic.attribute.BAttributeVisible
true
de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundColor
255
0
0
de.bmotionstudio.gef.basic.button
de.bmotionstudio.gef.basic.observer.ListenOperationByPredicate
getAllInputs
p_up = p_up_txt ∧ p_down = p_down_txt ∧ d_up = d_up_txt ∧ d_down = d_down_txt
de.bmotionstudio.gef.basic.event.OnClickEvent
getAllInputs
p_up = p_up_txt ∧ p_down = p_down_txt ∧ d_up = d_up_txt ∧ d_down = d_down_txt
de.bmotionstudio.gef.basic.attribute.BAttributeText
GetAll Inputs
de.bmotionstudio.gef.basic.attribute.BAttributeTextColor
0
0
0
de.bmotionstudio.gef.core.attribute.BAttributeWidth
100
de.bmotionstudio.gef.core.attribute.BAttributeHeight
100
de.bmotionstudio.gef.core.attribute.BAttributeID
control_2
de.bmotionstudio.gef.basic.attribute.BAttributeEnabled
true
de.bmotionstudio.gef.core.attribute.BAttributeX
507
de.bmotionstudio.gef.core.attribute.BAttributeY
274
de.bmotionstudio.gef.basic.attribute.BAttributeVisible
true
de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundColor
200
200
200
557
false
de.bmotionstudio.gef.basic.text
de.bmotionstudio.gef.basic.attribute.BAttributeText
d_up
de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundVisible
true
de.bmotionstudio.gef.basic.attribute.BAttributeTextColor
0
0
0
de.bmotionstudio.gef.core.attribute.BAttributeWidth
78
de.bmotionstudio.gef.core.attribute.BAttributeHeight
24
de.bmotionstudio.gef.core.attribute.BAttributeID
control_11
de.bmotionstudio.gef.core.attribute.BAttributeX
510
de.bmotionstudio.gef.core.attribute.BAttributeY
148
de.bmotionstudio.gef.basic.attribute.BAttributeVisible
true
de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundColor
255
255
255
de.bmotionstudio.gef.basic.attribute.BAttributeFont
1||9.75|0|WINDOWS|1|-13|0|0|0|400|0|0|0|0|0|0|0|0|
510
false
de.bmotionstudio.gef.basic.image
de.bmotionstudio.gef.basic.observer.ToggleImage
#PREDICATE
Dri_up_switch = 0
false
bt_green_up.jpg
#PREDICATE
Dri_up_switch = 1
false
bt_green_down.jpg
de.bmotionstudio.gef.core.attribute.BAttributeHeight
77
de.bmotionstudio.gef.core.attribute.BAttributeWidth
75
de.bmotionstudio.gef.core.attribute.BAttributeID
control_4
de.bmotionstudio.gef.basic.attribute.BAttributeImage
bt_green_up.jpg
de.bmotionstudio.gef.core.attribute.BAttributeX
767
de.bmotionstudio.gef.basic.attribute.BAttributeVisible
true
de.bmotionstudio.gef.core.attribute.BAttributeY
135
135
true
de.bmotionstudio.gef.basic.image
de.bmotionstudio.gef.basic.observer.ToggleImage
#PREDICATE
Dri_dwn_switch = 0
false
bt_green_up.jpg
#PREDICATE
Dri_dwn_switch = 1
false
bt_green_down.jpg
de.bmotionstudio.gef.core.attribute.BAttributeHeight
77
de.bmotionstudio.gef.core.attribute.BAttributeWidth
75
de.bmotionstudio.gef.core.attribute.BAttributeID
control_5
de.bmotionstudio.gef.basic.attribute.BAttributeImage
bt_green_up.jpg
de.bmotionstudio.gef.core.attribute.BAttributeX
768
de.bmotionstudio.gef.basic.attribute.BAttributeVisible
true
de.bmotionstudio.gef.core.attribute.BAttributeY
218
de.bmotionstudio.gef.core.attribute.BAttributeID
surface
de.bmotionstudio.gef.basic.attribute.BAttributeImage
255-255-255
de.bmotionstudio.gef.core.attribute.BAttributeX
100
de.bmotionstudio.gef.core.attribute.BAttributeY
100
pw6.bum
EventB
2
false
2
true
true
false
false