"Committed_by_peb"

src/GF/Conversion/TypeGraph.hs

@@ -0,0 +1,55 @@
+----------------------------------------------------------------------
+-- |
+-- Maintainer  : PL
+-- Stability   : (stable)
+-- Portability : (portable)
+--
+-- > CVS $Date: 2005/10/05 11:56:42 $ 
+-- > CVS $Author: peb $
+-- > CVS $Revision: 1.1 $
+--
+-- Printing the type hierarchy of an abstract module in GraphViz format
+-----------------------------------------------------------------------------
+
+
+module GF.Conversion.TypeGraph (prtTypeGraph, prtFunctionGraph) where
+
+import GF.Formalism.GCFG
+import GF.Formalism.SimpleGFC
+import GF.Formalism.Utilities
+import GF.Conversion.Types
+
+import GF.Data.Operations ((++++), (+++++))
+import GF.Infra.Print
+
+----------------------------------------------------------------------
+-- | SimpleGFC to TypeGraph
+--
+-- assumes that the profiles in the Simple GFC names are trivial
+
+prtTypeGraph :: SGrammar -> String
+prtTypeGraph rules = "digraph TypeGraph {" ++++ 
+                     "concentrate=true;" ++++
+                     "node [shape=ellipse];" +++++
+                     unlines (map prtTypeGraphRule rules) +++++
+                     "}"
+
+prtTypeGraphRule :: SRule -> String
+prtTypeGraphRule (Rule (Abs cat cats (Name fun _prof)) _)
+    = unlines [ prtSCat c ++ " -> " ++ prtSCat cat ++ ";" | c <- cats ]
+
+prtFunctionGraph :: SGrammar -> String
+prtFunctionGraph rules = "digraph FunctionGraph {" ++++ 
+                         "node [shape=ellipse];" +++++
+                         unlines (map prtFunctionGraphRule rules) +++++
+                         "}"
+
+prtFunctionGraphRule :: SRule -> String
+prtFunctionGraphRule (Rule (Abs cat cats (Name fun _prof)) _)
+    = prt fun ++ " [shape=box, style=dashed];" ++++
+      prt fun ++ " -> " ++ prtSCat cat ++ ";" ++++
+      unlines [ prtSCat c ++ " -> " ++ prt fun ++ ";" | c <- cats ]
+
+prtSCat (Decl var cat args) = prt cat
+
+