ghc --make FileParser2.hs -o FileParser2 -fglasgow-exts
ghc --make AstAnalyser2.hs -o AstAnalyser2 -fglasgow-exts
ghc --make Graph2.hs -o Graph2 -fglasgow-exts

FileParser2 Login.hs
AstAnalyser2 "Login.hs.ast" "main" "start,button,close,conctactEditor,find,login,mainForm" 
Graph2 eventsFromInitState.gui initState.gui 5 "contactEditor,find,login,mainForm" 
ghc --make GuiModelAnalysis.hs -o GuiModelAnalysis -fglasgow-exts
GuiModelAnalysis 3 "Login" "ClientDBhaskell"
dot -Tpng graph.dot -o graphClientDBHaskellLogin.png
ghc --make ndfaClientDBhaskellLogin.hs -o ndfaClientDBjhaskellLogin -fglasgow-exts -XFlexibleContexts
ndfaClientDBhaskellLogin
dot -Tpng ndfaminimizedClientDBhaskellLogin.dot -o ndfaminimizedClientDBhaskellLogin.png


rem FileParser2 ContactEditor.hs
rem AstAnalyser2 "ContactEditor.hs.ast" "contactEditor" "button,close" 
rem Graph2 eventsFromInitState.gui initState.gui 5 "contactEditor,find,login,mainForm" 
rem ghc --make GuiModelAnalysis.hs -o GuiModelAnalysis -fglasgow-exts
rem GuiModelAnalysis 3 "ContactEditor" "ClientDBhaskell"
rem dot -Tpng graph.dot -o graphClientDBhaskellContactEditor.png
rem ghc --make ndfaClientDBhaskellContactEditor.hs -o ndfaClientDBjhaskellContactEditor -fglasgow-exts -XFlexibleContexts
rem ndfaClientDBhaskellContactEditor
rem dot -Tpng ndfaminimizedClientDBhaskellContactEditor.dot -o ndfaminimizedClientDBhaskellContactEditor.png



rem FileParser2 MainForm.hs
rem AstAnalyser2 "MainForm.hs.ast" "mainForm" "button,close" 
rem Graph2 eventsFromInitState.gui initState.gui 5 "contactEditor,find,login,mainForm" 
rem ghc --make GuiModelAnalysis.hs -o GuiModelAnalysis -fglasgow-exts
rem GuiModelAnalysis 3 "MainForm" "ClientDBhaskell"
rem dot -Tpng graph.dot -o graphClientDBhaskellMainForm.png
rem ghc --make ndfaClientDBhaskellMainForm.hs -o ndfaClientDBjhaskellMainForm -fglasgow-exts -XFlexibleContexts
rem ndfaClientDBhaskellMainForm
rem dot -Tpng ndfaminimizedClientDBhaskellMainForm.dot -o ndfaminimizedClientDBhaskellMainForm.png



rem FileParser2 Find.hs
rem AstAnalyser2 "Find.hs.ast" "find" "button,close" 
rem Graph2 eventsFromInitState.gui initState.gui 5 "contactEditor,find,login,mainForm" 
rem ghc --make GuiModelAnalysis.hs -o GuiModelAnalysis -fglasgow-exts
rem GuiModelAnalysis 3 "Find" "ClientDBhaskell"
rem dot -Tpng graph.dot -o graphClientDBhaskellFind.png
rem ghc --make ndfaClientDBhaskellFind.hs -o ndfaClientDBjhaskellFind -fglasgow-exts -XFlexibleContexts
rem ndfaClientDBhaskellFind
rem dot -Tpng ndfaminimizedClientDBhaskellFind.dot -o ndfaminimizedClientDBhaskellFind.png


PAUSE