mirror of
https://github.com/AdaCore/spat.git
synced 2026-02-12 13:09:53 -08:00
29 lines
1.6 KiB
Plaintext
29 lines
1.6 KiB
Plaintext
digraph "Inheritance Tree"
|
|
{
|
|
rankdir=TB;
|
|
viewport="800,600,0.8";
|
|
ordering="out";
|
|
bgcolor="#EEEEEE";
|
|
node [shape=record];
|
|
|
|
"SPAT.Entity.T" [label="{Entity.T\l|{abstract\l|}}"];
|
|
"SPAT.Entity_Line.T" [label="{Entity_Line.T\l|{|{+File : Source_File_Name\l|+Line : Natural\l}}}"];
|
|
"SPAT.Entity_Location.T" [label="{SPAT.Entity_Location.T\l|{|{+Column : Natural\l}}}"];
|
|
"SPAT.Flow_Item.T" [label="{SPAT.Flow_Item.T\l|{|{+Rule : Rule_Name\l|+Severity : Severity_Name\l}}}"];
|
|
"SPAT.Proof_Item.T" [label="{SPAT.Proof_Item.T\l|{|{+Suppressed : Justification\l|+Rule : Rule_Name\l|+Severity : Severity_Name\l|+Max_Success : Time_And_Steps\l|+Max_Proof : Time_And_Steps\l|+Total_Time : Duration\l|+Id : Proof_Item_Ids.Id\l|+Has_Failed_Attempts : Boolean\l|+Has_Unproved_Attempts : Boolean\l|+Is_Unjustified : Boolean\l}}}"];
|
|
"SPAT.Proof_Attempt.T" [label="{SPAT.Proof_Attempt.T\l|{|{+Prover : Prover_Name\l|+Result : Result_Name\l|+Workload : Time_And_Steps\l|+Id : Proof_Attempt_Ids.Id\l}}}"];
|
|
"SPAT.Timing_Item.T" [label="{SPAT.Timing_Item.T\l|{|{+Version : File_Version\l|+Proof : Duration\l|+Flow : Duration\l}}}"];
|
|
|
|
"dummy" [style="invis"];
|
|
|
|
"SPAT.Entity.T" -> "SPAT.Proof_Attempt.T" [weight=4];
|
|
"SPAT.Entity.T" -> "SPAT.Timing_Item.T";
|
|
"SPAT.Entity.T" -> "SPAT.Entity_Line.T" [weight=0];
|
|
"SPAT.Entity_Line.T" -> "SPAT.Entity_Location.T" [weight=0];
|
|
"SPAT.Entity_Location.T" -> "SPAT.Flow_Item.T";
|
|
"SPAT.Entity_Location.T" -> "SPAT.Proof_Item.T";
|
|
"SPAT.Flow_Item.T" -> "dummy" [style="invis"];
|
|
|
|
{rank=same "dummy", "SPAT.Proof_Attempt.T", "SPAT.Timing_Item.T"}
|
|
}
|