linny-r 1.1.21 → 1.1.23

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "linny-r",
-  "version": "1.1.21",
+  "version": "1.1.23",
   "description": "Executable graphical language with WYSIWYG editor for MILP models",
   "main": "server.js",
   "scripts": {

package/static/index.html

@@ -159,7 +159,9 @@ SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
                       '[LINNY_R_VERSION]', v);
               // Update the version number in the browser's upper left corner
               document.getElementById('linny-r-version-number').innerHTML = v;
-              if(info[1] !== 'up-to-date') {
+              // NOTE: server detects "version 0" when npmjs website was
+              // not reached; if so, do not suggest a new version exists
+              if(info[1] !== 'up-to-date' && info[1] !== '0') {
                 // Inform user that newer version exists
                 UI.check_update_modal.element('msg').innerHTML = [
                     '<a href="', GITHUB_REPOSITORY,
@@ -1402,7 +1404,7 @@ and move the cursor over the status bar">
           <option value="1">Product</option>
           <option value="2">Cluster</option>
           <option value="3">Link</option>
-          <option value="4">Constraint</option>
+          <!-- <option value="4">Constraint</option> -->
           <option value="5">Actor</option>
           <option value="6">Dataset</option>
           <option value="7">Equation</option>
@@ -1818,7 +1820,7 @@ NOTE: * and ? will be interpreted as wildcards"
         <option value="1">Product</option>
         <option value="2">Cluster</option>
         <option value="3">Link</option>
-        <option value="4">Constraint</option>
+        <!-- <option value="4">Constraint</option> -->
         <option value="5">Actor</option>
         <option value="6">Dataset</option>
         <option value="7">Equation</option>
@@ -1955,7 +1957,7 @@ NOTE: * and ? will be interpreted as wildcards"
         <option value="1">Product</option>
         <option id="add-sa-variable-cluster" value="2">Cluster</option>
         <option value="3">Link</option>
-        <option value="4">Constraint</option>
+        <!-- <option value="4">Constraint</option> -->
         <option value="5">Actor</option>
         <option value="6">Dataset</option>
         <option id="add-sa-variable-equation" value="7">Equation</option>
@@ -2107,6 +2109,8 @@ NOTE: * and ? will be interpreted as wildcards"
         <div id="xv-no-scale" class="color-scale no-colors"></div>
         <img id="xv-copy-btn" class="btn enab" src="images/table-to-clpbrd.png"
              title="Copy table to clipboard (as HTML)">
+        <img id="xv-download-btn" class="btn enab" src="images/save-data.png"
+             title="Download results (CSV file)">
       </div>
     </div>
     <div id="experiment-resize" class="resizer"></div>
@@ -2151,6 +2155,83 @@ NOTE: * and ? will be interpreted as wildcards"
     </div>
   </div>
 
+  <!-- the DOWNLOAD dialog asks which outcomes to save, and how -->
+  <div id="xp-download-modal" class="modal">
+    <div id="xp-download-dlg" class="inp-dlg">
+      <div class="dlg-title">
+        Download results
+        <img class="cancel-btn" src="images/cancel.png">
+        <img class="ok-btn" src="images/ok.png">
+      </div>
+      <fieldset id="xp-download-variables">
+        <legend>Variables:</legend>
+        <div>
+          <input type="radio" id="xp-download-selected-v"
+                 name="variables" value="selected">
+          <label for="selected">Only the selected variable</label>
+        </div>
+        <div>
+          <input type="radio" id="xp-download-all-v"
+                 name="variables" value="all">
+          <label for="all">All variables (N =
+              <span id="xp-download-var-count"></span>)
+          </label>
+        </div>
+      </fieldset>
+      <fieldset id="xp-download-runs">
+        <legend>Runs:</legend>
+        <div>
+          <input type="radio" id="xp-download-selected-r"
+                 name="runs" value="selected">
+          <label for="selected">Only the selected
+              run<span id="xp-download-run-s">s</span>
+          </label>
+        </div>
+        <div>
+          <input type="radio" id="xp-download-all-r"
+                 name="runs" value="all">
+          <label for="all">All runs (N =
+              <span id="xp-download-run-count"></span>)
+          </label>
+        </div>
+      </fieldset>
+      <fieldset id="xp-download-data">
+        <legend>Data:</legend>
+        <div>
+          <input type="checkbox" id="xp-download-statistics" value="1">
+          <label for="stats">Statistics</label>
+        </div>
+        <div>
+          <input type="checkbox" id="xp-download-series" value="1">
+          <label for="series">Time series data</label>
+        </div>
+        <div>
+          <input type="checkbox" id="xp-download-solver" value="1">
+          <label for="series">Solver information</label>
+        </div>
+      </fieldset>
+      <fieldset id="xp-download-format">
+        <legend>Format:</legend>
+        <div style="margin-left: 5px">
+          <label for="xp-download-separator">Separator:</label>
+          <select id="xp-download-separator">
+            <option value="comma">Comma</option>
+            <option value="semicolon">Semicolon</option>
+            <option value="tab">Tab</option>
+          </select>
+          <label for="xp-download-quotes">String quotes:</label>
+          <select id="xp-download-quotes">
+            <option value="none">None</option>
+            <option value="single">Single</option>
+            <option value="double">Double</option>
+          </select>
+          <label for="xp-download-precision">Precision:</label>
+          <input type="text" id="xp-download-precision"> digits
+        </div>
+      </fieldset>
+    </div>
+  </div>
+
   <!-- the SETTINGS dialog permits editing the model settings dimensions -->
   <div id="xp-settings-modal" class="modal">
     <div id="xp-settings-dlg" class="inp-dlg">

package/static/linny-r.css

@@ -2966,9 +2966,9 @@ td.sa-not-run {
   display: none;
   z-index: 20;
   margin: 0;
-  width: 400px;
+  width: 425px;
   height: 275px;
-  min-width: 400px;
+  min-width: 425px;
   min-height: 250px;
   max-height: 99vh;
   max-width: 99vw;
@@ -3403,7 +3403,8 @@ div.no-colors {
 #sa-copy-btn,
 #sa-copy-data-btn,
 #xv-copy-btn,
-#xv-chart-btn {
+#xv-chart-btn,
+#xv-download-btn {
   display: inline-block;
   vertical-align: bottom;
   width: 19px;
@@ -3530,6 +3531,63 @@ span.sd-clear {
   margin-left: 5px;
 }
 
+/* the DOWNLOAD dialog prompts for selection of outcomes */
+#xp-download-dlg {
+  width: 335px;
+  height: 168px;
+}
+
+#xp-download-variables {
+  position: absolute;
+  top: 22px;
+  left: 1px;
+  width: 163px;
+  border: none;
+  padding-left: 0px;  
+}
+
+#xp-download-runs {
+  position: absolute;
+  top: 22px;
+  left: 180px;
+  width: 146px;
+  border: none;
+  padding-left: 0px;  
+}
+
+#xp-download-data {
+  position: absolute;
+  top: 84px;
+  left: 1px;
+  width: 163px;
+  border: none;
+  padding-left: 0px;  
+}
+
+#xp-download-format {
+  position: absolute;
+  top: 84px;
+  left: 180px;
+  width: 146px;
+  border: none;
+  padding-left: 0px;  
+}
+
+#xp-download-separator,
+#xp-download-quotes {
+  font-size: 11px;
+  height: 19px;
+  margin-bottom: 3px;
+}
+
+#xp-download-precision {
+  font-size: 12px;
+  height: 15px !important;
+  width: 20px;
+  text-align: center;  
+}
+
+
 /* the ACTOR DIMENSION dialog allows editing this dimension */
 #xp-actor-dimension-dlg {
   width: 150px;

