hetdg.hs revision 3b4439aa37e4229ad6e83d46bd303c2799784c80
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maedermodule Main
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maeder
81d182b21020b815887e9057959228546cf61b6bChristian Maederwhere
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maeder
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maederimport Parse_AS_Structured
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maederimport System
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maederimport Parsec
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maederimport LogicGraph
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maederimport Print_HetCASL
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maederimport DevGraph
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederimport AnalysisLibrary
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maederimport IO
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maederimport AS_Library
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederimport Graph
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maederimport DotGraph
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maederimport ConvertDevToAbstractGraph
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian Maederimport Char
076b559b2ea7b2f1d303df992ae71cd6c6fe563cChristian Maederimport DaVinciGraph
10b02b2343246df6773585636fe3ddbefa3b6a1bChristian Maederimport GraphDisp
35db0960aa2e2a13652381c756fae5fb2b27213bChristian Maederimport GraphConfigure
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maederimport AbstractGraphView
ac510075311023bf24175f7a76b89ec2bbda0626Christian Maederimport IORef
ac510075311023bf24175f7a76b89ec2bbda0626Christian Maeder
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederimport FiniteMap
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maeder
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maeder
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederproceed fname showdg = do
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder res <- ana_file1 logicGraph defaultLogic fname
99f16a0f9ca757410960ff51a79b034503384fe2Christian Maeder case res of
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maeder Nothing -> return ()
99f16a0f9ca757410960ff51a79b034503384fe2Christian Maeder Just (ln,dg,libenv) ->
6e5180855658f12f9059d9041f447bf0935de344Christian Maeder if showdg then do
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maeder (gid,gv,cmaps) <- convertGraph ln libenv
8a1f427564a5ae2db32332512237ef645289c34dChristian Maeder AbstractGraphView.redisplay gid gv
76647324ed70f33b95a881b536d883daccf9568dChristian Maeder getLine
76647324ed70f33b95a881b536d883daccf9568dChristian Maeder return ()
76647324ed70f33b95a881b536d883daccf9568dChristian Maeder else do
4e013227ed41ccd2e3d09dd44bedd651e1901f38Christian Maeder h <- openFile (fname++".dot") WriteMode
568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder sequence (map (hPutStrLn h) (dot dg))
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maeder hClose h
76fa667489c5e0868ac68de9f0253ac10f73d0b5Christian Maeder
76647324ed70f33b95a881b536d883daccf9568dChristian Maedermain = do
76fa667489c5e0868ac68de9f0253ac10f73d0b5Christian Maeder args <- getArgs
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maeder proceed (head args) (null (tail args))
76fa667489c5e0868ac68de9f0253ac10f73d0b5Christian Maeder