Compare commits
20 Commits
8ee14167de
...
feat/styli
Author | SHA1 | Date | |
---|---|---|---|
f7eb348944
|
|||
8205fefed3
|
|||
a48478e394
|
|||
f00aa86962
|
|||
cc161a5d40
|
|||
b34702485f
|
|||
02fd3282f7
|
|||
c27493e780
|
|||
ffdffc9e41
|
|||
5b57a89cdd
|
|||
d6aeb33fa5
|
|||
754cddd328
|
|||
a5e8194d59
|
|||
ff8ec72a42
|
|||
22254211f3
|
|||
aca2d858fe
|
|||
6c97bb807f | |||
f812ac93c2
|
|||
caad9ed823
|
|||
0b401df67d
|
@ -27,4 +27,10 @@
|
|||||||
#let COL-DESTRUCTION = rgb("#A80238")
|
#let COL-DESTRUCTION = rgb("#A80238")
|
||||||
#let COL-GRP-NAME = rgb("#EEEEEE")
|
#let COL-GRP-NAME = rgb("#EEEEEE")
|
||||||
#let COL-SEP-NAME = rgb("#EEEEEE")
|
#let COL-SEP-NAME = rgb("#EEEEEE")
|
||||||
#let COL-NOTE = rgb("#FEFFDD")
|
#let COL-NOTE = rgb("#FEFFDD")
|
||||||
|
|
||||||
|
#let default-style = (
|
||||||
|
y-space: 10pt,
|
||||||
|
fill: rgb("#EEEEEE"),
|
||||||
|
stroke: black + 1pt,
|
||||||
|
)
|
@ -1,13 +1,30 @@
|
|||||||
#import "/src/cetz.typ": draw
|
#import "/src/cetz.typ": draw, styles
|
||||||
|
|
||||||
#import "/src/core/utils.typ": get-ctx, set-ctx
|
#import "/src/core/utils.typ": get-ctx, normalize-units, set-ctx
|
||||||
|
|
||||||
|
#let delay-default-style = (
|
||||||
|
stroke: (
|
||||||
|
dash: "loosely-dotted",
|
||||||
|
paint: gray.darken(40%),
|
||||||
|
thickness: .8pt
|
||||||
|
),
|
||||||
|
size: 30pt
|
||||||
|
)
|
||||||
|
|
||||||
#let render(delay) = get-ctx(ctx => {
|
#let render(delay) = get-ctx(ctx => {
|
||||||
|
let style = styles.resolve(
|
||||||
|
ctx.style,
|
||||||
|
merge: delay.style,
|
||||||
|
root: "delay",
|
||||||
|
base: delay-default-style
|
||||||
|
)
|
||||||
|
let size = normalize-units(style.size)
|
||||||
|
|
||||||
let y0 = ctx.y
|
let y0 = ctx.y
|
||||||
let y1 = ctx.y - delay.size
|
let y1 = ctx.y - size
|
||||||
for (i, line) in ctx.lifelines.enumerate() {
|
for (i, line) in ctx.lifelines.enumerate() {
|
||||||
line.lines.push(("delay-start", y0))
|
line.events.push((type: "delay-start", y: y0))
|
||||||
line.lines.push(("delay-end", y1))
|
line.events.push((type: "delay-end", y: y1, stroke: style.stroke))
|
||||||
ctx.lifelines.at(i) = line
|
ctx.lifelines.at(i) = line
|
||||||
}
|
}
|
||||||
if delay.name != none {
|
if delay.name != none {
|
||||||
@ -15,13 +32,13 @@
|
|||||||
let x1 = ctx.x-pos.last()
|
let x1 = ctx.x-pos.last()
|
||||||
draw.content(
|
draw.content(
|
||||||
((x0 + x1) / 2, (y0 + y1) / 2),
|
((x0 + x1) / 2, (y0 + y1) / 2),
|
||||||
anchor: "center",
|
anchor: "mid",
|
||||||
delay.name
|
delay.name
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
ctx.y = y1
|
|
||||||
set-ctx(c => {
|
set-ctx(c => {
|
||||||
c.y = ctx.y
|
c.y = y1
|
||||||
c.lifelines = ctx.lifelines
|
c.lifelines = ctx.lifelines
|
||||||
return c
|
return c
|
||||||
})
|
})
|
||||||
|
@ -6,23 +6,23 @@
|
|||||||
let i = ctx.pars-i.at(par-name)
|
let i = ctx.pars-i.at(par-name)
|
||||||
let par = ctx.participants.at(i)
|
let par = ctx.participants.at(i)
|
||||||
let line = ctx.lifelines.at(i)
|
let line = ctx.lifelines.at(i)
|
||||||
let entry = (evt.event, ctx.y)
|
let entry = (type: evt.event, y: ctx.y)
|
||||||
|
|
||||||
if evt.event == "disable" {
|
if evt.event == "disable" {
|
||||||
line.level -= 1
|
line.level -= 1
|
||||||
} else if evt.event == "enable" {
|
} else if evt.event == "enable" {
|
||||||
line.level += 1
|
line.level += 1
|
||||||
entry.push(evt.lifeline-style)
|
entry.insert("style", evt.lifeline-style)
|
||||||
} else if evt.event == "create" {
|
} else if evt.event == "create" {
|
||||||
ctx.y -= CREATE-OFFSET
|
ctx.y -= CREATE-OFFSET
|
||||||
entry.at(1) = ctx.y
|
entry.y = ctx.y
|
||||||
(par.draw)(par, y: ctx.y)
|
(par.draw)(par, y: ctx.y)
|
||||||
} else if evt.event == "destroy" {
|
} else if evt.event == "destroy" {
|
||||||
} else {
|
} else {
|
||||||
panic("Unknown event '" + evt.event + "'")
|
panic("Unknown event '" + evt.event + "'")
|
||||||
}
|
}
|
||||||
|
|
||||||
line.lines.push(entry)
|
line.events.push(entry)
|
||||||
set-ctx(c => {
|
set-ctx(c => {
|
||||||
c.lifelines.at(i) = line
|
c.lifelines.at(i) = line
|
||||||
c.y = ctx.y
|
c.y = ctx.y
|
||||||
|
@ -1,32 +1,68 @@
|
|||||||
#import "/src/cetz.typ": draw
|
#import "/src/cetz.typ": draw, styles
|
||||||
|
|
||||||
#import "/src/consts.typ": *
|
#import "/src/consts.typ": *
|
||||||
#import "/src/core/utils.typ": get-ctx, set-ctx
|
#import "/src/core/utils.typ": expand-parent-group, get-ctx, normalize-units, set-ctx
|
||||||
|
|
||||||
|
#let group-default-style = (
|
||||||
|
name: (
|
||||||
|
inset: (
|
||||||
|
x: 5pt,
|
||||||
|
y: 3pt
|
||||||
|
),
|
||||||
|
stroke: auto,
|
||||||
|
fill: auto
|
||||||
|
),
|
||||||
|
desc: (
|
||||||
|
inset: 3pt
|
||||||
|
),
|
||||||
|
divider: (dash: (2pt, 1pt), thickness: .5pt),
|
||||||
|
padding: 10pt,
|
||||||
|
stroke: auto
|
||||||
|
)
|
||||||
|
|
||||||
#let render-start(grp) = get-ctx(ctx => {
|
#let render-start(grp) = get-ctx(ctx => {
|
||||||
let grp = grp
|
let style = styles.resolve(
|
||||||
ctx.y -= Y-SPACE
|
ctx.style,
|
||||||
let m = measure(
|
merge: grp.style,
|
||||||
box(
|
root: "group",
|
||||||
grp.name,
|
base: group-default-style
|
||||||
inset: (
|
|
||||||
left: 5pt,
|
|
||||||
right: 5pt,
|
|
||||||
top: 3pt,
|
|
||||||
bottom: 3pt
|
|
||||||
),
|
|
||||||
)
|
|
||||||
)
|
)
|
||||||
|
|
||||||
|
let grp = grp
|
||||||
|
grp.insert("resolved-style", style)
|
||||||
|
ctx.y -= ctx.style.y-space
|
||||||
|
|
||||||
|
let name = box(
|
||||||
|
text(grp.name, weight: "bold"),
|
||||||
|
inset: style.name.inset
|
||||||
|
)
|
||||||
|
grp.insert("rendered-name", name)
|
||||||
|
|
||||||
|
let desc = box(
|
||||||
|
text([\[#grp.desc\]], weight: "bold", size: .8em),
|
||||||
|
inset: style.desc.inset
|
||||||
|
)
|
||||||
|
grp.insert("rendered-desc", desc)
|
||||||
|
|
||||||
|
let m = measure(name)
|
||||||
ctx.groups = ctx.groups.map(g => {
|
ctx.groups = ctx.groups.map(g => {
|
||||||
if g.at(1).min-i == grp.min-i { g.at(2) += 1 }
|
if g.group.min-i == grp.min-i { g.start-lvl += 1 }
|
||||||
if g.at(1).max-i == grp.max-i { g.at(3) += 1 }
|
if g.group.max-i == grp.max-i { g.end-lvl += 1 }
|
||||||
g
|
g
|
||||||
})
|
})
|
||||||
if grp.grp-type == "alt" {
|
if grp.grp-type == "alt" {
|
||||||
grp.insert("elses", ())
|
grp.insert("elses", ())
|
||||||
}
|
}
|
||||||
ctx.groups.push((ctx.y, grp, 0, 0))
|
ctx.groups.push((
|
||||||
|
start-y: ctx.y,
|
||||||
|
group: grp,
|
||||||
|
start-lvl: 0,
|
||||||
|
end-lvl: 0,
|
||||||
|
min-x: ctx.x-pos.at(grp.min-i) - 10,
|
||||||
|
max-x: ctx.x-pos.at(grp.max-i) + 10
|
||||||
|
))
|
||||||
ctx.y -= m.height / 1pt
|
ctx.y -= m.height / 1pt
|
||||||
|
ctx.y += ctx.style.y-space / 2
|
||||||
|
|
||||||
set-ctx(c => {
|
set-ctx(c => {
|
||||||
c.y = ctx.y
|
c.y = ctx.y
|
||||||
@ -37,61 +73,75 @@
|
|||||||
|
|
||||||
|
|
||||||
#let draw-group(x0, x1, y0, y1, group) = {
|
#let draw-group(x0, x1, y0, y1, group) = {
|
||||||
let name = text(group.name, weight: "bold")
|
let style = group.resolved-style
|
||||||
let m = measure(box(name))
|
let name = group.rendered-name
|
||||||
let w = m.width / 1pt + 15
|
let desc = group.rendered-desc
|
||||||
let h = m.height / 1pt + 6
|
let m = measure(name)
|
||||||
|
let w = m.width / 1pt
|
||||||
|
let h = m.height / 1pt
|
||||||
draw.rect(
|
draw.rect(
|
||||||
(x0, y0),
|
(x0, y0),
|
||||||
(x1, y1)
|
(x1, y1),
|
||||||
|
stroke: style.stroke
|
||||||
)
|
)
|
||||||
|
|
||||||
|
let x1 = x0 + w
|
||||||
|
let x2 = x1 + 5
|
||||||
draw.line(
|
draw.line(
|
||||||
(x0, y0),
|
(x0, y0),
|
||||||
(x0 + w, y0),
|
(x2, y0),
|
||||||
(x0 + w, y0 - h / 2),
|
(x2, y0 - h / 2),
|
||||||
(x0 + w - 5, y0 - h),
|
(x1, y0 - h),
|
||||||
(x0, y0 - h),
|
(x0, y0 - h),
|
||||||
fill: COL-GRP-NAME,
|
stroke: style.name.stroke,
|
||||||
|
fill: style.name.fill,
|
||||||
close: true
|
close: true
|
||||||
)
|
)
|
||||||
draw.content(
|
draw.content(
|
||||||
(x0, y0),
|
(x0, y0),
|
||||||
name,
|
name,
|
||||||
anchor: "north-west",
|
anchor: "north-west"
|
||||||
padding: (left: 5pt, right: 10pt, top: 3pt, bottom: 3pt)
|
|
||||||
)
|
)
|
||||||
|
|
||||||
if group.desc != none {
|
if group.desc != none {
|
||||||
draw.content(
|
draw.content(
|
||||||
(x0 + w, y0),
|
(x2, y0),
|
||||||
text([\[#group.desc\]], weight: "bold", size: .8em),
|
desc,
|
||||||
anchor: "north-west",
|
anchor: "north-west"
|
||||||
padding: 3pt
|
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#let draw-else(x0, x1, y, elmt) = {
|
#let draw-else(x0, x1, y, elmt) = {
|
||||||
|
let style = elmt.resolved-style
|
||||||
draw.line(
|
draw.line(
|
||||||
(x0, y),
|
(x0, y),
|
||||||
(x1, y),
|
(x1, y),
|
||||||
stroke: (dash: (2pt, 1pt), thickness: .5pt)
|
stroke: style.divider
|
||||||
)
|
)
|
||||||
draw.content(
|
draw.content(
|
||||||
(x0, y),
|
(x0, y),
|
||||||
text([\[#elmt.desc\]], weight: "bold", size: .8em),
|
elmt.rendered-desc,
|
||||||
anchor: "north-west",
|
anchor: "north-west"
|
||||||
padding: 3pt
|
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
#let render-end(group) = get-ctx(ctx => {
|
#let render-end(group) = get-ctx(ctx => {
|
||||||
ctx.y -= Y-SPACE
|
let y = ctx.y - ctx.style.y-space / 2
|
||||||
let (start-y, group, start-lvl, end-lvl) = ctx.groups.pop()
|
ctx.y -= ctx.style.y-space / 2
|
||||||
let x0 = ctx.x-pos.at(group.min-i) - start-lvl * 10 - 20
|
let (
|
||||||
let x1 = ctx.x-pos.at(group.max-i) + end-lvl * 10 + 20
|
start-y,
|
||||||
|
group,
|
||||||
|
start-lvl,
|
||||||
|
end-lvl,
|
||||||
|
min-x,
|
||||||
|
max-x
|
||||||
|
) = ctx.groups.pop()
|
||||||
|
let padding = normalize-units(group.resolved-style.padding)
|
||||||
|
let x0 = min-x - padding
|
||||||
|
let x1 = max-x + padding
|
||||||
|
|
||||||
draw-group(x0, x1, start-y, ctx.y, group)
|
draw-group(x0, x1, start-y, y, group)
|
||||||
|
|
||||||
if group.grp-type == "alt" {
|
if group.grp-type == "alt" {
|
||||||
for (else-y, else-elmt) in group.elses {
|
for (else-y, else-elmt) in group.elses {
|
||||||
@ -104,14 +154,37 @@
|
|||||||
c.groups = ctx.groups
|
c.groups = ctx.groups
|
||||||
return c
|
return c
|
||||||
})
|
})
|
||||||
|
|
||||||
|
expand-parent-group(x0, x1)
|
||||||
})
|
})
|
||||||
|
|
||||||
#let render-else(else_) = set-ctx(ctx => {
|
#let render-else(else_) = get-ctx(ctx => {
|
||||||
ctx.y -= Y-SPACE
|
let group = ctx.groups.last().group
|
||||||
let m = measure(text([\[#else_.desc\]], weight: "bold", size: .8em))
|
let style = styles.resolve(
|
||||||
ctx.groups.last().at(1).elses.push((
|
ctx.style,
|
||||||
|
merge: group.style,
|
||||||
|
root: "group",
|
||||||
|
base: group-default-style
|
||||||
|
)
|
||||||
|
ctx.y -= ctx.style.y-space / 2
|
||||||
|
|
||||||
|
let desc = box(
|
||||||
|
text([\[#else_.desc\]], weight: "bold", size: .8em),
|
||||||
|
inset: style.desc.inset
|
||||||
|
)
|
||||||
|
let m = measure(desc)
|
||||||
|
let else_ = else_
|
||||||
|
else_.insert("resolved-style", style)
|
||||||
|
else_.insert("rendered-desc", desc)
|
||||||
|
ctx.groups.last().group.elses.push((
|
||||||
ctx.y, else_
|
ctx.y, else_
|
||||||
))
|
))
|
||||||
ctx.y -= m.height / 1pt
|
ctx.y -= m.height / 1pt
|
||||||
return ctx
|
ctx.y += ctx.style.y-space / 2
|
||||||
|
|
||||||
|
set-ctx(c => {
|
||||||
|
c.y = ctx.y
|
||||||
|
c.groups = ctx.groups
|
||||||
|
return c
|
||||||
|
})
|
||||||
})
|
})
|
@ -1,7 +1,7 @@
|
|||||||
#import "/src/cetz.typ": draw
|
#import "/src/cetz.typ": draw
|
||||||
|
|
||||||
#import "/src/consts.typ": *
|
#import "/src/consts.typ": *
|
||||||
#import "/src/core/utils.typ": get-ctx, set-ctx
|
#import "/src/core/utils.typ": get-ctx, set-ctx, expand-parent-group
|
||||||
|
|
||||||
#let get-size(note) = {
|
#let get-size(note) = {
|
||||||
let PAD = if note.shape == "hex" {NOTE-HEX-PAD} else {NOTE-PAD}
|
let PAD = if note.shape == "hex" {NOTE-HEX-PAD} else {NOTE-PAD}
|
||||||
@ -159,5 +159,7 @@
|
|||||||
return c
|
return c
|
||||||
})
|
})
|
||||||
}
|
}
|
||||||
|
|
||||||
|
expand-parent-group(x0, x2)
|
||||||
})
|
})
|
||||||
}
|
}
|
@ -1,316 +1,112 @@
|
|||||||
#import "/src/cetz.typ": draw
|
#import "/src/cetz.typ": draw, styles
|
||||||
|
|
||||||
#import "/src/consts.typ": *
|
#import "/src/consts.typ": *
|
||||||
#import "/src/core/utils.typ": get-ctx, get-style, set-ctx
|
#import "/src/core/utils.typ": get-ctx, get-style, is-elmt, set-ctx
|
||||||
|
|
||||||
|
#import "participant/default.typ" as shape-default
|
||||||
|
#import "participant/actor.typ" as shape-actor
|
||||||
|
#import "participant/boundary.typ" as shape-boundary
|
||||||
|
#import "participant/control.typ" as shape-control
|
||||||
|
#import "participant/entity.typ" as shape-entity
|
||||||
|
#import "participant/database.typ" as shape-database
|
||||||
|
#import "participant/collections.typ" as shape-collections
|
||||||
|
#import "participant/queue.typ" as shape-queue
|
||||||
|
#import "participant/custom.typ" as shape-custom
|
||||||
|
|
||||||
|
#let shapes = {
|
||||||
|
let from-module(mod) = {
|
||||||
|
let p = "participant/default.typ"
|
||||||
|
return (mod.name: (
|
||||||
|
get-size: mod.get-size,
|
||||||
|
render: mod.render,
|
||||||
|
default-style: mod.default-style
|
||||||
|
))
|
||||||
|
}
|
||||||
|
from-module(shape-default)
|
||||||
|
from-module(shape-actor)
|
||||||
|
from-module(shape-boundary)
|
||||||
|
from-module(shape-control)
|
||||||
|
from-module(shape-entity)
|
||||||
|
from-module(shape-database)
|
||||||
|
from-module(shape-collections)
|
||||||
|
from-module(shape-queue)
|
||||||
|
from-module(shape-custom)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let participant-default-style = (
|
||||||
|
fill: auto,
|
||||||
|
stroke: black + .5pt,
|
||||||
|
from-start: true,
|
||||||
|
show-bottom: true,
|
||||||
|
show-top: true,
|
||||||
|
shape: "participant",
|
||||||
|
track: (
|
||||||
|
dash: "dashed",
|
||||||
|
paint: gray.darken(40%),
|
||||||
|
thickness: .5pt
|
||||||
|
)
|
||||||
|
)
|
||||||
|
|
||||||
|
#let resolve-style(ctx, par) = {
|
||||||
|
let style = styles.resolve(
|
||||||
|
ctx.style,
|
||||||
|
merge: par.style,
|
||||||
|
root: "participant",
|
||||||
|
base: participant-default-style
|
||||||
|
)
|
||||||
|
let shape-style = shapes.at(style.shape, default: (:))
|
||||||
|
.at("default-style", default: (:))
|
||||||
|
style = styles.resolve(
|
||||||
|
ctx.style,
|
||||||
|
merge: style,
|
||||||
|
base: shape-style
|
||||||
|
)
|
||||||
|
return style
|
||||||
|
}
|
||||||
|
|
||||||
|
#let pre-resolve-styles(ctx, elements, participants) = {
|
||||||
|
let idx = (:)
|
||||||
|
for (i, par) in participants.enumerate() {
|
||||||
|
par.insert("resolved-style", resolve-style(ctx, par))
|
||||||
|
participants.at(i) = par
|
||||||
|
idx.insert(par.name, i)
|
||||||
|
}
|
||||||
|
for (i, elmt) in elements.enumerate() {
|
||||||
|
if type(elmt) == function {
|
||||||
|
ctx = elmt(ctx).ctx
|
||||||
|
} else if is-elmt(elmt) {
|
||||||
|
if elmt.type == par {
|
||||||
|
let style = resolve-style(ctx, elmt)
|
||||||
|
elements.at(i).insert("resolved-style", style)
|
||||||
|
let i = idx.at(elmt.name)
|
||||||
|
participants.at(i).resolved-style = style
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return (elements, participants)
|
||||||
|
}
|
||||||
|
|
||||||
#let get-size(par) = {
|
#let get-size(par) = {
|
||||||
if par.invisible {
|
if par.invisible {
|
||||||
return (width: 0pt, height: 0pt)
|
return (width: 0pt, height: 0pt)
|
||||||
}
|
}
|
||||||
let m = measure(box(par.display-name))
|
let style = par.resolved-style
|
||||||
let w = m.width
|
let func = shapes.at(style.shape).get-size
|
||||||
let h = m.height
|
return func(par)
|
||||||
let (shape-w, shape-h) = (
|
|
||||||
participant: (w + PAR-PAD.last() * 2, h + PAR-PAD.first() * 2),
|
|
||||||
actor: (ACTOR-WIDTH * 1pt, ACTOR-WIDTH * 2pt + SYM-GAP * 1pt + h),
|
|
||||||
boundary: (BOUNDARY-HEIGHT * 2pt, BOUNDARY-HEIGHT * 1pt + SYM-GAP * 1pt + h),
|
|
||||||
control: (CONTROL-HEIGHT * 1pt, CONTROL-HEIGHT * 1pt + SYM-GAP * 1pt + h),
|
|
||||||
entity: (ENTITY-HEIGHT * 1pt, ENTITY-HEIGHT * 1pt + 2pt + SYM-GAP * 1pt + h),
|
|
||||||
database: (DATABASE-WIDTH * 1pt, DATABASE-WIDTH * 4pt / 3 + SYM-GAP * 1pt + h),
|
|
||||||
collections: (
|
|
||||||
w + COLLECTIONS-PAD.last() * 2 + calc.abs(COLLECTIONS-DX) * 1pt,
|
|
||||||
h + COLLECTIONS-PAD.first() * 2 + calc.abs(COLLECTIONS-DY) * 1pt,
|
|
||||||
),
|
|
||||||
queue: (
|
|
||||||
w + QUEUE-PAD.last() * 2 + 3 * (h + QUEUE-PAD.first() * 2) / 4,
|
|
||||||
h + QUEUE-PAD.first() * 2
|
|
||||||
),
|
|
||||||
custom: (
|
|
||||||
measure(par.custom-image).width,
|
|
||||||
measure(par.custom-image).height + SYM-GAP * 1pt + h
|
|
||||||
)
|
|
||||||
).at(par.shape)
|
|
||||||
|
|
||||||
return (
|
|
||||||
width: calc.max(w, shape-w),
|
|
||||||
height: calc.max(h, shape-h)
|
|
||||||
)
|
|
||||||
}
|
}
|
||||||
|
|
||||||
#let _render-participant(x, y, p, m, bottom) = {
|
#let render(par, y: 0, bottom: false) = get-ctx(ctx => {
|
||||||
let w = m.width / 1pt
|
let style = resolve-style(ctx, par)
|
||||||
let h = m.height / 1pt
|
let func = shapes.at(style.shape).render
|
||||||
let x0 = x - w / 2 - PAR-PAD.last() / 1pt
|
let par = par
|
||||||
let x1 = x + w / 2 + PAR-PAD.last() / 1pt
|
par.resolved-style = style
|
||||||
let y0 = y + h + PAR-PAD.first() / 1pt * 2
|
func(ctx.x-pos.at(par.i), y, par, bottom)
|
||||||
if bottom {
|
|
||||||
y0 = y
|
|
||||||
}
|
|
||||||
let y1 = y0 - h - PAR-PAD.first() / 1pt * 2
|
|
||||||
|
|
||||||
draw.rect(
|
|
||||||
(x0, y0),
|
|
||||||
(x1, y1),
|
|
||||||
radius: 2pt,
|
|
||||||
fill: p.color,
|
|
||||||
stroke: black + .5pt
|
|
||||||
)
|
|
||||||
draw.content(
|
|
||||||
((x0 + x1) / 2, (y0 + y1) / 2),
|
|
||||||
p.display-name,
|
|
||||||
anchor: "center"
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
#let _render-actor(x, y, p, m, bottom) = {
|
|
||||||
let w2 = ACTOR-WIDTH / 2
|
|
||||||
let head-r = ACTOR-WIDTH / 4
|
|
||||||
let height = ACTOR-WIDTH * 2
|
|
||||||
let arms-y = height * 0.375
|
|
||||||
|
|
||||||
let y0 = if bottom {y - m.height / 1pt - SYM-GAP} else {y + m.height / 1pt + height + SYM-GAP}
|
|
||||||
draw.circle(
|
|
||||||
(x, y0 - head-r),
|
|
||||||
radius: head-r,
|
|
||||||
fill: p.color,
|
|
||||||
stroke: black + .5pt
|
|
||||||
)
|
|
||||||
draw.line((x, y0 - head-r * 2), (x, y0 - height + w2), stroke: black + .5pt)
|
|
||||||
draw.line((x - w2, y0 - arms-y), (x + w2, y0 - arms-y), stroke: black + .5pt)
|
|
||||||
draw.line((x - w2, y0 - height), (x, y0 - height + w2), (x + w2, y0 - height), stroke: black + .5pt)
|
|
||||||
draw.content(
|
|
||||||
(x, y),
|
|
||||||
p.display-name,
|
|
||||||
anchor: if bottom {"north"} else {"south"}
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
#let _render-boundary(x, y, p, m, bottom) = {
|
|
||||||
let circle-r = BOUNDARY-HEIGHT / 2
|
|
||||||
let y0 = if bottom {y - m.height / 1pt - SYM-GAP} else {y + m.height / 1pt + BOUNDARY-HEIGHT + SYM-GAP}
|
|
||||||
let x0 = x - BOUNDARY-HEIGHT
|
|
||||||
let y1 = y0 - circle-r
|
|
||||||
let y2 = y0 - BOUNDARY-HEIGHT
|
|
||||||
|
|
||||||
draw.circle(
|
|
||||||
(x + circle-r, y1),
|
|
||||||
radius: circle-r,
|
|
||||||
fill: p.color,
|
|
||||||
stroke: black + .5pt
|
|
||||||
)
|
|
||||||
draw.line(
|
|
||||||
(x0, y0), (x0, y2),
|
|
||||||
stroke: black + .5pt
|
|
||||||
)
|
|
||||||
draw.line(
|
|
||||||
(x0, y1), (x, y1),
|
|
||||||
stroke: black + .5pt
|
|
||||||
)
|
|
||||||
draw.content(
|
|
||||||
(x, y),
|
|
||||||
p.display-name,
|
|
||||||
anchor: if bottom {"north"} else {"south"}
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
#let _render-control(x, y, p, m, bottom) = {
|
|
||||||
let r = CONTROL-HEIGHT / 2
|
|
||||||
let y0 = if bottom {y - m.height / 1pt - SYM-GAP} else {y + m.height / 1pt + CONTROL-HEIGHT + SYM-GAP}
|
|
||||||
|
|
||||||
draw.circle(
|
|
||||||
(x, y0 - r),
|
|
||||||
radius: r,
|
|
||||||
fill: p.color,
|
|
||||||
stroke: black + .5pt
|
|
||||||
)
|
|
||||||
draw.mark((x, y0), (x - r / 2, y0), symbol: "stealth", fill: black)
|
|
||||||
draw.content(
|
|
||||||
(x, y),
|
|
||||||
p.display-name,
|
|
||||||
anchor: if bottom {"north"} else {"south"}
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
#let _render-entity(x, y, p, m, bottom) = {
|
|
||||||
let r = ENTITY-HEIGHT / 2
|
|
||||||
let y0 = if bottom {y - m.height / 1pt - SYM-GAP} else {y + m.height / 1pt + ENTITY-HEIGHT + SYM-GAP}
|
|
||||||
let y1 = y0 - ENTITY-HEIGHT - 1.5
|
|
||||||
|
|
||||||
draw.circle(
|
|
||||||
(x, y0 - r),
|
|
||||||
radius: r,
|
|
||||||
fill: p.color,
|
|
||||||
stroke: black + .5pt
|
|
||||||
)
|
|
||||||
draw.line(
|
|
||||||
(x - r, y1),
|
|
||||||
(x + r, y1),
|
|
||||||
stroke: black + .5pt
|
|
||||||
)
|
|
||||||
draw.content(
|
|
||||||
(x, y),
|
|
||||||
p.display-name,
|
|
||||||
anchor: if bottom {"north"} else {"south"}
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
#let _render-database(x, y, p, m, bottom) = {
|
|
||||||
let height = DATABASE-WIDTH * 4 / 3
|
|
||||||
let rx = DATABASE-WIDTH / 2
|
|
||||||
let ry = rx / 2
|
|
||||||
let y0 = if bottom {y - m.height / 1pt - SYM-GAP} else {y + m.height / 1pt + height + SYM-GAP}
|
|
||||||
let y1 = y0 - height
|
|
||||||
|
|
||||||
draw.merge-path(
|
|
||||||
close: true,
|
|
||||||
fill: p.color,
|
|
||||||
stroke: black + .5pt,
|
|
||||||
{
|
|
||||||
draw.bezier((x - rx, y0 - ry), (x, y0), (x - rx, y0 - ry/2), (x - rx/2, y0))
|
|
||||||
draw.bezier((), (x + rx, y0 - ry), (x + rx/2, y0), (x + rx, y0 - ry/2))
|
|
||||||
draw.line((), (x + rx, y1 + ry))
|
|
||||||
draw.bezier((), (x, y1), (x + rx, y1 + ry/2), (x + rx/2, y1))
|
|
||||||
draw.bezier((), (x - rx, y1 + ry), (x - rx/2, y1), (x - rx, y1 + ry/2))
|
|
||||||
}
|
|
||||||
)
|
|
||||||
draw.merge-path(
|
|
||||||
stroke: black + .5pt,
|
|
||||||
{
|
|
||||||
draw.bezier((x - rx, y0 - ry), (x, y0 - ry*2), (x - rx, y0 - 3*ry/2), (x - rx/2, y0 - ry*2))
|
|
||||||
draw.bezier((), (x + rx, y0 - ry), (x + rx/2, y0 - ry*2), (x + rx, y0 - 3*ry/2))
|
|
||||||
}
|
|
||||||
)
|
|
||||||
draw.content(
|
|
||||||
(x, y),
|
|
||||||
p.display-name,
|
|
||||||
anchor: if bottom {"north"} else {"south"}
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
#let _render-collections(x, y, p, m, bottom) = {
|
|
||||||
let w = m.width / 1pt
|
|
||||||
let h = m.height / 1pt
|
|
||||||
let dx = COLLECTIONS-DX
|
|
||||||
let dy = COLLECTIONS-DY
|
|
||||||
let total-w = w + PAR-PAD.last() * 2 / 1pt + calc.abs(dx)
|
|
||||||
let total-h = h + PAR-PAD.first() * 2 / 1pt + calc.abs(dy)
|
|
||||||
|
|
||||||
let x0 = x - total-w / 2
|
|
||||||
let x1 = x0 + calc.abs(dx)
|
|
||||||
let x3 = x0 + total-w
|
|
||||||
let x2 = x3 - calc.abs(dx)
|
|
||||||
|
|
||||||
let y0 = if bottom {y} else {y + total-h}
|
|
||||||
let y1 = y0 - calc.abs(dy)
|
|
||||||
let y3 = y0 - total-h
|
|
||||||
let y2 = y3 + calc.abs(dy)
|
|
||||||
|
|
||||||
let r1 = (x1, y0, x3, y2)
|
|
||||||
let r2 = (x0, y1, x2, y3)
|
|
||||||
|
|
||||||
if dx < 0 {
|
|
||||||
r1.at(0) = x0
|
|
||||||
r1.at(2) = x2
|
|
||||||
r2.at(0) = x1
|
|
||||||
r2.at(2) = x3
|
|
||||||
}
|
|
||||||
|
|
||||||
if dy < 0 {
|
|
||||||
r1.at(1) = y1
|
|
||||||
r1.at(3) = y3
|
|
||||||
r2.at(1) = y0
|
|
||||||
r2.at(3) = y2
|
|
||||||
}
|
|
||||||
draw.rect(
|
|
||||||
(r1.at(0), r1.at(1)),
|
|
||||||
(r1.at(2), r1.at(3)),
|
|
||||||
fill: p.color,
|
|
||||||
stroke: black + .5pt
|
|
||||||
)
|
|
||||||
draw.rect(
|
|
||||||
(r2.at(0), r2.at(1)),
|
|
||||||
(r2.at(2), r2.at(3)),
|
|
||||||
fill: p.color,
|
|
||||||
stroke: black + .5pt
|
|
||||||
)
|
|
||||||
|
|
||||||
draw.content(
|
|
||||||
((r2.at(0) + r2.at(2)) / 2, (r2.at(1) + r2.at(3)) / 2),
|
|
||||||
p.display-name,
|
|
||||||
anchor: "center"
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
#let _render-queue(x, y, p, m, bottom) = {
|
|
||||||
let w = (m.width + QUEUE-PAD.last() * 2) / 1pt
|
|
||||||
let h = (m.height + QUEUE-PAD.first() * 2) / 1pt
|
|
||||||
let total-h = h
|
|
||||||
let ry = total-h / 2
|
|
||||||
let rx = ry / 2
|
|
||||||
let total-w = w + 3 + 3 * rx
|
|
||||||
|
|
||||||
let x0 = x - total-w / 2
|
|
||||||
let y0 = if bottom {y} else {y + total-h}
|
|
||||||
let y1 = y0 - total-h
|
|
||||||
let x-left = x0 + rx
|
|
||||||
let x-right = x-left + w + rx
|
|
||||||
draw.merge-path(
|
|
||||||
close: true,
|
|
||||||
fill: p.color,
|
|
||||||
stroke: black + .5pt,
|
|
||||||
{
|
|
||||||
draw.bezier((x-right, y0), (x-right + rx, y0 - ry), (x-right + rx/2, y0), (x-right + rx, y0 - ry/2))
|
|
||||||
draw.bezier((), (x-right, y1), (x-right + rx, y1 + ry/2), (x-right + rx/2, y1))
|
|
||||||
draw.line((), (x-left, y1))
|
|
||||||
draw.bezier((), (x-left - rx, y0 - ry), (x-left - rx/2, y1), (x-left - rx, y1 + ry/2))
|
|
||||||
draw.bezier((), (x-left, y0), (x-left - rx, y0 - ry/2), (x-left - rx/2, y0))
|
|
||||||
}
|
|
||||||
)
|
|
||||||
draw.merge-path(
|
|
||||||
stroke: black + .5pt,
|
|
||||||
{
|
|
||||||
draw.bezier((x-right, y0), (x-right - rx, y0 - ry), (x-right - rx/2, y0), (x-right - rx, y0 - ry/2))
|
|
||||||
draw.bezier((), (x-right, y1), (x-right - rx, y1 + ry/2), (x-right - rx/2, y1))
|
|
||||||
}
|
|
||||||
)
|
|
||||||
draw.content(
|
|
||||||
((x-left + x-right - rx) / 2, y0 - ry),
|
|
||||||
p.display-name,
|
|
||||||
anchor: "center"
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
#let _render-custom(x, y, p, m, bottom) = {
|
|
||||||
let image-m = measure(p.custom-image)
|
|
||||||
let y0 = if bottom {y - m.height / 1pt - SYM-GAP} else {y + m.height / 1pt + image-m.height / 1pt + SYM-GAP}
|
|
||||||
draw.content((x - image-m.width / 2pt, y0), p.custom-image, anchor: "north-west")
|
|
||||||
draw.content(
|
|
||||||
(x, y),
|
|
||||||
p.display-name,
|
|
||||||
anchor: if bottom {"north"} else {"south"}
|
|
||||||
)
|
|
||||||
}
|
|
||||||
|
|
||||||
#let render(par, y: 0, bottom: false) = draw.group(cetz-ctx => {
|
|
||||||
let ctx = cetz-ctx.shared-state.chronos
|
|
||||||
let m = measure(box(par.display-name))
|
|
||||||
let func = (
|
|
||||||
participant: _render-participant,
|
|
||||||
actor: _render-actor,
|
|
||||||
boundary: _render-boundary,
|
|
||||||
control: _render-control,
|
|
||||||
entity: _render-entity,
|
|
||||||
database: _render-database,
|
|
||||||
collections: _render-collections,
|
|
||||||
queue: _render-queue,
|
|
||||||
custom: _render-custom,
|
|
||||||
).at(par.shape)
|
|
||||||
func(ctx.x-pos.at(par.i), y, par, m, bottom)
|
|
||||||
},)
|
},)
|
||||||
|
|
||||||
#let render-lifelines() = get-ctx(ctx => {
|
#let render-lifelines() = get-ctx(ctx => {
|
||||||
let participants = ctx.participants
|
let participants = ctx.participants
|
||||||
for p in participants.filter(p => not p.invisible) {
|
for p in participants.filter(p => not p.invisible) {
|
||||||
|
let style = p.resolved-style
|
||||||
let x = ctx.x-pos.at(p.i)
|
let x = ctx.x-pos.at(p.i)
|
||||||
|
|
||||||
// Draw vertical line
|
// Draw vertical line
|
||||||
@ -318,66 +114,61 @@
|
|||||||
|
|
||||||
let rects = ()
|
let rects = ()
|
||||||
let destructions = ()
|
let destructions = ()
|
||||||
let lines = ()
|
let stack = ()
|
||||||
|
|
||||||
// Compute lifeline rectangles + destruction positions
|
// Compute lifeline rectangles + destruction positions
|
||||||
for line in ctx.lifelines.at(p.i).lines {
|
for event in ctx.lifelines.at(p.i).events {
|
||||||
let event = line.first()
|
if event.type == "create" {
|
||||||
if event == "create" {
|
|
||||||
last-y = line.at(1)
|
last-y = line.at(1)
|
||||||
|
|
||||||
} else if event == "enable" {
|
} else if event.type == "enable" {
|
||||||
if lines.len() == 0 {
|
if stack.len() == 0 {
|
||||||
draw.line(
|
draw.line(
|
||||||
(x, last-y),
|
(x, last-y),
|
||||||
(x, line.at(1)),
|
(x, event.y),
|
||||||
stroke: p.line-stroke
|
stroke: style.track
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
lines.push(line)
|
stack.push(event)
|
||||||
|
|
||||||
} else if event == "disable" or event == "destroy" {
|
} else if event.type == "disable" or event.type == "destroy" {
|
||||||
let lvl = 0
|
let lvl = 0
|
||||||
if lines.len() != 0 {
|
if stack.len() != 0 {
|
||||||
let l = lines.pop()
|
let e = stack.pop()
|
||||||
lvl = lines.len()
|
lvl = stack.len()
|
||||||
rects.push((
|
rects.push((
|
||||||
x + lvl * LIFELINE-W / 2,
|
x + lvl * LIFELINE-W / 2,
|
||||||
l.at(1),
|
e.y,
|
||||||
line.at(1),
|
event.y,
|
||||||
l.at(2)
|
e.style
|
||||||
))
|
))
|
||||||
last-y = line.at(1)
|
last-y = event.y
|
||||||
}
|
}
|
||||||
|
|
||||||
if event == "destroy" {
|
if event.type == "destroy" {
|
||||||
destructions.push((x + lvl * LIFELINE-W / 2, line.at(1)))
|
destructions.push((x + lvl * LIFELINE-W / 2, event.y))
|
||||||
}
|
}
|
||||||
} else if event == "delay-start" {
|
} else if event.type == "delay-start" {
|
||||||
draw.line(
|
draw.line(
|
||||||
(x, last-y),
|
(x, last-y),
|
||||||
(x, line.at(1)),
|
(x, event.y),
|
||||||
stroke: p.line-stroke
|
stroke: style.track
|
||||||
)
|
)
|
||||||
last-y = line.at(1)
|
last-y = event.y
|
||||||
} else if event == "delay-end" {
|
} else if event.type == "delay-end" {
|
||||||
draw.line(
|
draw.line(
|
||||||
(x, last-y),
|
(x, last-y),
|
||||||
(x, line.at(1)),
|
(x, event.y),
|
||||||
stroke: (
|
stroke: event.stroke
|
||||||
dash: "loosely-dotted",
|
|
||||||
paint: gray.darken(40%),
|
|
||||||
thickness: .8pt
|
|
||||||
)
|
|
||||||
)
|
)
|
||||||
last-y = line.at(1)
|
last-y = event.y
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
draw.line(
|
draw.line(
|
||||||
(x, last-y),
|
(x, last-y),
|
||||||
(x, ctx.y),
|
(x, ctx.y),
|
||||||
stroke: p.line-stroke
|
stroke: style.track
|
||||||
)
|
)
|
||||||
|
|
||||||
// Draw lifeline rectangles (reverse for bottom to top)
|
// Draw lifeline rectangles (reverse for bottom to top)
|
||||||
@ -399,7 +190,7 @@
|
|||||||
}
|
}
|
||||||
|
|
||||||
// Draw participants (end)
|
// Draw participants (end)
|
||||||
if p.show-bottom {
|
if style.show-bottom {
|
||||||
(p.draw)(p, y: ctx.y, bottom: true)
|
(p.draw)(p, y: ctx.y, bottom: true)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
75
src/core/draw/participant/actor.typ
Normal file
75
src/core/draw/participant/actor.typ
Normal file
@ -0,0 +1,75 @@
|
|||||||
|
#import "/src/cetz.typ": draw
|
||||||
|
|
||||||
|
#import "/src/core/utils.typ": normalize-measure, normalize-units
|
||||||
|
|
||||||
|
#let name = "actor"
|
||||||
|
|
||||||
|
#let render(x, y, p, bottom) = {
|
||||||
|
let m = normalize-measure(p.display-name)
|
||||||
|
let style = p.resolved-style
|
||||||
|
let spacing = normalize-units(style.spacing)
|
||||||
|
let width = normalize-units(style.width)
|
||||||
|
let height = width * 2
|
||||||
|
let w2 = width / 2
|
||||||
|
let head-r = width / 4
|
||||||
|
let arms-y = height * 0.375
|
||||||
|
|
||||||
|
let y0 = if bottom {
|
||||||
|
y - m.height - spacing
|
||||||
|
} else {
|
||||||
|
y + m.height + height + spacing
|
||||||
|
}
|
||||||
|
|
||||||
|
// Head
|
||||||
|
draw.circle(
|
||||||
|
(x, y0 - head-r),
|
||||||
|
radius: head-r,
|
||||||
|
fill: style.fill,
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
|
||||||
|
// Body
|
||||||
|
draw.line(
|
||||||
|
(x, y0 - head-r * 2),
|
||||||
|
(x, y0 - height + w2),
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
|
||||||
|
// Arms
|
||||||
|
draw.line(
|
||||||
|
(x - w2, y0 - arms-y),
|
||||||
|
(x + w2, y0 - arms-y),
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
|
||||||
|
// Legs
|
||||||
|
draw.line(
|
||||||
|
(x - w2, y0 - height),
|
||||||
|
(x, y0 - height + w2),
|
||||||
|
(x + w2, y0 - height),
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
draw.content(
|
||||||
|
(x, y),
|
||||||
|
p.display-name,
|
||||||
|
anchor: if bottom {"north"} else {"base"}
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let get-size(par) = {
|
||||||
|
let m = normalize-measure(par.display-name)
|
||||||
|
|
||||||
|
let width = normalize-units(par.resolved-style.width)
|
||||||
|
let height = width * 2
|
||||||
|
let spacing = normalize-units(par.resolved-style.spacing)
|
||||||
|
|
||||||
|
return (
|
||||||
|
width: calc.max(m.width, width),
|
||||||
|
height: height + spacing + m.height
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let default-style = (
|
||||||
|
width: 20pt,
|
||||||
|
spacing: 5pt
|
||||||
|
)
|
59
src/core/draw/participant/boundary.typ
Normal file
59
src/core/draw/participant/boundary.typ
Normal file
@ -0,0 +1,59 @@
|
|||||||
|
#import "/src/cetz.typ": draw
|
||||||
|
|
||||||
|
#import "/src/core/utils.typ": normalize-measure, normalize-units
|
||||||
|
|
||||||
|
#let name = "boundary"
|
||||||
|
|
||||||
|
#let render(x, y, p, bottom) = {
|
||||||
|
let m = normalize-measure(p.display-name)
|
||||||
|
let style = p.resolved-style
|
||||||
|
let height = normalize-units(style.height)
|
||||||
|
let spacing = normalize-units(style.spacing)
|
||||||
|
let circle-r = height / 2
|
||||||
|
let y0 = if bottom {
|
||||||
|
y - m.height - spacing
|
||||||
|
} else {
|
||||||
|
y + m.height + height + spacing
|
||||||
|
}
|
||||||
|
let x0 = x - height
|
||||||
|
let y1 = y0 - circle-r
|
||||||
|
let y2 = y0 - height
|
||||||
|
|
||||||
|
draw.circle(
|
||||||
|
(x + circle-r, y1),
|
||||||
|
radius: circle-r,
|
||||||
|
fill: style.fill,
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
draw.line(
|
||||||
|
(x0, y0), (x0, y2),
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
draw.line(
|
||||||
|
(x0, y1), (x, y1),
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
draw.content(
|
||||||
|
(x, y),
|
||||||
|
p.display-name,
|
||||||
|
anchor: if bottom {"north"} else {"base"}
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let get-size(par) = {
|
||||||
|
let m = normalize-measure(par.display-name)
|
||||||
|
|
||||||
|
let height = normalize-units(par.resolved-style.height)
|
||||||
|
let width = height * 2
|
||||||
|
let spacing = normalize-units(par.resolved-style.spacing)
|
||||||
|
|
||||||
|
return (
|
||||||
|
width: calc.max(m.width, width),
|
||||||
|
height: height + spacing + m.height
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let default-style = (
|
||||||
|
height: 20pt,
|
||||||
|
spacing: 5pt
|
||||||
|
)
|
108
src/core/draw/participant/collections.typ
Normal file
108
src/core/draw/participant/collections.typ
Normal file
@ -0,0 +1,108 @@
|
|||||||
|
#import "/src/cetz.typ": draw
|
||||||
|
|
||||||
|
#import "/src/core/utils.typ": normalize-measure, normalize-units
|
||||||
|
|
||||||
|
#let name = "collections"
|
||||||
|
|
||||||
|
#let normalize-offset(offset) = {
|
||||||
|
let dx = 0pt
|
||||||
|
let dy = 0pt
|
||||||
|
if type(offset) == array {
|
||||||
|
if offset.len() >= 2 {
|
||||||
|
dx = offset.at(0)
|
||||||
|
dy = offset.at(1)
|
||||||
|
}
|
||||||
|
} else if type(offset) == dictionary {
|
||||||
|
dx = offset.at("dx", default: dx)
|
||||||
|
dy = offset.at("dx", default: dy)
|
||||||
|
} else {
|
||||||
|
dx = offset
|
||||||
|
dy = offset
|
||||||
|
}
|
||||||
|
return (
|
||||||
|
x: normalize-units(dx),
|
||||||
|
y: normalize-units(dy)
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let render(x, y, p, bottom) = {
|
||||||
|
let style = p.resolved-style
|
||||||
|
let name = box(
|
||||||
|
p.display-name,
|
||||||
|
inset: style.inset,
|
||||||
|
fill: style.fill,
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
let m = normalize-measure(name)
|
||||||
|
let offset = normalize-offset(style.offset)
|
||||||
|
|
||||||
|
let w = m.width
|
||||||
|
let h = m.height
|
||||||
|
let dx = offset.x
|
||||||
|
let dy = offset.y
|
||||||
|
let total-w = w + calc.abs(dx)
|
||||||
|
let total-h = h + calc.abs(dy)
|
||||||
|
|
||||||
|
let x0 = x - total-w / 2
|
||||||
|
let x1 = x0 + calc.abs(dx)
|
||||||
|
let x3 = x0 + total-w
|
||||||
|
let x2 = x3 - calc.abs(dx)
|
||||||
|
|
||||||
|
let y0 = if bottom {y} else {y + total-h}
|
||||||
|
let y1 = y0 - calc.abs(dy)
|
||||||
|
let y3 = y0 - total-h
|
||||||
|
let y2 = y3 + calc.abs(dy)
|
||||||
|
|
||||||
|
let r1 = (x1, y0, x3, y2)
|
||||||
|
let r2 = (x0, y1, x2, y3)
|
||||||
|
|
||||||
|
if dx < 0 {
|
||||||
|
r1.at(0) = x0
|
||||||
|
r1.at(2) = x2
|
||||||
|
r2.at(0) = x1
|
||||||
|
r2.at(2) = x3
|
||||||
|
}
|
||||||
|
|
||||||
|
if dy < 0 {
|
||||||
|
r1.at(1) = y1
|
||||||
|
r1.at(3) = y3
|
||||||
|
r2.at(1) = y0
|
||||||
|
r2.at(3) = y2
|
||||||
|
}
|
||||||
|
draw.rect(
|
||||||
|
(r1.at(0), r1.at(1)),
|
||||||
|
(r1.at(2), r1.at(3)),
|
||||||
|
fill: style.fill,
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
|
||||||
|
draw.content(
|
||||||
|
(
|
||||||
|
(r2.at(0) + r2.at(2)) / 2,
|
||||||
|
(r2.at(1) + r2.at(3)) / 2
|
||||||
|
),
|
||||||
|
name,
|
||||||
|
anchor: "mid"
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let get-size(par) = {
|
||||||
|
let m = normalize-measure(box(
|
||||||
|
par.display-name,
|
||||||
|
inset: par.resolved-style.inset
|
||||||
|
))
|
||||||
|
|
||||||
|
let offset = normalize-offset(par.resolved-style.offset)
|
||||||
|
let dx = offset.x
|
||||||
|
let dy = offset.y
|
||||||
|
|
||||||
|
return (
|
||||||
|
width: m.width + calc.abs(dx),
|
||||||
|
height: m.height + calc.abs(dy)
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let default-style = (
|
||||||
|
inset: (x: 3pt, y: 5pt),
|
||||||
|
offset: (3pt, 3pt)
|
||||||
|
)
|
54
src/core/draw/participant/control.typ
Normal file
54
src/core/draw/participant/control.typ
Normal file
@ -0,0 +1,54 @@
|
|||||||
|
#import "/src/cetz.typ": draw
|
||||||
|
|
||||||
|
#import "/src/core/utils.typ": normalize-measure, normalize-units
|
||||||
|
|
||||||
|
#let name = "control"
|
||||||
|
|
||||||
|
#let render(x, y, p, bottom) = {
|
||||||
|
let m = normalize-measure(p.display-name)
|
||||||
|
let style = p.resolved-style
|
||||||
|
let size = normalize-units(style.size)
|
||||||
|
let spacing = normalize-units(style.spacing)
|
||||||
|
let r = size / 2
|
||||||
|
let y0 = if bottom {
|
||||||
|
y - m.height - spacing
|
||||||
|
} else {
|
||||||
|
y + m.height + size + spacing
|
||||||
|
}
|
||||||
|
|
||||||
|
draw.circle(
|
||||||
|
(x, y0 - r),
|
||||||
|
radius: r,
|
||||||
|
fill: style.fill,
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
let s = stroke(style.stroke)
|
||||||
|
draw.mark(
|
||||||
|
(x, y0), (x - r / 2, y0),
|
||||||
|
symbol: "stealth",
|
||||||
|
fill: s.paint,
|
||||||
|
stroke: s.paint
|
||||||
|
)
|
||||||
|
draw.content(
|
||||||
|
(x, y),
|
||||||
|
p.display-name,
|
||||||
|
anchor: if bottom {"north"} else {"base"}
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let get-size(par) = {
|
||||||
|
let m = normalize-measure(par.display-name)
|
||||||
|
|
||||||
|
let size = normalize-units(par.resolved-style.size)
|
||||||
|
let spacing = normalize-units(par.resolved-style.spacing)
|
||||||
|
|
||||||
|
return (
|
||||||
|
width: calc.max(m.width, size),
|
||||||
|
height: size + spacing + m.height
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let default-style = (
|
||||||
|
size: 20pt,
|
||||||
|
spacing: 5pt
|
||||||
|
)
|
43
src/core/draw/participant/custom.typ
Normal file
43
src/core/draw/participant/custom.typ
Normal file
@ -0,0 +1,43 @@
|
|||||||
|
#import "/src/cetz.typ": draw
|
||||||
|
|
||||||
|
#import "/src/core/utils.typ": normalize-measure, normalize-units
|
||||||
|
|
||||||
|
#let name = "custom"
|
||||||
|
|
||||||
|
#let render(x, y, p, bottom) = {
|
||||||
|
let style = p.resolved-style
|
||||||
|
let elmts = (style.image, p.display-name)
|
||||||
|
if bottom {
|
||||||
|
elmts = elmts.rev()
|
||||||
|
}
|
||||||
|
let shape = align(
|
||||||
|
center,
|
||||||
|
stack(
|
||||||
|
dir: ttb,
|
||||||
|
spacing: normalize-units(style.spacing) * 1pt,
|
||||||
|
..elmts
|
||||||
|
)
|
||||||
|
)
|
||||||
|
let anchor = if bottom {"north"} else {"base"}
|
||||||
|
draw.content(
|
||||||
|
(x, y),
|
||||||
|
shape,
|
||||||
|
anchor: anchor
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let get-size(par) = {
|
||||||
|
let name-m = normalize-measure(par.display-name)
|
||||||
|
let img-m = normalize-measure(par.resolved-style.image)
|
||||||
|
let spacing = normalize-units(par.resolved-style.spacing)
|
||||||
|
|
||||||
|
return (
|
||||||
|
width: calc.max(name-m.width, img-m.width),
|
||||||
|
height: name-m.height + spacing + img-m.height
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let default-style = (
|
||||||
|
image: none,
|
||||||
|
spacing: 5pt
|
||||||
|
)
|
64
src/core/draw/participant/database.typ
Normal file
64
src/core/draw/participant/database.typ
Normal file
@ -0,0 +1,64 @@
|
|||||||
|
#import "/src/cetz.typ": draw
|
||||||
|
|
||||||
|
#import "/src/core/utils.typ": normalize-measure, normalize-units
|
||||||
|
|
||||||
|
#let name = "database"
|
||||||
|
|
||||||
|
#let render(x, y, p, bottom) = {
|
||||||
|
let m = normalize-measure(p.display-name)
|
||||||
|
let style = p.resolved-style
|
||||||
|
let width = normalize-units(style.width)
|
||||||
|
let spacing = normalize-units(style.spacing)
|
||||||
|
let height = width * 4 / 3
|
||||||
|
let rx = width / 2
|
||||||
|
let ry = rx / 2
|
||||||
|
let y0 = if bottom {
|
||||||
|
y - m.height - spacing
|
||||||
|
} else {
|
||||||
|
y + m.height + height + spacing
|
||||||
|
}
|
||||||
|
let y1 = y0 - height
|
||||||
|
|
||||||
|
draw.merge-path(
|
||||||
|
close: true,
|
||||||
|
fill: style.fill,
|
||||||
|
stroke: style.stroke,
|
||||||
|
{
|
||||||
|
draw.bezier((x - rx, y0 - ry), (x, y0), (x - rx, y0 - ry/2), (x - rx/2, y0))
|
||||||
|
draw.bezier((), (x + rx, y0 - ry), (x + rx/2, y0), (x + rx, y0 - ry/2))
|
||||||
|
draw.line((), (x + rx, y1 + ry))
|
||||||
|
draw.bezier((), (x, y1), (x + rx, y1 + ry/2), (x + rx/2, y1))
|
||||||
|
draw.bezier((), (x - rx, y1 + ry), (x - rx/2, y1), (x - rx, y1 + ry/2))
|
||||||
|
}
|
||||||
|
)
|
||||||
|
draw.merge-path(
|
||||||
|
stroke: style.stroke,
|
||||||
|
{
|
||||||
|
draw.bezier((x - rx, y0 - ry), (x, y0 - ry*2), (x - rx, y0 - 3*ry/2), (x - rx/2, y0 - ry*2))
|
||||||
|
draw.bezier((), (x + rx, y0 - ry), (x + rx/2, y0 - ry*2), (x + rx, y0 - 3*ry/2))
|
||||||
|
}
|
||||||
|
)
|
||||||
|
draw.content(
|
||||||
|
(x, y),
|
||||||
|
p.display-name,
|
||||||
|
anchor: if bottom {"north"} else {"base"}
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let get-size(par) = {
|
||||||
|
let m = normalize-measure(par.display-name)
|
||||||
|
|
||||||
|
let width = normalize-units(par.resolved-style.width)
|
||||||
|
let height = width * 4 / 3
|
||||||
|
let spacing = normalize-units(par.resolved-style.spacing)
|
||||||
|
|
||||||
|
return (
|
||||||
|
width: calc.max(m.width, width),
|
||||||
|
height: height + spacing + m.height
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let default-style = (
|
||||||
|
width: 24pt,
|
||||||
|
spacing: 5pt
|
||||||
|
)
|
37
src/core/draw/participant/default.typ
Normal file
37
src/core/draw/participant/default.typ
Normal file
@ -0,0 +1,37 @@
|
|||||||
|
#import "/src/cetz.typ": draw
|
||||||
|
|
||||||
|
#import "/src/core/utils.typ": normalize-measure
|
||||||
|
|
||||||
|
#let name = "participant"
|
||||||
|
|
||||||
|
#let render(x, y, p, bottom) = {
|
||||||
|
let style = p.resolved-style
|
||||||
|
let name = box(
|
||||||
|
p.display-name,
|
||||||
|
inset: style.inset,
|
||||||
|
radius: style.radius,
|
||||||
|
fill: style.fill,
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
let anchor = if bottom {"north"} else {"base"}
|
||||||
|
draw.content(
|
||||||
|
(x, y),
|
||||||
|
name,
|
||||||
|
anchor: anchor
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let get-size(par) = {
|
||||||
|
return normalize-measure(box(
|
||||||
|
par.display-name,
|
||||||
|
inset: par.resolved-style.inset
|
||||||
|
))
|
||||||
|
}
|
||||||
|
|
||||||
|
#let default-style = (
|
||||||
|
inset: (
|
||||||
|
x: 3pt,
|
||||||
|
y: 5pt
|
||||||
|
),
|
||||||
|
radius: 2pt
|
||||||
|
)
|
55
src/core/draw/participant/entity.typ
Normal file
55
src/core/draw/participant/entity.typ
Normal file
@ -0,0 +1,55 @@
|
|||||||
|
#import "/src/cetz.typ": draw
|
||||||
|
|
||||||
|
#import "/src/core/utils.typ": normalize-measure, normalize-units
|
||||||
|
|
||||||
|
#let name = "entity"
|
||||||
|
|
||||||
|
#let render(x, y, p, bottom) = {
|
||||||
|
let m = normalize-measure(p.display-name)
|
||||||
|
let style = p.resolved-style
|
||||||
|
let size = normalize-units(style.size)
|
||||||
|
let spacing = normalize-units(style.spacing)
|
||||||
|
let gap = normalize-units(style.gap)
|
||||||
|
let r = size / 2
|
||||||
|
let y0 = if bottom {
|
||||||
|
y - m.height - spacing
|
||||||
|
} else {
|
||||||
|
y + m.height + size + spacing
|
||||||
|
}
|
||||||
|
let y1 = y0 - size - gap
|
||||||
|
|
||||||
|
draw.circle(
|
||||||
|
(x, y0 - r),
|
||||||
|
radius: r,
|
||||||
|
fill: style.fill,
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
draw.line(
|
||||||
|
(x - r, y1),
|
||||||
|
(x + r, y1),
|
||||||
|
stroke: style.stroke
|
||||||
|
)
|
||||||
|
draw.content(
|
||||||
|
(x, y),
|
||||||
|
p.display-name,
|
||||||
|
anchor: if bottom {"north"} else {"base"}
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let get-size(par) = {
|
||||||
|
let m = normalize-measure(par.display-name)
|
||||||
|
|
||||||
|
let size = normalize-units(par.resolved-style.size)
|
||||||
|
let spacing = normalize-units(par.resolved-style.spacing)
|
||||||
|
|
||||||
|
return (
|
||||||
|
width: calc.max(m.width, size),
|
||||||
|
height: size + spacing + m.height
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let default-style = (
|
||||||
|
size: 20pt,
|
||||||
|
gap: 1.5pt,
|
||||||
|
spacing: 5pt
|
||||||
|
)
|
120
src/core/draw/participant/queue.typ
Normal file
120
src/core/draw/participant/queue.typ
Normal file
@ -0,0 +1,120 @@
|
|||||||
|
#import "/src/cetz.typ": draw
|
||||||
|
|
||||||
|
#import "/src/core/utils.typ": normalize-measure
|
||||||
|
|
||||||
|
#let name = "queue"
|
||||||
|
|
||||||
|
#let render(x, y, p, bottom) = {
|
||||||
|
let style = p.resolved-style
|
||||||
|
let m = normalize-measure(box(
|
||||||
|
p.display-name,
|
||||||
|
inset: style.inset
|
||||||
|
))
|
||||||
|
|
||||||
|
let w = m.width
|
||||||
|
let h = m.height
|
||||||
|
let ry = h / 2
|
||||||
|
let rx = ry / 2
|
||||||
|
let total-w = w + 3 * rx
|
||||||
|
|
||||||
|
let y0 = if bottom {y} else {y + h}
|
||||||
|
let y1 = y0 - h
|
||||||
|
let ym = y0 - ry
|
||||||
|
|
||||||
|
let xll = x - total-w / 2
|
||||||
|
let xrr = x + total-w / 2
|
||||||
|
let xlm = xll + rx
|
||||||
|
let xrm = xrr - rx
|
||||||
|
let xrl = xrm - rx
|
||||||
|
|
||||||
|
/*
|
||||||
|
/A----------/B\ --- y0
|
||||||
|
Fh G C --- ym
|
||||||
|
\E----------\D/ --- y1
|
||||||
|
|
||||||
|
|| |||
|
||||||
|
|| ||\-- xrr
|
||||||
|
|| |\--- xrm
|
||||||
|
|| \---- xrl
|
||||||
|
|\--------------- xlm
|
||||||
|
\---------------- xll
|
||||||
|
|
||||||
|
h <-> G == w
|
||||||
|
F <-> h == rx
|
||||||
|
G <-> C == 2 * rx == ry
|
||||||
|
A <-> E == B <-> D == 2 * ry == h
|
||||||
|
*/
|
||||||
|
|
||||||
|
draw.merge-path(
|
||||||
|
close: true,
|
||||||
|
fill: style.fill,
|
||||||
|
stroke: style.stroke,
|
||||||
|
{
|
||||||
|
draw.bezier(
|
||||||
|
(xrm, y0),
|
||||||
|
(xrr, ym),
|
||||||
|
(xrm + rx/2, y0),
|
||||||
|
(xrr, ym + ry/2)
|
||||||
|
)
|
||||||
|
draw.bezier(
|
||||||
|
(),
|
||||||
|
(xrm, y1),
|
||||||
|
(xrr, ym - ry/2),
|
||||||
|
(xrm + rx/2, y1)
|
||||||
|
)
|
||||||
|
draw.line((), (xlm, y1))
|
||||||
|
draw.bezier(
|
||||||
|
(),
|
||||||
|
(xll, ym),
|
||||||
|
(xlm - rx/2, y1),
|
||||||
|
(xll, ym - ry/2)
|
||||||
|
)
|
||||||
|
draw.bezier(
|
||||||
|
(),
|
||||||
|
(xlm, y0),
|
||||||
|
(xll, ym + ry/2),
|
||||||
|
(xlm - rx/2, y0)
|
||||||
|
)
|
||||||
|
}
|
||||||
|
)
|
||||||
|
draw.merge-path(
|
||||||
|
stroke: style.stroke,
|
||||||
|
{
|
||||||
|
draw.bezier(
|
||||||
|
(xrm, y0),
|
||||||
|
(xrl, ym),
|
||||||
|
(xrm - rx/2, y0),
|
||||||
|
(xrl, ym + ry/2)
|
||||||
|
)
|
||||||
|
draw.bezier(
|
||||||
|
(),
|
||||||
|
(xrm, y1),
|
||||||
|
(xrl, ym - ry/2),
|
||||||
|
(xrm - rx/2, y1)
|
||||||
|
)
|
||||||
|
}
|
||||||
|
)
|
||||||
|
draw.content(
|
||||||
|
((xlm + xrl) / 2, ym),
|
||||||
|
p.display-name,
|
||||||
|
anchor: "mid"
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let get-size(par) = {
|
||||||
|
let m = normalize-measure(box(
|
||||||
|
par.display-name,
|
||||||
|
inset: par.resolved-style.inset
|
||||||
|
))
|
||||||
|
|
||||||
|
let rx = m.height / 4
|
||||||
|
|
||||||
|
return (
|
||||||
|
width: m.width + 3 * rx,
|
||||||
|
height: m.height
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
|
#let default-style = (
|
||||||
|
inset: (x: 3pt, y: 5pt)
|
||||||
|
)
|
@ -1,47 +1,65 @@
|
|||||||
#import "/src/cetz.typ": draw
|
#import "/src/cetz.typ": draw, styles
|
||||||
|
|
||||||
#import "/src/consts.typ": *
|
#import "/src/consts.typ": *
|
||||||
#import "/src/core/utils.typ": get-ctx, set-ctx
|
#import "/src/core/utils.typ": get-ctx, normalize-units, set-y
|
||||||
|
|
||||||
|
#let separator-default-style = (
|
||||||
|
inset: (
|
||||||
|
x: 3pt, y: 5pt
|
||||||
|
),
|
||||||
|
fill: auto,
|
||||||
|
stroke: auto,
|
||||||
|
gap: 3pt,
|
||||||
|
outset: 20pt
|
||||||
|
)
|
||||||
|
|
||||||
#let render(sep) = get-ctx(ctx => {
|
#let render(sep) = get-ctx(ctx => {
|
||||||
ctx.y -= Y-SPACE
|
let style = styles.resolve(
|
||||||
|
ctx.style,
|
||||||
let x0 = ctx.x-pos.first() - 20
|
merge: sep.style,
|
||||||
let x1 = ctx.x-pos.last() + 20
|
root: "separator",
|
||||||
let m = measure(
|
base: separator-default-style
|
||||||
box(
|
|
||||||
sep.name,
|
|
||||||
inset: (left: 3pt, right: 3pt, top: 5pt, bottom: 5pt)
|
|
||||||
)
|
|
||||||
)
|
)
|
||||||
|
let gap = normalize-units(style.gap)
|
||||||
|
let outset = normalize-units(style.outset)
|
||||||
|
|
||||||
|
ctx.y -= ctx.style.y-space
|
||||||
|
|
||||||
|
let x0 = ctx.x-pos.first() - outset
|
||||||
|
let x1 = ctx.x-pos.last() + outset
|
||||||
|
let name = box(
|
||||||
|
sep.name,
|
||||||
|
inset: style.inset,
|
||||||
|
stroke: style.stroke,
|
||||||
|
fill: style.fill
|
||||||
|
)
|
||||||
|
let m = measure(name)
|
||||||
let w = m.width / 1pt
|
let w = m.width / 1pt
|
||||||
let h = m.height / 1pt
|
let h = m.height / 1pt
|
||||||
let cx = (x0 + x1) / 2
|
let cx = (x0 + x1) / 2
|
||||||
let xl = cx - w / 2
|
let xl = cx - w / 2
|
||||||
let xr = cx + w / 2
|
let xr = cx + w / 2
|
||||||
|
|
||||||
ctx.y -= h / 2
|
let y0 = ctx.y
|
||||||
draw.rect(
|
let y2 = y0 - h
|
||||||
(x0, ctx.y),
|
let y1 = (y0 + y2) / 2
|
||||||
(x1, ctx.y - 3),
|
|
||||||
stroke: none,
|
|
||||||
fill: white
|
|
||||||
)
|
|
||||||
draw.line((x0, ctx.y), (x1, ctx.y))
|
|
||||||
ctx.y -= 3
|
|
||||||
draw.line((x0, ctx.y), (x1, ctx.y))
|
|
||||||
draw.content(
|
|
||||||
((x0 + x1) / 2, ctx.y + 1.5),
|
|
||||||
sep.name,
|
|
||||||
anchor: "center",
|
|
||||||
padding: (5pt, 3pt),
|
|
||||||
frame: "rect",
|
|
||||||
fill: COL-SEP-NAME
|
|
||||||
)
|
|
||||||
ctx.y -= h / 2
|
|
||||||
|
|
||||||
set-ctx(c => {
|
let gap-y0 = y1 + gap / 2
|
||||||
c.y = ctx.y
|
let gap-y1 = gap-y0 - gap
|
||||||
return c
|
|
||||||
})
|
draw.rect(
|
||||||
|
(x0, gap-y0),
|
||||||
|
(x1, gap-y1),
|
||||||
|
stroke: none,
|
||||||
|
fill: style.fill
|
||||||
|
)
|
||||||
|
draw.line((x0, gap-y0), (x1, gap-y0))
|
||||||
|
draw.line((x0, gap-y1), (x1, gap-y1))
|
||||||
|
draw.content(
|
||||||
|
(cx, y1),
|
||||||
|
name,
|
||||||
|
anchor: "mid"
|
||||||
|
)
|
||||||
|
|
||||||
|
set-y(y2)
|
||||||
})
|
})
|
||||||
|
@ -102,23 +102,23 @@
|
|||||||
if seq.disable-src {
|
if seq.disable-src {
|
||||||
let src-line = ctx.lifelines.at(i1)
|
let src-line = ctx.lifelines.at(i1)
|
||||||
src-line.level -= 1
|
src-line.level -= 1
|
||||||
src-line.lines.push(("disable", start-info.y))
|
src-line.events.push((type: "disable", y: start-info.y))
|
||||||
ctx.lifelines.at(i1) = src-line
|
ctx.lifelines.at(i1) = src-line
|
||||||
}
|
}
|
||||||
if seq.destroy-src {
|
if seq.destroy-src {
|
||||||
let src-line = ctx.lifelines.at(i1)
|
let src-line = ctx.lifelines.at(i1)
|
||||||
src-line.lines.push(("destroy", start-info.y))
|
src-line.events.push((type: "destroy", y: start-info.y))
|
||||||
ctx.lifelines.at(i1) = src-line
|
ctx.lifelines.at(i1) = src-line
|
||||||
}
|
}
|
||||||
if seq.disable-dst {
|
if seq.disable-dst {
|
||||||
let dst-line = ctx.lifelines.at(i2)
|
let dst-line = ctx.lifelines.at(i2)
|
||||||
dst-line.level -= 1
|
dst-line.level -= 1
|
||||||
dst-line.lines.push(("disable", end-info.y))
|
dst-line.events.push((type: "disable", y: end-info.y))
|
||||||
ctx.lifelines.at(i2) = dst-line
|
ctx.lifelines.at(i2) = dst-line
|
||||||
}
|
}
|
||||||
if seq.destroy-dst {
|
if seq.destroy-dst {
|
||||||
let dst-line = ctx.lifelines.at(i2)
|
let dst-line = ctx.lifelines.at(i2)
|
||||||
dst-line.lines.push(("destroy", end-info.y))
|
dst-line.events.push((type: "destroy", y: end-info.y))
|
||||||
ctx.lifelines.at(i2) = dst-line
|
ctx.lifelines.at(i2) = dst-line
|
||||||
}
|
}
|
||||||
if seq.enable-dst {
|
if seq.enable-dst {
|
||||||
@ -341,12 +341,12 @@
|
|||||||
|
|
||||||
if seq.create-dst {
|
if seq.create-dst {
|
||||||
let dst-line = ctx.lifelines.at(i2)
|
let dst-line = ctx.lifelines.at(i2)
|
||||||
dst-line.lines.push(("create", end-info.y))
|
dst-line.events.push((type: "create", y: end-info.y))
|
||||||
ctx.lifelines.at(i2) = dst-line
|
ctx.lifelines.at(i2) = dst-line
|
||||||
}
|
}
|
||||||
if seq.enable-dst {
|
if seq.enable-dst {
|
||||||
let dst-line = ctx.lifelines.at(i2)
|
let dst-line = ctx.lifelines.at(i2)
|
||||||
dst-line.lines.push(("enable", end-info.y, seq.lifeline-style))
|
dst-line.events.push((type: "enable", y: end-info.y, style: seq.lifeline-style))
|
||||||
ctx.lifelines.at(i2) = dst-line
|
ctx.lifelines.at(i2) = dst-line
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -155,7 +155,7 @@
|
|||||||
let m2 = participant.get-size(p2)
|
let m2 = participant.get-size(p2)
|
||||||
let w1 = m1.width
|
let w1 = m1.width
|
||||||
let w2 = m2.width
|
let w2 = m2.width
|
||||||
widths.push(w1 / 2pt + w2 / 2pt + PAR-SPACE)
|
widths.push(w1 / 2 + w2 / 2 + PAR-SPACE)
|
||||||
}
|
}
|
||||||
return widths
|
return widths
|
||||||
}
|
}
|
||||||
@ -220,7 +220,7 @@
|
|||||||
}
|
}
|
||||||
|
|
||||||
/// Compute remaining widths for longer sequences (spanning multiple columns)
|
/// Compute remaining widths for longer sequences (spanning multiple columns)
|
||||||
#let long-seq-min-col-widths(cells, widths) = {
|
#let long-seq-min-col-widths(participants, cells, widths) = {
|
||||||
let widths = widths
|
let widths = widths
|
||||||
let multicol-cells = cells.filter(c => c.i2 - c.i1 > 1)
|
let multicol-cells = cells.filter(c => c.i2 - c.i1 > 1)
|
||||||
multicol-cells = multicol-cells.sorted(key: c => {
|
multicol-cells = multicol-cells.sorted(key: c => {
|
||||||
@ -228,13 +228,23 @@
|
|||||||
})
|
})
|
||||||
for cell in multicol-cells {
|
for cell in multicol-cells {
|
||||||
let m = measure(cell.cell)
|
let m = measure(cell.cell)
|
||||||
|
|
||||||
|
let i1 = cell.i1
|
||||||
|
let i2 = cell.i2 - 1
|
||||||
|
let i = i2
|
||||||
|
if cell.i1 == 0 and participants.at(0).name == "[" {
|
||||||
|
i = 0
|
||||||
|
i1 += 1
|
||||||
|
i2 += 1
|
||||||
|
}
|
||||||
let width = (
|
let width = (
|
||||||
m.width / 1pt +
|
m.width / 1pt +
|
||||||
COMMENT-PAD -
|
COMMENT-PAD -
|
||||||
widths.slice(cell.i1, cell.i2 - 1).sum()
|
widths.slice(i1, i2).sum()
|
||||||
)
|
)
|
||||||
widths.at(cell.i2 - 1) = calc.max(
|
|
||||||
widths.at(cell.i2 - 1), width
|
widths.at(i) = calc.max(
|
||||||
|
widths.at(i), width
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
return widths
|
return widths
|
||||||
@ -307,7 +317,7 @@
|
|||||||
widths = notes-min-col-widths(elements, widths, pars-i)
|
widths = notes-min-col-widths(elements, widths, pars-i)
|
||||||
widths = simple-seq-min-col-widths(cells, widths)
|
widths = simple-seq-min-col-widths(cells, widths)
|
||||||
widths = self-seq-min-col-widths(cells, widths)
|
widths = self-seq-min-col-widths(cells, widths)
|
||||||
widths = long-seq-min-col-widths(cells, widths)
|
widths = long-seq-min-col-widths(participants, cells, widths)
|
||||||
widths = col-widths-add-lifelines(participants, widths)
|
widths = col-widths-add-lifelines(participants, widths)
|
||||||
widths = process-col-elements(elements, widths, pars-i)
|
widths = process-col-elements(elements, widths, pars-i)
|
||||||
return widths
|
return widths
|
||||||
@ -316,6 +326,12 @@
|
|||||||
#let setup-ctx(participants, elements) = (ctx => {
|
#let setup-ctx(participants, elements) = (ctx => {
|
||||||
let state = ctx.at("shared-state", default: (:))
|
let state = ctx.at("shared-state", default: (:))
|
||||||
|
|
||||||
|
let (elements, participants) = participant.pre-resolve-styles(
|
||||||
|
extract-ctx(ctx, with-style: true),
|
||||||
|
elements,
|
||||||
|
participants
|
||||||
|
)
|
||||||
|
|
||||||
let chronos-ctx = (
|
let chronos-ctx = (
|
||||||
participants: init-lifelines(participants),
|
participants: init-lifelines(participants),
|
||||||
pars-i: get-participants-i(participants),
|
pars-i: get-participants-i(participants),
|
||||||
@ -323,7 +339,7 @@
|
|||||||
groups: (),
|
groups: (),
|
||||||
lifelines: participants.map(_ => (
|
lifelines: participants.map(_ => (
|
||||||
level: 0,
|
level: 0,
|
||||||
lines: ()
|
events: ()
|
||||||
))
|
))
|
||||||
)
|
)
|
||||||
chronos-ctx.insert(
|
chronos-ctx.insert(
|
||||||
@ -372,7 +388,8 @@
|
|||||||
// Draw participants (start)
|
// Draw participants (start)
|
||||||
get-ctx(ctx => {
|
get-ctx(ctx => {
|
||||||
for p in ctx.participants {
|
for p in ctx.participants {
|
||||||
if p.from-start and not p.invisible and p.show-top {
|
let style = p.resolved-style
|
||||||
|
if style.from-start and not p.invisible and style.show-top {
|
||||||
(p.draw)(p)
|
(p.draw)(p)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -1,4 +1,6 @@
|
|||||||
#import "/src/cetz.typ": draw
|
#import "/src/cetz.typ": draw, styles
|
||||||
|
|
||||||
|
#import "/src/consts.typ": default-style
|
||||||
|
|
||||||
#let is-elmt(elmt) = {
|
#let is-elmt(elmt) = {
|
||||||
if type(elmt) != dictionary {
|
if type(elmt) != dictionary {
|
||||||
@ -19,6 +21,15 @@
|
|||||||
}
|
}
|
||||||
panic("Unsupported type '" + str(type(value)) + "'")
|
panic("Unsupported type '" + str(type(value)) + "'")
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#let normalize-measure(body) = {
|
||||||
|
let m = measure(body)
|
||||||
|
return (
|
||||||
|
width: normalize-units(m.width),
|
||||||
|
height: normalize-units(m.height)
|
||||||
|
)
|
||||||
|
}
|
||||||
|
|
||||||
#let get-participants-i(participants) = {
|
#let get-participants-i(participants) = {
|
||||||
let pars-i = (:)
|
let pars-i = (:)
|
||||||
for (i, p) in participants.enumerate() {
|
for (i, p) in participants.enumerate() {
|
||||||
@ -33,6 +44,9 @@
|
|||||||
let pars-i = get-participants-i(participants)
|
let pars-i = get-participants-i(participants)
|
||||||
|
|
||||||
for elmt in group.elmts {
|
for elmt in group.elmts {
|
||||||
|
if not is-elmt(elmt) {
|
||||||
|
continue
|
||||||
|
}
|
||||||
if elmt.type == "seq" {
|
if elmt.type == "seq" {
|
||||||
let i1 = pars-i.at(elmt.p1)
|
let i1 = pars-i.at(elmt.p1)
|
||||||
let i2 = pars-i.at(elmt.p2)
|
let i2 = pars-i.at(elmt.p2)
|
||||||
@ -93,15 +107,47 @@
|
|||||||
)
|
)
|
||||||
})
|
})
|
||||||
|
|
||||||
|
#let extract-ctx(cetz-ctx, with-style: false) = {
|
||||||
|
let state = cetz-ctx.at("shared-state", default: (:))
|
||||||
|
let ctx = state.at("chronos", default: (:))
|
||||||
|
if with-style {
|
||||||
|
ctx.style = styles.resolve(
|
||||||
|
cetz-ctx.style,
|
||||||
|
root: "chronos",
|
||||||
|
base: default-style
|
||||||
|
)
|
||||||
|
// Normalize because it is used very frequently
|
||||||
|
ctx.style.y-space = normalize-units(ctx.style.y-space)
|
||||||
|
}
|
||||||
|
return ctx
|
||||||
|
}
|
||||||
|
|
||||||
#let set-ctx(func) = draw.set-ctx(c => {
|
#let set-ctx(func) = draw.set-ctx(c => {
|
||||||
let ctx = c.shared-state.chronos
|
let ctx = extract-ctx(c)
|
||||||
let new-ctx = func(ctx)
|
let new-ctx = func(ctx)
|
||||||
assert(new-ctx != none, message: "set-ctx must return a context!")
|
assert(new-ctx != none, message: "set-ctx must return a context!")
|
||||||
c.shared-state.chronos = new-ctx
|
let state = c.at("shared-state", default: (:))
|
||||||
|
state.chronos = new-ctx
|
||||||
|
c.shared-state = state
|
||||||
return c
|
return c
|
||||||
})
|
})
|
||||||
|
|
||||||
#let get-ctx(func) = draw.get-ctx(c => {
|
#let get-ctx(func) = draw.get-ctx(c => {
|
||||||
let ctx = c.shared-state.chronos
|
let ctx = extract-ctx(c, with-style: true)
|
||||||
func(ctx)
|
func(ctx)
|
||||||
})
|
})
|
||||||
|
|
||||||
|
#let set-y(new-y) = set-ctx(c => {
|
||||||
|
c.y = new-y
|
||||||
|
return c
|
||||||
|
})
|
||||||
|
|
||||||
|
#let expand-parent-group(x0, x1) = set-ctx(ctx => {
|
||||||
|
if ctx.groups.len() != 0 {
|
||||||
|
let group = ctx.groups.last()
|
||||||
|
group.min-x = calc.min(group.min-x, x0)
|
||||||
|
group.max-x = calc.max(group.max-x, x1)
|
||||||
|
ctx.groups.last() = group
|
||||||
|
}
|
||||||
|
return ctx
|
||||||
|
})
|
||||||
|
@ -1,23 +1,25 @@
|
|||||||
#import "core/draw/group.typ"
|
#import "core/draw/group.typ"
|
||||||
|
|
||||||
#let _grp(name, desc: none, type: "default", elmts) = {
|
#let _grp(name, desc: none, type: "default", elmts, ..style) = {
|
||||||
return ((
|
return ((
|
||||||
type: "grp",
|
type: "grp",
|
||||||
draw: group.render-start,
|
draw: group.render-start,
|
||||||
name: name,
|
name: name,
|
||||||
desc: desc,
|
desc: desc,
|
||||||
grp-type: type,
|
grp-type: type,
|
||||||
elmts: elmts
|
elmts: elmts,
|
||||||
|
style: style.named()
|
||||||
),)
|
),)
|
||||||
}
|
}
|
||||||
|
|
||||||
#let _alt(desc, elmts, ..args) = {
|
#let _alt(desc, elmts, ..elses-style) = {
|
||||||
let all-elmts = ()
|
let all-elmts = ()
|
||||||
all-elmts += elmts
|
all-elmts += elmts
|
||||||
let args = args.pos()
|
let elses = elses-style.pos()
|
||||||
for i in range(0, args.len(), step: 2) {
|
let style = elses-style.named()
|
||||||
let else-desc = args.at(i)
|
for i in range(0, elses.len(), step: 2) {
|
||||||
let else-elmts = args.at(i + 1, default: ())
|
let else-desc = elses.at(i)
|
||||||
|
let else-elmts = elses.at(i + 1, default: ())
|
||||||
all-elmts.push((
|
all-elmts.push((
|
||||||
type: "else",
|
type: "else",
|
||||||
draw: group.render-else,
|
draw: group.render-else,
|
||||||
@ -26,10 +28,10 @@
|
|||||||
all-elmts += else-elmts
|
all-elmts += else-elmts
|
||||||
}
|
}
|
||||||
|
|
||||||
return _grp("alt", desc: desc, type: "alt", all-elmts)
|
return _grp("alt", desc: desc, type: "alt", all-elmts, ..style)
|
||||||
}
|
}
|
||||||
|
|
||||||
#let _loop(desc, min: none, max: auto, elmts) = {
|
#let _loop(desc, min: none, max: auto, elmts, ..style) = {
|
||||||
let name = "loop"
|
let name = "loop"
|
||||||
if min != none {
|
if min != none {
|
||||||
if max == auto {
|
if max == auto {
|
||||||
@ -37,7 +39,7 @@
|
|||||||
}
|
}
|
||||||
name += "(" + str(min) + "," + str(max) + ")"
|
name += "(" + str(min) + "," + str(max) + ")"
|
||||||
}
|
}
|
||||||
_grp(name, desc: desc, type: "loop", elmts)
|
_grp(name, desc: desc, type: "loop", elmts, ..style)
|
||||||
}
|
}
|
||||||
#let _opt(desc, elmts) = grp("opt", desc: desc, type: "opt", elmts)
|
#let _opt(desc, elmts, ..style) = _grp("opt", desc: desc, type: "opt", elmts, ..style.named())
|
||||||
#let _break(desc, elmts) = grp("break", desc: desc, type: "break", elmts)
|
#let _break(desc, elmts, ..style) = _grp("break", desc: desc, type: "break", elmts, ..style.named())
|
||||||
|
10
src/misc.typ
10
src/misc.typ
@ -1,22 +1,24 @@
|
|||||||
#import "core/draw/delay.typ"
|
#import "core/draw/delay.typ"
|
||||||
|
#import "core/draw/event.typ": render as evt-render
|
||||||
#import "core/draw/separator.typ"
|
#import "core/draw/separator.typ"
|
||||||
#import "core/draw/sync.typ"
|
#import "core/draw/sync.typ"
|
||||||
#import "core/utils.typ": set-ctx
|
#import "core/utils.typ": set-ctx
|
||||||
|
|
||||||
#let _sep(name) = {
|
#let _sep(name, ..style) = {
|
||||||
return ((
|
return ((
|
||||||
type: "sep",
|
type: "sep",
|
||||||
draw: separator.render,
|
draw: separator.render,
|
||||||
name: name
|
name: name,
|
||||||
|
style: style.named()
|
||||||
),)
|
),)
|
||||||
}
|
}
|
||||||
|
|
||||||
#let _delay(name: none, size: 30) = {
|
#let _delay(name: none, ..style) = {
|
||||||
return ((
|
return ((
|
||||||
type: "delay",
|
type: "delay",
|
||||||
draw: delay.render,
|
draw: delay.render,
|
||||||
name: name,
|
name: name,
|
||||||
size: size
|
style: style.named()
|
||||||
),)
|
),)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -17,35 +17,16 @@
|
|||||||
#let _par(
|
#let _par(
|
||||||
name,
|
name,
|
||||||
display-name: auto,
|
display-name: auto,
|
||||||
from-start: true,
|
|
||||||
invisible: false,
|
invisible: false,
|
||||||
shape: "participant",
|
..style
|
||||||
color: DEFAULT-COLOR,
|
|
||||||
line-stroke: (
|
|
||||||
dash: "dashed",
|
|
||||||
paint: gray.darken(40%),
|
|
||||||
thickness: .5pt
|
|
||||||
),
|
|
||||||
custom-image: none,
|
|
||||||
show-bottom: true,
|
|
||||||
show-top: true,
|
|
||||||
) = {
|
) = {
|
||||||
if color == auto {
|
|
||||||
color = DEFAULT-COLOR
|
|
||||||
}
|
|
||||||
return ((
|
return ((
|
||||||
type: "par",
|
type: "par",
|
||||||
draw: participant.render,
|
draw: participant.render,
|
||||||
name: name,
|
name: name,
|
||||||
display-name: if display-name == auto {name} else {display-name},
|
display-name: if display-name == auto {name} else {display-name},
|
||||||
from-start: from-start,
|
invisible: false,
|
||||||
invisible: invisible,
|
style: style.named()
|
||||||
shape: shape,
|
|
||||||
color: color,
|
|
||||||
line-stroke: line-stroke,
|
|
||||||
custom-image: custom-image,
|
|
||||||
show-bottom: show-bottom,
|
|
||||||
show-top: show-top
|
|
||||||
),)
|
),)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Binary file not shown.
Before Width: | Height: | Size: 102 KiB After Width: | Height: | Size: 101 KiB |
@ -15,7 +15,7 @@
|
|||||||
_par("Foo5", display-name: "Database", shape: "database")
|
_par("Foo5", display-name: "Database", shape: "database")
|
||||||
_par("Foo6", display-name: "Collections", shape: "collections")
|
_par("Foo6", display-name: "Collections", shape: "collections")
|
||||||
_par("Foo7", display-name: "Queue", shape: "queue")
|
_par("Foo7", display-name: "Queue", shape: "queue")
|
||||||
_par("Foo8", display-name: "Typst", shape: "custom", custom-image: TYPST)
|
_par("Foo8", display-name: "Typst", shape: "custom", image: TYPST)
|
||||||
_par("Foo9", display-name: "Ferris", shape: "custom", custom-image: FERRIS)
|
_par("Foo9", display-name: "Ferris", shape: "custom", image: FERRIS)
|
||||||
_par("Foo10", display-name: "Baryhobal", shape: "custom", custom-image: ME)
|
_par("Foo10", display-name: "Baryhobal", shape: "custom", image: ME)
|
||||||
})
|
})
|
Binary file not shown.
Before Width: | Height: | Size: 29 KiB After Width: | Height: | Size: 29 KiB |
Reference in New Issue
Block a user