package/static/scripts/linny-r-ctrl.js

@@ -738,8 +738,11 @@ class SensitivityAnalysis {
             oax = (obj ? obj.attributeExpression(vn[1]) : null);
         if(oax) {
           this.parameters.push(oax);
+        } else if(vn.length === 1 && obj instanceof Dataset) {
+          // Dataset without selector => push the dataset vector
+          this.parameters.push(obj.vector);
         } else {
-          UI.alert(`Parameter ${p} is not an expression`);
+          UI.alert(`Parameter ${p} is not a dataset or expression`);
         }
       }
       this.chart = new Chart(this.chart_title);
@@ -841,6 +844,7 @@ class SensitivityAnalysis {
     VM.halt();
     this.readyButtons();
     this.showProgress('');
+    this.must_pause = false;
   }
   
   clearResults() {

package/static/scripts/linny-r-gui.js

@@ -2808,7 +2808,7 @@ class ModalDialog {
   }
 
   show(name=null) {
-    // Makes dialog visible and focuses on element with  `focal`
+    // Makes dialog visible and focuses on element with `focal`
     this.modal.style.display = 'block';
     if(name) this.element(name).focus();
   }
@@ -10513,7 +10513,7 @@ class GUISensitivityAnalysis extends SensitivityAnalysis {
     this.base_selectors.addEventListener(
         'blur', () => SENSITIVITY_ANALYSIS.setBaseSelectors());
 
-    this.delta = document.getElementById('sa-delta');
+    this.delta = document.getElementById('sensitivity-delta');
     this.delta.addEventListener(
         'focus', () => SENSITIVITY_ANALYSIS.editDelta());
     this.delta.addEventListener(
@@ -10610,6 +10610,8 @@ class GUISensitivityAnalysis extends SensitivityAnalysis {
   }
   
   updateControlPanel() {
+    // Shows the control panel, or when the analysis is running the
+    // legend to the outcomes (also to prevent changes to parameters) 
     this.base_selectors.value = MODEL.base_case_selectors;
     this.delta.value = VM.sig4Dig(MODEL.sensitivity_delta);
     const tr = [];
@@ -10900,6 +10902,8 @@ class GUISensitivityAnalysis extends SensitivityAnalysis {
     // NOTE: clusters have no suitable attributes, and equations are endogenous
     md.element('cluster').style.display = 'none';
     md.element('equation').style.display = 'none';
+    // NOTE: update to ensure that valid attributes are selectable
+    X_EDIT.updateVariableBar('add-sa-');
     md.show();
   }
 
@@ -10909,6 +10913,8 @@ class GUISensitivityAnalysis extends SensitivityAnalysis {
     md.element('type').innerText = 'outcome';
     md.element('cluster').style.display = 'block';
     md.element('equation').style.display = 'block';
+    // NOTE: update to ensure that valid attributes are selectable
+    X_EDIT.updateVariableBar('add-sa-');
     md.show();
   }
 
@@ -10977,9 +10983,14 @@ class GUISensitivityAnalysis extends SensitivityAnalysis {
         a = md.selectedOption('attr').text;
     let n = '';
     if(e === 'Equation' && a) {
+      // For equations, the attribute denotes the name
       n = a;
     } else if(o && a) {
+      // Most variables are defined by name + attribute ...
       n = o + UI.OA_SEPARATOR + a;
+    } else if(e === 'Dataset' && o) {
+      // ... but for datasets the selector is optional
+      n = o;
     }
     if(n) {
       if(t === 'parameter' && MODEL.sensitivity_parameters.indexOf(n) < 0) {
@@ -11021,6 +11032,7 @@ class GUISensitivityAnalysis extends SensitivityAnalysis {
     this.start_btn.classList.add('off');
     this.pause_btn.classList.remove('off');
     this.stop_btn.classList.add('off');
+    this.must_pause = false;
     return paused;
   }
 
@@ -11029,6 +11041,7 @@ class GUISensitivityAnalysis extends SensitivityAnalysis {
     this.pause_btn.classList.add('off');
     this.stop_btn.classList.add('off');
     this.start_btn.classList.remove('off', 'blink');
+    this.must_pause = false;
   }
   
   pausedButtons(aci) {
@@ -11047,6 +11060,8 @@ class GUISensitivityAnalysis extends SensitivityAnalysis {
     this.readyButtons();
     this.reset_btn.classList.add('off');
     this.selected_run = -1;
+    this.must_pause = false;
+    this.progress.innerHTML = '';
     this.updateDialog();
   }
 
@@ -11293,6 +11308,8 @@ class GUIExperimentManager extends ExperimentManager {
         'click', () => EXPERIMENT_MANAGER.designMode());
     document.getElementById('xv-copy-btn').addEventListener(
         'click', () => EXPERIMENT_MANAGER.copyTableToClipboard());
+    document.getElementById('xv-download-btn').addEventListener(
+        'click', () => EXPERIMENT_MANAGER.promptForDownload());
     // The viewer's drop-down selectors
     document.getElementById('viewer-variable').addEventListener( 
         'change', () => EXPERIMENT_MANAGER.setVariable());
@@ -11391,6 +11408,12 @@ class GUIExperimentManager extends ExperimentManager {
     this.clusters_modal.element('delete-btn').addEventListener(
         'click', () => EXPERIMENT_MANAGER.deleteClusterFromIgnoreList());
 
+    this.download_modal = new ModalDialog('xp-download');
+    this.download_modal.ok.addEventListener(
+        'click', () => EXPERIMENT_MANAGER.downloadDataAsCSV());
+    this.download_modal.cancel.addEventListener(
+        'click', () => EXPERIMENT_MANAGER.download_modal.hide());
+
     // Initialize properties
     this.reset();
   }
@@ -11794,6 +11817,32 @@ class GUIExperimentManager extends ExperimentManager {
     }
   }
   
+  toggleChartRow(r, n, shift) {
+    // Toggle `n` consecutive rows, starting at row `r` (0 = top), to be
+    // (no longer) part of the chart combination set
+    const
+        x = this.selected_experiment,
+        // Let `n` be the number of the first run on row `r`
+        nconf = r * this.nr_of_configurations;
+    if(x && r < x.combinations.length / this.nr_of_configurations) {
+      // NOTE: first cell of row determines ADD or REMOVE
+      const add = x.chart_combinations.indexOf(n) < 0;
+      for(let i = 0; i < this.nr_of_configurations; i++) {
+        const ic = x.chart_combinations.indexOf(i);
+        if(add) {
+          if(ic < 0) x.chart_combinations.push(nconf + i);
+        } else {
+          if(!add) x.chart_combinations.splice(nconf + i, 1);        
+        }
+      }
+      this.updateData();
+    }
+  }
+
+  toggleChartColumn(c, shift) {
+    // Toggle column `c` (0 = leftmost) to be part of the chart combination set
+  }
+  
   toggleChartCombi(n, shift, alt) {
     // Set `n` to be the chart combination, or toggle if Shift-key is pressed,
     // or execute single run if Alt-key is pressed
@@ -12750,6 +12799,77 @@ N = ${rr.N}, vector length = ${rr.vector.length}` : '')].join('');
     UI.notify('Table copied to clipboard (as HTML)');
   }
   
+  promptForDownload() {
+    // Show the download modal
+    const x = this.selected_experiment;
+    if(!x) return;
+    const
+        md = this.download_modal,
+        ds = x.download_settings,
+        runs = x.runs.length,
+        sruns = x.chart_combinations.length;
+    if(!runs) {
+      UI.notify('No experiment results');
+      return;
+    }
+    md.element(ds.variables + '-v').checked = true;
+    // Disable "selected runs" button when no runs have been selected
+    if(sruns) {
+      md.element('selected-r').disabled = false;
+      md.element(ds.runs + '-r').checked = true;
+    } else {
+      md.element('selected-r').disabled = true;
+      // Check "all runs" but do not change download setting
+      md.element('all-r').checked = true;
+    }
+    this.download_modal.show();
+    md.element('statistics').checked = ds.statistics;
+    md.element('series').checked = ds.series;
+    md.element('solver').checked = ds.solver;
+    md.element('separator').value = ds.separator;
+    md.element('quotes').value = ds.quotes;
+    md.element('precision').value = ds.precision;
+    md.element('var-count').innerText = x.runs[0].results.length;
+    md.element('run-count').innerText = runs;
+    md.element('run-s').innerText = (sruns === 1 ? '' : 's');
+  }
+  
+  downloadDataAsCSV() {
+    // Push results to browser
+    if(this.selected_experiment) {
+      const md = this.download_modal;
+      this.selected_experiment.download_settings = {
+          variables: md.element('all-v').checked ? 'all' : 'selected',
+          runs: md.element('all-r').checked ? 'all' : 'selected',
+          statistics: md.element('statistics').checked,
+          series: md.element('series').checked,
+          solver: md.element('solver').checked,
+          separator: md.element('separator').value,
+          quotes: md.element('quotes').value,
+          precision: safeStrToInt(md.element('precision').value,
+              CONFIGURATION.results_precision),
+      };
+      md.hide();
+      const data = this.selected_experiment.resultsAsCSV;
+      if(data) {
+        UI.setMessage('CSV file size: ' + UI.sizeInBytes(data.length));
+        const el = document.getElementById('xml-saver');
+        el.href = 'data:attachment/text,' + encodeURI(data);
+        console.log('Encoded CSV file size:', el.href.length);
+        el.download = 'results.csv';
+        if(el.href.length > 25*1024*1024 &&
+            navigator.userAgent.search('Chrome') <= 0) {
+          UI.notify('CSV file size exceeds 25 MB. ' +
+              'If it does not download, select fewer runs');
+        }
+        el.click();
+        UI.normalCursor();
+      } else {
+        UI.notify('No data');
+      }
+    }
+  }
+  
 } // END of class GUIExperimentManager
 
 

package/static/scripts/linny-r-model.js

@@ -10,7 +10,7 @@ Linny-R project.
 */
 
 /*
-Copyright (c) 2017-2022 Delft University of Technology
+Copyright (c) 2017-2023 Delft University of Technology
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
@@ -2485,12 +2485,15 @@ class LinnyRModel {
     const ds_dict = {};
     for(let k in this.datasets) if(this.datasets.hasOwnProperty(k)) {
       const ds = this.datasets[k];
-      for(let m in ds.modifiers) if(ds.modifiers.hasOwnProperty(m)) {
-        const s = ds.modifiers[m].selector;
-        if(s in ds_dict) {
-          ds_dict[s].push(ds);
-        } else {
-          ds_dict[s] = [ds];
+      // NOTE: ignore selectors of the equations dataset
+      if(ds !== this.equations_dataset) {
+        for(let m in ds.modifiers) if(ds.modifiers.hasOwnProperty(m)) {
+          const s = ds.modifiers[m].selector;
+          if(s in ds_dict) {
+            ds_dict[s].push(ds);
+          } else {
+            ds_dict[s] = [ds];
+          }
         }
       }
     }
@@ -7482,71 +7485,7 @@ class Dataset {
     for(let k in this.modifiers) if(this.modifiers.hasOwnProperty(k)) {
       sl.push(this.modifiers[k].selector);
     }
-    return sl.sort((s1, s2) => {
-        // Dataset selectors comparison is case-insensitive, and puts wildcards
-        // last, where * comes later than ?
-        // NOTE: without wildcards, strings that are identical except for the
-        // digits they *end* on are sorted on this "end number" (so abc12 > abc2)
-        // NOTE: this also applies to percentages ("end number"+ %)
-        if(s1 === s2) return 0;
-        if(s1 === '*') return 1;
-        if(s2 === '*') return -1;
-        const
-            star1 = s1.indexOf('*'),
-            star2 = s2.indexOf('*');
-        if(star1 >= 0) {
-          if(star2 < 0) return 1;
-          return s1.localeCompare(s2);
-        }
-        if(star2 >= 0) return -1;  
-        // Replace ? by | because | has a higher ASCII value than all other chars
-        let s_1 = s1.replace('?', '|').toLowerCase(), 
-            s_2 = s2.replace('?', '|').toLowerCase(),
-            // NOTE: treat selectors ending on a number or percentage as special case
-            n_1 = endsWithDigits(s_1),
-            p_1 = (s1.endsWith('%') ? endsWithDigits(s1.slice(0, -1)) : '');
-        if(n_1) {
-          const
-              ss_1 = s1.slice(0, -n_1.length),
-              n_2 = endsWithDigits(s2);
-          if(n_2 && ss_1 === s2.slice(0, -n_2.length)) {
-            return parseInt(n_1) - parseInt(n_2);
-          }
-        } else if(p_1) {
-          const
-              ss_1 = s1.slice(0, -p_1.length - 1),
-              p_2 = (s2.endsWith('%') ? endsWithDigits(s2.slice(0, -1)) : '');
-          if(p_2 && ss_1 === s2.slice(0, -p_2.length - 1)) {
-            return parseInt(p_1) - parseInt(p_2);
-          }
-        }
-        // Also sort selectors ending on minuses lower than those ending on plusses,
-        // and such that X-- comes before X-, like X+ automatically comes before X++
-        // ASCII(+) = 43, ASCII(-) = 45, so replace trailing minuses by as many spaces
-        // (ASCII 32) and add a '!' (ASCII 33) -- this then "sorts things out"
-        let n = s_1.length,
-            i = n - 1;
-        while(i >= 0 && s_1[i] === '-') i--;
-        // If trailing minuses, replace by as many spaces and add an exclamation point
-        if(i < n - 1) {
-          s_1 = s_1.substr(0, i);
-          while(s_1.length < n) s_1 += ' ';
-          s_1 += '!';
-        }
-        // Do the same for the second "normalized" selector
-        n = s_2.length;
-        i = n - 1;
-        while(i >= 0 && s_2[i] === '-') i--;
-        if(i < n - 1) {
-          s_2 = s_2.substr(0, i);
-          while(s_2.length < n) s_2 += ' ';
-          s_2 += '!';
-        }
-        // Now compare the two "normalized" selectors
-        if(s_1 < s_2) return -1;
-        if(s_1 > s_2) return 1;
-        return 0;
-      });
+    return sl.sort(compareSelectors);
   }
 
   get plainSelectors() {
@@ -7708,9 +7647,11 @@ class Dataset {
   attributeExpression(a) {
     // Returns expression for selector `a`, or NULL if no such selector exists
     // NOTE: selectors no longer are case-sensitive
-    a = UI.nameToID(a);
-    for(let m in this.modifiers) if(this.modifiers.hasOwnProperty(m)) {
-      if(m === a) return this.modifiers[m].expression;
+    if(a) {
+      a = UI.nameToID(a);
+      for(let m in this.modifiers) if(this.modifiers.hasOwnProperty(m)) {
+        if(m === a) return this.modifiers[m].expression;
+      }
     }
     return null;
   }
@@ -7803,9 +7744,14 @@ class Dataset {
       p += ' outcome="1"';
     }
     if(this.black_box) p += ' black-box="1"';
-    const ml = [];
+    const ml = [],
+          sl = [];
     for(let m in this.modifiers) if(this.modifiers.hasOwnProperty(m)) {
-      ml.push(this.modifiers[m].asXML);
+      sl.push(m);
+    }
+    sl.sort(compareSelectors);
+    for(let i = 0; i < sl.length; i++) {
+      ml.push(this.modifiers[sl[i]].asXML);
     }
     // NOTE: "black-boxed" datasets are stored anonymously without comments
     const id = UI.nameToID(n);
@@ -9285,7 +9231,12 @@ class ExperimentRunResult {
         obj = MODEL.objectByID(this.object_id),
         dn = obj.displayName;
     // NOTE: for equations dataset, only display the modifier selector
-    if(obj === MODEL.equations_dataset) return this.attribute;
+    if(obj === MODEL.equations_dataset) {
+      const m = obj.modifiers[this.attribute.toLowerCase()];
+      if(m) return m.selector;
+      console.log('WARNING: Run result of non-existent equation', this.attribute);
+      return this.attribute;
+    }
     return (this.attribute ? dn + '|' + this.attribute : dn);
   }
 
@@ -9651,6 +9602,16 @@ class Experiment {
   constructor(n) {
     this.title = n;
     this.comments = '';
+    this.download_settings = {
+        variables: 'selected',
+        runs: 'selected',
+        statistics: true,
+        series: false,
+        solver: false,
+        separator: 'semicolon',
+        quotes: 'none',
+        precision: CONFIGURATION.results_precision
+      };
     this.dimensions = [];
     this.charts = [];
     this.actual_dimensions = [];
@@ -9774,6 +9735,14 @@ class Experiment {
       (this.completed ? '" completed="1' : ''),
       '" started="', this.time_started,
       '" stopped="', this.time_stopped,
+      '" variables="', this.download_settings.variables,
+      '" runs="', this.download_settings.runs,
+      '" statistics="', this.download_settings.statistics ? 1 : 0,
+      '" series="', this.download_settings.series ? 1 : 0,
+      '" solver="', this.download_settings.solver ? 1 : 0,
+      '" separator="', this.download_settings.separator,
+      '" quotes="', this.download_settings.quotes,
+      '" precision="', this.download_settings.precision,
       '"><title>', xmlEncoded(this.title),
       '</title><notes>', xmlEncoded(this.comments),
       '</notes><dimensions>', d,
@@ -9796,6 +9765,18 @@ class Experiment {
     this.completed = nodeParameterValue(node, 'completed') === '1';
     this.time_started = safeStrToInt(nodeParameterValue(node, 'started'));
     this.time_stopped = safeStrToInt(nodeParameterValue(node, 'stopped'));
+    // Restore last download dialog settings for this experiment 
+    this.download_settings = {
+        variables: nodeParameterValue(node, 'variables') || 'selected',
+        runs: nodeParameterValue(node, 'runs') || 'selected',
+        statistics: nodeParameterValue(node, 'statistics') !== '0',
+        series: nodeParameterValue(node, 'series') === '1',
+        solver: nodeParameterValue(node, 'solver') === '1',
+        separator: nodeParameterValue(node, 'separator') || 'semicolon',
+        quotes: nodeParameterValue(node, 'quotes') || 'none',
+        precision: safeStrToInt(nodeParameterValue(node, 'precision'),
+            CONFIGURATION.results_precision)
+      };
     this.title = xmlDecoded(nodeContentByTag(node, 'title'));
     this.comments = xmlDecoded(nodeContentByTag(node, 'notes'));
     let c, n = childNodeByTag(node, 'dimensions');
@@ -10021,6 +10002,135 @@ class Experiment {
     return null;
   }
 
+  get resultsAsCSV() {
+    // Return results as specfied by the download settings
+    // NOTE: no runs => no results => return empty string
+    if(this.runs.length === 0) return '';
+    const
+        // Local function to convert number to string
+        numval = (v, p) => {
+            // Return 0 as single digit
+            if(Math.abs(v) < VM.NEAR_ZERO) return '0';
+            // Return empty string for undefined or exceptional values
+            if(!v || v < VM.MINUS_INFINITY || v > VM.PLUS_INFINITY) return '';
+            // Return other values as float with specified precision
+            return v.toPrecision(p);
+          },
+        prec = this.download_settings.precision,
+        allruns = this.download_settings.runs === 'all',
+        sep = (this.download_settings.separator === 'tab' ? '\t' :
+              (this.download_settings.separator === 'comma' ? ',' : ';')),
+        quo = (this.download_settings.quotes === 'single' ? "'" :
+              (this.download_settings.quotes === 'double' ? '"' : '')),
+        vars = [],
+        data = {
+            nr: `${quo}Run number${quo}${sep}`,
+            combi: `${quo}Selectors${quo}${sep}`,
+            rsecs: `${quo}Run duration${quo}${sep}`,
+            ssecs: `${quo}Solver time${quo}${sep}`,
+            warnings: `${quo}Warnings${quo}${sep}`,
+            variable: `${quo}Variable${quo}${sep}`,
+            N: `${quo}N${quo}${sep}`,
+            sum: `${quo}Sum${quo}${sep}`,
+            mean: `${quo}Mean${quo}${sep}`,
+            variance: `${quo}Variance${quo}${sep}`,
+            minimum: `${quo}Minimum${quo}${sep}`,
+            maximum: `${quo}Maximum${quo}${sep}`,
+            NZ: `${quo}Non-zero${quo}${sep}`,
+            last: `${quo}Last${quo}${sep}`,
+            exceptions: `${quo}Exceptions${quo}${sep}`,
+            run: []
+          };
+    for(let i = 0; i < this.combinations.length; i++) {
+      if(i < this.runs.length &&
+          (allruns || this.chart_combinations.indexOf(i) >= 0)) {
+        data.run.push(i);
+      }
+    }
+    let series_length = 0,
+        // By default, assume all variables to be output
+        start = 0,
+        stop = this.runs[0].results.length;
+    if(this.download_settings.variables === 'selected') {
+      // Only one variable
+      start = this.resultIndex(this.selected_variable);
+      stop = start + 1;
+    }
+    for(let i = 0; i < data.run.length; i++) {
+      const
+          rnr = data.run[i],
+          r = this.runs[rnr];
+      data.nr += r.number;
+      data.combi += quo + this.combinations[rnr].join('|') + quo;
+      // Run duration in seconds
+      data.rsecs += numval((r.time_recorded - r.time_started) * 0.001, 4);
+      data.ssecs += numval(r.solver_seconds, 4);
+      data.warnings += r.warning_count;
+      for(let j = start; j < stop; j++) {
+        // Add empty cells for run attributes
+        data.nr += sep;
+        data.combi += sep;
+        data.rsecs += sep;
+        data.ssecs += sep;
+        data.warnings += sep;
+        const rr = r.results[j];
+        if(rr) {
+          data.variable += rr.displayName + sep;
+          // Series may differ in length; the longest determines the
+          // number of rows of series data to be added
+          series_length = Math.max(series_length, rr.vector.length);
+          if(this.download_settings.statistics) {
+            data.N += rr.N + sep;
+            data.sum += numval(rr.sum, prec) + sep;
+            data.mean += numval(rr.mean, prec) + sep;
+            data.variance += numval(rr.variance, prec) + sep;
+            data.minimum += numval(rr.minimum, prec) + sep;
+            data.maximum += numval(rr.maximum, prec) + sep;
+            data.NZ += rr.non_zero_tally + sep;
+            data.last += numval(rr.last, prec) + sep;
+            data.exceptions += rr.exceptions + sep;
+          }
+        } else {
+          console.log('No run results for ', this.variables[vars[j]].displayName);
+        }
+      }
+    }
+    const ds = [data.nr, data.combi];
+    if(this.download_settings.solver) {
+      ds.push(data.rsecs, data.ssecs, data.warnings);
+    }
+    // Always add the row with variable names
+    ds.push(data.variable);
+    if(this.download_settings.statistics) {
+      ds.push(data.N, data.sum, data.mean, data.variance, data.minimum,
+          data.maximum, data.NZ, data.last, data.exceptions);
+    }
+    if(this.download_settings.series) {
+      ds.push('t');
+      const row = [];
+      for(let i = 0; i < series_length; i++) {
+        row.length = 0;
+        row.push(i);
+        for(let j = 0; j < data.run.length; j++) {
+          const rnr = data.run[j];
+          for(let k = start; k < stop; k++) {
+            const rr = this.runs[rnr].results[k];
+            if(rr) {
+              // NOTE: only experiment variables have vector data
+              if(rr.x_variable && i <= rr.N) {
+                row.push(numval(rr.vector[i], prec));
+              } else {
+                row.push('');
+              }
+            }
+          }
+        }
+        ds.push(row.join(sep));
+      }
+    }
+    return ds.join('\n');
+  }
+  
 } // END of CLASS Experiment
 
 

package/static/scripts/linny-r-utils.js

@@ -9,7 +9,7 @@ This JavaScript file (linny-r-utils.js) defines a variety of "helper" functions
 that are used in other Linny-R modules.
 */
 /*
-Copyright (c) 2017-2022 Delft University of Technology
+Copyright (c) 2017-2023 Delft University of Technology
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
@@ -326,6 +326,72 @@ function escapeRegex(str) {
   return str.replace(/[-\/\\^$*+?.()|[\]{}]/g, '\\$&');
 }
 
+function compareSelectors(s1, s2) {
+  // Dataset selectors comparison is case-insensitive, and puts wildcards
+  // last, where * comes later than ?
+  // NOTE: without wildcards, strings that are identical except for the
+  // digits they *end* on are sorted on this "end number" (so abc12 > abc2)
+  // NOTE: this also applies to percentages ("end number"+ %)
+  if(s1 === s2) return 0;
+  if(s1 === '*') return 1;
+  if(s2 === '*') return -1;
+  const
+      star1 = s1.indexOf('*'),
+      star2 = s2.indexOf('*');
+  if(star1 >= 0) {
+    if(star2 < 0) return 1;
+    return s1.localeCompare(s2);
+  }
+  if(star2 >= 0) return -1;  
+  // Replace ? by | because | has a higher ASCII value than all other chars
+  let s_1 = s1.replace('?', '|').toLowerCase(), 
+      s_2 = s2.replace('?', '|').toLowerCase(),
+      // NOTE: treat selectors ending on a number or percentage as special case
+      n_1 = endsWithDigits(s_1),
+      p_1 = (s1.endsWith('%') ? endsWithDigits(s1.slice(0, -1)) : '');
+  if(n_1) {
+    const
+        ss_1 = s1.slice(0, -n_1.length),
+        n_2 = endsWithDigits(s2);
+    if(n_2 && ss_1 === s2.slice(0, -n_2.length)) {
+      return parseInt(n_1) - parseInt(n_2);
+    }
+  } else if(p_1) {
+    const
+        ss_1 = s1.slice(0, -p_1.length - 1),
+        p_2 = (s2.endsWith('%') ? endsWithDigits(s2.slice(0, -1)) : '');
+    if(p_2 && ss_1 === s2.slice(0, -p_2.length - 1)) {
+      return parseInt(p_1) - parseInt(p_2);
+    }
+  }
+  // Also sort selectors ending on minuses lower than those ending on plusses,
+  // and such that X-- comes before X-, like X+ automatically comes before X++
+  // ASCII(+) = 43, ASCII(-) = 45, so replace trailing minuses by as many spaces
+  // (ASCII 32) and add a '!' (ASCII 33) -- this then "sorts things out"
+  let n = s_1.length,
+      i = n - 1;
+  while(i >= 0 && s_1[i] === '-') i--;
+  // If trailing minuses, replace by as many spaces and add an exclamation point
+  if(i < n - 1) {
+    s_1 = s_1.substr(0, i);
+    while(s_1.length < n) s_1 += ' ';
+    s_1 += '!';
+  }
+  // Do the same for the second "normalized" selector
+  n = s_2.length;
+  i = n - 1;
+  while(i >= 0 && s_2[i] === '-') i--;
+  if(i < n - 1) {
+    s_2 = s_2.substr(0, i);
+    while(s_2.length < n) s_2 += ' ';
+    s_2 += '!';
+  }
+  // Now compare the two "normalized" selectors
+  if(s_1 < s_2) return -1;
+  if(s_1 > s_2) return 1;
+  return 0;
+}
+
 //
 // Functions that perform set-like operations on lists of string
 //

package/static/scripts/linny-r-vm.js

@@ -5182,7 +5182,16 @@ function VMI_push_var(x, args) {
   }
   if(Array.isArray(obj)) {
     // Object is a vector
-    x.push(t < obj.length ? obj[t] : VM.UNDEFINED);
+    let v = t < obj.length ? obj[t] : VM.UNDEFINED;
+    // NOTE: when the vector is the "active" parameter for sensitivity
+    // analysis, the value is multiplied by 1 + delta %
+    if(obj === MODEL.active_sensitivity_parameter) {
+      // NOTE: do NOT scale exceptional values
+      if(v > VM.MINUS_INFINITY && v < VM.PLUS_INFINITY) {
+        v *= (1 + MODEL.sensitivity_delta * 0.01);
+      }
+    }
+    x.push(v);
   } else if(xv) {
     // Variable references an earlier value computed for this expression `x`
     x.push(t >= 0 && t < x.vector.length ? x.vector[t] : obj.dv);
@@ -5315,8 +5324,10 @@ function VMI_push_dataset_modifier(x, args) {
         tot[1] + (tot[2] ? ':' + tot[2] : ''), ' value = ', VM.sig4Dig(v));
     console.log('  --', x.text, ' for owner ', x.object.displayName, x.attribute);
   }
-  // NOTE: unless error, push default value if exceptional ("undefined", etc.)
-  x.push(v < VM.PLUS_INFINITY ? v : ds.defaultValue);
+  // NOTE: if value is exceptional ("undefined", etc.), use default value
+  if(v >= VM.PLUS_INFINITY) v = ds.defaultValue;
+  // Finally, push the value onto the expression stack
+  x.push(v);
 }
 
 
@@ -6034,21 +6045,19 @@ function VMI_jump(x, index) {
 }
 
 function VMI_jump_if_false(x, index) {
-  // Pops the top number A from the stack, and if A is FALSE (zero or
+  // Tests the top number A of the stack, and if A is FALSE (zero or
   // VM.UNDEFINED) sets the program counter of the VM to `index` minus 1,
   // as the counter is ALWAYS increased by 1 after calling a VMI function
   const r = x.top(true);
-  // NOTE: FALSE indicates a stack error => skip this operation
-  if(r !== false) {
-    if(DEBUGGING) console.log(`JUMP-IF-FALSE (${r}, ${index})`);
-    if(r === 0 || r === VM.UNDEFINED) {
-      // Only jump on FALSE, leaving the stack "as is", so that in case
-      // of no THEN the expression result equals the IF condition value
-      x.program_counter = index - 1;
-    } else {
-      // Remove the value from the stack
-      x.stack.pop();
-    }
+  if(DEBUGGING) console.log(`JUMP-IF-FALSE (${r}, ${index})`);
+  if(r === 0 || r === VM.UNDEFINED || r === false) {
+    // Only jump on FALSE, leaving the stack "as is", so that in case
+    // of no THEN the expression result equals the IF condition value
+    // NOTE: Also do this on a stack error (r === false)
+    x.program_counter = index - 1;
+  } else {
+    // Remove the value from the stack
+    x.stack.pop();
   }
 }