Compare commits
19 Commits
0b401df67d
...
feat/styli
Author | SHA1 | Date | |
---|---|---|---|
f7eb348944
|
|||
8205fefed3
|
|||
a48478e394
|
|||
f00aa86962
|
|||
cc161a5d40
|
|||
b34702485f
|
|||
02fd3282f7
|
|||
c27493e780
|
|||
ffdffc9e41
|
|||
5b57a89cdd
|
|||
d6aeb33fa5
|
|||
754cddd328
|
|||
a5e8194d59
|
|||
ff8ec72a42
|
|||
22254211f3
|
|||
aca2d858fe
|
|||
6c97bb807f | |||
f812ac93c2
|
|||
caad9ed823
|
@ -27,4 +27,10 @@
|
||||
#let COL-DESTRUCTION = rgb("#A80238")
|
||||
#let COL-GRP-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 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 y1 = ctx.y - delay.size
|
||||
let y1 = ctx.y - size
|
||||
for (i, line) in ctx.lifelines.enumerate() {
|
||||
line.lines.push(("delay-start", y0))
|
||||
line.lines.push(("delay-end", y1))
|
||||
line.events.push((type: "delay-start", y: y0))
|
||||
line.events.push((type: "delay-end", y: y1, stroke: style.stroke))
|
||||
ctx.lifelines.at(i) = line
|
||||
}
|
||||
if delay.name != none {
|
||||
@ -15,13 +32,13 @@
|
||||
let x1 = ctx.x-pos.last()
|
||||
draw.content(
|
||||
((x0 + x1) / 2, (y0 + y1) / 2),
|
||||
anchor: "center",
|
||||
anchor: "mid",
|
||||
delay.name
|
||||
)
|
||||
}
|
||||
ctx.y = y1
|
||||
|
||||
set-ctx(c => {
|
||||
c.y = ctx.y
|
||||
c.y = y1
|
||||
c.lifelines = ctx.lifelines
|
||||
return c
|
||||
})
|
||||
|
@ -6,23 +6,23 @@
|
||||
let i = ctx.pars-i.at(par-name)
|
||||
let par = ctx.participants.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" {
|
||||
line.level -= 1
|
||||
} else if evt.event == "enable" {
|
||||
line.level += 1
|
||||
entry.push(evt.lifeline-style)
|
||||
entry.insert("style", evt.lifeline-style)
|
||||
} else if evt.event == "create" {
|
||||
ctx.y -= CREATE-OFFSET
|
||||
entry.at(1) = ctx.y
|
||||
entry.y = ctx.y
|
||||
(par.draw)(par, y: ctx.y)
|
||||
} else if evt.event == "destroy" {
|
||||
} else {
|
||||
panic("Unknown event '" + evt.event + "'")
|
||||
}
|
||||
|
||||
line.lines.push(entry)
|
||||
line.events.push(entry)
|
||||
set-ctx(c => {
|
||||
c.lifelines.at(i) = line
|
||||
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/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 grp = grp
|
||||
ctx.y -= Y-SPACE
|
||||
let m = measure(
|
||||
box(
|
||||
grp.name,
|
||||
inset: (
|
||||
left: 5pt,
|
||||
right: 5pt,
|
||||
top: 3pt,
|
||||
bottom: 3pt
|
||||
),
|
||||
)
|
||||
let style = styles.resolve(
|
||||
ctx.style,
|
||||
merge: grp.style,
|
||||
root: "group",
|
||||
base: group-default-style
|
||||
)
|
||||
|
||||
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 => {
|
||||
if g.at(1).min-i == grp.min-i { g.at(2) += 1 }
|
||||
if g.at(1).max-i == grp.max-i { g.at(3) += 1 }
|
||||
if g.group.min-i == grp.min-i { g.start-lvl += 1 }
|
||||
if g.group.max-i == grp.max-i { g.end-lvl += 1 }
|
||||
g
|
||||
})
|
||||
if grp.grp-type == "alt" {
|
||||
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 += ctx.style.y-space / 2
|
||||
|
||||
set-ctx(c => {
|
||||
c.y = ctx.y
|
||||
@ -37,61 +73,75 @@
|
||||
|
||||
|
||||
#let draw-group(x0, x1, y0, y1, group) = {
|
||||
let name = text(group.name, weight: "bold")
|
||||
let m = measure(box(name))
|
||||
let w = m.width / 1pt + 15
|
||||
let h = m.height / 1pt + 6
|
||||
let style = group.resolved-style
|
||||
let name = group.rendered-name
|
||||
let desc = group.rendered-desc
|
||||
let m = measure(name)
|
||||
let w = m.width / 1pt
|
||||
let h = m.height / 1pt
|
||||
draw.rect(
|
||||
(x0, y0),
|
||||
(x1, y1)
|
||||
(x1, y1),
|
||||
stroke: style.stroke
|
||||
)
|
||||
|
||||
let x1 = x0 + w
|
||||
let x2 = x1 + 5
|
||||
draw.line(
|
||||
(x0, y0),
|
||||
(x0 + w, y0),
|
||||
(x0 + w, y0 - h / 2),
|
||||
(x0 + w - 5, y0 - h),
|
||||
(x2, y0),
|
||||
(x2, y0 - h / 2),
|
||||
(x1, y0 - h),
|
||||
(x0, y0 - h),
|
||||
fill: COL-GRP-NAME,
|
||||
stroke: style.name.stroke,
|
||||
fill: style.name.fill,
|
||||
close: true
|
||||
)
|
||||
draw.content(
|
||||
(x0, y0),
|
||||
name,
|
||||
anchor: "north-west",
|
||||
padding: (left: 5pt, right: 10pt, top: 3pt, bottom: 3pt)
|
||||
anchor: "north-west"
|
||||
)
|
||||
|
||||
if group.desc != none {
|
||||
draw.content(
|
||||
(x0 + w, y0),
|
||||
text([\[#group.desc\]], weight: "bold", size: .8em),
|
||||
anchor: "north-west",
|
||||
padding: 3pt
|
||||
(x2, y0),
|
||||
desc,
|
||||
anchor: "north-west"
|
||||
)
|
||||
}
|
||||
}
|
||||
|
||||
#let draw-else(x0, x1, y, elmt) = {
|
||||
let style = elmt.resolved-style
|
||||
draw.line(
|
||||
(x0, y),
|
||||
(x1, y),
|
||||
stroke: (dash: (2pt, 1pt), thickness: .5pt)
|
||||
stroke: style.divider
|
||||
)
|
||||
draw.content(
|
||||
(x0, y),
|
||||
text([\[#elmt.desc\]], weight: "bold", size: .8em),
|
||||
anchor: "north-west",
|
||||
padding: 3pt
|
||||
elmt.rendered-desc,
|
||||
anchor: "north-west"
|
||||
)
|
||||
}
|
||||
|
||||
#let render-end(group) = get-ctx(ctx => {
|
||||
ctx.y -= Y-SPACE
|
||||
let (start-y, group, start-lvl, end-lvl) = ctx.groups.pop()
|
||||
let x0 = ctx.x-pos.at(group.min-i) - start-lvl * 10 - 20
|
||||
let x1 = ctx.x-pos.at(group.max-i) + end-lvl * 10 + 20
|
||||
let y = ctx.y - ctx.style.y-space / 2
|
||||
ctx.y -= ctx.style.y-space / 2
|
||||
let (
|
||||
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" {
|
||||
for (else-y, else-elmt) in group.elses {
|
||||
@ -104,14 +154,37 @@
|
||||
c.groups = ctx.groups
|
||||
return c
|
||||
})
|
||||
|
||||
expand-parent-group(x0, x1)
|
||||
})
|
||||
|
||||
#let render-else(else_) = set-ctx(ctx => {
|
||||
ctx.y -= Y-SPACE
|
||||
let m = measure(text([\[#else_.desc\]], weight: "bold", size: .8em))
|
||||
ctx.groups.last().at(1).elses.push((
|
||||
#let render-else(else_) = get-ctx(ctx => {
|
||||
let group = ctx.groups.last().group
|
||||
let style = styles.resolve(
|
||||
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 -= 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/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 PAD = if note.shape == "hex" {NOTE-HEX-PAD} else {NOTE-PAD}
|
||||
@ -159,5 +159,7 @@
|
||||
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/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) = {
|
||||
if par.invisible {
|
||||
return (width: 0pt, height: 0pt)
|
||||
}
|
||||
let m = measure(box(par.display-name))
|
||||
let w = m.width
|
||||
let h = m.height
|
||||
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 style = par.resolved-style
|
||||
let func = shapes.at(style.shape).get-size
|
||||
return func(par)
|
||||
}
|
||||
|
||||
#let _render-participant(x, y, p, m, bottom) = {
|
||||
let w = m.width / 1pt
|
||||
let h = m.height / 1pt
|
||||
let x0 = x - w / 2 - PAR-PAD.last() / 1pt
|
||||
let x1 = x + w / 2 + PAR-PAD.last() / 1pt
|
||||
let y0 = y + h + PAR-PAD.first() / 1pt * 2
|
||||
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(par, y: 0, bottom: false) = get-ctx(ctx => {
|
||||
let style = resolve-style(ctx, par)
|
||||
let func = shapes.at(style.shape).render
|
||||
let par = par
|
||||
par.resolved-style = style
|
||||
func(ctx.x-pos.at(par.i), y, par, bottom)
|
||||
},)
|
||||
|
||||
#let render-lifelines() = get-ctx(ctx => {
|
||||
let participants = ctx.participants
|
||||
for p in participants.filter(p => not p.invisible) {
|
||||
let style = p.resolved-style
|
||||
let x = ctx.x-pos.at(p.i)
|
||||
|
||||
// Draw vertical line
|
||||
@ -318,66 +114,61 @@
|
||||
|
||||
let rects = ()
|
||||
let destructions = ()
|
||||
let lines = ()
|
||||
let stack = ()
|
||||
|
||||
// Compute lifeline rectangles + destruction positions
|
||||
for line in ctx.lifelines.at(p.i).lines {
|
||||
let event = line.first()
|
||||
if event == "create" {
|
||||
for event in ctx.lifelines.at(p.i).events {
|
||||
if event.type == "create" {
|
||||
last-y = line.at(1)
|
||||
|
||||
} else if event == "enable" {
|
||||
if lines.len() == 0 {
|
||||
} else if event.type == "enable" {
|
||||
if stack.len() == 0 {
|
||||
draw.line(
|
||||
(x, last-y),
|
||||
(x, line.at(1)),
|
||||
stroke: p.line-stroke
|
||||
(x, event.y),
|
||||
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
|
||||
if lines.len() != 0 {
|
||||
let l = lines.pop()
|
||||
lvl = lines.len()
|
||||
if stack.len() != 0 {
|
||||
let e = stack.pop()
|
||||
lvl = stack.len()
|
||||
rects.push((
|
||||
x + lvl * LIFELINE-W / 2,
|
||||
l.at(1),
|
||||
line.at(1),
|
||||
l.at(2)
|
||||
e.y,
|
||||
event.y,
|
||||
e.style
|
||||
))
|
||||
last-y = line.at(1)
|
||||
last-y = event.y
|
||||
}
|
||||
|
||||
if event == "destroy" {
|
||||
destructions.push((x + lvl * LIFELINE-W / 2, line.at(1)))
|
||||
if event.type == "destroy" {
|
||||
destructions.push((x + lvl * LIFELINE-W / 2, event.y))
|
||||
}
|
||||
} else if event == "delay-start" {
|
||||
} else if event.type == "delay-start" {
|
||||
draw.line(
|
||||
(x, last-y),
|
||||
(x, line.at(1)),
|
||||
stroke: p.line-stroke
|
||||
(x, event.y),
|
||||
stroke: style.track
|
||||
)
|
||||
last-y = line.at(1)
|
||||
} else if event == "delay-end" {
|
||||
last-y = event.y
|
||||
} else if event.type == "delay-end" {
|
||||
draw.line(
|
||||
(x, last-y),
|
||||
(x, line.at(1)),
|
||||
stroke: (
|
||||
dash: "loosely-dotted",
|
||||
paint: gray.darken(40%),
|
||||
thickness: .8pt
|
||||
)
|
||||
(x, event.y),
|
||||
stroke: event.stroke
|
||||
)
|
||||
last-y = line.at(1)
|
||||
last-y = event.y
|
||||
}
|
||||
}
|
||||
|
||||
draw.line(
|
||||
(x, last-y),
|
||||
(x, ctx.y),
|
||||
stroke: p.line-stroke
|
||||
stroke: style.track
|
||||
)
|
||||
|
||||
// Draw lifeline rectangles (reverse for bottom to top)
|
||||
@ -399,7 +190,7 @@
|
||||
}
|
||||
|
||||
// Draw participants (end)
|
||||
if p.show-bottom {
|
||||
if style.show-bottom {
|
||||
(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/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 => {
|
||||
ctx.y -= Y-SPACE
|
||||
|
||||
let x0 = ctx.x-pos.first() - 20
|
||||
let x1 = ctx.x-pos.last() + 20
|
||||
let m = measure(
|
||||
box(
|
||||
sep.name,
|
||||
inset: (left: 3pt, right: 3pt, top: 5pt, bottom: 5pt)
|
||||
)
|
||||
let style = styles.resolve(
|
||||
ctx.style,
|
||||
merge: sep.style,
|
||||
root: "separator",
|
||||
base: separator-default-style
|
||||
)
|
||||
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 h = m.height / 1pt
|
||||
let cx = (x0 + x1) / 2
|
||||
let xl = cx - w / 2
|
||||
let xr = cx + w / 2
|
||||
|
||||
ctx.y -= h / 2
|
||||
draw.rect(
|
||||
(x0, ctx.y),
|
||||
(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
|
||||
let y0 = ctx.y
|
||||
let y2 = y0 - h
|
||||
let y1 = (y0 + y2) / 2
|
||||
|
||||
set-ctx(c => {
|
||||
c.y = ctx.y
|
||||
return c
|
||||
})
|
||||
let gap-y0 = y1 + gap / 2
|
||||
let gap-y1 = gap-y0 - gap
|
||||
|
||||
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 {
|
||||
let src-line = ctx.lifelines.at(i1)
|
||||
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
|
||||
}
|
||||
if seq.destroy-src {
|
||||
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
|
||||
}
|
||||
if seq.disable-dst {
|
||||
let dst-line = ctx.lifelines.at(i2)
|
||||
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
|
||||
}
|
||||
if seq.destroy-dst {
|
||||
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
|
||||
}
|
||||
if seq.enable-dst {
|
||||
@ -341,12 +341,12 @@
|
||||
|
||||
if seq.create-dst {
|
||||
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
|
||||
}
|
||||
if seq.enable-dst {
|
||||
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
|
||||
}
|
||||
|
||||
|
@ -155,7 +155,7 @@
|
||||
let m2 = participant.get-size(p2)
|
||||
let w1 = m1.width
|
||||
let w2 = m2.width
|
||||
widths.push(w1 / 2pt + w2 / 2pt + PAR-SPACE)
|
||||
widths.push(w1 / 2 + w2 / 2 + PAR-SPACE)
|
||||
}
|
||||
return widths
|
||||
}
|
||||
@ -326,6 +326,12 @@
|
||||
#let setup-ctx(participants, elements) = (ctx => {
|
||||
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 = (
|
||||
participants: init-lifelines(participants),
|
||||
pars-i: get-participants-i(participants),
|
||||
@ -333,7 +339,7 @@
|
||||
groups: (),
|
||||
lifelines: participants.map(_ => (
|
||||
level: 0,
|
||||
lines: ()
|
||||
events: ()
|
||||
))
|
||||
)
|
||||
chronos-ctx.insert(
|
||||
@ -382,7 +388,8 @@
|
||||
// Draw participants (start)
|
||||
get-ctx(ctx => {
|
||||
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)
|
||||
}
|
||||
}
|
||||
|
@ -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) = {
|
||||
if type(elmt) != dictionary {
|
||||
@ -19,6 +21,15 @@
|
||||
}
|
||||
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 pars-i = (:)
|
||||
for (i, p) in participants.enumerate() {
|
||||
@ -33,6 +44,9 @@
|
||||
let pars-i = get-participants-i(participants)
|
||||
|
||||
for elmt in group.elmts {
|
||||
if not is-elmt(elmt) {
|
||||
continue
|
||||
}
|
||||
if elmt.type == "seq" {
|
||||
let i1 = pars-i.at(elmt.p1)
|
||||
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 ctx = c.shared-state.chronos
|
||||
let ctx = extract-ctx(c)
|
||||
let new-ctx = func(ctx)
|
||||
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
|
||||
})
|
||||
|
||||
#let get-ctx(func) = draw.get-ctx(c => {
|
||||
let ctx = c.shared-state.chronos
|
||||
let ctx = extract-ctx(c, with-style: true)
|
||||
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"
|
||||
|
||||
#let _grp(name, desc: none, type: "default", elmts) = {
|
||||
#let _grp(name, desc: none, type: "default", elmts, ..style) = {
|
||||
return ((
|
||||
type: "grp",
|
||||
draw: group.render-start,
|
||||
name: name,
|
||||
desc: desc,
|
||||
grp-type: type,
|
||||
elmts: elmts
|
||||
elmts: elmts,
|
||||
style: style.named()
|
||||
),)
|
||||
}
|
||||
|
||||
#let _alt(desc, elmts, ..args) = {
|
||||
#let _alt(desc, elmts, ..elses-style) = {
|
||||
let all-elmts = ()
|
||||
all-elmts += elmts
|
||||
let args = args.pos()
|
||||
for i in range(0, args.len(), step: 2) {
|
||||
let else-desc = args.at(i)
|
||||
let else-elmts = args.at(i + 1, default: ())
|
||||
let elses = elses-style.pos()
|
||||
let style = elses-style.named()
|
||||
for i in range(0, elses.len(), step: 2) {
|
||||
let else-desc = elses.at(i)
|
||||
let else-elmts = elses.at(i + 1, default: ())
|
||||
all-elmts.push((
|
||||
type: "else",
|
||||
draw: group.render-else,
|
||||
@ -26,10 +28,10 @@
|
||||
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"
|
||||
if min != none {
|
||||
if max == auto {
|
||||
@ -37,7 +39,7 @@
|
||||
}
|
||||
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 _break(desc, elmts) = grp("break", desc: desc, type: "break", elmts)
|
||||
#let _opt(desc, elmts, ..style) = _grp("opt", desc: desc, type: "opt", elmts, ..style.named())
|
||||
#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/event.typ": render as evt-render
|
||||
#import "core/draw/separator.typ"
|
||||
#import "core/draw/sync.typ"
|
||||
#import "core/utils.typ": set-ctx
|
||||
|
||||
#let _sep(name) = {
|
||||
#let _sep(name, ..style) = {
|
||||
return ((
|
||||
type: "sep",
|
||||
draw: separator.render,
|
||||
name: name
|
||||
name: name,
|
||||
style: style.named()
|
||||
),)
|
||||
}
|
||||
|
||||
#let _delay(name: none, size: 30) = {
|
||||
#let _delay(name: none, ..style) = {
|
||||
return ((
|
||||
type: "delay",
|
||||
draw: delay.render,
|
||||
name: name,
|
||||
size: size
|
||||
style: style.named()
|
||||
),)
|
||||
}
|
||||
|
||||
|
@ -17,35 +17,16 @@
|
||||
#let _par(
|
||||
name,
|
||||
display-name: auto,
|
||||
from-start: true,
|
||||
invisible: false,
|
||||
shape: "participant",
|
||||
color: DEFAULT-COLOR,
|
||||
line-stroke: (
|
||||
dash: "dashed",
|
||||
paint: gray.darken(40%),
|
||||
thickness: .5pt
|
||||
),
|
||||
custom-image: none,
|
||||
show-bottom: true,
|
||||
show-top: true,
|
||||
..style
|
||||
) = {
|
||||
if color == auto {
|
||||
color = DEFAULT-COLOR
|
||||
}
|
||||
return ((
|
||||
type: "par",
|
||||
draw: participant.render,
|
||||
name: name,
|
||||
display-name: if display-name == auto {name} else {display-name},
|
||||
from-start: from-start,
|
||||
invisible: invisible,
|
||||
shape: shape,
|
||||
color: color,
|
||||
line-stroke: line-stroke,
|
||||
custom-image: custom-image,
|
||||
show-bottom: show-bottom,
|
||||
show-top: show-top
|
||||
invisible: false,
|
||||
style: style.named()
|
||||
),)
|
||||
}
|
||||
|
||||
|
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("Foo6", display-name: "Collections", shape: "collections")
|
||||
_par("Foo7", display-name: "Queue", shape: "queue")
|
||||
_par("Foo8", display-name: "Typst", shape: "custom", custom-image: TYPST)
|
||||
_par("Foo9", display-name: "Ferris", shape: "custom", custom-image: FERRIS)
|
||||
_par("Foo10", display-name: "Baryhobal", shape: "custom", custom-image: ME)
|
||||
_par("Foo8", display-name: "Typst", shape: "custom", image: TYPST)
|
||||
_par("Foo9", display-name: "Ferris", shape: "custom", image: FERRIS)
|
||||
_par("Foo10", display-name: "Baryhobal", shape: "custom", image: ME)
|
||||
})
|
Reference in New Issue
Block a user