ghc --make GuiAnalysis.hs -o GuiAnalysis -fglasgow-exts

rem new windows maximum
GuiAnalysis 5 "ClientDBjava"
dot -Tpng GuiModelWindowsClientDBjava.dot -o graphClientDBjavaWindows.png
dot -Tpng GuiModelWaysClientDBjava.dot -o graphClientDBjavaWays.png
dot -Tpng GuiModelEventsNumberClientDBjava.dot -o graphClientDBjavaEventsNumber.png
dot -Tpng GuiModelStatesClientDBjava.dot -o graphClientDBjavaStates.png

rem ghc --make GuiAnalysis1.hs -o GuiAnalysis1 -fglasgow-exts

rem new windows maximum
rem GuiAnalysis1 6 "ClientDBjava1" "ClientDBjava2" 3
rem dot -Tpng GuiModelWindows2.dot -o graphWindows2.png
rem dot -Tpng GuiModelWays2.dot -o graphWays2.png
rem dot -Tpng GuiModelEventsNumber2.dot -o graphEventsNumber2.png
rem dot -Tpng GuiModelStates2.dot -o graphStates2.png
rem dot -Tpng GuiModelWindowsStates2.dot -o graphWindowsStates2.png