what changed?

Reviewed-on: HEL/chronos#27

src/core/draw/hide.typ

@@ -1,21 +0,0 @@
-#import "/src/core/utils.typ": get-ctx, set-ctx
-
-#let render(sync) = get-ctx(ctx => {
-  set-ctx(c => {
-    c.hidden = true
-    for i in range(c.lifelines.len()) {
-      c.lifelines.at(i).lines.push(("hide",))
-    }
-    return c
-  })
-})
-
-#let render-end(sync) = get-ctx(ctx => {
-  set-ctx(c => {
-    c.hidden = false
-    for i in range(c.lifelines.len()) {
-      c.lifelines.at(i).lines.push(("unhide",))
-    }
-    return c
-  })
-})

src/core/draw/participant.typ

@@ -320,20 +320,9 @@
     let destructions = ()
     let lines = ()
 
-    let hidden = false
-
     // Compute lifeline rectangles + destruction positions
     for line in ctx.lifelines.at(p.i).lines {
       let event = line.first()
-      if event == "hide" {
-        hidden = true
-      } else if event == "unhide" {
-        hidden = false
-      }
-      if hidden and event in ("create", "enable") {
-        continue
-      }
-
       if event == "create" {
         last-y = line.at(1)
 

src/core/draw/sequence.typ

@@ -1,8 +1,8 @@
-#import "/src/cetz.typ": draw, vector, coordinate
+#import "/src/cetz.typ": coordinate, draw, vector
 
 #import "note.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, set-ctx
 
 #let get-arrow-marks(sym, color) = {
   if sym == none {
@@ -13,12 +13,23 @@
   }
   (
     "": none,
-    ">": (symbol: ">", fill: color),
+    ">": (symbol: ">", fill: color, stroke: (dash: "solid")),
-    ">>": (symbol: "straight"),
+    ">>": (symbol: "straight", stroke: (dash: "solid")),
-    "\\": (symbol: ">", fill: color, harpoon: true),
+    "\\": (symbol: ">", fill: color, harpoon: true, stroke: (dash: "solid")),
-    "\\\\": (symbol: "straight", harpoon: true),
+    "\\\\": (symbol: "straight", harpoon: true, stroke: (dash: "solid")),
-    "/": (symbol: ">", fill: color, harpoon: true, flip: true),
+    "/": (
-    "//": (symbol: "straight", harpoon: true, flip: true),
+      symbol: ">",
+      fill: color,
+      harpoon: true,
+      flip: true,
+      stroke: (dash: "solid"),
+    ),
+    "//": (
+      symbol: "straight",
+      harpoon: true,
+      flip: true,
+      stroke: (dash: "solid"),
+    ),
     "x": none,
     "o": none,
   ).at(sym)
@@ -56,11 +67,11 @@
   let width = calc.abs(ctx.x-pos.at(i1) - ctx.x-pos.at(i2))
 
   let h = 0
-  let comment = if seq.comment == none {none} else {
+  let comment = if seq.comment == none { none } else {
     let w = calc.min(width * 1pt, measure(seq.comment).width)
     box(
-      width: if i1 == i2 {auto} else {w},
+      width: if i1 == i2 { auto } else { w },
-      seq.comment
+      seq.comment,
     )
   }
   // Reserve space for comment
@@ -71,7 +82,7 @@
     h,
     ..seq.linked-notes.map(n => {
       note.get-size(n).height / 2
-    })
+    }),
   )
   ctx.y -= h
 
@@ -79,13 +90,13 @@
     i: i1,
     x: ctx.x-pos.at(i1),
     y: ctx.y,
