show decomposition functional element

[rcasteran]

Is your feature request related to a problem? Please describe. Improvement about command "show decomposition" for a functional element

Describe the solution you'd like Considering the following command:

%%jarvis
with test
F1 is a function
F1a is a function
F1b is a function
F1c is a function
F1 is composed of F1a
F1 is composed of F1b
F1 is composed of F1c

F1c1 is a function
F1c is composed of F1c1

F2 is a function
F2a is a function
F2 is composed of F2a

F3 is a function
F3a is a function
F3 is composed of F3a

E1 is a functional element
E1a is a functional element
E1b is a functional element
E1c is a functional element
E1 is composed of E1a
E1 is composed of E1b
E1 is composed of E1c
E1c1 is a functional element
E1c2 is a functional element
E1c is composed of E1c1
E1c is composed of E1c2

E1 allocates F1
E1 allocates F2
E1a allocates F1a
E1a allocates F3a
E1b allocates F1b
E1c allocates F1c
E1c1 allocates F1c1

show decomposition E1

The generated allocation must be:

• E1 allocates F1, F1a, F1b, F1c and F1c1
• E1 allocates F2 and F2a
• E1a allocates F1a
• E1a allocates F3a
• E1b allocates F1b
• E1c allocates F1c and F1c1
• E1c1 allocates F1c1

The generated diagram must show:

• F2 inside E1, because no F2 child is allocated to one child of E1
• F1a and F3a inside E1a
• F1b inside E1b
• F1c1 inside E1c1

And all data between the different functions and the functional elements in the context of E1 must be shown (like in context diagram)

And Jarvis must ask if F3 shall be allocated to E1 (because of the allocation of F3a to E1a) : if answer is no an error must be generated indicating that F3 is not allocated despite one of its child is allocated

Describe alternatives you've considered None