Compare commits
	
		
			24 Commits
		
	
	
		
			c19d507486
			...
			feat/styli
		
	
	| Author | SHA1 | Date | |
|---|---|---|---|
| 
						
						
							
						
						777de3d5b0
	
				 | 
					
					
						|||
| 
						
						
							
						
						96fa33b055
	
				 | 
					
					
						|||
| 
						
						
							
						
						c6e01b6b3b
	
				 | 
					
					
						|||
| 
						
						
							
						
						f308ef7f4a
	
				 | 
					
					
						|||
| 
						
						
							
						
						6385762696
	
				 | 
					
					
						|||
| 
						
						
							
						
						e8666d466b
	
				 | 
					
					
						|||
| 
						
						
							
						
						a24681827e
	
				 | 
					
					
						|||
| 
						
						
							
						
						1db922d44d
	
				 | 
					
					
						|||
| 
						
						
							
						
						1a0f47beb3
	
				 | 
					
					
						|||
| 
						
						
							
						
						f7eb348944
	
				 | 
					
					
						|||
| 
						
						
							
						
						8205fefed3
	
				 | 
					
					
						|||
| 
						
						
							
						
						a48478e394
	
				 | 
					
					
						|||
| 
						
						
							
						
						f00aa86962
	
				 | 
					
					
						|||
| 
						
						
							
						
						cc161a5d40
	
				 | 
					
					
						|||
| 
						
						
							
						
						b34702485f
	
				 | 
					
					
						|||
| 
						
						
							
						
						02fd3282f7
	
				 | 
					
					
						|||
| 
						
						
							
						
						c27493e780
	
				 | 
					
					
						|||
| 
						
						
							
						
						ffdffc9e41
	
				 | 
					
					
						|||
| 
						
						
							
						
						5b57a89cdd
	
				 | 
					
					
						|||
| 
						
						
							
						
						d6aeb33fa5
	
				 | 
					
					
						|||
| 
						
						
							
						
						754cddd328
	
				 | 
					
					
						|||
| 
						
						
							
						
						a5e8194d59
	
				 | 
					
					
						|||
| 
						
						
							
						
						ff8ec72a42
	
				 | 
					
					
						|||
| 
						
						
							
						
						22254211f3
	
				 | 
					
					
						
@@ -21,10 +21,10 @@
 | 
				
			|||||||
  _par("a", display-name: "Alice")
 | 
					  _par("a", display-name: "Alice")
 | 
				
			||||||
  _par("b", display-name: "Bob")
 | 
					  _par("b", display-name: "Bob")
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  _note("left", [This is displayed\ left of Alice.], pos: "a", color: rgb("#00FFFF"))
 | 
					  _note("left", [This is displayed\ left of Alice.], pos: "a", fill: rgb("#00FFFF"))
 | 
				
			||||||
  _note("right", [This is displayed right of Alice.], pos: "a")
 | 
					  _note("right", [This is displayed right of Alice.], pos: "a")
 | 
				
			||||||
  _note("over", [This is displayed over Alice.], pos: "a")
 | 
					  _note("over", [This is displayed over Alice.], pos: "a")
 | 
				
			||||||
  _note("over", [This is displayed\ over Bob and Alice.], pos: ("a", "b"), color: rgb("#FFAAAA"))
 | 
					  _note("over", [This is displayed\ over Bob and Alice.], pos: ("a", "b"), fill: rgb("#FFAAAA"))
 | 
				
			||||||
  _note("over", [This is yet another\ example of\ a long note.], pos: ("a", "b"))
 | 
					  _note("over", [This is yet another\ example of\ a long note.], pos: ("a", "b"))
 | 
				
			||||||
})
 | 
					})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -28,3 +28,9 @@
 | 
				
			|||||||
#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, style: style))
 | 
				
			||||||
    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
 | 
				
			||||||
  })
 | 
					  })
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,28 +1,36 @@
 | 
				
			|||||||
 | 
					#import "/src/cetz.typ": 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, set-ctx
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let render(evt) = get-ctx(ctx => {
 | 
					#let render(evt) = get-ctx(ctx => {
 | 
				
			||||||
 | 
					  let style = styles.resolve(
 | 
				
			||||||
 | 
					    ctx.style,
 | 
				
			||||||
 | 
					    merge: evt.style,
 | 
				
			||||||
 | 
					    root: "event",
 | 
				
			||||||
 | 
					    base: ()
 | 
				
			||||||
 | 
					  )
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  let par-name = evt.participant
 | 
					  let par-name = evt.participant
 | 
				
			||||||
  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, style: style)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  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)
 | 
					 | 
				
			||||||
  } 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,25 +1,50 @@
 | 
				
			|||||||
#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, expand-parent-group
 | 
					#import "/src/core/utils.typ": expand-parent-group, get-ctx, normalize-units, set-ctx
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let display-name(name) = text(name, weight: "bold")
 | 
					#let group-default-style = (
 | 
				
			||||||
