diff options
Diffstat (limited to 'src/kompsos-pretty_print.ads')
| -rw-r--r-- | src/kompsos-pretty_print.ads | 23 |
1 files changed, 18 insertions, 5 deletions
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; |