Compare commits

..

2 Commits

Author SHA1 Message Date
0e0be4e76a
added sequences with same endpoints 2024-06-18 17:08:06 +02:00
adc50124ad
added gaps 2024-06-18 16:24:11 +02:00
4 changed files with 74 additions and 15 deletions

Binary file not shown.

View File

@ -54,3 +54,21 @@ Alice <-- Bob: Another authentication Response
_seq("Alice", "Bob", comment: "Another authentication Request") _seq("Alice", "Bob", comment: "Another authentication Request")
_seq("Bob", "Alice", comment: "another authentication Response", dashed: true) _seq("Bob", "Alice", comment: "another authentication Response", dashed: true)
}) })
#chronos.diagram({
import "/src/diagram.typ": *
_seq("Alice", "Bob", comment: "message 1")
_seq("Bob", "Alice", comment: "ok", dashed: true)
_gap()
_seq("Alice", "Bob", comment: "message 2")
_seq("Bob", "Alice", comment: "ok", dashed: true)
_gap(size: 45)
_seq("Alice", "Bob", comment: "message 3")
_seq("Bob", "Alice", comment: "ok", dashed: true)
})
#chronos.diagram({
import "/src/diagram.typ": *
_seq("Alice", "Alice", comment: "On the\nright")
_seq("Alice", "Alice", flip: true, comment: "On the\nleft")
})

View File

@ -7,7 +7,8 @@
comment: none, comment: none,
dashed: false, dashed: false,
tip: "default", tip: "default",
color: black color: black,
flip: false
) = { ) = {
return (( return ((
type: "seq", type: "seq",
@ -17,6 +18,7 @@
dashed: dashed, dashed: dashed,
tip: tip, tip: tip,
color: color, color: color,
flip: flip
),) ),)
} }
@ -55,6 +57,13 @@
),) ),)
} }
#let _gap(size: 20) = {
return ((
type: "gap",
size: size
),)
}
#let diagram(elements) = { #let diagram(elements) = {
let participants = () let participants = ()
let elmts = elements let elmts = elements

View File

@ -4,6 +4,7 @@
#let Y-SPACE = 10 #let Y-SPACE = 10
#let PAR-PAD = (5pt, 3pt) #let PAR-PAD = (5pt, 3pt)
#let PAR-SPACE = 10 #let PAR-SPACE = 10
#let COMMENT-PAD = 8
#let get-columns-width(participants, elements) = { #let get-columns-width(participants, elements) = {
@ -38,7 +39,7 @@
let m = measure(cell.cell) let m = measure(cell.cell)
widths.at(cell.i1) = calc.max( widths.at(cell.i1) = calc.max(
widths.at(cell.i1), widths.at(cell.i1),
m.width / 1pt m.width / 1pt + COMMENT-PAD
) )
} }
@ -132,10 +133,37 @@
) )
) )
if elmt.p1 == elmt.p2 {
x2 = if elmt.flip {x1 - 20} else {x1 + 20}
if elmt.comment != none { if elmt.comment != none {
y -= measure(box(elmt.comment)).height / 1pt + 6 y -= measure(box(elmt.comment)).height / 1pt + 6
draw.content( draw.content(
(calc.min(x1, x2), y), (x1, y),
elmt.comment,
anchor: if elmt.flip {"south-east"} else {"south-west"},
padding: 3pt
)
}
draw.line(
(x1, y),
(x2, y),
(x2, y - 10),
(x1, y - 10),
..style
)
y -= 10
} else {
if elmt.comment != none {
let x = calc.min(x1, x2)
if x2 < x1 {
x += COMMENT-PAD
}
y -= measure(box(elmt.comment)).height / 1pt + 6
draw.content(
(x, y),
elmt.comment, elmt.comment,
anchor: "south-west", anchor: "south-west",
padding: 3pt padding: 3pt
@ -147,7 +175,9 @@
(x2, y), (x2, y),
..style ..style
) )
}
y -= Y-SPACE y -= Y-SPACE
} else if elmt.type == "grp" { } else if elmt.type == "grp" {
let m = measure( let m = measure(
box( box(
@ -200,6 +230,8 @@
) )
y -= h / 2 y -= h / 2
y -= Y-SPACE y -= Y-SPACE
} else if elmt.type == "gap" {
y -= elmt.size
} }
} }