1

// widget_jump.ysl2

     2

     3

widget_desc("Jump") {

     4

    longdesc

     5

    ||

     6

    Jump widget brings focus to a different page. Mandatory first argument

     7

    gives name of the page.

     8

    10

    when jumping to a relative page.

    11

    12

    Additional arguments are unordered options:

    13

    14

    - Absolute: force page jump to be not relative even if first path is of type HMI_NODE

    15

    16

    - name=value: Notify jump by setting variable with path having same name assigned

    18

    "active"+"inactive" labeled elements can be provided and reflect current

    19

    page being shown.

    20

    21

    Exemples:

    23

    Relative jump:

    24

    25

    HMI:Jump:RelativePage@/PUMP9

    26

    HMI:Jump:RelativePage@/PUMP9@role=.userrole#role=="admin"

    27

    28

    Absolute jump:

    29

    30

    HMI:Jump:AbsolutePage

    31

    HMI:Jump:AbsolutePage@role=.userrole#role=="admin"

    32

    33

    Forced absolute jump:

    34

    35

    HMI:Jump:AbsolutePage:Absolute@/PUMP9

    36

    HMI:Jump:AbsolutePage:Absolute:notify=1@notify=/PUMP9

    37

    38

    ||

    39

    40

    shortdesc > Jump to given page

    41

    42

    arg name="page" accepts="string" > name of page to jump to

    43

    44

    path name="reference" count="optional" accepts="HMI_NODE" > reference for relative jump

    45

}

    46

    47

widget_class("Jump") {

    48

||

    49

        activable = false;

    50

        frequency = 2;

    51

    52

        make_on_click() {

    53

            let that = this;

    54

            const name = this.args[0];

    55

            return function(evt){

    61

                if(that.enable_state) {

    65

                    fading_page_switch(name, index);

    66

                }

    67

            }

    68

        }

    69

    70

        notify_page_change(page_name, index) {

    72

            if(this.activable) {

    73

                const ref_index = this.indexes.length > 0 ? this.indexes[0] + this.offset : undefined;

    74

                const ref_name = this.args[0];

    80

            }

    81

        }

    82

||

    83

}

    84

    85

def "func:is_relative_jump" {

    86

    param "widget";

    87

    result "$widget/path and $widget/path[1]/@type='HMI_NODE' and not($widget/arg[position()>1 and @value = 'Absolute'])";

    88

}

    89

    90

widget_defs("Jump") {

    91

    optional_activable();

    92

    93

    const "jump_disability","$has_activity and $has_disability";

    94

    95

    |     init: function() {

    96

    |         this.element.onclick = this.make_on_click();

    97

    if "$has_activity" {

    98

    |         this.activable = true;

    99

    }

   100

   101

    >         this.is_relative = 

   102

    choose{

   103

        when "func:is_relative_jump(.)" > true

   104

        otherwise > false

   105

    }

   106

    > ;\n

   107

    |     },

   108

   109

}

   110

   111

widget_page("Jump"){

   112

    param "page_desc";

   113

    /* jump is considered relative jump if first path points to HMI_NODE

   114

       but a jump can be forced Absolute by adding a "Absolute" argument */

   115

    if "func:is_relative_jump(.)" {

   116

        /* if relative check that given path is compatible with page's reference path */

   117

   118

        /* when no page name provided, check for same page */

   119

        const "target_page_name" choose {

   120

            when "arg" value "arg[1]/@value";

   121

            otherwise value "$page_desc/arg[1]/@value";

   122

        }

   123

        const "target_page_path" choose {

   124

            when "arg" value "$hmi_pages_descs[arg[1]/@value = $target_page_name]/path[1]/@value";

   125

            otherwise value "$page_desc/path[1]/@value";

   126

        }

   127

   128

        if "not(func:same_class_paths($target_page_path, path[1]/@value))"

   129

            error > Jump id="«@id»" to page "«$target_page_name»" with incompatible path "«path[1]/@value» (must be same class as "«$target_page_path»")

   130

   131

    }

   132

}

   133

   134

   135

   136

/* TODO: move to detachable pages ysl2 */

   137

emit "cssdefs:jump"

   138

||

   139

.fade-out-page {

   140

    animation: cubic-bezier(0, 0.8, 0.6, 1) fadeOut 0.6s both;

   141

}

   142

   143

@keyframes fadeOut {

   144

    0% { opacity: 1; }

   145

    100% { opacity: 0; }

   146

}

   147

   148

||

   149

   150

emit "declarations:jump"

   151

||

   152

var jumps_need_update = false;

   153

var jump_history = [[default_page, undefined]];

   154

   155

function update_jumps() {

   157

    page_desc[current_visible_page].jumps.map(w=>w.notify_page_change(current_visible_page,current_page_index));

   158

    jumps_need_update = false;

   159

};

   160

   161

||

   162