-    ll-lvl: ctx.lifelines.at(i1).level * LIFELINE-W / 2
+    ll-lvl: ctx.lifelines.at(i1).level * LIFELINE-W / 2,
   )
   let end-info = (
     i: i2,
     x: ctx.x-pos.at(i2),
     y: ctx.y,
-    ll-lvl: ctx.lifelines.at(i2).level * LIFELINE-W / 2
+    ll-lvl: ctx.lifelines.at(i2).level * LIFELINE-W / 2,
   )
   let slant = if seq.slant == auto {
     DEFAULT-SLANT
@@ -129,9 +140,9 @@
   if seq.create-dst {
     let par = ctx.participants.at(i2)
     let m = measure(box(par.display-name))
-    let f = if i1 > i2 {-1} else {1}
+    let f = if i1 > i2 { -1 } else { 1 }
     end-info.x -= (m.width + PAR-PAD.last() * 2) / 2pt * f
-    (par.draw)(par, y: end-info.y)
+    (par.draw)(par, y: end-info.y - m.height / 1pt)
   }
 
   end-info.ll-lvl = ctx.lifelines.at(i2).level * LIFELINE-W / 2
@@ -142,11 +153,11 @@
   let start-lx = start-info.x
   let end-lx = end-info.x
   if seq.outer-lifeline-connect {
-    if start-info.ll-lvl != 0 {start-lx -= LIFELINE-W / 2}
+    if start-info.ll-lvl != 0 { start-lx -= LIFELINE-W / 2 }
-    if end-info.ll-lvl != 0 {end-lx -= LIFELINE-W / 2}
+    if end-info.ll-lvl != 0 { end-lx -= LIFELINE-W / 2 }
   } else {
-    if start-info.ll-lvl != 0 {start-lx = start-info.rx - LIFELINE-W}
+    if start-info.ll-lvl != 0 { start-lx = start-info.rx - LIFELINE-W }
-    if end-info.ll-lvl != 0 {end-lx = end-info.rx - LIFELINE-W}
+    if end-info.ll-lvl != 0 { end-lx = end-info.rx - LIFELINE-W }
   }
   start-info.insert("lx", start-lx)
   end-info.insert("lx", end-lx)
@@ -164,13 +175,13 @@
     mark: (
       start: get-arrow-marks(seq.start-tip, seq.color),
       end: get-arrow-marks(seq.end-tip, seq.color),
-      scale: 1.2
+      scale: 1.2,
     ),
     stroke: (
-      dash: if seq.dashed {(2pt,2pt)} else {"solid"},
+      dash: if seq.dashed { (2pt, 2pt) } else { "solid" },
       paint: seq.color,
-      thickness: .5pt
+      thickness: .5pt,
-    )
+    ),
   )
 
   let y0 = start-info.y
@@ -208,13 +219,13 @@
       (x1, start-info.y),
       (x-mid, start-info.y),
       (x-mid, end-info.y),
-      (x2, end-info.y)
+      (x2, end-info.y),
     )
 
     if comment != none {
       comment-anchor = (
-        start: if x-mid < x1 {"south-east"} else {"south-west"},
+        start: if x-mid < x1 { "south-east" } else { "south-west" },
-        end: if x-mid < x1 {"south-west"} else {"south-east"},
+        end: if x-mid < x1 { "south-west" } else { "south-east" },
         left: "south-west",
         right: "south-east",
         center: "south",
@@ -223,21 +234,20 @@
       comment-pt = (
         start: pts.first(),
         end: pts.at(1),
-        left: if x-mid < x1 {pts.at(1)} else {pts.first()},
+        left: if x-mid < x1 { pts.at(1) } else { pts.first() },
-        right: if x-mid < x1 {pts.first()} else {pts.at(1)},
+        right: if x-mid < x1 { pts.first() } else { pts.at(1) },
-        center: (pts.first(), 50%, pts.at(1))
+        center: (pts.first(), 50%, pts.at(1)),
       ).at(seq.comment-align)
     }
 
     expand-parent-group(
       calc.min(x1, x2, x-mid),
-      calc.max(x1, x2, x-mid)
+      calc.max(x1, x2, x-mid),
     )
-
   } else {
     pts = (
       (x1, start-info.y),
-      (x2, end-info.y)
+      (x2, end-info.y),
     )
 
     if comment != none {
@@ -253,14 +263,14 @@
       comment-pt = (
         start: start-pt,
         end: end-pt,
-        left: if x2 < x1 {end-pt} else {start-pt},
+        left: if x2 < x1 { end-pt } else { start-pt },
-        right: if x2 < x1 {start-pt} else {end-pt},
+        right: if x2 < x1 { start-pt } else { end-pt },
-        center: (start-pt, 50%, end-pt)
+        center: (start-pt, 50%, end-pt),
       ).at(seq.comment-align)
 
       comment-anchor = (
-        start: if x2 < x1 {"south-east"} else {"south-west"},
+        start: if x2 < x1 { "south-east" } else { "south-west" },
-        end: if x2 < x1 {"south-west"} else {"south-east"},
+        end: if x2 < x1 { "south-west" } else { "south-east" },
         left: "south-west",
         right: "south-east",
         center: "south",
@@ -275,7 +285,7 @@
 
     expand-parent-group(
       calc.min(x1, x2),
-      calc.max(x1, x2)
+      calc.max(x1, x2),
     )
   }
 
@@ -286,27 +296,27 @@
       radius: CIRCLE-TIP-RADIUS,
       stroke: none,
       fill: seq.color,
-      name: "_circle-start-tip"
+      name: "_circle-start-tip",
     )
     pts.at(0) = "_circle-start-tip"
 
-  // Start cross tip
+    // Start cross tip
   } else if is-cross-tip(seq.start-tip) {
     let size = CROSS-TIP-SIZE
     let cross-pt = (
       pts.first(),
       size * 2,
-      pts.at(1)
+      pts.at(1),
     )
     draw.line(
       (rel: (-size, -size), to: cross-pt),
       (rel: (size, size), to: cross-pt),
-      stroke: seq.color + 1.5pt
+      stroke: seq.color + 1.5pt,
     )
     draw.line(
       (rel: (-size, size), to: cross-pt),
       (rel: (size, -size), to: cross-pt),
-      stroke: seq.color + 1.5pt
+      stroke: seq.color + 1.5pt,
     )
     pts.at(0) = cross-pt
   }
