yaroslav
/
SequenceDiagram
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bump dependencies

This commit is contained in:
David Evans 2021-10-23 15:27:58 +01:00
parent 1b7cf6ed36
commit 106dec5db5
9 changed files with 1294 additions and 2316 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

312
lib/sequence-diagram-web.js
View File

@ -465,28 +465,28 @@
/* eslint-disable sort-keys */ // Maybe later /* eslint-disable sort-keys */ // Maybe later
const FONT = 'Helvetica,Arial,Liberation Sans,sans-serif'; const FONT$3 = 'Helvetica,Arial,Liberation Sans,sans-serif';
const LINE_HEIGHT = 1.3; const LINE_HEIGHT$3 = 1.3;
const NOTE_ATTRS = { const NOTE_ATTRS$3 = {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
}; };
const DIVIDER_LABEL_ATTRS = { const DIVIDER_LABEL_ATTRS$3 = {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'middle', 'text-anchor': 'middle',
}; };
class BasicTheme extends BaseTheme { class BasicTheme extends BaseTheme {
constructor(svg) { constructor(svg) {
super(svg, { super(svg, {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
}); });
const sharedBlockSection = { const sharedBlockSection = {
@ -509,10 +509,10 @@
'ry': 2, 'ry': 2,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 9, 'font-size': 9,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -525,9 +525,9 @@
bottom: 1, bottom: 1,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -556,9 +556,9 @@
'stroke-width': 1, 'stroke-width': 1,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -581,9 +581,9 @@
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -601,9 +601,9 @@
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -675,15 +675,15 @@
padding: 6, padding: 6,
margin: {top: 2, bottom: 1}, margin: {top: 2, bottom: 1},
attrs: { attrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
loopbackAttrs: { loopbackAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
}, },
}, },
source: { source: {
@ -764,7 +764,7 @@
boxRenderer: svg.boxFactory({ boxRenderer: svg.boxFactory({
'fill': '#FFFFFF', 'fill': '#FFFFFF',
}), }),
labelAttrs: NOTE_ATTRS, labelAttrs: NOTE_ATTRS$3,
}, },
'note': { 'note': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
@ -779,7 +779,7 @@
'stroke': '#000000', 'stroke': '#000000',
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: NOTE_ATTRS, labelAttrs: NOTE_ATTRS$3,
}, },
'state': { 'state': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
@ -792,19 +792,19 @@
'rx': 10, 'rx': 10,
'ry': 10, 'ry': 10,
}), }),
labelAttrs: NOTE_ATTRS, labelAttrs: NOTE_ATTRS$3,
}, },
}, },
dividers: { dividers: {
'': { '': {
labelAttrs: DIVIDER_LABEL_ATTRS, labelAttrs: DIVIDER_LABEL_ATTRS$3,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
render: () => ({}), render: () => ({}),
}, },
'line': { 'line': {
labelAttrs: DIVIDER_LABEL_ATTRS, labelAttrs: DIVIDER_LABEL_ATTRS$3,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 0, margin: 0,
@ -815,7 +815,7 @@
}), }),
}, },
'delay': { 'delay': {
labelAttrs: DIVIDER_LABEL_ATTRS, labelAttrs: DIVIDER_LABEL_ATTRS$3,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
@ -825,7 +825,7 @@
}), }),
}, },
'tear': { 'tear': {
labelAttrs: DIVIDER_LABEL_ATTRS, labelAttrs: DIVIDER_LABEL_ATTRS$3,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 10, margin: 10,
@ -859,7 +859,7 @@
} }
} }
class Factory { class Factory$3 {
constructor() { constructor() {
this.name = 'basic'; this.name = 'basic';
} }
@ -871,28 +871,28 @@
/* eslint-disable sort-keys */ // Maybe later /* eslint-disable sort-keys */ // Maybe later
const FONT$1 = 'Helvetica,Arial,Liberation Sans,sans-serif'; const FONT$2 = 'Helvetica,Arial,Liberation Sans,sans-serif';
const LINE_HEIGHT$1 = 1.3; const LINE_HEIGHT$2 = 1.3;
const NOTE_ATTRS$1 = { const NOTE_ATTRS$2 = {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
}; };
const DIVIDER_LABEL_ATTRS$1 = { const DIVIDER_LABEL_ATTRS$2 = {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'middle', 'text-anchor': 'middle',
}; };
class ChunkyTheme extends BaseTheme { class ChunkyTheme extends BaseTheme {
constructor(svg) { constructor(svg) {
super(svg, { super(svg, {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
}); });
const sharedBlockSection = { const sharedBlockSection = {
@ -915,10 +915,10 @@
'ry': 3, 'ry': 3,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 9, 'font-size': 9,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -931,9 +931,9 @@
bottom: 1, bottom: 1,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -964,10 +964,10 @@
'ry': 4, 'ry': 4,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 14, 'font-size': 14,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -992,10 +992,10 @@
'ry': 4, 'ry': 4,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 14, 'font-size': 14,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -1013,10 +1013,10 @@
'stroke-width': 3, 'stroke-width': 3,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 14, 'font-size': 14,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -1095,15 +1095,15 @@
padding: 7, padding: 7,
margin: {top: 2, bottom: 3}, margin: {top: 2, bottom: 3},
attrs: { attrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
loopbackAttrs: { loopbackAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
}, },
}, },
source: { source: {
@ -1184,7 +1184,7 @@
boxRenderer: svg.boxFactory({ boxRenderer: svg.boxFactory({
'fill': '#FFFFFF', 'fill': '#FFFFFF',
}), }),
labelAttrs: NOTE_ATTRS$1, labelAttrs: NOTE_ATTRS$2,
}, },
'note': { 'note': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
@ -1200,7 +1200,7 @@
'stroke': '#000000', 'stroke': '#000000',
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: NOTE_ATTRS$1, labelAttrs: NOTE_ATTRS$2,
}, },
'state': { 'state': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
@ -1213,19 +1213,19 @@
'rx': 10, 'rx': 10,
'ry': 10, 'ry': 10,
}), }),
labelAttrs: NOTE_ATTRS$1, labelAttrs: NOTE_ATTRS$2,
}, },
}, },
dividers: { dividers: {
'': { '': {
labelAttrs: DIVIDER_LABEL_ATTRS$1, labelAttrs: DIVIDER_LABEL_ATTRS$2,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
render: () => ({}), render: () => ({}),
}, },
'line': { 'line': {
labelAttrs: DIVIDER_LABEL_ATTRS$1, labelAttrs: DIVIDER_LABEL_ATTRS$2,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 0, margin: 0,
@ -1238,7 +1238,7 @@
}), }),
}, },
'delay': { 'delay': {
labelAttrs: DIVIDER_LABEL_ATTRS$1, labelAttrs: DIVIDER_LABEL_ATTRS$2,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
@ -1248,7 +1248,7 @@
}), }),
}, },
'tear': { 'tear': {
labelAttrs: DIVIDER_LABEL_ATTRS$1, labelAttrs: DIVIDER_LABEL_ATTRS$2,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 10, margin: 10,
@ -1290,7 +1290,7 @@
} }
} }
class Factory$1 { class Factory$2 {
constructor() { constructor() {
this.name = 'chunky'; this.name = 'chunky';
} }
@ -2913,28 +2913,28 @@
/* eslint-disable sort-keys */ // Maybe later /* eslint-disable sort-keys */ // Maybe later
const FONT$2 = 'Courier New,Liberation Mono,monospace'; const FONT$1 = 'Courier New,Liberation Mono,monospace';
const LINE_HEIGHT$2 = 1.3; const LINE_HEIGHT$1 = 1.3;
const NOTE_ATTRS$2 = { const NOTE_ATTRS$1 = {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
}; };
const DIVIDER_LABEL_ATTRS$2 = { const DIVIDER_LABEL_ATTRS$1 = {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'middle', 'text-anchor': 'middle',
}; };
class MonospaceTheme extends BaseTheme { class MonospaceTheme extends BaseTheme {
constructor(svg) { constructor(svg) {
super(svg, { super(svg, {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
}); });
const sharedBlockSection = { const sharedBlockSection = {
@ -2957,10 +2957,10 @@
'ry': 3, 'ry': 3,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 9, 'font-size': 9,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -2973,9 +2973,9 @@
bottom: 2, bottom: 2,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -3004,9 +3004,9 @@
'stroke-width': 1, 'stroke-width': 1,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -3029,9 +3029,9 @@
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -3049,9 +3049,9 @@
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -3123,15 +3123,15 @@
padding: 4, padding: 4,
margin: {top: 2, bottom: 1}, margin: {top: 2, bottom: 1},
attrs: { attrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
loopbackAttrs: { loopbackAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
}, },
}, },
source: { source: {
@ -3206,7 +3206,7 @@
boxRenderer: svg.boxFactory({ boxRenderer: svg.boxFactory({
'fill': '#FFFFFF', 'fill': '#FFFFFF',
}), }),
labelAttrs: NOTE_ATTRS$2, labelAttrs: NOTE_ATTRS$1,
}, },
'note': { 'note': {
margin: {top: 0, left: 8, right: 8, bottom: 0}, margin: {top: 0, left: 8, right: 8, bottom: 0},
@ -3221,7 +3221,7 @@
'stroke': '#000000', 'stroke': '#000000',
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: NOTE_ATTRS$2, labelAttrs: NOTE_ATTRS$1,
}, },
'state': { 'state': {
margin: {top: 0, left: 8, right: 8, bottom: 0}, margin: {top: 0, left: 8, right: 8, bottom: 0},
@ -3234,19 +3234,19 @@
'rx': 8, 'rx': 8,
'ry': 8, 'ry': 8,
}), }),
labelAttrs: NOTE_ATTRS$2, labelAttrs: NOTE_ATTRS$1,
}, },
}, },
dividers: { dividers: {
'': { '': {
labelAttrs: DIVIDER_LABEL_ATTRS$2, labelAttrs: DIVIDER_LABEL_ATTRS$1,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
render: () => ({}), render: () => ({}),
}, },
'line': { 'line': {
labelAttrs: DIVIDER_LABEL_ATTRS$2, labelAttrs: DIVIDER_LABEL_ATTRS$1,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 8, extend: 8,
margin: 0, margin: 0,
@ -3257,7 +3257,7 @@
}), }),
}, },
'delay': { 'delay': {
labelAttrs: DIVIDER_LABEL_ATTRS$2, labelAttrs: DIVIDER_LABEL_ATTRS$1,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
@ -3267,7 +3267,7 @@
}), }),
}, },
'tear': { 'tear': {
labelAttrs: DIVIDER_LABEL_ATTRS$2, labelAttrs: DIVIDER_LABEL_ATTRS$1,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 8, extend: 8,
margin: 8, margin: 8,
@ -3306,7 +3306,7 @@
} }
} }
class Factory$2 { class Factory$1 {
constructor() { constructor() {
this.name = 'monospace'; this.name = 'monospace';
} }
@ -4062,7 +4062,7 @@
]; ];
/* eslint-disable no-control-regex */ // Removing control characters is the aim /* eslint-disable no-control-regex */ // Removing control characters is the aim
const CONTROL_CHARS = /[\x00-\x08\x0E-\x1F]/g; const CONTROL_CHARS$1 = /[\x00-\x08\x0E-\x1F]/g;
/* eslint-enable no-control-regex */ /* eslint-enable no-control-regex */
function tokFindBegin(src, i) { function tokFindBegin(src, i) {
@ -4145,7 +4145,7 @@
class TokenState { class TokenState {
constructor(src) { constructor(src) {
this.src = src.replace(CONTROL_CHARS, ''); this.src = src.replace(CONTROL_CHARS$1, '');
this.block = null; this.block = null;
this.token = null; this.token = null;
this.pos = {ch: 0, i: 0, ln: 0}; this.pos = {ch: 0, i: 0, ln: 0};
@ -4321,7 +4321,7 @@
} }
/* eslint-disable no-control-regex */ // Removing control characters is the aim /* eslint-disable no-control-regex */ // Removing control characters is the aim
const CONTROL_CHARS$1 = /[\x00-\x08\x0E-\x1F]/g; const CONTROL_CHARS = /[\x00-\x08\x0E-\x1F]/g;
/* eslint-enable no-control-regex */ /* eslint-enable no-control-regex */
const STYLES = [ const STYLES = [
@ -4388,17 +4388,17 @@
}, { }, {
all: {matcher: /\[([^\]]+)\]\(([^)]+?)(?: "([^"]+)")?\)/g, skip: 0}, all: {matcher: /\[([^\]]+)\]\(([^)]+?)(?: "([^"]+)")?\)/g, skip: 0},
attrs: (m) => ({ attrs: (m) => ({
'href': m[2].replace(CONTROL_CHARS$1, ''), 'href': m[2].replace(CONTROL_CHARS, ''),
'text-decoration': 'underline', 'text-decoration': 'underline',
}), }),
text: (m) => m[1].replace(CONTROL_CHARS$1, ''), text: (m) => m[1].replace(CONTROL_CHARS, ''),
}, { }, {
all: {matcher: /<([a-z]+:\/\/[^>]*)>/g, skip: 0}, all: {matcher: /<([a-z]+:\/\/[^>]*)>/g, skip: 0},
attrs: (m) => ({ attrs: (m) => ({
'href': m[1].replace(CONTROL_CHARS$1, ''), 'href': m[1].replace(CONTROL_CHARS, ''),
'text-decoration': 'underline', 'text-decoration': 'underline',
}), }),
text: (m) => m[1].replace(CONTROL_CHARS$1, ''), text: (m) => m[1].replace(CONTROL_CHARS, ''),
}, },
]; ];
@ -5378,7 +5378,7 @@
register('agent activation', new Activation()); register('agent activation', new Activation());
const OUTLINE_ATTRS = { const OUTLINE_ATTRS$4 = {
'class': 'outline', 'class': 'outline',
'fill': 'transparent', 'fill': 'transparent',
}; };
@ -5431,7 +5431,7 @@
env.makeRegion().add( env.makeRegion().add(
text, text,
env.svg.box(OUTLINE_ATTRS, { env.svg.box(OUTLINE_ATTRS$4, {
height: text.height, height: text.height,
width: text.width, width: text.width,
x: x - text.width / 2, x: x - text.width / 2,
@ -5477,7 +5477,7 @@
x, x,
y: y + d, y: y + d,
}), }),
env.svg.box(OUTLINE_ATTRS, { env.svg.box(OUTLINE_ATTRS$4, {
height: d * 2, height: d * 2,
width: d * 2, width: d * 2,
x: x - d, x: x - d,
@ -5537,7 +5537,7 @@
x: x - width / 2, x: x - width / 2,
y, y,
}), }),
env.svg.box(OUTLINE_ATTRS, { env.svg.box(OUTLINE_ATTRS$4, {
height, height,
width, width,
x: x - width / 2, x: x - width / 2,
@ -5602,7 +5602,7 @@
y: y - (isBegin ? config.extend : 0), y: y - (isBegin ? config.extend : 0),
})); }));
env.makeRegion().add(env.svg.box(OUTLINE_ATTRS, { env.makeRegion().add(env.svg.box(OUTLINE_ATTRS$4, {
height: config.height, height: config.height,
width: config.width, width: config.width,
x: x - config.width / 2, x: x - config.width / 2,
@ -5639,7 +5639,7 @@
const config = env.theme.agentCap.none; const config = env.theme.agentCap.none;
const w = 10; const w = 10;
env.makeRegion().add(env.svg.box(OUTLINE_ATTRS, { env.makeRegion().add(env.svg.box(OUTLINE_ATTRS$4, {
height: config.height, height: config.height,
width: w, width: w,
x: x - w / 2, x: x - w / 2,
@ -5742,7 +5742,7 @@
register('agent begin', new AgentCap(true)); register('agent begin', new AgentCap(true));
register('agent end', new AgentCap(false)); register('agent end', new AgentCap(false));
const OUTLINE_ATTRS$1 = { const OUTLINE_ATTRS$3 = {
'class': 'outline', 'class': 'outline',
'fill': 'transparent', 'fill': 'transparent',
}; };
@ -5810,7 +5810,7 @@
blockInfo.hold.add(tagRender.box); blockInfo.hold.add(tagRender.box);
env.lineMaskLayer.add(labelRender.box); env.lineMaskLayer.add(labelRender.box);
clickable.add( clickable.add(
env.svg.box(OUTLINE_ATTRS$1, { env.svg.box(OUTLINE_ATTRS$3, {
height: labelHeight, height: labelHeight,
width: agentInfoR.x - agentInfoL.x, width: agentInfoR.x - agentInfoL.x,
x: agentInfoL.x, x: agentInfoL.x,
@ -6570,7 +6570,7 @@
register('connect-delay-begin', new ConnectDelayBegin()); register('connect-delay-begin', new ConnectDelayBegin());
register('connect-delay-end', new ConnectDelayEnd()); register('connect-delay-end', new ConnectDelayEnd());
const OUTLINE_ATTRS$3 = { const OUTLINE_ATTRS$1 = {
'class': 'outline', 'class': 'outline',
'fill': 'transparent', 'fill': 'transparent',
}; };
@ -6649,7 +6649,7 @@
env.fullMaskLayer.add(mask); env.fullMaskLayer.add(mask);
env.makeRegion({unmasked: true}).add( env.makeRegion({unmasked: true}).add(
env.svg.box(OUTLINE_ATTRS$3, { env.svg.box(OUTLINE_ATTRS$1, {
'height': fullHeight, 'height': fullHeight,
'width': right.x - left.x + config.extend * 2, 'width': right.x - left.x + config.extend * 2,
'x': left.x - config.extend, 'x': left.x - config.extend,
@ -6698,12 +6698,12 @@
register('mark', new Mark()); register('mark', new Mark());
register('async', new Async()); register('async', new Async());
const OUTLINE_ATTRS$4 = { const OUTLINE_ATTRS = {
'class': 'outline', 'class': 'outline',
'fill': 'transparent', 'fill': 'transparent',
}; };
function findExtremes(agentInfos, agentIDs) { function findExtremes$1(agentInfos, agentIDs) {
let min = null; let min = null;
let max = null; let max = null;
agentIDs.forEach((id) => { agentIDs.forEach((id) => {
@ -6790,7 +6790,7 @@
env.makeRegion().add( env.makeRegion().add(
config.boxRenderer(boundingBox), config.boxRenderer(boundingBox),
env.svg.box(OUTLINE_ATTRS$4, boundingBox), env.svg.box(OUTLINE_ATTRS, boundingBox),
labelNode labelNode
); );
@ -6813,7 +6813,7 @@
config.padding.right config.padding.right
); );
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
const infoL = env.agentInfos.get(left); const infoL = env.agentInfos.get(left);
const infoR = env.agentInfos.get(right); const infoR = env.agentInfos.get(right);
if(infoL === infoR) { if(infoL === infoR) {
@ -6835,7 +6835,7 @@
render({agentIDs, mode, label}, env) { render({agentIDs, mode, label}, env) {
const config = env.theme.getNote(mode); const config = env.theme.getNote(mode);
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
const infoL = env.agentInfos.get(left); const infoL = env.agentInfos.get(left);
const infoR = env.agentInfos.get(right); const infoR = env.agentInfos.get(right);
if(infoL === infoR) { if(infoL === infoR) {
@ -6866,7 +6866,7 @@
separation({agentIDs, mode, label}, env) { separation({agentIDs, mode, label}, env) {
const config = env.theme.getNote(mode); const config = env.theme.getNote(mode);
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
const width = ( const width = (
env.textSizer.measure(config.labelAttrs, label).width + env.textSizer.measure(config.labelAttrs, label).width +
config.padding.left + config.padding.left +
@ -6892,7 +6892,7 @@
render({agentIDs, mode, label}, env) { render({agentIDs, mode, label}, env) {
const config = env.theme.getNote(mode); const config = env.theme.getNote(mode);
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
if(this.isRight) { if(this.isRight) {
const info = env.agentInfos.get(right); const info = env.agentInfos.get(right);
const x0 = info.x + info.currentMaxRad + config.margin.left; const x0 = info.x + info.currentMaxRad + config.margin.left;
@ -6916,7 +6916,7 @@
class NoteBetween extends NoteComponent { class NoteBetween extends NoteComponent {
separation({agentIDs, mode, label}, env) { separation({agentIDs, mode, label}, env) {
const config = env.theme.getNote(mode); const config = env.theme.getNote(mode);
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
const infoL = env.agentInfos.get(left); const infoL = env.agentInfos.get(left);
const infoR = env.agentInfos.get(right); const infoR = env.agentInfos.get(right);
@ -6935,7 +6935,7 @@
} }
render({agentIDs, mode, label}, env) { render({agentIDs, mode, label}, env) {
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
const infoL = env.agentInfos.get(left); const infoL = env.agentInfos.get(left);
const infoR = env.agentInfos.get(right); const infoR = env.agentInfos.get(right);
const xMid = ( const xMid = (
@ -7926,7 +7926,7 @@
} }
} }
function findExtremes$1(agentInfos, agentIDs) { function findExtremes(agentInfos, agentIDs) {
let min = null; let min = null;
let max = null; let max = null;
agentIDs.forEach((id) => { agentIDs.forEach((id) => {
@ -8221,7 +8221,7 @@
if(agentIDs.length === 0) { if(agentIDs.length === 0) {
return topY; return topY;
} }
const {left, right} = findExtremes$1(this.agentInfos, agentIDs); const {left, right} = findExtremes(this.agentInfos, agentIDs);
const leftX = this.agentInfos.get(left).x; const leftX = this.agentInfos.get(left).x;
const rightX = this.agentInfos.get(right).x; const rightX = this.agentInfos.get(right).x;
let baseY = topY; let baseY = topY;
@ -8237,7 +8237,7 @@
if(agentIDs.length === 0) { if(agentIDs.length === 0) {
return; return;
} }
const {left, right} = findExtremes$1(this.agentInfos, agentIDs); const {left, right} = findExtremes(this.agentInfos, agentIDs);
const leftX = this.agentInfos.get(left).x; const leftX = this.agentInfos.get(left).x;
const rightX = this.agentInfos.get(right).x; const rightX = this.agentInfos.get(right).x;
this.agentInfos.forEach((agentInfo) => { this.agentInfos.forEach((agentInfo) => {
@ -9116,9 +9116,9 @@
/* eslint-disable max-lines */ /* eslint-disable max-lines */
const FONT$3 = Handlee.name; const FONT = Handlee.name;
const FONT_FAMILY = FONT$3 + ',cursive'; const FONT_FAMILY = FONT + ',cursive';
const LINE_HEIGHT$3 = 1.5; const LINE_HEIGHT = 1.5;
const MAX_CHAOS = 5; const MAX_CHAOS = 5;
const PENCIL = { const PENCIL = {
@ -9136,16 +9136,16 @@
}, },
}; };
const NOTE_ATTRS$3 = { const NOTE_ATTRS = {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
}; };
const DIVIDER_LABEL_ATTRS$3 = { const DIVIDER_LABEL_ATTRS = {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'middle', 'text-anchor': 'middle',
}; };
@ -9184,9 +9184,9 @@
class SketchTheme extends BaseTheme { class SketchTheme extends BaseTheme {
constructor(svg, handedness = RIGHT) { constructor(svg, handedness = RIGHT) {
super(svg, { super(svg, {
'font-family': FONT$3, 'font-family': FONT,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
}); });
this.handedness = (handedness === RIGHT) ? 1 : -1; this.handedness = (handedness === RIGHT) ? 1 : -1;
@ -9210,7 +9210,7 @@
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 9, 'font-size': 9,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -9225,7 +9225,7 @@
labelAttrs: { labelAttrs: {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -9251,7 +9251,7 @@
labelAttrs: { labelAttrs: {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
boxRenderer: this.renderBox.bind(this), boxRenderer: this.renderBox.bind(this),
@ -9267,7 +9267,7 @@
labelAttrs: { labelAttrs: {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
boxRenderer: this.renderPerson.bind(this), boxRenderer: this.renderPerson.bind(this),
@ -9282,9 +9282,9 @@
arrowBottom: 5 + 12 * 1.3 / 2, arrowBottom: 5 + 12 * 1.3 / 2,
boxRenderer: this.renderDB.bind(this), boxRenderer: this.renderDB.bind(this),
labelAttrs: { labelAttrs: {
'font-family': FONT$3, 'font-family': FONT,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -9341,13 +9341,13 @@
attrs: { attrs: {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
loopbackAttrs: { loopbackAttrs: {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
}, },
}, },
source: { source: {
@ -9404,40 +9404,40 @@
boxRenderer: svg.boxFactory({ boxRenderer: svg.boxFactory({
'fill': '#FFFFFF', 'fill': '#FFFFFF',
}), }),
labelAttrs: NOTE_ATTRS$3, labelAttrs: NOTE_ATTRS,
}, },
'note': { 'note': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
padding: {top: 5, left: 5, right: 10, bottom: 5}, padding: {top: 5, left: 5, right: 10, bottom: 5},
overlap: {left: 10, right: 10}, overlap: {left: 10, right: 10},
boxRenderer: this.renderNote.bind(this), boxRenderer: this.renderNote.bind(this),
labelAttrs: NOTE_ATTRS$3, labelAttrs: NOTE_ATTRS,
}, },
'state': { 'state': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
padding: {top: 7, left: 7, right: 7, bottom: 7}, padding: {top: 7, left: 7, right: 7, bottom: 7},
overlap: {left: 10, right: 10}, overlap: {left: 10, right: 10},
boxRenderer: this.renderState.bind(this), boxRenderer: this.renderState.bind(this),
labelAttrs: NOTE_ATTRS$3, labelAttrs: NOTE_ATTRS,
}, },
}, },
dividers: { dividers: {
'': { '': {
labelAttrs: DIVIDER_LABEL_ATTRS$3, labelAttrs: DIVIDER_LABEL_ATTRS,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
render: () => ({}), render: () => ({}),
}, },
'line': { 'line': {
labelAttrs: DIVIDER_LABEL_ATTRS$3, labelAttrs: DIVIDER_LABEL_ATTRS,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 0, margin: 0,
render: this.renderLineDivider.bind(this), render: this.renderLineDivider.bind(this),
}, },
'delay': { 'delay': {
labelAttrs: DIVIDER_LABEL_ATTRS$3, labelAttrs: DIVIDER_LABEL_ATTRS,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
@ -9447,7 +9447,7 @@
}), }),
}, },
'tear': { 'tear': {
labelAttrs: DIVIDER_LABEL_ATTRS$3, labelAttrs: DIVIDER_LABEL_ATTRS,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 10, margin: 10,
@ -10031,7 +10031,7 @@
} }
} }
class Factory$3 { class Factory {
constructor(handedness = RIGHT) { constructor(handedness = RIGHT) {
const right = (handedness === RIGHT); const right = (handedness === RIGHT);
this.name = right ? 'sketch' : 'sketch left handed'; this.name = right ? 'sketch' : 'sketch left handed';
@ -10043,7 +10043,7 @@
} }
} }
Object.assign(Factory$3, {RIGHT, LEFT}); Object.assign(Factory, {RIGHT, LEFT});
const TRIMMER = /^([ \t]*)(.*)$/; const TRIMMER = /^([ \t]*)(.*)$/;
const SQUASH = { const SQUASH = {
@ -10280,11 +10280,11 @@
} }
const themes = [ const themes = [
new Factory(), new Factory$3(),
new Factory$2(),
new Factory$1(), new Factory$1(),
new Factory$3(Factory$3.RIGHT), new Factory$2(),
new Factory$3(Factory$3.LEFT), new Factory(Factory.RIGHT),
new Factory(Factory.LEFT),
]; ];
const SharedParser = new Parser(); const SharedParser = new Parser();
@ -10786,4 +10786,4 @@
Object.assign(window, out); Object.assign(window, out);
} }
}()); })();

320
lib/sequence-diagram.js
View File

@ -465,28 +465,28 @@
/* eslint-disable sort-keys */ // Maybe later /* eslint-disable sort-keys */ // Maybe later
const FONT = 'Helvetica,Arial,Liberation Sans,sans-serif'; const FONT$3 = 'Helvetica,Arial,Liberation Sans,sans-serif';
const LINE_HEIGHT = 1.3; const LINE_HEIGHT$3 = 1.3;
const NOTE_ATTRS = { const NOTE_ATTRS$3 = {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
}; };
const DIVIDER_LABEL_ATTRS = { const DIVIDER_LABEL_ATTRS$3 = {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'middle', 'text-anchor': 'middle',
}; };
class BasicTheme extends BaseTheme { class BasicTheme extends BaseTheme {
constructor(svg) { constructor(svg) {
super(svg, { super(svg, {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
}); });
const sharedBlockSection = { const sharedBlockSection = {
@ -509,10 +509,10 @@
'ry': 2, 'ry': 2,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 9, 'font-size': 9,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -525,9 +525,9 @@
bottom: 1, bottom: 1,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -556,9 +556,9 @@
'stroke-width': 1, 'stroke-width': 1,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -581,9 +581,9 @@
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -601,9 +601,9 @@
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -675,15 +675,15 @@
padding: 6, padding: 6,
margin: {top: 2, bottom: 1}, margin: {top: 2, bottom: 1},
attrs: { attrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
loopbackAttrs: { loopbackAttrs: {
'font-family': FONT, 'font-family': FONT$3,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT, 'line-height': LINE_HEIGHT$3,
}, },
}, },
source: { source: {
@ -764,7 +764,7 @@
boxRenderer: svg.boxFactory({ boxRenderer: svg.boxFactory({
'fill': '#FFFFFF', 'fill': '#FFFFFF',
}), }),
labelAttrs: NOTE_ATTRS, labelAttrs: NOTE_ATTRS$3,
}, },
'note': { 'note': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
@ -779,7 +779,7 @@
'stroke': '#000000', 'stroke': '#000000',
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: NOTE_ATTRS, labelAttrs: NOTE_ATTRS$3,
}, },
'state': { 'state': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
@ -792,19 +792,19 @@
'rx': 10, 'rx': 10,
'ry': 10, 'ry': 10,
}), }),
labelAttrs: NOTE_ATTRS, labelAttrs: NOTE_ATTRS$3,
}, },
}, },
dividers: { dividers: {
'': { '': {
labelAttrs: DIVIDER_LABEL_ATTRS, labelAttrs: DIVIDER_LABEL_ATTRS$3,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
render: () => ({}), render: () => ({}),
}, },
'line': { 'line': {
labelAttrs: DIVIDER_LABEL_ATTRS, labelAttrs: DIVIDER_LABEL_ATTRS$3,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 0, margin: 0,
@ -815,7 +815,7 @@
}), }),
}, },
'delay': { 'delay': {
labelAttrs: DIVIDER_LABEL_ATTRS, labelAttrs: DIVIDER_LABEL_ATTRS$3,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
@ -825,7 +825,7 @@
}), }),
}, },
'tear': { 'tear': {
labelAttrs: DIVIDER_LABEL_ATTRS, labelAttrs: DIVIDER_LABEL_ATTRS$3,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 10, margin: 10,
@ -859,7 +859,7 @@
} }
} }
class Factory { class Factory$3 {
constructor() { constructor() {
this.name = 'basic'; this.name = 'basic';
} }
@ -871,28 +871,28 @@
/* eslint-disable sort-keys */ // Maybe later /* eslint-disable sort-keys */ // Maybe later
const FONT$1 = 'Helvetica,Arial,Liberation Sans,sans-serif'; const FONT$2 = 'Helvetica,Arial,Liberation Sans,sans-serif';
const LINE_HEIGHT$1 = 1.3; const LINE_HEIGHT$2 = 1.3;
const NOTE_ATTRS$1 = { const NOTE_ATTRS$2 = {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
}; };
const DIVIDER_LABEL_ATTRS$1 = { const DIVIDER_LABEL_ATTRS$2 = {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'middle', 'text-anchor': 'middle',
}; };
class ChunkyTheme extends BaseTheme { class ChunkyTheme extends BaseTheme {
constructor(svg) { constructor(svg) {
super(svg, { super(svg, {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
}); });
const sharedBlockSection = { const sharedBlockSection = {
@ -915,10 +915,10 @@
'ry': 3, 'ry': 3,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 9, 'font-size': 9,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -931,9 +931,9 @@
bottom: 1, bottom: 1,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -964,10 +964,10 @@
'ry': 4, 'ry': 4,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 14, 'font-size': 14,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -992,10 +992,10 @@
'ry': 4, 'ry': 4,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 14, 'font-size': 14,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -1013,10 +1013,10 @@
'stroke-width': 3, 'stroke-width': 3,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 14, 'font-size': 14,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -1095,15 +1095,15 @@
padding: 7, padding: 7,
margin: {top: 2, bottom: 3}, margin: {top: 2, bottom: 3},
attrs: { attrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
loopbackAttrs: { loopbackAttrs: {
'font-family': FONT$1, 'font-family': FONT$2,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$1, 'line-height': LINE_HEIGHT$2,
}, },
}, },
source: { source: {
@ -1184,7 +1184,7 @@
boxRenderer: svg.boxFactory({ boxRenderer: svg.boxFactory({
'fill': '#FFFFFF', 'fill': '#FFFFFF',
}), }),
labelAttrs: NOTE_ATTRS$1, labelAttrs: NOTE_ATTRS$2,
}, },
'note': { 'note': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
@ -1200,7 +1200,7 @@
'stroke': '#000000', 'stroke': '#000000',
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: NOTE_ATTRS$1, labelAttrs: NOTE_ATTRS$2,
}, },
'state': { 'state': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
@ -1213,19 +1213,19 @@
'rx': 10, 'rx': 10,
'ry': 10, 'ry': 10,
}), }),
labelAttrs: NOTE_ATTRS$1, labelAttrs: NOTE_ATTRS$2,
}, },
}, },
dividers: { dividers: {
'': { '': {
labelAttrs: DIVIDER_LABEL_ATTRS$1, labelAttrs: DIVIDER_LABEL_ATTRS$2,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
render: () => ({}), render: () => ({}),
}, },
'line': { 'line': {
labelAttrs: DIVIDER_LABEL_ATTRS$1, labelAttrs: DIVIDER_LABEL_ATTRS$2,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 0, margin: 0,
@ -1238,7 +1238,7 @@
}), }),
}, },
'delay': { 'delay': {
labelAttrs: DIVIDER_LABEL_ATTRS$1, labelAttrs: DIVIDER_LABEL_ATTRS$2,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
@ -1248,7 +1248,7 @@
}), }),
}, },
'tear': { 'tear': {
labelAttrs: DIVIDER_LABEL_ATTRS$1, labelAttrs: DIVIDER_LABEL_ATTRS$2,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 10, margin: 10,
@ -1290,7 +1290,7 @@
} }
} }
class Factory$1 { class Factory$2 {
constructor() { constructor() {
this.name = 'chunky'; this.name = 'chunky';
} }
@ -2913,28 +2913,28 @@
/* eslint-disable sort-keys */ // Maybe later /* eslint-disable sort-keys */ // Maybe later
const FONT$2 = 'Courier New,Liberation Mono,monospace'; const FONT$1 = 'Courier New,Liberation Mono,monospace';
const LINE_HEIGHT$2 = 1.3; const LINE_HEIGHT$1 = 1.3;
const NOTE_ATTRS$2 = { const NOTE_ATTRS$1 = {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
}; };
const DIVIDER_LABEL_ATTRS$2 = { const DIVIDER_LABEL_ATTRS$1 = {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'middle', 'text-anchor': 'middle',
}; };
class MonospaceTheme extends BaseTheme { class MonospaceTheme extends BaseTheme {
constructor(svg) { constructor(svg) {
super(svg, { super(svg, {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
}); });
const sharedBlockSection = { const sharedBlockSection = {
@ -2957,10 +2957,10 @@
'ry': 3, 'ry': 3,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 9, 'font-size': 9,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -2973,9 +2973,9 @@
bottom: 2, bottom: 2,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -3004,9 +3004,9 @@
'stroke-width': 1, 'stroke-width': 1,
}, },
labelAttrs: { labelAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -3029,9 +3029,9 @@
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -3049,9 +3049,9 @@
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: { labelAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -3123,15 +3123,15 @@
padding: 4, padding: 4,
margin: {top: 2, bottom: 1}, margin: {top: 2, bottom: 1},
attrs: { attrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
loopbackAttrs: { loopbackAttrs: {
'font-family': FONT$2, 'font-family': FONT$1,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$2, 'line-height': LINE_HEIGHT$1,
}, },
}, },
source: { source: {
@ -3206,7 +3206,7 @@
boxRenderer: svg.boxFactory({ boxRenderer: svg.boxFactory({
'fill': '#FFFFFF', 'fill': '#FFFFFF',
}), }),
labelAttrs: NOTE_ATTRS$2, labelAttrs: NOTE_ATTRS$1,
}, },
'note': { 'note': {
margin: {top: 0, left: 8, right: 8, bottom: 0}, margin: {top: 0, left: 8, right: 8, bottom: 0},
@ -3221,7 +3221,7 @@
'stroke': '#000000', 'stroke': '#000000',
'stroke-width': 1, 'stroke-width': 1,
}), }),
labelAttrs: NOTE_ATTRS$2, labelAttrs: NOTE_ATTRS$1,
}, },
'state': { 'state': {
margin: {top: 0, left: 8, right: 8, bottom: 0}, margin: {top: 0, left: 8, right: 8, bottom: 0},
@ -3234,19 +3234,19 @@
'rx': 8, 'rx': 8,
'ry': 8, 'ry': 8,
}), }),
labelAttrs: NOTE_ATTRS$2, labelAttrs: NOTE_ATTRS$1,
}, },
}, },
dividers: { dividers: {
'': { '': {
labelAttrs: DIVIDER_LABEL_ATTRS$2, labelAttrs: DIVIDER_LABEL_ATTRS$1,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
render: () => ({}), render: () => ({}),
}, },
'line': { 'line': {
labelAttrs: DIVIDER_LABEL_ATTRS$2, labelAttrs: DIVIDER_LABEL_ATTRS$1,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 8, extend: 8,
margin: 0, margin: 0,
@ -3257,7 +3257,7 @@
}), }),
}, },
'delay': { 'delay': {
labelAttrs: DIVIDER_LABEL_ATTRS$2, labelAttrs: DIVIDER_LABEL_ATTRS$1,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
@ -3267,7 +3267,7 @@
}), }),
}, },
'tear': { 'tear': {
labelAttrs: DIVIDER_LABEL_ATTRS$2, labelAttrs: DIVIDER_LABEL_ATTRS$1,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 8, extend: 8,
margin: 8, margin: 8,
@ -3306,7 +3306,7 @@
} }
} }
class Factory$2 { class Factory$1 {
constructor() { constructor() {
this.name = 'monospace'; this.name = 'monospace';
} }
@ -4062,7 +4062,7 @@
]; ];
/* eslint-disable no-control-regex */ // Removing control characters is the aim /* eslint-disable no-control-regex */ // Removing control characters is the aim
const CONTROL_CHARS = /[\x00-\x08\x0E-\x1F]/g; const CONTROL_CHARS$1 = /[\x00-\x08\x0E-\x1F]/g;
/* eslint-enable no-control-regex */ /* eslint-enable no-control-regex */
function tokFindBegin(src, i) { function tokFindBegin(src, i) {
@ -4145,7 +4145,7 @@
class TokenState { class TokenState {
constructor(src) { constructor(src) {
this.src = src.replace(CONTROL_CHARS, ''); this.src = src.replace(CONTROL_CHARS$1, '');
this.block = null; this.block = null;
this.token = null; this.token = null;
this.pos = {ch: 0, i: 0, ln: 0}; this.pos = {ch: 0, i: 0, ln: 0};
@ -4321,7 +4321,7 @@
} }
/* eslint-disable no-control-regex */ // Removing control characters is the aim /* eslint-disable no-control-regex */ // Removing control characters is the aim
const CONTROL_CHARS$1 = /[\x00-\x08\x0E-\x1F]/g; const CONTROL_CHARS = /[\x00-\x08\x0E-\x1F]/g;
/* eslint-enable no-control-regex */ /* eslint-enable no-control-regex */
const STYLES = [ const STYLES = [
@ -4388,17 +4388,17 @@
}, { }, {
all: {matcher: /\[([^\]]+)\]\(([^)]+?)(?: "([^"]+)")?\)/g, skip: 0}, all: {matcher: /\[([^\]]+)\]\(([^)]+?)(?: "([^"]+)")?\)/g, skip: 0},
attrs: (m) => ({ attrs: (m) => ({
'href': m[2].replace(CONTROL_CHARS$1, ''), 'href': m[2].replace(CONTROL_CHARS, ''),
'text-decoration': 'underline', 'text-decoration': 'underline',
}), }),
text: (m) => m[1].replace(CONTROL_CHARS$1, ''), text: (m) => m[1].replace(CONTROL_CHARS, ''),
}, { }, {
all: {matcher: /<([a-z]+:\/\/[^>]*)>/g, skip: 0}, all: {matcher: /<([a-z]+:\/\/[^>]*)>/g, skip: 0},
attrs: (m) => ({ attrs: (m) => ({
'href': m[1].replace(CONTROL_CHARS$1, ''), 'href': m[1].replace(CONTROL_CHARS, ''),
'text-decoration': 'underline', 'text-decoration': 'underline',
}), }),
text: (m) => m[1].replace(CONTROL_CHARS$1, ''), text: (m) => m[1].replace(CONTROL_CHARS, ''),
}, },
]; ];
@ -4455,7 +4455,7 @@
return best; return best;
} }
function combineAttrs(active) { function combineAttrs$1(active) {
const attrs = {}; const attrs = {};
const decorations = []; const decorations = [];
let any = false; let any = false;
@ -4535,7 +4535,7 @@
const parts = []; const parts = [];
findStyles(shrinkWhitespace(trimCollapsible(line)), active, (text) => { findStyles(shrinkWhitespace(trimCollapsible(line)), active, (text) => {
if(text) { if(text) {
parts.push({attrs: combineAttrs(active), text}); parts.push({attrs: combineAttrs$1(active), text});
} }
}); });
return parts; return parts;
@ -5378,7 +5378,7 @@
register('agent activation', new Activation()); register('agent activation', new Activation());
const OUTLINE_ATTRS = { const OUTLINE_ATTRS$4 = {
'class': 'outline', 'class': 'outline',
'fill': 'transparent', 'fill': 'transparent',
}; };
@ -5431,7 +5431,7 @@
env.makeRegion().add( env.makeRegion().add(
text, text,
env.svg.box(OUTLINE_ATTRS, { env.svg.box(OUTLINE_ATTRS$4, {
height: text.height, height: text.height,
width: text.width, width: text.width,
x: x - text.width / 2, x: x - text.width / 2,
@ -5477,7 +5477,7 @@
x, x,
y: y + d, y: y + d,
}), }),
env.svg.box(OUTLINE_ATTRS, { env.svg.box(OUTLINE_ATTRS$4, {
height: d * 2, height: d * 2,
width: d * 2, width: d * 2,
x: x - d, x: x - d,
@ -5537,7 +5537,7 @@
x: x - width / 2, x: x - width / 2,
y, y,
}), }),
env.svg.box(OUTLINE_ATTRS, { env.svg.box(OUTLINE_ATTRS$4, {
height, height,
width, width,
x: x - width / 2, x: x - width / 2,
@ -5602,7 +5602,7 @@
y: y - (isBegin ? config.extend : 0), y: y - (isBegin ? config.extend : 0),
})); }));
env.makeRegion().add(env.svg.box(OUTLINE_ATTRS, { env.makeRegion().add(env.svg.box(OUTLINE_ATTRS$4, {
height: config.height, height: config.height,
width: config.width, width: config.width,
x: x - config.width / 2, x: x - config.width / 2,
@ -5639,7 +5639,7 @@
const config = env.theme.agentCap.none; const config = env.theme.agentCap.none;
const w = 10; const w = 10;
env.makeRegion().add(env.svg.box(OUTLINE_ATTRS, { env.makeRegion().add(env.svg.box(OUTLINE_ATTRS$4, {
height: config.height, height: config.height,
width: w, width: w,
x: x - w / 2, x: x - w / 2,
@ -5742,7 +5742,7 @@
register('agent begin', new AgentCap(true)); register('agent begin', new AgentCap(true));
register('agent end', new AgentCap(false)); register('agent end', new AgentCap(false));
const OUTLINE_ATTRS$1 = { const OUTLINE_ATTRS$3 = {
'class': 'outline', 'class': 'outline',
'fill': 'transparent', 'fill': 'transparent',
}; };
@ -5810,7 +5810,7 @@
blockInfo.hold.add(tagRender.box); blockInfo.hold.add(tagRender.box);
env.lineMaskLayer.add(labelRender.box); env.lineMaskLayer.add(labelRender.box);
clickable.add( clickable.add(
env.svg.box(OUTLINE_ATTRS$1, { env.svg.box(OUTLINE_ATTRS$3, {
height: labelHeight, height: labelHeight,
width: agentInfoR.x - agentInfoL.x, width: agentInfoR.x - agentInfoL.x,
x: agentInfoL.x, x: agentInfoL.x,
@ -6570,7 +6570,7 @@
register('connect-delay-begin', new ConnectDelayBegin()); register('connect-delay-begin', new ConnectDelayBegin());
register('connect-delay-end', new ConnectDelayEnd()); register('connect-delay-end', new ConnectDelayEnd());
const OUTLINE_ATTRS$3 = { const OUTLINE_ATTRS$1 = {
'class': 'outline', 'class': 'outline',
'fill': 'transparent', 'fill': 'transparent',
}; };
@ -6649,7 +6649,7 @@
env.fullMaskLayer.add(mask); env.fullMaskLayer.add(mask);
env.makeRegion({unmasked: true}).add( env.makeRegion({unmasked: true}).add(
env.svg.box(OUTLINE_ATTRS$3, { env.svg.box(OUTLINE_ATTRS$1, {
'height': fullHeight, 'height': fullHeight,
'width': right.x - left.x + config.extend * 2, 'width': right.x - left.x + config.extend * 2,
'x': left.x - config.extend, 'x': left.x - config.extend,
@ -6698,12 +6698,12 @@
register('mark', new Mark()); register('mark', new Mark());
register('async', new Async()); register('async', new Async());
const OUTLINE_ATTRS$4 = { const OUTLINE_ATTRS = {
'class': 'outline', 'class': 'outline',
'fill': 'transparent', 'fill': 'transparent',
}; };
function findExtremes(agentInfos, agentIDs) { function findExtremes$1(agentInfos, agentIDs) {
let min = null; let min = null;
let max = null; let max = null;
agentIDs.forEach((id) => { agentIDs.forEach((id) => {
@ -6790,7 +6790,7 @@
env.makeRegion().add( env.makeRegion().add(
config.boxRenderer(boundingBox), config.boxRenderer(boundingBox),
env.svg.box(OUTLINE_ATTRS$4, boundingBox), env.svg.box(OUTLINE_ATTRS, boundingBox),
labelNode labelNode
); );
@ -6813,7 +6813,7 @@
config.padding.right config.padding.right
); );
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
const infoL = env.agentInfos.get(left); const infoL = env.agentInfos.get(left);
const infoR = env.agentInfos.get(right); const infoR = env.agentInfos.get(right);
if(infoL === infoR) { if(infoL === infoR) {
@ -6835,7 +6835,7 @@
render({agentIDs, mode, label}, env) { render({agentIDs, mode, label}, env) {
const config = env.theme.getNote(mode); const config = env.theme.getNote(mode);
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
const infoL = env.agentInfos.get(left); const infoL = env.agentInfos.get(left);
const infoR = env.agentInfos.get(right); const infoR = env.agentInfos.get(right);
if(infoL === infoR) { if(infoL === infoR) {
@ -6866,7 +6866,7 @@
separation({agentIDs, mode, label}, env) { separation({agentIDs, mode, label}, env) {
const config = env.theme.getNote(mode); const config = env.theme.getNote(mode);
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
const width = ( const width = (
env.textSizer.measure(config.labelAttrs, label).width + env.textSizer.measure(config.labelAttrs, label).width +
config.padding.left + config.padding.left +
@ -6892,7 +6892,7 @@
render({agentIDs, mode, label}, env) { render({agentIDs, mode, label}, env) {
const config = env.theme.getNote(mode); const config = env.theme.getNote(mode);
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
if(this.isRight) { if(this.isRight) {
const info = env.agentInfos.get(right); const info = env.agentInfos.get(right);
const x0 = info.x + info.currentMaxRad + config.margin.left; const x0 = info.x + info.currentMaxRad + config.margin.left;
@ -6916,7 +6916,7 @@
class NoteBetween extends NoteComponent { class NoteBetween extends NoteComponent {
separation({agentIDs, mode, label}, env) { separation({agentIDs, mode, label}, env) {
const config = env.theme.getNote(mode); const config = env.theme.getNote(mode);
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
const infoL = env.agentInfos.get(left); const infoL = env.agentInfos.get(left);
const infoR = env.agentInfos.get(right); const infoR = env.agentInfos.get(right);
@ -6935,7 +6935,7 @@
} }
render({agentIDs, mode, label}, env) { render({agentIDs, mode, label}, env) {
const {left, right} = findExtremes(env.agentInfos, agentIDs); const {left, right} = findExtremes$1(env.agentInfos, agentIDs);
const infoL = env.agentInfos.get(left); const infoL = env.agentInfos.get(left);
const infoR = env.agentInfos.get(right); const infoR = env.agentInfos.get(right);
const xMid = ( const xMid = (
@ -7926,7 +7926,7 @@
} }
} }
function findExtremes$1(agentInfos, agentIDs) { function findExtremes(agentInfos, agentIDs) {
let min = null; let min = null;
let max = null; let max = null;
agentIDs.forEach((id) => { agentIDs.forEach((id) => {
@ -8221,7 +8221,7 @@
if(agentIDs.length === 0) { if(agentIDs.length === 0) {
return topY; return topY;
} }
const {left, right} = findExtremes$1(this.agentInfos, agentIDs); const {left, right} = findExtremes(this.agentInfos, agentIDs);
const leftX = this.agentInfos.get(left).x; const leftX = this.agentInfos.get(left).x;
const rightX = this.agentInfos.get(right).x; const rightX = this.agentInfos.get(right).x;
let baseY = topY; let baseY = topY;
@ -8237,7 +8237,7 @@
if(agentIDs.length === 0) { if(agentIDs.length === 0) {
return; return;
} }
const {left, right} = findExtremes$1(this.agentInfos, agentIDs); const {left, right} = findExtremes(this.agentInfos, agentIDs);
const leftX = this.agentInfos.get(left).x; const leftX = this.agentInfos.get(left).x;
const rightX = this.agentInfos.get(right).x; const rightX = this.agentInfos.get(right).x;
this.agentInfos.forEach((agentInfo) => { this.agentInfos.forEach((agentInfo) => {
@ -9116,9 +9116,9 @@
/* eslint-disable max-lines */ /* eslint-disable max-lines */
const FONT$3 = Handlee.name; const FONT = Handlee.name;
const FONT_FAMILY = FONT$3 + ',cursive'; const FONT_FAMILY = FONT + ',cursive';
const LINE_HEIGHT$3 = 1.5; const LINE_HEIGHT = 1.5;
const MAX_CHAOS = 5; const MAX_CHAOS = 5;
const PENCIL = { const PENCIL = {
@ -9136,16 +9136,16 @@
}, },
}; };
const NOTE_ATTRS$3 = { const NOTE_ATTRS = {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
}; };
const DIVIDER_LABEL_ATTRS$3 = { const DIVIDER_LABEL_ATTRS = {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'middle', 'text-anchor': 'middle',
}; };
@ -9184,9 +9184,9 @@
class SketchTheme extends BaseTheme { class SketchTheme extends BaseTheme {
constructor(svg, handedness = RIGHT) { constructor(svg, handedness = RIGHT) {
super(svg, { super(svg, {
'font-family': FONT$3, 'font-family': FONT,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
}); });
this.handedness = (handedness === RIGHT) ? 1 : -1; this.handedness = (handedness === RIGHT) ? 1 : -1;
@ -9210,7 +9210,7 @@
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-weight': 'bold', 'font-weight': 'bold',
'font-size': 9, 'font-size': 9,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -9225,7 +9225,7 @@
labelAttrs: { labelAttrs: {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'left', 'text-anchor': 'left',
}, },
}, },
@ -9251,7 +9251,7 @@
labelAttrs: { labelAttrs: {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
boxRenderer: this.renderBox.bind(this), boxRenderer: this.renderBox.bind(this),
@ -9267,7 +9267,7 @@
labelAttrs: { labelAttrs: {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
boxRenderer: this.renderPerson.bind(this), boxRenderer: this.renderPerson.bind(this),
@ -9282,9 +9282,9 @@
arrowBottom: 5 + 12 * 1.3 / 2, arrowBottom: 5 + 12 * 1.3 / 2,
boxRenderer: this.renderDB.bind(this), boxRenderer: this.renderDB.bind(this),
labelAttrs: { labelAttrs: {
'font-family': FONT$3, 'font-family': FONT,
'font-size': 12, 'font-size': 12,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
}, },
@ -9341,13 +9341,13 @@
attrs: { attrs: {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
'text-anchor': 'middle', 'text-anchor': 'middle',
}, },
loopbackAttrs: { loopbackAttrs: {
'font-family': FONT_FAMILY, 'font-family': FONT_FAMILY,
'font-size': 8, 'font-size': 8,
'line-height': LINE_HEIGHT$3, 'line-height': LINE_HEIGHT,
}, },
}, },
source: { source: {
@ -9404,40 +9404,40 @@
boxRenderer: svg.boxFactory({ boxRenderer: svg.boxFactory({
'fill': '#FFFFFF', 'fill': '#FFFFFF',
}), }),
labelAttrs: NOTE_ATTRS$3, labelAttrs: NOTE_ATTRS,
}, },
'note': { 'note': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
padding: {top: 5, left: 5, right: 10, bottom: 5}, padding: {top: 5, left: 5, right: 10, bottom: 5},
overlap: {left: 10, right: 10}, overlap: {left: 10, right: 10},
boxRenderer: this.renderNote.bind(this), boxRenderer: this.renderNote.bind(this),
labelAttrs: NOTE_ATTRS$3, labelAttrs: NOTE_ATTRS,
}, },
'state': { 'state': {
margin: {top: 0, left: 5, right: 5, bottom: 0}, margin: {top: 0, left: 5, right: 5, bottom: 0},
padding: {top: 7, left: 7, right: 7, bottom: 7}, padding: {top: 7, left: 7, right: 7, bottom: 7},
overlap: {left: 10, right: 10}, overlap: {left: 10, right: 10},
boxRenderer: this.renderState.bind(this), boxRenderer: this.renderState.bind(this),
labelAttrs: NOTE_ATTRS$3, labelAttrs: NOTE_ATTRS,
}, },
}, },
dividers: { dividers: {
'': { '': {
labelAttrs: DIVIDER_LABEL_ATTRS$3, labelAttrs: DIVIDER_LABEL_ATTRS,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
render: () => ({}), render: () => ({}),
}, },
'line': { 'line': {
labelAttrs: DIVIDER_LABEL_ATTRS$3, labelAttrs: DIVIDER_LABEL_ATTRS,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 0, margin: 0,
render: this.renderLineDivider.bind(this), render: this.renderLineDivider.bind(this),
}, },
'delay': { 'delay': {
labelAttrs: DIVIDER_LABEL_ATTRS$3, labelAttrs: DIVIDER_LABEL_ATTRS,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 0, extend: 0,
margin: 0, margin: 0,
@ -9447,7 +9447,7 @@
}), }),
}, },
'tear': { 'tear': {
labelAttrs: DIVIDER_LABEL_ATTRS$3, labelAttrs: DIVIDER_LABEL_ATTRS,
padding: {top: 2, left: 5, right: 5, bottom: 2}, padding: {top: 2, left: 5, right: 5, bottom: 2},
extend: 10, extend: 10,
margin: 10, margin: 10,
@ -10031,7 +10031,7 @@
} }
} }
class Factory$3 { class Factory {
constructor(handedness = RIGHT) { constructor(handedness = RIGHT) {
const right = (handedness === RIGHT); const right = (handedness === RIGHT);
this.name = right ? 'sketch' : 'sketch left handed'; this.name = right ? 'sketch' : 'sketch left handed';
@ -10043,7 +10043,7 @@
} }
} }
Object.assign(Factory$3, {RIGHT, LEFT}); Object.assign(Factory, {RIGHT, LEFT});
const TRIMMER = /^([ \t]*)(.*)$/; const TRIMMER = /^([ \t]*)(.*)$/;
const SQUASH = { const SQUASH = {
@ -10280,11 +10280,11 @@
} }
const themes = [ const themes = [
new Factory(), new Factory$3(),
new Factory$2(),
new Factory$1(), new Factory$1(),
new Factory$3(Factory$3.RIGHT), new Factory$2(),
new Factory$3(Factory$3.LEFT), new Factory(Factory.RIGHT),
new Factory(Factory.LEFT),
]; ];
const SharedParser = new Parser(); const SharedParser = new Parser();
@ -11116,7 +11116,7 @@
return variant.getAdvanceWidth(text, size, OPENTYPE_OPTIONS); return variant.getAdvanceWidth(text, size, OPENTYPE_OPTIONS);
} }
function combineAttrs$1(base, next) { function combineAttrs(base, next) {
if(!next) { if(!next) {
return base; return base;
} }
@ -11156,7 +11156,7 @@
if(!part.text) { if(!part.text) {
continue; continue;
} }
const combinedAttrs = combineAttrs$1(attrs, part.attrs); const combinedAttrs = combineAttrs(attrs, part.attrs);
len += measure(combinedAttrs, part.text); len += measure(combinedAttrs, part.text);
} }
return len; return len;
@ -11232,4 +11232,4 @@
Object.assign(window, out); Object.assign(window, out);
} }
}()); })();

2966
package-lock.json generated
View File

File diff suppressed because it is too large Load Diff

2
package.json
View File

@ -50,7 +50,7 @@
"eslint": "7.x", "eslint": "7.x",
"eslint-plugin-jasmine": "4.x", "eslint-plugin-jasmine": "4.x",
"jasmine": "3.x", "jasmine": "3.x",
"karma": "5.x", "karma": "6.x",
"karma-chrome-launcher": "3.x", "karma-chrome-launcher": "3.x",
"karma-detect-browsers": "2.x", "karma-detect-browsers": "2.x",
"karma-firefox-launcher": "2.x", "karma-firefox-launcher": "2.x",

2
web/lib/cm-addons-library.js
View File

File diff suppressed because one or more lines are too long

2
web/lib/codemirror.css
View File

@ -19,7 +19,7 @@
} }
.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
background-color: transparent; /* The little square between H and V scrollbars */ background-color: white; /* The little square between H and V scrollbars */
} }
/* GUTTER */ /* GUTTER */

2
web/lib/codemirror.js
View File

File diff suppressed because one or more lines are too long

2
web/lib/editor.js
View File

@ -2436,4 +2436,4 @@
}); });
}); });
}()); })();

2
web/lib/show-hint.js
View File

File diff suppressed because one or more lines are too long