svghmi/widget_jump.ysl2
author Edouard Tisserant
Wed, 31 Aug 2022 12:16:09 +0200
changeset 3595 375626e60b63
parent 3577 6c7a7b22bec9
child 3596 9c725829d8f0
permissions -rw-r--r--
SVGHMI: rework Jump widget to cope with Enable Expressions.

Relative jumps are not disabled implicitely anymore when pointed HMI_NODE is 0.
Also, "activable()" implementation was enhanced to make it optional.
2883
8e3d130399b0 SVGHMI: created widget_*.ysl2. Renamed widget_common in widgets_common, so that it doesn't match globing.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2882
diff changeset
     1
// widget_jump.ysl2
2779
75c6a31caca6 SVGHMI: Work In Progress : fixed pointer types in ctypes interface, cleaned up server startup and cleanup code, changed document type to XHTML, cleaner JS script : encapsulated in a function and in CDATA.
Edouard Tisserant
parents: 2763
diff changeset
     2
3241
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
     3
widget_desc("Jump") {
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
     4
    longdesc
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
     5
    ||
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
     6
    Jump widget brings focus to a different page. Mandatory first argument
3241
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
     7
    gives name of the page.
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
     8
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
     9
    If first path is pointint to HMI_NODE variable is used as new reference 
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    10
    when jumping to a relative page.
3241
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    11
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    12
    Additional arguments are unordered options:
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    13
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    14
    - Absolute: force page jump to be not relative even if first path is of type HMI_NODE
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    15
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    16
    - name=value: Notify jump by setting variable with path having same name assigned
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    17
        
3241
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    18
    "active"+"inactive" labeled elements can be provided and reflect current
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    19
    page being shown.
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    20
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    21
    Exemples:
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    22
    
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    23
    Relative jump:
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    24
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    25
    HMI:Jump:RelativePage@/PUMP9
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    26
    HMI:Jump:RelativePage@/PUMP9@role=.userrole#role=="admin"
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    27
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    28
    Absolute jump:
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    29
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    30
    HMI:Jump:AbsolutePage
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    31
    HMI:Jump:AbsolutePage@role=.userrole#role=="admin"
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    32
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    33
    Forced absolute jump:
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    34
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    35
    HMI:Jump:AbsolutePage:Absolute@/PUMP9
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    36
    HMI:Jump:AbsolutePage:Absolute:notify=1@notify=/PUMP9
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    37
3241
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    38
    ||
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    39
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    40
    shortdesc > Jump to given page
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    41
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    42
    arg name="page" accepts="string" > name of page to jump to
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    43
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    44
    path name="reference" count="optional" accepts="HMI_NODE" > reference for relative jump
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    45
}
fe945f1f48b7 SVGHMI: WIP on Widget DnD UI : Added documentation to widgets, that is injected in widget parse tree during widget analysis
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3232
diff changeset
    46
3232
7bdb766c2a4d SVGHMI: In order to allow widget signature and description to coexist in same ysl2 file, introduced widget_class, widget_defs to declare widget codegen templates and gen_index_xhtml to mark templates that are only usefull in gen_index_xhtml.xslt.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3107
diff changeset
    47
