v2.1 extended analysis render update

This commit is contained in:
2026-06-14 22:14:47 +02:00
parent 38d708f85b
commit 71bcfe65d7
63 changed files with 1382 additions and 2394 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 210 KiB

After

Width:  |  Height:  |  Size: 223 KiB

View File

@@ -2,162 +2,119 @@
!pragma layout smetana
hide empty description
hide stereotype
state STATE1
state STATE2
state STATE3
state STATE4
state STATE5
state STATE6
state STATE7
state STATE8
state STATE9
state STATE10
state STATE11
state STATE12
state STATE13
state STATE14
state STATE15
state STATE16
state CANCEL
state STATEY
state STATEX
state STATEZ
state STATE17
state STATE18
state STATE19
state STATE20
state STATE_EXTRA_1
state STATE_EXTRA_3
state STATE_EXTRA_2
skinparam state {
BackgroundColor white
BorderColor #94a3b8
BorderThickness 1
FontName Inter
FontSize 9
FontStyle bold
RoundCorner 20
Padding 1
}
skinparam shadowing false
skinparam ArrowFontName JetBrains Mono
skinparam ArrowFontSize 8
skinparam ArrowColor #cbd5e1
skinparam ArrowThickness 1
skinparam dpi 110
skinparam svgLinkTarget _self
state StatesSTATE1
state StatesSTATE2
state StatesSTATE3
state StatesSTATE4
state StatesSTATE5
state StatesSTATE6
state StatesSTATE7
state StatesSTATE8
state StatesSTATE9
state StatesSTATE10
state StatesSTATE11
state StatesSTATE12
state StatesSTATE13
state StatesSTATE14
state StatesSTATE15
state StatesSTATE16
state StatesCANCEL
state StatesSTATEY
state StatesSTATEX
state StatesSTATEZ
state StatesSTATE17
state StatesSTATE18
state StatesSTATE19
state StatesSTATE20
state StatesSTATE_EXTRA_1
state StatesSTATE_EXTRA_3
state StatesSTATE_EXTRA_2
<style>
state {
.choice {
BackgroundColor LightYellow
}
}
arrow {
LineThickness 1
.external { LineColor #1E90FF }
.internal { LineColor #32CD32 }
.local { LineColor #FFA500 }
.junction { LineColor #FF69B4 }
.join { LineColor #8A2BE2 }
.fork { LineColor #20B2AA }
.choice_type { LineColor #000000 }
.choice_color_0 { LineColor #FF6347 }
.choice_color_1 { LineColor #4682B4 }
.choice_color_2 { LineColor #32CD32 }
.choice_color_3 { LineColor #FFD700 }
.choice_color_4 { LineColor #6A5ACD }
.choice_color_5 { LineColor #FF69B4 }
[*] --> StatesSTATE1
}
/* Example: Highlight all transitions for a specific event */
/* .e_MY_EVENT { LineColor red } */
</style>
state StatesSTATEY <<choice>>
state StatesSTATE16 <<choice>>
state StatesSTATE17 <<choice>>
state StatesSTATE18 <<choice>>
state StatesSTATE19 <<choice>>
state StatesSTATE20 <<choice>>
state StatesSTATE11 <<choice>>
state StatesSTATE12 <<choice>>
state StatesSTATE14 <<choice>>
state StatesSTATE9 <<choice>>
state StatesSTATE8 <<choice>>
state StatesSTATE2 <<choice>>
hide <<external>> stereotype
hide <<internal>> stereotype
hide <<local>> stereotype
hide <<junction>> stereotype
hide <<join>> stereotype
hide <<fork>> stereotype
hide <<choice_type>> stereotype
hide <<choice_color_0>> stereotype
hide <<choice_color_1>> stereotype
hide <<choice_color_2>> stereotype
hide <<choice_color_3>> stereotype
hide <<choice_color_4>> stereotype
hide <<choice_color_5>> stereotype
StatesSTATE1 -[#1E90FF,bold]-> StatesSTATE2 <<external>> <<e_Events_EVENT1>> : Events.EVENT1
StatesSTATE2 -[#1E90FF,bold]-> StatesSTATE3 <<external>> <<e_Events_EVENT2>> : Events.EVENT2
StatesSTATE3 -[#1E90FF,bold]-> StatesSTATE4 <<external>> <<e_Events_EVENT3>> : Events.EVENT3
StatesSTATE4 -[#1E90FF,bold]-> StatesSTATE5 <<external>> <<e_Events_EVENT4>> : Events.EVENT4
StatesSTATE5 -[#1E90FF,bold]-> StatesSTATE6 <<external>> <<e_Events_EVENT5>> : Events.EVENT5
StatesSTATE6 -[#1E90FF,bold]-> StatesSTATE7 <<external>> <<e_Events_EVENT6>> : Events.EVENT6
StatesSTATE7 -[#1E90FF,bold]-> StatesSTATE8 <<external>> <<e_Events_EVENT7>> : Events.EVENT7
StatesSTATE8 -[#1E90FF,bold]-> StatesSTATE9 <<external>> <<e_Events_EVENT8>> : Events.EVENT8
StatesSTATE9 -[#1E90FF,bold]-> StatesSTATE10 <<external>> <<e_Events_EVENT9>> : Events.EVENT9
StatesSTATE10 -[#1E90FF,bold]-> StatesSTATE11 <<external>> <<e_Events_EVENT10>> : Events.EVENT10
StatesSTATE11 -[#1E90FF,bold]-> StatesSTATE12 <<external>> <<e_Events_EVENT11>> : Events.EVENT11
StatesSTATE12 -[#1E90FF,bold]-> StatesSTATE13 <<external>> <<e_Events_EVENT12>> : Events.EVENT12
StatesSTATE13 -[#1E90FF,bold]-> StatesSTATE14 <<external>> <<e_Events_EVENT13>> : Events.EVENT13
StatesSTATE14 -[#1E90FF,bold]-> StatesSTATE15 <<external>> <<e_Events_EVENT14>> : Events.EVENT14
StatesSTATE15 -[#1E90FF,bold]-> StatesSTATE16 <<external>> <<e_Events_EVENT15>> : Events.EVENT15
StatesSTATE1 -[#1E90FF,bold]-> StatesCANCEL <<external>> <<e_Events_EVENT_CANCEL>> : Events.EVENT_CANCEL
StatesSTATE2 -[#1E90FF,bold]-> StatesCANCEL <<external>> <<e_Events_EVENT_CANCEL>> : Events.EVENT_CANCEL
StatesSTATE3 -[#1E90FF,bold]-> StatesCANCEL <<external>> <<e_Events_EVENT_CANCEL>> : Events.EVENT_CANCEL
StatesSTATE4 -[#1E90FF,bold]-> StatesCANCEL <<external>> <<e_Events_EVENT_CANCEL>> : Events.EVENT_CANCEL
StatesSTATE5 -[#1E90FF,bold]-> StatesCANCEL <<external>> <<e_Events_EVENT_CANCEL>> : Events.EVENT_CANCEL
StatesSTATE4 -[#1E90FF,bold]-> StatesSTATEY <<external>> <<e_Events_EVENTY>> : Events.EVENTY
StatesSTATEY -[#FF6347,bold]-> StatesSTATEX <<choice_type>> : [guardVarEquals("value1")] (order=0)
StatesSTATEY -[#FF6347,bold]-> StatesSTATEZ <<choice_type>> : (order=1)
StatesSTATE16 -[#FF6347,bold]-> StatesSTATE17 <<choice_type>> : [guardVarEquals("value1")] (order=0)
StatesSTATE16 -[#FF6347,bold]-> StatesSTATE18 <<choice_type>> : [guardVarEquals("value2")] (order=1)
StatesSTATE16 -[#FF6347,bold]-> StatesSTATE19 <<choice_type>> : (order=2)
StatesSTATE17 -[#FF6347,bold]-> StatesSTATE20 <<choice_type>> : [guardEventHeaderEquals("header1","foo")] (order=0)
StatesSTATE17 -[#FF6347,bold]-> StatesSTATE16 <<choice_type>> : (order=1)
StatesSTATE18 -[#FF6347,bold]-> StatesSTATE19 <<choice_type>> : [guardVarEquals("value3")] (order=0)
StatesSTATE18 -[#FF6347,bold]-> StatesSTATE20 <<choice_type>> : (order=1)
StatesSTATE19 -[#FF6347,bold]-> StatesSTATE1 <<choice_type>> : [guardVarEquals("reset")] (order=0)
StatesSTATE19 -[#FF6347,bold]-> StatesSTATE20 <<choice_type>> : (order=1)
StatesSTATE20 -[#FF6347,bold]-> StatesSTATE5 <<choice_type>> : [guardEventHeaderEquals("header2","bar")] (order=0)
StatesSTATE20 -[#FF6347,bold]-> StatesSTATE1 <<choice_type>> : (order=1)
StatesSTATE11 -[#FF6347,bold]-> StatesSTATE13 <<choice_type>> : [guardVarEquals("goTo13")] (order=0)
StatesSTATE11 -[#FF6347,bold]-> StatesSTATE14 <<choice_type>> : [guardVarEquals("goTo14")] (order=1)
StatesSTATE11 -[#FF6347,bold]-> StatesSTATE15 <<choice_type>> : (order=2)
StatesSTATE12 -[#FF6347,bold]-> StatesSTATE10 <<choice_type>> : [guardVarEquals("goBack10")] (order=0)
StatesSTATE12 -[#FF6347,bold]-> StatesSTATE11 <<choice_type>> : (order=1)
StatesSTATE14 -[#FF6347,bold]-> StatesSTATE12 <<choice_type>> : [guardVarEquals("loop12")] (order=0)
StatesSTATE14 -[#FF6347,bold]-> StatesSTATE16 <<choice_type>> : (order=1)
StatesSTATE9 -[#FF6347,bold]-> StatesSTATE8 <<choice_type>> : [guardVarEquals("stepBack")] (order=0)
StatesSTATE9 -[#FF6347,bold]-> StatesSTATE7 <<choice_type>> : [guardVarEquals("stepBackMore")] (order=1)
StatesSTATE9 -[#FF6347,bold]-> StatesSTATE6 <<choice_type>> : (order=2)
StatesSTATE8 -[#FF6347,bold]-> StatesSTATE9 <<choice_type>> : [guardVarEquals("forward9")] (order=0)
StatesSTATE8 -[#FF6347,bold]-> StatesSTATE10 <<choice_type>> : (order=1)
StatesSTATE2 -[#1E90FF,bold]-> StatesSTATE_EXTRA_1 <<external>> <<e_Events_EVENTX>> : Events.EVENTX
StatesSTATE2 -[#FF6347,bold]-> StatesSTATE1 <<choice_type>> : [guardEventHeaderEquals("header1","foo")] (order=0)
StatesSTATE2 -[#FF6347,bold]-> StatesSTATE_EXTRA_1 <<choice_type>> : (order=1)
StatesSTATE_EXTRA_1 -[#1E90FF,bold]-> StatesSTATE_EXTRA_3 <<external>> <<e_Events_EVENTY>> : Events.EVENTY
StatesSTATE_EXTRA_1 -[#1E90FF,bold]-> StatesCANCEL <<external>> <<e_Events_EVENT_CANCEL_2>> : Events.EVENT_CANCEL_2
StatesSTATE_EXTRA_2 -[#1E90FF,bold]-> StatesCANCEL <<external>> <<e_Events_EVENT_CANCEL_2>> : Events.EVENT_CANCEL_2
[*] --> STATE1
state STATEY <<choice>>
state STATE16 <<choice>>
state STATE17 <<choice>>
state STATE18 <<choice>>
state STATE19 <<choice>>
state STATE20 <<choice>>
state STATE11 <<choice>>
state STATE12 <<choice>>
state STATE14 <<choice>>
state STATE9 <<choice>>
state STATE8 <<choice>>
state STATE2 <<choice>>
STATE1 -[#1E90FF,bold]-> STATE2 <<external>> <<e_Events_EVENT1>> : EVENT1
STATE2 -[#1E90FF,bold]-> STATE3 <<external>> <<e_Events_EVENT2>> : EVENT2
STATE3 -[#1E90FF,bold]-> STATE4 <<external>> <<e_Events_EVENT3>> : EVENT3
STATE4 -[#1E90FF,bold]-> STATE5 <<external>> <<e_Events_EVENT4>> : EVENT4
STATE5 -[#1E90FF,bold]-> STATE6 <<external>> <<e_Events_EVENT5>> : EVENT5
STATE6 -[#1E90FF,bold]-> STATE7 <<external>> <<e_Events_EVENT6>> : EVENT6
STATE7 -[#1E90FF,bold]-> STATE8 <<external>> <<e_Events_EVENT7>> : EVENT7
STATE8 -[#1E90FF,bold]-> STATE9 <<external>> <<e_Events_EVENT8>> : EVENT8
STATE9 -[#1E90FF,bold]-> STATE10 <<external>> <<e_Events_EVENT9>> : EVENT9
STATE10 -[#1E90FF,bold]-> STATE11 <<external>> <<e_Events_EVENT10>> : EVENT10
STATE11 -[#1E90FF,bold]-> STATE12 <<external>> <<e_Events_EVENT11>> : EVENT11
STATE12 -[#1E90FF,bold]-> STATE13 <<external>> <<e_Events_EVENT12>> : EVENT12
STATE13 -[#1E90FF,bold]-> STATE14 <<external>> <<e_Events_EVENT13>> : EVENT13
STATE14 -[#1E90FF,bold]-> STATE15 <<external>> <<e_Events_EVENT14>> : EVENT14
STATE15 -[#1E90FF,bold]-> STATE16 <<external>> <<e_Events_EVENT15>> : EVENT15
STATE1 -[#1E90FF,bold]-> CANCEL <<external>> <<e_Events_EVENT_CANCEL>> : EVENT_CANCEL
STATE2 -[#1E90FF,bold]-> CANCEL <<external>> <<e_Events_EVENT_CANCEL>> : EVENT_CANCEL
STATE3 -[#1E90FF,bold]-> CANCEL <<external>> <<e_Events_EVENT_CANCEL>> : EVENT_CANCEL
STATE4 -[#1E90FF,bold]-> CANCEL <<external>> <<e_Events_EVENT_CANCEL>> : EVENT_CANCEL
STATE5 -[#1E90FF,bold]-> CANCEL <<external>> <<e_Events_EVENT_CANCEL>> : EVENT_CANCEL
STATE4 -[#1E90FF,bold]-> STATEY <<external>> <<e_Events_EVENTY>> : EVENTY
STATEY -[#FF6347,bold]-> STATEX <<choice_color_0>> : [guardVarEquals("value1")] (order=0)
STATEY -[#FF6347,bold]-> STATEZ <<choice_color_0>> : (order=1)
STATE16 -[#4682B4,bold]-> STATE17 <<choice_color_1>> : [guardVarEquals("value1")] (order=0)
STATE16 -[#4682B4,bold]-> STATE18 <<choice_color_1>> : [guardVarEquals("value2")] (order=1)
STATE16 -[#4682B4,bold]-> STATE19 <<choice_color_1>> : (order=2)
STATE17 -[#32CD32,bold]-> STATE20 <<choice_color_2>> : [guardEventHeaderEquals("header1","foo")] (order=0)
STATE17 -[#32CD32,bold]-> STATE16 <<choice_color_2>> : (order=1)
STATE18 -[#FFD700,bold]-> STATE19 <<choice_color_3>> : [guardVarEquals("value3")] (order=0)
STATE18 -[#FFD700,bold]-> STATE20 <<choice_color_3>> : (order=1)
STATE19 -[#6A5ACD,bold]-> STATE1 <<choice_color_4>> : [guardVarEquals("reset")] (order=0)
STATE19 -[#6A5ACD,bold]-> STATE20 <<choice_color_4>> : (order=1)
STATE20 -[#FF69B4,bold]-> STATE5 <<choice_color_5>> : [guardEventHeaderEquals("header2","bar")] (order=0)
STATE20 -[#FF69B4,bold]-> STATE1 <<choice_color_5>> : (order=1)
STATE11 -[#FF6347,bold]-> STATE13 <<choice_color_0>> : [guardVarEquals("goTo13")] (order=0)
STATE11 -[#FF6347,bold]-> STATE14 <<choice_color_0>> : [guardVarEquals("goTo14")] (order=1)
STATE11 -[#FF6347,bold]-> STATE15 <<choice_color_0>> : (order=2)
STATE12 -[#4682B4,bold]-> STATE10 <<choice_color_1>> : [guardVarEquals("goBack10")] (order=0)
STATE12 -[#4682B4,bold]-> STATE11 <<choice_color_1>> : (order=1)
STATE14 -[#32CD32,bold]-> STATE12 <<choice_color_2>> : [guardVarEquals("loop12")] (order=0)
STATE14 -[#32CD32,bold]-> STATE16 <<choice_color_2>> : (order=1)
STATE9 -[#FFD700,bold]-> STATE8 <<choice_color_3>> : [guardVarEquals("stepBack")] (order=0)
STATE9 -[#FFD700,bold]-> STATE7 <<choice_color_3>> : [guardVarEquals("stepBackMore")] (order=1)
STATE9 -[#FFD700,bold]-> STATE6 <<choice_color_3>> : (order=2)
STATE8 -[#6A5ACD,bold]-> STATE9 <<choice_color_4>> : [guardVarEquals("forward9")] (order=0)
STATE8 -[#6A5ACD,bold]-> STATE10 <<choice_color_4>> : (order=1)
STATE2 -[#1E90FF,bold]-> STATE_EXTRA_1 <<external>> <<e_Events_EVENTX>> : EVENTX
STATE2 -[#FF69B4,bold]-> STATE1 <<choice_color_5>> : [guardEventHeaderEquals("header1","foo")] (order=0)
STATE2 -[#FF69B4,bold]-> STATE_EXTRA_1 <<choice_color_5>> : (order=1)
STATE_EXTRA_1 -[#1E90FF,bold]-> STATE_EXTRA_3 <<external>> <<e_Events_EVENTY>> : EVENTY
STATE_EXTRA_1 -[#1E90FF,bold]-> CANCEL <<external>> <<e_Events_EVENT_CANCEL_2>> : EVENT_CANCEL_2
STATE_EXTRA_2 -[#1E90FF,bold]-> CANCEL <<external>> <<e_Events_EVENT_CANCEL_2>> : EVENT_CANCEL_2
hide <<e_Events_EVENT1>> stereotype
hide <<e_Events_EVENT2>> stereotype
hide <<e_Events_EVENT3>> stereotype
hide <<e_Events_EVENT4>> stereotype
hide <<e_Events_EVENT5>> stereotype
hide <<e_Events_EVENT6>> stereotype
hide <<e_Events_EVENT7>> stereotype
hide <<e_Events_EVENT8>> stereotype
hide <<e_Events_EVENT9>> stereotype
hide <<e_Events_EVENT10>> stereotype
hide <<e_Events_EVENT11>> stereotype
hide <<e_Events_EVENT12>> stereotype
hide <<e_Events_EVENT13>> stereotype
hide <<e_Events_EVENT14>> stereotype
hide <<e_Events_EVENT15>> stereotype
hide <<e_Events_EVENT_CANCEL>> stereotype
hide <<e_Events_EVENTY>> stereotype
hide <<e_Events_EVENTX>> stereotype
hide <<e_Events_EVENT_CANCEL_2>> stereotype
STATEZ --> [*]
StatesSTATEZ --> [*]
@enduml