activity diagram resolver

Author: invincibleXiaobao

…t/activity_diagram/activity_diagram.puml …solver/activity_it/activity_diagram.pumlplantuml/parser/integration_test/activity_diagram/activity_diagram.puml renamed to plantuml/parser/integration_test/activity_diagram/resolver/activity_it/activity_diagram.puml plantuml/parser/integration_test/activity_diagram/activity_diagram.puml renamed to plantuml/parser/integration_test/activity_diagram/resolver/activity_it/activity_diagram.puml

@@ -0,0 +1,3 @@
+activity_diagram.puml:
+  error:
+    type: NotImplemented

plantuml/parser/integration_test/activity_diagram/resolver/activity_it/output.yaml

@@ -17,7 +17,7 @@ use puml_parser::{
     ActivityParserError, BaseParseError, ClassError, IncludeExpandError, IncludeParseError,
     PreprocessError, ProcedureExpandError, ProcedureParseError,
 };
-use puml_resolver::{ClassPumlResolverError, ElementResolverError};
+use puml_resolver::{ActivityResolverError, ClassPumlResolverError, ElementResolverError};
 
 #[derive(Debug)]
 pub struct ProjectedError {
@@ -244,6 +244,14 @@ impl ErrorView for ElementResolverError {
     }
 }
 