#let display-desc(desc) = text([\[#desc\]], weight: "bold", size: .8em)
 | 
					  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 style = styles.resolve(
 | 
				
			||||||
 | 
					    ctx.style,
 | 
				
			||||||
 | 
					    merge: grp.style,
 | 
				
			||||||
 | 
					    root: "group",
 | 
				
			||||||
 | 
					    base: group-default-style
 | 
				
			||||||
 | 
					  )
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  let grp = grp
 | 
					  let grp = grp
 | 
				
			||||||
  ctx.y -= Y-SPACE
 | 
					  grp.insert("resolved-style", style)
 | 
				
			||||||
  let m = measure(
 | 
					  ctx.y -= ctx.style.y-space
 | 
				
			||||||
    box(
 | 
					
 | 
				
			||||||
      grp.name,
 | 
					  let name = box(
 | 
				
			||||||
      inset: (
 | 
					    text(grp.name, weight: "bold"),
 | 
				
			||||||
        left: 5pt,
 | 
					    inset: style.name.inset
 | 
				
			||||||
        right: 5pt,
 | 
					 | 
				
			||||||
        top: 3pt,
 | 
					 | 
				
			||||||
        bottom: 3pt
 | 
					 | 
				
			||||||
      ),
 | 
					 | 
				
			||||||
  )
 | 
					  )
 | 
				
			||||||
 | 
					  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.group.min-i == grp.min-i { g.start-lvl += 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 }
 | 
					    if g.group.max-i == grp.max-i { g.end-lvl += 1 }
 | 
				
			||||||
@@ -37,6 +62,7 @@
 | 
				
			|||||||
    max-x: ctx.x-pos.at(grp.max-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
 | 
				
			||||||
@@ -47,56 +73,62 @@
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let draw-group(x0, x1, y0, y1, group) = {
 | 
					#let draw-group(x0, x1, y0, y1, group) = {
 | 
				
			||||||
  let name = display-name(group.name)
 | 
					  let style = group.resolved-style
 | 
				
			||||||
 | 
					  let name = group.rendered-name
 | 
				
			||||||
 | 
					  let desc = group.rendered-desc
 | 
				
			||||||
  let m = measure(name)
 | 
					  let m = measure(name)
 | 
				
			||||||
  let w = m.width / 1pt + 15
 | 
					  let w = m.width / 1pt
 | 
				
			||||||
  let h = m.height / 1pt + 6
 | 
					  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),
 | 
				
			||||||
      display-desc(group.desc),
 | 
					      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),
 | 
				
			||||||
    display-desc(elmt.desc),
 | 
					    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
 | 
				
			||||||
 | 
					  ctx.y -= ctx.style.y-space / 2
 | 
				
			||||||
  let (
 | 
					  let (
 | 
				
			||||||
    start-y,
 | 
					    start-y,
 | 
				
			||||||
    group,
 | 
					    group,
 | 
				
			||||||
@@ -105,26 +137,11 @@
 | 
				
			|||||||
    min-x,
 | 
					    min-x,
 | 
				
			||||||
    max-x
 | 
					    max-x
 | 
				
			||||||
  ) = ctx.groups.pop()
 | 
					  ) = ctx.groups.pop()
 | 
				
			||||||
  let x0 = min-x - 10
 | 
					  let padding = normalize-units(group.resolved-style.padding)
 | 
				
			||||||
  let x1 = max-x + 10
 | 
					  let x0 = min-x - padding
 | 
				
			||||||
 | 
					  let x1 = max-x + padding
 | 
				
			||||||
  
 | 
					  
 | 
				
			||||||
  // Fit name and descriptions
 | 
					  draw-group(x0, x1, start-y, y, group)
 | 
				
			||||||
  let name-m = measure(display-name(group.name))
 | 
					 | 
				
			||||||
  let width = name-m.width / 1pt + 15
 | 
					 | 
				
			||||||
  if group.desc != none {
 | 
					 | 
				
			||||||
    let desc-m = measure(display-desc(group.desc))
 | 
					 | 
				
			||||||
    width += desc-m.width / 1pt + 6
 | 
					 | 
				
			||||||
  }
 | 
					 | 
				
			||||||
  if group.grp-type == "alt" {
 | 
					 | 
				
			||||||
    width = calc.max(width, ..group.elses.map(e => {
 | 
					 | 
				
			||||||
      let elmt = e.at(1)
 | 
					 | 
				
			||||||
      let desc-m = measure(display-desc(elmt.desc))
 | 
					 | 
				
			||||||
      return desc-m.width / 1pt + 6
 | 
					 | 
				
			||||||
    }))
 | 
					 | 
				
			||||||
  }
 | 
					 | 
				
			||||||
  x1 = calc.max(x1, x0 + width + 3)
 | 
					 | 
				
			||||||
  
 | 
					 | 
				
			||||||
  draw-group(x0, x1, start-y, ctx.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 {
 | 
				
			||||||
@@ -141,12 +158,33 @@
 | 
				
			|||||||
  expand-parent-group(x0, x1)
 | 
					  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.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.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,14 +1,51 @@
 | 
				
			|||||||
#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, expand-parent-group
 | 
					#import "/src/core/utils.typ": get-ctx, is-elmt, set-ctx, expand-parent-group, normalize-measure
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#let note-default-style = (
 | 
				
			||||||
 | 
					  shape: "default",
 | 
				
			||||||
 | 
					  fill: rgb("#FEFFDD"),
 | 
				
			||||||
 | 
					  stroke: black + .5pt
 | 
				
			||||||
 | 
					)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#let resolve-style(ctx, note) = {
 | 
				
			||||||
 | 
					  return styles.resolve(
 | 
				
			||||||
 | 
					    ctx.style,
 | 
				
			||||||
 | 
					    merge: note.style,
 | 
				
			||||||
 | 
					    root: "note",
 | 
				
			||||||
 | 
					    base: note-default-style
 | 
				
			||||||
 | 
					  )
 | 
				
			||||||
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#let pre-resolve-styles() = get-ctx(ctx => {
 | 
				
			||||||
 | 
					  let ctx = ctx
 | 
				
			||||||
 | 
					  let notes = ctx.setup.notes
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  for (i, elmt) in ctx.setup.elements.enumerate() {
 | 
				
			||||||
 | 
					    if type(elmt) == function {
 | 
				
			||||||
 | 
					      ctx = elmt(ctx).ctx
 | 
				
			||||||
 | 
					    } else if is-elmt(elmt) {
 | 
				
			||||||
 | 
					      if elmt.type == "note" {
 | 
				
			||||||
 | 
					        let style = resolve-style(ctx, elmt)
 | 
				
			||||||
 | 
					        notes.at(elmt.id).insert("resolved-style", style)
 | 
				
			||||||
 | 
					      }
 | 
				
			||||||
 | 
					    }
 | 
				
			||||||
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  set-ctx(c => {
 | 
				
			||||||
 | 
					    c.setup.notes = notes
 | 
				
			||||||
 | 
					    return c
 | 
				
			||||||
 | 
					  })
 | 
				
			||||||
 | 
					})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let get-size(note) = {
 | 
					#let get-size(note) = {
 | 
				
			||||||
  let PAD = if note.shape == "hex" {NOTE-HEX-PAD} else {NOTE-PAD}
 | 
					  let style = note.resolved-style
 | 
				
			||||||
  let m = measure(box(note.content))
 | 
					  let PAD = if style.shape == "hex" {NOTE-HEX-PAD} else {NOTE-PAD}
 | 
				
			||||||
  let w = m.width / 1pt + PAD.last() * 2
 | 
					  let m = normalize-measure(box(note.content))
 | 
				
			||||||
  let h = m.height / 1pt + PAD.first() * 2
 | 
					  let w = m.width + PAD.last() * 2
 | 
				
			||||||
  if note.shape == "default" {
 | 
					  let h = m.height + PAD.first() * 2
 | 
				
			||||||
 | 
					  if style.shape == "default" {
 | 
				
			||||||
    w += NOTE-CORNER-SIZE
 | 
					    w += NOTE-CORNER-SIZE
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
  return (
 | 
					  return (
 | 
				
			||||||
@@ -31,14 +68,15 @@
 | 
				
			|||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let get-box(note) = {
 | 
					#let get-box(note) = {
 | 
				
			||||||
  let PAD = if note.shape == "hex" {NOTE-HEX-PAD} else {NOTE-PAD}
 | 
					  let style = note.resolved-style
 | 
				
			||||||
 | 
					  let PAD = if style.shape == "hex" {NOTE-HEX-PAD} else {NOTE-PAD}
 | 
				
			||||||
  let inset = (
 | 
					  let inset = (
 | 
				
			||||||
    left: PAD.last() * 1pt,
 | 
					    left: PAD.last() * 1pt,
 | 
				
			||||||
    right: PAD.last() * 1pt,
 | 
					    right: PAD.last() * 1pt,
 | 
				
			||||||
    top: PAD.first() * 1pt,
 | 
					    top: PAD.first() * 1pt,
 | 
				
			||||||
    bottom: PAD.first() * 1pt,
 | 
					    bottom: PAD.first() * 1pt,
 | 
				
			||||||
  )
 | 
					  )
 | 
				
			||||||
  if note.shape == "default" {
 | 
					  if style.shape == "default" {
 | 
				
			||||||
    inset.right += NOTE-CORNER-SIZE * 1pt
 | 
					    inset.right += NOTE-CORNER-SIZE * 1pt
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
  if note.side == "left" {
 | 
					  if note.side == "left" {
 | 
				
			||||||
@@ -52,28 +90,33 @@
 | 
				
			|||||||
#let render(note, y: auto, forced: false) = {
 | 
					#let render(note, y: auto, forced: false) = {
 | 
				
			||||||
  if not note.linked {
 | 
					  if not note.linked {
 | 
				
			||||||
    if not note.aligned {
 | 
					    if not note.aligned {
 | 
				
			||||||
 | 
					      get-ctx(ctx => {
 | 
				
			||||||
        set-ctx(c => {
 | 
					        set-ctx(c => {
 | 
				
			||||||
        c.y -= Y-SPACE
 | 
					          c.y -= ctx.style.y-space
 | 
				
			||||||
          return c
 | 
					          return c
 | 
				
			||||||
        })
 | 
					        })
 | 
				
			||||||
 | 
					      })
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
  } else if not forced {
 | 
					  } else if not forced {
 | 
				
			||||||
    return ()
 | 
					    return ()
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  get-ctx(ctx => {
 | 
					  get-ctx(ctx => {
 | 
				
			||||||
 | 
					    let note = ctx.notes.at(note.id)
 | 
				
			||||||
    let y = y
 | 
					    let y = y
 | 
				
			||||||
    if y == auto {
 | 
					    if y == auto {
 | 
				
			||||||
      y = ctx.y
 | 
					      y = ctx.y
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					    let style = note.resolved-style
 | 
				
			||||||
 | 
					    let shape = style.shape
 | 
				
			||||||
    
 | 
					    
 | 
				
			||||||
    let PAD = if note.shape == "hex" {NOTE-HEX-PAD} else {NOTE-PAD}
 | 
					    let PAD = if shape == "hex" {NOTE-HEX-PAD} else {NOTE-PAD}
 | 
				
			||||||
    let m = measure(box(note.content))
 | 
					    let m = normalize-measure(box(note.content))
 | 
				
			||||||
    let w = m.width / 1pt + PAD.last() * 2
 | 
					    let w = m.width + PAD.last() * 2
 | 
				
			||||||
    let h = m.height / 1pt + PAD.first() * 2
 | 
					    let h = m.height + PAD.first() * 2
 | 
				
			||||||
    let total-w = w
 | 
					    let total-w = w
 | 
				
			||||||
    if note.shape == "default" {
 | 
					    if shape == "default" {
 | 
				
			||||||
      total-w += NOTE-CORNER-SIZE
 | 
					      total-w += NOTE-CORNER-SIZE
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
@@ -106,31 +149,31 @@
 | 
				
			|||||||
    }
 | 
					    }
 | 
				
			||||||
    let y1 = y0 - h
 | 
					    let y1 = y0 - h
 | 
				
			||||||
 | 
					
 | 
				
			||||||
    if note.shape == "default" {
 | 
					    if shape == "default" {
 | 
				
			||||||
      draw.line(
 | 
					      draw.line(
 | 
				
			||||||
        (x0, y0),
 | 
					        (x0, y0),
 | 
				
			||||||
        (x1, y0),
 | 
					        (x1, y0),
 | 
				
			||||||
        (x2, y0 - NOTE-CORNER-SIZE),
 | 
					        (x2, y0 - NOTE-CORNER-SIZE),
 | 
				
			||||||
        (x2, y1),
 | 
					        (x2, y1),
 | 
				
			||||||
        (x0, y1),
 | 
					        (x0, y1),
 | 
				
			||||||
        stroke: black + .5pt,
 | 
					        stroke: style.stroke,
 | 
				
			||||||
        fill: note.color,
 | 
					        fill: style.fill,
 | 
				
			||||||
        close: true
 | 
					        close: true
 | 
				
			||||||
      )
 | 
					      )
 | 
				
			||||||
      draw.line(
 | 
					      draw.line(
 | 
				
			||||||
        (x1, y0),
 | 
					        (x1, y0),
 | 
				
			||||||
        (x1, y0 - NOTE-CORNER-SIZE),
 | 
					        (x1, y0 - NOTE-CORNER-SIZE),
 | 
				
			||||||
        (x2, y0 - NOTE-CORNER-SIZE),
 | 
					        (x2, y0 - NOTE-CORNER-SIZE),
 | 
				
			||||||
        stroke: black + .5pt
 | 
					        stroke: style.stroke
 | 
				
			||||||
      )
 | 
					      )
 | 
				
			||||||
    } else if note.shape == "rect" {
 | 
					    } else if shape == "rect" {
 | 
				
			||||||
      draw.rect(
 | 
					      draw.rect(
 | 
				
			||||||
        (x0, y0),
 | 
					        (x0, y0),
 | 
				
			||||||
        (x2, y1),
 | 
					        (x2, y1),
 | 
				
			||||||
        stroke: black + .5pt,
 | 
					        stroke: style.stroke,
 | 
				
			||||||
        fill: note.color
 | 
					        fill: style.fill
 | 
				
			||||||
      )
 | 
					      )
 | 
				
			||||||
    } else if note.shape == "hex" {
 | 
					    } else if shape == "hex" {
 | 
				
			||||||
      let lx = x0 + PAD.last()
 | 
					      let lx = x0 + PAD.last()
 | 
				
			||||||
      let rx = x2 - PAD.last()
 | 
					      let rx = x2 - PAD.last()
 | 
				
			||||||
      let my = (y0 + y1) / 2
 | 
					      let my = (y0 + y1) / 2
 | 
				
			||||||
@@ -141,8 +184,8 @@
 | 
				
			|||||||
        (rx, y1),
 | 
					        (rx, y1),
 | 
				
			||||||
        (lx, y1),
 | 
					        (lx, y1),
 | 
				
			||||||
        (x0, my),
 | 
					        (x0, my),
 | 
				
			||||||
        stroke: black + .5pt,
 | 
					        stroke: style.stroke,
 | 
				
			||||||
        fill: note.color,
 | 
					        fill: style.fill,
 | 
				
			||||||
        close: true
 | 
					        close: true
 | 
				
			||||||
      )
 | 
					      )
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,316 +1,109 @@
 | 
				
			|||||||
#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
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#let shapes = {
 | 
				
			||||||
 | 
					  let from-module(path) = {
 | 
				
			||||||
 | 
					    import path as mod
 | 
				
			||||||
 | 
					    return (mod.name: (
 | 
				
			||||||
 | 
					      get-size: mod.get-size,
 | 
				
			||||||
 | 
					      render: mod.render,
 | 
				
			||||||
 | 
					      default-style: mod.default-style
 | 
				
			||||||
 | 
					    ))
 | 
				
			||||||
 | 
					  }
 | 
				
			||||||
 | 
					  from-module("participant/default.typ")
 | 
				
			||||||
 | 
					  from-module("participant/actor.typ")
 | 
				
			||||||
 | 
					  from-module("participant/boundary.typ")
 | 
				
			||||||
 | 
					  from-module("participant/control.typ")
 | 
				
			||||||
 | 
					  from-module("participant/entity.typ")
 | 
				
			||||||
 | 
					  from-module("participant/database.typ")
 | 
				
			||||||
 | 
					  from-module("participant/collections.typ")
 | 
				
			||||||
 | 
					  from-module("participant/queue.typ")
 | 
				
			||||||
 | 
					  from-module("participant/custom.typ")
 | 
				
			||||||
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#let participant-default-style = (
 | 
				
			||||||
 | 
					  fill: rgb("#E2E2F0"),
 | 
				
			||||||
 | 
					  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() = get-ctx(ctx => {
 | 
				
			||||||
 | 
					  let idx = (:)
 | 
				
			||||||
 | 
					  let elements = ctx.setup.elements
 | 
				
			||||||
 | 
					  let participants = ctx.setup.participants
 | 
				
			||||||
 | 
					  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
 | 
				
			||||||
 | 
					      }
 | 
				
			||||||
 | 
					    }
 | 
				
			||||||
 | 
					  }
 | 
				
			||||||
 | 
					  
 | 
				
			||||||
 | 
					  set-ctx(c => {
 | 
				
			||||||
 | 
					    c.setup.elements = elements
 | 
				
			||||||
 | 
					    c.setup.participants = participants
 | 
				
			||||||
 | 
					    return c
 | 
				
			||||||
 | 
					  })
 | 
				
			||||||
 | 
					})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let get-size(par) = {
 | 
					#let get-size(par) = {
 | 
				
			||||||
  if par.invisible {
 | 
					  if par.invisible {
 | 
				
			||||||
    return (width: 0pt, height: 0pt)
 | 
					    return (width: 0, height: 0)
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
  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 {"base"}
 | 
					 | 
				
			||||||
  )
 | 
					 | 
				
			||||||
}
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#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 {"base"}
 | 
					 | 
				
			||||||
  )
 | 
					 | 
				
			||||||
}
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#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 {"base"}
 | 
					 | 
				
			||||||
  )
 | 
					 | 
				
			||||||
}
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#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 {"base"}
 | 
					 | 
				
			||||||
  )
 | 
					 | 
				
			||||||
}
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#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 {"base"}
 | 
					 | 
				
			||||||
  )
 | 
					 | 
				
			||||||
}
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#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 {"base"}
 | 
					 | 
				
			||||||
  )
 | 
					 | 
				
			||||||
}
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#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 +111,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 = event.y
 | 
				
			||||||
        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.style.stroke
 | 
				
			||||||
            dash: "loosely-dotted",
 | 
					 | 
				
			||||||
            paint: gray.darken(40%),
 | 
					 | 
				
			||||||
            thickness: .8pt
 | 
					 | 
				
			||||||
        )
 | 
					        )
 | 
				
			||||||
        )
 | 
					        last-y = event.y
 | 
				
			||||||
        last-y = line.at(1)
 | 
					 | 
				
			||||||
      }
 | 
					      }
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
    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 +187,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
									
								
							
							
						
						@@ -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
									
								
							
							
						
						@@ -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
									
								
							
							
						
						@@ -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
									
								
							
							
						
						@@ -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
									
								
							
							
						
						@@ -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
									
								
							
							
						
						@@ -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
									
								
							
							
						
						@@ -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
									
								
							
							
						
						@@ -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
									
								
							
							
						
						@@ -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,
 | 
				
			||||||
 | 
					    merge: sep.style,
 | 
				
			||||||
 | 
					    root: "separator",
 | 
				
			||||||
 | 
					    base: separator-default-style
 | 
				
			||||||
 | 
					  )
 | 
				
			||||||
 | 
					  let gap = normalize-units(style.gap)
 | 
				
			||||||
 | 
					  let outset = normalize-units(style.outset)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  let x0 = ctx.x-pos.first() - 20
 | 
					  ctx.y -= ctx.style.y-space
 | 
				
			||||||
  let x1 = ctx.x-pos.last() + 20
 | 
					
 | 
				
			||||||
  let m = measure(
 | 
					  let x0 = ctx.x-pos.first() - outset
 | 
				
			||||||
    box(
 | 
					  let x1 = ctx.x-pos.last() + outset
 | 
				
			||||||
 | 
					  let name = box(
 | 
				
			||||||
    sep.name,
 | 
					    sep.name,
 | 
				
			||||||
      inset: (left: 3pt, right: 3pt, top: 5pt, bottom: 5pt)
 | 
					    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)
 | 
				
			||||||
})
 | 
					})
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,8 +1,8 @@
 | 
				
			|||||||
#import "/src/cetz.typ": draw, vector, coordinate
 | 
					#import "/src/cetz.typ": draw, vector
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#import "note.typ"
 | 
					#import "note.typ"
 | 
				
			||||||
#import "/src/consts.typ": *
 | 
					#import "/src/consts.typ": *
 | 
				
			||||||
#import "/src/core/utils.typ": get-ctx, set-ctx, expand-parent-group
 | 
					#import "/src/core/utils.typ": get-ctx, set-ctx
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let get-arrow-marks(sym, color) = {
 | 
					#let get-arrow-marks(sym, color) = {
 | 
				
			||||||
  if sym == none {
 | 
					  if sym == none {
 | 
				
			||||||
@@ -49,7 +49,7 @@
 | 
				
			|||||||
#let is-cross-tip = is-tip-of-type.with("x")
 | 
					#let is-cross-tip = is-tip-of-type.with("x")
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let render(seq) = get-ctx(ctx => {
 | 
					#let render(seq) = get-ctx(ctx => {
 | 
				
			||||||
  ctx.y -= Y-SPACE
 | 
					  ctx.y -= ctx.style.y-space
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  let i1 = ctx.pars-i.at(seq.p1)
 | 
					  let i1 = ctx.pars-i.at(seq.p1)
 | 
				
			||||||
  let i2 = ctx.pars-i.at(seq.p2)
 | 
					  let i2 = ctx.pars-i.at(seq.p2)
 | 
				
			||||||
@@ -70,7 +70,8 @@
 | 
				
			|||||||
  h = calc.max(
 | 
					  h = calc.max(
 | 
				
			||||||
    h,
 | 
					    h,
 | 
				
			||||||
    ..seq.linked-notes.map(n => {
 | 
					    ..seq.linked-notes.map(n => {
 | 
				
			||||||
      note.get-size(n).height / 2
 | 
					      let nt = ctx.notes.at(n.id)
 | 
				
			||||||
 | 
					      note.get-size(nt).height / 2
 | 
				
			||||||
    })
 | 
					    })
 | 
				
			||||||
  )
 | 
					  )
 | 
				
			||||||
  ctx.y -= h
 | 
					  ctx.y -= h
 | 
				
			||||||
@@ -102,23 +103,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 {
 | 
				
			||||||
@@ -223,11 +224,6 @@
 | 
				
			|||||||
      ).at(seq.comment-align)
 | 
					      ).at(seq.comment-align)
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
    expand-parent-group(
 | 
					 | 
				
			||||||
      calc.min(x1, x2, x-mid),
 | 
					 | 
				
			||||||
      calc.max(x1, x2, x-mid)
 | 
					 | 
				
			||||||
    )
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
  } else {
 | 
					  } else {
 | 
				
			||||||
    pts = (
 | 
					    pts = (
 | 
				
			||||||
      (x1, start-info.y),
 | 
					      (x1, start-info.y),
 | 
				
			||||||
@@ -266,11 +262,6 @@
 | 
				
			|||||||
      (p1, p2) = (p2, p1)
 | 
					      (p1, p2) = (p2, p1)
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
    comment-angle = vector.angle2(p1, p2)
 | 
					    comment-angle = vector.angle2(p1, p2)
 | 
				
			||||||
 | 
					 | 
				
			||||||
    expand-parent-group(
 | 
					 | 
				
			||||||
      calc.min(x1, x2),
 | 
					 | 
				
			||||||
      calc.max(x1, x2)
 | 
					 | 
				
			||||||
    )
 | 
					 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  // Start circle tip
 | 
					  // Start circle tip
 | 
				
			||||||
@@ -345,33 +336,18 @@
 | 
				
			|||||||
      comment,
 | 
					      comment,
 | 
				
			||||||
      anchor: comment-anchor,
 | 
					      anchor: comment-anchor,
 | 
				
			||||||
      angle: comment-angle,
 | 
					      angle: comment-angle,
 | 
				
			||||||
      padding: 3pt,
 | 
					      padding: 3pt
 | 
				
			||||||
      name: "comment"
 | 
					 | 
				
			||||||
    )
 | 
					    )
 | 
				
			||||||
 | 
					 | 
				
			||||||
    // TODO: Improve this
 | 
					 | 
				
			||||||
    draw.get-ctx(c => {
 | 
					 | 
				
			||||||
      let (_, left, right) = coordinate.resolve(
 | 
					 | 
				
			||||||
        c,
 | 
					 | 
				
			||||||
        "comment.west",
 | 
					 | 
				
			||||||
        "comment.east"
 | 
					 | 
				
			||||||
      )
 | 
					 | 
				
			||||||
      expand-parent-group(
 | 
					 | 
				
			||||||
        left.at(0),
 | 
					 | 
				
			||||||
        right.at(0)
 | 
					 | 
				
			||||||
      )
 | 
					 | 
				
			||||||
    })
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  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
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
@@ -379,7 +355,8 @@
 | 
				
			|||||||
    end-info.y = calc.min(
 | 
					    end-info.y = calc.min(
 | 
				
			||||||
      end-info.y,
 | 
					      end-info.y,
 | 
				
			||||||
      y0 - calc.max(..seq.linked-notes.map(n => {
 | 
					      y0 - calc.max(..seq.linked-notes.map(n => {
 | 
				
			||||||
        let m = note.get-size(n)
 | 
					        let nt = ctx.notes.at(n.id)
 | 
				
			||||||
 | 
					        let m = note.get-size(nt)
 | 
				
			||||||
        return m.height / 2
 | 
					        return m.height / 2
 | 
				
			||||||
      }))
 | 
					      }))
 | 
				
			||||||
    )
 | 
					    )
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,19 +1,28 @@
 | 
				
			|||||||
#import "/src/cetz.typ": canvas, draw
 | 
					#import "/src/cetz.typ": canvas, draw
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#import "draw/note.typ": get-box as get-note-box, get-size as get-note-size
 | 
					#import "draw/note.typ"
 | 
				
			||||||
#import "draw/participant.typ"
 | 
					#import "draw/participant.typ"
 | 
				
			||||||
#import "utils.typ": *
 | 
					#import "utils.typ": *
 | 
				
			||||||
#import "/src/consts.typ": *
 | 
					#import "/src/consts.typ": *
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let DEBUG-INVISIBLE = false
 | 
					#let DEBUG-INVISIBLE = false
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let init-lifelines(participants) = {
 | 
					#let init-lifelines() = set-ctx(ctx => {
 | 
				
			||||||
  return participants.map(p => {
 | 
					  ctx.setup.participants = ctx.setup.participants.map(p => {
 | 
				
			||||||
    p.insert("lifeline-lvl", 0)
 | 
					    p.insert("lifeline-lvl", 0)
 | 
				
			||||||
    p.insert("max-lifelines", 0)
 | 
					    p.insert("max-lifelines", 0)
 | 
				
			||||||
    p
 | 
					    p
 | 
				
			||||||
  })
 | 
					  })
 | 
				
			||||||
}
 | 
					  return ctx
 | 
				
			||||||
 | 
					})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#let set-participants-i() = set-ctx(ctx => {
 | 
				
			||||||
 | 
					  ctx.setup.insert(
 | 
				
			||||||
 | 
					    "pars-i",
 | 
				
			||||||
 | 
					    get-participants-i(ctx.setup.participants)
 | 
				
			||||||
 | 
					  )
 | 
				
			||||||
 | 
					  return ctx
 | 
				
			||||||
 | 
					})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let unwrap-syncs(elements) = {
 | 
					#let unwrap-syncs(elements) = {
 | 
				
			||||||
  let i = 0
 | 
					  let i = 0
 | 
				
			||||||
@@ -78,28 +87,29 @@
 | 
				
			|||||||
  return participants
 | 
					  return participants
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let note-get-cell(pars-i, note) = {
 | 
					#let note-get-cell(notes, pars-i, n) = {
 | 
				
			||||||
  let (p1, p2) = (none, none)
 | 
					  let (p1, p2) = (none, none)
 | 
				
			||||||
  let cell = none
 | 
					  let cell = none
 | 
				
			||||||
  if note.side == "left" {
 | 
					  if n.side == "left" {
 | 
				
			||||||
    p1 = note.pos2
 | 
					    p1 = n.pos2
 | 
				
			||||||
    p2 = note.pos
 | 
					    p2 = n.pos
 | 
				
			||||||
    cell = get-note-box(note)
 | 
					    cell = note.get-box(n)
 | 
				
			||||||
  } else if note.side == "right" {
 | 
					  } else if n.side == "right" {
 | 
				
			||||||
    p1 = note.pos
 | 
					    p1 = n.pos
 | 
				
			||||||
    p2 = note.pos2
 | 
					    p2 = n.pos2
 | 
				
			||||||
    cell = get-note-box(note)
 | 
					    cell = note.get-box(n)
 | 
				
			||||||
  } else if note.side == "over" and note.aligned-with != none {
 | 
					  } else if n.side == "over" and n.aligned-with != none {
 | 
				
			||||||
    let box1 = get-note-box(note)
 | 
					    let aligned-with = notes.at(n.aligned-with.id)
 | 
				
			||||||
    let box2 = get-note-box(note.aligned-with)
 | 
					    let box1 = note.get-box(n)
 | 
				
			||||||
 | 
					    let box2 = note.get-box(aligned-with)
 | 
				
			||||||
    let m1 = measure(box1)
 | 
					    let m1 = measure(box1)
 | 
				
			||||||
    let m2 = measure(box2)
 | 
					    let m2 = measure(box2)
 | 
				
			||||||
    cell = box(
 | 
					    cell = box(
 | 
				
			||||||
      width: (m1.width + m2.width) / 2,
 | 
					      width: (m1.width + m2.width) / 2,
 | 
				
			||||||
      height: calc.max(m1.height, m2.height)
 | 
					      height: calc.max(m1.height, m2.height)
 | 
				
			||||||
    )
 | 
					    )
 | 
				
			||||||
    p1 = note.pos
 | 
					    p1 = n.pos
 | 
				
			||||||
    p2 = note.aligned-with.pos
 | 
					    p2 = n.aligned-with.pos
 | 
				
			||||||
  } else {
 | 
					  } else {
 | 
				
			||||||
    return none
 | 
					    return none
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
@@ -107,7 +117,7 @@
 | 
				
			|||||||
  let i1 = pars-i.at(p1)
 | 
					  let i1 = pars-i.at(p1)
 | 
				
			||||||
  let i2 = pars-i.at(p2)
 | 
					  let i2 = pars-i.at(p2)
 | 
				
			||||||
  cell = (
 | 
					  cell = (
 | 
				
			||||||
    elmt: note,
 | 
					    elmt: n,
 | 
				
			||||||
    i1: calc.min(i1, i2),
 | 
					    i1: calc.min(i1, i2),
 | 
				
			||||||
    i2: calc.max(i1, i2),
 | 
					    i2: calc.max(i1, i2),
 | 
				
			||||||
    cell: cell
 | 
					    cell: cell
 | 
				
			||||||
@@ -116,7 +126,7 @@
 | 
				
			|||||||
  return cell
 | 
					  return cell
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let compute-max-lifeline-levels(participants, elements, pars-i) = {
 | 
					#let compute-max-lifeline-levels(participants, elements, notes, pars-i) = {
 | 
				
			||||||
  let cells = ()
 | 
					  let cells = ()
 | 
				
			||||||
  for elmt in elements {
 | 
					  for elmt in elements {
 | 
				
			||||||
    if elmt.type == "seq" {
 | 
					    if elmt.type == "seq" {
 | 
				
			||||||
@@ -135,14 +145,14 @@
 | 
				
			|||||||
      )
 | 
					      )
 | 
				
			||||||
    
 | 
					    
 | 
				
			||||||
    } else if elmt.type == "note" {
 | 
					    } else if elmt.type == "note" {
 | 
				
			||||||
      let cell = note-get-cell(pars-i, elmt)
 | 
					      let cell = note-get-cell(notes, pars-i, notes.at(elmt.id))
 | 
				
			||||||
      if cell != none {
 | 
					      if cell != none {
 | 
				
			||||||
        cells.push(cell)
 | 
					        cells.push(cell)
 | 
				
			||||||
      }
 | 
					      }
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  return (participants, elements, cells)
 | 
					  return (participants, cells)
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
/// Compute minimum widths for participant names and shapes
 | 
					/// Compute minimum widths for participant names and shapes
 | 
				
			||||||
@@ -155,19 +165,18 @@
 | 
				
			|||||||
    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
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
/// Compute minimum width for over notes
 | 
					/// Compute minimum width for over notes
 | 
				
			||||||
#let notes-min-col-widths(elements, widths, pars-i) = {
 | 
					#let notes-min-col-widths(notes, widths, pars-i) = {
 | 
				
			||||||
  let widths = widths
 | 
					  let widths = widths
 | 
				
			||||||
  let notes = elements.filter(e => e.type == "note")
 | 
					 | 
				
			||||||
  for n in notes.filter(e => (e.side == "over" and 
 | 
					  for n in notes.filter(e => (e.side == "over" and 
 | 
				
			||||||
                              type(e.pos) == str)) {
 | 
					                              type(e.pos) == str)) {
 | 
				
			||||||
    
 | 
					    
 | 
				
			||||||
    let m = get-note-size(n)
 | 
					    let m = note.get-size(n)
 | 
				
			||||||
    let i = pars-i.at(n.pos)
 | 
					    let i = pars-i.at(n.pos)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
    if i < widths.len() {
 | 
					    if i < widths.len() {
 | 
				
			||||||
@@ -306,56 +315,71 @@
 | 
				
			|||||||
  return widths
 | 
					  return widths
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let compute-columns-width(participants, elements, pars-i) = {
 | 
					#let compute-columns-width() = set-ctx(ctx => {
 | 
				
			||||||
  elements = elements.filter(is-elmt)
 | 
					  let elements = ctx.setup.elements.filter(is-elmt)
 | 
				
			||||||
 | 
					  let participants = ctx.setup.participants
 | 
				
			||||||
 | 
					  let notes = ctx.setup.notes
 | 
				
			||||||
 | 
					  let pars-i = ctx.setup.pars-i
 | 
				
			||||||
  elements = unwrap-syncs(elements)
 | 
					  elements = unwrap-syncs(elements)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  let cells
 | 
					  let cells
 | 
				
			||||||
  (participants, elements, cells) = compute-max-lifeline-levels(participants, elements, pars-i)
 | 
					  (participants, cells) = compute-max-lifeline-levels(participants, elements, notes, pars-i)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  let widths = participants-min-col-widths(participants)
 | 
					  let widths = participants-min-col-widths(participants)
 | 
				
			||||||
  widths = notes-min-col-widths(elements, widths, pars-i)
 | 
					  widths = notes-min-col-widths(notes, 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(participants, 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
 | 
					 | 
				
			||||||
}
 | 
					 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let setup-ctx(participants, elements) = (ctx => {
 | 
					  let ctx = ctx
 | 
				
			||||||
  let state = ctx.at("shared-state", default: (:))
 | 
					  ctx.insert("widths", widths)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  let chronos-ctx = (
 | 
					 | 
				
			||||||
    participants: init-lifelines(participants),
 | 
					 | 
				
			||||||
    pars-i: get-participants-i(participants),
 | 
					 | 
				
			||||||
    y: 0,
 | 
					 | 
				
			||||||
    groups: (),
 | 
					 | 
				
			||||||
    lifelines: participants.map(_ => (
 | 
					 | 
				
			||||||
      level: 0,
 | 
					 | 
				
			||||||
      lines: ()
 | 
					 | 
				
			||||||
    ))
 | 
					 | 
				
			||||||
  )
 | 
					 | 
				
			||||||
  chronos-ctx.insert(
 | 
					 | 
				
			||||||
    "widths",
 | 
					 | 
				
			||||||
    compute-columns-width(
 | 
					 | 
				
			||||||
      chronos-ctx.participants,
 | 
					 | 
				
			||||||
      elements,
 | 
					 | 
				
			||||||
      chronos-ctx.pars-i
 | 
					 | 
				
			||||||
    )
 | 
					 | 
				
			||||||
  )
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
  // Compute each column's X position
 | 
					 | 
				
			||||||
  let x-pos = (0,)
 | 
					  let x-pos = (0,)
 | 
				
			||||||
  for width in chronos-ctx.widths {
 | 
					  for width in widths {
 | 
				
			||||||
    x-pos.push(x-pos.last() + width)
 | 
					    x-pos.push(x-pos.last() + width)
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
  chronos-ctx.insert("x-pos", x-pos)
 | 
					  ctx.insert("x-pos", x-pos)
 | 
				
			||||||
  state.insert("chronos", chronos-ctx)
 | 
					
 | 
				
			||||||
  ctx.shared-state = state
 | 
					  return ctx
 | 
				
			||||||
  return (
 | 
					})
 | 
				
			||||||
    ctx: ctx
 | 
					
 | 
				
			||||||
 | 
					#let setup-ctx(participants, elements, notes) = draw.get-ctx(_ => {
 | 
				
			||||||
 | 
					  set-ctx(c => {
 | 
				
			||||||
 | 
					    c.insert("participants", participants)
 | 
				
			||||||
 | 
					    c.insert("setup", (
 | 
				
			||||||
 | 
					      elements: elements,
 | 
				
			||||||
 | 
					      participants: participants,
 | 
				
			||||||
 | 
					      notes: notes
 | 
				
			||||||
 | 
					    ))
 | 
				
			||||||
 | 
					    return c
 | 
				
			||||||
 | 
					  })
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  participant.pre-resolve-styles()
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  init-lifelines()
 | 
				
			||||||
 | 
					  set-participants-i()
 | 
				
			||||||
 | 
					  
 | 
				
			||||||
 | 
					  note.pre-resolve-styles()
 | 
				
			||||||
 | 
					  compute-columns-width()
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  set-ctx(c => {
 | 
				
			||||||
 | 
					    let setup = c.setup
 | 
				
			||||||
 | 
					    c += (
 | 
				
			||||||
 | 
					      participants: setup.participants,
 | 
				
			||||||
 | 
					      pars-i: setup.pars-i,
 | 
				
			||||||
 | 
					      y: 0,
 | 
				
			||||||
 | 
					      groups: (),
 | 
				
			||||||
 | 
					      lifelines: setup.participants.map(_ => (
 | 
				
			||||||
 | 
					        level: 0,
 | 
				
			||||||
 | 
					        events: ()
 | 
				
			||||||
 | 
					      )),
 | 
				
			||||||
 | 
					      notes: setup.notes
 | 
				
			||||||
    )
 | 
					    )
 | 
				
			||||||
 | 
					    c.remove("setup")
 | 
				
			||||||
 | 
					    return c
 | 
				
			||||||
 | 
					  })
 | 
				
			||||||
},)
 | 
					},)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let render-debug() = get-ctx(ctx => {
 | 
					#let render-debug() = get-ctx(ctx => {
 | 
				
			||||||
@@ -376,13 +400,14 @@
 | 
				
			|||||||
  }
 | 
					  }
 | 
				
			||||||
})
 | 
					})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let render(participants, elements) = context canvas(length: 1pt, {
 | 
					#let render(participants, elements, notes) = context canvas(length: 1pt, {
 | 
				
			||||||
  setup-ctx(participants, elements)
 | 
					  setup-ctx(participants, elements, notes)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  // 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)
 | 
				
			||||||
      }
 | 
					      }
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
@@ -397,9 +422,11 @@
 | 
				
			|||||||
    }
 | 
					    }
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  set-ctx(ctx => {
 | 
					  get-ctx(ctx => {
 | 
				
			||||||
    ctx.y -= Y-SPACE
 | 
					    set-ctx(c => {
 | 
				
			||||||
    return ctx
 | 
					      c.y -= ctx.style.y-space
 | 
				
			||||||
 | 
					      return c
 | 
				
			||||||
 | 
					    })
 | 
				
			||||||
  })
 | 
					  })
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  draw.on-layer(-1, {
 | 
					  draw.on-layer(-1, {
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -126,6 +126,7 @@
 | 
				
			|||||||
    "linked",
 | 
					    "linked",
 | 
				
			||||||
    note.pos == none and note.side != "across"
 | 
					    note.pos == none and note.side != "across"
 | 
				
			||||||
  )
 | 
					  )
 | 
				
			||||||
 | 
					  note.insert("id", ctx.notes.len())
 | 
				
			||||||
  let names = ctx.participants.map(p => p.name)
 | 
					  let names = ctx.participants.map(p => p.name)
 | 
				
			||||||
  if note.pos == none and note.side != "across" {
 | 
					  if note.pos == none and note.side != "across" {
 | 
				
			||||||
    let i1 = names.position(n => n == ctx.last-seq.p1)
 | 
					    let i1 = names.position(n => n == ctx.last-seq.p1)
 | 
				
			||||||
@@ -149,6 +150,7 @@
 | 
				
			|||||||
    let n = ctx.last-note.note
 | 
					    let n = ctx.last-note.note
 | 
				
			||||||
    n.aligned-with = note
 | 
					    n.aligned-with = note
 | 
				
			||||||
    ctx.elmts.at(ctx.last-note.i) = n
 | 
					    ctx.elmts.at(ctx.last-note.i) = n
 | 
				
			||||||
 | 
					    ctx.notes.at(ctx.last-note.note.id) = n
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  if note.side in ("left", "right") {
 | 
					  if note.side in ("left", "right") {
 | 
				
			||||||
@@ -186,6 +188,8 @@
 | 
				
			|||||||
    }
 | 
					    }
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  ctx.notes.push(note)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  ctx.elmts.at(ctx.i) = note
 | 
					  ctx.elmts.at(ctx.i) = note
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  ctx.last-note = (
 | 
					  ctx.last-note = (
 | 
				
			||||||
@@ -226,6 +230,7 @@
 | 
				
			|||||||
    linked: (),
 | 
					    linked: (),
 | 
				
			||||||
    last-seq: none,
 | 
					    last-seq: none,
 | 
				
			||||||
    last-note: none,
 | 
					    last-note: none,
 | 
				
			||||||
 | 
					    notes: (),
 | 
				
			||||||
    participants: (),
 | 
					    participants: (),
 | 
				
			||||||
    elmts: elmts,
 | 
					    elmts: elmts,
 | 
				
			||||||
    i: 0
 | 
					    i: 0
 | 
				
			||||||
@@ -290,10 +295,10 @@
 | 
				
			|||||||
    ).first())
 | 
					    ).first())
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  return (ctx.elmts, participants)
 | 
					  return (ctx.elmts, participants, ctx.notes)
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let finalize-setup(elmts, participants) = {
 | 
					#let finalize-setup(elmts, participants, notes) = {
 | 
				
			||||||
  for (i, p) in participants.enumerate() {
 | 
					  for (i, p) in participants.enumerate() {
 | 
				
			||||||
    p.insert("i", i)
 | 
					    p.insert("i", i)
 | 
				
			||||||
    participants.at(i) = p
 | 
					    participants.at(i) = p
 | 
				
			||||||
@@ -323,14 +328,11 @@
 | 
				
			|||||||
    elmts.at(i).insert("max-i", max-i)
 | 
					    elmts.at(i).insert("max-i", max-i)
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  return (elmts, participants)
 | 
					  return (elmts, participants, notes)
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let setup(elements) = {
 | 
					#let setup(elements) = {
 | 
				
			||||||
  let (elmts, activation-history) = unwrap-containers(elements)
 | 
					  let (elmts, activation-history) = unwrap-containers(elements)
 | 
				
			||||||
  
 | 
					  let (elmts, participants, notes) = prepare-participants(elmts)
 | 
				
			||||||
  let participants
 | 
					  return finalize-setup(elmts, participants, notes)
 | 
				
			||||||
  (elmts, participants) = prepare-participants(elmts)
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
  return finalize-setup(elmts, participants)
 | 
					 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
@@ -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,19 +107,41 @@
 | 
				
			|||||||
  )
 | 
					  )
 | 
				
			||||||
})
 | 
					})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#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 => {
 | 
					#let expand-parent-group(x0, x1) = set-ctx(ctx => {
 | 
				
			||||||
  if ctx.groups.len() != 0 {
 | 
					  if ctx.groups.len() != 0 {
 | 
				
			||||||
    let group = ctx.groups.last()
 | 
					    let group = ctx.groups.last()
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -1,16 +1,15 @@
 | 
				
			|||||||
#import "core/draw/event.typ": render as evt-render
 | 
					 | 
				
			||||||
#import "core/renderer.typ": render
 | 
					#import "core/renderer.typ": render
 | 
				
			||||||
#import "core/setup.typ": setup
 | 
					#import "core/setup.typ": setup
 | 
				
			||||||
#import "core/utils.typ": fit-canvas, set-ctx
 | 
					#import "core/utils.typ": fit-canvas
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let diagram(elements, width: auto) = {
 | 
					#let diagram(elements, width: auto) = {
 | 
				
			||||||
  if elements == none {
 | 
					  if elements == none {
 | 
				
			||||||
    return
 | 
					    return
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
  
 | 
					  
 | 
				
			||||||
  let (elmts, participants) = setup(elements)
 | 
					  let (elmts, participants, notes) = setup(elements)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  let canvas = render(participants, elmts)
 | 
					  let canvas = render(participants, elmts, notes)
 | 
				
			||||||
  fit-canvas(canvas, width: width)
 | 
					  fit-canvas(canvas, width: width)
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -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())
 | 
				
			||||||
 
 | 
				
			|||||||
							
								
								
									
										37
									
								
								src/misc.typ
									
									
									
									
									
								
							
							
						
						@@ -1,23 +1,26 @@
 | 
				
			|||||||
 | 
					#import "cetz.typ": styles
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#import "core/draw/delay.typ"
 | 
					#import "core/draw/delay.typ"
 | 
				
			||||||
#import "core/draw/event.typ": render as evt-render
 | 
					#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": get-ctx, normalize-units, set-y
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#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()
 | 
				
			||||||
  ),)
 | 
					  ),)
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
@@ -29,26 +32,36 @@
 | 
				
			|||||||
  ),)
 | 
					  ),)
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let gap-render(gap) = set-ctx(ctx => {
 | 
					#let gap-default-style = (
 | 
				
			||||||
  ctx.y -= gap.size
 | 
					  size: 20pt
 | 
				
			||||||
  return ctx
 | 
					)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					#let gap-render(gap) = get-ctx(ctx => {
 | 
				
			||||||
 | 
					  let style = styles.resolve(
 | 
				
			||||||
 | 
					    ctx.style,
 | 
				
			||||||
 | 
					    merge: gap.style,
 | 
				
			||||||
 | 
					    root: "gap",
 | 
				
			||||||
 | 
					    base: gap-default-style
 | 
				
			||||||
 | 
					  )
 | 
				
			||||||
 | 
					  let size = normalize-units(style.size)
 | 
				
			||||||
 | 
					  set-y(ctx.y - size)
 | 
				
			||||||
})
 | 
					})
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let _gap(size: 20) = {
 | 
					#let _gap(..style) = {
 | 
				
			||||||
  return ((
 | 
					  return ((
 | 
				
			||||||
    type: "gap",
 | 
					    type: "gap",
 | 
				
			||||||
    draw: gap-render,
 | 
					    draw: gap-render,
 | 
				
			||||||
    size: size
 | 
					    style: style.named()
 | 
				
			||||||
  ),)
 | 
					  ),)
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
#let _evt(participant, event) = {
 | 
					#let _evt(participant, event, ..style) = {
 | 
				
			||||||
  return ((
 | 
					  return ((
 | 
				
			||||||
    type: "evt",
 | 
					    type: "evt",
 | 
				
			||||||
    draw: evt-render,
 | 
					    draw: evt-render,
 | 
				
			||||||
    participant: participant,
 | 
					    participant: participant,
 | 
				
			||||||
    event: event,
 | 
					    event: event,
 | 
				
			||||||
    lifeline-style: auto
 | 
					    style: style.named()
 | 
				
			||||||
  ),)
 | 
					  ),)
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
							
								
								
									
										13
									
								
								src/note.typ
									
									
									
									
									
								
							
							
						
						@@ -18,10 +18,9 @@
 | 
				
			|||||||
  side,
 | 
					  side,
 | 
				
			||||||
  content,
 | 
					  content,
 | 
				
			||||||
  pos: none,
 | 
					  pos: none,
 | 
				
			||||||
  color: COL-NOTE,
 | 
					 | 
				
			||||||
  shape: "default",
 | 
					 | 
				
			||||||
  aligned: false,
 | 
					  aligned: false,
 | 
				
			||||||
  allow-overlap: true
 | 
					  allow-overlap: true,
 | 
				
			||||||
 | 
					  ..style
 | 
				
			||||||
) = {
 | 
					) = {
 | 
				
			||||||
  if side == "over" {
 | 
					  if side == "over" {
 | 
				
			||||||
    if pos == none {
 | 
					    if pos == none {
 | 
				
			||||||
@@ -33,19 +32,15 @@
 | 
				
			|||||||
      panic("Aligned notes can only be over a participant (got side '" + side + "')")
 | 
					      panic("Aligned notes can only be over a participant (got side '" + side + "')")
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
  }
 | 
					  }
 | 
				
			||||||
  if color == auto {
 | 
					 | 
				
			||||||
    color = COL-NOTE
 | 
					 | 
				
			||||||
  }
 | 
					 | 
				
			||||||
  return ((
 | 
					  return ((
 | 
				
			||||||
    type: "note",
 | 
					    type: "note",
 | 
				
			||||||
    draw: note.render,
 | 
					    draw: note.render,
 | 
				
			||||||
    side: side,
 | 
					    side: side,
 | 
				
			||||||
    content: content,
 | 
					    content: content,
 | 
				
			||||||
    pos: pos,
 | 
					    pos: pos,
 | 
				
			||||||
    color: color,
 | 
					 | 
				
			||||||
    shape: shape,
 | 
					 | 
				
			||||||
    aligned: aligned,
 | 
					    aligned: aligned,
 | 
				
			||||||
    aligned-with: none,
 | 
					    aligned-with: none,
 | 
				
			||||||
    allow-overlap: allow-overlap
 | 
					    allow-overlap: allow-overlap,
 | 
				
			||||||
 | 
					    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: invisible,
 | 
					    invisible: invisible,
 | 
				
			||||||
    shape: shape,
 | 
					    style: style.named()
 | 
				
			||||||
    color: color,
 | 
					 | 
				
			||||||
    line-stroke: line-stroke,
 | 
					 | 
				
			||||||
    custom-image: custom-image,
 | 
					 | 
				
			||||||
    show-bottom: show-bottom,
 | 
					 | 
				
			||||||
    show-top: show-top
 | 
					 | 
				
			||||||
  ),)
 | 
					  ),)
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -5,9 +5,9 @@
 | 
				
			|||||||
  _par("a", display-name: "Alice")
 | 
					  _par("a", display-name: "Alice")
 | 
				
			||||||
  _par("b", display-name: "Bob")
 | 
					  _par("b", display-name: "Bob")
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  _note("left", [This is displayed\ left of Alice.], pos: "a", color: rgb("#00FFFF"))
 | 
					  _note("left", [This is displayed\ left of Alice.], pos: "a", fill: rgb("#00FFFF"))
 | 
				
			||||||
  _note("right", [This is displayed right of Alice.], pos: "a")
 | 
					  _note("right", [This is displayed right of Alice.], pos: "a")
 | 
				
			||||||
  _note("over", [This is displayed over Alice.], pos: "a")
 | 
					  _note("over", [This is displayed over Alice.], pos: "a")
 | 
				
			||||||
  _note("over", [This is displayed\ over Bob and Alice.], pos: ("a", "b"), color: rgb("#FFAAAA"))
 | 
					  _note("over", [This is displayed\ over Bob and Alice.], pos: ("a", "b"), fill: rgb("#FFAAAA"))
 | 
				
			||||||
  _note("over", [This is yet another\ example of\ a long note.], pos: ("a", "b"))
 | 
					  _note("over", [This is yet another\ example of\ a long note.], pos: ("a", "b"))
 | 
				
			||||||
})
 | 
					})
 | 
				
			||||||
| 
		 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)
 | 
				
			||||||
})
 | 
					})
 | 
				
			||||||
							
								
								
									
										4
									
								
								tests/special-group/.gitignore
									
									
									
									
										vendored
									
									
								
							
							
						
						@@ -1,4 +0,0 @@
 | 
				
			|||||||
# generated by tytanic, do not edit
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
diff/**
 | 
					 | 
				
			||||||
out/**
 | 
					 | 
				
			||||||
| 
		 Before Width: | Height: | Size: 12 KiB  | 
| 
		 Before Width: | Height: | Size: 11 KiB  | 
| 
		 Before Width: | Height: | Size: 17 KiB  | 
| 
		 Before Width: | Height: | Size: 8.3 KiB  | 
| 
		 Before Width: | Height: | Size: 8.3 KiB  | 
@@ -1,71 +0,0 @@
 | 
				
			|||||||
#set page(width: auto, height: auto)
 | 
					 | 
				
			||||||
#import "/src/lib.typ": *
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#let preamble = {
 | 
					 | 
				
			||||||
  _par("a", display-name: [Alice])
 | 
					 | 
				
			||||||
  _par("b", display-name: [Bob])
 | 
					 | 
				
			||||||
  _col("a", "b", width: 2cm)
 | 
					 | 
				
			||||||
}
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#diagram({
 | 
					 | 
				
			||||||
  preamble
 | 
					 | 
				
			||||||
  _grp("Group 1", {
 | 
					 | 
				
			||||||
    _seq("a", "b")
 | 
					 | 
				
			||||||
  })
 | 
					 | 
				
			||||||
  _grp("Group 2", desc: [Description], {
 | 
					 | 
				
			||||||
    _seq("a", "b")
 | 
					 | 
				
			||||||
  })
 | 
					 | 
				
			||||||
})
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#pagebreak()
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#diagram({
 | 
					 | 
				
			||||||
  preamble
 | 
					 | 
				
			||||||
  _alt(
 | 
					 | 
				
			||||||
    "case 1", {
 | 
					 | 
				
			||||||
      _seq("a", "b")
 | 
					 | 
				
			||||||
    },
 | 
					 | 
				
			||||||
    "case 2", {
 | 
					 | 
				
			||||||
      _seq("a", "b")
 | 
					 | 
				
			||||||
    },
 | 
					 | 
				
			||||||
    "case 3", {
 | 
					 | 
				
			||||||
      _seq("a", "b")
 | 
					 | 
				
			||||||
    }
 | 
					 | 
				
			||||||
  )
 | 
					 | 
				
			||||||
})
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#pagebreak()
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#diagram({
 | 
					 | 
				
			||||||
  preamble
 | 
					 | 
				
			||||||
  _loop("loop 1", {
 | 
					 | 
				
			||||||
    _seq("a", "b")
 | 
					 | 
				
			||||||
  })
 | 
					 | 
				
			||||||
  _loop("loop 2", min: 1, {
 | 
					 | 
				
			||||||
    _seq("a", "b")
 | 
					 | 
				
			||||||
  })
 | 
					 | 
				
			||||||
  _loop("loop 3", max: 10, {
 | 
					 | 
				
			||||||
    _seq("a", "b")
 | 
					 | 
				
			||||||
  })
 | 
					 | 
				
			||||||
  _loop("loop 3", min: 1, max: 10, {
 | 
					 | 
				
			||||||
    _seq("a", "b")
 | 
					 | 
				
			||||||
  })
 | 
					 | 
				
			||||||
})
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#pagebreak()
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#diagram({
 | 
					 | 
				
			||||||
  preamble
 | 
					 | 
				
			||||||
  _opt("Optional", {
 | 
					 | 
				
			||||||
    _seq("a", "b")
 | 
					 | 
				
			||||||
  })
 | 
					 | 
				
			||||||
})
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#pagebreak()
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
#diagram({
 | 
					 | 
				
			||||||
  preamble
 | 
					 | 
				
			||||||
  _break("Break", {
 | 
					 | 
				
			||||||
    _seq("a", "b")
 | 
					 | 
				
			||||||
  })
 | 
					 | 
				
			||||||
})
 | 
					 | 
				
			||||||