#945 Divider lines for concurrency

2025-09-24 01:39:53 +02:00 · 2019-10-06 15:44:31 +02:00
parent dce09586cd
commit ce0b0fa0c8
5 changed files with 67 additions and 1 deletions
--- a/src/diagrams/state/parser/stateDiagram.jison
+++ b/src/diagrams/state/parser/stateDiagram.jison
@@ -143,7 +143,9 @@ statement
    | JOIN {
        $$={ stmt: 'state', id: $1, type: 'join' }
    }
-    | CONCURRENT
+    | CONCURRENT {
+        $$={ stmt: 'state', id: yy.getDividerId(), type: 'divider' }
+    }
    | note notePosition ID NOTE_TEXT
    {
        console.warn('got NOTE, position: ', $2.trim(), 'id = ', $3.trim(), 'note: ', $4);