widget_class("Jump") {
3107
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    48
||
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    49
        activable = false;
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    50
        active = false;
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    51
        frequency = 2;
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    52
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    53
        update_activity() {
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    54
            this.set_activation_state(this.active);
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
    55
        }
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
    56
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
    57
        update_disability() {
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    58
            this.animate_enable();
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    59
            if(this.enable_state) {
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
    60
                this.update_activity();
3107
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    61
            }
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    62
        }
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    63
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    64
        make_on_click() {
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    65
            let that = this;
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    66
            const name = this.args[0];
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    67
            return function(evt){
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
    68
                /* TODO: in order to allow jumps to page selected through for exemple a dropdown,
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
    69
                   support path pointing to local variable whom value 
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
    70
                   would be an HMI_TREE index and then jump to a relative page not hard-coded in advance */
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    71
                if(that.enable_state) {
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    72
                    const index = (that.is_relative && that.indexes.length > 0) ? that.indexes[0] + that.offset : undefined;
3512
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
    73
                    fading_page_switch(name, index);
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
    74
                }
3107
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    75
            }
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    76
        }
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    77
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    78
        notify_page_change(page_name, index) {
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    79
            if(this.activable) {
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    80
                const ref_index = this.indexes.length > 0 ? this.indexes[0] + this.offset : undefined;
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    81
                const ref_name = this.args[0];
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    82
                this.active = ((ref_name == undefined || ref_name == page_name) && index == ref_index);
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
    83
                this.update_state();
3107
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    84
            }
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    85
        }
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    86
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    87
        animate() {
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
    88
            this.update_state();
3107
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    89
        }
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
    90
||
2906
3b4a1319da09 SVGHMI: Jump widget, if it has a 'disabled' labeled element, reflects value of the pointed HMITree variable by showing this element when value is False, and behaving normaly otherwise.
Edouard Tisserant
parents: 2903
diff changeset
    91
}
3b4a1319da09 SVGHMI: Jump widget, if it has a 'disabled' labeled element, reflects value of the pointed HMITree variable by showing this element when value is False, and behaving normaly otherwise.
Edouard Tisserant
parents: 2903
diff changeset
    92
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    93
def "func:is_relative_jump" {
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    94
    param "widget";
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    95
    result "$widget/path and $widget/path[1]/@type='HMI_NODE' and not($widget/arg[position()>1 and @value = 'Absolute'])";
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    96
}
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    97
3232
7bdb766c2a4d SVGHMI: In order to allow widget signature and description to coexist in same ysl2 file, introduced widget_class, widget_defs to declare widget codegen templates and gen_index_xhtml to mark templates that are only usefull in gen_index_xhtml.xslt.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3107
diff changeset
    98
widget_defs("Jump") {
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
    99
    optional_activable();
3107
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
   100
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   101
    const "jump_disability","$has_activity and $has_disability";
3107
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
   102
2883
8e3d130399b0 SVGHMI: created widget_*.ysl2. Renamed widget_common in widgets_common, so that it doesn't match globing.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2882
diff changeset
   103
    |     init: function() {
3081
9e55061c87fa SVGHMI: more attempts to prevent losing memory in JS closure
Edouard Tisserant
parents: 2980
diff changeset
   104
    |         this.element.onclick = this.make_on_click();
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   105
    if "$has_activity" {
3107
ee0704cc6dc8 SVGHMI: Jump widget: switch to class based declaraion, and add some TODO comments to prepare for jump to relative page being selected through a DropDown widget.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3081
diff changeset
   106
    |         this.activable = true;
2903
881d0248b3ce SVGHMI: Jump widget can now display as active or inactive, if corresponfing "active" and "inactive labeled elements are provided.
Edouard Tisserant
parents: 2902
diff changeset
   107
    }
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
   108
    >         this.update_state = 
2953
15bebe9a2806 SVGHMI: apply per class overloading of sub/unsub to Jump widget
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2943
diff changeset
   109
    choose {
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   110
        when "$jump_disability" {
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
   111
            > this.update_disability
2953
15bebe9a2806 SVGHMI: apply per class overloading of sub/unsub to Jump widget
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2943
diff changeset
   112
        }
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   113
        when "$has_activity" {
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
   114
            > this.update_activity
2953
15bebe9a2806 SVGHMI: apply per class overloading of sub/unsub to Jump widget
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2943
diff changeset
   115
        }
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   116
        otherwise > function(){}
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   117
    }
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   118
    > ;\n
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   119
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   120
    >         this.is_relative = 
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   121
    choose{
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   122
        when "func:is_relative_jump(.)" > true
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   123
        otherwise > false
2906
3b4a1319da09 SVGHMI: Jump widget, if it has a 'disabled' labeled element, reflects value of the pointed HMITree variable by showing this element when value is False, and behaving normaly otherwise.
Edouard Tisserant
parents: 2903
diff changeset
   124
    }
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
   125
    > ;\n
2883
8e3d130399b0 SVGHMI: created widget_*.ysl2. Renamed widget_common in widgets_common, so that it doesn't match globing.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2882
diff changeset
   126
    |     },
3240
5f756332ada1 SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.
Edouard Tisserant
parents: 3107
diff changeset
   127
2753
9a7e12e96399 SVGHMI: Added XSLT transformation, Makefile to get XSLT from ysl2 (copy of plcopen/Makefile) and a minimal stylesheet to start with.
Edouard Tisserant
parents:
diff changeset
   128
}
2901
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   129
3232
7bdb766c2a4d SVGHMI: In order to allow widget signature and description to coexist in same ysl2 file, introduced widget_class, widget_defs to declare widget codegen templates and gen_index_xhtml to mark templates that are only usefull in gen_index_xhtml.xslt.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 3107
diff changeset
   130
