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 de.bmotionstudio.gef.basic.button de.bmotionstudio.gef.basic.event.OnClickEvent getSwitchMapping ValidateCommand_no_obst_endstop selectCommand_Driver selectCommand_Pass de.bmotionstudio.gef.basic.attribute.BAttributeText Run with no obstacle de.bmotionstudio.gef.core.attribute.BAttributeHeight 100 de.bmotionstudio.gef.core.attribute.BAttributeWidth 100 de.bmotionstudio.gef.basic.attribute.BAttributeTextColor 0 0 0 de.bmotionstudio.gef.core.attribute.BAttributeID control_3 de.bmotionstudio.gef.basic.attribute.BAttributeEnabled true de.bmotionstudio.gef.core.attribute.BAttributeX 507 de.bmotionstudio.gef.basic.attribute.BAttributeVisible true de.bmotionstudio.gef.core.attribute.BAttributeY 378 de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundColor 200 200 200 0 de.bmotionstudio.gef.basic.textfield de.bmotionstudio.gef.basic.attribute.BAttributeText 0 de.bmotionstudio.gef.core.attribute.BAttributeWidth 100 de.bmotionstudio.gef.core.attribute.BAttributeHeight 28 de.bmotionstudio.gef.core.attribute.BAttributeID d_up_txt de.bmotionstudio.gef.core.attribute.BAttributeX 557 de.bmotionstudio.gef.core.attribute.BAttributeY 147 de.bmotionstudio.gef.basic.attribute.BAttributeVisible true -1 de.bmotionstudio.gef.basic.textfield de.bmotionstudio.gef.basic.attribute.BAttributeText 0 de.bmotionstudio.gef.core.attribute.BAttributeHeight 28 de.bmotionstudio.gef.core.attribute.BAttributeWidth 100 de.bmotionstudio.gef.core.attribute.BAttributeID d_down_txt de.bmotionstudio.gef.core.attribute.BAttributeX 557 de.bmotionstudio.gef.basic.attribute.BAttributeVisible true de.bmotionstudio.gef.core.attribute.BAttributeY 176 -1 de.bmotionstudio.gef.basic.textfield de.bmotionstudio.gef.basic.attribute.BAttributeText 0 de.bmotionstudio.gef.core.attribute.BAttributeHeight 28 de.bmotionstudio.gef.core.attribute.BAttributeWidth 100 de.bmotionstudio.gef.core.attribute.BAttributeID p_down_txt de.bmotionstudio.gef.core.attribute.BAttributeX 557 de.bmotionstudio.gef.basic.attribute.BAttributeVisible true de.bmotionstudio.gef.core.attribute.BAttributeY 235 -1 0 de.bmotionstudio.gef.basic.textfield de.bmotionstudio.gef.basic.attribute.BAttributeText 0 de.bmotionstudio.gef.core.attribute.BAttributeHeight 28 de.bmotionstudio.gef.core.attribute.BAttributeWidth 100 de.bmotionstudio.gef.core.attribute.BAttributeID p_up_txt de.bmotionstudio.gef.core.attribute.BAttributeX 557 de.bmotionstudio.gef.basic.attribute.BAttributeVisible true de.bmotionstudio.gef.core.attribute.BAttributeY 205 -1 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| de.bmotionstudio.gef.basic.text de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundVisible true de.bmotionstudio.gef.basic.attribute.BAttributeText p_down de.bmotionstudio.gef.core.attribute.BAttributeHeight 24 de.bmotionstudio.gef.core.attribute.BAttributeWidth 78 de.bmotionstudio.gef.basic.attribute.BAttributeTextColor de.bmotionstudio.gef.core.attribute.BAttributeID control_18 de.bmotionstudio.gef.core.attribute.BAttributeX 510 de.bmotionstudio.gef.basic.attribute.BAttributeVisible true de.bmotionstudio.gef.core.attribute.BAttributeY 238 de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundColor 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| -1 -1 de.bmotionstudio.gef.basic.text de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundVisible true de.bmotionstudio.gef.basic.attribute.BAttributeText d_down de.bmotionstudio.gef.core.attribute.BAttributeHeight 24 de.bmotionstudio.gef.core.attribute.BAttributeWidth 78 de.bmotionstudio.gef.basic.attribute.BAttributeTextColor de.bmotionstudio.gef.core.attribute.BAttributeID control_14 de.bmotionstudio.gef.core.attribute.BAttributeX 510 de.bmotionstudio.gef.basic.attribute.BAttributeVisible true de.bmotionstudio.gef.core.attribute.BAttributeY 177 de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundColor 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| -1 de.bmotionstudio.gef.basic.text de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundVisible true de.bmotionstudio.gef.basic.attribute.BAttributeText p_up de.bmotionstudio.gef.core.attribute.BAttributeHeight 24 de.bmotionstudio.gef.core.attribute.BAttributeWidth 78 de.bmotionstudio.gef.basic.attribute.BAttributeTextColor de.bmotionstudio.gef.core.attribute.BAttributeID control_16 de.bmotionstudio.gef.core.attribute.BAttributeX 510 de.bmotionstudio.gef.basic.attribute.BAttributeVisible true de.bmotionstudio.gef.core.attribute.BAttributeY 206 de.bmotionstudio.gef.basic.attribute.BAttributeBackgroundColor 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| -1 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 -1 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