1

// widget_slider.ysl2

     2

     3

widget_desc("Slider") {

     4

    longdesc

     5

    || 

     6

    Slider - DEPRECATED - use ScrollBar or PathSlider instead

     7

    ||

     8

     9

    shortdesc > Slider - DEPRECATED - use ScrollBar instead

    10

    11

    path name="value" accepts="HMI_INT" > value

    12

    path name="range" accepts="HMI_INT" > range

    13

    path name="visible" accepts="HMI_INT" > visible

    14

    15

}

    16

    17

widget_class("Slider")

    18

    ||

    19

    class SliderWidget extends Widget{

    20

        frequency = 5;

    21

        range = undefined;

    22

        handle_orig = undefined;

    23

        scroll_size = undefined;

    24

        scroll_range = 0;

    25

        scroll_visible = 7;

    26

        min_size = 0.07;

    27

        fi = undefined;

    28

        curr_value = 0;

    29

        drag = false;

    30

        enTimer = false;

    31

        handle_click = undefined;

    32

        last_drag = false;

    33

    34

        dispatch(value,oldval, index) {

    35

            if (index == 0){

    36

                let [min,max,start,totallength] = this.range;

    37

                //save current value inside widget

    38

                this.curr_value = value;

    39

    40

                //check if in range

    41

                if (this.curr_value > max){

    42

                    this.curr_value = max;

    43

                    this.apply_hmi_value(0, this.curr_value);

    44

                }

    45

                else if (this.curr_value < min){

    46

                    this.curr_value = min;

    47

                    this.apply_hmi_value(0, this.curr_value);

    48

                }

    49

    50

                if(this.value_elt)

    51

                    this.value_elt.textContent = String(value);

    52

            }

    53

            else if(index == 1){

    54

                this.scroll_range = value;

    55

                this.set_scroll();

    56

            }

    57

            else if(index == 2){

    58

                this.scroll_visible = value;

    59

                this.set_scroll();

    60

            }

    61

    62

            //don't update if draging and setpoint ghost doesn't exist

    63

            if(!this.drag || (this.setpoint_elt != undefined)){

    64

                this.update_DOM(this.curr_value, this.handle_elt);

    65

            }

    66

        }

    67

    68

        set_scroll(){

    69

            //check if range is bigger than visible and set scroll size

    70

            if(this.scroll_range > this.scroll_visible){

    71

                this.scroll_size = this.scroll_range - this.scroll_visible;

    72

                this.range[0] = 0;

    73

                this.range[1] = this.scroll_size;

    74

            }

    75

            else{

    76

                this.scroll_size = 1;

    77

                this.range[0] = 0;

    78

                this.range[1] = 1;

    79

            }

    80

        }

    81

    82

        update_DOM(value, elt){

    83

            let [min,max,start,totallength] = this.range;

    84

            // check if handle is resizeable

    85

            if (this.scroll_size != undefined){ //size changes

    86

                //get parameters

    87

                let length = Math.max(min,Math.min(max,(Number(value)-min)*max/(max-min)));

    88

                let tip = this.range_elt.getPointAtLength(length);

    89

                let handle_min = totallength*this.min_size;

    90

    91

                let step = 1;

    92

                //check if range is bigger than  max displayed and recalculate step

    93

                if ((totallength/handle_min) < (max-min+1)){

    94

                    step = (max-min+1)/(totallength/handle_min-1);

    95

                }

    96

    97

                let kx,ky,offseY,offseX = undefined;

    98

                //scale on x or y axes

    99

                if (this.fi > 0.75){

   100

                    //get scale factor

   101

                    if(step > 1){

   102

                        ky = handle_min/this.handle_orig.height;

   103

                    }

   104

                    else{

   105

                        ky = (totallength-handle_min*(max-min))/this.handle_orig.height;

   106

                    }

   107

                    kx = 1;

   108

                    //get 0 offset to stay inside range

   109

                    offseY = start.y - (this.handle_orig.height + this.handle_orig.y) * ky;

   110

                    offseX = 0;

   111

                    //get distance from value

   112

                    tip.y =this.range_elt.getPointAtLength(0).y - length/step *handle_min;

   113

                }

   114

                else{

   115

                    //get scale factor

   116

                    if(step > 1){

   117

                        kx = handle_min/this.handle_orig.width;

   118

                    }

   119

                    else{

   120

                        kx = (totallength-handle_min*(max-min))/this.handle_orig.width;

   121

                    }

   122

                    ky = 1;

   123

                    //get 0 offset to stay inside range

   124

                    offseX = start.x - (this.handle_orig.x * kx);

   125

                    offseY = 0;

   126

                    //get distance from value

   127

                    tip.x =this.range_elt.getPointAtLength(0).x + length/step *handle_min;

   128

                }

   129

                elt.setAttribute('transform',"matrix("+(kx)+" 0 0 "+(ky)+" "+(tip.x-start.x+offseX)+" "+(tip.y-start.y+offseY)+")");

   130

            }

   131

            else{ //size stays the same

   132

                let length = Math.max(0,Math.min(totallength,(Number(value)-min)*totallength/(max-min)));

   133

                let tip = this.range_elt.getPointAtLength(length);

   134

                elt.setAttribute('transform',"translate("+(tip.x-start.x)+","+(tip.y-start.y)+")");

   135

            }

   136

   137

            // show or hide ghost if exists

   138

            if(this.setpoint_elt != undefined){

   139

                if(this.last_drag!= this.drag){

   140

                    if(this.drag){

   141

                        this.setpoint_elt.setAttribute("style", this.setpoint_style);

   142

                    }else{

   143

                        this.setpoint_elt.setAttribute("style", "display:none");

   144

                    }

   145

                    this.last_drag = this.drag;

   146

                }

   147

            }

   148

        }

   149

   150

        on_release(evt) {

   151

            //unbind events

   152

            window.removeEventListener("touchmove", this.on_bound_drag, true);

   153

            window.removeEventListener("mousemove", this.on_bound_drag, true);

   154

   155

            window.removeEventListener("mouseup", this.bound_on_release, true);

   156

            window.removeEventListener("touchend", this.bound_on_release, true);

   157

            window.removeEventListener("touchcancel", this.bound_on_release, true);

   158

   159

            //reset drag flag

   160

            if(this.drag){

   161

                this.drag = false;

   162

            }

   163

   164

            // get final position

   165

            this.update_position(evt);

   166

   167

        }

   168

   169

        on_drag(evt){

   170

            //ignore drag event for X amount of time and if not selected

   171

            if(this.enTimer && this.drag){

   172

                this.update_position(evt);

   173

   174

                //reset timer

   175

                this.enTimer = false;

   176

                setTimeout("{hmi_widgets['"+this.element_id+"'].enTimer = true;}", 100);

   177

            }

   178

        }

   179

   180

        update_position(evt){

   181

            var html_dist = 0;

   182

            let [min,max,start,totallength] = this.range;

   183

   184

            //calculate size of widget in html

   185

            var range_borders = this.range_elt.getBoundingClientRect();

   186

            var [minX,minY,maxX,maxY] = [range_borders.left,range_borders.bottom,range_borders.right,range_borders.top];

   187

            var range_length = Math.sqrt( range_borders.height*range_borders.height + range_borders.width*range_borders.width );

   188

   189

            //get range and mouse coordinates

   190

            var mouseX = undefined;

   191

            var mouseY = undefined;

   192

            if (evt.type.startsWith("touch")){

   193

                mouseX = Math.ceil(evt.touches[0].clientX);

   194

                mouseY = Math.ceil(evt.touches[0].clientY);

   195

            }

   196

            else{

   197

                mouseX = evt.pageX;

   198

                mouseY = evt.pageY;

   199

            }

   200

   201

            // calculate position

   202

            if (this.handle_click){ //if clicked on handle

   203

                let moveDist = 0, resizeAdd = 0;

   204

                let range_percent = 1;

   205

   206

                //set paramters for resizeable handle

   207

                if (this.scroll_size != undefined){

   208

                    // add one more object to stay inside range

   209

                    resizeAdd = 1;

   210

   211

                    //chack if range is bigger than display option and

   212

                    // calculate percent of range with out handle

   213

                    if(((max/(max*this.min_size)) < (max-min+1))){

   214

                        range_percent = 1-this.min_size;

   215

                    }

   216

                    else{

   217

                        range_percent = 1-(max-max*this.min_size*(max-min))/max;

   218

                    }

   219

                }

   220

   221

                //calculate value difference on x or y axis

   222

                if(this.fi > 0.7){

   223

                    moveDist = ((max-min+resizeAdd)/(range_length*range_percent))*((this.handle_click[1]-mouseY)/Math.sin(this.fi));

   224

                }

   225

                else{

   226

                    moveDist = ((max-min+resizeAdd)/(range_length*range_percent))*((mouseX-this.handle_click[0])/Math.cos(this.fi));

   227

                }

   228

   229

                this.curr_value = Math.ceil(this.handle_click[2] + moveDist);

   230

            }

   231

            else{ //if clicked on widget

   232

                //get handle distance from mouse position

   233

                if (minX > mouseX && minY < mouseY){

   234

                    html_dist = 0;

   235

                }

   236

                else if (maxX < mouseX && maxY > mouseY){

   237

                    html_dist = range_length;

   238

                }

   239

                else{

   240

                    if(this.fi > 0.7){

   241

                        html_dist = (minY - mouseY)/Math.sin(this.fi);

   242

                    }

   243

                    else{

   244

                        html_dist = (mouseX - minX)/Math.cos(this.fi);

   245

                    }

   246

                }

   247

                //calculate distance

   248

                this.curr_value=Math.ceil((html_dist/range_length)*(this.range[1]-this.range[0])+this.range[0]);

   249

            }

   250

   251

            //check if in range and apply

   252

            if (this.curr_value > max){

   253

                this.curr_value = max;

   254

            }

   255

            else if (this.curr_value < min){

   256

                this.curr_value = min;

   257

            }

   258

            this.apply_hmi_value(0, this.curr_value);

   259

   260

            //redraw handle

   261

            this.request_animate();

   262

   263

        }

   264

   265

        animate(){

   266

            // redraw handle on screen refresh

   267

            // check if setpoint(ghost) handle exsist otherwise update main handle

   268

            if(this.setpoint_elt != undefined){

   269

                this.update_DOM(this.curr_value, this.setpoint_elt);

   270

            }

   271

            else{

   272

                this.update_DOM(this.curr_value, this.handle_elt);

   273

            }

   274

        }

   275

   276

        on_select(evt){

   277

            //enable drag flag and timer

   278

            this.drag = true;

   279

            this.enTimer = true;

   280

   281

            //bind events

   282

            window.addEventListener("touchmove", this.on_bound_drag, true);

   283

            window.addEventListener("mousemove", this.on_bound_drag, true);

   284

   285

            window.addEventListener("mouseup", this.bound_on_release, true);

   286

            window.addEventListener("touchend", this.bound_on_release, true);

   287

            window.addEventListener("touchcancel", this.bound_on_release, true);

   288

   289

            // check if handle was pressed

   290

            if (evt.currentTarget == this.handle_elt){

   291

                //get mouse position on the handle

   292

                let mouseX = undefined;

   293

                let mouseY = undefined;

   294

                if (evt.type.startsWith("touch")){

   295

                    mouseX = Math.ceil(evt.touches[0].clientX);

   296

                    mouseY = Math.ceil(evt.touches[0].clientY);

   297

                }

   298

                else{

   299

                    mouseX = evt.pageX;

   300

                    mouseY = evt.pageY;

   301

                }

   302

                //save coordinates and orig value

   303

                this.handle_click = [mouseX,mouseY,this.curr_value];

   304

            }

   305

            else{

   306

                // get new handle position and reset if handle was not pressed

   307

                this.handle_click = undefined;

   308

                this.update_position(evt);

   309

            }

   310

   311

            //prevent next events

   312

            evt.stopPropagation();

   313

   314

        }

   315

   316

   317

        init() {

   318

            //set min max value if not defined

   319

            let min = this.min_elt ?

   320

                        Number(this.min_elt.textContent) :

   321

                        this.args.length >= 1 ? this.args[0] : 0;

   322

            let max = this.max_elt ?

   323

                        Number(this.max_elt.textContent) :

   324

                        this.args.length >= 2 ? this.args[1] : 100;

   325

   326

   327

            // save initial parameters

   328

            this.range_elt.style.strokeMiterlimit="0";

   329

            this.range = [min, max, this.range_elt.getPointAtLength(0),this.range_elt.getTotalLength()];

   330

            let start = this.range_elt.getPointAtLength(0);

   331

            let end = this.range_elt.getPointAtLength(this.range_elt.getTotalLength());

   332

            this.fi = Math.atan2(start.y-end.y, end.x-start.x);

   333

            this.handle_orig = this.handle_elt.getBBox();

   334

   335

            //bind functions

   336

            this.bound_on_select = this.on_select.bind(this);

   337

            this.bound_on_release = this.on_release.bind(this);

   338

            this.on_bound_drag = this.on_drag.bind(this);

   339

   340

            this.handle_elt.addEventListener("mousedown", this.bound_on_select);

   341

            this.element.addEventListener("mousedown", this.bound_on_select);

   342

            this.element.addEventListener("touchstart", this.bound_on_select);

   343

            //touch recognised as page drag without next command

   344

            document.body.addEventListener("touchstart", function(e){}, false);

   345

   346

            //save ghost style

   347

            if(this.setpoint_elt != undefined){

   348

                this.setpoint_style = this.setpoint_elt.getAttribute("style");

   349

                this.setpoint_elt.setAttribute("style", "display:none");

   350

            }

   351

   352

        }

   353

    }

   354

    ||

   355

   356

widget_defs("Slider") {

   357

    labels("handle range");

   358

    optional_labels("value min max setpoint");

   359

}