1

include yslt_noindent.yml2

     2

     3

// overrides yslt's output function to set CDATA

     4

decl output(method, cdata-section-elements="xhtml:script");

     5

     6

istylesheet

     7

            /* From Inkscape */

     8

            xmlns:dc="http://purl.org/dc/elements/1.1/"

     9

            xmlns:cc="http://creativecommons.org/ns#"

    10

            xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"

    11

            xmlns:svg="http://www.w3.org/2000/svg"

    12

            xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"

    13

            xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"

    14

            xmlns:xhtml="http://www.w3.org/1999/xhtml"

    15

    16

            /* Our namespace to invoke python code */

    17

            xmlns:ns="beremiz"

    18

            extension-element-prefixes="ns func"

    19

            exclude-result-prefixes="ns str regexp exsl func" {

    20

    21

    /* This retrieves geometry obtained through "inkscape -S"

    22

     * already parsed by python and presented as a list of

    23

     * <bbox x="0" y="0" w="42" h="42">

    24

     */

    25

    const "geometry", "ns:GetSVGGeometry()";

    26

    const "hmitree", "ns:GetHMITree()";

    27

    28

    const "hmi_elements", "//svg:*[starts-with(@inkscape:label, 'HMI:')]";

    29

    const "hmi_geometry", "$geometry[@Id = $hmi_elements/@id]";

    30

    31

    const "hmi_pages", "$hmi_elements[func:parselabel(@inkscape:label)/widget/@type = 'Page']";

    32

    33

    const "default_page" choose {

    34

        when "count($hmi_pages) > 1" {

    35

            const "Home_page", 

    36

                "$hmi_pages[func:parselabel(@inkscape:label)/widget/arg[1]/@value = 'Home']";

    37

            choose {

    38

                when "$Home_page" > Home

    39

                otherwise {

    40

                    error "No Home page defined!";

    41

                }

    42

            }

    43

        }

    44

        when "count($hmi_pages) = 0" {

    45

            error "No page defined!";

    46

        }

    47

        otherwise > «func:parselabel($hmi_pages/@inkscape:label)/widget/arg[1]/@value»

    48

    }

    49

    50

    const "_categories" {

    51

        noindex > HMI_ROOT

    52

        noindex > HMI_LABEL

    53

        noindex > HMI_CLASS

    54

        noindex > HMI_PLC_STATUS

    55

        noindex > HMI_CURRENT_PAGE

    56

    }

    57

    const "categories", "exsl:node-set($_categories)";

    58

    const "_indexed_hmitree" apply "$hmitree", mode="index";

    59

    const "indexed_hmitree", "exsl:node-set($_indexed_hmitree)";

    60

    61

    template "*", mode="index" {

    62

        param "index", "0";

    63

        param "parentpath", "''";

    64

        const "content" {

    65

            const "path"

    66

                choose {

    67

                    when "local-name() = 'HMI_ROOT'" > «$parentpath»

    68

                    otherwise > «$parentpath»/«@name»

    69

                }

    70

            choose {

    71

                when "not(local-name() = $categories/noindex)" {

    72

                    xsl:copy {

    73

                        attrib "index" > «$index»

    74

                        attrib "hmipath" > «$path»

    75

                        foreach "@*" xsl:copy;

    76

                    }

    77

                    /* no node expected below value nodes */

    78

                }

    79

                otherwise {

    80

                    apply "*[1]", mode="index"{

    81

                        with "index", "$index";

    82

                        with "parentpath" > «$path»

    83

                    }

    84

                }

    85

            }

    86

        }

    87

    88

        copy "$content";

    89

        apply "following-sibling::*[1]", mode="index" {

    90

            with "index", "$index + count(exsl:node-set($content)/*)";

    91

            with "parentpath" > «$parentpath»

    92

        }

    93

    }

    94

    95

    /* Identity template :

    96

     *  - copy every attributes 

    97

     *  - copy every sub-elements

    98

     */

    99

    template "@* | node()", mode="identity_svg" {

   100

      /* use real xsl:copy instead copy-of alias from yslt.yml2 */

   101

      xsl:copy apply "@* | node()", mode="identity_svg";

   102

    }

   103

   104

    /*const "mark" > =HMI=\n*/

   105

   106

    /* copy root node and add geometry as comment for a test */

   107

    template "/" { 

   108

        comment > Made with SVGHMI. https://beremiz.org

   109

        html xmlns="http://www.w3.org/1999/xhtml" {

   110

            head;

   111

            body style="margin:0;" {

   112

                xsl:copy {

   113

                    comment {

   114

                        apply "$hmi_geometry", mode="testgeo";

   115

                    }

   116

                    comment {

   117

                        apply "$hmitree", mode="testtree";

   118

                    }

   119

                    comment {

   120

                        apply "$indexed_hmitree", mode="testtree";

   121

                    }

   122

                    apply "@* | node()", mode="identity_svg";

   123

                }

   124

                script{

   125

                    call "scripts";

   126

                }

   127

            }

   128

        }

   129

    }

   130

   131

    func:function name="func:parselabel" {

   132

        param "label";

   133

        const "description", "substring-after($label,'HMI:')";

   134

   135

        const "_args", "substring-before($description,'@')";

   136

        const "args" choose {

   137

            when "$_args" value "$_args";

   138

            otherwise value "$description";

   139

        }

   140

   141

        const "_type", "substring-before($args,':')";

   142

        const "type" choose {

   143

            when "$_type" value "$_type";

   144

            otherwise value "$args";

   145

        }

   146

   147

        const "ast" if "$type" widget {

   148

            attrib "type" > «$type»

   149

            foreach "str:split(substring-after($args, ':'), ':')" {

   150

                arg {

   151

                    attrib "value" > «.»

   152

                }

   153

            }

   154

            const "paths", "substring-after($description,'@')";

   155

            foreach "str:split($paths, '@')" {

   156

                path {

   157

                    attrib "value" > «.»

   158

                }

   159

            }

   160

        }

   161

   162

        func:result select="exsl:node-set($ast)"

   163

    }

   164

   165

    function "scripts"

   166

    {

   167

        | //(function(){

   168

        |

   169

        | var hmi_hash = [«$hmitree/@hash»]; 

   170

   171

        /* TODO re-enable

   172

        ||

   173

        function evaluate_js_from_descriptions() {

   174

            var Page;

   175

            var Input;

   176

            var Display;

   177

            var res = [];

   178

        ||

   179

        const "midmark" > \n«$mark»

   180

        apply """//*[contains(child::svg:desc, $midmark) or \

   181

                     starts-with(child::svg:desc, $mark)]""",2 

   182

              mode="code_from_descs";

   183

        ||

   184

            return res;

   185

        }

   186

        ||

   187

        */

   188

   189

        | var hmi_widgets = {

   190

        foreach "$hmi_elements" {

   191

            const "widget", "func:parselabel(@inkscape:label)/widget";

   192

            | «@id»: {

   193

            |     type: "«$widget/@type»",

   194

            |     args: [

   195

            foreach "$widget/arg"

   196

            |         "«@value»"`if "position()!=last()" > ,`

   197

            |     ],

   198

            |     indexes: [

   199

            foreach "$widget/path" {

   200

                const "hmipath","@value";

   201

                const "hmitree_match","$indexed_hmitree/*[@hmipath = $hmipath]";

   202

                if "count($hmitree_match) = 0"

   203

                    error > No match for HMI «$hmipath»;

   204

            |         «$hmitree_match/@index»`if "position()!=last()" > ,`

   205

            }

   206

            |     ],

   207

            |     element: document.getElementById("«@id»"),

   208

            apply "$widget", mode="widget_defs" with "hmi_element",".";

   209

            | }`if "position()!=last()" > ,`

   210

        }

   211

        | }

   212

        |

   213

        | var hmitree_types = [

   214

   215

        foreach "$indexed_hmitree/*" {

   216

            | /* «@index»  «@hmipath» */ "«substring(local-name(), 5)»"`if "position()!=last()" > ,`

   217

        }

   218

   219

        | ]

   220

        |

   221

        | var page_desc = {

   222

   223

        foreach "$hmi_pages" {

   224

            const "desc", "func:parselabel(@inkscape:label)/widget";

   225

            const "page", "."; 

   226

            const "p", "$hmi_geometry[@Id = $page/@id]"; 

   227

            const "page_ids","""$hmi_geometry[@Id != $page/@id and 

   228

                                @x >= $p/@x and @y >= $p/@y and 

   229

                                @x+@w <= $p/@x+$p/@w and @y+@h <= $p/@y+$p/@h]/@Id""";

   230

            const "page_elements", "$hmi_elements[@id = $page_ids]";

   231

            |     "«$desc/arg[1]/@value»": {

   232

            |         id: "«@id»",

   233

            |         widgets: [

   234

            foreach "$page_ids" {

   235

            |             hmi_widgets.«.»`if "position()!=last()" > ,`

   236

            }

   237

            |         ]

   238

            |     }`if "position()!=last()" > ,`

   239

        }

   240

        | }

   241

   242

        |

   243

        | var default_page = "«$default_page»";

   244

   245

        include text svghmi.js

   246

        | //})();

   247

    }

   248

   249

    /*

   250

        Parses:

   251

        "HMI:WidgetType:param1:param2@path1@path2"

   252

   253

        Into:

   254

        widget type="WidgetType" {

   255

            arg value="param1";

   256

            arg value="param2";

   257

            path value="path1";

   258

            path value="path2";

   259

        }

   260

    */

   261

   262

    template "*", mode="page_desc" {

   263

    }

   264

   265

    template "*", mode="code_from_descs" {

   266

        ||

   267

        {

   268

            var path, role, name, priv;

   269

            var id = "«@id»";

   270

        ||

   271

   272

        /* if label is used, use it as default name */

   273

        if "@inkscape:label"

   274

            |> name = "«@inkscape:label»";

   275

   276

        | /* -------------- */

   277

   278

        // this breaks indent, but fixing indent could break string literals

   279

        value "substring-after(svg:desc, $mark)";

   280

        // nobody reads generated code anyhow...

   281

   282

        ||

   283

   284

            /* -------------- */

   285

            res.push({

   286

                path:path,

   287

                role:role,

   288

                name:name,

   289

                priv:priv

   290

            })

   291

        }

   292

        ||

   293

    }

   294

   295

   296

    template "bbox", mode="testgeo"{

   297

        | ID: «@Id» x: «@x» y: «@y» w: «@w» h: «@h»

   298

    }

   299

   300

    template "*", mode="testtree"{

   301

        param "indent", "''";

   302

        > «$indent» «local-name()» 

   303

        foreach "@*" > «local-name()»=«.» 

   304

        > \n

   305

        apply "*", mode="testtree" {

   306

            with "indent" value "concat($indent,'>')"

   307

        };

   308

    }

   309

   310

    template "widget[@type='Display']", mode="widget_defs" {

   311

        param "hmi_element";

   312

        | frequency: 5,

   313

        | dispatch: function(value) {

   314

        choose {

   315

            when "$hmi_element[self::svg:text]"{

   316

            // TODO : care about <tspan> ?

   317

        |   this.element.textContent = String(value);

   318

            }

   319

            otherwise {

   320

                error > Display widget as a group not implemented

   321

            }

   322

        }

   323

        | },

   324

   325

    }

   326

    template "widget[@type='Meter']", mode="widget_defs" {

   328

        | frequency: 10,

   350

    template "widget[@type='Input']", mode="widget_defs" {

   351

        param "hmi_element";

   352

        | frequency: 5,

   353

        const "value_elt_id","$hmi_element//*[self::svg:text][@inkscape:label='value'][1]/@id";

   354

        if "not($value_elt_id)" error > Input widget must have a text element

   355

        | value_elt: document.getElementById("«$value_elt_id»"),

   356

        | dispatch: function(value) {

   357

        |     this.value_elt.textContent = String(value);

   358

        | },

   359

        const "edit_elt_id","$hmi_element/*[@inkscape:label='edit'][1]/@id";

   360

        | init: function() {

   361

        if "$edit_elt_id" {

   362

        |     document.getElementById("«$edit_elt_id»").addEventListener(

   363

        |         "click", 

   364

        |         evt => alert('XXX TODO : Edit value'));

   365

        }

   366

        foreach "$hmi_element/*[regexp:test(@inkscape:label,'^[=+\-][0-9]+')]" {

   367

        |     document.getElementById("«@id»").addEventListener(

   368

        |         "click", 

   369

        |         evt => {let new_val = change_hmi_value(this.indexes[0], "«@inkscape:label»");

   370

        |                 this.value_elt.textContent = String(new_val);});

   371

                          /* could gray out value until refreshed */

   372

        }

   373

        | },

   374

    }

   375

    template "widget[@type='Button']", mode="widget_defs" {

   376

    }

   377

    template "widget[@type='Toggle']", mode="widget_defs" {

   378

        |     frequency: 5,

   379

    }

   380

    template "widget[@type='Change']", mode="widget_defs" {

   381

        // HMI:Change:-10@/PUMP/VALUE 

   382

        // HMI:Change:+1@/PUMP/VALUE 

   383

        // HMI:Change:=42@/PUMP/VALUE 

   384

        |     frequency: 5,

   385

    }

   386

    //    |     frequency: 10`apply ".", mode="refresh_frequency"`,

   387

    // template "widget", mode="refresh_frequency" > 10

   388

    /*

   389

    template "widget[@type='Meter']", mode="refresh_frequency" > 10

   390

    template "widget[@type='Display']", mode="refresh_frequency" > 5

   391

    template "widget[@type='Input']", mode="refresh_frequency" > 5

   392

    */

   393

}