+impl ErrorView for ActivityResolverError {
+    fn project(&self, _base_dir: &Path) -> ProjectedError {
+        match self {
+            ActivityResolverError::NotImplemented => ProjectedError::new("NotImplemented"),
+        }
+    }
+}
+
 impl ErrorView for ClassPumlResolverError {
     fn project(&self, _base_dir: &Path) -> ProjectedError {
         match self {

plantuml/parser/integration_test/src/test_error_view.rs

@@ -45,6 +45,7 @@ statement = _{
     | while_start_stmt
 
       // base
+    | title_stmt
     | note_declaration
     | backward_stmt
     | arrow_stmt

plantuml/parser/puml_parser/src/grammar/activity.pest

@@ -17,13 +17,20 @@ rust_library(
     srcs = ["src/lib.rs"],
     visibility = ["//plantuml/parser:__subpackages__"],
     deps = [
+        ":activity_resolver",
         ":class_resolver",
         ":component_resolver",
         ":resolver_traits",
         ":sequence_resolver",
     ],
 )
 
+alias(
+    name = "activity_resolver",
+    actual = "//plantuml/parser/puml_resolver/src/activity_diagram:puml_resolver_activity",
+    visibility = ["//plantuml/parser:__subpackages__"],
+)
+
 alias(
     name = "component_resolver",
     actual = "//plantuml/parser/puml_resolver/src/component_diagram:puml_resolver_component",

plantuml/parser/puml_resolver/BUILD

@@ -0,0 +1,51 @@
+# *******************************************************************************
+# Copyright (c) 2026 Contributors to the Eclipse Foundation
+#
+# See the NOTICE file(s) distributed with this work for additional
+# information regarding copyright ownership.
+#
+# This program and the accompanying materials are made available under the
+# terms of the Apache License Version 2.0 which is available at
+# https://www.apache.org/licenses/LICENSE-2.0
+#
+# SPDX-License-Identifier: Apache-2.0
+# *******************************************************************************
+load("@rules_rust//rust:defs.bzl", "rust_library", "rust_test")
+
+rust_library(
+    name = "puml_resolver_activity",
+    srcs = [
+        "src/activity_logic.rs",
+        "src/activity_resolver.rs",
+        "src/lib.rs",
+    ],
+    crate_name = "activity_resolver",
+    crate_root = "src/lib.rs",
+    visibility = ["//plantuml/parser:__subpackages__"],
+    deps = [
+        "//plantuml/parser/puml_parser:activity_diagram",
+        "//plantuml/parser/puml_resolver:resolver_traits",
+        "@crates//:serde",
+        "@crates//:thiserror",
+    ],
+)
+
+rust_test(
+    name = "puml_resolver_activity_it",
+    srcs = [
+        "tests/activity_resolver_test.rs",
+    ],
+    crate_root = "tests/activity_resolver_test.rs",
+    data = [
+        "//plantuml/parser/integration_test/activity_diagram:activity_diagram_files",
+    ],
+    visibility = ["//plantuml/parser:__subpackages__"],
+    deps = [
+        ":puml_resolver_activity",
+        "//plantuml/parser/integration_test:test_framework",
+        "//plantuml/parser/puml_parser:activity_diagram",
+        "//plantuml/parser/puml_parser:parser_core",
+        "//plantuml/parser/puml_resolver:resolver_traits",
+        "//plantuml/parser/puml_utils",
+    ],
+)

plantuml/parser/puml_resolver/src/activity_diagram/BUILD

@@ -0,0 +1,58 @@
+@startuml activity_AST
+
+skinparam classAttributeIconSize 0
+hide empty members
+
+class ActivityDiagram {
+  +name: Option<String>
+  +statements: Vec<ActivityStmt>
+}
+
+abstract class ActivityStmt
+
+class ActionNode {
+  +label: String
+}
+
+class IfNode {
+  +condition: String
+  +body: Vec<ActivityStmt>
+  +orelse: Vec<ActivityStmt>
+}
+
+class WhileNode {
+  +condition: String
+  +body: Vec<ActivityStmt>
+  +backward: Option<BackwardNode>
+}
+
+class RepeatNode {
+  +body: Vec<ActivityStmt>
+  +condition: String
+  +backward: Option<BackwardNode>
+}
+
+class BackwardNode {
+  +label: String
+}
+
+class ControlNode {
+  +kind: Stop | Kill | Detach | Break | Continue
+}
+
+ActivityDiagram *-- "0..*" ActivityStmt : statements
+
+ActivityStmt <|-- ActionNode
+ActivityStmt <|-- IfNode
+ActivityStmt <|-- WhileNode
+ActivityStmt <|-- RepeatNode
+ActivityStmt <|-- ControlNode
+
+IfNode *-- "0..*" ActivityStmt : body
+IfNode *-- "0..*" ActivityStmt : orelse
+WhileNode *-- "0..*" ActivityStmt : body
+WhileNode o-- "0..1" BackwardNode : backward
+RepeatNode *-- "0..*" ActivityStmt : body
+RepeatNode o-- "0..1" BackwardNode : backward
+
+@enduml

plantuml/parser/puml_resolver/src/activity_diagram/design/activity_ast.puml

@@ -0,0 +1,62 @@
+@startuml activity_cfg
+
+skinparam classAttributeIconSize 0
+hide empty members
+
+class ActivityCfg {
+  +entry: NodeId
+  +exit: NodeId
+  +nodes: Vec<CfgNode>
+  +edges: Vec<CfgEdge>
+}
+
+abstract class CfgNode {
+  +id: NodeId
+}
+
+class EntryNode
+class ExitNode
+
+class StepNode {
+  +label: String
+  +kind: StepKind
+}
+
+class DecisionNode {
+  +condition: String
+}
+
+class MergeNode
+
+class CfgEdge {
+  +from: NodeId
+  +to: NodeId
+  +kind: EdgeKind
+}
+
+enum StepKind {
+  Action
+  Backward
+  Control
+}
+
+enum EdgeKind {
+  Next
+  True
+  False
+  Back
+  Break
+  Continue
+  Abort
+}
+
+ActivityCfg *-- "1..*" CfgNode : nodes
+ActivityCfg *-- "0..*" CfgEdge : edges
+
+CfgNode <|-- EntryNode
+CfgNode <|-- ExitNode
+CfgNode <|-- StepNode
+CfgNode <|-- DecisionNode
+CfgNode <|-- MergeNode
+
+@enduml