Commit 9c5876c3 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Complete dump of CV model

parent 47feeaea
......@@ -8,12 +8,36 @@ package body TASTE.Concurrency_View is
procedure Debug_Dump (CV : Taste_Concurrency_View; Output : File_Type) is
begin
for Each of CV.Blocks loop
Put_Line (Output, "Protected Block : " & To_String (Each.Name));
for Block of CV.Blocks loop
Put_Line (Output, "Protected Block : " & To_String (Block.Name));
for Provided of Block.Provided loop
Put_Line (Output, " |_ PI : " & To_String (Provided.Name));
end loop;
for Required of Block.Required loop
Put_Line (Output, " |_ RI : " & To_String (Required.Name));
end loop;
for Thread of Block.Calling_Threads loop
Put_Line (Output, " |_ Calling_Thread : " & Thread);
end loop;
Put_Line (Output, " |_ Node : "
& To_String (Block.Node.Value_Or
(Taste_Node'(Name => US ("(none)"), others => <>)).Name));
end loop;
for Each of CV.Threads loop
Put_Line (Output, "Thread : " & To_String (Each.Name));
for Thread of CV.Threads loop
Put_Line (Output, "Thread : " & To_String (Thread.Name));
Put_Line (Output, " |_ Port : " & To_String (Thread.Entry_Port_Name));
Put_Line (Output, " |_ Protected Block : "
& To_String (Thread.Protected_Block_Name));
Put_Line (Output, " |_ Node : "
& To_String (Thread.Node.Value_Or
(Taste_Node'(Name => US ("(none)"), others => <>)).Name));
for Out_Port of Thread.Output_Ports loop
Put_Line (Output, " |_ Output port remote thread : "
& To_String (Out_Port.Remote_Thread));
Put_Line (Output, " |_ Output port remote PI : "
& To_String (Out_Port.Remote_PI));
end loop;
end loop;
end Debug_Dump;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment