-
Select a Metric
+
Select a metric
No metrics registered. Deploy one first.
@@ -429,6 +465,35 @@
Select a Metric
return d.innerHTML;
}
+ function highlightDsl(text) {
+ return escHtml(text)
+ .replace(/\b(duration_where|has_existed|has_existed_within|latest_event_to_state|aggregate|group_by)\b/g,
+ '
$1')
+ .replace(/\b(count|sum|avg|min|max)\b/g, '
$1')
+ .replace(/"([^&]*)"/g, '
"$1"')
+ .replace(/\b(\d+)\b/g, '
$1')
+ .replace(/(&&|!=|==|\|\||!)/g, '
$1')
+ .replace(/(\|)(?!\|)/g, '
$1');
+ }
+
+ // Highlight static DSL block
+ document.querySelectorAll('.dsl-block').forEach(el => {
+ el.innerHTML = highlightDsl(el.textContent);
+ });
+
+ // Highlight DSL editor
+ const dslHighlight = document.getElementById('dsl-highlight');
+ const dslTextarea = document.getElementById('dsl-input');
+ function syncHighlight() {
+ dslHighlight.innerHTML = highlightDsl(dslTextarea.value) + '\n';
+ }
+ dslTextarea.addEventListener('input', syncHighlight);
+ dslTextarea.addEventListener('scroll', () => {
+ dslHighlight.scrollTop = dslTextarea.scrollTop;
+ dslHighlight.scrollLeft = dslTextarea.scrollLeft;
+ });
+ syncHighlight();
+
function fmt(n) {
if (n == null) return '—';
return typeof n === 'number' ? (Number.isInteger(n) ? n.toLocaleString() : n.toFixed(4)) : String(n);
@@ -522,9 +587,8 @@
Select a Metric
html += '
Metric: ' + escHtml(metric.name) + '
';
// Agent tree
- html += '
Agent Tree
';
- html += '
' +
- 'Agent names are: {session-id}-{metric-name}-{suffix}
';
+ html += '
Computation Graph' +
+ '?
';
for (const d of metric.derived_nodes) {
html += '