@@ -318,27 +328,27 @@
       radius: 3,
       stroke: none,
       fill: seq.color,
-      name: "_circle-end-tip"
+      name: "_circle-end-tip",
     )
     pts.at(pts.len() - 1) = "_circle-end-tip"
 
-  // End cross tip
+    // End cross tip
   } else if is-cross-tip(seq.end-tip) {
     let size = CROSS-TIP-SIZE
     let cross-pt = (
       pts.last(),
       size * 2,
-      pts.at(pts.len() - 2)
+      pts.at(pts.len() - 2),
     )
     draw.line(
       (rel: (-size, -size), to: cross-pt),
       (rel: (size, size), to: cross-pt),
-      stroke: seq.color + 1.5pt
+      stroke: seq.color + 1.5pt,
     )
     draw.line(
       (rel: (-size, size), to: cross-pt),
       (rel: (size, -size), to: cross-pt),
-      stroke: seq.color + 1.5pt
+      stroke: seq.color + 1.5pt,
     )
     pts.at(pts.len() - 1) = cross-pt
   }
@@ -352,7 +362,7 @@
       anchor: comment-anchor,
       angle: comment-angle,
       padding: 3pt,
-      name: "comment"
+      name: "comment",
     )
 
     // TODO: Improve this
@@ -360,14 +370,13 @@
       let (_, left, right) = coordinate.resolve(
         c,
         "comment.west",
-        "comment.east"
+        "comment.east",
       )
       expand-parent-group(
         left.at(0),
-        right.at(0)
+        right.at(0),
       )
     })
-
   }
 
   if seq.create-dst {
@@ -384,10 +393,11 @@
   if seq.linked-notes.len() != 0 {
     end-info.y = calc.min(
       end-info.y,
-      y0 - calc.max(..seq.linked-notes.map(n => {
+      y0
-        let m = note.get-size(n)
+        - calc.max(..seq.linked-notes.map(n => {
-        return m.height / 2
+          let m = note.get-size(n)
-      }))
+          return m.height / 2
+        })),
     )
   }
 
@@ -397,7 +407,7 @@
     c.last-drawn = (
       type: "seq",
       start-info: start-info,
-      end-info: end-info
+      end-info: end-info,
     )
     return c
   })

src/core/renderer.typ

@@ -319,8 +319,7 @@
       level: 0,
       lines: ()
     )),
-    in-sync: false,
+    in-sync: false
-    hidden: false,
   )
   chronos-ctx.insert(
     "widths",
@@ -380,15 +379,11 @@
       (elmt,)
     } else if "draw" in elmt and elmt.type != "par" {
       get-ctx(ctx => {
-        let drawn = if ctx.in-sync and elmt.type != "sync-end" {
+        if ctx.in-sync and elmt.type != "sync-end" {
           in-sync-render(elmt)
         } else {
           (elmt.draw)(elmt)
         }
-        if ctx.hidden and elmt.type != "hide-end" {
-          drawn = draw.hide(drawn)
-        }
-        drawn
       })
     }
   }

src/core/setup.typ

@@ -1,17 +1,11 @@
 #import "draw/group.typ": render-end as grp-render-end
-#import "draw/hide.typ": render-end as hide-render-end
 #import "draw/sync.typ": render-end as sync-render-end
-#import "utils.typ": get-group-span, is-elmt, is-touying-pause
+#import "utils.typ": get-group-span, is-elmt
 #import "/src/participant.typ": _exists as par-exists, _par
 #import "/src/sequence.typ": _seq
 
 #let flatten-group(elmts, i) = {
   let group = elmts.at(i)
