2019-06-23 23:14:14 +02:00
|
|
|
import type_options
|
2019-07-28 23:07:25 -05:00
|
|
|
|
2019-06-23 23:14:14 +02:00
|
|
|
/*
|
2019-07-28 23:07:25 -05:00
|
|
|
this file is for The Grammar of:
|
|
|
|
1) ButtonUIObject : ( Click event )
|
|
|
|
2) EditUIObject : ( Type event - Clear event - Select Text event )
|
|
|
|
3) CheckBoxUIObject : ( Toggle the value )
|
|
|
|
4) RadioButtonUIObject : ( Select event )
|
|
|
|
5) ListBoxUIObject : ( Select event )
|
|
|
|
6) ComboBoxUIObject ( Select event )
|
|
|
|
7) SpinUIObject ( Increase event - Decrease event )
|
|
|
|
8) TabControlUIObject ( Change tab event )
|
2020-08-16 10:24:20 +02:00
|
|
|
9) ToolBoxUIObject ( Click on item event )
|
2020-08-24 11:39:37 +02:00
|
|
|
10) ValueSetUIObject (Choose item)
|
2020-08-28 05:35:22 +02:00
|
|
|
10) MenuBtnUIObject ( Select - Open - Close )
|
2019-06-23 23:14:14 +02:00
|
|
|
*/
|
|
|
|
|
|
|
|
UIObjectCommand:
|
|
|
|
ButtonUIObject | CheckBoxUIObject | EditUIObject |
|
|
|
|
RadioButtonUIObject | ListBoxUIObject | ComboBoxUIObject |
|
2020-08-24 11:39:37 +02:00
|
|
|
SpinFieldUIObject | TabControlUIObject | ToolBoxUIObject |
|
2020-08-28 05:35:22 +02:00
|
|
|
ValueSetUIObject | MenuBtnUIObject
|
2019-06-23 23:14:14 +02:00
|
|
|
;
|
|
|
|
|
|
|
|
ButtonUIObject:
|
2019-08-09 23:23:11 -05:00
|
|
|
'Click on' ui_button=STRING ('from' parent_id=ID)?
|
2019-06-23 23:14:14 +02:00
|
|
|
;
|
|
|
|
CheckBoxUIObject:
|
2019-08-09 23:23:11 -05:00
|
|
|
'Toggle' Check_box_id=STRING 'CheckBox' ('from' parent_id=ID)?
|
2019-06-23 23:14:14 +02:00
|
|
|
;
|
|
|
|
RadioButtonUIObject:
|
2019-08-09 23:23:11 -05:00
|
|
|
'Select' Radio_button_id=STRING 'RadioButton' ('from' parent_id=ID)?
|
2019-06-23 23:14:14 +02:00
|
|
|
;
|
|
|
|
ComboBoxUIObject:
|
2019-08-09 23:23:11 -05:00
|
|
|
'Select in' Combo_box_id=STRING 'ComboBox' 'item number' item_num=INT ('from' parent_id=ID)?
|
2019-06-23 23:14:14 +02:00
|
|
|
;
|
|
|
|
TabControlUIObject:
|
2019-08-09 23:23:11 -05:00
|
|
|
'Choose Tab number' tab_page_number=INT 'in' tab_id=STRING ('from' parent_id=ID)?
|
2019-06-23 23:14:14 +02:00
|
|
|
;
|
|
|
|
EditUIObject:
|
2019-08-09 23:23:11 -05:00
|
|
|
action=action_on_UIObject ('from' parent_id=ID)?
|
2019-06-23 23:14:14 +02:00
|
|
|
;
|
|
|
|
SpinFieldUIObject:
|
2019-08-20 22:37:17 -05:00
|
|
|
change=increase_or_ecrease Spin_id=STRING ('from' parent_id=ID)?
|
2019-06-23 23:14:14 +02:00
|
|
|
;
|
|
|
|
ListBoxUIObject:
|
2019-08-09 23:23:11 -05:00
|
|
|
'Select element with position ' POS=INT 'in' list_id=STRING ('from' parent_id=ID)?
|
2019-06-23 23:14:14 +02:00
|
|
|
;
|
2020-08-16 10:24:20 +02:00
|
|
|
ToolBoxUIObject:
|
|
|
|
'Click on item number' POS=INT 'in' toolbox_id=ID
|
|
|
|
;
|
2020-08-24 11:39:37 +02:00
|
|
|
ValueSetUIObject:
|
|
|
|
'Choose element with position ' POS=INT 'in' value_set_id=STRING 'from' parent_id=STRING
|
|
|
|
;
|
2019-07-28 23:07:25 -05:00
|
|
|
//=============================================================
|
2020-08-28 05:35:22 +02:00
|
|
|
MenuBtnUIObject:
|
|
|
|
MenuBtnUIObjectOpen | MenuBtnUIObjectSelect | MenuBtnUIObjectClose
|
|
|
|
;
|
|
|
|
MenuBtnUIObjectOpen:
|
|
|
|
'Open List From' + MenuBtn_ID=ID
|
|
|
|
;
|
|
|
|
MenuBtnUIObjectClose:
|
|
|
|
'Close List From' + MenuBtn_ID=ID
|
|
|
|
;
|
|
|
|
MenuBtnUIObjectSelect:
|
|
|
|
'Select item no' + item_num=INT + 'From List of' + MenuBtn_ID=ID
|
|
|
|
;
|
|
|
|
//=============================================================
|
2019-12-14 22:17:38 +01:00
|
|
|
//helper grammar for EditUIObject
|
2019-06-23 23:14:14 +02:00
|
|
|
action_on_UIObject:
|
|
|
|
Type_action | SELECT | Clear
|
|
|
|
;
|
|
|
|
Type_action:
|
|
|
|
'Type on' edit_button=STRING what_to_type=Type_options
|
|
|
|
;
|
|
|
|
SELECT:
|
|
|
|
'Select in ' edit_button=STRING
|
2020-07-02 07:11:26 +02:00
|
|
|
'{' + '"FROM"' + ':' + '"' from_pos=INT '"' + ',' + '"TO"' + ':' + '"' to_pos=INT '"'+'}'
|
2019-06-23 23:14:14 +02:00
|
|
|
;
|
|
|
|
Clear:
|
|
|
|
'Clear' edit_button=STRING
|
|
|
|
;
|
|
|
|
|
2019-07-28 23:07:25 -05:00
|
|
|
//=============================================================
|
2019-06-23 23:14:14 +02:00
|
|
|
//helper functions for SpinUIObject
|
|
|
|
increase_or_ecrease:
|
|
|
|
'Increase' | 'Decrease'
|
2019-12-14 22:17:38 +01:00
|
|
|
;
|