widget_page("Jump"){
2901
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   131
    param "page_desc";
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   132
    /* jump is considered relative jump if first path points to HMI_NODE
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   133
       but a jump can be forced Absolute by adding a "Absolute" argument */
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   134
    if "func:is_relative_jump(.)" {
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   135
        /* if relative check that given path is compatible with page's reference path */
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   136
2901
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   137
        /* when no page name provided, check for same page */
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   138
        const "target_page_name" choose {
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   139
            when "arg" value "arg[1]/@value";
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   140
            otherwise value "$page_desc/arg[1]/@value";
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   141
        }
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   142
        const "target_page_path" choose {
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   143
            when "arg" value "$hmi_pages_descs[arg[1]/@value = $target_page_name]/path[1]/@value";
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   144
            otherwise value "$page_desc/path[1]/@value";
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   145
        }
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   146
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   147
        if "not(func:same_class_paths($target_page_path, path[1]/@value))"
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   148
            error > Jump id="«@id»" to page "«$target_page_name»" with incompatible path "«path[1]/@value» (must be same class as "«$target_page_path»")
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   149
2901
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   150
    }
3f5194bba67d SVGHMI: Jump widget now make errors if path given for relative jump doesn't match target page reference path class.
Edouard Tisserant
parents: 2900
diff changeset
   151
}
2942
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   152
3595
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   153
375626e60b63 SVGHMI: rework Jump widget to cope with Enable Expressions.
Edouard Tisserant
parents: 3577
diff changeset
   154
3577
6c7a7b22bec9 IDE+Runtime: fix exception when reconnecting with non-empty trace/force list.
Edouard Tisserant
parents: 3553
diff changeset
   155
/* TODO: move to detachable pages ysl2 */
3512
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   156
emit "cssdefs:jump"
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   157
||
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   158
.fade-out-page {
3553
406eb8a13648 SVGHMI: re-organize animate() to ensure that page fade-out is always visible, also make fade-out curve more aggressive to enhance visual feedback.
Edouard Tisserant
parents: 3515
diff changeset
   159
    animation: cubic-bezier(0, 0.8, 0.6, 1) fadeOut 0.6s both;
3512
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   160
}
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   161
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   162
@keyframes fadeOut {
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   163
    0% { opacity: 1; }
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   164
    100% { opacity: 0; }
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   165
}
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   166
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   167
||
fce3d407bb46 SVGHMI: add fading transition to make page switch feel more responsive on slow machines.
Edouard Tisserant
parents: 3242
diff changeset
   168
2943
304e88bae115 SVGHMI: added more meaningful namespaces to emit javascript code from.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2942
diff changeset
   169
emit "declarations:jump"
2942
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   170
||
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   171
var jumps_need_update = false;
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   172
var jump_history = [[default_page, undefined]];
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   173
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   174
function update_jumps() {
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   175
    page_desc[current_visible_page].jumps.map(w=>w.notify_page_change(current_visible_page,current_page_index));
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   176
    jumps_need_update = false;
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   177
};
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   178
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   179
||
b07ad97e6019 SVGHMI: moved JS code of foreach and jump widget in corresponding widget_*.ysl2. To be continued.
Edouard Tisserant <edouard.tisserant@gmail.com>
parents: 2912
diff changeset
   180