-  for elmt in group.elmts {
-    if is-touying-pause(elmt) {
-      panic("Cannot pause inside of a group yet")
-    }
-  }
   elmts.at(i) = group
   return (
     elmts.slice(0, i + 1) +
@@ -27,11 +21,6 @@
 
 #let flatten-sync(elmts, i) = {
   let sync = elmts.at(i)
-  for elmt in sync.elmts {
-    if is-touying-pause(elmt) {
-      panic("Cannot pause inside of a sync")
-    }
-  }
   elmts.at(i) = sync
   let start = sync
   start.remove("elmts")
@@ -48,21 +37,6 @@
   )
 }
 
-#let flatten-hide(elmts, i) = {
-  let hide = elmts.at(i)
-  elmts.at(i) = hide
-  return (
-    elmts.slice(0, i + 1) +
-    hide.elmts +
-    ((
-      type: "hide-end",
-      draw: hide-render-end,
-      start-i: i
-    ),) +
-    elmts.slice(i+1)
-  )
-}
-
 #let update-group-children(elmts, i) = {
   let elmts = elmts
   let group-end = elmts.at(i)
@@ -83,7 +57,8 @@
     seq.p2, seq.p1,
     comment: ret.comment,
     disable-src: true,
-    dashed: true
+    dashed: true,
+    end-tip: ret.end-tip,
   ).first()
   return (elmts, activation-history)
 }
@@ -107,9 +82,6 @@
     } else if elmt.type == "sync" {
       elmts = flatten-sync(elmts, i)
 
-    } else if elmt.type == "hide" {
-      elmts = flatten-hide(elmts, i)
-
     } else if elmt.type == "seq" {
       if elmt.enable-dst {
         activation-history.push(elmt)

src/core/utils.typ

@@ -10,17 +10,6 @@
   return true
 }
 
-#let is-touying-pause(elmt) = {
-  if type(elmt) != content or elmt.func() != metadata {
-    return false
-  }
-  let kind = elmt.value.at("kind", default: "")
-  if type(kind) != str {
-    return false
-  }
-  return kind.starts-with("touying-jump")
-}
-
 #let normalize-units(value) = {
   if type(value) == int or type(value) == float {
     return value
@@ -44,12 +33,6 @@
   let pars-i = get-participants-i(participants)
 
   for elmt in group.elmts {
-    if not is-elmt(elmt) {
-      if is-touying-pause(elmt) {
-        panic("Cannot pause inside of a group yet")
-      }
-      continue
-    }
     if elmt.type == "seq" {
       let i1 = pars-i.at(elmt.p1)
       let i2 = pars-i.at(elmt.p2)

src/lib.typ

@@ -4,5 +4,5 @@
 #import "sequence.typ": _seq, _ret
 #import "group.typ": _grp, _loop, _alt, _opt, _break
 #import "participant.typ": _par
-#import "misc.typ": _sep, _delay, _sync, _gap, _evt, _col, _hide
+#import "misc.typ": _sep, _delay, _sync, _gap, _evt, _col
 #import "note.typ": _note

src/misc.typ

@@ -1,6 +1,5 @@
 #import "core/draw/delay.typ"
 #import "core/draw/event.typ": render as evt-render
-#import "core/draw/hide.typ"
 #import "core/draw/separator.typ"
 #import "core/draw/sync.typ"
 #import "core/utils.typ": set-ctx
@@ -64,11 +63,3 @@
     max-width: max-width
   ),)
 }
-
-#let _hide(elmts) = {
-  return ((
-    type: "hide",
-    draw: hide.render,
-    elmts: elmts
-  ),)
-}

src/sequence.typ

@@ -5,9 +5,9 @@
   p2,
   comment: none,
   comment-align: "left",
-  dashed: false,
+  dashed: none,
   start-tip: "",
-  end-tip: ">",
+  end-tip: none,
   color: black,
   flip: false,
   enable-dst: false,
@@ -20,6 +20,20 @@
   slant: none,
   outer-lifeline-connect: false
 ) = {
+  dashed = if dashed == none {
+    create-dst
+  } else {
+    dashed
+  }
+  end-tip = if end-tip == none {
+    if create-dst {
+      ">>"
+    } else {
+      ">"
+    }
+  } else {
+    end-tip
+  }
   return ((
     type: "seq",
     draw: sequence.render,
@@ -45,9 +59,10 @@
   ),)
 }
 
-#let _ret(comment: none) = {
+#let _ret(comment: none, end-tip: ">") = {
   return ((
     type: "ret",
-    comment: comment
+    comment: comment,
+    end-tip: end-tip
   ),)
 }