hetdg.hs revision e379124f467e5d0ef7d3c0ca238bff0521f70831
0ea2cddb8715a770e646895e16b7b8085f49167cChristian Maeder-- needs ghc and UniForM workbench
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner-- for the UniForM workbench:
e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowski-- cd into the folder where HetCATS lives
34bff097c14521b5e57ce37279a34256e1f78aa5Klaus Luettich-- gmake packages
e6d40133bc9f858308654afb1262b8b483ec5922Till Mossakowski Till Mossakowski
1921826503a6c342d31a646e513e6250d8c28128Christian Maeder Temporary interface for displaying development graphs.
9929f81562adecc8aafaefb14a0159afcf4a3351Christian Maeder Should be replaced with hets in the future.
8bb80c9684e905de8dcfcfb1291542677e7d77b6Christian Maederimport Options
dbc98cd8a9a829e020cfa0a9f3aff89de75caaa9Christian Maederproceed fname showdg = do
863d4b011d04907325f3eed8e89975e38603cb05Christian Maeder res <- anaFile logicGraph defaultLogic defaultHetcatsOpts fname
b7ad19a5692654e58d649c432caaf870e12e72a6Ewaryst Schulz Just (ln,_,dg,libenv) ->
e0c666e6515ea45fbeb47d7bb045b6ba4274c165Ewaryst Schulz if showdg then do
dbc98cd8a9a829e020cfa0a9f3aff89de75caaa9Christian Maeder graphMem <- initializeConverter
dbc98cd8a9a829e020cfa0a9f3aff89de75caaa9Christian Maeder (gid,gv,cmaps) <- convertGraph graphMem ln libenv
dbc98cd8a9a829e020cfa0a9f3aff89de75caaa9Christian Maeder h <- openFile (fname++".dot") WriteMode
dbc98cd8a9a829e020cfa0a9f3aff89de75caaa9Christian Maeder sequence (map (hPutStrLn h) (dot dg))
a81a6e924a0a027f48823b0a09cf51ad807c2e5bChristian Maeder _ -> return ()
6197538e436eddfb51f56a434522d110ee8cc9e7Thiemo Wiedemeyer args <- getArgs
454e560c7c5b89cbc11b925133254025a730568aChristian Maeder proceed (head args) (not ((tail args)==["-dot"]))