autosar-calltree 0.4.0__tar.gz → 0.5.0__tar.gz

{autosar_calltree-0.4.0/src/autosar_calltree.egg-info → autosar_calltree-0.5.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: autosar-calltree
-Version: 0.4.0
+Version: 0.5.0
 Summary: A Python tool to analyze C/AUTOSAR codebases and generate function call trees with Mermaid and XMI output
 Author-email: melodypapa <melodypapa@outlook.com>
 Maintainer-email: melodypapa <melodypapa@outlook.com>
@@ -58,17 +58,181 @@ A powerful Python package to analyze C/AUTOSAR codebases and generate function c
 - 🔍 **Static Analysis**: Analyzes C source code without compilation
 - 📊 **Multiple Output Formats**:
   - Mermaid sequence diagrams (Markdown)
-  - XMI/UML 2.5 (importable to Enterprise Architect, MagicDraw, etc.) - *planned*
+  - XMI/UML 2.5 (importable to Enterprise Architect, Visual Paradigm, etc.)
   - JSON (for custom processing) - *planned*
 - 🏗️ **SW Module Support**: Map C files to SW modules via YAML configuration for architecture-level diagrams
 - 📈 **Module-Aware Diagrams**: Generate diagrams with SW module names as participants
 - 🎯 **Parameter Display**: Function parameters shown in sequence diagram calls for better visibility
+- 🔄 **Automatic Conditional Detection**: Automatically detects `if`/`else` statements and generates `opt` blocks with actual conditions (Mermaid and XMI)
 - 🚀 **Performance**: Intelligent caching for fast repeated analysis with file-by-file progress reporting
 - 🎯 **Depth Control**: Configurable call tree depth
 - 🔄 **Circular Dependency Detection**: Identifies recursive calls and cycles
 - 📊 **Statistics**: Detailed analysis statistics including module distribution
 - 📝 **Clean Diagrams**: Return statements omitted by default for cleaner sequence diagrams (configurable)
 
+## What's New
+
+### Version 0.5.0 (2026-02-04)
+
+**🎉 Major Feature: Automatic Conditional Call Detection with Opt/Alt/Else Blocks**
+
+This release adds intelligent parsing of conditional function calls, automatically detecting `if`/`else` blocks in your C code and representing them as `opt`/`alt`/`else` blocks in both Mermaid and XMI output formats.
+
+**Mermaid Example**:
+
+**Source Code**:
+```c
+FUNC(void, RTE_CODE) Demo_Update(VAR(uint32, AUTOMATIC) update_mode)
+{
+    SW_UpdateState(update_mode);
+
+    if (update_mode == 0x05) {
+        COM_SendLINMessage(0x456, (uint8*)0x20003000);
+    }
+}
+```
+
+**Generated Mermaid Diagram**:
+```mermaid
+sequenceDiagram
+    participant Demo_Update
+    participant COM_SendLINMessage
+    participant SW_UpdateState
+
+    Demo_Update->>SW_UpdateState: call(new_state)
+    opt update_mode == 0x05
+    Demo_Update->>COM_SendLINMessage: call(msg_id, data)
+    end
+```
+
+**XMI Example**:
+```xml
+<uml:fragment name="opt" interactionOperator="opt">
+  <uml:operand name="update_mode == 0x05">
+    <uml:message name="COM_SendLINMessage" signature="COM_SendLINMessage(msg_id, data)">
+      <!-- message events -->
+    </uml:message>
+  </uml:operand>
+</uml:fragment>
+```
+
+**Benefits**:
+- ✅ No manual configuration required - automatic detection
+- ✅ Shows actual condition text for better understanding
+- ✅ Supports nested conditionals
+- ✅ Handles `if`, `else if`, and `else` statements
+- ✅ Works with both Mermaid and XMI output formats
+- ✅ XMI uses UML combined fragments (standard UML 2.5 representation)
+
+**Technical Changes**:
+- `FunctionCall` model extended with `is_conditional` and `condition` fields
+- `CallTreeNode` extended with `is_optional` and `condition` fields
+- `CParser` enhanced with line-by-line conditional context tracking
+- `MermaidGenerator` supports `opt`, `alt`, and `else` blocks
+- `XMIGenerator` supports UML combined fragments
+- 298 tests passing with 89% code coverage
+
+## Changelog
+
+### [0.5.0] - 2026-02-04
+
+#### Added
+- **Conditional function call tracking**: Automatic detection of `if`/`else` blocks with condition text extraction
+- **Mermaid opt/alt/else blocks**: Generate `opt`, `alt`, and `else` blocks for conditional calls
+- **XMI combined fragments**: UML 2.5 compliant `opt`/`alt`/`else` fragment generation
+- **FunctionCall model**: Extended with `is_conditional` and `condition` fields
+- **CallTreeNode model**: Extended with `is_optional` and `condition` fields
+- **CParser enhancements**: Line-by-line parsing to track conditional context
+- Requirements documentation for conditional call tracking (SWR_MODEL_00026-00028)
+
+#### Fixed
+- Linting errors (flake8 W292, W391) for proper file endings
+- Type annotations in `c_parser.py:442` for mypy compliance
+
+#### Technical
+- 298 tests passing, 89% code coverage
+- All CI quality checks passing (ruff, isort, flake8, mypy)
+- Python 3.8-3.12 test matrix
+
+---
+
+### [0.4.0] - 2026-02-03
+
+#### Added
+- **XMI/UML 2.5 output format**: Complete XMI generation with UML 2.5 compliance
+- **XMIGenerator**: New generator class for XMI document creation
+- **CLI `--format xmi` option**: Support for XMI output format
+- **CLI `--format both` option**: Generate both Mermaid and XMI simultaneously
+- **XMI requirements documentation**: `docs/requirements/requirements_xmi.md`
+- **UML combined fragments**: Support for `opt`, `alt`, `else` interactions
+- **XMI demo output**: `demo/demo_main.xmi` example file
+
+#### Technical
+- XMI documents importable into Enterprise Architect, Visual Paradigm, MagicDraw
+- Proper XML namespaces and structure (UML 2.5, XMI 2.5)
+- Message events with sendEvent and receiveEvent elements
+
+---
+
+### [0.3.3] - 2026-02-02
+
+#### Fixed
+- **AUTOSAR macro false positives**: Performance degradation caused by incorrect macro matching
+- Parser optimization to reduce false positive detections
+- Improved AUTOSAR pattern matching accuracy
+
+---
+
+### [0.3.2] - 2026-02-01
+
+#### Added
+- **File size display**: Show file sizes during processing in verbose mode
+- Enhanced progress reporting with line counts and file sizes
+- Improved user feedback for large file processing
+
+---
+
+### [0.3.1] - 2026-01-31
+
+#### Added
+- **Verbose file progress**: File-by-file progress display during database building
+- **Line count reporting**: Show number of lines processed per file
+- **Enhanced cache loading**: File-by-file progress when loading from cache
+- **C parser line-by-line tests**: Comprehensive testing for line-by-line processing
+
+#### Fixed
+- Import sorting to pass isort checks
+- Minor documentation updates
+
+---
+
+### [0.3.0] - 2026-01-30
+
+#### Added
+- **SW Module Configuration System**: YAML-based file-to-module mapping
+- **Module-aware diagrams**: Generate diagrams with SW module names as participants
+- **Comprehensive test suite**: 298 tests across all modules (89% coverage)
+- **Requirements traceability**: Complete traceability matrix between requirements and tests
+- **Integration tests**: End-to-end CLI testing
+- **PyPI publishing workflow**: Automated PyPI releases with OIDC trusted publishing
+- **ModuleConfig class**: Load, validate, and perform module lookups
+- **Module assignment**: Functions tagged with SW module information
+- **FunctionDatabase integration**: Module assignments preserved in cache
+- **CLI `--use-module-names` option**: Enable module-level diagrams
+- **CLI `--module-config` option**: Specify module mapping YAML file
+
+#### Technical
+- Glob pattern support for file mappings (e.g., `hw_*.c`)
+- Default module fallback for unmapped files
+- Module lookup caching for performance
+- Cache preserves module assignments across runs
+
+---
+
+### Earlier Versions
+
+**0.2.x** - Initial development releases with basic AUTOSAR parsing and Mermaid output
+
 ## Installation
 
 ```bash
@@ -97,6 +261,9 @@ calltree --start-function Demo_Init --source-dir demo --module-config demo/modul
 # Specify depth and output
 calltree --start-function Demo_Init --max-depth 2 -o output.md
 
+# Generate XMI format (with opt block support)
+calltree --start-function Demo_MainFunction --source-dir demo --format xmi --output demo/demo.xmi
+
 # Verbose mode with detailed statistics and cache progress
 calltree --start-function Demo_Init --verbose
 ```
@@ -158,7 +325,7 @@ Options:
 
 ## Output Examples
 
-### Mermaid Sequence Diagram
+### Mermaid Sequence Diagram with Opt Blocks
 
 ```mermaid
 sequenceDiagram
@@ -168,31 +335,55 @@ sequenceDiagram
     participant SoftwareModule
 
     DemoModule->>CommunicationModule: COM_InitCommunication(baud_rate, buffer_size)
-    CommunicationModule->>CommunicationModule: COM_InitCAN
-    CommunicationModule->>CommunicationModule: COM_InitEthernet
-    CommunicationModule->>CommunicationModule: COM_InitLIN
-    DemoModule->>DemoModule: Demo_InitVariables(config_mode)
-    DemoModule->>HardwareModule: HW_InitHardware(clock_freq, gpio_mask)
-    HardwareModule->>HardwareModule: HW_InitADC
-    HardwareModule->>HardwareModule: HW_InitClock
-    HardwareModule->>HardwareModule: HW_InitGPIO
-    HardwareModule->>HardwareModule: HW_InitPWM
-    DemoModule->>SoftwareModule: SW_InitSoftware(state, config)
-    SoftwareModule->>SoftwareModule: SW_InitConfig
-    SoftwareModule->>SoftwareModule: SW_InitState
+    opt mode > 0x00
+    DemoModule->>DemoModule: Demo_Update(mode)
+    opt mode == 0x05
+    DemoModule->>CommunicationModule: COM_SendLINMessage(msg_id, data)
+    end
+    DemoModule->>SoftwareModule: SW_UpdateState(new_state)
+    end
+    DemoModule->>HardwareModule: HW_ReadSensor(sensor_id)
+    DemoModule->>SoftwareModule: SW_ProcessData(data, length)
 ```
 
 **Key Features**:
-- Participants appear in the order they are first encountered in the call tree
-- Function parameters are displayed in the call arrows (e.g., `COM_InitCommunication(baud_rate, buffer_size)`)
+- Conditional calls are automatically wrapped in `opt` blocks
+- Shows actual condition text from source code (e.g., `mode > 0x00`, `mode == 0x05`)
+- Supports nested conditionals
+- Participants appear in the order they are first encountered
+- Function parameters are displayed in the call arrows
 - Return statements are omitted by default for cleaner visualization
 - Module names are used as participants when `--use-module-names` is enabled
 
+### XMI Output with Opt Blocks
+
+The XMI output also supports opt blocks using UML combined fragments:
+
+```xml
+<uml:fragment name="opt" interactionOperator="opt">
+  <uml:operand name="update_mode == 0x05">
+    <uml:message name="COM_SendLINMessage" 
+                 signature="COM_SendLINMessage(msg_id, data)"
+                 messageSort="synchCall">
+      <uml:sendEvent xmi:id="calltree_22"/>
+      <uml:receiveEvent xmi:id="calltree_23"/>
+    </uml:message>
+  </uml:operand>
+</uml:fragment>
+```
+
+**XMI Features**:
+- UML 2.5 compliant XMI documents
+- Combined fragments with `opt` interaction operator
+- Operand elements display the condition text
+- Can be imported into UML tools like Enterprise Architect, Visual Paradigm, MagicDraw
+- Proper XML structure with correct namespaces
+
 ### Generated Markdown Structure
 
 The tool generates comprehensive Markdown files with:
 - Metadata header (timestamp, settings, statistics)
-- Mermaid sequence diagram with function parameters
+- Mermaid sequence diagram with function parameters and opt blocks
 - Function details table with parameter information
 - Text-based call tree
 - Circular dependency warnings
@@ -261,6 +452,7 @@ calltree --start-function Demo_Init --module-config demo/module_mapping.yaml --u
 This generates diagrams with:
 - **Participants**: SW module names (HardwareModule, SoftwareModule, etc.) in the order they are first encountered
 - **Arrows**: Function names with parameters being called between modules
+- **Opt Blocks**: Conditional calls wrapped with actual condition text
 - **Function Table**: Includes module column showing each function's SW module
 - **Clean Visualization**: Return statements omitted by default
 
@@ -284,7 +476,7 @@ autosar-calltree/
 │   ├── parsers/          # Code parsers (AUTOSAR, C)
 │   ├── analyzers/        # Analysis logic (call tree, dependencies)
 │   ├── database/         # Data models and caching
-│   ├── generators/       # Output generators (Mermaid)
+│   ├── generators/       # Output generators (Mermaid, XMI)
 │   └── utils/            # Utilities (empty, for future use)
 ├── test_demo/            # Demo AUTOSAR C files for testing
 │   ├── demo.c
@@ -302,7 +494,7 @@ autosar-calltree/
 
 ### Running Tests
 
-The project has **comprehensive test coverage** with 278 tests across all modules:
+The project has **comprehensive test coverage** with 298 tests across all modules:
 
 ```bash
 # Run all tests
@@ -336,20 +528,20 @@ pytest --cov=autosar_calltree --cov-report=html --cov-report=term --omit=tests/
 
 ### Test Coverage
 
-The project maintains **94% code coverage** across all modules:
+The project maintains **89% code coverage** across all modules:
 
 | Module | Coverage | Tests |
 |--------|----------|-------|
-| Models | 100% | 25 |
+| Models | 97% | 28 |
 | AUTOSAR Parser | 97% | 15 |
 | C Parser | 86% | 18 |
-| Database | 80% | 20 |
-| Analyzers | 94% | 20 |
+| Database | 83% | 20 |
+| Analyzers | 95% | 20 |
 | Config | 97% | 25 |
-| Generators | 96% | 31 |
-| CLI (Integration) | ~90% | 14 |
-| End-to-End | ~90% | 110 |
-| **Total** | **94%** | **278** |
+| Generators | 89% | 45 |
+| CLI (Integration) | 90% | 14 |
+| End-to-End | ~90% | 120 |
+| **Total** | **89%** | **298** |
 
 ### Code Quality
 
@@ -469,7 +661,8 @@ MIT License - see [LICENSE](LICENSE) file for details.
 - [ ] Multi-threading for large codebases
 - [ ] Function complexity metrics
 - [ ] Dead code detection
-- [ ] XMI/UML 2.5 output format
+- [x] XMI/UML 2.5 output format with opt block support
+- [x] Automatic conditional call detection with opt blocks
 
 ## Support
 

{autosar_calltree-0.4.0 → autosar_calltree-0.5.0}/README.md

@@ -12,17 +12,181 @@ A powerful Python package to analyze C/AUTOSAR codebases and generate function c
 - 🔍 **Static Analysis**: Analyzes C source code without compilation
 - 📊 **Multiple Output Formats**:
   - Mermaid sequence diagrams (Markdown)
-  - XMI/UML 2.5 (importable to Enterprise Architect, MagicDraw, etc.) - *planned*
+  - XMI/UML 2.5 (importable to Enterprise Architect, Visual Paradigm, etc.)
   - JSON (for custom processing) - *planned*
 - 🏗️ **SW Module Support**: Map C files to SW modules via YAML configuration for architecture-level diagrams
 - 📈 **Module-Aware Diagrams**: Generate diagrams with SW module names as participants
 - 🎯 **Parameter Display**: Function parameters shown in sequence diagram calls for better visibility
+- 🔄 **Automatic Conditional Detection**: Automatically detects `if`/`else` statements and generates `opt` blocks with actual conditions (Mermaid and XMI)
 - 🚀 **Performance**: Intelligent caching for fast repeated analysis with file-by-file progress reporting
 - 🎯 **Depth Control**: Configurable call tree depth
 - 🔄 **Circular Dependency Detection**: Identifies recursive calls and cycles
 - 📊 **Statistics**: Detailed analysis statistics including module distribution
 - 📝 **Clean Diagrams**: Return statements omitted by default for cleaner sequence diagrams (configurable)
 
+## What's New
+
+### Version 0.5.0 (2026-02-04)
+
+**🎉 Major Feature: Automatic Conditional Call Detection with Opt/Alt/Else Blocks**
+
+This release adds intelligent parsing of conditional function calls, automatically detecting `if`/`else` blocks in your C code and representing them as `opt`/`alt`/`else` blocks in both Mermaid and XMI output formats.
+
+**Mermaid Example**:
+
+**Source Code**:
+```c
+FUNC(void, RTE_CODE) Demo_Update(VAR(uint32, AUTOMATIC) update_mode)
+{
+    SW_UpdateState(update_mode);
+
+    if (update_mode == 0x05) {
+        COM_SendLINMessage(0x456, (uint8*)0x20003000);
+    }
+}
+```
+
+**Generated Mermaid Diagram**:
+```mermaid
+sequenceDiagram
+    participant Demo_Update
+    participant COM_SendLINMessage
+    participant SW_UpdateState
+
+    Demo_Update->>SW_UpdateState: call(new_state)
+    opt update_mode == 0x05
+    Demo_Update->>COM_SendLINMessage: call(msg_id, data)
+    end
+```
+
+**XMI Example**:
+```xml
+<uml:fragment name="opt" interactionOperator="opt">
+  <uml:operand name="update_mode == 0x05">
+    <uml:message name="COM_SendLINMessage" signature="COM_SendLINMessage(msg_id, data)">
+      <!-- message events -->
+    </uml:message>
+  </uml:operand>
+</uml:fragment>
+```
+
+**Benefits**:
+- ✅ No manual configuration required - automatic detection
+- ✅ Shows actual condition text for better understanding
+- ✅ Supports nested conditionals
+- ✅ Handles `if`, `else if`, and `else` statements
+- ✅ Works with both Mermaid and XMI output formats
+- ✅ XMI uses UML combined fragments (standard UML 2.5 representation)
+
+**Technical Changes**:
+- `FunctionCall` model extended with `is_conditional` and `condition` fields
+- `CallTreeNode` extended with `is_optional` and `condition` fields
+- `CParser` enhanced with line-by-line conditional context tracking
+- `MermaidGenerator` supports `opt`, `alt`, and `else` blocks
+- `XMIGenerator` supports UML combined fragments
+- 298 tests passing with 89% code coverage
+
+## Changelog
+
+### [0.5.0] - 2026-02-04
+
+#### Added
+- **Conditional function call tracking**: Automatic detection of `if`/`else` blocks with condition text extraction
+- **Mermaid opt/alt/else blocks**: Generate `opt`, `alt`, and `else` blocks for conditional calls
+- **XMI combined fragments**: UML 2.5 compliant `opt`/`alt`/`else` fragment generation
+- **FunctionCall model**: Extended with `is_conditional` and `condition` fields
+- **CallTreeNode model**: Extended with `is_optional` and `condition` fields
+- **CParser enhancements**: Line-by-line parsing to track conditional context
+- Requirements documentation for conditional call tracking (SWR_MODEL_00026-00028)
+
+#### Fixed
+- Linting errors (flake8 W292, W391) for proper file endings
+- Type annotations in `c_parser.py:442` for mypy compliance
+
+#### Technical
+- 298 tests passing, 89% code coverage
+- All CI quality checks passing (ruff, isort, flake8, mypy)
+- Python 3.8-3.12 test matrix
+
+---
+
+### [0.4.0] - 2026-02-03
+
+#### Added
+- **XMI/UML 2.5 output format**: Complete XMI generation with UML 2.5 compliance
+- **XMIGenerator**: New generator class for XMI document creation
+- **CLI `--format xmi` option**: Support for XMI output format
+- **CLI `--format both` option**: Generate both Mermaid and XMI simultaneously
+- **XMI requirements documentation**: `docs/requirements/requirements_xmi.md`
+- **UML combined fragments**: Support for `opt`, `alt`, `else` interactions
+- **XMI demo output**: `demo/demo_main.xmi` example file
+
+#### Technical
+- XMI documents importable into Enterprise Architect, Visual Paradigm, MagicDraw
+- Proper XML namespaces and structure (UML 2.5, XMI 2.5)
+- Message events with sendEvent and receiveEvent elements
+
+---
+
+### [0.3.3] - 2026-02-02
+
+#### Fixed
+- **AUTOSAR macro false positives**: Performance degradation caused by incorrect macro matching
+- Parser optimization to reduce false positive detections
+- Improved AUTOSAR pattern matching accuracy
+
+---
+
+### [0.3.2] - 2026-02-01
+
+#### Added
+- **File size display**: Show file sizes during processing in verbose mode
+- Enhanced progress reporting with line counts and file sizes
+- Improved user feedback for large file processing
+
+---
+
+### [0.3.1] - 2026-01-31
+
+#### Added
+- **Verbose file progress**: File-by-file progress display during database building
+- **Line count reporting**: Show number of lines processed per file
+- **Enhanced cache loading**: File-by-file progress when loading from cache
+- **C parser line-by-line tests**: Comprehensive testing for line-by-line processing
+
+#### Fixed
+- Import sorting to pass isort checks
+- Minor documentation updates
+
+---
+
+### [0.3.0] - 2026-01-30
+
+#### Added
+- **SW Module Configuration System**: YAML-based file-to-module mapping
+- **Module-aware diagrams**: Generate diagrams with SW module names as participants
+- **Comprehensive test suite**: 298 tests across all modules (89% coverage)
+- **Requirements traceability**: Complete traceability matrix between requirements and tests
+- **Integration tests**: End-to-end CLI testing
+- **PyPI publishing workflow**: Automated PyPI releases with OIDC trusted publishing
+- **ModuleConfig class**: Load, validate, and perform module lookups
+- **Module assignment**: Functions tagged with SW module information
+- **FunctionDatabase integration**: Module assignments preserved in cache
+- **CLI `--use-module-names` option**: Enable module-level diagrams
+- **CLI `--module-config` option**: Specify module mapping YAML file
+
+#### Technical
+- Glob pattern support for file mappings (e.g., `hw_*.c`)
+- Default module fallback for unmapped files
+- Module lookup caching for performance
+- Cache preserves module assignments across runs
+
+---
+
+### Earlier Versions
+
+**0.2.x** - Initial development releases with basic AUTOSAR parsing and Mermaid output
+
 ## Installation
 
 ```bash
@@ -51,6 +215,9 @@ calltree --start-function Demo_Init --source-dir demo --module-config demo/modul
 # Specify depth and output
 calltree --start-function Demo_Init --max-depth 2 -o output.md
 
+# Generate XMI format (with opt block support)
+calltree --start-function Demo_MainFunction --source-dir demo --format xmi --output demo/demo.xmi
+
 # Verbose mode with detailed statistics and cache progress
 calltree --start-function Demo_Init --verbose
 ```
@@ -112,7 +279,7 @@ Options:
 
 ## Output Examples
 
-### Mermaid Sequence Diagram
+### Mermaid Sequence Diagram with Opt Blocks
 
 ```mermaid
 sequenceDiagram
@@ -122,31 +289,55 @@ sequenceDiagram
     participant SoftwareModule
 
     DemoModule->>CommunicationModule: COM_InitCommunication(baud_rate, buffer_size)
-    CommunicationModule->>CommunicationModule: COM_InitCAN
-    CommunicationModule->>CommunicationModule: COM_InitEthernet
-    CommunicationModule->>CommunicationModule: COM_InitLIN
-    DemoModule->>DemoModule: Demo_InitVariables(config_mode)
-    DemoModule->>HardwareModule: HW_InitHardware(clock_freq, gpio_mask)
-    HardwareModule->>HardwareModule: HW_InitADC
-    HardwareModule->>HardwareModule: HW_InitClock
-    HardwareModule->>HardwareModule: HW_InitGPIO
-    HardwareModule->>HardwareModule: HW_InitPWM
-    DemoModule->>SoftwareModule: SW_InitSoftware(state, config)
-    SoftwareModule->>SoftwareModule: SW_InitConfig
-    SoftwareModule->>SoftwareModule: SW_InitState
+    opt mode > 0x00
+    DemoModule->>DemoModule: Demo_Update(mode)
+    opt mode == 0x05
+    DemoModule->>CommunicationModule: COM_SendLINMessage(msg_id, data)
+    end
+    DemoModule->>SoftwareModule: SW_UpdateState(new_state)
+    end
+    DemoModule->>HardwareModule: HW_ReadSensor(sensor_id)
+    DemoModule->>SoftwareModule: SW_ProcessData(data, length)
 ```
 
 **Key Features**:
-- Participants appear in the order they are first encountered in the call tree
-- Function parameters are displayed in the call arrows (e.g., `COM_InitCommunication(baud_rate, buffer_size)`)
+- Conditional calls are automatically wrapped in `opt` blocks
+- Shows actual condition text from source code (e.g., `mode > 0x00`, `mode == 0x05`)
+- Supports nested conditionals
+- Participants appear in the order they are first encountered
+- Function parameters are displayed in the call arrows
 - Return statements are omitted by default for cleaner visualization
 - Module names are used as participants when `--use-module-names` is enabled
 
+### XMI Output with Opt Blocks
+
+The XMI output also supports opt blocks using UML combined fragments:
+
+```xml
+<uml:fragment name="opt" interactionOperator="opt">
+  <uml:operand name="update_mode == 0x05">
+    <uml:message name="COM_SendLINMessage" 
+                 signature="COM_SendLINMessage(msg_id, data)"
+                 messageSort="synchCall">
+      <uml:sendEvent xmi:id="calltree_22"/>
+      <uml:receiveEvent xmi:id="calltree_23"/>
+    </uml:message>
+  </uml:operand>
+</uml:fragment>
+```
+
+**XMI Features**:
+- UML 2.5 compliant XMI documents
+- Combined fragments with `opt` interaction operator
+- Operand elements display the condition text
+- Can be imported into UML tools like Enterprise Architect, Visual Paradigm, MagicDraw
+- Proper XML structure with correct namespaces
+
 ### Generated Markdown Structure
 
 The tool generates comprehensive Markdown files with:
 - Metadata header (timestamp, settings, statistics)
-- Mermaid sequence diagram with function parameters
+- Mermaid sequence diagram with function parameters and opt blocks
 - Function details table with parameter information
 - Text-based call tree
 - Circular dependency warnings
@@ -215,6 +406,7 @@ calltree --start-function Demo_Init --module-config demo/module_mapping.yaml --u
 This generates diagrams with:
 - **Participants**: SW module names (HardwareModule, SoftwareModule, etc.) in the order they are first encountered
 - **Arrows**: Function names with parameters being called between modules
+- **Opt Blocks**: Conditional calls wrapped with actual condition text
 - **Function Table**: Includes module column showing each function's SW module
 - **Clean Visualization**: Return statements omitted by default
 
@@ -238,7 +430,7 @@ autosar-calltree/
 │   ├── parsers/          # Code parsers (AUTOSAR, C)
 │   ├── analyzers/        # Analysis logic (call tree, dependencies)
 │   ├── database/         # Data models and caching
-│   ├── generators/       # Output generators (Mermaid)
+│   ├── generators/       # Output generators (Mermaid, XMI)
 │   └── utils/            # Utilities (empty, for future use)
 ├── test_demo/            # Demo AUTOSAR C files for testing
 │   ├── demo.c
@@ -256,7 +448,7 @@ autosar-calltree/
 
 ### Running Tests
 
-The project has **comprehensive test coverage** with 278 tests across all modules:
+The project has **comprehensive test coverage** with 298 tests across all modules:
 
 ```bash
 # Run all tests
@@ -290,20 +482,20 @@ pytest --cov=autosar_calltree --cov-report=html --cov-report=term --omit=tests/
 
 ### Test Coverage
 
-The project maintains **94% code coverage** across all modules:
+The project maintains **89% code coverage** across all modules:
 
 | Module | Coverage | Tests |
 |--------|----------|-------|
-| Models | 100% | 25 |
+| Models | 97% | 28 |
 | AUTOSAR Parser | 97% | 15 |
 | C Parser | 86% | 18 |
-| Database | 80% | 20 |
-| Analyzers | 94% | 20 |
+| Database | 83% | 20 |
+| Analyzers | 95% | 20 |
 | Config | 97% | 25 |
-| Generators | 96% | 31 |
-| CLI (Integration) | ~90% | 14 |
-| End-to-End | ~90% | 110 |
-| **Total** | **94%** | **278** |
+| Generators | 89% | 45 |
+| CLI (Integration) | 90% | 14 |
+| End-to-End | ~90% | 120 |
+| **Total** | **89%** | **298** |
 
 ### Code Quality
 
@@ -423,7 +615,8 @@ MIT License - see [LICENSE](LICENSE) file for details.
 - [ ] Multi-threading for large codebases
 - [ ] Function complexity metrics
 - [ ] Dead code detection
-- [ ] XMI/UML 2.5 output format
+- [x] XMI/UML 2.5 output format with opt block support
+- [x] Automatic conditional call detection with opt blocks
 
 ## Support
 
@@ -433,4 +626,4 @@ MIT License - see [LICENSE](LICENSE) file for details.
 
 ---
 
-**Made with ❤️ for the embedded systems community**
+**Made with ❤️ for the embedded systems community**