From 49ce64ee1e086df3b84ebd60507f3b3547a5bf0e Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Tue, 16 Dec 2025 18:48:36 +1300 Subject: Can now output the basic structural DAG of a World in DOT format --- src/kompsos-pretty_print.ads | 23 ++++++++++++++++++----- 1 file changed, 18 insertions(+), 5 deletions(-) (limited to 'src/kompsos-pretty_print.ads') diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads index 1316d5a..19da0af 100644 --- a/src/kompsos-pretty_print.ads +++ b/src/kompsos-pretty_print.ads @@ -6,6 +6,11 @@ -- See license.txt for further details +private with + + Ada.Containers.Ordered_Maps; + + generic with function Element_Image (Item : in Element_Type) @@ -17,27 +22,31 @@ package Kompsos.Pretty_Print is (Item : in Integer) return String; - function Image (Item : in Term) return String; - function Image (Item : in State) return String; - function Image (Item : in State_Array) return String; - function Image (Item : in World) return String; + + + function Structure_DOT + (This : in World; + Name : in String := "") + return String; + + private @@ -45,12 +54,16 @@ private (Item : in Long_Natural) return String; - function Image (Item : in Variable) return String; + package DOT_Node_Maps is new Ada.Containers.Ordered_Maps + (Key_Type => World_Component_Access, + Element_Type => Long_Natural); + + end Kompsos.Pretty_Print; -- cgit